Found a problem with sqrt that does not affect elligator