58.820 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.029 * [simplify]: Simplifying: (* (+ a b) (+ a b)) 0.029 * * [simplify]: iteration 1: (4 enodes) 0.030 * * [simplify]: iteration 2: (11 enodes) 0.032 * * [simplify]: iteration 3: (25 enodes) 0.036 * * [simplify]: iteration 4: (53 enodes) 0.046 * * [simplify]: iteration 5: (72 enodes) 0.059 * * [simplify]: iteration 6: (88 enodes) 0.074 * * [simplify]: iteration 7: (97 enodes) 0.086 * * [simplify]: iteration 8: (103 enodes) 0.103 * * [simplify]: Extracting #0: cost 1 inf + 0 0.103 * * [simplify]: Extracting #1: cost 12 inf + 0 0.104 * * [simplify]: Extracting #2: cost 19 inf + 0 0.104 * * [simplify]: Extracting #3: cost 16 inf + 3 0.104 * * [simplify]: Extracting #4: cost 1 inf + 1149 0.105 * * [simplify]: Extracting #5: cost 0 inf + 1271 0.106 * [simplify]: Simplified to: (* (+ b a) (+ b a)) 0.109 * * [progress]: iteration 1 / 4 0.109 * * * [progress]: picking best candidate 0.111 * * * * [pick]: Picked # 0.111 * * * [progress]: localizing error 0.121 * * * [progress]: generating rewritten candidates 0.121 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.158 * * * [progress]: generating series expansions 0.158 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.158 * [backup-simplify]: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2) 0.158 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0 0.158 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b 0.158 * [taylor]: Taking taylor expansion of (+ a b) in b 0.158 * [taylor]: Taking taylor expansion of a in b 0.158 * [backup-simplify]: Simplify a into a 0.158 * [taylor]: Taking taylor expansion of b in b 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 1 into 1 0.158 * [backup-simplify]: Simplify (+ a 0) into a 0.158 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.158 * [taylor]: Taking taylor expansion of (+ a b) in a 0.158 * [taylor]: Taking taylor expansion of a in a 0.158 * [backup-simplify]: Simplify 0 into 0 0.158 * [backup-simplify]: Simplify 1 into 1 0.158 * [taylor]: Taking taylor expansion of b in a 0.158 * [backup-simplify]: Simplify b into b 0.159 * [backup-simplify]: Simplify (+ 0 b) into b 0.159 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.159 * [taylor]: Taking taylor expansion of (+ a b) in a 0.159 * [taylor]: Taking taylor expansion of a in a 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify 1 into 1 0.159 * [taylor]: Taking taylor expansion of b in a 0.159 * [backup-simplify]: Simplify b into b 0.159 * [backup-simplify]: Simplify (+ 0 b) into b 0.159 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.159 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.159 * [taylor]: Taking taylor expansion of b in b 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify 1 into 1 0.160 * [backup-simplify]: Simplify (+ 1 0) into 1 0.160 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b) 0.160 * [taylor]: Taking taylor expansion of (* 2 b) in b 0.160 * [taylor]: Taking taylor expansion of 2 in b 0.160 * [backup-simplify]: Simplify 2 into 2 0.160 * [taylor]: Taking taylor expansion of b in b 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify 1 into 1 0.160 * [backup-simplify]: Simplify (* 2 0) into 0 0.160 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify (+ 0 0) into 0 0.161 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1 0.161 * [taylor]: Taking taylor expansion of 1 in b 0.161 * [backup-simplify]: Simplify 1 into 1 0.161 * [backup-simplify]: Simplify 1 into 1 0.162 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 0.162 * [backup-simplify]: Simplify 2 into 2 0.162 * [backup-simplify]: Simplify (* 1 1) into 1 0.162 * [backup-simplify]: Simplify 1 into 1 0.162 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 0.163 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 a) (/ 1 b)) 2) 0.163 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0 0.163 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b 0.163 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.163 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.163 * [taylor]: Taking taylor expansion of a in b 0.163 * [backup-simplify]: Simplify a into a 0.163 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.163 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.163 * [taylor]: Taking taylor expansion of b in b 0.163 * [backup-simplify]: Simplify 0 into 0 0.163 * [backup-simplify]: Simplify 1 into 1 0.163 * [backup-simplify]: Simplify (/ 1 1) into 1 0.164 * [backup-simplify]: Simplify (+ 0 1) into 1 0.164 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 0.164 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.164 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.164 * [taylor]: Taking taylor expansion of a in a 0.164 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 1 into 1 0.164 * [backup-simplify]: Simplify (/ 1 1) into 1 0.164 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.164 * [taylor]: Taking taylor expansion of b in a 0.164 * [backup-simplify]: Simplify b into b 0.164 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.165 * [backup-simplify]: Simplify (+ 1 0) into 1 0.165 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 0.165 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.165 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.165 * [taylor]: Taking taylor expansion of a in a 0.165 * [backup-simplify]: Simplify 0 into 0 0.165 * [backup-simplify]: Simplify 1 into 1 0.165 * [backup-simplify]: Simplify (/ 1 1) into 1 0.165 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.165 * [taylor]: Taking taylor expansion of b in a 0.165 * [backup-simplify]: Simplify b into b 0.165 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.166 * [backup-simplify]: Simplify (+ 1 0) into 1 0.166 * [backup-simplify]: Simplify (* 1 1) into 1 0.166 * [taylor]: Taking taylor expansion of 1 in b 0.166 * [backup-simplify]: Simplify 1 into 1 0.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.167 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 0.167 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b)) 0.167 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.167 * [taylor]: Taking taylor expansion of 2 in b 0.167 * [backup-simplify]: Simplify 2 into 2 0.167 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.167 * [taylor]: Taking taylor expansion of b in b 0.167 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify 1 into 1 0.168 * [backup-simplify]: Simplify (/ 1 1) into 1 0.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.168 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.169 * [backup-simplify]: Simplify (+ 0 0) into 0 0.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 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 * [backup-simplify]: Simplify 0 into 0 0.170 * [backup-simplify]: Simplify 1 into 1 0.170 * [backup-simplify]: Simplify (* 1 1) into 1 0.170 * [backup-simplify]: Simplify (/ 1 1) into 1 0.170 * [backup-simplify]: Simplify 1 into 1 0.171 * [backup-simplify]: Simplify (* 2 1) into 2 0.171 * [backup-simplify]: Simplify 2 into 2 0.171 * [backup-simplify]: Simplify 1 into 1 0.171 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 0.171 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 a) (/ 1 b)) 2) 0.171 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0 0.171 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b 0.171 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.171 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.171 * [taylor]: Taking taylor expansion of a in b 0.171 * [backup-simplify]: Simplify a into a 0.171 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.171 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.171 * [taylor]: Taking taylor expansion of b in b 0.171 * [backup-simplify]: Simplify 0 into 0 0.171 * [backup-simplify]: Simplify 1 into 1 0.172 * [backup-simplify]: Simplify (/ 1 1) into 1 0.172 * [backup-simplify]: Simplify (+ 0 1) into 1 0.172 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 0.172 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.172 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.172 * [taylor]: Taking taylor expansion of a in a 0.172 * [backup-simplify]: Simplify 0 into 0 0.172 * [backup-simplify]: Simplify 1 into 1 0.172 * [backup-simplify]: Simplify (/ 1 1) into 1 0.172 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.172 * [taylor]: Taking taylor expansion of b in a 0.172 * [backup-simplify]: Simplify b into b 0.172 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.173 * [backup-simplify]: Simplify (+ 1 0) into 1 0.173 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a 0.173 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.173 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.173 * [taylor]: Taking taylor expansion of a in a 0.173 * [backup-simplify]: Simplify 0 into 0 0.173 * [backup-simplify]: Simplify 1 into 1 0.173 * [backup-simplify]: Simplify (/ 1 1) into 1 0.173 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.173 * [taylor]: Taking taylor expansion of b in a 0.173 * [backup-simplify]: Simplify b into b 0.173 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.173 * [backup-simplify]: Simplify (+ 1 0) into 1 0.174 * [backup-simplify]: Simplify (* 1 1) into 1 0.174 * [taylor]: Taking taylor expansion of 1 in b 0.174 * [backup-simplify]: Simplify 1 into 1 0.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.174 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 0.174 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b)) 0.174 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.174 * [taylor]: Taking taylor expansion of 2 in b 0.174 * [backup-simplify]: Simplify 2 into 2 0.174 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.174 * [taylor]: Taking taylor expansion of b in b 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify 1 into 1 0.175 * [backup-simplify]: Simplify (/ 1 1) into 1 0.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.175 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.175 * [backup-simplify]: Simplify (+ 0 0) into 0 0.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 0.176 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.176 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.176 * [taylor]: Taking taylor expansion of b in b 0.176 * [backup-simplify]: Simplify 0 into 0 0.176 * [backup-simplify]: Simplify 1 into 1 0.176 * [backup-simplify]: Simplify (* 1 1) into 1 0.177 * [backup-simplify]: Simplify (/ 1 1) into 1 0.177 * [backup-simplify]: Simplify 1 into 1 0.177 * [backup-simplify]: Simplify (* 2 1) into 2 0.177 * [backup-simplify]: Simplify 2 into 2 0.177 * [backup-simplify]: Simplify 1 into 1 0.177 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 0.177 * * * [progress]: simplifying candidates 0.177 * * * * [progress]: [ 1 / 44 ] simplifiying candidate # 0.177 * * * * [progress]: [ 2 / 44 ] simplifiying candidate # 0.177 * * * * [progress]: [ 3 / 44 ] simplifiying candidate # 0.177 * * * * [progress]: [ 4 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 5 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 6 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 7 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 8 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 9 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 10 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 11 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 12 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 13 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 14 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 15 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 16 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 17 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 18 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 19 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 20 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 21 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 22 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 23 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 24 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 25 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 26 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 27 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 28 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 29 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 30 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 31 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 32 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 33 / 44 ] simplifiying candidate # 0.178 * * * * [progress]: [ 34 / 44 ] simplifiying candidate # 0.179 * * * * [progress]: [ 35 / 44 ] simplifiying candidate # 0.179 * * * * [progress]: [ 36 / 44 ] simplifiying candidate # 0.179 * * * * [progress]: [ 37 / 44 ] simplifiying candidate # 0.179 * * * * [progress]: [ 38 / 44 ] simplifiying candidate # 0.179 * * * * [progress]: [ 39 / 44 ] simplifiying candidate # 0.179 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #real (real->posit16 (* (+ a b) (+ a b)))))> 0.179 * * * * [progress]: [ 41 / 44 ] simplifiying candidate # 0.179 * * * * [progress]: [ 42 / 44 ] simplifiying candidate # 0.179 * * * * [progress]: [ 43 / 44 ] simplifiying candidate # 0.179 * * * * [progress]: [ 44 / 44 ] simplifiying candidate # 0.179 * [simplify]: Simplifying: (+ 1 1) (* (+ a b) (+ a b)) (+ 1 1) (+ (log (+ a b)) (log (+ a b))) (log (* (+ a b) (+ a b))) (exp (* (+ a b) (+ a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b))) (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b))) (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b))) (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b)) (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) (* (- a b) (+ (* a a) (- (* b b) (* a b)))) (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b)) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (cbrt (+ a b)) (cbrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* 2 1) (* (+ a b) a) (* (+ a b) b) (* a (+ a b)) (* b (+ a b)) (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (+ a b) (sqrt (+ a b))) (* (+ a b) 1) (* (+ a b) 1) (* (cbrt (+ a b)) (+ a b)) (* (sqrt (+ a b)) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (+ a b)) (* (- (* a a) (* b b)) (+ a b)) (real->posit16 (* (+ a b) (+ a b))) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 0.180 * * [simplify]: iteration 1: (63 enodes) 0.195 * * [simplify]: iteration 2: (218 enodes) 0.311 * * [simplify]: iteration 3: (776 enodes) 0.885 * * [simplify]: Extracting #0: cost 26 inf + 0 0.886 * * [simplify]: Extracting #1: cost 277 inf + 2 0.890 * * [simplify]: Extracting #2: cost 813 inf + 1086 0.901 * * [simplify]: Extracting #3: cost 810 inf + 41585 0.948 * * [simplify]: Extracting #4: cost 137 inf + 180202 1.007 * * [simplify]: Extracting #5: cost 2 inf + 213788 1.062 * * [simplify]: Extracting #6: cost 0 inf + 214064 1.105 * * [simplify]: Extracting #7: cost 0 inf + 213944 1.156 * [simplify]: Simplified to: 2 (* (+ b a) (+ b a)) 2 (+ (log (+ b a)) (log (+ b a))) (+ (log (+ b a)) (log (+ b a))) (exp (* (+ b a) (+ b a))) (* (* (* (+ b a) (+ b a)) (* (+ b a) (+ b a))) (* (+ b a) (+ b a))) (* (cbrt (* (+ b a) (+ b a))) (cbrt (* (+ b a) (+ b a)))) (cbrt (* (+ b a) (+ b a))) (* (* (* (+ b a) (+ b a)) (* (+ b a) (+ b a))) (* (+ b a) (+ b a))) (fabs (+ b a)) (fabs (+ b a)) (* (+ (* b (* b b)) (* (* a a) a)) (+ (* b (* b b)) (* (* a a) a))) (* (+ (* (- b a) b) (* a a)) (+ (* (- b a) b) (* a a))) (* (* (- a b) (+ b a)) (+ (* b (* b b)) (* (* a a) a))) (* (+ (* (- b a) b) (* a a)) (- a b)) (* (* (- a b) (+ b a)) (+ (* b (* b b)) (* (* a a) a))) (* (+ (* (- b a) b) (* a a)) (- a b)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a))) (* (- a b) (- a b)) (* (cbrt (+ b a)) (+ b a)) (* (cbrt (+ b a)) (cbrt (+ b a))) (+ b a) (+ b a) 1 (* (+ b a) (+ b a)) 1 (* (+ b a) (+ b a)) 1 (* (+ b a) (+ b a)) 1 (* (+ b a) (+ b a)) (+ b a) (+ b a) 2 (* (+ b a) a) (* b (+ b a)) (* (+ b a) a) (* b (+ b a)) (* (* (cbrt (+ b a)) (+ b a)) (cbrt (+ b a))) (* (+ b a) (sqrt (+ b a))) (+ b a) (+ b a) (* (cbrt (+ b a)) (+ b a)) (* (+ b a) (sqrt (+ b a))) (* (+ b a) (+ b a)) (* (+ b a) (+ b a)) (* (+ b a) (+ (* b (* b b)) (* (* a a) a))) (* (* (- a b) (+ b a)) (+ b a)) (* (+ b a) (+ (* b (* b b)) (* (* a a) a))) (* (* (- a b) (+ b a)) (+ b a)) (real->posit16 (* (+ b a) (+ b a))) (+ (+ (* b (* 2 a)) (* a a)) (* b b)) (+ (+ (* b (* 2 a)) (* a a)) (* b b)) (+ (+ (* b (* 2 a)) (* a a)) (* b b)) 1.159 * * * [progress]: adding candidates to table 1.407 * * [progress]: iteration 2 / 4 1.407 * * * [progress]: picking best candidate 1.412 * * * * [pick]: Picked # 1.412 * * * [progress]: localizing error 1.426 * * * [progress]: generating rewritten candidates 1.426 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.446 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.463 * * * [progress]: generating series expansions 1.463 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.463 * [backup-simplify]: Simplify (* b (+ a b)) into (* (+ a b) b) 1.463 * [approximate]: Taking taylor expansion of (* (+ a b) b) in (b a) around 0 1.463 * [taylor]: Taking taylor expansion of (* (+ a b) b) in a 1.463 * [taylor]: Taking taylor expansion of (+ a b) in a 1.463 * [taylor]: Taking taylor expansion of a in a 1.463 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify 1 into 1 1.463 * [taylor]: Taking taylor expansion of b in a 1.463 * [backup-simplify]: Simplify b into b 1.463 * [taylor]: Taking taylor expansion of b in a 1.463 * [backup-simplify]: Simplify b into b 1.464 * [taylor]: Taking taylor expansion of (* (+ a b) b) in b 1.464 * [taylor]: Taking taylor expansion of (+ a b) in b 1.464 * [taylor]: Taking taylor expansion of a in b 1.464 * [backup-simplify]: Simplify a into a 1.464 * [taylor]: Taking taylor expansion of b in b 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 1 into 1 1.464 * [taylor]: Taking taylor expansion of b in b 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 1 into 1 1.464 * [taylor]: Taking taylor expansion of (* (+ a b) b) in b 1.464 * [taylor]: Taking taylor expansion of (+ a b) in b 1.464 * [taylor]: Taking taylor expansion of a in b 1.464 * [backup-simplify]: Simplify a into a 1.464 * [taylor]: Taking taylor expansion of b in b 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 1 into 1 1.464 * [taylor]: Taking taylor expansion of b in b 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 1 into 1 1.464 * [backup-simplify]: Simplify (+ a 0) into a 1.464 * [backup-simplify]: Simplify (* a 0) into 0 1.464 * [taylor]: Taking taylor expansion of 0 in a 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify (+ 0 1) into 1 1.465 * [backup-simplify]: Simplify (+ (* a 1) (* 1 0)) into a 1.465 * [taylor]: Taking taylor expansion of a in a 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 1 into 1 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.469 * [backup-simplify]: Simplify (+ 0 0) into 0 1.469 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 1 1) (* 0 0))) into 1 1.469 * [taylor]: Taking taylor expansion of 1 in a 1.469 * [backup-simplify]: Simplify 1 into 1 1.469 * [backup-simplify]: Simplify 1 into 1 1.469 * [backup-simplify]: Simplify 1 into 1 1.469 * [backup-simplify]: Simplify 0 into 0 1.470 * [backup-simplify]: Simplify (+ 0 0) into 0 1.471 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 1.471 * [taylor]: Taking taylor expansion of 0 in a 1.471 * [backup-simplify]: Simplify 0 into 0 1.471 * [backup-simplify]: Simplify 0 into 0 1.471 * [backup-simplify]: Simplify 0 into 0 1.471 * [backup-simplify]: Simplify 0 into 0 1.471 * [backup-simplify]: Simplify 0 into 0 1.471 * [backup-simplify]: Simplify (+ 0 0) into 0 1.472 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.472 * [taylor]: Taking taylor expansion of 0 in a 1.472 * [backup-simplify]: Simplify 0 into 0 1.472 * [backup-simplify]: Simplify 0 into 0 1.472 * [backup-simplify]: Simplify (+ (* 1 (* a b)) (* 1 (pow (* 1 b) 2))) into (+ (pow b 2) (* a b)) 1.472 * [backup-simplify]: Simplify (* (/ 1 b) (+ (/ 1 a) (/ 1 b))) into (/ (+ (/ 1 a) (/ 1 b)) b) 1.472 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in (b a) around 0 1.472 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a 1.473 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1.473 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.473 * [taylor]: Taking taylor expansion of a in a 1.473 * [backup-simplify]: Simplify 0 into 0 1.473 * [backup-simplify]: Simplify 1 into 1 1.473 * [backup-simplify]: Simplify (/ 1 1) into 1 1.473 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.473 * [taylor]: Taking taylor expansion of b in a 1.473 * [backup-simplify]: Simplify b into b 1.473 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.473 * [taylor]: Taking taylor expansion of b in a 1.473 * [backup-simplify]: Simplify b into b 1.473 * [backup-simplify]: Simplify (+ 1 0) into 1 1.473 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.474 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b 1.474 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1.474 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.474 * [taylor]: Taking taylor expansion of a in b 1.474 * [backup-simplify]: Simplify a into a 1.474 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.474 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.474 * [taylor]: Taking taylor expansion of b in b 1.474 * [backup-simplify]: Simplify 0 into 0 1.474 * [backup-simplify]: Simplify 1 into 1 1.474 * [backup-simplify]: Simplify (/ 1 1) into 1 1.474 * [taylor]: Taking taylor expansion of b in b 1.474 * [backup-simplify]: Simplify 0 into 0 1.474 * [backup-simplify]: Simplify 1 into 1 1.474 * [backup-simplify]: Simplify (+ 0 1) into 1 1.475 * [backup-simplify]: Simplify (/ 1 1) into 1 1.475 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b 1.475 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1.475 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.475 * [taylor]: Taking taylor expansion of a in b 1.475 * [backup-simplify]: Simplify a into a 1.475 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.475 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.475 * [taylor]: Taking taylor expansion of b in b 1.475 * [backup-simplify]: Simplify 0 into 0 1.475 * [backup-simplify]: Simplify 1 into 1 1.475 * [backup-simplify]: Simplify (/ 1 1) into 1 1.475 * [taylor]: Taking taylor expansion of b in b 1.475 * [backup-simplify]: Simplify 0 into 0 1.475 * [backup-simplify]: Simplify 1 into 1 1.476 * [backup-simplify]: Simplify (+ 0 1) into 1 1.476 * [backup-simplify]: Simplify (/ 1 1) into 1 1.476 * [taylor]: Taking taylor expansion of 1 in a 1.476 * [backup-simplify]: Simplify 1 into 1 1.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.477 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.477 * [backup-simplify]: Simplify (- (/ (/ 1 a) 1) (+ (* 1 (/ 0 1)))) into (/ 1 a) 1.478 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.478 * [taylor]: Taking taylor expansion of a in a 1.478 * [backup-simplify]: Simplify 0 into 0 1.478 * [backup-simplify]: Simplify 1 into 1 1.478 * [backup-simplify]: Simplify (/ 1 1) into 1 1.478 * [backup-simplify]: Simplify 1 into 1 1.478 * [backup-simplify]: Simplify 1 into 1 1.478 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.479 * [backup-simplify]: Simplify (+ 0 0) into 0 1.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)))) into 0 1.480 * [taylor]: Taking taylor expansion of 0 in a 1.480 * [backup-simplify]: Simplify 0 into 0 1.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.481 * [backup-simplify]: Simplify 0 into 0 1.481 * [backup-simplify]: Simplify 0 into 0 1.481 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.482 * [backup-simplify]: Simplify (+ 0 0) into 0 1.484 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.484 * [taylor]: Taking taylor expansion of 0 in a 1.484 * [backup-simplify]: Simplify 0 into 0 1.484 * [backup-simplify]: Simplify 0 into 0 1.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.485 * [backup-simplify]: Simplify 0 into 0 1.485 * [backup-simplify]: Simplify 0 into 0 1.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.486 * [backup-simplify]: Simplify (+ 0 0) into 0 1.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.488 * [taylor]: Taking taylor expansion of 0 in a 1.488 * [backup-simplify]: Simplify 0 into 0 1.488 * [backup-simplify]: Simplify 0 into 0 1.488 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (* 1 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b))))) into (+ (pow b 2) (* a b)) 1.489 * [backup-simplify]: Simplify (* (/ 1 (- b)) (+ (/ 1 (- a)) (/ 1 (- b)))) into (/ (+ (/ 1 a) (/ 1 b)) b) 1.489 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in (b a) around 0 1.489 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a 1.489 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 1.489 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.489 * [taylor]: Taking taylor expansion of a in a 1.489 * [backup-simplify]: Simplify 0 into 0 1.489 * [backup-simplify]: Simplify 1 into 1 1.489 * [backup-simplify]: Simplify (/ 1 1) into 1 1.489 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.489 * [taylor]: Taking taylor expansion of b in a 1.489 * [backup-simplify]: Simplify b into b 1.489 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.489 * [taylor]: Taking taylor expansion of b in a 1.489 * [backup-simplify]: Simplify b into b 1.490 * [backup-simplify]: Simplify (+ 1 0) into 1 1.490 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.490 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b 1.490 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1.490 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.490 * [taylor]: Taking taylor expansion of a in b 1.490 * [backup-simplify]: Simplify a into a 1.490 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.490 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.490 * [taylor]: Taking taylor expansion of b in b 1.490 * [backup-simplify]: Simplify 0 into 0 1.490 * [backup-simplify]: Simplify 1 into 1 1.490 * [backup-simplify]: Simplify (/ 1 1) into 1 1.490 * [taylor]: Taking taylor expansion of b in b 1.490 * [backup-simplify]: Simplify 0 into 0 1.490 * [backup-simplify]: Simplify 1 into 1 1.491 * [backup-simplify]: Simplify (+ 0 1) into 1 1.491 * [backup-simplify]: Simplify (/ 1 1) into 1 1.491 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b 1.491 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1.491 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.491 * [taylor]: Taking taylor expansion of a in b 1.491 * [backup-simplify]: Simplify a into a 1.491 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.491 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.491 * [taylor]: Taking taylor expansion of b in b 1.491 * [backup-simplify]: Simplify 0 into 0 1.491 * [backup-simplify]: Simplify 1 into 1 1.492 * [backup-simplify]: Simplify (/ 1 1) into 1 1.492 * [taylor]: Taking taylor expansion of b in b 1.492 * [backup-simplify]: Simplify 0 into 0 1.492 * [backup-simplify]: Simplify 1 into 1 1.492 * [backup-simplify]: Simplify (+ 0 1) into 1 1.492 * [backup-simplify]: Simplify (/ 1 1) into 1 1.493 * [taylor]: Taking taylor expansion of 1 in a 1.493 * [backup-simplify]: Simplify 1 into 1 1.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.493 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a) 1.494 * [backup-simplify]: Simplify (- (/ (/ 1 a) 1) (+ (* 1 (/ 0 1)))) into (/ 1 a) 1.494 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.494 * [taylor]: Taking taylor expansion of a in a 1.494 * [backup-simplify]: Simplify 0 into 0 1.494 * [backup-simplify]: Simplify 1 into 1 1.494 * [backup-simplify]: Simplify (/ 1 1) into 1 1.494 * [backup-simplify]: Simplify 1 into 1 1.494 * [backup-simplify]: Simplify 1 into 1 1.494 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 1.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.495 * [backup-simplify]: Simplify (+ 0 0) into 0 1.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)))) into 0 1.497 * [taylor]: Taking taylor expansion of 0 in a 1.497 * [backup-simplify]: Simplify 0 into 0 1.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.497 * [backup-simplify]: Simplify 0 into 0 1.497 * [backup-simplify]: Simplify 0 into 0 1.497 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.499 * [backup-simplify]: Simplify (+ 0 0) into 0 1.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.500 * [taylor]: Taking taylor expansion of 0 in a 1.500 * [backup-simplify]: Simplify 0 into 0 1.500 * [backup-simplify]: Simplify 0 into 0 1.501 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.501 * [backup-simplify]: Simplify 0 into 0 1.501 * [backup-simplify]: Simplify 0 into 0 1.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 1.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.502 * [backup-simplify]: Simplify (+ 0 0) into 0 1.504 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 a) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.504 * [taylor]: Taking taylor expansion of 0 in a 1.504 * [backup-simplify]: Simplify 0 into 0 1.504 * [backup-simplify]: Simplify 0 into 0 1.504 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (* 1 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))))) into (+ (pow b 2) (* a b)) 1.505 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.505 * [backup-simplify]: Simplify (+ (* a (+ a b)) (* b (+ a b))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 1.505 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in (a b) around 0 1.505 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in b 1.505 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.505 * [taylor]: Taking taylor expansion of a in b 1.505 * [backup-simplify]: Simplify a into a 1.505 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in b 1.505 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.505 * [taylor]: Taking taylor expansion of b in b 1.505 * [backup-simplify]: Simplify 0 into 0 1.505 * [backup-simplify]: Simplify 1 into 1 1.505 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 1.505 * [taylor]: Taking taylor expansion of 2 in b 1.505 * [backup-simplify]: Simplify 2 into 2 1.505 * [taylor]: Taking taylor expansion of (* a b) in b 1.505 * [taylor]: Taking taylor expansion of a in b 1.505 * [backup-simplify]: Simplify a into a 1.505 * [taylor]: Taking taylor expansion of b in b 1.505 * [backup-simplify]: Simplify 0 into 0 1.505 * [backup-simplify]: Simplify 1 into 1 1.505 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a 1.505 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.505 * [taylor]: Taking taylor expansion of a in a 1.505 * [backup-simplify]: Simplify 0 into 0 1.505 * [backup-simplify]: Simplify 1 into 1 1.505 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a 1.505 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.505 * [taylor]: Taking taylor expansion of b in a 1.505 * [backup-simplify]: Simplify b into b 1.505 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 1.505 * [taylor]: Taking taylor expansion of 2 in a 1.505 * [backup-simplify]: Simplify 2 into 2 1.505 * [taylor]: Taking taylor expansion of (* a b) in a 1.505 * [taylor]: Taking taylor expansion of a in a 1.505 * [backup-simplify]: Simplify 0 into 0 1.506 * [backup-simplify]: Simplify 1 into 1 1.506 * [taylor]: Taking taylor expansion of b in a 1.506 * [backup-simplify]: Simplify b into b 1.506 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a 1.506 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.506 * [taylor]: Taking taylor expansion of a in a 1.506 * [backup-simplify]: Simplify 0 into 0 1.506 * [backup-simplify]: Simplify 1 into 1 1.506 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a 1.506 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.506 * [taylor]: Taking taylor expansion of b in a 1.506 * [backup-simplify]: Simplify b into b 1.506 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 1.506 * [taylor]: Taking taylor expansion of 2 in a 1.506 * [backup-simplify]: Simplify 2 into 2 1.506 * [taylor]: Taking taylor expansion of (* a b) in a 1.506 * [taylor]: Taking taylor expansion of a in a 1.506 * [backup-simplify]: Simplify 0 into 0 1.506 * [backup-simplify]: Simplify 1 into 1 1.506 * [taylor]: Taking taylor expansion of b in a 1.506 * [backup-simplify]: Simplify b into b 1.506 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1.506 * [backup-simplify]: Simplify (* 0 b) into 0 1.506 * [backup-simplify]: Simplify (* 2 0) into 0 1.506 * [backup-simplify]: Simplify (+ (pow b 2) 0) into (pow b 2) 1.507 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2) 1.507 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.507 * [taylor]: Taking taylor expansion of b in b 1.507 * [backup-simplify]: Simplify 0 into 0 1.507 * [backup-simplify]: Simplify 1 into 1 1.507 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 1.507 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 1.507 * [backup-simplify]: Simplify (+ (* 2 b) (* 0 0)) into (* 2 b) 1.508 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b) 1.508 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b) 1.508 * [taylor]: Taking taylor expansion of (* 2 b) in b 1.508 * [taylor]: Taking taylor expansion of 2 in b 1.508 * [backup-simplify]: Simplify 2 into 2 1.508 * [taylor]: Taking taylor expansion of b in b 1.508 * [backup-simplify]: Simplify 0 into 0 1.508 * [backup-simplify]: Simplify 1 into 1 1.508 * [backup-simplify]: Simplify (* 2 0) into 0 1.508 * [backup-simplify]: Simplify 0 into 0 1.508 * [backup-simplify]: Simplify (* 1 1) into 1 1.509 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 1.510 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 1.510 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 b) (* 0 0))) into 0 1.510 * [backup-simplify]: Simplify (+ 0 0) into 0 1.511 * [backup-simplify]: Simplify (+ 1 0) into 1 1.511 * [taylor]: Taking taylor expansion of 1 in b 1.511 * [backup-simplify]: Simplify 1 into 1 1.511 * [backup-simplify]: Simplify 1 into 1 1.511 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 1.512 * [backup-simplify]: Simplify 2 into 2 1.512 * [backup-simplify]: Simplify (* 1 1) into 1 1.512 * [backup-simplify]: Simplify 1 into 1 1.512 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 1.512 * [backup-simplify]: Simplify (+ (* (/ 1 a) (+ (/ 1 a) (/ 1 b))) (* (/ 1 b) (+ (/ 1 a) (/ 1 b)))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) 1.512 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (a b) around 0 1.513 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b 1.513 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.513 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.513 * [taylor]: Taking taylor expansion of a in b 1.513 * [backup-simplify]: Simplify a into a 1.513 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1.513 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1.513 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b 1.513 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 1.513 * [taylor]: Taking taylor expansion of 2 in b 1.513 * [backup-simplify]: Simplify 2 into 2 1.513 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.513 * [taylor]: Taking taylor expansion of (* a b) in b 1.513 * [taylor]: Taking taylor expansion of a in b 1.513 * [backup-simplify]: Simplify a into a 1.513 * [taylor]: Taking taylor expansion of b in b 1.513 * [backup-simplify]: Simplify 0 into 0 1.513 * [backup-simplify]: Simplify 1 into 1 1.513 * [backup-simplify]: Simplify (* a 0) into 0 1.513 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 1.513 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.513 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.513 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.513 * [taylor]: Taking taylor expansion of b in b 1.514 * [backup-simplify]: Simplify 0 into 0 1.514 * [backup-simplify]: Simplify 1 into 1 1.514 * [backup-simplify]: Simplify (* 1 1) into 1 1.514 * [backup-simplify]: Simplify (/ 1 1) into 1 1.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a 1.514 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.514 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.514 * [taylor]: Taking taylor expansion of a in a 1.514 * [backup-simplify]: Simplify 0 into 0 1.514 * [backup-simplify]: Simplify 1 into 1 1.515 * [backup-simplify]: Simplify (* 1 1) into 1 1.515 * [backup-simplify]: Simplify (/ 1 1) into 1 1.515 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a 1.515 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 1.515 * [taylor]: Taking taylor expansion of 2 in a 1.515 * [backup-simplify]: Simplify 2 into 2 1.515 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.515 * [taylor]: Taking taylor expansion of (* a b) in a 1.515 * [taylor]: Taking taylor expansion of a in a 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify 1 into 1 1.515 * [taylor]: Taking taylor expansion of b in a 1.515 * [backup-simplify]: Simplify b into b 1.515 * [backup-simplify]: Simplify (* 0 b) into 0 1.516 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 1.516 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.516 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.516 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.516 * [taylor]: Taking taylor expansion of b in a 1.516 * [backup-simplify]: Simplify b into b 1.516 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1.516 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a 1.516 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.516 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.516 * [taylor]: Taking taylor expansion of a in a 1.516 * [backup-simplify]: Simplify 0 into 0 1.516 * [backup-simplify]: Simplify 1 into 1 1.516 * [backup-simplify]: Simplify (* 1 1) into 1 1.517 * [backup-simplify]: Simplify (/ 1 1) into 1 1.517 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a 1.517 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 1.517 * [taylor]: Taking taylor expansion of 2 in a 1.517 * [backup-simplify]: Simplify 2 into 2 1.517 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.517 * [taylor]: Taking taylor expansion of (* a b) in a 1.517 * [taylor]: Taking taylor expansion of a in a 1.517 * [backup-simplify]: Simplify 0 into 0 1.517 * [backup-simplify]: Simplify 1 into 1 1.517 * [taylor]: Taking taylor expansion of b in a 1.517 * [backup-simplify]: Simplify b into b 1.517 * [backup-simplify]: Simplify (* 0 b) into 0 1.517 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 1.517 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.517 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.517 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.517 * [taylor]: Taking taylor expansion of b in a 1.517 * [backup-simplify]: Simplify b into b 1.517 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1.517 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1.518 * [backup-simplify]: Simplify (+ 1 0) into 1 1.518 * [taylor]: Taking taylor expansion of 1 in b 1.518 * [backup-simplify]: Simplify 1 into 1 1.518 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.519 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b) 1.519 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b)) 1.519 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b)) 1.519 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 1.519 * [taylor]: Taking taylor expansion of 2 in b 1.519 * [backup-simplify]: Simplify 2 into 2 1.519 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.519 * [taylor]: Taking taylor expansion of b in b 1.519 * [backup-simplify]: Simplify 0 into 0 1.519 * [backup-simplify]: Simplify 1 into 1 1.520 * [backup-simplify]: Simplify (/ 1 1) into 1 1.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.522 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 1.522 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.522 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0 1.522 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2)) 1.523 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2)) 1.523 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.523 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.523 * [taylor]: Taking taylor expansion of b in b 1.523 * [backup-simplify]: Simplify 0 into 0 1.523 * [backup-simplify]: Simplify 1 into 1 1.523 * [backup-simplify]: Simplify (* 1 1) into 1 1.523 * [backup-simplify]: Simplify (/ 1 1) into 1 1.523 * [backup-simplify]: Simplify 1 into 1 1.524 * [backup-simplify]: Simplify (* 2 1) into 2 1.524 * [backup-simplify]: Simplify 2 into 2 1.524 * [backup-simplify]: Simplify 1 into 1 1.524 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 1.524 * [backup-simplify]: Simplify (+ (* (/ 1 (- a)) (+ (/ 1 (- a)) (/ 1 (- b)))) (* (/ 1 (- b)) (+ (/ 1 (- a)) (/ 1 (- b))))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) 1.524 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (a b) around 0 1.525 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b 1.525 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.525 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.525 * [taylor]: Taking taylor expansion of a in b 1.525 * [backup-simplify]: Simplify a into a 1.525 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1.525 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1.525 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b 1.525 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 1.525 * [taylor]: Taking taylor expansion of 2 in b 1.525 * [backup-simplify]: Simplify 2 into 2 1.525 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.525 * [taylor]: Taking taylor expansion of (* a b) in b 1.525 * [taylor]: Taking taylor expansion of a in b 1.525 * [backup-simplify]: Simplify a into a 1.525 * [taylor]: Taking taylor expansion of b in b 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify 1 into 1 1.525 * [backup-simplify]: Simplify (* a 0) into 0 1.525 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 1.525 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.525 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.525 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.525 * [taylor]: Taking taylor expansion of b in b 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify 1 into 1 1.526 * [backup-simplify]: Simplify (* 1 1) into 1 1.526 * [backup-simplify]: Simplify (/ 1 1) into 1 1.526 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a 1.526 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.526 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.526 * [taylor]: Taking taylor expansion of a in a 1.526 * [backup-simplify]: Simplify 0 into 0 1.526 * [backup-simplify]: Simplify 1 into 1 1.527 * [backup-simplify]: Simplify (* 1 1) into 1 1.527 * [backup-simplify]: Simplify (/ 1 1) into 1 1.527 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a 1.527 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 1.527 * [taylor]: Taking taylor expansion of 2 in a 1.527 * [backup-simplify]: Simplify 2 into 2 1.527 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.527 * [taylor]: Taking taylor expansion of (* a b) in a 1.527 * [taylor]: Taking taylor expansion of a in a 1.527 * [backup-simplify]: Simplify 0 into 0 1.527 * [backup-simplify]: Simplify 1 into 1 1.527 * [taylor]: Taking taylor expansion of b in a 1.527 * [backup-simplify]: Simplify b into b 1.527 * [backup-simplify]: Simplify (* 0 b) into 0 1.528 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 1.528 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.528 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.528 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.528 * [taylor]: Taking taylor expansion of b in a 1.528 * [backup-simplify]: Simplify b into b 1.528 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1.528 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1.528 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a 1.528 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.528 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.528 * [taylor]: Taking taylor expansion of a in a 1.528 * [backup-simplify]: Simplify 0 into 0 1.528 * [backup-simplify]: Simplify 1 into 1 1.528 * [backup-simplify]: Simplify (* 1 1) into 1 1.529 * [backup-simplify]: Simplify (/ 1 1) into 1 1.529 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a 1.529 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 1.529 * [taylor]: Taking taylor expansion of 2 in a 1.529 * [backup-simplify]: Simplify 2 into 2 1.529 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.529 * [taylor]: Taking taylor expansion of (* a b) in a 1.529 * [taylor]: Taking taylor expansion of a in a 1.529 * [backup-simplify]: Simplify 0 into 0 1.529 * [backup-simplify]: Simplify 1 into 1 1.529 * [taylor]: Taking taylor expansion of b in a 1.529 * [backup-simplify]: Simplify b into b 1.529 * [backup-simplify]: Simplify (* 0 b) into 0 1.529 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 1.529 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 1.529 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.529 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.529 * [taylor]: Taking taylor expansion of b in a 1.529 * [backup-simplify]: Simplify b into b 1.529 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1.529 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1.530 * [backup-simplify]: Simplify (+ 1 0) into 1 1.530 * [taylor]: Taking taylor expansion of 1 in b 1.530 * [backup-simplify]: Simplify 1 into 1 1.531 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.531 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b) 1.531 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b)) 1.532 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b)) 1.532 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 1.532 * [taylor]: Taking taylor expansion of 2 in b 1.532 * [backup-simplify]: Simplify 2 into 2 1.532 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.532 * [taylor]: Taking taylor expansion of b in b 1.532 * [backup-simplify]: Simplify 0 into 0 1.532 * [backup-simplify]: Simplify 1 into 1 1.532 * [backup-simplify]: Simplify (/ 1 1) into 1 1.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.535 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 1.535 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 1.535 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0 1.535 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2)) 1.535 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2)) 1.535 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.536 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.536 * [taylor]: Taking taylor expansion of b in b 1.536 * [backup-simplify]: Simplify 0 into 0 1.536 * [backup-simplify]: Simplify 1 into 1 1.536 * [backup-simplify]: Simplify (* 1 1) into 1 1.536 * [backup-simplify]: Simplify (/ 1 1) into 1 1.536 * [backup-simplify]: Simplify 1 into 1 1.537 * [backup-simplify]: Simplify (* 2 1) into 2 1.537 * [backup-simplify]: Simplify 2 into 2 1.537 * [backup-simplify]: Simplify 1 into 1 1.537 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 1.537 * * * [progress]: simplifying candidates 1.537 * * * * [progress]: [ 1 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 2 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 3 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 4 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 5 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 6 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 7 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 8 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 9 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 10 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 11 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 12 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 13 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 14 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 15 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 16 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 17 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 18 / 51 ] simplifiying candidate # 1.538 * * * * [progress]: [ 19 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 20 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 21 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 22 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 23 / 51 ] simplifiying candidate #real (real->posit16 (* b (+ a b))))))> 1.539 * * * * [progress]: [ 24 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 25 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 26 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 27 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 28 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 29 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 30 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 31 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 32 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 33 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 34 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 35 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 36 / 51 ] simplifiying candidate # 1.539 * * * * [progress]: [ 37 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 38 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 39 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 40 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 41 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 42 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 43 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 44 / 51 ] simplifiying candidate #real (real->posit16 (+ (* a (+ a b)) (* b (+ a b))))))> 1.540 * * * * [progress]: [ 45 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 46 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 47 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 48 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 49 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 50 / 51 ] simplifiying candidate # 1.540 * * * * [progress]: [ 51 / 51 ] simplifiying candidate # 1.541 * [simplify]: Simplifying: (* b (+ a b)) (+ (log b) (log (+ a b))) (log (* b (+ a b))) (exp (* b (+ a b))) (* (* (* b b) b) (* (* (+ a b) (+ a b)) (+ a b))) (* (cbrt (* b (+ a b))) (cbrt (* b (+ a b)))) (cbrt (* b (+ a b))) (* (* (* b (+ a b)) (* b (+ a b))) (* b (+ a b))) (sqrt (* b (+ a b))) (sqrt (* b (+ a b))) (* (sqrt b) (sqrt (+ a b))) (* (sqrt b) (sqrt (+ a b))) (* b a) (* b b) (* a b) (* b b) (* b (* (cbrt (+ a b)) (cbrt (+ a b)))) (* b (sqrt (+ a b))) (* b 1) (* b 1) (* (cbrt b) (+ a b)) (* (sqrt b) (+ a b)) (* b (+ a b)) (* b (+ (pow a 3) (pow b 3))) (* b (- (* a a) (* b b))) (real->posit16 (* b (+ a b))) (* (exp (* a (+ a b))) (exp (* b (+ a b)))) (log (+ (* a (+ a b)) (* b (+ a b)))) (exp (+ (* a (+ a b)) (* b (+ a b)))) (* (cbrt (+ (* a (+ a b)) (* b (+ a b)))) (cbrt (+ (* a (+ a b)) (* b (+ a b))))) (cbrt (+ (* a (+ a b)) (* b (+ a b)))) (* (* (+ (* a (+ a b)) (* b (+ a b))) (+ (* a (+ a b)) (* b (+ a b)))) (+ (* a (+ a b)) (* b (+ a b)))) (sqrt (+ (* a (+ a b)) (* b (+ a b)))) (sqrt (+ (* a (+ a b)) (* b (+ a b)))) (+ (* (* a (+ (pow a 3) (pow b 3))) (+ (* a a) (- (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (* b (+ (pow a 3) (pow b 3))))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))) (+ (* (* a (+ (pow a 3) (pow b 3))) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* b (- (* a a) (* b b))))) (* (+ (* a a) (- (* b b) (* a b))) (- a b)) (+ (* (* a (- (* a a) (* b b))) (+ (* a a) (- (* b b) (* a b)))) (* (- a b) (* b (+ (pow a 3) (pow b 3))))) (* (- a b) (+ (* a a) (- (* b b) (* a b)))) (+ (* (* a (- (* a a) (* b b))) (- a b)) (* (- a b) (* b (- (* a a) (* b b))))) (* (- a b) (- a b)) (+ (pow (* a (+ a b)) 3) (pow (* b (+ a b)) 3)) (+ (* (* a (+ a b)) (* a (+ a b))) (- (* (* b (+ a b)) (* b (+ a b))) (* (* a (+ a b)) (* b (+ a b))))) (- (* (* a (+ a b)) (* a (+ a b))) (* (* b (+ a b)) (* b (+ a b)))) (- (* a (+ a b)) (* b (+ a b))) (+ a b) (+ (* a (+ a b)) (* b a)) (+ (* a (+ a b)) (* a b)) (+ (* a b) (* b (+ a b))) (+ (* b a) (* b (+ a b))) (real->posit16 (+ (* a (+ a b)) (* b (+ a b)))) (+ (pow b 2) (* a b)) (+ (pow b 2) (* a b)) (+ (pow b 2) (* a b)) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 1.543 * * [simplify]: iteration 1: (95 enodes) 1.580 * * [simplify]: iteration 2: (302 enodes) 1.729 * * [simplify]: iteration 3: (1251 enodes) 3.542 * * [simplify]: Extracting #0: cost 40 inf + 0 3.543 * * [simplify]: Extracting #1: cost 353 inf + 42 3.553 * * [simplify]: Extracting #2: cost 1450 inf + 10686 3.597 * * [simplify]: Extracting #3: cost 929 inf + 162943 3.706 * * [simplify]: Extracting #4: cost 142 inf + 355299 3.826 * * [simplify]: Extracting #5: cost 1 inf + 399532 3.963 * * [simplify]: Extracting #6: cost 0 inf + 399196 4.061 * [simplify]: Simplified to: (* b (+ a b)) (log (* b (+ a b))) (log (* b (+ a b))) (exp (* b (+ a b))) (* (* b (+ a b)) (* (* b (+ a b)) (* b (+ a b)))) (* (cbrt (* b (+ a b))) (cbrt (* b (+ a b)))) (cbrt (* b (+ a b))) (* (* b (+ a b)) (* (* b (+ a b)) (* b (+ a b)))) (sqrt (* b (+ a b))) (sqrt (* b (+ a b))) (* (sqrt b) (sqrt (+ a b))) (* (sqrt b) (sqrt (+ a b))) (* b a) (* b b) (* b a) (* b b) (* (* b (cbrt (+ a b))) (cbrt (+ a b))) (* b (sqrt (+ a b))) b b (* (+ a b) (cbrt b)) (* (sqrt b) (+ a b)) (* b (+ a b)) (+ (* (* b a) (* a a)) (* (* b b) (* b b))) (* b (* (- a b) (+ a b))) (real->posit16 (* b (+ a b))) (exp (* (+ a b) (+ a b))) (log (* (+ a b) (+ a b))) (exp (* (+ a b) (+ a b))) (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b))) (fabs (+ a b)) (fabs (+ a b)) (* (* (+ (* (* b b) b) (* a (* a a))) (+ (* a a) (* b (- b a)))) (+ a b)) (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a)))) (* (- a b) (+ (* (+ (* a a) (* b (- b a))) (* b (+ a b))) (* a (+ (* (* b b) b) (* a (* a a)))))) (* (- a b) (+ (* a a) (* b (- b a)))) (+ (* (- a b) (+ (* (* b a) (* a a)) (* (* b b) (* b b)))) (* (* (* (+ a b) a) (- a b)) (+ (* a a) (* b (- b a))))) (* (- a b) (+ (* a a) (* b (- b a)))) (* (* (* (- a b) (+ a b)) (+ a b)) (- a b)) (* (- a b) (- a b)) (+ (* (* (+ a b) a) (* (* (+ a b) a) (* (+ a b) a))) (* (* b (+ a b)) (* (* b (+ a b)) (* b (+ a b))))) (- (* (* b (+ a b)) (* b (+ a b))) (* (* (+ a b) a) (- (* b (+ a b)) (* (+ a b) a)))) (* (* (+ a b) (+ a b)) (* (- a b) (+ a b))) (* (- a b) (+ a b)) (+ a b) (* (+ b (+ a b)) a) (* (+ b (+ a b)) a) (* b (+ a (+ a b))) (* b (+ a (+ a b))) (real->posit16 (* (+ a b) (+ a b))) (* b (+ a b)) (* b (+ a b)) (* b (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ a b)) 4.064 * * * [progress]: adding candidates to table 4.379 * * [progress]: iteration 3 / 4 4.379 * * * [progress]: picking best candidate 4.381 * * * * [pick]: Picked # 4.382 * * * [progress]: localizing error 4.404 * * * [progress]: generating rewritten candidates 4.404 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 4.425 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 4.464 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.473 * * * [progress]: generating series expansions 4.473 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 4.473 * [backup-simplify]: Simplify (+ a (+ a b)) into (+ (* 2 a) b) 4.473 * [approximate]: Taking taylor expansion of (+ (* 2 a) b) in (a b) around 0 4.473 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b 4.473 * [taylor]: Taking taylor expansion of (* 2 a) in b 4.473 * [taylor]: Taking taylor expansion of 2 in b 4.473 * [backup-simplify]: Simplify 2 into 2 4.473 * [taylor]: Taking taylor expansion of a in b 4.473 * [backup-simplify]: Simplify a into a 4.473 * [taylor]: Taking taylor expansion of b in b 4.473 * [backup-simplify]: Simplify 0 into 0 4.473 * [backup-simplify]: Simplify 1 into 1 4.473 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in a 4.473 * [taylor]: Taking taylor expansion of (* 2 a) in a 4.473 * [taylor]: Taking taylor expansion of 2 in a 4.473 * [backup-simplify]: Simplify 2 into 2 4.473 * [taylor]: Taking taylor expansion of a in a 4.473 * [backup-simplify]: Simplify 0 into 0 4.473 * [backup-simplify]: Simplify 1 into 1 4.473 * [taylor]: Taking taylor expansion of b in a 4.473 * [backup-simplify]: Simplify b into b 4.473 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in a 4.473 * [taylor]: Taking taylor expansion of (* 2 a) in a 4.473 * [taylor]: Taking taylor expansion of 2 in a 4.473 * [backup-simplify]: Simplify 2 into 2 4.473 * [taylor]: Taking taylor expansion of a in a 4.473 * [backup-simplify]: Simplify 0 into 0 4.473 * [backup-simplify]: Simplify 1 into 1 4.473 * [taylor]: Taking taylor expansion of b in a 4.473 * [backup-simplify]: Simplify b into b 4.474 * [backup-simplify]: Simplify (* 2 0) into 0 4.474 * [backup-simplify]: Simplify (+ 0 b) into b 4.474 * [taylor]: Taking taylor expansion of b in b 4.474 * [backup-simplify]: Simplify 0 into 0 4.474 * [backup-simplify]: Simplify 1 into 1 4.474 * [backup-simplify]: Simplify 0 into 0 4.474 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 4.475 * [backup-simplify]: Simplify (+ 2 0) into 2 4.475 * [taylor]: Taking taylor expansion of 2 in b 4.475 * [backup-simplify]: Simplify 2 into 2 4.475 * [backup-simplify]: Simplify 2 into 2 4.475 * [backup-simplify]: Simplify 1 into 1 4.475 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 4.476 * [backup-simplify]: Simplify (+ 0 0) into 0 4.476 * [taylor]: Taking taylor expansion of 0 in b 4.476 * [backup-simplify]: Simplify 0 into 0 4.476 * [backup-simplify]: Simplify 0 into 0 4.476 * [backup-simplify]: Simplify 0 into 0 4.476 * [backup-simplify]: Simplify 0 into 0 4.476 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.477 * [backup-simplify]: Simplify (+ 0 0) into 0 4.477 * [taylor]: Taking taylor expansion of 0 in b 4.477 * [backup-simplify]: Simplify 0 into 0 4.477 * [backup-simplify]: Simplify 0 into 0 4.477 * [backup-simplify]: Simplify 0 into 0 4.477 * [backup-simplify]: Simplify 0 into 0 4.477 * [backup-simplify]: Simplify (+ (* 1 (* b 1)) (* 2 (* 1 a))) into (+ (* 2 a) b) 4.477 * [backup-simplify]: Simplify (+ (/ 1 a) (+ (/ 1 a) (/ 1 b))) into (+ (* 2 (/ 1 a)) (/ 1 b)) 4.477 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in (a b) around 0 4.477 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in b 4.477 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 4.477 * [taylor]: Taking taylor expansion of 2 in b 4.477 * [backup-simplify]: Simplify 2 into 2 4.477 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.477 * [taylor]: Taking taylor expansion of a in b 4.477 * [backup-simplify]: Simplify a into a 4.477 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.477 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.477 * [taylor]: Taking taylor expansion of b in b 4.477 * [backup-simplify]: Simplify 0 into 0 4.477 * [backup-simplify]: Simplify 1 into 1 4.477 * [backup-simplify]: Simplify (/ 1 1) into 1 4.477 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in a 4.478 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.478 * [taylor]: Taking taylor expansion of 2 in a 4.478 * [backup-simplify]: Simplify 2 into 2 4.478 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.478 * [taylor]: Taking taylor expansion of a in a 4.478 * [backup-simplify]: Simplify 0 into 0 4.478 * [backup-simplify]: Simplify 1 into 1 4.478 * [backup-simplify]: Simplify (/ 1 1) into 1 4.478 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.478 * [taylor]: Taking taylor expansion of b in a 4.478 * [backup-simplify]: Simplify b into b 4.478 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.478 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in a 4.478 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.478 * [taylor]: Taking taylor expansion of 2 in a 4.478 * [backup-simplify]: Simplify 2 into 2 4.478 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.478 * [taylor]: Taking taylor expansion of a in a 4.478 * [backup-simplify]: Simplify 0 into 0 4.478 * [backup-simplify]: Simplify 1 into 1 4.478 * [backup-simplify]: Simplify (/ 1 1) into 1 4.478 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.478 * [taylor]: Taking taylor expansion of b in a 4.478 * [backup-simplify]: Simplify b into b 4.478 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.479 * [backup-simplify]: Simplify (* 2 1) into 2 4.479 * [backup-simplify]: Simplify (+ 2 0) into 2 4.479 * [taylor]: Taking taylor expansion of 2 in b 4.479 * [backup-simplify]: Simplify 2 into 2 4.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.480 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.480 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 4.480 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.480 * [taylor]: Taking taylor expansion of b in b 4.480 * [backup-simplify]: Simplify 0 into 0 4.480 * [backup-simplify]: Simplify 1 into 1 4.480 * [backup-simplify]: Simplify (/ 1 1) into 1 4.480 * [backup-simplify]: Simplify 1 into 1 4.480 * [backup-simplify]: Simplify 2 into 2 4.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.481 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.482 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 4.482 * [backup-simplify]: Simplify (+ 0 0) into 0 4.482 * [taylor]: Taking taylor expansion of 0 in b 4.482 * [backup-simplify]: Simplify 0 into 0 4.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.482 * [backup-simplify]: Simplify 0 into 0 4.482 * [backup-simplify]: Simplify 0 into 0 4.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.484 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.484 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.484 * [backup-simplify]: Simplify (+ 0 0) into 0 4.484 * [taylor]: Taking taylor expansion of 0 in b 4.484 * [backup-simplify]: Simplify 0 into 0 4.484 * [backup-simplify]: Simplify 0 into 0 4.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.485 * [backup-simplify]: Simplify 0 into 0 4.485 * [backup-simplify]: Simplify 0 into 0 4.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.486 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.486 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.486 * [backup-simplify]: Simplify (+ 0 0) into 0 4.486 * [taylor]: Taking taylor expansion of 0 in b 4.486 * [backup-simplify]: Simplify 0 into 0 4.487 * [backup-simplify]: Simplify 0 into 0 4.487 * [backup-simplify]: Simplify (+ (* 2 (* 1 (/ 1 (/ 1 a)))) (* 1 (* (/ 1 (/ 1 b)) 1))) into (+ (* 2 a) b) 4.487 * [backup-simplify]: Simplify (+ (/ 1 (- a)) (+ (/ 1 (- a)) (/ 1 (- b)))) into (- (+ (* 2 (/ 1 a)) (/ 1 b))) 4.487 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 a)) (/ 1 b))) in (a b) around 0 4.487 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 a)) (/ 1 b))) in b 4.487 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in b 4.487 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 4.487 * [taylor]: Taking taylor expansion of 2 in b 4.487 * [backup-simplify]: Simplify 2 into 2 4.487 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.487 * [taylor]: Taking taylor expansion of a in b 4.487 * [backup-simplify]: Simplify a into a 4.487 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.487 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.487 * [taylor]: Taking taylor expansion of b in b 4.487 * [backup-simplify]: Simplify 0 into 0 4.487 * [backup-simplify]: Simplify 1 into 1 4.487 * [backup-simplify]: Simplify (/ 1 1) into 1 4.487 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 a)) (/ 1 b))) in a 4.487 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in a 4.487 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.487 * [taylor]: Taking taylor expansion of 2 in a 4.487 * [backup-simplify]: Simplify 2 into 2 4.487 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.487 * [taylor]: Taking taylor expansion of a in a 4.488 * [backup-simplify]: Simplify 0 into 0 4.488 * [backup-simplify]: Simplify 1 into 1 4.488 * [backup-simplify]: Simplify (/ 1 1) into 1 4.488 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.488 * [taylor]: Taking taylor expansion of b in a 4.488 * [backup-simplify]: Simplify b into b 4.488 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.488 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 a)) (/ 1 b))) in a 4.488 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in a 4.488 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.488 * [taylor]: Taking taylor expansion of 2 in a 4.488 * [backup-simplify]: Simplify 2 into 2 4.488 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.488 * [taylor]: Taking taylor expansion of a in a 4.488 * [backup-simplify]: Simplify 0 into 0 4.488 * [backup-simplify]: Simplify 1 into 1 4.488 * [backup-simplify]: Simplify (/ 1 1) into 1 4.488 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.488 * [taylor]: Taking taylor expansion of b in a 4.488 * [backup-simplify]: Simplify b into b 4.488 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.489 * [backup-simplify]: Simplify (* 2 1) into 2 4.489 * [backup-simplify]: Simplify (+ 2 0) into 2 4.489 * [backup-simplify]: Simplify (- 2) into -2 4.489 * [taylor]: Taking taylor expansion of -2 in b 4.489 * [backup-simplify]: Simplify -2 into -2 4.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.491 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.491 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 4.491 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 4.491 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b 4.491 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.491 * [taylor]: Taking taylor expansion of b in b 4.491 * [backup-simplify]: Simplify 0 into 0 4.491 * [backup-simplify]: Simplify 1 into 1 4.491 * [backup-simplify]: Simplify (/ 1 1) into 1 4.491 * [backup-simplify]: Simplify (- 1) into -1 4.491 * [backup-simplify]: Simplify -1 into -1 4.491 * [backup-simplify]: Simplify -2 into -2 4.492 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.492 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.492 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 4.493 * [backup-simplify]: Simplify (+ 0 0) into 0 4.493 * [backup-simplify]: Simplify (- 0) into 0 4.493 * [taylor]: Taking taylor expansion of 0 in b 4.493 * [backup-simplify]: Simplify 0 into 0 4.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.494 * [backup-simplify]: Simplify (- 0) into 0 4.494 * [backup-simplify]: Simplify 0 into 0 4.494 * [backup-simplify]: Simplify 0 into 0 4.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.495 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.495 * [backup-simplify]: Simplify (+ 0 0) into 0 4.496 * [backup-simplify]: Simplify (- 0) into 0 4.496 * [taylor]: Taking taylor expansion of 0 in b 4.496 * [backup-simplify]: Simplify 0 into 0 4.496 * [backup-simplify]: Simplify 0 into 0 4.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.496 * [backup-simplify]: Simplify (- 0) into 0 4.497 * [backup-simplify]: Simplify 0 into 0 4.497 * [backup-simplify]: Simplify 0 into 0 4.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.498 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.498 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 4.498 * [backup-simplify]: Simplify (+ 0 0) into 0 4.499 * [backup-simplify]: Simplify (- 0) into 0 4.499 * [taylor]: Taking taylor expansion of 0 in b 4.499 * [backup-simplify]: Simplify 0 into 0 4.499 * [backup-simplify]: Simplify 0 into 0 4.499 * [backup-simplify]: Simplify (+ (* -2 (* 1 (/ 1 (/ 1 (- a))))) (* -1 (* (/ 1 (/ 1 (- b))) 1))) into (+ (* 2 a) b) 4.499 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 4.499 * [backup-simplify]: Simplify (* b (+ a (+ a b))) into (* (+ (* 2 a) b) b) 4.499 * [approximate]: Taking taylor expansion of (* (+ (* 2 a) b) b) in (b a) around 0 4.499 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in a 4.499 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in a 4.499 * [taylor]: Taking taylor expansion of (* 2 a) in a 4.499 * [taylor]: Taking taylor expansion of 2 in a 4.499 * [backup-simplify]: Simplify 2 into 2 4.499 * [taylor]: Taking taylor expansion of a in a 4.499 * [backup-simplify]: Simplify 0 into 0 4.499 * [backup-simplify]: Simplify 1 into 1 4.499 * [taylor]: Taking taylor expansion of b in a 4.499 * [backup-simplify]: Simplify b into b 4.499 * [taylor]: Taking taylor expansion of b in a 4.499 * [backup-simplify]: Simplify b into b 4.499 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b 4.499 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b 4.499 * [taylor]: Taking taylor expansion of (* 2 a) in b 4.499 * [taylor]: Taking taylor expansion of 2 in b 4.499 * [backup-simplify]: Simplify 2 into 2 4.499 * [taylor]: Taking taylor expansion of a in b 4.499 * [backup-simplify]: Simplify a into a 4.499 * [taylor]: Taking taylor expansion of b in b 4.499 * [backup-simplify]: Simplify 0 into 0 4.499 * [backup-simplify]: Simplify 1 into 1 4.499 * [taylor]: Taking taylor expansion of b in b 4.499 * [backup-simplify]: Simplify 0 into 0 4.499 * [backup-simplify]: Simplify 1 into 1 4.499 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b 4.499 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b 4.499 * [taylor]: Taking taylor expansion of (* 2 a) in b 4.499 * [taylor]: Taking taylor expansion of 2 in b 4.499 * [backup-simplify]: Simplify 2 into 2 4.499 * [taylor]: Taking taylor expansion of a in b 4.499 * [backup-simplify]: Simplify a into a 4.499 * [taylor]: Taking taylor expansion of b in b 4.499 * [backup-simplify]: Simplify 0 into 0 4.499 * [backup-simplify]: Simplify 1 into 1 4.499 * [taylor]: Taking taylor expansion of b in b 4.499 * [backup-simplify]: Simplify 0 into 0 4.499 * [backup-simplify]: Simplify 1 into 1 4.500 * [backup-simplify]: Simplify (* 2 a) into (* 2 a) 4.500 * [backup-simplify]: Simplify (+ (* 2 a) 0) into (* 2 a) 4.500 * [backup-simplify]: Simplify (* (* 2 a) 0) into 0 4.500 * [taylor]: Taking taylor expansion of 0 in a 4.500 * [backup-simplify]: Simplify 0 into 0 4.500 * [backup-simplify]: Simplify 0 into 0 4.500 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 a)) into 0 4.500 * [backup-simplify]: Simplify (+ 0 1) into 1 4.501 * [backup-simplify]: Simplify (+ (* (* 2 a) 1) (* 1 0)) into (* 2 a) 4.501 * [taylor]: Taking taylor expansion of (* 2 a) in a 4.501 * [taylor]: Taking taylor expansion of 2 in a 4.501 * [backup-simplify]: Simplify 2 into 2 4.501 * [taylor]: Taking taylor expansion of a in a 4.501 * [backup-simplify]: Simplify 0 into 0 4.501 * [backup-simplify]: Simplify 1 into 1 4.501 * [backup-simplify]: Simplify (* 2 0) into 0 4.501 * [backup-simplify]: Simplify 0 into 0 4.501 * [backup-simplify]: Simplify 0 into 0 4.502 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 a))) into 0 4.502 * [backup-simplify]: Simplify (+ 0 0) into 0 4.502 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 1) (* 0 0))) into 1 4.502 * [taylor]: Taking taylor expansion of 1 in a 4.502 * [backup-simplify]: Simplify 1 into 1 4.502 * [backup-simplify]: Simplify 1 into 1 4.503 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 4.503 * [backup-simplify]: Simplify 2 into 2 4.503 * [backup-simplify]: Simplify 0 into 0 4.504 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 4.504 * [backup-simplify]: Simplify (+ 0 0) into 0 4.504 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0 4.504 * [taylor]: Taking taylor expansion of 0 in a 4.504 * [backup-simplify]: Simplify 0 into 0 4.504 * [backup-simplify]: Simplify 0 into 0 4.504 * [backup-simplify]: Simplify 0 into 0 4.505 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 4.505 * [backup-simplify]: Simplify 0 into 0 4.505 * [backup-simplify]: Simplify 0 into 0 4.506 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 4.506 * [backup-simplify]: Simplify (+ 0 0) into 0 4.507 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.507 * [taylor]: Taking taylor expansion of 0 in a 4.507 * [backup-simplify]: Simplify 0 into 0 4.507 * [backup-simplify]: Simplify 0 into 0 4.507 * [backup-simplify]: Simplify (+ (* 2 (* a b)) (* 1 (pow (* 1 b) 2))) into (+ (pow b 2) (* 2 (* a b))) 4.507 * [backup-simplify]: Simplify (* (/ 1 b) (+ (/ 1 a) (+ (/ 1 a) (/ 1 b)))) into (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) 4.507 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in (b a) around 0 4.507 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in a 4.507 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in a 4.507 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.507 * [taylor]: Taking taylor expansion of 2 in a 4.508 * [backup-simplify]: Simplify 2 into 2 4.508 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.508 * [taylor]: Taking taylor expansion of a in a 4.508 * [backup-simplify]: Simplify 0 into 0 4.508 * [backup-simplify]: Simplify 1 into 1 4.508 * [backup-simplify]: Simplify (/ 1 1) into 1 4.508 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.508 * [taylor]: Taking taylor expansion of b in a 4.508 * [backup-simplify]: Simplify b into b 4.508 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.508 * [taylor]: Taking taylor expansion of b in a 4.508 * [backup-simplify]: Simplify b into b 4.508 * [backup-simplify]: Simplify (* 2 1) into 2 4.509 * [backup-simplify]: Simplify (+ 2 0) into 2 4.509 * [backup-simplify]: Simplify (/ 2 b) into (/ 2 b) 4.509 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in b 4.509 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in b 4.509 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 4.509 * [taylor]: Taking taylor expansion of 2 in b 4.509 * [backup-simplify]: Simplify 2 into 2 4.509 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.509 * [taylor]: Taking taylor expansion of a in b 4.509 * [backup-simplify]: Simplify a into a 4.509 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.509 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.509 * [taylor]: Taking taylor expansion of b in b 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify 1 into 1 4.509 * [backup-simplify]: Simplify (/ 1 1) into 1 4.510 * [taylor]: Taking taylor expansion of b in b 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify 1 into 1 4.510 * [backup-simplify]: Simplify (+ 0 1) into 1 4.510 * [backup-simplify]: Simplify (/ 1 1) into 1 4.510 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in b 4.510 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in b 4.510 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 4.510 * [taylor]: Taking taylor expansion of 2 in b 4.510 * [backup-simplify]: Simplify 2 into 2 4.510 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.510 * [taylor]: Taking taylor expansion of a in b 4.510 * [backup-simplify]: Simplify a into a 4.510 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.510 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.510 * [taylor]: Taking taylor expansion of b in b 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify 1 into 1 4.511 * [backup-simplify]: Simplify (/ 1 1) into 1 4.511 * [taylor]: Taking taylor expansion of b in b 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify 1 into 1 4.511 * [backup-simplify]: Simplify (+ 0 1) into 1 4.511 * [backup-simplify]: Simplify (/ 1 1) into 1 4.511 * [taylor]: Taking taylor expansion of 1 in a 4.511 * [backup-simplify]: Simplify 1 into 1 4.511 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a) 4.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.512 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a)) 4.512 * [backup-simplify]: Simplify (- (/ (* 2 (/ 1 a)) 1) (+ (* 1 (/ 0 1)))) into (* 2 (/ 1 a)) 4.512 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.512 * [taylor]: Taking taylor expansion of 2 in a 4.512 * [backup-simplify]: Simplify 2 into 2 4.512 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.512 * [taylor]: Taking taylor expansion of a in a 4.513 * [backup-simplify]: Simplify 0 into 0 4.513 * [backup-simplify]: Simplify 1 into 1 4.513 * [backup-simplify]: Simplify (/ 1 1) into 1 4.513 * [backup-simplify]: Simplify (* 2 1) into 2 4.513 * [backup-simplify]: Simplify 2 into 2 4.513 * [backup-simplify]: Simplify 1 into 1 4.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 4.514 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0 4.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.514 * [backup-simplify]: Simplify (+ 0 0) into 0 4.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)))) into 0 4.515 * [taylor]: Taking taylor expansion of 0 in a 4.515 * [backup-simplify]: Simplify 0 into 0 4.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.516 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.516 * [backup-simplify]: Simplify 0 into 0 4.516 * [backup-simplify]: Simplify 0 into 0 4.516 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 4.517 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0 4.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.518 * [backup-simplify]: Simplify (+ 0 0) into 0 4.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.519 * [taylor]: Taking taylor expansion of 0 in a 4.519 * [backup-simplify]: Simplify 0 into 0 4.519 * [backup-simplify]: Simplify 0 into 0 4.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.520 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.520 * [backup-simplify]: Simplify 0 into 0 4.520 * [backup-simplify]: Simplify 0 into 0 4.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 4.521 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0 4.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.522 * [backup-simplify]: Simplify (+ 0 0) into 0 4.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.524 * [taylor]: Taking taylor expansion of 0 in a 4.524 * [backup-simplify]: Simplify 0 into 0 4.524 * [backup-simplify]: Simplify 0 into 0 4.524 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (* 2 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b))))) into (+ (pow b 2) (* 2 (* a b))) 4.524 * [backup-simplify]: Simplify (* (/ 1 (- b)) (+ (/ 1 (- a)) (+ (/ 1 (- a)) (/ 1 (- b))))) into (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) 4.524 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in (b a) around 0 4.524 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in a 4.524 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in a 4.524 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.524 * [taylor]: Taking taylor expansion of 2 in a 4.524 * [backup-simplify]: Simplify 2 into 2 4.524 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.524 * [taylor]: Taking taylor expansion of a in a 4.524 * [backup-simplify]: Simplify 0 into 0 4.524 * [backup-simplify]: Simplify 1 into 1 4.524 * [backup-simplify]: Simplify (/ 1 1) into 1 4.524 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.524 * [taylor]: Taking taylor expansion of b in a 4.524 * [backup-simplify]: Simplify b into b 4.524 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.525 * [taylor]: Taking taylor expansion of b in a 4.525 * [backup-simplify]: Simplify b into b 4.526 * [backup-simplify]: Simplify (* 2 1) into 2 4.527 * [backup-simplify]: Simplify (+ 2 0) into 2 4.527 * [backup-simplify]: Simplify (/ 2 b) into (/ 2 b) 4.527 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in b 4.527 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in b 4.527 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 4.527 * [taylor]: Taking taylor expansion of 2 in b 4.527 * [backup-simplify]: Simplify 2 into 2 4.527 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.527 * [taylor]: Taking taylor expansion of a in b 4.527 * [backup-simplify]: Simplify a into a 4.527 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.527 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.527 * [taylor]: Taking taylor expansion of b in b 4.527 * [backup-simplify]: Simplify 0 into 0 4.527 * [backup-simplify]: Simplify 1 into 1 4.527 * [backup-simplify]: Simplify (/ 1 1) into 1 4.527 * [taylor]: Taking taylor expansion of b in b 4.527 * [backup-simplify]: Simplify 0 into 0 4.527 * [backup-simplify]: Simplify 1 into 1 4.528 * [backup-simplify]: Simplify (+ 0 1) into 1 4.528 * [backup-simplify]: Simplify (/ 1 1) into 1 4.528 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in b 4.528 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in b 4.528 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 4.528 * [taylor]: Taking taylor expansion of 2 in b 4.528 * [backup-simplify]: Simplify 2 into 2 4.528 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.528 * [taylor]: Taking taylor expansion of a in b 4.528 * [backup-simplify]: Simplify a into a 4.528 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.528 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.528 * [taylor]: Taking taylor expansion of b in b 4.528 * [backup-simplify]: Simplify 0 into 0 4.528 * [backup-simplify]: Simplify 1 into 1 4.528 * [backup-simplify]: Simplify (/ 1 1) into 1 4.528 * [taylor]: Taking taylor expansion of b in b 4.528 * [backup-simplify]: Simplify 0 into 0 4.528 * [backup-simplify]: Simplify 1 into 1 4.529 * [backup-simplify]: Simplify (+ 0 1) into 1 4.529 * [backup-simplify]: Simplify (/ 1 1) into 1 4.529 * [taylor]: Taking taylor expansion of 1 in a 4.529 * [backup-simplify]: Simplify 1 into 1 4.529 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a) 4.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.530 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a)) 4.530 * [backup-simplify]: Simplify (- (/ (* 2 (/ 1 a)) 1) (+ (* 1 (/ 0 1)))) into (* 2 (/ 1 a)) 4.530 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.530 * [taylor]: Taking taylor expansion of 2 in a 4.530 * [backup-simplify]: Simplify 2 into 2 4.530 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.530 * [taylor]: Taking taylor expansion of a in a 4.530 * [backup-simplify]: Simplify 0 into 0 4.530 * [backup-simplify]: Simplify 1 into 1 4.530 * [backup-simplify]: Simplify (/ 1 1) into 1 4.531 * [backup-simplify]: Simplify (* 2 1) into 2 4.531 * [backup-simplify]: Simplify 2 into 2 4.531 * [backup-simplify]: Simplify 1 into 1 4.531 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 4.531 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0 4.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.532 * [backup-simplify]: Simplify (+ 0 0) into 0 4.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)))) into 0 4.533 * [taylor]: Taking taylor expansion of 0 in a 4.533 * [backup-simplify]: Simplify 0 into 0 4.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.534 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.534 * [backup-simplify]: Simplify 0 into 0 4.534 * [backup-simplify]: Simplify 0 into 0 4.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 4.534 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0 4.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.535 * [backup-simplify]: Simplify (+ 0 0) into 0 4.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.536 * [taylor]: Taking taylor expansion of 0 in a 4.537 * [backup-simplify]: Simplify 0 into 0 4.537 * [backup-simplify]: Simplify 0 into 0 4.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.538 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.538 * [backup-simplify]: Simplify 0 into 0 4.538 * [backup-simplify]: Simplify 0 into 0 4.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 4.539 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0 4.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.540 * [backup-simplify]: Simplify (+ 0 0) into 0 4.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.541 * [taylor]: Taking taylor expansion of 0 in a 4.541 * [backup-simplify]: Simplify 0 into 0 4.541 * [backup-simplify]: Simplify 0 into 0 4.541 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (* 2 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))))) into (+ (pow b 2) (* 2 (* a b))) 4.542 * * * * [progress]: [ 3 / 3 ] generating series at (2) 4.542 * [backup-simplify]: Simplify (+ (* a a) (* b (+ a (+ a b)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 4.542 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in (a b) around 0 4.542 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in b 4.542 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.542 * [taylor]: Taking taylor expansion of a in b 4.542 * [backup-simplify]: Simplify a into a 4.542 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in b 4.542 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.542 * [taylor]: Taking taylor expansion of b in b 4.542 * [backup-simplify]: Simplify 0 into 0 4.542 * [backup-simplify]: Simplify 1 into 1 4.542 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 4.542 * [taylor]: Taking taylor expansion of 2 in b 4.542 * [backup-simplify]: Simplify 2 into 2 4.542 * [taylor]: Taking taylor expansion of (* a b) in b 4.542 * [taylor]: Taking taylor expansion of a in b 4.542 * [backup-simplify]: Simplify a into a 4.542 * [taylor]: Taking taylor expansion of b in b 4.542 * [backup-simplify]: Simplify 0 into 0 4.542 * [backup-simplify]: Simplify 1 into 1 4.542 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a 4.542 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.542 * [taylor]: Taking taylor expansion of a in a 4.542 * [backup-simplify]: Simplify 0 into 0 4.542 * [backup-simplify]: Simplify 1 into 1 4.542 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a 4.542 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.542 * [taylor]: Taking taylor expansion of b in a 4.542 * [backup-simplify]: Simplify b into b 4.542 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 4.542 * [taylor]: Taking taylor expansion of 2 in a 4.542 * [backup-simplify]: Simplify 2 into 2 4.542 * [taylor]: Taking taylor expansion of (* a b) in a 4.542 * [taylor]: Taking taylor expansion of a in a 4.542 * [backup-simplify]: Simplify 0 into 0 4.542 * [backup-simplify]: Simplify 1 into 1 4.542 * [taylor]: Taking taylor expansion of b in a 4.542 * [backup-simplify]: Simplify b into b 4.542 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a 4.542 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.542 * [taylor]: Taking taylor expansion of a in a 4.542 * [backup-simplify]: Simplify 0 into 0 4.542 * [backup-simplify]: Simplify 1 into 1 4.542 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a 4.542 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.542 * [taylor]: Taking taylor expansion of b in a 4.542 * [backup-simplify]: Simplify b into b 4.542 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 4.542 * [taylor]: Taking taylor expansion of 2 in a 4.542 * [backup-simplify]: Simplify 2 into 2 4.542 * [taylor]: Taking taylor expansion of (* a b) in a 4.542 * [taylor]: Taking taylor expansion of a in a 4.542 * [backup-simplify]: Simplify 0 into 0 4.542 * [backup-simplify]: Simplify 1 into 1 4.542 * [taylor]: Taking taylor expansion of b in a 4.542 * [backup-simplify]: Simplify b into b 4.543 * [backup-simplify]: Simplify (* b b) into (pow b 2) 4.543 * [backup-simplify]: Simplify (* 0 b) into 0 4.543 * [backup-simplify]: Simplify (* 2 0) into 0 4.543 * [backup-simplify]: Simplify (+ (pow b 2) 0) into (pow b 2) 4.543 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2) 4.543 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.543 * [taylor]: Taking taylor expansion of b in b 4.543 * [backup-simplify]: Simplify 0 into 0 4.543 * [backup-simplify]: Simplify 1 into 1 4.543 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 4.543 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 4.544 * [backup-simplify]: Simplify (+ (* 2 b) (* 0 0)) into (* 2 b) 4.544 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b) 4.544 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b) 4.544 * [taylor]: Taking taylor expansion of (* 2 b) in b 4.544 * [taylor]: Taking taylor expansion of 2 in b 4.544 * [backup-simplify]: Simplify 2 into 2 4.544 * [taylor]: Taking taylor expansion of b in b 4.544 * [backup-simplify]: Simplify 0 into 0 4.544 * [backup-simplify]: Simplify 1 into 1 4.544 * [backup-simplify]: Simplify (* 2 0) into 0 4.544 * [backup-simplify]: Simplify 0 into 0 4.544 * [backup-simplify]: Simplify (* 1 1) into 1 4.545 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 4.545 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 4.546 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 b) (* 0 0))) into 0 4.546 * [backup-simplify]: Simplify (+ 0 0) into 0 4.546 * [backup-simplify]: Simplify (+ 1 0) into 1 4.546 * [taylor]: Taking taylor expansion of 1 in b 4.546 * [backup-simplify]: Simplify 1 into 1 4.546 * [backup-simplify]: Simplify 1 into 1 4.547 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 4.547 * [backup-simplify]: Simplify 2 into 2 4.547 * [backup-simplify]: Simplify (* 1 1) into 1 4.547 * [backup-simplify]: Simplify 1 into 1 4.547 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 4.548 * [backup-simplify]: Simplify (+ (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (+ (/ 1 a) (+ (/ 1 a) (/ 1 b))))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) 4.548 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (a b) around 0 4.548 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b 4.548 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.548 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.548 * [taylor]: Taking taylor expansion of a in b 4.548 * [backup-simplify]: Simplify a into a 4.548 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.548 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 4.548 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b 4.548 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.548 * [taylor]: Taking taylor expansion of 2 in b 4.548 * [backup-simplify]: Simplify 2 into 2 4.548 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.548 * [taylor]: Taking taylor expansion of (* a b) in b 4.548 * [taylor]: Taking taylor expansion of a in b 4.548 * [backup-simplify]: Simplify a into a 4.548 * [taylor]: Taking taylor expansion of b in b 4.548 * [backup-simplify]: Simplify 0 into 0 4.548 * [backup-simplify]: Simplify 1 into 1 4.548 * [backup-simplify]: Simplify (* a 0) into 0 4.548 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.548 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.548 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.548 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.548 * [taylor]: Taking taylor expansion of b in b 4.548 * [backup-simplify]: Simplify 0 into 0 4.548 * [backup-simplify]: Simplify 1 into 1 4.549 * [backup-simplify]: Simplify (* 1 1) into 1 4.549 * [backup-simplify]: Simplify (/ 1 1) into 1 4.549 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a 4.549 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.549 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.549 * [taylor]: Taking taylor expansion of a in a 4.549 * [backup-simplify]: Simplify 0 into 0 4.549 * [backup-simplify]: Simplify 1 into 1 4.549 * [backup-simplify]: Simplify (* 1 1) into 1 4.549 * [backup-simplify]: Simplify (/ 1 1) into 1 4.549 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a 4.549 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 4.549 * [taylor]: Taking taylor expansion of 2 in a 4.549 * [backup-simplify]: Simplify 2 into 2 4.549 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 4.549 * [taylor]: Taking taylor expansion of (* a b) in a 4.549 * [taylor]: Taking taylor expansion of a in a 4.550 * [backup-simplify]: Simplify 0 into 0 4.550 * [backup-simplify]: Simplify 1 into 1 4.550 * [taylor]: Taking taylor expansion of b in a 4.550 * [backup-simplify]: Simplify b into b 4.550 * [backup-simplify]: Simplify (* 0 b) into 0 4.550 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 4.550 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.550 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.550 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.550 * [taylor]: Taking taylor expansion of b in a 4.550 * [backup-simplify]: Simplify b into b 4.550 * [backup-simplify]: Simplify (* b b) into (pow b 2) 4.550 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 4.550 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a 4.550 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.550 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.550 * [taylor]: Taking taylor expansion of a in a 4.550 * [backup-simplify]: Simplify 0 into 0 4.550 * [backup-simplify]: Simplify 1 into 1 4.550 * [backup-simplify]: Simplify (* 1 1) into 1 4.551 * [backup-simplify]: Simplify (/ 1 1) into 1 4.551 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a 4.551 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 4.551 * [taylor]: Taking taylor expansion of 2 in a 4.551 * [backup-simplify]: Simplify 2 into 2 4.551 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 4.551 * [taylor]: Taking taylor expansion of (* a b) in a 4.551 * [taylor]: Taking taylor expansion of a in a 4.551 * [backup-simplify]: Simplify 0 into 0 4.551 * [backup-simplify]: Simplify 1 into 1 4.551 * [taylor]: Taking taylor expansion of b in a 4.551 * [backup-simplify]: Simplify b into b 4.551 * [backup-simplify]: Simplify (* 0 b) into 0 4.551 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 4.551 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.551 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.551 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.551 * [taylor]: Taking taylor expansion of b in a 4.551 * [backup-simplify]: Simplify b into b 4.551 * [backup-simplify]: Simplify (* b b) into (pow b 2) 4.551 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 4.552 * [backup-simplify]: Simplify (+ 1 0) into 1 4.552 * [taylor]: Taking taylor expansion of 1 in b 4.552 * [backup-simplify]: Simplify 1 into 1 4.552 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.553 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b) 4.553 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b)) 4.553 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b)) 4.553 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 4.553 * [taylor]: Taking taylor expansion of 2 in b 4.553 * [backup-simplify]: Simplify 2 into 2 4.553 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.553 * [taylor]: Taking taylor expansion of b in b 4.553 * [backup-simplify]: Simplify 0 into 0 4.553 * [backup-simplify]: Simplify 1 into 1 4.553 * [backup-simplify]: Simplify (/ 1 1) into 1 4.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.555 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 4.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 4.555 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0 4.555 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2)) 4.555 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2)) 4.555 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.555 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.555 * [taylor]: Taking taylor expansion of b in b 4.555 * [backup-simplify]: Simplify 0 into 0 4.555 * [backup-simplify]: Simplify 1 into 1 4.556 * [backup-simplify]: Simplify (* 1 1) into 1 4.556 * [backup-simplify]: Simplify (/ 1 1) into 1 4.556 * [backup-simplify]: Simplify 1 into 1 4.556 * [backup-simplify]: Simplify (* 2 1) into 2 4.556 * [backup-simplify]: Simplify 2 into 2 4.556 * [backup-simplify]: Simplify 1 into 1 4.556 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 4.557 * [backup-simplify]: Simplify (+ (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (+ (/ 1 (- a)) (+ (/ 1 (- a)) (/ 1 (- b)))))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) 4.557 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (a b) around 0 4.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b 4.557 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.557 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.557 * [taylor]: Taking taylor expansion of a in b 4.557 * [backup-simplify]: Simplify a into a 4.557 * [backup-simplify]: Simplify (* a a) into (pow a 2) 4.557 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 4.557 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b 4.557 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.557 * [taylor]: Taking taylor expansion of 2 in b 4.557 * [backup-simplify]: Simplify 2 into 2 4.557 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.557 * [taylor]: Taking taylor expansion of (* a b) in b 4.557 * [taylor]: Taking taylor expansion of a in b 4.557 * [backup-simplify]: Simplify a into a 4.557 * [taylor]: Taking taylor expansion of b in b 4.557 * [backup-simplify]: Simplify 0 into 0 4.557 * [backup-simplify]: Simplify 1 into 1 4.557 * [backup-simplify]: Simplify (* a 0) into 0 4.557 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.557 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.557 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.557 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.557 * [taylor]: Taking taylor expansion of b in b 4.557 * [backup-simplify]: Simplify 0 into 0 4.557 * [backup-simplify]: Simplify 1 into 1 4.558 * [backup-simplify]: Simplify (* 1 1) into 1 4.558 * [backup-simplify]: Simplify (/ 1 1) into 1 4.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a 4.558 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.558 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.558 * [taylor]: Taking taylor expansion of a in a 4.558 * [backup-simplify]: Simplify 0 into 0 4.558 * [backup-simplify]: Simplify 1 into 1 4.558 * [backup-simplify]: Simplify (* 1 1) into 1 4.559 * [backup-simplify]: Simplify (/ 1 1) into 1 4.559 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a 4.559 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 4.559 * [taylor]: Taking taylor expansion of 2 in a 4.559 * [backup-simplify]: Simplify 2 into 2 4.559 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 4.559 * [taylor]: Taking taylor expansion of (* a b) in a 4.559 * [taylor]: Taking taylor expansion of a in a 4.559 * [backup-simplify]: Simplify 0 into 0 4.559 * [backup-simplify]: Simplify 1 into 1 4.559 * [taylor]: Taking taylor expansion of b in a 4.559 * [backup-simplify]: Simplify b into b 4.559 * [backup-simplify]: Simplify (* 0 b) into 0 4.559 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 4.559 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.559 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.559 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.559 * [taylor]: Taking taylor expansion of b in a 4.559 * [backup-simplify]: Simplify b into b 4.559 * [backup-simplify]: Simplify (* b b) into (pow b 2) 4.559 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 4.559 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a 4.559 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.559 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.559 * [taylor]: Taking taylor expansion of a in a 4.559 * [backup-simplify]: Simplify 0 into 0 4.559 * [backup-simplify]: Simplify 1 into 1 4.560 * [backup-simplify]: Simplify (* 1 1) into 1 4.560 * [backup-simplify]: Simplify (/ 1 1) into 1 4.560 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a 4.560 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 4.560 * [taylor]: Taking taylor expansion of 2 in a 4.560 * [backup-simplify]: Simplify 2 into 2 4.560 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 4.560 * [taylor]: Taking taylor expansion of (* a b) in a 4.560 * [taylor]: Taking taylor expansion of a in a 4.560 * [backup-simplify]: Simplify 0 into 0 4.560 * [backup-simplify]: Simplify 1 into 1 4.560 * [taylor]: Taking taylor expansion of b in a 4.560 * [backup-simplify]: Simplify b into b 4.560 * [backup-simplify]: Simplify (* 0 b) into 0 4.560 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 4.560 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.560 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.560 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.560 * [taylor]: Taking taylor expansion of b in a 4.560 * [backup-simplify]: Simplify b into b 4.560 * [backup-simplify]: Simplify (* b b) into (pow b 2) 4.560 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 4.561 * [backup-simplify]: Simplify (+ 1 0) into 1 4.561 * [taylor]: Taking taylor expansion of 1 in b 4.561 * [backup-simplify]: Simplify 1 into 1 4.561 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.562 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b) 4.562 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b)) 4.562 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b)) 4.562 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 4.562 * [taylor]: Taking taylor expansion of 2 in b 4.562 * [backup-simplify]: Simplify 2 into 2 4.562 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.562 * [taylor]: Taking taylor expansion of b in b 4.562 * [backup-simplify]: Simplify 0 into 0 4.562 * [backup-simplify]: Simplify 1 into 1 4.562 * [backup-simplify]: Simplify (/ 1 1) into 1 4.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 4.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.564 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 4.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 4.564 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0 4.564 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2)) 4.564 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2)) 4.564 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.564 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.564 * [taylor]: Taking taylor expansion of b in b 4.564 * [backup-simplify]: Simplify 0 into 0 4.564 * [backup-simplify]: Simplify 1 into 1 4.565 * [backup-simplify]: Simplify (* 1 1) into 1 4.565 * [backup-simplify]: Simplify (/ 1 1) into 1 4.565 * [backup-simplify]: Simplify 1 into 1 4.565 * [backup-simplify]: Simplify (* 2 1) into 2 4.565 * [backup-simplify]: Simplify 2 into 2 4.565 * [backup-simplify]: Simplify 1 into 1 4.566 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 4.566 * * * [progress]: simplifying candidates 4.566 * * * * [progress]: [ 1 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 2 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 3 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 4 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 5 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 6 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 7 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 8 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 9 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 10 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 11 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 12 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 13 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 14 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 15 / 64 ] simplifiying candidate #real (real->posit16 (+ a (+ a b)))))))> 4.566 * * * * [progress]: [ 16 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 17 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 18 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 19 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 20 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 21 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 22 / 64 ] simplifiying candidate # 4.566 * * * * [progress]: [ 23 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 24 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 25 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 26 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 27 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 28 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 29 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 30 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 31 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 32 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 33 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 34 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 35 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 36 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 37 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 38 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 39 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 40 / 64 ] simplifiying candidate #real (real->posit16 (* b (+ a (+ a b)))))))> 4.567 * * * * [progress]: [ 41 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 42 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 43 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 44 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 45 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 46 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 47 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 48 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 49 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 50 / 64 ] simplifiying candidate # 4.567 * * * * [progress]: [ 51 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 52 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 53 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 54 / 64 ] simplifiying candidate #real (real->posit16 (+ (* a a) (* b (+ a (+ a b)))))))> 4.568 * * * * [progress]: [ 55 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 56 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 57 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 58 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 59 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 60 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 61 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 62 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 63 / 64 ] simplifiying candidate # 4.568 * * * * [progress]: [ 64 / 64 ] simplifiying candidate # 4.569 * [simplify]: Simplifying: (* (exp a) (* (exp a) (exp b))) (* (exp a) (exp (+ a b))) (log (+ a (+ a b))) (exp (+ a (+ a b))) (* (cbrt (+ a (+ a b))) (cbrt (+ a (+ a b)))) (cbrt (+ a (+ a b))) (* (* (+ a (+ a b)) (+ a (+ a b))) (+ a (+ a b))) (sqrt (+ a (+ a b))) (sqrt (+ a (+ a b))) (+ (pow a 3) (pow (+ a b) 3)) (+ (* a a) (- (* (+ a b) (+ a b)) (* a (+ a b)))) (- (* a a) (* (+ a b) (+ a b))) (- a (+ a b)) (+ a (+ a b)) (+ a (+ a b)) (+ a a) (real->posit16 (+ a (+ a b))) (* b (+ a (+ a b))) (+ (log b) (log (+ a (+ a b)))) (log (* b (+ a (+ a b)))) (exp (* b (+ a (+ a b)))) (* (* (* b b) b) (* (* (+ a (+ a b)) (+ a (+ a b))) (+ a (+ a b)))) (* (cbrt (* b (+ a (+ a b)))) (cbrt (* b (+ a (+ a b))))) (cbrt (* b (+ a (+ a b)))) (* (* (* b (+ a (+ a b))) (* b (+ a (+ a b)))) (* b (+ a (+ a b)))) (sqrt (* b (+ a (+ a b)))) (sqrt (* b (+ a (+ a b)))) (* (sqrt b) (sqrt (+ a (+ a b)))) (* (sqrt b) (sqrt (+ a (+ a b)))) (* b a) (* b (+ a b)) (* a b) (* (+ a b) b) (* b (* (cbrt (+ a (+ a b))) (cbrt (+ a (+ a b))))) (* b (sqrt (+ a (+ a b)))) (* b 1) (* b 1) (* b 1) (* (cbrt b) (+ a (+ a b))) (* (sqrt b) (+ a (+ a b))) (* b (+ a (+ a b))) (* b (+ (pow a 3) (pow (+ a b) 3))) (* b (- (* a a) (* (+ a b) (+ a b)))) (real->posit16 (* b (+ a (+ a b)))) (* (exp (* a a)) (exp (* b (+ a (+ a b))))) (log (+ (* a a) (* b (+ a (+ a b))))) (exp (+ (* a a) (* b (+ a (+ a b))))) (* (cbrt (+ (* a a) (* b (+ a (+ a b))))) (cbrt (+ (* a a) (* b (+ a (+ a b)))))) (cbrt (+ (* a a) (* b (+ a (+ a b))))) (* (* (+ (* a a) (* b (+ a (+ a b)))) (+ (* a a) (* b (+ a (+ a b))))) (+ (* a a) (* b (+ a (+ a b))))) (sqrt (+ (* a a) (* b (+ a (+ a b))))) (sqrt (+ (* a a) (* b (+ a (+ a b))))) (+ (pow (* a a) 3) (pow (* b (+ a (+ a b))) 3)) (+ (* (* a a) (* a a)) (- (* (* b (+ a (+ a b))) (* b (+ a (+ a b)))) (* (* a a) (* b (+ a (+ a b)))))) (- (* (* a a) (* a a)) (* (* b (+ a (+ a b))) (* b (+ a (+ a b))))) (- (* a a) (* b (+ a (+ a b)))) (+ (* a a) (* b a)) (+ (* a a) (* a b)) (real->posit16 (+ (* a a) (* b (+ a (+ a b))))) (+ (* 2 a) b) (+ (* 2 a) b) (+ (* 2 a) b) (+ (pow b 2) (* 2 (* a b))) (+ (pow b 2) (* 2 (* a b))) (+ (pow b 2) (* 2 (* a b))) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) 4.569 * * [simplify]: iteration 1: (89 enodes) 4.589 * * [simplify]: iteration 2: (248 enodes) 4.713 * * [simplify]: iteration 3: (978 enodes) 5.999 * * [simplify]: Extracting #0: cost 44 inf + 0 6.001 * * [simplify]: Extracting #1: cost 374 inf + 42 6.010 * * [simplify]: Extracting #2: cost 1261 inf + 18902 6.060 * * [simplify]: Extracting #3: cost 533 inf + 225447 6.139 * * [simplify]: Extracting #4: cost 41 inf + 341481 6.240 * * [simplify]: Extracting #5: cost 0 inf + 353222 6.347 * [simplify]: Simplified to: (exp (+ a (+ a b))) (exp (+ a (+ a b))) (log (+ a (+ a b))) (exp (+ a (+ a b))) (* (cbrt (+ a (+ a b))) (cbrt (+ a (+ a b)))) (cbrt (+ a (+ a b))) (* (* (+ a (+ a b)) (+ a (+ a b))) (+ a (+ a b))) (sqrt (+ a (+ a b))) (sqrt (+ a (+ a b))) (+ (* (+ a b) (* (+ a b) (+ a b))) (* a (* a a))) (+ (* b b) (* a (+ a b))) (- (* a a) (* (+ a b) (+ a b))) (- b) (+ a (+ a b)) (+ a (+ a b)) (+ a a) (real->posit16 (+ a (+ a b))) (* b (+ a (+ a b))) (log (* b (+ a (+ a b)))) (log (* b (+ a (+ a b)))) (exp (* b (+ a (+ a b)))) (* (* b (+ a (+ a b))) (* (* b (+ a (+ a b))) (* b (+ a (+ a b))))) (* (cbrt (* b (+ a (+ a b)))) (cbrt (* b (+ a (+ a b))))) (cbrt (* b (+ a (+ a b)))) (* (* b (+ a (+ a b))) (* (* b (+ a (+ a b))) (* b (+ a (+ a b))))) (sqrt (* b (+ a (+ a b)))) (sqrt (* b (+ a (+ a b)))) (* (sqrt b) (sqrt (+ a (+ a b)))) (* (sqrt b) (sqrt (+ a (+ a b)))) (* a b) (* (+ a b) b) (* a b) (* (+ a b) b) (* b (* (cbrt (+ a (+ a b))) (cbrt (+ a (+ a b))))) (* b (sqrt (+ a (+ a b)))) b b b (* (cbrt b) (+ a (+ a b))) (* (sqrt b) (+ a (+ a b))) (* b (+ a (+ a b))) (* b (+ (* (+ a b) (* (+ a b) (+ a b))) (* a (* a a)))) (* (- (* a a) (* (+ a b) (+ a b))) b) (real->posit16 (* b (+ a (+ a b)))) (exp (* (+ a b) (+ a b))) (+ (log (+ a b)) (log (+ a b))) (exp (* (+ a b) (+ a b))) (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b))) (* (* (+ a b) (+ a b)) (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b)))) (fabs (+ a b)) (fabs (+ a b)) (+ (* (* b (+ a (+ a b))) (* (* b (+ a (+ a b))) (* b (+ a (+ a b))))) (* (* (* a a) (* a a)) (* a a))) (+ (* (* a a) (* a a)) (* (- (* b (+ a (+ a b))) (* a a)) (* b (+ a (+ a b))))) (* (* (+ a b) (+ a b)) (+ (* a a) (- (* a a) (* (+ a b) (+ a b))))) (+ (* a a) (- (* a a) (* (+ a b) (+ a b)))) (* a (+ a b)) (* a (+ a b)) (real->posit16 (* (+ a b) (+ a b))) (+ a (+ a b)) (+ a (+ a b)) (+ a (+ a b)) (* b (+ a (+ a b))) (* b (+ a (+ a b))) (* b (+ a (+ a b))) (* (+ a b) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ a b)) 6.351 * * * [progress]: adding candidates to table 6.784 * [progress]: [Phase 3 of 3] Extracting. 6.784 * * [regime]: Finding splitpoints for: (# #) 6.784 * * * [regime-changes]: Trying 2 branch expressions: (b a) 6.784 * * * * [regimes]: Trying to branch on b from (# #) 6.811 * * * * [regimes]: Trying to branch on a from (# #) 6.840 * * * [regime]: Found split indices: #