27.752 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (- (* x x) (* y y)) 0.020 * * [simplify]: iteration 0 : 11 enodes (cost 3 ) 0.021 * * [simplify]: iteration 1 : 18 enodes (cost 3 ) 0.023 * * [simplify]: iteration 2 : 35 enodes (cost 3 ) 0.024 * * [simplify]: iteration 3 : 67 enodes (cost 3 ) 0.026 * * [simplify]: iteration 4 : 163 enodes (cost 3 ) 0.029 * * [simplify]: iteration 5 : 294 enodes (cost 3 ) 0.032 * * [simplify]: iteration 6 : 541 enodes (cost 3 ) 0.042 * * [simplify]: iteration 7 : 2138 enodes (cost 3 ) 0.099 * * [simplify]: iteration 8 : 5001 enodes (cost 3 ) 0.099 * [simplify]: Simplified to: (- (* x x) (* y y)) 0.099 * * [progress]: iteration 1 / 4 0.099 * * * [progress]: picking best candidate 0.101 * * * * [pick]: Picked # 0.101 * * * [progress]: localizing error 0.105 * * * [progress]: generating rewritten candidates 0.105 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.175 * * * [progress]: generating series expansions 0.175 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.175 * [approximate]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in (x y) around 0 0.175 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in y 0.175 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.175 * [taylor]: Taking taylor expansion of x in y 0.175 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.175 * [taylor]: Taking taylor expansion of y in y 0.175 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x 0.175 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.175 * [taylor]: Taking taylor expansion of y in x 0.175 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x 0.175 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.175 * [taylor]: Taking taylor expansion of y in x 0.176 * [taylor]: Taking taylor expansion of (- (pow y 2)) in y 0.176 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.176 * [taylor]: Taking taylor expansion of y in y 0.177 * [taylor]: Taking taylor expansion of 0 in y 0.179 * [taylor]: Taking taylor expansion of 1 in y 0.182 * [taylor]: Taking taylor expansion of 0 in y 0.184 * [taylor]: Taking taylor expansion of 0 in y 0.184 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0 0.185 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 0.185 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.185 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.185 * [taylor]: Taking taylor expansion of x in y 0.185 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.185 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.185 * [taylor]: Taking taylor expansion of y in y 0.185 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.185 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.185 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.185 * [taylor]: Taking taylor expansion of x in x 0.186 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.186 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.186 * [taylor]: Taking taylor expansion of y in x 0.186 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.186 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.186 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.186 * [taylor]: Taking taylor expansion of x in x 0.187 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.187 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.187 * [taylor]: Taking taylor expansion of y in x 0.187 * [taylor]: Taking taylor expansion of 1 in y 0.188 * [taylor]: Taking taylor expansion of 0 in y 0.189 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 0.189 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.189 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.189 * [taylor]: Taking taylor expansion of y in y 0.192 * [taylor]: Taking taylor expansion of 0 in y 0.195 * [taylor]: Taking taylor expansion of 0 in y 0.196 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0 0.196 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 0.197 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.197 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.197 * [taylor]: Taking taylor expansion of x in y 0.197 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.197 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.197 * [taylor]: Taking taylor expansion of y in y 0.197 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.197 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.197 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.198 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.198 * [taylor]: Taking taylor expansion of y in x 0.198 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.198 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.199 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.199 * [taylor]: Taking taylor expansion of y in x 0.199 * [taylor]: Taking taylor expansion of 1 in y 0.200 * [taylor]: Taking taylor expansion of 0 in y 0.201 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 0.201 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.201 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.201 * [taylor]: Taking taylor expansion of y in y 0.204 * [taylor]: Taking taylor expansion of 0 in y 0.207 * [taylor]: Taking taylor expansion of 0 in y 0.209 * * * [progress]: simplifying candidates 0.218 * [simplify]: Simplifying using # : (fma x x (- (* y y))) (fma (- y) y (* y y)) (fma x x (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma x x (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma x x (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma x x (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma x x (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma x x (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma x x (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma x x (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma x x (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma x x (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma x x (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma x x (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma x x (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma x x (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (sqrt (* x x)) (sqrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma 1 (* x x) (- (* y y))) (fma (- y) y (* y y)) (fma 1 (* x x) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma 1 (* x x) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma 1 (* x x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma 1 (* x x) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma 1 (* x x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma 1 (* x x) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma 1 (* x x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma 1 (* x x) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma 1 (* x x) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma 1 (* x x) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma 1 (* x x) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma 1 (* x x) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma 1 (* x x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma 1 (* x x) (- (* y y))) (fma (- y) y (* y y)) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* 1 1) (* x x) (- (* y y))) (fma (- y) y (* y y)) (fma (* 1 1) (* x x) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma (* 1 1) (* x x) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma (* 1 1) (* x x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* 1 1) (* x x) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma (* 1 1) (* x x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* 1 1) (* x x) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma (* 1 1) (* x x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* 1 1) (* x x) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma (* 1 1) (* x x) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma (* 1 1) (* x x) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma (* 1 1) (* x x) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma (* 1 1) (* x x) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma (* 1 1) (* x x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* 1 1) (* x x) (- (* y y))) (fma (- y) y (* y y)) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* y y))) (fma (- y) y (* y y)) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* x (* (cbrt x) (cbrt x))) (cbrt x) (- (* y y))) (fma (- y) y (* y y)) (fma (* x (sqrt x)) (sqrt x) (- (* y y))) (fma (- y) y (* y y)) (fma (* x (sqrt x)) (sqrt x) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma (* x (sqrt x)) (sqrt x) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma (* x (sqrt x)) (sqrt x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* x (sqrt x)) (sqrt x) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma (* x (sqrt x)) (sqrt x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* x (sqrt x)) (sqrt x) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma (* x (sqrt x)) (sqrt x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* x (sqrt x)) (sqrt x) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma (* x (sqrt x)) (sqrt x) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma (* x (sqrt x)) (sqrt x) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma (* x (sqrt x)) (sqrt x) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma (* x (sqrt x)) (sqrt x) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma (* x (sqrt x)) (sqrt x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* x (sqrt x)) (sqrt x) (- (* y y))) (fma (- y) y (* y y)) (fma (* x 1) x (- (* y y))) (fma (- y) y (* y y)) (fma (* x 1) x (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma (* x 1) x (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma (* x 1) x (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* x 1) x (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma (* x 1) x (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* x 1) x (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma (* x 1) x (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* x 1) x (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma (* x 1) x (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma (* x 1) x (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma (* x 1) x (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma (* x 1) x (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma (* x 1) x (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* x 1) x (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (* (cbrt x) (cbrt x)) (* (cbrt x) x) (- (* y y))) (fma (- y) y (* y y)) (fma (sqrt x) (* (sqrt x) x) (- (* y y))) (fma (- y) y (* y y)) (fma (sqrt x) (* (sqrt x) x) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma (sqrt x) (* (sqrt x) x) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma (sqrt x) (* (sqrt x) x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (sqrt x) (* (sqrt x) x) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma (sqrt x) (* (sqrt x) x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (sqrt x) (* (sqrt x) x) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma (sqrt x) (* (sqrt x) x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma (sqrt x) (* (sqrt x) x) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma (sqrt x) (* (sqrt x) x) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma (sqrt x) (* (sqrt x) x) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma (sqrt x) (* (sqrt x) x) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma (sqrt x) (* (sqrt x) x) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma (sqrt x) (* (sqrt x) x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma (sqrt x) (* (sqrt x) x) (- (* y y))) (fma (- y) y (* y y)) (fma 1 (* x x) (- (* y y))) (fma (- y) y (* y y)) (fma 1 (* x x) (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma 1 (* x x) (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma 1 (* x x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma 1 (* x x) (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma 1 (* x x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma 1 (* x x) (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma 1 (* x x) (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma 1 (* x x) (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma 1 (* x x) (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma 1 (* x x) (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma 1 (* x x) (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma 1 (* x x) (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma 1 (* x x) (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma 1 (* x x) (- (* y y))) (fma (- y) y (* y y)) (fma x x (- (* y y))) (fma (- y) y (* y y)) (fma x x (- (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y)))))) (fma (- (cbrt (* y y))) (* (cbrt (* y y)) (cbrt (* y y))) (* (cbrt (* y y)) (* (cbrt (* y y)) (cbrt (* y y))))) (fma x x (- (* (sqrt (* y y)) (sqrt (* y y))))) (fma (- (sqrt (* y y))) (sqrt (* y y)) (* (sqrt (* y y)) (sqrt (* y y)))) (fma x x (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma x x (- (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y)))))) (fma (- (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))))) (fma x x (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma x x (- (* (* y y) (* 1 1)))) (fma (- (* y y)) (* 1 1) (* (* y y) (* 1 1))) (fma x x (- (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y))))) (fma (- (* (sqrt y) (sqrt y))) (* (sqrt y) (sqrt y)) (* (* (sqrt y) (sqrt y)) (* (sqrt y) (sqrt y)))) (fma x x (- (* (cbrt y) (* y (* (cbrt y) (cbrt y)))))) (fma (- (cbrt y)) (* y (* (cbrt y) (cbrt y))) (* (cbrt y) (* y (* (cbrt y) (cbrt y))))) (fma x x (- (* (sqrt y) (* y (sqrt y))))) (fma (- (sqrt y)) (* y (sqrt y)) (* (sqrt y) (* y (sqrt y)))) (fma x x (- (* y (* y 1)))) (fma (- y) (* y 1) (* y (* y 1))) (fma x x (- (* (* (cbrt y) y) (* (cbrt y) (cbrt y))))) (fma (- (* (cbrt y) y)) (* (cbrt y) (cbrt y)) (* (* (cbrt y) y) (* (cbrt y) (cbrt y)))) (fma x x (- (* (* (sqrt y) y) (sqrt y)))) (fma (- (* (sqrt y) y)) (sqrt y) (* (* (sqrt y) y) (sqrt y))) (fma x x (- (* (* y y) 1))) (fma (- (* y y)) 1 (* (* y y) 1)) (fma x x (- (* y y))) (fma (- y) y (* y y)) (expm1 (- (* x x) (* y y))) (log1p (- (* x x) (* y y))) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (/ (exp (* x x)) (exp (* y y))) (log (- (* x x) (* y y))) (exp (- (* x x) (* y y))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y))) (* (* (- (* x x) (* y y)) (- (* x x) (* y y))) (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))) (- (pow (* x x) 3) (pow (* y y) 3)) (+ (* (* x x) (* x x)) (+ (* (* y y) (* y y)) (* (* x x) (* y y)))) (- (* y y)) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (+ (* x x) (* y y)) (+ x y) (- x y) (+ x (sqrt (* y y))) (- x (sqrt (* y y))) (+ x (* (sqrt y) (sqrt y))) (- x (* (sqrt y) (sqrt y))) (+ x (* (sqrt y) (sqrt y))) (- x (* (sqrt y) (sqrt y))) (+ x y) (- x y) (+ (sqrt (* x x)) y) (- (sqrt (* x x)) y) (+ (sqrt (* x x)) (sqrt (* y y))) (- (sqrt (* x x)) (sqrt (* y y))) (+ (sqrt (* x x)) (* (sqrt y) (sqrt y))) (- (sqrt (* x x)) (* (sqrt y) (sqrt y))) (+ (sqrt (* x x)) (* (sqrt y) (sqrt y))) (- (sqrt (* x x)) (* (sqrt y) (sqrt y))) (+ (sqrt (* x x)) y) (- (sqrt (* x x)) y) (+ (* (sqrt x) (sqrt x)) y) (- (* (sqrt x) (sqrt x)) y) (+ (* (sqrt x) (sqrt x)) (sqrt (* y y))) (- (* (sqrt x) (sqrt x)) (sqrt (* y y))) (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (+ (* (sqrt x) (sqrt x)) y) (- (* (sqrt x) (sqrt x)) y) (+ (* (sqrt x) (sqrt x)) y) (- (* (sqrt x) (sqrt x)) y) (+ (* (sqrt x) (sqrt x)) (sqrt (* y y))) (- (* (sqrt x) (sqrt x)) (sqrt (* y y))) (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (+ (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (- (* (sqrt x) (sqrt x)) (* (sqrt y) (sqrt y))) (+ (* (sqrt x) (sqrt x)) y) (- (* (sqrt x) (sqrt x)) y) (+ x y) (- x y) (+ x (sqrt (* y y))) (- x (sqrt (* y y))) (+ x (* (sqrt y) (sqrt y))) (- x (* (sqrt y) (sqrt y))) (+ x (* (sqrt y) (sqrt y))) (- x (* (sqrt y) (sqrt y))) (+ x y) (- x y) (- (* x x) (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) (- (* y y)) (- (pow x 2) (pow y 2)) (- (pow x 2) (pow y 2)) (- (pow x 2) (pow y 2)) 0.234 * * [simplify]: iteration 0 : 595 enodes (cost 3377 ) 0.241 * * [simplify]: iteration 1 : 1511 enodes (cost 2178 ) 0.271 * * [simplify]: iteration 2 : 5002 enodes (cost 1644 ) 0.282 * [simplify]: Simplified to: (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (fma (* (cbrt (* x x)) (cbrt (* x x))) (cbrt (* x x)) (- (* y y))) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (- (* x x) (* y y)) (fma (- y) y (* y y)) (expm1 (- (* x x) (* y y))) (log1p (- (* x x) (* y y))) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (- (* y y)) (exp (- (* x x) (* y y))) (log (- (* x x) (* y y))) (exp (- (* x x) (* y y))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y))) (pow (- (* x x) (* y y)) 3) (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))) (- (pow (* x x) 3) (pow (* y y) 3)) (fma y (* y (fma x x (* y y))) (pow x 4)) (- (* y y)) (fma (- (pow y 3)) y (pow x 4)) (fma x x (* y y)) (+ y x) (- x y) (+ (fabs y) x) (- x (fabs y)) (+ y x) (- x y) (+ y x) (- x y) (+ y x) (- x y) (+ y (fabs x)) (- (fabs x) y) (+ (fabs y) (fabs x)) (- (fabs x) (fabs y)) (+ y (fabs x)) (- (fabs x) y) (+ y (fabs x)) (- (fabs x) y) (+ y (fabs x)) (- (fabs x) y) (+ y x) (- x y) (+ (fabs y) x) (- x (fabs y)) (+ y x) (- x y) (+ y x) (- x y) (+ y x) (- x y) (+ y x) (- x y) (+ (fabs y) x) (- x (fabs y)) (+ y x) (- x y) (+ y x) (- x y) (+ y x) (- x y) (+ y x) (- x y) (+ (fabs y) x) (- x (fabs y)) (+ y x) (- x y) (+ y x) (- x y) (+ y x) (- x y) (- (* x x) (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) (- (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) 0.285 * * * [progress]: adding candidates to table 0.360 * * [progress]: iteration 2 / 4 0.360 * * * [progress]: picking best candidate 0.362 * * * * [pick]: Picked # 0.362 * * * [progress]: localizing error 0.367 * * * [progress]: generating rewritten candidates 0.367 * * * [progress]: generating series expansions 0.367 * * * [progress]: simplifying candidates 0.367 * [simplify]: Simplifying using # : 0.370 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 0.370 * [simplify]: Simplified to: 0.370 * * * [progress]: adding candidates to table 0.370 * [progress]: [Phase 3 of 3] Extracting. 0.372 * [simplify]: Simplifying using # : (* (+ (fabs y) x) (- x (fabs y))) 0.372 * * [simplify]: iteration 0 : 8 enodes (cost 5 ) 0.372 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.372 * [simplify]: Simplified to: (* (+ (fabs y) x) (- x (fabs y))) 0.908 * [regime-testing]: End program error score: 0.0012501562695336917