7.076 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (- (* a a) (* b b)) 0.022 * * [simplify]: iteration 0 : 11 enodes (cost 3 ) 0.023 * * [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.035 * * [simplify]: iteration 6 : 541 enodes (cost 3 ) 0.048 * * [simplify]: iteration 7 : 2138 enodes (cost 3 ) 0.109 * * [simplify]: iteration 8 : 5001 enodes (cost 3 ) 0.110 * [simplify]: Simplified to: (- (* a a) (* b b)) 0.110 * * [progress]: iteration 1 / 4 0.110 * * * [progress]: picking best candidate 0.112 * * * * [pick]: Picked # 0.112 * * * [progress]: localizing error 0.116 * * * [progress]: generating rewritten candidates 0.116 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.162 * * * [progress]: generating series expansions 0.162 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.162 * [approximate]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0 0.162 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 0.162 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.162 * [taylor]: Taking taylor expansion of a in b 0.162 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.162 * [taylor]: Taking taylor expansion of b in b 0.162 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.162 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.162 * [taylor]: Taking taylor expansion of a in a 0.162 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.162 * [taylor]: Taking taylor expansion of b in a 0.162 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.162 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.162 * [taylor]: Taking taylor expansion of a in a 0.163 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.163 * [taylor]: Taking taylor expansion of b in a 0.163 * [taylor]: Taking taylor expansion of (- (pow b 2)) in b 0.163 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.163 * [taylor]: Taking taylor expansion of b in b 0.164 * [taylor]: Taking taylor expansion of 0 in b 0.165 * [taylor]: Taking taylor expansion of 1 in b 0.167 * [taylor]: Taking taylor expansion of 0 in b 0.169 * [taylor]: Taking taylor expansion of 0 in b 0.169 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 0.169 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.169 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.169 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.169 * [taylor]: Taking taylor expansion of a in b 0.170 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.170 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.170 * [taylor]: Taking taylor expansion of b in b 0.170 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.170 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.170 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.170 * [taylor]: Taking taylor expansion of a in a 0.171 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.171 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.171 * [taylor]: Taking taylor expansion of b in a 0.171 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.171 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.171 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.171 * [taylor]: Taking taylor expansion of a in a 0.171 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.171 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.171 * [taylor]: Taking taylor expansion of b in a 0.172 * [taylor]: Taking taylor expansion of 1 in b 0.173 * [taylor]: Taking taylor expansion of 0 in b 0.174 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.174 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.174 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.174 * [taylor]: Taking taylor expansion of b in b 0.177 * [taylor]: Taking taylor expansion of 0 in b 0.180 * [taylor]: Taking taylor expansion of 0 in b 0.182 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 0.182 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.183 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.183 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.183 * [taylor]: Taking taylor expansion of a in b 0.183 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.183 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.183 * [taylor]: Taking taylor expansion of b in b 0.183 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.183 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.183 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.183 * [taylor]: Taking taylor expansion of a in a 0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.184 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.184 * [taylor]: Taking taylor expansion of b in a 0.184 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.184 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.184 * [taylor]: Taking taylor expansion of a in a 0.185 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.185 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.185 * [taylor]: Taking taylor expansion of b in a 0.185 * [taylor]: Taking taylor expansion of 1 in b 0.186 * [taylor]: Taking taylor expansion of 0 in b 0.188 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) 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.191 * [taylor]: Taking taylor expansion of 0 in b 0.194 * [taylor]: Taking taylor expansion of 0 in b 0.195 * * * [progress]: simplifying candidates 0.200 * [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.219 * * [simplify]: iteration 0 : 601 enodes (cost 3377 ) 0.226 * * [simplify]: iteration 1 : 1573 enodes (cost 2178 ) 0.262 * * [simplify]: iteration 2 : 5001 enodes (cost 1644 ) 0.271 * [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.273 * * * [progress]: adding candidates to table 0.351 * * [progress]: iteration 2 / 4 0.351 * * * [progress]: picking best candidate 0.352 * * * * [pick]: Picked # 0.353 * * * [progress]: localizing error 0.362 * * * [progress]: generating rewritten candidates 0.363 * * * [progress]: generating series expansions 0.363 * * * [progress]: simplifying candidates 0.363 * [simplify]: Simplifying using # : 0.366 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 0.366 * [simplify]: Simplified to: 0.366 * * * [progress]: adding candidates to table 0.366 * [progress]: [Phase 3 of 3] Extracting. 0.368 * [simplify]: Simplifying using # : (fma (* a 1) a (- (* b b))) 0.370 * * [simplify]: iteration 0 : 13 enodes (cost 4 ) 0.371 * * [simplify]: iteration 1 : 15 enodes (cost 4 ) 0.371 * * [simplify]: iteration 2 : 15 enodes (cost 4 ) 0.371 * [simplify]: Simplified to: (fma (* a 1) a (- (* b b))) 0.933 * [regime-testing]: End program error score: 0.0023752969121140144 0.953 * [regime-testing]: Target error score: 0.001375171896487061