35.881 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying: (* (+ a b) (+ a b)) 0.020 * * [simplify]: Extracting # 0 : cost 0 0.020 * * [simplify]: Extracting # 1 : cost 0 0.020 * * [simplify]: Extracting # 2 : cost 0 0.020 * * [simplify]: Extracting # 3 : cost 0 0.020 * * [simplify]: Extracting # 4 : cost 0 0.020 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 0.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: Extracting # 1 : cost 0 0.021 * * [simplify]: Extracting # 2 : cost 0 0.021 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.023 * * [simplify]: Extracting # 0 : cost 0 0.024 * * [simplify]: Extracting # 1 : cost 0 0.024 * * [simplify]: Extracting # 2 : cost 0 0.024 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.029 * * [simplify]: Extracting # 0 : cost 0 0.029 * * [simplify]: Extracting # 1 : cost 0 0.029 * * [simplify]: Extracting # 2 : cost 0 0.029 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: iteration 4 : 72 enodes (cost 7 ) 0.051 * * [simplify]: Extracting # 0 : cost 0 0.051 * * [simplify]: Extracting # 1 : cost 0 0.051 * * [simplify]: Extracting # 2 : cost 0 0.051 * * [simplify]: iteration 5 : 88 enodes (cost 7 ) 0.078 * * [simplify]: Extracting # 0 : cost 0 0.078 * * [simplify]: iteration 6 : 97 enodes (cost 7 ) 0.111 * * [simplify]: Extracting # 0 : cost 0 0.112 * * [simplify]: iteration 7 : 103 enodes (cost 7 ) 0.141 * * [simplify]: Extracting # 0 : cost 0 0.141 * * [simplify]: iteration done: 103 enodes (cost 7 ) 0.141 * [simplify]: Simplified to: (* (+ a b) (+ a b)) 0.141 * * [progress]: iteration 1 / 4 0.141 * * * [progress]: picking best candidate 0.142 * * * * [pick]: Picked # 0.142 * * * [progress]: localizing error 0.146 * * * [progress]: generating rewritten candidates 0.146 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.193 * * * [progress]: generating series expansions 0.193 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.193 * [backup-simplify]: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2) 0.193 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0 0.193 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b 0.193 * [taylor]: Taking taylor expansion of (+ a b) in b 0.193 * [taylor]: Taking taylor expansion of a in b 0.193 * [backup-simplify]: Simplify a into a 0.193 * [taylor]: Taking taylor expansion of b in b 0.193 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (+ a 0) into a 0.194 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.194 * [taylor]: Taking taylor expansion of (+ a b) in a 0.194 * [taylor]: Taking taylor expansion of a in a 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [taylor]: Taking taylor expansion of b in a 0.194 * [backup-simplify]: Simplify b into b 0.194 * [backup-simplify]: Simplify (+ 0 b) into b 0.194 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.194 * [taylor]: Taking taylor expansion of (+ a b) in a 0.194 * [taylor]: Taking taylor expansion of a in a 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [taylor]: Taking taylor expansion of b in a 0.194 * [backup-simplify]: Simplify b into b 0.194 * [backup-simplify]: Simplify (+ 0 b) into b 0.194 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.194 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.194 * [taylor]: Taking taylor expansion of b in b 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.195 * [backup-simplify]: Simplify (+ 1 0) into 1 0.195 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b) 0.195 * [taylor]: Taking taylor expansion of (* 2 b) in b 0.195 * [taylor]: Taking taylor expansion of 2 in b 0.195 * [backup-simplify]: Simplify 2 into 2 0.195 * [taylor]: Taking taylor expansion of b in b 0.195 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.196 * [backup-simplify]: Simplify (* 2 0) into 0 0.196 * [backup-simplify]: Simplify 0 into 0 0.196 * [backup-simplify]: Simplify (+ 0 0) into 0 0.197 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1 0.197 * [taylor]: Taking taylor expansion of 1 in b 0.197 * [backup-simplify]: Simplify 1 into 1 0.197 * [backup-simplify]: Simplify 1 into 1 0.198 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 0.198 * [backup-simplify]: Simplify 2 into 2 0.198 * [backup-simplify]: Simplify (* 1 1) into 1 0.198 * [backup-simplify]: Simplify 1 into 1 0.199 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 0.199 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 b) (/ 1 a)) 2) 0.199 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0 0.199 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b 0.199 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.199 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.199 * [taylor]: Taking taylor expansion of b in b 0.199 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify 1 into 1 0.199 * [backup-simplify]: Simplify (/ 1 1) into 1 0.200 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.200 * [taylor]: Taking taylor expansion of a in b 0.200 * [backup-simplify]: Simplify a into a 0.200 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.200 * [backup-simplify]: Simplify (+ 1 0) into 1 0.200 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.200 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.200 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.200 * [taylor]: Taking taylor expansion of b in a 0.200 * [backup-simplify]: Simplify b into b 0.200 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.200 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.200 * [taylor]: Taking taylor expansion of a in a 0.200 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify 1 into 1 0.201 * [backup-simplify]: Simplify (/ 1 1) into 1 0.201 * [backup-simplify]: Simplify (+ 0 1) into 1 0.201 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.201 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.201 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.201 * [taylor]: Taking taylor expansion of b in a 0.201 * [backup-simplify]: Simplify b into b 0.201 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.201 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.201 * [taylor]: Taking taylor expansion of a in a 0.201 * [backup-simplify]: Simplify 0 into 0 0.201 * [backup-simplify]: Simplify 1 into 1 0.202 * [backup-simplify]: Simplify (/ 1 1) into 1 0.202 * [backup-simplify]: Simplify (+ 0 1) into 1 0.203 * [backup-simplify]: Simplify (* 1 1) into 1 0.203 * [taylor]: Taking taylor expansion of 1 in b 0.203 * [backup-simplify]: Simplify 1 into 1 0.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.204 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 0.204 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b)) 0.204 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.204 * [taylor]: Taking taylor expansion of 2 in b 0.204 * [backup-simplify]: Simplify 2 into 2 0.204 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.204 * [taylor]: Taking taylor expansion of b in b 0.204 * [backup-simplify]: Simplify 0 into 0 0.204 * [backup-simplify]: Simplify 1 into 1 0.204 * [backup-simplify]: Simplify (/ 1 1) into 1 0.204 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.205 * [backup-simplify]: Simplify (+ 0 0) into 0 0.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 0.206 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.206 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.206 * [taylor]: Taking taylor expansion of b in b 0.206 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify 1 into 1 0.207 * [backup-simplify]: Simplify (* 1 1) into 1 0.207 * [backup-simplify]: Simplify (/ 1 1) into 1 0.207 * [backup-simplify]: Simplify 1 into 1 0.208 * [backup-simplify]: Simplify (* 2 1) into 2 0.208 * [backup-simplify]: Simplify 2 into 2 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [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) (+ (* 2 (* a b)) (pow b 2))) 0.209 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 b) (/ 1 a)) 2) 0.209 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0 0.209 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b 0.209 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.209 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.209 * [taylor]: Taking taylor expansion of b in b 0.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify 1 into 1 0.209 * [backup-simplify]: Simplify (/ 1 1) into 1 0.209 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.209 * [taylor]: Taking taylor expansion of a in b 0.209 * [backup-simplify]: Simplify a into a 0.209 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.210 * [backup-simplify]: Simplify (+ 1 0) into 1 0.210 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.210 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.210 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.210 * [taylor]: Taking taylor expansion of b in a 0.210 * [backup-simplify]: Simplify b into b 0.210 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.210 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.210 * [taylor]: Taking taylor expansion of a in a 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 1 into 1 0.210 * [backup-simplify]: Simplify (/ 1 1) into 1 0.211 * [backup-simplify]: Simplify (+ 0 1) into 1 0.211 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.211 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.211 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.211 * [taylor]: Taking taylor expansion of b in a 0.211 * [backup-simplify]: Simplify b into b 0.211 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.211 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.211 * [taylor]: Taking taylor expansion of a in a 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 1 into 1 0.211 * [backup-simplify]: Simplify (/ 1 1) into 1 0.212 * [backup-simplify]: Simplify (+ 0 1) into 1 0.212 * [backup-simplify]: Simplify (* 1 1) into 1 0.212 * [taylor]: Taking taylor expansion of 1 in b 0.212 * [backup-simplify]: Simplify 1 into 1 0.213 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.213 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 0.213 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b)) 0.213 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.213 * [taylor]: Taking taylor expansion of 2 in b 0.213 * [backup-simplify]: Simplify 2 into 2 0.213 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.213 * [taylor]: Taking taylor expansion of b in b 0.213 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify 1 into 1 0.214 * [backup-simplify]: Simplify (/ 1 1) into 1 0.214 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.216 * [backup-simplify]: Simplify (+ 0 0) into 0 0.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 0.217 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.217 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.217 * [taylor]: Taking taylor expansion of b in b 0.217 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify 1 into 1 0.218 * [backup-simplify]: Simplify (* 1 1) into 1 0.218 * [backup-simplify]: Simplify (/ 1 1) into 1 0.218 * [backup-simplify]: Simplify 1 into 1 0.219 * [backup-simplify]: Simplify (* 2 1) into 2 0.219 * [backup-simplify]: Simplify 2 into 2 0.219 * [backup-simplify]: Simplify 1 into 1 0.220 * [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) (+ (* 2 (* a b)) (pow b 2))) 0.220 * * * [progress]: simplifying candidates 0.221 * [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)) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 0.223 * * [simplify]: Extracting # 0 : cost 0 0.223 * * [simplify]: Extracting # 1 : cost 0 0.223 * * [simplify]: Extracting # 2 : cost 0 0.224 * * [simplify]: Extracting # 3 : cost 0 0.224 * * [simplify]: Extracting # 4 : cost 0 0.224 * * [simplify]: Extracting # 5 : cost 0 0.224 * * [simplify]: Extracting # 6 : cost 0 0.224 * * [simplify]: Extracting # 7 : cost 0 0.225 * * [simplify]: iteration 0 : 62 enodes (cost 516 ) 0.257 * * [simplify]: Extracting # 0 : cost 0 0.257 * * [simplify]: Extracting # 1 : cost 0 0.258 * * [simplify]: Extracting # 2 : cost 0 0.258 * * [simplify]: Extracting # 3 : cost 0 0.258 * * [simplify]: Extracting # 4 : cost 0 0.259 * * [simplify]: iteration 1 : 188 enodes (cost 453 ) 0.362 * * [simplify]: Extracting # 0 : cost 0 0.364 * * [simplify]: Extracting # 1 : cost 0 0.366 * * [simplify]: Extracting # 2 : cost 0 0.367 * * [simplify]: Extracting # 3 : cost 0 0.369 * * [simplify]: Extracting # 4 : cost 0 0.370 * * [simplify]: iteration 2 : 742 enodes (cost 407 ) 1.472 * * [simplify]: Extracting # 0 : cost 0 1.480 * * [simplify]: Extracting # 1 : cost 0 1.491 * * [simplify]: Extracting # 2 : cost 0 1.497 * * [simplify]: Extracting # 3 : cost 0 1.503 * * [simplify]: Extracting # 4 : cost 0 1.508 * * [simplify]: Extracting # 5 : cost 0 1.514 * * [simplify]: iteration 3 : 3324 enodes (cost 376 ) 3.065 * * [simplify]: Extracting # 0 : cost 0 3.077 * * [simplify]: Extracting # 1 : cost 0 3.087 * * [simplify]: Extracting # 2 : cost 0 3.097 * * [simplify]: Extracting # 3 : cost 0 3.114 * * [simplify]: Extracting # 4 : cost 0 3.120 * * [simplify]: iteration done: 5001 enodes (cost 373 ) 3.120 * [simplify]: Simplified to: 2 (pow (sqrt (+ a b)) 4) 2 (* 2 (log (+ a b))) (* 2 (log (+ a b))) (exp (pow (sqrt (+ a b)) 4)) (pow (+ a b) 6) (* (cbrt (pow (sqrt (+ a b)) 4)) (cbrt (pow (sqrt (+ a b)) 4))) (cbrt (pow (sqrt (+ a b)) 4)) (pow (+ a b) 6) (fabs (+ a b)) (fabs (+ a b)) (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a)))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (* b (- b a))) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (* b (- b a))) (- a b)) (* (* (- a b) (- a b)) (pow (sqrt (+ a b)) 4)) (* (- a b) (- a b)) (pow (cbrt (+ a b)) 4) (* (cbrt (+ a b)) (cbrt (+ a b))) (+ a b) (+ a b) 1 (pow (sqrt (+ a b)) 4) 1 (pow (sqrt (+ a b)) 4) 1 (pow (sqrt (+ a b)) 4) 1 (pow (sqrt (+ a b)) 4) (+ a b) (+ a b) 2 (* (+ a b) a) (* (+ a b) b) (* (+ a b) a) (* (+ a b) b) (pow (cbrt (+ a b)) (+ 4 1)) (pow (sqrt (+ a b)) 3) (+ a b) (+ a b) (pow (cbrt (+ a b)) 4) (pow (sqrt (+ a b)) 3) (pow (sqrt (+ a b)) 4) (pow (sqrt (+ a b)) 4) (* (+ a b) (+ (pow a 3) (pow b 3))) (* (- a b) (pow (sqrt (+ a b)) 4)) (* (+ a b) (+ (pow a 3) (pow b 3))) (* (- a b) (pow (sqrt (+ a b)) 4)) (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a)) 3.121 * * * [progress]: adding candidates to table 3.177 * * [progress]: iteration 2 / 4 3.177 * * * [progress]: picking best candidate 3.182 * * * * [pick]: Picked # 3.182 * * * [progress]: localizing error 3.195 * * * [progress]: generating rewritten candidates 3.196 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.228 * * * [progress]: generating series expansions 3.228 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.228 * [backup-simplify]: Simplify (+ (* (+ a b) a) (* (+ a b) b)) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 3.228 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in (a b) around 0 3.228 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in b 3.228 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.228 * [taylor]: Taking taylor expansion of a in b 3.228 * [backup-simplify]: Simplify a into a 3.229 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 3.229 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 3.229 * [taylor]: Taking taylor expansion of 2 in b 3.229 * [backup-simplify]: Simplify 2 into 2 3.229 * [taylor]: Taking taylor expansion of (* a b) in b 3.229 * [taylor]: Taking taylor expansion of a in b 3.229 * [backup-simplify]: Simplify a into a 3.229 * [taylor]: Taking taylor expansion of b in b 3.229 * [backup-simplify]: Simplify 0 into 0 3.229 * [backup-simplify]: Simplify 1 into 1 3.229 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.229 * [taylor]: Taking taylor expansion of b in b 3.229 * [backup-simplify]: Simplify 0 into 0 3.229 * [backup-simplify]: Simplify 1 into 1 3.229 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a 3.229 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.229 * [taylor]: Taking taylor expansion of a in a 3.229 * [backup-simplify]: Simplify 0 into 0 3.229 * [backup-simplify]: Simplify 1 into 1 3.229 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a 3.229 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 3.229 * [taylor]: Taking taylor expansion of 2 in a 3.229 * [backup-simplify]: Simplify 2 into 2 3.229 * [taylor]: Taking taylor expansion of (* a b) in a 3.229 * [taylor]: Taking taylor expansion of a in a 3.229 * [backup-simplify]: Simplify 0 into 0 3.229 * [backup-simplify]: Simplify 1 into 1 3.229 * [taylor]: Taking taylor expansion of b in a 3.229 * [backup-simplify]: Simplify b into b 3.229 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.229 * [taylor]: Taking taylor expansion of b in a 3.229 * [backup-simplify]: Simplify b into b 3.229 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a 3.229 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.230 * [taylor]: Taking taylor expansion of a in a 3.230 * [backup-simplify]: Simplify 0 into 0 3.230 * [backup-simplify]: Simplify 1 into 1 3.230 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a 3.230 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 3.230 * [taylor]: Taking taylor expansion of 2 in a 3.230 * [backup-simplify]: Simplify 2 into 2 3.230 * [taylor]: Taking taylor expansion of (* a b) in a 3.230 * [taylor]: Taking taylor expansion of a in a 3.230 * [backup-simplify]: Simplify 0 into 0 3.230 * [backup-simplify]: Simplify 1 into 1 3.230 * [taylor]: Taking taylor expansion of b in a 3.230 * [backup-simplify]: Simplify b into b 3.230 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.230 * [taylor]: Taking taylor expansion of b in a 3.230 * [backup-simplify]: Simplify b into b 3.230 * [backup-simplify]: Simplify (* 0 b) into 0 3.231 * [backup-simplify]: Simplify (* 2 0) into 0 3.231 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.231 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2) 3.231 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2) 3.231 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.231 * [taylor]: Taking taylor expansion of b in b 3.231 * [backup-simplify]: Simplify 0 into 0 3.231 * [backup-simplify]: Simplify 1 into 1 3.232 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.232 * [backup-simplify]: Simplify (+ (* 2 b) (* 0 0)) into (* 2 b) 3.232 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 3.233 * [backup-simplify]: Simplify (+ (* 2 b) 0) into (* 2 b) 3.233 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b) 3.233 * [taylor]: Taking taylor expansion of (* 2 b) in b 3.233 * [taylor]: Taking taylor expansion of 2 in b 3.233 * [backup-simplify]: Simplify 2 into 2 3.233 * [taylor]: Taking taylor expansion of b in b 3.233 * [backup-simplify]: Simplify 0 into 0 3.233 * [backup-simplify]: Simplify 1 into 1 3.233 * [backup-simplify]: Simplify (* 2 0) into 0 3.233 * [backup-simplify]: Simplify 0 into 0 3.234 * [backup-simplify]: Simplify (* 1 1) into 1 3.235 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 3.235 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 b) (* 0 0))) into 0 3.236 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 3.236 * [backup-simplify]: Simplify (+ 0 0) into 0 3.237 * [backup-simplify]: Simplify (+ 1 0) into 1 3.237 * [taylor]: Taking taylor expansion of 1 in b 3.237 * [backup-simplify]: Simplify 1 into 1 3.237 * [backup-simplify]: Simplify 1 into 1 3.238 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 3.238 * [backup-simplify]: Simplify 2 into 2 3.238 * [backup-simplify]: Simplify (* 1 1) into 1 3.238 * [backup-simplify]: Simplify 1 into 1 3.239 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 3.240 * [backup-simplify]: Simplify (+ (* (+ (/ 1 a) (/ 1 b)) (/ 1 a)) (* (+ (/ 1 a) (/ 1 b)) (/ 1 b))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) 3.240 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (a b) around 0 3.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 3.240 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.240 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.240 * [taylor]: Taking taylor expansion of b in b 3.240 * [backup-simplify]: Simplify 0 into 0 3.240 * [backup-simplify]: Simplify 1 into 1 3.240 * [backup-simplify]: Simplify (* 1 1) into 1 3.241 * [backup-simplify]: Simplify (/ 1 1) into 1 3.241 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 3.241 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 3.241 * [taylor]: Taking taylor expansion of 2 in b 3.241 * [backup-simplify]: Simplify 2 into 2 3.241 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 3.241 * [taylor]: Taking taylor expansion of (* a b) in b 3.241 * [taylor]: Taking taylor expansion of a in b 3.241 * [backup-simplify]: Simplify a into a 3.241 * [taylor]: Taking taylor expansion of b in b 3.241 * [backup-simplify]: Simplify 0 into 0 3.241 * [backup-simplify]: Simplify 1 into 1 3.241 * [backup-simplify]: Simplify (* a 0) into 0 3.242 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 3.242 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.242 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.242 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.242 * [taylor]: Taking taylor expansion of a in b 3.242 * [backup-simplify]: Simplify a into a 3.242 * [backup-simplify]: Simplify (* a a) into (pow a 2) 3.242 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 3.242 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 3.242 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.242 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.242 * [taylor]: Taking taylor expansion of b in a 3.242 * [backup-simplify]: Simplify b into b 3.242 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.243 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.243 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 3.243 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 3.243 * [taylor]: Taking taylor expansion of 2 in a 3.243 * [backup-simplify]: Simplify 2 into 2 3.243 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 3.243 * [taylor]: Taking taylor expansion of (* a b) in a 3.243 * [taylor]: Taking taylor expansion of a in a 3.243 * [backup-simplify]: Simplify 0 into 0 3.243 * [backup-simplify]: Simplify 1 into 1 3.243 * [taylor]: Taking taylor expansion of b in a 3.243 * [backup-simplify]: Simplify b into b 3.243 * [backup-simplify]: Simplify (* 0 b) into 0 3.243 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.244 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.244 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.244 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.244 * [taylor]: Taking taylor expansion of a in a 3.244 * [backup-simplify]: Simplify 0 into 0 3.244 * [backup-simplify]: Simplify 1 into 1 3.244 * [backup-simplify]: Simplify (* 1 1) into 1 3.244 * [backup-simplify]: Simplify (/ 1 1) into 1 3.244 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 3.245 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.245 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.245 * [taylor]: Taking taylor expansion of b in a 3.245 * [backup-simplify]: Simplify b into b 3.245 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.245 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.245 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 3.245 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 3.245 * [taylor]: Taking taylor expansion of 2 in a 3.245 * [backup-simplify]: Simplify 2 into 2 3.245 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 3.245 * [taylor]: Taking taylor expansion of (* a b) in a 3.245 * [taylor]: Taking taylor expansion of a in a 3.245 * [backup-simplify]: Simplify 0 into 0 3.245 * [backup-simplify]: Simplify 1 into 1 3.245 * [taylor]: Taking taylor expansion of b in a 3.245 * [backup-simplify]: Simplify b into b 3.245 * [backup-simplify]: Simplify (* 0 b) into 0 3.246 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.246 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.246 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.246 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.246 * [taylor]: Taking taylor expansion of a in a 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify 1 into 1 3.246 * [backup-simplify]: Simplify (* 1 1) into 1 3.247 * [backup-simplify]: Simplify (/ 1 1) into 1 3.247 * [backup-simplify]: Simplify (+ 0 1) into 1 3.248 * [backup-simplify]: Simplify (+ 0 1) into 1 3.248 * [taylor]: Taking taylor expansion of 1 in b 3.248 * [backup-simplify]: Simplify 1 into 1 3.248 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b) 3.249 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.250 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b)) 3.250 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b)) 3.250 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 3.250 * [taylor]: Taking taylor expansion of 2 in b 3.250 * [backup-simplify]: Simplify 2 into 2 3.250 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.250 * [taylor]: Taking taylor expansion of b in b 3.250 * [backup-simplify]: Simplify 0 into 0 3.250 * [backup-simplify]: Simplify 1 into 1 3.250 * [backup-simplify]: Simplify (/ 1 1) into 1 3.251 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 3.252 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.252 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0 3.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.255 * [backup-simplify]: Simplify (+ 0 0) into 0 3.255 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2)) 3.255 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.255 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.255 * [taylor]: Taking taylor expansion of b in b 3.255 * [backup-simplify]: Simplify 0 into 0 3.255 * [backup-simplify]: Simplify 1 into 1 3.255 * [backup-simplify]: Simplify (* 1 1) into 1 3.256 * [backup-simplify]: Simplify (/ 1 1) into 1 3.256 * [backup-simplify]: Simplify 1 into 1 3.256 * [backup-simplify]: Simplify (* 2 1) into 2 3.256 * [backup-simplify]: Simplify 2 into 2 3.256 * [backup-simplify]: Simplify 1 into 1 3.258 * [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) (+ (* 2 (* a b)) (pow b 2))) 3.258 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- a))) (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- b)))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) 3.258 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (a b) around 0 3.258 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 3.258 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.258 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.258 * [taylor]: Taking taylor expansion of b in b 3.258 * [backup-simplify]: Simplify 0 into 0 3.258 * [backup-simplify]: Simplify 1 into 1 3.259 * [backup-simplify]: Simplify (* 1 1) into 1 3.259 * [backup-simplify]: Simplify (/ 1 1) into 1 3.259 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 3.260 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 3.260 * [taylor]: Taking taylor expansion of 2 in b 3.260 * [backup-simplify]: Simplify 2 into 2 3.260 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 3.260 * [taylor]: Taking taylor expansion of (* a b) in b 3.260 * [taylor]: Taking taylor expansion of a in b 3.260 * [backup-simplify]: Simplify a into a 3.260 * [taylor]: Taking taylor expansion of b in b 3.260 * [backup-simplify]: Simplify 0 into 0 3.260 * [backup-simplify]: Simplify 1 into 1 3.260 * [backup-simplify]: Simplify (* a 0) into 0 3.260 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 3.260 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 3.260 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.260 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.260 * [taylor]: Taking taylor expansion of a in b 3.260 * [backup-simplify]: Simplify a into a 3.261 * [backup-simplify]: Simplify (* a a) into (pow a 2) 3.261 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 3.261 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 3.261 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.261 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.261 * [taylor]: Taking taylor expansion of b in a 3.261 * [backup-simplify]: Simplify b into b 3.261 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.261 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.261 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 3.261 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 3.261 * [taylor]: Taking taylor expansion of 2 in a 3.261 * [backup-simplify]: Simplify 2 into 2 3.261 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 3.261 * [taylor]: Taking taylor expansion of (* a b) in a 3.261 * [taylor]: Taking taylor expansion of a in a 3.261 * [backup-simplify]: Simplify 0 into 0 3.261 * [backup-simplify]: Simplify 1 into 1 3.261 * [taylor]: Taking taylor expansion of b in a 3.261 * [backup-simplify]: Simplify b into b 3.261 * [backup-simplify]: Simplify (* 0 b) into 0 3.262 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.262 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.262 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.262 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.262 * [taylor]: Taking taylor expansion of a in a 3.262 * [backup-simplify]: Simplify 0 into 0 3.262 * [backup-simplify]: Simplify 1 into 1 3.263 * [backup-simplify]: Simplify (* 1 1) into 1 3.263 * [backup-simplify]: Simplify (/ 1 1) into 1 3.263 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 3.263 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.263 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.263 * [taylor]: Taking taylor expansion of b in a 3.263 * [backup-simplify]: Simplify b into b 3.263 * [backup-simplify]: Simplify (* b b) into (pow b 2) 3.264 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 3.264 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 3.264 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 3.264 * [taylor]: Taking taylor expansion of 2 in a 3.264 * [backup-simplify]: Simplify 2 into 2 3.264 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 3.264 * [taylor]: Taking taylor expansion of (* a b) in a 3.264 * [taylor]: Taking taylor expansion of a in a 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify 1 into 1 3.264 * [taylor]: Taking taylor expansion of b in a 3.264 * [backup-simplify]: Simplify b into b 3.264 * [backup-simplify]: Simplify (* 0 b) into 0 3.264 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.265 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.265 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.265 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.265 * [taylor]: Taking taylor expansion of a in a 3.265 * [backup-simplify]: Simplify 0 into 0 3.265 * [backup-simplify]: Simplify 1 into 1 3.265 * [backup-simplify]: Simplify (* 1 1) into 1 3.265 * [backup-simplify]: Simplify (/ 1 1) into 1 3.266 * [backup-simplify]: Simplify (+ 0 1) into 1 3.266 * [backup-simplify]: Simplify (+ 0 1) into 1 3.266 * [taylor]: Taking taylor expansion of 1 in b 3.266 * [backup-simplify]: Simplify 1 into 1 3.266 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b) 3.266 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.267 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b)) 3.267 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b)) 3.267 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 3.267 * [taylor]: Taking taylor expansion of 2 in b 3.267 * [backup-simplify]: Simplify 2 into 2 3.267 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.267 * [taylor]: Taking taylor expansion of b in b 3.267 * [backup-simplify]: Simplify 0 into 0 3.267 * [backup-simplify]: Simplify 1 into 1 3.267 * [backup-simplify]: Simplify (/ 1 1) into 1 3.268 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0 3.268 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 3.268 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0 3.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.269 * [backup-simplify]: Simplify (+ 0 0) into 0 3.270 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2)) 3.270 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.270 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.270 * [taylor]: Taking taylor expansion of b in b 3.270 * [backup-simplify]: Simplify 0 into 0 3.270 * [backup-simplify]: Simplify 1 into 1 3.270 * [backup-simplify]: Simplify (* 1 1) into 1 3.270 * [backup-simplify]: Simplify (/ 1 1) into 1 3.270 * [backup-simplify]: Simplify 1 into 1 3.270 * [backup-simplify]: Simplify (* 2 1) into 2 3.270 * [backup-simplify]: Simplify 2 into 2 3.270 * [backup-simplify]: Simplify 1 into 1 3.271 * [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) (+ (* 2 (* a b)) (pow b 2))) 3.271 * * * [progress]: simplifying candidates 3.271 * [simplify]: Simplifying: (* (exp (* (+ a b) a)) (exp (* (+ a b) b))) (log (+ (* (+ a b) a) (* (+ a b) b))) (exp (+ (* (+ a b) a) (* (+ a b) b))) (* (cbrt (+ (* (+ a b) a) (* (+ a b) b))) (cbrt (+ (* (+ a b) a) (* (+ a b) b)))) (cbrt (+ (* (+ a b) a) (* (+ a b) b))) (* (* (+ (* (+ a b) a) (* (+ a b) b)) (+ (* (+ a b) a) (* (+ a b) b))) (+ (* (+ a b) a) (* (+ a b) b))) (sqrt (+ (* (+ a b) a) (* (+ a b) b))) (sqrt (+ (* (+ a b) a) (* (+ a b) b))) (+ (* (* (+ (pow a 3) (pow b 3)) a) (+ (* a a) (- (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (* (+ (pow a 3) (pow b 3)) b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))) (+ (* (* (+ (pow a 3) (pow b 3)) a) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (- (* a a) (* b b)) b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b)) (+ (* (* (- (* a a) (* b b)) a) (+ (* a a) (- (* b b) (* a b)))) (* (- a b) (* (+ (pow a 3) (pow b 3)) b))) (* (- a b) (+ (* a a) (- (* b b) (* a b)))) (+ (* (* (- (* a a) (* b b)) a) (- a b)) (* (- a b) (* (- (* a a) (* b b)) b))) (* (- a b) (- a b)) (+ (pow (* (+ a b) a) 3) (pow (* (+ a b) b) 3)) (+ (* (* (+ a b) 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) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 3.272 * * [simplify]: Extracting # 0 : cost 0 3.272 * * [simplify]: Extracting # 1 : cost 0 3.272 * * [simplify]: Extracting # 2 : cost 0 3.272 * * [simplify]: Extracting # 3 : cost 0 3.272 * * [simplify]: Extracting # 4 : cost 0 3.273 * * [simplify]: Extracting # 5 : cost 0 3.273 * * [simplify]: Extracting # 6 : cost 0 3.273 * * [simplify]: Extracting # 7 : cost 0 3.273 * * [simplify]: iteration 0 : 63 enodes (cost 459 ) 3.292 * * [simplify]: Extracting # 0 : cost 0 3.292 * * [simplify]: Extracting # 1 : cost 0 3.292 * * [simplify]: Extracting # 2 : cost 0 3.292 * * [simplify]: Extracting # 3 : cost 0 3.293 * * [simplify]: Extracting # 4 : cost 0 3.293 * * [simplify]: Extracting # 5 : cost 0 3.293 * * [simplify]: iteration 1 : 214 enodes (cost 380 ) 3.411 * * [simplify]: Extracting # 0 : cost 0 3.412 * * [simplify]: Extracting # 1 : cost 0 3.413 * * [simplify]: Extracting # 2 : cost 0 3.414 * * [simplify]: Extracting # 3 : cost 0 3.415 * * [simplify]: Extracting # 4 : cost 0 3.415 * * [simplify]: iteration 2 : 819 enodes (cost 326 ) 4.272 * * [simplify]: Extracting # 0 : cost 0 4.281 * * [simplify]: Extracting # 1 : cost 0 4.289 * * [simplify]: Extracting # 2 : cost 0 4.296 * * [simplify]: Extracting # 3 : cost 0 4.304 * * [simplify]: Extracting # 4 : cost 0 4.311 * * [simplify]: iteration 3 : 3904 enodes (cost 300 ) 5.601 * * [simplify]: Extracting # 0 : cost 0 5.610 * * [simplify]: Extracting # 1 : cost 0 5.619 * * [simplify]: Extracting # 2 : cost 0 5.637 * * [simplify]: Extracting # 3 : cost 0 5.646 * * [simplify]: Extracting # 4 : cost 0 5.655 * * [simplify]: Extracting # 5 : cost 0 5.664 * * [simplify]: iteration done: 5000 enodes (cost 300 ) 5.664 * [simplify]: Simplified to: (exp (* (+ a b) (+ a b))) (* 2 (log (+ a b))) (exp (* (+ a b) (+ a b))) (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b))) (pow (+ a b) 6) (fabs (+ a b)) (fabs (+ a b)) (* (+ (pow a 3) (pow b 3)) (* (+ (* a a) (* b (- b a))) (+ a b))) (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a)))) (+ (* (* (+ (pow a 3) (pow b 3)) a) (- a b)) (* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) b))) (* (- a b) (+ (* a a) (* b (- b a)))) (+ (* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a)) (* (- a b) (* (+ (pow a 3) (pow b 3)) b))) (* (- a b) (+ (* a a) (* b (- b a)))) (* (* (+ a b) (- (pow a 2) (pow b 2))) (- a b)) (* (- a b) (- a b)) (* (pow (+ a b) 3) (+ (pow a 3) (pow b 3))) (* (+ a b) (+ (* b (* (+ a b) (- b a))) (* (+ a b) (* a a)))) (* (pow (+ a b) 3) (- a b)) (- (pow a 2) (pow b 2)) (+ a b) (+ (* a a) (* b (+ b (* 2 a)))) (+ (* a a) (* b (+ b (* 2 a)))) (+ (* a a) (* b (+ b (* 2 a)))) 5.664 * * * [progress]: adding candidates to table 5.742 * * [progress]: iteration 3 / 4 5.743 * * * [progress]: picking best candidate 5.745 * * * * [pick]: Picked # 5.745 * * * [progress]: localizing error 5.756 * * * [progress]: generating rewritten candidates 5.756 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.782 * * * [progress]: generating series expansions 5.782 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.783 * [backup-simplify]: Simplify (+ (* b (+ (* 2 a) b)) (* a a)) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 5.783 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in (b a) around 0 5.783 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a 5.783 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.783 * [taylor]: Taking taylor expansion of a in a 5.783 * [backup-simplify]: Simplify 0 into 0 5.783 * [backup-simplify]: Simplify 1 into 1 5.783 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a 5.783 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 5.783 * [taylor]: Taking taylor expansion of 2 in a 5.783 * [backup-simplify]: Simplify 2 into 2 5.783 * [taylor]: Taking taylor expansion of (* a b) in a 5.783 * [taylor]: Taking taylor expansion of a in a 5.783 * [backup-simplify]: Simplify 0 into 0 5.783 * [backup-simplify]: Simplify 1 into 1 5.783 * [taylor]: Taking taylor expansion of b in a 5.783 * [backup-simplify]: Simplify b into b 5.783 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.783 * [taylor]: Taking taylor expansion of b in a 5.783 * [backup-simplify]: Simplify b into b 5.783 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in b 5.783 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.783 * [taylor]: Taking taylor expansion of a in b 5.783 * [backup-simplify]: Simplify a into a 5.783 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 5.783 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 5.783 * [taylor]: Taking taylor expansion of 2 in b 5.783 * [backup-simplify]: Simplify 2 into 2 5.783 * [taylor]: Taking taylor expansion of (* a b) in b 5.783 * [taylor]: Taking taylor expansion of a in b 5.783 * [backup-simplify]: Simplify a into a 5.783 * [taylor]: Taking taylor expansion of b in b 5.783 * [backup-simplify]: Simplify 0 into 0 5.784 * [backup-simplify]: Simplify 1 into 1 5.784 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.784 * [taylor]: Taking taylor expansion of b in b 5.784 * [backup-simplify]: Simplify 0 into 0 5.784 * [backup-simplify]: Simplify 1 into 1 5.784 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in b 5.784 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.784 * [taylor]: Taking taylor expansion of a in b 5.784 * [backup-simplify]: Simplify a into a 5.784 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 5.784 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 5.784 * [taylor]: Taking taylor expansion of 2 in b 5.784 * [backup-simplify]: Simplify 2 into 2 5.784 * [taylor]: Taking taylor expansion of (* a b) in b 5.784 * [taylor]: Taking taylor expansion of a in b 5.784 * [backup-simplify]: Simplify a into a 5.784 * [taylor]: Taking taylor expansion of b in b 5.784 * [backup-simplify]: Simplify 0 into 0 5.784 * [backup-simplify]: Simplify 1 into 1 5.784 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.784 * [taylor]: Taking taylor expansion of b in b 5.784 * [backup-simplify]: Simplify 0 into 0 5.784 * [backup-simplify]: Simplify 1 into 1 5.784 * [backup-simplify]: Simplify (* a a) into (pow a 2) 5.784 * [backup-simplify]: Simplify (* a 0) into 0 5.784 * [backup-simplify]: Simplify (* 2 0) into 0 5.785 * [backup-simplify]: Simplify (+ 0 0) into 0 5.785 * [backup-simplify]: Simplify (+ (pow a 2) 0) into (pow a 2) 5.785 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.785 * [taylor]: Taking taylor expansion of a in a 5.785 * [backup-simplify]: Simplify 0 into 0 5.785 * [backup-simplify]: Simplify 1 into 1 5.785 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 5.785 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 5.785 * [backup-simplify]: Simplify (+ (* 2 a) (* 0 0)) into (* 2 a) 5.786 * [backup-simplify]: Simplify (+ (* 2 a) 0) into (* 2 a) 5.786 * [backup-simplify]: Simplify (+ 0 (* 2 a)) into (* 2 a) 5.786 * [taylor]: Taking taylor expansion of (* 2 a) in a 5.786 * [taylor]: Taking taylor expansion of 2 in a 5.786 * [backup-simplify]: Simplify 2 into 2 5.786 * [taylor]: Taking taylor expansion of a in a 5.786 * [backup-simplify]: Simplify 0 into 0 5.786 * [backup-simplify]: Simplify 1 into 1 5.786 * [backup-simplify]: Simplify (* 2 0) into 0 5.786 * [backup-simplify]: Simplify 0 into 0 5.786 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 5.787 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0 5.787 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 a) (* 0 0))) into 0 5.787 * [backup-simplify]: Simplify (* 1 1) into 1 5.788 * [backup-simplify]: Simplify (+ 0 1) into 1 5.788 * [backup-simplify]: Simplify (+ 0 1) into 1 5.788 * [taylor]: Taking taylor expansion of 1 in a 5.788 * [backup-simplify]: Simplify 1 into 1 5.788 * [backup-simplify]: Simplify 1 into 1 5.788 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 5.788 * [backup-simplify]: Simplify 2 into 2 5.789 * [backup-simplify]: Simplify (* 1 1) into 1 5.789 * [backup-simplify]: Simplify 1 into 1 5.789 * [backup-simplify]: Simplify (+ (* 1 (pow (* a 1) 2)) (+ (* 2 (* a b)) (* 1 (pow (* 1 b) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 5.789 * [backup-simplify]: Simplify (+ (* (/ 1 b) (+ (* 2 (/ 1 a)) (/ 1 b))) (* (/ 1 a) (/ 1 a))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) 5.789 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (b a) around 0 5.789 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 5.789 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.789 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.789 * [taylor]: Taking taylor expansion of b in a 5.789 * [backup-simplify]: Simplify b into b 5.789 * [backup-simplify]: Simplify (* b b) into (pow b 2) 5.789 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 5.790 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 5.790 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 5.790 * [taylor]: Taking taylor expansion of 2 in a 5.790 * [backup-simplify]: Simplify 2 into 2 5.790 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 5.790 * [taylor]: Taking taylor expansion of (* a b) in a 5.790 * [taylor]: Taking taylor expansion of a in a 5.790 * [backup-simplify]: Simplify 0 into 0 5.790 * [backup-simplify]: Simplify 1 into 1 5.790 * [taylor]: Taking taylor expansion of b in a 5.790 * [backup-simplify]: Simplify b into b 5.790 * [backup-simplify]: Simplify (* 0 b) into 0 5.790 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 5.790 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 5.790 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.790 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.790 * [taylor]: Taking taylor expansion of a in a 5.790 * [backup-simplify]: Simplify 0 into 0 5.790 * [backup-simplify]: Simplify 1 into 1 5.790 * [backup-simplify]: Simplify (* 1 1) into 1 5.791 * [backup-simplify]: Simplify (/ 1 1) into 1 5.791 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 5.791 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.791 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.791 * [taylor]: Taking taylor expansion of b in b 5.791 * [backup-simplify]: Simplify 0 into 0 5.791 * [backup-simplify]: Simplify 1 into 1 5.791 * [backup-simplify]: Simplify (* 1 1) into 1 5.791 * [backup-simplify]: Simplify (/ 1 1) into 1 5.791 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 5.791 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 5.791 * [taylor]: Taking taylor expansion of 2 in b 5.791 * [backup-simplify]: Simplify 2 into 2 5.791 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 5.791 * [taylor]: Taking taylor expansion of (* a b) in b 5.791 * [taylor]: Taking taylor expansion of a in b 5.791 * [backup-simplify]: Simplify a into a 5.791 * [taylor]: Taking taylor expansion of b in b 5.791 * [backup-simplify]: Simplify 0 into 0 5.791 * [backup-simplify]: Simplify 1 into 1 5.792 * [backup-simplify]: Simplify (* a 0) into 0 5.792 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 5.792 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.792 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 5.792 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.792 * [taylor]: Taking taylor expansion of a in b 5.792 * [backup-simplify]: Simplify a into a 5.792 * [backup-simplify]: Simplify (* a a) into (pow a 2) 5.792 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 5.792 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 5.792 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.792 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.792 * [taylor]: Taking taylor expansion of b in b 5.792 * [backup-simplify]: Simplify 0 into 0 5.792 * [backup-simplify]: Simplify 1 into 1 5.792 * [backup-simplify]: Simplify (* 1 1) into 1 5.793 * [backup-simplify]: Simplify (/ 1 1) into 1 5.793 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 5.793 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 5.793 * [taylor]: Taking taylor expansion of 2 in b 5.793 * [backup-simplify]: Simplify 2 into 2 5.793 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 5.793 * [taylor]: Taking taylor expansion of (* a b) in b 5.793 * [taylor]: Taking taylor expansion of a in b 5.793 * [backup-simplify]: Simplify a into a 5.793 * [taylor]: Taking taylor expansion of b in b 5.793 * [backup-simplify]: Simplify 0 into 0 5.793 * [backup-simplify]: Simplify 1 into 1 5.793 * [backup-simplify]: Simplify (* a 0) into 0 5.793 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 5.793 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.793 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 5.793 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.793 * [taylor]: Taking taylor expansion of a in b 5.793 * [backup-simplify]: Simplify a into a 5.793 * [backup-simplify]: Simplify (* a a) into (pow a 2) 5.793 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 5.794 * [backup-simplify]: Simplify (+ 1 0) into 1 5.794 * [taylor]: Taking taylor expansion of 1 in a 5.794 * [backup-simplify]: Simplify 1 into 1 5.794 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.795 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a) 5.795 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a)) 5.795 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 a))) into (* 2 (/ 1 a)) 5.795 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 5.795 * [taylor]: Taking taylor expansion of 2 in a 5.795 * [backup-simplify]: Simplify 2 into 2 5.795 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.795 * [taylor]: Taking taylor expansion of a in a 5.795 * [backup-simplify]: Simplify 0 into 0 5.795 * [backup-simplify]: Simplify 1 into 1 5.795 * [backup-simplify]: Simplify (/ 1 1) into 1 5.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.797 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0 5.797 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 5.797 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0 5.797 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow a 2))) into (/ 1 (pow a 2)) 5.797 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow a 2))) into (/ 1 (pow a 2)) 5.797 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.797 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.797 * [taylor]: Taking taylor expansion of a in a 5.797 * [backup-simplify]: Simplify 0 into 0 5.797 * [backup-simplify]: Simplify 1 into 1 5.798 * [backup-simplify]: Simplify (* 1 1) into 1 5.798 * [backup-simplify]: Simplify (/ 1 1) into 1 5.798 * [backup-simplify]: Simplify 1 into 1 5.798 * [backup-simplify]: Simplify (* 2 1) into 2 5.798 * [backup-simplify]: Simplify 2 into 2 5.798 * [backup-simplify]: Simplify 1 into 1 5.799 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (+ (* 2 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b)))) (* 1 (pow (* (/ 1 (/ 1 a)) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 5.799 * [backup-simplify]: Simplify (+ (* (/ 1 (- b)) (+ (* 2 (/ 1 (- a))) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))) into (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) 5.799 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (b a) around 0 5.799 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 5.799 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.799 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.799 * [taylor]: Taking taylor expansion of b in a 5.799 * [backup-simplify]: Simplify b into b 5.799 * [backup-simplify]: Simplify (* b b) into (pow b 2) 5.799 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 5.799 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 5.799 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 5.799 * [taylor]: Taking taylor expansion of 2 in a 5.799 * [backup-simplify]: Simplify 2 into 2 5.799 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 5.799 * [taylor]: Taking taylor expansion of (* a b) in a 5.799 * [taylor]: Taking taylor expansion of a in a 5.799 * [backup-simplify]: Simplify 0 into 0 5.799 * [backup-simplify]: Simplify 1 into 1 5.799 * [taylor]: Taking taylor expansion of b in a 5.799 * [backup-simplify]: Simplify b into b 5.799 * [backup-simplify]: Simplify (* 0 b) into 0 5.800 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 5.800 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 5.800 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.800 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.800 * [taylor]: Taking taylor expansion of a in a 5.800 * [backup-simplify]: Simplify 0 into 0 5.800 * [backup-simplify]: Simplify 1 into 1 5.800 * [backup-simplify]: Simplify (* 1 1) into 1 5.800 * [backup-simplify]: Simplify (/ 1 1) into 1 5.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 5.800 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.800 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.800 * [taylor]: Taking taylor expansion of b in b 5.800 * [backup-simplify]: Simplify 0 into 0 5.800 * [backup-simplify]: Simplify 1 into 1 5.801 * [backup-simplify]: Simplify (* 1 1) into 1 5.801 * [backup-simplify]: Simplify (/ 1 1) into 1 5.801 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 5.801 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 5.801 * [taylor]: Taking taylor expansion of 2 in b 5.801 * [backup-simplify]: Simplify 2 into 2 5.801 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 5.801 * [taylor]: Taking taylor expansion of (* a b) in b 5.801 * [taylor]: Taking taylor expansion of a in b 5.801 * [backup-simplify]: Simplify a into a 5.801 * [taylor]: Taking taylor expansion of b in b 5.801 * [backup-simplify]: Simplify 0 into 0 5.801 * [backup-simplify]: Simplify 1 into 1 5.801 * [backup-simplify]: Simplify (* a 0) into 0 5.801 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 5.801 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.801 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 5.801 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.801 * [taylor]: Taking taylor expansion of a in b 5.801 * [backup-simplify]: Simplify a into a 5.801 * [backup-simplify]: Simplify (* a a) into (pow a 2) 5.802 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 5.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 5.802 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.802 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.802 * [taylor]: Taking taylor expansion of b in b 5.802 * [backup-simplify]: Simplify 0 into 0 5.802 * [backup-simplify]: Simplify 1 into 1 5.802 * [backup-simplify]: Simplify (* 1 1) into 1 5.802 * [backup-simplify]: Simplify (/ 1 1) into 1 5.802 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 5.802 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 5.802 * [taylor]: Taking taylor expansion of 2 in b 5.802 * [backup-simplify]: Simplify 2 into 2 5.802 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 5.802 * [taylor]: Taking taylor expansion of (* a b) in b 5.802 * [taylor]: Taking taylor expansion of a in b 5.802 * [backup-simplify]: Simplify a into a 5.802 * [taylor]: Taking taylor expansion of b in b 5.802 * [backup-simplify]: Simplify 0 into 0 5.802 * [backup-simplify]: Simplify 1 into 1 5.802 * [backup-simplify]: Simplify (* a 0) into 0 5.803 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 5.803 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 5.803 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 5.803 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.803 * [taylor]: Taking taylor expansion of a in b 5.803 * [backup-simplify]: Simplify a into a 5.803 * [backup-simplify]: Simplify (* a a) into (pow a 2) 5.803 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 5.803 * [backup-simplify]: Simplify (+ 1 0) into 1 5.803 * [taylor]: Taking taylor expansion of 1 in a 5.803 * [backup-simplify]: Simplify 1 into 1 5.804 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.804 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a) 5.804 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a)) 5.804 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 a))) into (* 2 (/ 1 a)) 5.804 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 5.804 * [taylor]: Taking taylor expansion of 2 in a 5.804 * [backup-simplify]: Simplify 2 into 2 5.804 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.804 * [taylor]: Taking taylor expansion of a in a 5.804 * [backup-simplify]: Simplify 0 into 0 5.804 * [backup-simplify]: Simplify 1 into 1 5.805 * [backup-simplify]: Simplify (/ 1 1) into 1 5.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.806 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0 5.806 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0 5.806 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0 5.806 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow a 2))) into (/ 1 (pow a 2)) 5.807 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow a 2))) into (/ 1 (pow a 2)) 5.807 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.807 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.807 * [taylor]: Taking taylor expansion of a in a 5.807 * [backup-simplify]: Simplify 0 into 0 5.807 * [backup-simplify]: Simplify 1 into 1 5.807 * [backup-simplify]: Simplify (* 1 1) into 1 5.807 * [backup-simplify]: Simplify (/ 1 1) into 1 5.807 * [backup-simplify]: Simplify 1 into 1 5.807 * [backup-simplify]: Simplify (* 2 1) into 2 5.807 * [backup-simplify]: Simplify 2 into 2 5.807 * [backup-simplify]: Simplify 1 into 1 5.808 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b))))) (* 1 (pow (* (/ 1 (/ 1 (- a))) 1) 2)))) into (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 5.808 * * * [progress]: simplifying candidates 5.808 * [simplify]: Simplifying: (* (exp (* b (+ (* 2 a) b))) (exp (* a a))) (log (+ (* b (+ (* 2 a) b)) (* a a))) (exp (+ (* b (+ (* 2 a) b)) (* a a))) (* (cbrt (+ (* b (+ (* 2 a) b)) (* a a))) (cbrt (+ (* b (+ (* 2 a) b)) (* a a)))) (cbrt (+ (* b (+ (* 2 a) b)) (* a a))) (* (* (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a))) (+ (* b (+ (* 2 a) b)) (* a a))) (sqrt (+ (* b (+ (* 2 a) b)) (* a a))) (sqrt (+ (* b (+ (* 2 a) b)) (* a a))) (+ (pow (* b (+ (* 2 a) b)) 3) (pow (* a a) 3)) (+ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (- (* (* a a) (* a a)) (* (* b (+ (* 2 a) b)) (* a a)))) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* a a) (* a a))) (- (* b (+ (* 2 a) b)) (* a a)) (+ (* b b) (* a a)) (+ (* b b) (* a a)) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 5.809 * * [simplify]: Extracting # 0 : cost 0 5.809 * * [simplify]: Extracting # 1 : cost 0 5.809 * * [simplify]: Extracting # 2 : cost 0 5.809 * * [simplify]: Extracting # 3 : cost 0 5.809 * * [simplify]: Extracting # 4 : cost 0 5.809 * * [simplify]: Extracting # 5 : cost 0 5.809 * * [simplify]: Extracting # 6 : cost 0 5.809 * * [simplify]: iteration 0 : 37 enodes (cost 270 ) 5.822 * * [simplify]: Extracting # 0 : cost 0 5.822 * * [simplify]: Extracting # 1 : cost 0 5.822 * * [simplify]: Extracting # 2 : cost 0 5.822 * * [simplify]: Extracting # 3 : cost 0 5.822 * * [simplify]: Extracting # 4 : cost 0 5.823 * * [simplify]: iteration 1 : 117 enodes (cost 259 ) 5.873 * * [simplify]: Extracting # 0 : cost 0 5.874 * * [simplify]: Extracting # 1 : cost 0 5.874 * * [simplify]: Extracting # 2 : cost 0 5.874 * * [simplify]: Extracting # 3 : cost 0 5.875 * * [simplify]: Extracting # 4 : cost 0 5.875 * * [simplify]: iteration 2 : 462 enodes (cost 231 ) 6.265 * * [simplify]: Extracting # 0 : cost 0 6.267 * * [simplify]: Extracting # 1 : cost 0 6.269 * * [simplify]: Extracting # 2 : cost 0 6.271 * * [simplify]: Extracting # 3 : cost 0 6.277 * * [simplify]: Extracting # 4 : cost 0 6.279 * * [simplify]: iteration 3 : 2266 enodes (cost 223 ) 7.227 * * [simplify]: Extracting # 0 : cost 0 7.232 * * [simplify]: Extracting # 1 : cost 0 7.245 * * [simplify]: Extracting # 2 : cost 0 7.250 * * [simplify]: Extracting # 3 : cost 0 7.255 * * [simplify]: Extracting # 4 : cost 0 7.260 * * [simplify]: iteration done: 5000 enodes (cost 223 ) 7.260 * [simplify]: Simplified to: (exp (+ (* b (+ (* 2 a) b)) (* a a))) (log (+ (* b (+ (* 2 a) b)) (* a a))) (exp (+ (* b (+ (* 2 a) b)) (* a a))) (* (cbrt (+ (* b (+ (* 2 a) b)) (* a a))) (cbrt (+ (* b (+ (* 2 a) b)) (* a a)))) (cbrt (+ (* b (+ (* 2 a) b)) (* a a))) (pow (+ (* b (+ (* 2 a) b)) (* a a)) 3) (sqrt (+ (* b (+ (* 2 a) b)) (* a a))) (sqrt (+ (* b (+ (* 2 a) b)) (* a a))) (+ (pow a 6) (pow (* b (+ (* 2 a) b)) 3)) (- (pow a 4) (* (* (+ (* 2 a) b) b) (- (* a a) (* (+ (* 2 a) b) b)))) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)) (+ (* b b) (* a a)) (+ (* b b) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a)) 7.261 * * * [progress]: adding candidates to table 7.303 * [progress]: [Phase 3 of 3] Extracting. 7.303 * * [regime]: Finding splitpoints for: (# #) 7.303 * * * [regime-changes]: Trying 2 branch expressions: (b a) 7.303 * * * * [regimes]: Trying to branch on b from (# #) 7.322 * * * * [regimes]: Trying to branch on a from (# #) 7.332 * * * [regime]: Found split indices: #