2.286 * [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 # : (- (* a a) (* b b)) 0.021 * * [simplify]: iteration 0 : 11 enodes (cost 3 ) 0.022 * * [simplify]: iteration 1 : 18 enodes (cost 3 ) 0.024 * * [simplify]: iteration 2 : 35 enodes (cost 3 ) 0.026 * * [simplify]: iteration 3 : 67 enodes (cost 3 ) 0.028 * * [simplify]: iteration 4 : 163 enodes (cost 3 ) 0.031 * * [simplify]: iteration 5 : 294 enodes (cost 3 ) 0.036 * * [simplify]: iteration 6 : 541 enodes (cost 3 ) 0.048 * * [simplify]: iteration 7 : 2138 enodes (cost 3 ) 0.117 * * [simplify]: iteration 8 : 5001 enodes (cost 3 ) 0.118 * [simplify]: Simplified to: (- (* a a) (* b b)) 0.118 * * [progress]: iteration 1 / 4 0.118 * * * [progress]: picking best candidate 0.119 * * * * [pick]: Picked # 0.119 * * * [progress]: localizing error 0.124 * * * [progress]: generating rewritten candidates 0.124 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.167 * * * [progress]: generating series expansions 0.168 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.168 * [approximate]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0 0.168 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 0.168 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.168 * [taylor]: Taking taylor expansion of a in b 0.168 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.168 * [taylor]: Taking taylor expansion of b in b 0.168 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.168 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.168 * [taylor]: Taking taylor expansion of a in a 0.168 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.168 * [taylor]: Taking taylor expansion of b in a 0.168 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.168 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.168 * [taylor]: Taking taylor expansion of a in a 0.168 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.168 * [taylor]: Taking taylor expansion of b in a 0.168 * [taylor]: Taking taylor expansion of (- (pow b 2)) in b 0.168 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.168 * [taylor]: Taking taylor expansion of b in b 0.169 * [taylor]: Taking taylor expansion of 0 in b 0.170 * [taylor]: Taking taylor expansion of 1 in b 0.172 * [taylor]: Taking taylor expansion of 0 in b 0.175 * [taylor]: Taking taylor expansion of 0 in b 0.175 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 0.175 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.175 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.175 * [taylor]: Taking taylor expansion of a in b 0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.175 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.175 * [taylor]: Taking taylor expansion of b in b 0.176 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.176 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.176 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.176 * [taylor]: Taking taylor expansion of a in a 0.176 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.176 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.176 * [taylor]: Taking taylor expansion of b in a 0.177 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.177 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.177 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.177 * [taylor]: Taking taylor expansion of a in a 0.177 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.177 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.177 * [taylor]: Taking taylor expansion of b in a 0.178 * [taylor]: Taking taylor expansion of 1 in b 0.179 * [taylor]: Taking taylor expansion of 0 in b 0.180 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.180 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.180 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.180 * [taylor]: Taking taylor expansion of b in b 0.183 * [taylor]: Taking taylor expansion of 0 in b 0.186 * [taylor]: Taking taylor expansion of 0 in b 0.188 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 0.188 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.188 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.188 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.188 * [taylor]: Taking taylor expansion of a in b 0.188 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.188 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.188 * [taylor]: Taking taylor expansion of b in b 0.188 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.188 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.188 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.188 * [taylor]: Taking taylor expansion of a in a 0.189 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.189 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.189 * [taylor]: Taking taylor expansion of b in a 0.189 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.189 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.189 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.189 * [taylor]: Taking taylor expansion of a in a 0.190 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.190 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.190 * [taylor]: Taking taylor expansion of b in a 0.190 * [taylor]: Taking taylor expansion of 1 in b 0.191 * [taylor]: Taking taylor expansion of 0 in b 0.192 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.192 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.192 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.192 * [taylor]: Taking taylor expansion of b in b 0.195 * [taylor]: Taking taylor expansion of 0 in b 0.198 * [taylor]: Taking taylor expansion of 0 in b 0.200 * * * [progress]: simplifying candidates 0.205 * [simplify]: Simplifying using # : (fma a a (- (* b b))) (fma (- b) b (* b b)) (fma a a (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma a a (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma a a (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma a a (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma a a (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma a a (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma a a (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma a a (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma a a (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma a a (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma a a (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma a a (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma a a (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma a a (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (sqrt (* a a)) (sqrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma 1 (* a a) (- (* b b))) (fma (- b) b (* b b)) (fma 1 (* a a) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma 1 (* a a) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma 1 (* a a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma 1 (* a a) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma 1 (* a a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma 1 (* a a) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma 1 (* a a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma 1 (* a a) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma 1 (* a a) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma 1 (* a a) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma 1 (* a a) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma 1 (* a a) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma 1 (* a a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma 1 (* a a) (- (* b b))) (fma (- b) b (* b b)) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* (* (cbrt a) (cbrt a)) (* (cbrt a) (cbrt a))) (* (cbrt a) (cbrt a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* 1 1) (* a a) (- (* b b))) (fma (- b) b (* b b)) (fma (* 1 1) (* a a) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma (* 1 1) (* a a) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma (* 1 1) (* a a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* 1 1) (* a a) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma (* 1 1) (* a a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* 1 1) (* a a) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma (* 1 1) (* a a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* 1 1) (* a a) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma (* 1 1) (* a a) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma (* 1 1) (* a a) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma (* 1 1) (* a a) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma (* 1 1) (* a a) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma (* 1 1) (* a a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* 1 1) (* a a) (- (* b b))) (fma (- b) b (* b b)) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* (sqrt a) (sqrt a)) (* (sqrt a) (sqrt a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* b b))) (fma (- b) b (* b b)) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* a (* (cbrt a) (cbrt a))) (cbrt a) (- (* b b))) (fma (- b) b (* b b)) (fma (* a (sqrt a)) (sqrt a) (- (* b b))) (fma (- b) b (* b b)) (fma (* a (sqrt a)) (sqrt a) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma (* a (sqrt a)) (sqrt a) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma (* a (sqrt a)) (sqrt a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* a (sqrt a)) (sqrt a) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma (* a (sqrt a)) (sqrt a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* a (sqrt a)) (sqrt a) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma (* a (sqrt a)) (sqrt a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* a (sqrt a)) (sqrt a) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma (* a (sqrt a)) (sqrt a) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma (* a (sqrt a)) (sqrt a) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma (* a (sqrt a)) (sqrt a) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma (* a (sqrt a)) (sqrt a) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma (* a (sqrt a)) (sqrt a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* a (sqrt a)) (sqrt a) (- (* b b))) (fma (- b) b (* b b)) (fma (* a 1) a (- (* b b))) (fma (- b) b (* b b)) (fma (* a 1) a (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma (* a 1) a (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma (* a 1) a (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* a 1) a (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma (* a 1) a (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* a 1) a (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma (* a 1) a (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* a 1) a (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma (* a 1) a (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma (* a 1) a (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma (* a 1) a (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma (* a 1) a (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma (* a 1) a (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* a 1) a (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (* (cbrt a) (cbrt a)) (* (cbrt a) a) (- (* b b))) (fma (- b) b (* b b)) (fma (sqrt a) (* (sqrt a) a) (- (* b b))) (fma (- b) b (* b b)) (fma (sqrt a) (* (sqrt a) a) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma (sqrt a) (* (sqrt a) a) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma (sqrt a) (* (sqrt a) a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (sqrt a) (* (sqrt a) a) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma (sqrt a) (* (sqrt a) a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (sqrt a) (* (sqrt a) a) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma (sqrt a) (* (sqrt a) a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma (sqrt a) (* (sqrt a) a) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma (sqrt a) (* (sqrt a) a) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma (sqrt a) (* (sqrt a) a) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma (sqrt a) (* (sqrt a) a) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma (sqrt a) (* (sqrt a) a) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma (sqrt a) (* (sqrt a) a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma (sqrt a) (* (sqrt a) a) (- (* b b))) (fma (- b) b (* b b)) (fma 1 (* a a) (- (* b b))) (fma (- b) b (* b b)) (fma 1 (* a a) (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma 1 (* a a) (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma 1 (* a a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma 1 (* a a) (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma 1 (* a a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma 1 (* a a) (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma 1 (* a a) (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma 1 (* a a) (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma 1 (* a a) (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma 1 (* a a) (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma 1 (* a a) (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma 1 (* a a) (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma 1 (* a a) (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma 1 (* a a) (- (* b b))) (fma (- b) b (* b b)) (fma a a (- (* b b))) (fma (- b) b (* b b)) (fma a a (- (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b)))))) (fma (- (cbrt (* b b))) (* (cbrt (* b b)) (cbrt (* b b))) (* (cbrt (* b b)) (* (cbrt (* b b)) (cbrt (* b b))))) (fma a a (- (* (sqrt (* b b)) (sqrt (* b b))))) (fma (- (sqrt (* b b))) (sqrt (* b b)) (* (sqrt (* b b)) (sqrt (* b b)))) (fma a a (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma a a (- (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b)))))) (fma (- (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (* (cbrt b) (cbrt b)) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))))) (fma a a (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma a a (- (* (* b b) (* 1 1)))) (fma (- (* b b)) (* 1 1) (* (* b b) (* 1 1))) (fma a a (- (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b))))) (fma (- (* (sqrt b) (sqrt b))) (* (sqrt b) (sqrt b)) (* (* (sqrt b) (sqrt b)) (* (sqrt b) (sqrt b)))) (fma a a (- (* (cbrt b) (* b (* (cbrt b) (cbrt b)))))) (fma (- (cbrt b)) (* b (* (cbrt b) (cbrt b))) (* (cbrt b) (* b (* (cbrt b) (cbrt b))))) (fma a a (- (* (sqrt b) (* b (sqrt b))))) (fma (- (sqrt b)) (* b (sqrt b)) (* (sqrt b) (* b (sqrt b)))) (fma a a (- (* b (* b 1)))) (fma (- b) (* b 1) (* b (* b 1))) (fma a a (- (* (* (cbrt b) b) (* (cbrt b) (cbrt b))))) (fma (- (* (cbrt b) b)) (* (cbrt b) (cbrt b)) (* (* (cbrt b) b) (* (cbrt b) (cbrt b)))) (fma a a (- (* (* (sqrt b) b) (sqrt b)))) (fma (- (* (sqrt b) b)) (sqrt b) (* (* (sqrt b) b) (sqrt b))) (fma a a (- (* (* b b) 1))) (fma (- (* b b)) 1 (* (* b b) 1)) (fma a a (- (* b b))) (fma (- b) b (* b b)) (expm1 (- (* a a) (* b b))) (log1p (- (* a a) (* b b))) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (/ (exp (* a a)) (exp (* b b))) (log (- (* a a) (* b b))) (exp (- (* a a) (* b b))) (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) (cbrt (- (* a a) (* b b))) (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (- (pow (* a a) 3) (pow (* b b) 3)) (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b)))) (- (* b b)) (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* a a) (* b b)) (+ a b) (- a b) (+ a (sqrt (* b b))) (- a (sqrt (* b b))) (+ a (* (sqrt b) (sqrt b))) (- a (* (sqrt b) (sqrt b))) (+ a (* (sqrt b) (sqrt b))) (- a (* (sqrt b) (sqrt b))) (+ a b) (- a b) (+ (sqrt (* a a)) b) (- (sqrt (* a a)) b) (+ (sqrt (* a a)) (sqrt (* b b))) (- (sqrt (* a a)) (sqrt (* b b))) (+ (sqrt (* a a)) (* (sqrt b) (sqrt b))) (- (sqrt (* a a)) (* (sqrt b) (sqrt b))) (+ (sqrt (* a a)) (* (sqrt b) (sqrt b))) (- (sqrt (* a a)) (* (sqrt b) (sqrt b))) (+ (sqrt (* a a)) b) (- (sqrt (* a a)) b) (+ (* (sqrt a) (sqrt a)) b) (- (* (sqrt a) (sqrt a)) b) (+ (* (sqrt a) (sqrt a)) (sqrt (* b b))) (- (* (sqrt a) (sqrt a)) (sqrt (* b b))) (+ (* (sqrt a) (sqrt a)) (* (sqrt b) (sqrt b))) (- (* (sqrt a) (sqrt a)) (* (sqrt b) (sqrt b))) (+ (* (sqrt a) (sqrt a)) (* (sqrt b) (sqrt b))) (- (* (sqrt a) (sqrt a)) (* (sqrt b) (sqrt b))) (+ (* (sqrt a) (sqrt a)) b) (- (* (sqrt a) (sqrt a)) b) (+ (* (sqrt a) (sqrt a)) b) (- (* (sqrt a) (sqrt a)) b) (+ (* (sqrt a) (sqrt a)) (sqrt (* b b))) (- (* (sqrt a) (sqrt a)) (sqrt (* b b))) (+ (* (sqrt a) (sqrt a)) (* (sqrt b) (sqrt b))) (- (* (sqrt a) (sqrt a)) (* (sqrt b) (sqrt b))) (+ (* (sqrt a) (sqrt a)) (* (sqrt b) (sqrt b))) (- (* (sqrt a) (sqrt a)) (* (sqrt b) (sqrt b))) (+ (* (sqrt a) (sqrt a)) b) (- (* (sqrt a) (sqrt a)) b) (+ a b) (- a b) (+ a (sqrt (* b b))) (- a (sqrt (* b b))) (+ a (* (sqrt b) (sqrt b))) (- a (* (sqrt b) (sqrt b))) (+ a (* (sqrt b) (sqrt b))) (- a (* (sqrt b) (sqrt b))) (+ a b) (- a b) (- (* a a) (* b b)) (- (* a a) (* b b)) (- (* a a) (* b b)) (- (* a a) (* b b)) (- (* a a) (* b b)) (- (* b b)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 0.223 * * [simplify]: iteration 0 : 595 enodes (cost 3377 ) 0.232 * * [simplify]: iteration 1 : 1511 enodes (cost 2178 ) 0.269 * * [simplify]: iteration 2 : 5002 enodes (cost 1644 ) 0.287 * [simplify]: Simplified to: (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (fma (* (cbrt (* a a)) (cbrt (* a a))) (cbrt (* a a)) (- (* b b))) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (- (* a a) (* b b)) (fma (- b) b (* b b)) (expm1 (- (* a a) (* b b))) (log1p (- (* a a) (* b b))) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (- (* b b)) (exp (- (* a a) (* b b))) (log (- (* a a) (* b b))) (exp (- (* a a) (* b b))) (* (cbrt (- (* a a) (* b b))) (cbrt (- (* a a) (* b b)))) (cbrt (- (* a a) (* b b))) (pow (- (* a a) (* b b)) 3) (sqrt (- (* a a) (* b b))) (sqrt (- (* a a) (* b b))) (- (pow (* a a) 3) (pow (* b b) 3)) (fma b (* b (fma a a (* b b))) (pow a 4)) (- (* b b)) (fma (- (pow b 3)) b (pow a 4)) (fma a a (* b b)) (+ b a) (- a b) (+ (fabs b) a) (- a (fabs b)) (+ b a) (- a b) (+ b a) (- a b) (+ b a) (- a b) (+ b (fabs a)) (- (fabs a) b) (+ (fabs b) (fabs a)) (- (fabs a) (fabs b)) (+ b (fabs a)) (- (fabs a) b) (+ b (fabs a)) (- (fabs a) b) (+ b (fabs a)) (- (fabs a) b) (+ b a) (- a b) (+ (fabs b) a) (- a (fabs b)) (+ b a) (- a b) (+ b a) (- a b) (+ b a) (- a b) (+ b a) (- a b) (+ (fabs b) a) (- a (fabs b)) (+ b a) (- a b) (+ b a) (- a b) (+ b a) (- a b) (+ b a) (- a b) (+ (fabs b) a) (- a (fabs b)) (+ b a) (- a b) (+ b a) (- a b) (+ b a) (- a b) (- (* a a) (* b b)) (- (* a a) (* b b)) (- (* a a) (* b b)) (- (* a a) (* b b)) (- (* a a) (* b b)) (- (* b b)) (- (* a a) (* b b)) (- (* a a) (* b b)) (- (* a a) (* b b)) 0.289 * * * [progress]: adding candidates to table 0.343 * * [progress]: iteration 2 / 4 0.343 * * * [progress]: picking best candidate 0.345 * * * * [pick]: Picked # 0.345 * * * [progress]: localizing error 0.349 * * * [progress]: generating rewritten candidates 0.349 * * * [progress]: generating series expansions 0.349 * * * [progress]: simplifying candidates 0.349 * [simplify]: Simplifying using # : 0.352 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 0.352 * [simplify]: Simplified to: 0.352 * * * [progress]: adding candidates to table 0.352 * [progress]: [Phase 3 of 3] Extracting. 0.353 * [simplify]: Simplifying using # : (* (+ b a) (- a b)) 0.354 * * [simplify]: iteration 0 : 7 enodes (cost 3 ) 0.354 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 0.354 * [simplify]: Simplified to: (* (+ b a) (- a b)) 0.865 * [regime-testing]: End program error score: 0.0012501562695336917 0.883 * [regime-testing]: Target error score: 0.0012501562695336917