herbie shell --seed 2020153 (FPCore () :name "(+ (pow E (sqrt (- 1))) (pow E (- (sqrt (- 1)))))" :precision binary64 (+ (pow E (sqrt (neg 1.0))) (pow E (neg (sqrt (neg 1.0))))))