17.558 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.035 * [simplify]: Simplifying: (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 0.035 * * [simplify]: Extracting # 0 : cost 0 0.035 * * [simplify]: Extracting # 1 : cost 0 0.035 * * [simplify]: Extracting # 2 : cost 0 0.035 * * [simplify]: Extracting # 3 : cost 0 0.035 * * [simplify]: Extracting # 4 : cost 0 0.035 * * [simplify]: Extracting # 5 : cost 0 0.035 * * [simplify]: Extracting # 6 : cost 0 0.035 * * [simplify]: Extracting # 7 : cost 0 0.035 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 0.038 * * [simplify]: Extracting # 1 : cost 0 0.038 * * [simplify]: Extracting # 2 : cost 0 0.038 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 0.044 * * [simplify]: Extracting # 1 : cost 0 0.044 * * [simplify]: Extracting # 2 : cost 0 0.044 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 0.054 * * [simplify]: Extracting # 0 : cost 0 0.054 * * [simplify]: Extracting # 1 : cost 0 0.054 * * [simplify]: Extracting # 2 : cost 0 0.054 * * [simplify]: iteration 3 : 98 enodes (cost 11 ) 0.092 * * [simplify]: Extracting # 0 : cost 0 0.092 * * [simplify]: Extracting # 1 : cost 0 0.093 * * [simplify]: Extracting # 2 : cost 0 0.093 * * [simplify]: iteration 4 : 187 enodes (cost 11 ) 0.137 * * [simplify]: Extracting # 0 : cost 0 0.137 * * [simplify]: Extracting # 1 : cost 0 0.138 * * [simplify]: Extracting # 2 : cost 0 0.138 * * [simplify]: iteration 5 : 332 enodes (cost 11 ) 0.229 * * [simplify]: Extracting # 0 : cost 0 0.230 * * [simplify]: Extracting # 1 : cost 0 0.230 * * [simplify]: Extracting # 2 : cost 0 0.231 * * [simplify]: Extracting # 3 : cost 0 0.231 * * [simplify]: iteration 6 : 498 enodes (cost 11 ) 0.670 * * [simplify]: Extracting # 0 : cost 0 0.672 * * [simplify]: Extracting # 1 : cost 0 0.674 * * [simplify]: Extracting # 2 : cost 0 0.676 * * [simplify]: Extracting # 3 : cost 0 0.678 * * [simplify]: iteration 7 : 1408 enodes (cost 11 ) 4.700 * * [simplify]: Extracting # 0 : cost 0 4.712 * * [simplify]: Extracting # 1 : cost 0 4.717 * * [simplify]: Extracting # 2 : cost 0 4.721 * * [simplify]: Extracting # 3 : cost 0 5.105 * * [simplify]: Extracting # 4 : cost 0 5.109 * * [simplify]: iteration done: 5001 enodes (cost 11 ) 5.109 * [simplify]: Simplified to: (sqrt (fabs (- 1 (/ (* b b) (* a a))))) 5.113 * * [progress]: iteration 1 / 4 5.113 * * * [progress]: picking best candidate 5.115 * * * * [pick]: Picked # 5.115 * * * [progress]: localizing error 5.134 * * * [progress]: generating rewritten candidates 5.134 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2) 5.162 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.166 * * * [progress]: generating series expansions 5.166 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2) 5.167 * [backup-simplify]: Simplify (/ (* b b) (* a a)) into (/ (pow b 2) (pow a 2)) 5.167 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 5.167 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 5.167 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.167 * [taylor]: Taking taylor expansion of b in a 5.167 * [backup-simplify]: Simplify b into b 5.167 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.167 * [taylor]: Taking taylor expansion of a in a 5.167 * [backup-simplify]: Simplify 0 into 0 5.167 * [backup-simplify]: Simplify 1 into 1 5.167 * [backup-simplify]: Simplify (* b b) into (pow b 2) 5.168 * [backup-simplify]: Simplify (* 1 1) into 1 5.168 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 5.168 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 5.168 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.168 * [taylor]: Taking taylor expansion of b in b 5.168 * [backup-simplify]: Simplify 0 into 0 5.168 * [backup-simplify]: Simplify 1 into 1 5.168 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.168 * [taylor]: Taking taylor expansion of a in b 5.168 * [backup-simplify]: Simplify a into a 5.168 * [backup-simplify]: Simplify (* 1 1) into 1 5.168 * [backup-simplify]: Simplify (* a a) into (pow a 2) 5.169 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 5.169 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 5.169 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.169 * [taylor]: Taking taylor expansion of b in b 5.169 * [backup-simplify]: Simplify 0 into 0 5.169 * [backup-simplify]: Simplify 1 into 1 5.169 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.169 * [taylor]: Taking taylor expansion of a in b 5.169 * [backup-simplify]: Simplify a into a 5.169 * [backup-simplify]: Simplify (* 1 1) into 1 5.169 * [backup-simplify]: Simplify (* a a) into (pow a 2) 5.170 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 5.170 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.170 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.170 * [taylor]: Taking taylor expansion of a in a 5.170 * [backup-simplify]: Simplify 0 into 0 5.170 * [backup-simplify]: Simplify 1 into 1 5.170 * [backup-simplify]: Simplify (* 1 1) into 1 5.171 * [backup-simplify]: Simplify (/ 1 1) into 1 5.171 * [backup-simplify]: Simplify 1 into 1 5.171 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.171 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 5.172 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 5.172 * [taylor]: Taking taylor expansion of 0 in a 5.172 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.173 * [backup-simplify]: Simplify 0 into 0 5.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.175 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 5.175 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 5.175 * [taylor]: Taking taylor expansion of 0 in a 5.175 * [backup-simplify]: Simplify 0 into 0 5.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.177 * [backup-simplify]: Simplify 0 into 0 5.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.179 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 5.180 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 5.180 * [taylor]: Taking taylor expansion of 0 in a 5.180 * [backup-simplify]: Simplify 0 into 0 5.180 * [backup-simplify]: Simplify 0 into 0 5.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.182 * [backup-simplify]: Simplify 0 into 0 5.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.185 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 5.186 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 5.186 * [taylor]: Taking taylor expansion of 0 in a 5.186 * [backup-simplify]: Simplify 0 into 0 5.186 * [backup-simplify]: Simplify 0 into 0 5.186 * [backup-simplify]: Simplify 0 into 0 5.186 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 5.187 * [backup-simplify]: Simplify (/ (* (/ 1 b) (/ 1 b)) (* (/ 1 a) (/ 1 a))) into (/ (pow a 2) (pow b 2)) 5.187 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 5.187 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 5.187 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.187 * [taylor]: Taking taylor expansion of a in a 5.187 * [backup-simplify]: Simplify 0 into 0 5.187 * [backup-simplify]: Simplify 1 into 1 5.187 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.187 * [taylor]: Taking taylor expansion of b in a 5.187 * [backup-simplify]: Simplify b into b 5.187 * [backup-simplify]: Simplify (* 1 1) into 1 5.187 * [backup-simplify]: Simplify (* b b) into (pow b 2) 5.188 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 5.188 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 5.188 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.188 * [taylor]: Taking taylor expansion of a in b 5.188 * [backup-simplify]: Simplify a into a 5.188 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.188 * [taylor]: Taking taylor expansion of b in b 5.188 * [backup-simplify]: Simplify 0 into 0 5.188 * [backup-simplify]: Simplify 1 into 1 5.188 * [backup-simplify]: Simplify (* a a) into (pow a 2) 5.188 * [backup-simplify]: Simplify (* 1 1) into 1 5.188 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 5.188 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 5.188 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.188 * [taylor]: Taking taylor expansion of a in b 5.188 * [backup-simplify]: Simplify a into a 5.189 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.189 * [taylor]: Taking taylor expansion of b in b 5.189 * [backup-simplify]: Simplify 0 into 0 5.189 * [backup-simplify]: Simplify 1 into 1 5.189 * [backup-simplify]: Simplify (* a a) into (pow a 2) 5.189 * [backup-simplify]: Simplify (* 1 1) into 1 5.189 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 5.189 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.189 * [taylor]: Taking taylor expansion of a in a 5.189 * [backup-simplify]: Simplify 0 into 0 5.189 * [backup-simplify]: Simplify 1 into 1 5.190 * [backup-simplify]: Simplify (* 1 1) into 1 5.190 * [backup-simplify]: Simplify 1 into 1 5.190 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 5.191 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.192 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 5.192 * [taylor]: Taking taylor expansion of 0 in a 5.192 * [backup-simplify]: Simplify 0 into 0 5.192 * [backup-simplify]: Simplify 0 into 0 5.192 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.192 * [backup-simplify]: Simplify 0 into 0 5.193 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 5.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.195 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.195 * [taylor]: Taking taylor expansion of 0 in a 5.195 * [backup-simplify]: Simplify 0 into 0 5.195 * [backup-simplify]: Simplify 0 into 0 5.195 * [backup-simplify]: Simplify 0 into 0 5.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.196 * [backup-simplify]: Simplify 0 into 0 5.197 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 5.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.201 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.201 * [taylor]: Taking taylor expansion of 0 in a 5.201 * [backup-simplify]: Simplify 0 into 0 5.201 * [backup-simplify]: Simplify 0 into 0 5.201 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 5.202 * [backup-simplify]: Simplify (/ (* (/ 1 (- b)) (/ 1 (- b))) (* (/ 1 (- a)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2)) 5.202 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 5.202 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 5.202 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.202 * [taylor]: Taking taylor expansion of a in a 5.202 * [backup-simplify]: Simplify 0 into 0 5.202 * [backup-simplify]: Simplify 1 into 1 5.202 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.202 * [taylor]: Taking taylor expansion of b in a 5.202 * [backup-simplify]: Simplify b into b 5.202 * [backup-simplify]: Simplify (* 1 1) into 1 5.202 * [backup-simplify]: Simplify (* b b) into (pow b 2) 5.203 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 5.203 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 5.203 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.203 * [taylor]: Taking taylor expansion of a in b 5.203 * [backup-simplify]: Simplify a into a 5.203 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.203 * [taylor]: Taking taylor expansion of b in b 5.203 * [backup-simplify]: Simplify 0 into 0 5.203 * [backup-simplify]: Simplify 1 into 1 5.203 * [backup-simplify]: Simplify (* a a) into (pow a 2) 5.203 * [backup-simplify]: Simplify (* 1 1) into 1 5.203 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 5.203 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 5.203 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.204 * [taylor]: Taking taylor expansion of a in b 5.204 * [backup-simplify]: Simplify a into a 5.204 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.204 * [taylor]: Taking taylor expansion of b in b 5.204 * [backup-simplify]: Simplify 0 into 0 5.204 * [backup-simplify]: Simplify 1 into 1 5.204 * [backup-simplify]: Simplify (* a a) into (pow a 2) 5.204 * [backup-simplify]: Simplify (* 1 1) into 1 5.204 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 5.204 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.204 * [taylor]: Taking taylor expansion of a in a 5.204 * [backup-simplify]: Simplify 0 into 0 5.204 * [backup-simplify]: Simplify 1 into 1 5.205 * [backup-simplify]: Simplify (* 1 1) into 1 5.205 * [backup-simplify]: Simplify 1 into 1 5.205 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 5.206 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.207 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 5.207 * [taylor]: Taking taylor expansion of 0 in a 5.207 * [backup-simplify]: Simplify 0 into 0 5.207 * [backup-simplify]: Simplify 0 into 0 5.207 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.208 * [backup-simplify]: Simplify 0 into 0 5.208 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 5.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.211 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.211 * [taylor]: Taking taylor expansion of 0 in a 5.211 * [backup-simplify]: Simplify 0 into 0 5.211 * [backup-simplify]: Simplify 0 into 0 5.211 * [backup-simplify]: Simplify 0 into 0 5.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.212 * [backup-simplify]: Simplify 0 into 0 5.212 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 5.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.216 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.216 * [taylor]: Taking taylor expansion of 0 in a 5.216 * [backup-simplify]: Simplify 0 into 0 5.216 * [backup-simplify]: Simplify 0 into 0 5.216 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 5.216 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.216 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* b b) (* a a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 5.217 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 5.217 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 5.217 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 5.219 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 5.219 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 5.219 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 5.219 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 5.220 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 5.220 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 5.220 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 5.221 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 5.221 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 5.221 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 5.221 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 5.221 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 5.222 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 5.222 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 5.222 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 5.222 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 5.223 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 5.223 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 5.224 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 5.224 * [taylor]: Taking taylor expansion of 0 in a 5.224 * [backup-simplify]: Simplify 0 into 0 5.224 * [backup-simplify]: Simplify 0 into 0 5.224 * [backup-simplify]: Simplify 0 into 0 5.234 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 5.234 * [taylor]: Taking taylor expansion of 0 in a 5.234 * [backup-simplify]: Simplify 0 into 0 5.234 * [backup-simplify]: Simplify 0 into 0 5.234 * [backup-simplify]: Simplify 0 into 0 5.235 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 5.235 * [backup-simplify]: Simplify 0 into 0 5.237 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 5.237 * [taylor]: Taking taylor expansion of 0 in a 5.237 * [backup-simplify]: Simplify 0 into 0 5.237 * [backup-simplify]: Simplify 0 into 0 5.237 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 5.238 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* (/ 1 b) (/ 1 b)) (* (/ 1 a) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.238 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 5.238 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 5.238 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 5.238 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 5.238 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.239 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.239 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 5.239 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 5.239 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 5.240 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.240 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.240 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 5.240 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 5.240 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 5.241 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.241 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.242 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 5.242 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 5.242 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 5.242 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.243 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.243 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.243 * [taylor]: Taking taylor expansion of 0 in a 5.243 * [backup-simplify]: Simplify 0 into 0 5.243 * [backup-simplify]: Simplify 0 into 0 5.243 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.244 * [taylor]: Taking taylor expansion of 0 in a 5.244 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify 0 into 0 5.244 * [backup-simplify]: Simplify 0 into 0 5.245 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.246 * [backup-simplify]: Simplify 0 into 0 5.247 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.247 * [taylor]: Taking taylor expansion of 0 in a 5.247 * [backup-simplify]: Simplify 0 into 0 5.247 * [backup-simplify]: Simplify 0 into 0 5.247 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 5.248 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (* (/ 1 (- b)) (/ 1 (- b))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.248 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 5.248 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 5.248 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 5.248 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 5.248 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.249 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.249 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 5.249 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 5.249 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 5.249 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.250 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.250 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 5.250 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 5.250 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 5.250 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.251 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.251 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 5.251 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 5.251 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 5.252 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.252 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.252 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 5.252 * [taylor]: Taking taylor expansion of 0 in a 5.252 * [backup-simplify]: Simplify 0 into 0 5.252 * [backup-simplify]: Simplify 0 into 0 5.252 * [backup-simplify]: Simplify 0 into 0 5.254 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.254 * [taylor]: Taking taylor expansion of 0 in a 5.254 * [backup-simplify]: Simplify 0 into 0 5.254 * [backup-simplify]: Simplify 0 into 0 5.254 * [backup-simplify]: Simplify 0 into 0 5.255 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.255 * [backup-simplify]: Simplify 0 into 0 5.256 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 5.256 * [taylor]: Taking taylor expansion of 0 in a 5.256 * [backup-simplify]: Simplify 0 into 0 5.256 * [backup-simplify]: Simplify 0 into 0 5.257 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 5.257 * * * [progress]: simplifying candidates 5.258 * [simplify]: Simplifying: (- (+ (log b) (log b)) (+ (log a) (log a))) (- (+ (log b) (log b)) (log (* a a))) (- (log (* b b)) (+ (log a) (log a))) (- (log (* b b)) (log (* a a))) (log (/ (* b b) (* a a))) (exp (/ (* b b) (* a a))) (/ (* (* (* b b) b) (* (* b b) b)) (* (* (* a a) a) (* (* a a) a))) (/ (* (* (* b b) b) (* (* b b) b)) (* (* (* a a) (* a a)) (* a a))) (/ (* (* (* b b) (* b b)) (* b b)) (* (* (* a a) a) (* (* a a) a))) (/ (* (* (* b b) (* b b)) (* b b)) (* (* (* a a) (* a a)) (* a a))) (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a)))) (cbrt (/ (* b b) (* a a))) (* (* (/ (* b b) (* a a)) (/ (* b b) (* a a))) (/ (* b b) (* a a))) (sqrt (/ (* b b) (* a a))) (sqrt (/ (* b b) (* a a))) (- (* b b)) (- (* a a)) (/ b a) (/ b a) (/ 1 (* a a)) (/ (* a a) (* b b)) (/ (* b b) a) (/ (* a a) b) (log (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (exp (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (* (* (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (* (cbrt (fabs (- 1 (/ (* b b) (* a a))))) (cbrt (fabs (- 1 (/ (* b b) (* a a))))))) (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt 1) (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (/ 1 2) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 5.259 * * [simplify]: Extracting # 0 : cost 0 5.260 * * [simplify]: Extracting # 1 : cost 0 5.260 * * [simplify]: Extracting # 2 : cost 0 5.260 * * [simplify]: Extracting # 3 : cost 0 5.260 * * [simplify]: Extracting # 4 : cost 0 5.260 * * [simplify]: Extracting # 5 : cost 0 5.260 * * [simplify]: Extracting # 6 : cost 0 5.260 * * [simplify]: iteration 0 : 65 enodes (cost 498 ) 5.278 * * [simplify]: Extracting # 0 : cost 0 5.278 * * [simplify]: Extracting # 1 : cost 0 5.278 * * [simplify]: Extracting # 2 : cost 0 5.278 * * [simplify]: iteration 1 : 145 enodes (cost 462 ) 5.348 * * [simplify]: Extracting # 0 : cost 0 5.348 * * [simplify]: Extracting # 1 : cost 0 5.349 * * [simplify]: Extracting # 2 : cost 0 5.349 * * [simplify]: Extracting # 3 : cost 0 5.349 * * [simplify]: Extracting # 4 : cost 0 5.350 * * [simplify]: Extracting # 5 : cost 0 5.350 * * [simplify]: iteration 2 : 488 enodes (cost 370 ) 6.102 * * [simplify]: Extracting # 0 : cost 0 6.107 * * [simplify]: Extracting # 1 : cost 0 6.110 * * [simplify]: Extracting # 2 : cost 0 6.113 * * [simplify]: Extracting # 3 : cost 0 6.116 * * [simplify]: Extracting # 4 : cost 0 6.118 * * [simplify]: iteration 3 : 1836 enodes (cost 355 ) 13.929 * * [simplify]: Extracting # 0 : cost 0 13.942 * * [simplify]: Extracting # 1 : cost 0 13.947 * * [simplify]: Extracting # 2 : cost 0 13.952 * * [simplify]: Extracting # 3 : cost 0 13.957 * * [simplify]: Extracting # 4 : cost 0 13.962 * * [simplify]: iteration 4 : 4570 enodes (cost 345 ) 15.264 * * [simplify]: Extracting # 0 : cost 0 15.271 * * [simplify]: Extracting # 1 : cost 0 15.280 * * [simplify]: Extracting # 2 : cost 0 15.286 * * [simplify]: iteration done: 5001 enodes (cost 345 ) 15.287 * [simplify]: Simplified to: (* (log (/ b a)) 2) (* (log (/ b a)) 2) (* (log (/ b a)) 2) (* (log (/ b a)) 2) (* (log (/ b a)) 2) (exp (/ (* b b) (* a a))) (pow (/ b a) 6) (pow (/ b a) 6) (pow (/ b a) 6) (pow (/ b a) 6) (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a)))) (cbrt (/ (* b b) (* a a))) (pow (/ b a) 6) (fabs (/ b a)) (fabs (/ b a)) (- (* b b)) (- (* a a)) (/ b a) (/ b a) (/ 1 (* a a)) (/ (* a a) (* b b)) (* b (/ b a)) (* a (/ a b)) (log (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (exp (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (pow (sqrt (fabs (- 1 (/ (* b b) (* a a))))) 3) (fabs (cbrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1 (sqrt (fabs (- 1 (/ (* b b) (* a a))))) 1/2 (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (/ (* b b) (* a a)) (/ (* b b) (* a a)) (/ (* b b) (* a a)) (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (sqrt (fabs (- 1 (/ (* b b) (* a a))))) 15.287 * * * [progress]: adding candidates to table 15.394 * * [progress]: iteration 2 / 4 15.394 * * * [progress]: picking best candidate 15.399 * * * * [pick]: Picked # 15.399 * * * [progress]: localizing error 15.419 * * * [progress]: generating rewritten candidates 15.419 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 15.425 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2 1) 15.432 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 15.435 * * * [progress]: generating series expansions 15.435 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 15.435 * [backup-simplify]: Simplify (cbrt (pow (/ b a) 6)) into (/ (pow b 2) (pow a 2)) 15.435 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 15.435 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 15.435 * [taylor]: Taking taylor expansion of (pow b 2) in a 15.435 * [taylor]: Taking taylor expansion of b in a 15.435 * [backup-simplify]: Simplify b into b 15.435 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.436 * [taylor]: Taking taylor expansion of a in a 15.436 * [backup-simplify]: Simplify 0 into 0 15.436 * [backup-simplify]: Simplify 1 into 1 15.436 * [backup-simplify]: Simplify (* b b) into (pow b 2) 15.436 * [backup-simplify]: Simplify (* 1 1) into 1 15.436 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 15.436 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 15.436 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.436 * [taylor]: Taking taylor expansion of b in b 15.436 * [backup-simplify]: Simplify 0 into 0 15.436 * [backup-simplify]: Simplify 1 into 1 15.436 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.436 * [taylor]: Taking taylor expansion of a in b 15.436 * [backup-simplify]: Simplify a into a 15.437 * [backup-simplify]: Simplify (* 1 1) into 1 15.437 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.437 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 15.437 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 15.437 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.437 * [taylor]: Taking taylor expansion of b in b 15.437 * [backup-simplify]: Simplify 0 into 0 15.437 * [backup-simplify]: Simplify 1 into 1 15.437 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.437 * [taylor]: Taking taylor expansion of a in b 15.437 * [backup-simplify]: Simplify a into a 15.437 * [backup-simplify]: Simplify (* 1 1) into 1 15.437 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.437 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 15.437 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 15.437 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.437 * [taylor]: Taking taylor expansion of a in a 15.437 * [backup-simplify]: Simplify 0 into 0 15.437 * [backup-simplify]: Simplify 1 into 1 15.438 * [backup-simplify]: Simplify (* 1 1) into 1 15.438 * [backup-simplify]: Simplify (/ 1 1) into 1 15.438 * [backup-simplify]: Simplify 1 into 1 15.444 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.444 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 15.444 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 15.445 * [taylor]: Taking taylor expansion of 0 in a 15.445 * [backup-simplify]: Simplify 0 into 0 15.445 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.446 * [backup-simplify]: Simplify 0 into 0 15.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.447 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 15.448 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 15.448 * [taylor]: Taking taylor expansion of 0 in a 15.448 * [backup-simplify]: Simplify 0 into 0 15.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.449 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.449 * [backup-simplify]: Simplify 0 into 0 15.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.451 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 15.452 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 15.452 * [taylor]: Taking taylor expansion of 0 in a 15.452 * [backup-simplify]: Simplify 0 into 0 15.452 * [backup-simplify]: Simplify 0 into 0 15.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.453 * [backup-simplify]: Simplify 0 into 0 15.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.455 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 15.456 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 15.456 * [taylor]: Taking taylor expansion of 0 in a 15.456 * [backup-simplify]: Simplify 0 into 0 15.456 * [backup-simplify]: Simplify 0 into 0 15.456 * [backup-simplify]: Simplify 0 into 0 15.456 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 15.457 * [backup-simplify]: Simplify (cbrt (pow (/ (/ 1 b) (/ 1 a)) 6)) into (/ (pow a 2) (pow b 2)) 15.457 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 15.457 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 15.457 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.457 * [taylor]: Taking taylor expansion of a in a 15.457 * [backup-simplify]: Simplify 0 into 0 15.457 * [backup-simplify]: Simplify 1 into 1 15.457 * [taylor]: Taking taylor expansion of (pow b 2) in a 15.457 * [taylor]: Taking taylor expansion of b in a 15.457 * [backup-simplify]: Simplify b into b 15.457 * [backup-simplify]: Simplify (* 1 1) into 1 15.457 * [backup-simplify]: Simplify (* b b) into (pow b 2) 15.457 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 15.457 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 15.458 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.458 * [taylor]: Taking taylor expansion of a in b 15.458 * [backup-simplify]: Simplify a into a 15.458 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.458 * [taylor]: Taking taylor expansion of b in b 15.458 * [backup-simplify]: Simplify 0 into 0 15.458 * [backup-simplify]: Simplify 1 into 1 15.458 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.458 * [backup-simplify]: Simplify (* 1 1) into 1 15.458 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 15.458 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 15.458 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.458 * [taylor]: Taking taylor expansion of a in b 15.458 * [backup-simplify]: Simplify a into a 15.458 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.458 * [taylor]: Taking taylor expansion of b in b 15.458 * [backup-simplify]: Simplify 0 into 0 15.458 * [backup-simplify]: Simplify 1 into 1 15.458 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.459 * [backup-simplify]: Simplify (* 1 1) into 1 15.459 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 15.459 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.459 * [taylor]: Taking taylor expansion of a in a 15.459 * [backup-simplify]: Simplify 0 into 0 15.459 * [backup-simplify]: Simplify 1 into 1 15.459 * [backup-simplify]: Simplify (* 1 1) into 1 15.459 * [backup-simplify]: Simplify 1 into 1 15.460 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 15.460 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 15.461 * [taylor]: Taking taylor expansion of 0 in a 15.461 * [backup-simplify]: Simplify 0 into 0 15.461 * [backup-simplify]: Simplify 0 into 0 15.462 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.462 * [backup-simplify]: Simplify 0 into 0 15.462 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 15.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.464 * [taylor]: Taking taylor expansion of 0 in a 15.464 * [backup-simplify]: Simplify 0 into 0 15.464 * [backup-simplify]: Simplify 0 into 0 15.464 * [backup-simplify]: Simplify 0 into 0 15.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.465 * [backup-simplify]: Simplify 0 into 0 15.466 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 15.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.468 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.468 * [taylor]: Taking taylor expansion of 0 in a 15.469 * [backup-simplify]: Simplify 0 into 0 15.469 * [backup-simplify]: Simplify 0 into 0 15.469 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 15.469 * [backup-simplify]: Simplify (cbrt (pow (/ (/ 1 (- b)) (/ 1 (- a))) 6)) into (/ (pow a 2) (pow b 2)) 15.469 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 15.469 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 15.469 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.469 * [taylor]: Taking taylor expansion of a in a 15.469 * [backup-simplify]: Simplify 0 into 0 15.469 * [backup-simplify]: Simplify 1 into 1 15.469 * [taylor]: Taking taylor expansion of (pow b 2) in a 15.469 * [taylor]: Taking taylor expansion of b in a 15.470 * [backup-simplify]: Simplify b into b 15.470 * [backup-simplify]: Simplify (* 1 1) into 1 15.470 * [backup-simplify]: Simplify (* b b) into (pow b 2) 15.470 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 15.470 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 15.470 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.470 * [taylor]: Taking taylor expansion of a in b 15.470 * [backup-simplify]: Simplify a into a 15.470 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.470 * [taylor]: Taking taylor expansion of b in b 15.470 * [backup-simplify]: Simplify 0 into 0 15.470 * [backup-simplify]: Simplify 1 into 1 15.470 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.471 * [backup-simplify]: Simplify (* 1 1) into 1 15.471 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 15.471 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 15.471 * [taylor]: Taking taylor expansion of (pow a 2) in b 15.471 * [taylor]: Taking taylor expansion of a in b 15.471 * [backup-simplify]: Simplify a into a 15.471 * [taylor]: Taking taylor expansion of (pow b 2) in b 15.471 * [taylor]: Taking taylor expansion of b in b 15.471 * [backup-simplify]: Simplify 0 into 0 15.471 * [backup-simplify]: Simplify 1 into 1 15.471 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.472 * [backup-simplify]: Simplify (* 1 1) into 1 15.472 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 15.472 * [taylor]: Taking taylor expansion of (pow a 2) in a 15.472 * [taylor]: Taking taylor expansion of a in a 15.472 * [backup-simplify]: Simplify 0 into 0 15.472 * [backup-simplify]: Simplify 1 into 1 15.473 * [backup-simplify]: Simplify (* 1 1) into 1 15.473 * [backup-simplify]: Simplify 1 into 1 15.473 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 15.473 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 15.474 * [taylor]: Taking taylor expansion of 0 in a 15.474 * [backup-simplify]: Simplify 0 into 0 15.474 * [backup-simplify]: Simplify 0 into 0 15.475 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.475 * [backup-simplify]: Simplify 0 into 0 15.476 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 15.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.478 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.478 * [taylor]: Taking taylor expansion of 0 in a 15.478 * [backup-simplify]: Simplify 0 into 0 15.478 * [backup-simplify]: Simplify 0 into 0 15.478 * [backup-simplify]: Simplify 0 into 0 15.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.479 * [backup-simplify]: Simplify 0 into 0 15.480 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 15.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.483 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.483 * [taylor]: Taking taylor expansion of 0 in a 15.483 * [backup-simplify]: Simplify 0 into 0 15.483 * [backup-simplify]: Simplify 0 into 0 15.483 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 15.483 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2 1) 15.484 * [backup-simplify]: Simplify (pow (/ b a) 6) into (pow (/ b a) 6) 15.484 * [approximate]: Taking taylor expansion of (pow (/ b a) 6) in (b a) around 0 15.484 * [taylor]: Taking taylor expansion of (pow (/ b a) 6) in a 15.484 * [taylor]: Taking taylor expansion of (/ b a) in a 15.484 * [taylor]: Taking taylor expansion of b in a 15.484 * [backup-simplify]: Simplify b into b 15.484 * [taylor]: Taking taylor expansion of a in a 15.484 * [backup-simplify]: Simplify 0 into 0 15.484 * [backup-simplify]: Simplify 1 into 1 15.484 * [backup-simplify]: Simplify (/ b 1) into b 15.484 * [taylor]: Taking taylor expansion of (pow (/ b a) 6) in b 15.484 * [taylor]: Taking taylor expansion of (/ b a) in b 15.484 * [taylor]: Taking taylor expansion of b in b 15.484 * [backup-simplify]: Simplify 0 into 0 15.484 * [backup-simplify]: Simplify 1 into 1 15.484 * [taylor]: Taking taylor expansion of a in b 15.484 * [backup-simplify]: Simplify a into a 15.484 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 15.484 * [taylor]: Taking taylor expansion of (pow (/ b a) 6) in b 15.484 * [taylor]: Taking taylor expansion of (/ b a) in b 15.484 * [taylor]: Taking taylor expansion of b in b 15.484 * [backup-simplify]: Simplify 0 into 0 15.484 * [backup-simplify]: Simplify 1 into 1 15.484 * [taylor]: Taking taylor expansion of a in b 15.484 * [backup-simplify]: Simplify a into a 15.484 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 15.485 * [backup-simplify]: Simplify (* (/ 1 a) (/ 1 a)) into (/ 1 (pow a 2)) 15.485 * [backup-simplify]: Simplify (* (/ 1 a) (/ 1 (pow a 2))) into (/ 1 (pow a 3)) 15.486 * [backup-simplify]: Simplify (* (/ 1 (pow a 3)) (/ 1 (pow a 3))) into (/ 1 (pow a 6)) 15.486 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 15.486 * [taylor]: Taking taylor expansion of (pow a 6) in a 15.486 * [taylor]: Taking taylor expansion of a in a 15.486 * [backup-simplify]: Simplify 0 into 0 15.486 * [backup-simplify]: Simplify 1 into 1 15.486 * [backup-simplify]: Simplify (* 1 1) into 1 15.487 * [backup-simplify]: Simplify (* 1 1) into 1 15.487 * [backup-simplify]: Simplify (* 1 1) into 1 15.487 * [backup-simplify]: Simplify (/ 1 1) into 1 15.487 * [backup-simplify]: Simplify 1 into 1 15.488 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0 15.488 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (* 0 (/ 1 a))) into 0 15.488 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (* 0 (/ 1 (pow a 2)))) into 0 15.488 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (* 0 (/ 1 (pow a 3)))) into 0 15.488 * [taylor]: Taking taylor expansion of 0 in a 15.488 * [backup-simplify]: Simplify 0 into 0 15.489 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.490 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.490 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.491 * [backup-simplify]: Simplify 0 into 0 15.491 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 15.492 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0 15.493 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2))))) into 0 15.493 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (+ (* 0 0) (* 0 (/ 1 (pow a 3))))) into 0 15.493 * [taylor]: Taking taylor expansion of 0 in a 15.493 * [backup-simplify]: Simplify 0 into 0 15.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.497 * [backup-simplify]: Simplify 0 into 0 15.497 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 15.498 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0 15.499 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2)))))) into 0 15.500 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 3)))))) into 0 15.500 * [taylor]: Taking taylor expansion of 0 in a 15.500 * [backup-simplify]: Simplify 0 into 0 15.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 15.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.502 * [backup-simplify]: Simplify 0 into 0 15.502 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 15.503 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a)))))) into 0 15.504 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2))))))) into 0 15.505 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 3))))))) into 0 15.505 * [taylor]: Taking taylor expansion of 0 in a 15.505 * [backup-simplify]: Simplify 0 into 0 15.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 15.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.507 * [backup-simplify]: Simplify 0 into 0 15.507 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 15.508 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))))) into 0 15.509 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2)))))))) into 0 15.510 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 3)))))))) into 0 15.511 * [taylor]: Taking taylor expansion of 0 in a 15.511 * [backup-simplify]: Simplify 0 into 0 15.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 15.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.513 * [backup-simplify]: Simplify 0 into 0 15.513 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 15.515 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a)))))))) into 0 15.516 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2))))))))) into 0 15.517 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 3))))))))) into 0 15.517 * [taylor]: Taking taylor expansion of 0 in a 15.517 * [backup-simplify]: Simplify 0 into 0 15.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 15.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.521 * [backup-simplify]: Simplify 0 into 0 15.521 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 6)) into (/ (pow b 6) (pow a 6)) 15.521 * [backup-simplify]: Simplify (pow (/ (/ 1 b) (/ 1 a)) 6) into (pow (/ a b) 6) 15.521 * [approximate]: Taking taylor expansion of (pow (/ a b) 6) in (b a) around 0 15.521 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in a 15.521 * [taylor]: Taking taylor expansion of (/ a b) in a 15.521 * [taylor]: Taking taylor expansion of a in a 15.521 * [backup-simplify]: Simplify 0 into 0 15.521 * [backup-simplify]: Simplify 1 into 1 15.521 * [taylor]: Taking taylor expansion of b in a 15.521 * [backup-simplify]: Simplify b into b 15.521 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 15.521 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in b 15.521 * [taylor]: Taking taylor expansion of (/ a b) in b 15.521 * [taylor]: Taking taylor expansion of a in b 15.521 * [backup-simplify]: Simplify a into a 15.521 * [taylor]: Taking taylor expansion of b in b 15.521 * [backup-simplify]: Simplify 0 into 0 15.521 * [backup-simplify]: Simplify 1 into 1 15.521 * [backup-simplify]: Simplify (/ a 1) into a 15.522 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in b 15.522 * [taylor]: Taking taylor expansion of (/ a b) in b 15.522 * [taylor]: Taking taylor expansion of a in b 15.522 * [backup-simplify]: Simplify a into a 15.522 * [taylor]: Taking taylor expansion of b in b 15.522 * [backup-simplify]: Simplify 0 into 0 15.522 * [backup-simplify]: Simplify 1 into 1 15.522 * [backup-simplify]: Simplify (/ a 1) into a 15.522 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.522 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3) 15.522 * [backup-simplify]: Simplify (* (pow a 3) (pow a 3)) into (pow a 6) 15.522 * [taylor]: Taking taylor expansion of (pow a 6) in a 15.522 * [taylor]: Taking taylor expansion of a in a 15.522 * [backup-simplify]: Simplify 0 into 0 15.522 * [backup-simplify]: Simplify 1 into 1 15.522 * [backup-simplify]: Simplify (* 1 1) into 1 15.522 * [backup-simplify]: Simplify (* 1 1) into 1 15.523 * [backup-simplify]: Simplify (* 1 1) into 1 15.523 * [backup-simplify]: Simplify 1 into 1 15.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0 15.523 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 15.524 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (pow a 2))) into 0 15.524 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (* 0 (pow a 3))) into 0 15.524 * [taylor]: Taking taylor expansion of 0 in a 15.524 * [backup-simplify]: Simplify 0 into 0 15.524 * [backup-simplify]: Simplify 0 into 0 15.524 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.525 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.525 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.525 * [backup-simplify]: Simplify 0 into 0 15.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.526 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 15.527 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 (pow a 2)))) into 0 15.527 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (+ (* 0 0) (* 0 (pow a 3)))) into 0 15.527 * [taylor]: Taking taylor expansion of 0 in a 15.527 * [backup-simplify]: Simplify 0 into 0 15.527 * [backup-simplify]: Simplify 0 into 0 15.527 * [backup-simplify]: Simplify 0 into 0 15.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.529 * [backup-simplify]: Simplify 0 into 0 15.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.530 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 15.531 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2))))) into 0 15.531 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 3))))) into 0 15.531 * [taylor]: Taking taylor expansion of 0 in a 15.531 * [backup-simplify]: Simplify 0 into 0 15.531 * [backup-simplify]: Simplify 0 into 0 15.532 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 6)) into (/ (pow b 6) (pow a 6)) 15.532 * [backup-simplify]: Simplify (pow (/ (/ 1 (- b)) (/ 1 (- a))) 6) into (pow (/ a b) 6) 15.532 * [approximate]: Taking taylor expansion of (pow (/ a b) 6) in (b a) around 0 15.532 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in a 15.532 * [taylor]: Taking taylor expansion of (/ a b) in a 15.532 * [taylor]: Taking taylor expansion of a in a 15.532 * [backup-simplify]: Simplify 0 into 0 15.532 * [backup-simplify]: Simplify 1 into 1 15.532 * [taylor]: Taking taylor expansion of b in a 15.532 * [backup-simplify]: Simplify b into b 15.532 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 15.532 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in b 15.532 * [taylor]: Taking taylor expansion of (/ a b) in b 15.532 * [taylor]: Taking taylor expansion of a in b 15.532 * [backup-simplify]: Simplify a into a 15.532 * [taylor]: Taking taylor expansion of b in b 15.532 * [backup-simplify]: Simplify 0 into 0 15.532 * [backup-simplify]: Simplify 1 into 1 15.532 * [backup-simplify]: Simplify (/ a 1) into a 15.532 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in b 15.532 * [taylor]: Taking taylor expansion of (/ a b) in b 15.532 * [taylor]: Taking taylor expansion of a in b 15.532 * [backup-simplify]: Simplify a into a 15.532 * [taylor]: Taking taylor expansion of b in b 15.532 * [backup-simplify]: Simplify 0 into 0 15.532 * [backup-simplify]: Simplify 1 into 1 15.532 * [backup-simplify]: Simplify (/ a 1) into a 15.532 * [backup-simplify]: Simplify (* a a) into (pow a 2) 15.532 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3) 15.533 * [backup-simplify]: Simplify (* (pow a 3) (pow a 3)) into (pow a 6) 15.533 * [taylor]: Taking taylor expansion of (pow a 6) in a 15.533 * [taylor]: Taking taylor expansion of a in a 15.533 * [backup-simplify]: Simplify 0 into 0 15.533 * [backup-simplify]: Simplify 1 into 1 15.533 * [backup-simplify]: Simplify (* 1 1) into 1 15.533 * [backup-simplify]: Simplify (* 1 1) into 1 15.533 * [backup-simplify]: Simplify (* 1 1) into 1 15.533 * [backup-simplify]: Simplify 1 into 1 15.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0 15.534 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 15.534 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (pow a 2))) into 0 15.534 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (* 0 (pow a 3))) into 0 15.534 * [taylor]: Taking taylor expansion of 0 in a 15.534 * [backup-simplify]: Simplify 0 into 0 15.534 * [backup-simplify]: Simplify 0 into 0 15.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.536 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.536 * [backup-simplify]: Simplify 0 into 0 15.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.537 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 15.537 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 (pow a 2)))) into 0 15.538 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (+ (* 0 0) (* 0 (pow a 3)))) into 0 15.538 * [taylor]: Taking taylor expansion of 0 in a 15.538 * [backup-simplify]: Simplify 0 into 0 15.538 * [backup-simplify]: Simplify 0 into 0 15.538 * [backup-simplify]: Simplify 0 into 0 15.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.539 * [backup-simplify]: Simplify 0 into 0 15.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.542 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 15.543 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2))))) into 0 15.544 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 3))))) into 0 15.544 * [taylor]: Taking taylor expansion of 0 in a 15.544 * [backup-simplify]: Simplify 0 into 0 15.544 * [backup-simplify]: Simplify 0 into 0 15.544 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 6)) into (/ (pow b 6) (pow a 6)) 15.544 * * * * [progress]: [ 3 / 3 ] generating series at (2) 15.544 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.545 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 15.545 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 15.545 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 15.545 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 15.546 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.546 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.546 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 15.546 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 15.546 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 15.547 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.547 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.547 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 15.547 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 15.548 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 15.548 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.548 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.548 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 15.548 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 15.549 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 15.549 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.550 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.550 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.550 * [taylor]: Taking taylor expansion of 0 in a 15.550 * [backup-simplify]: Simplify 0 into 0 15.550 * [backup-simplify]: Simplify 0 into 0 15.550 * [backup-simplify]: Simplify 0 into 0 15.551 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.551 * [taylor]: Taking taylor expansion of 0 in a 15.551 * [backup-simplify]: Simplify 0 into 0 15.551 * [backup-simplify]: Simplify 0 into 0 15.551 * [backup-simplify]: Simplify 0 into 0 15.552 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.553 * [backup-simplify]: Simplify 0 into 0 15.554 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 15.554 * [taylor]: Taking taylor expansion of 0 in a 15.554 * [backup-simplify]: Simplify 0 into 0 15.554 * [backup-simplify]: Simplify 0 into 0 15.554 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.555 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (cbrt (pow (/ (/ 1 b) (/ 1 a)) 6))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.555 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 15.555 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 15.555 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 15.555 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.555 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.556 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.556 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 15.556 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 15.556 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.557 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.557 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.557 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 15.557 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 15.557 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.558 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.558 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.558 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 15.558 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 15.559 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.559 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.559 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.560 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.560 * [taylor]: Taking taylor expansion of 0 in a 15.560 * [backup-simplify]: Simplify 0 into 0 15.560 * [backup-simplify]: Simplify 0 into 0 15.560 * [backup-simplify]: Simplify 0 into 0 15.561 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.561 * [taylor]: Taking taylor expansion of 0 in a 15.561 * [backup-simplify]: Simplify 0 into 0 15.561 * [backup-simplify]: Simplify 0 into 0 15.561 * [backup-simplify]: Simplify 0 into 0 15.562 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.562 * [backup-simplify]: Simplify 0 into 0 15.564 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.564 * [taylor]: Taking taylor expansion of 0 in a 15.564 * [backup-simplify]: Simplify 0 into 0 15.564 * [backup-simplify]: Simplify 0 into 0 15.564 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.564 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (cbrt (pow (/ (/ 1 (- b)) (/ 1 (- a))) 6))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.564 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 15.565 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 15.565 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 15.565 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.565 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.566 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.566 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 15.566 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 15.566 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.566 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.567 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.567 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 15.567 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 15.567 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.567 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.568 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.568 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 15.568 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 15.568 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 15.569 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.569 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.569 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 15.569 * [taylor]: Taking taylor expansion of 0 in a 15.569 * [backup-simplify]: Simplify 0 into 0 15.569 * [backup-simplify]: Simplify 0 into 0 15.570 * [backup-simplify]: Simplify 0 into 0 15.575 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.575 * [taylor]: Taking taylor expansion of 0 in a 15.575 * [backup-simplify]: Simplify 0 into 0 15.575 * [backup-simplify]: Simplify 0 into 0 15.575 * [backup-simplify]: Simplify 0 into 0 15.577 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.577 * [backup-simplify]: Simplify 0 into 0 15.578 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 15.578 * [taylor]: Taking taylor expansion of 0 in a 15.578 * [backup-simplify]: Simplify 0 into 0 15.578 * [backup-simplify]: Simplify 0 into 0 15.578 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.579 * * * [progress]: simplifying candidates 15.581 * [simplify]: Simplifying: (log (cbrt (pow (/ b a) 6))) (exp (cbrt (pow (/ b a) 6))) (cbrt (pow (* (cbrt (/ b a)) (cbrt (/ b a))) 6)) (cbrt (pow (cbrt (/ b a)) 6)) (cbrt (pow (sqrt (/ b a)) 6)) (cbrt (pow (sqrt (/ b a)) 6)) (cbrt (pow (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) 6)) (cbrt (pow (/ (cbrt b) (cbrt a)) 6)) (cbrt (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 6)) (cbrt (pow (/ (cbrt b) (sqrt a)) 6)) (cbrt (pow (/ (* (cbrt b) (cbrt b)) 1) 6)) (cbrt (pow (/ (cbrt b) a) 6)) (cbrt (pow (/ (sqrt b) (* (cbrt a) (cbrt a))) 6)) (cbrt (pow (/ (sqrt b) (cbrt a)) 6)) (cbrt (pow (/ (sqrt b) (sqrt a)) 6)) (cbrt (pow (/ (sqrt b) (sqrt a)) 6)) (cbrt (pow (/ (sqrt b) 1) 6)) (cbrt (pow (/ (sqrt b) a) 6)) (cbrt (pow (/ 1 (* (cbrt a) (cbrt a))) 6)) (cbrt (pow (/ b (cbrt a)) 6)) (cbrt (pow (/ 1 (sqrt a)) 6)) (cbrt (pow (/ b (sqrt a)) 6)) (cbrt (pow (/ 1 1) 6)) (cbrt (pow (/ b a) 6)) (cbrt (pow 1 6)) (cbrt (pow (/ b a) 6)) (cbrt (pow b 6)) (cbrt (pow (/ 1 a) 6)) (cbrt (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6)))) (cbrt (cbrt (pow (/ b a) 6))) (cbrt (sqrt (pow (/ b a) 6))) (cbrt (sqrt (pow (/ b a) 6))) (cbrt 1) (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) (/ 6 2))) (cbrt (pow (/ b a) (/ 6 2))) (* (cbrt (cbrt (pow (/ b a) 6))) (cbrt (cbrt (pow (/ b a) 6)))) (cbrt (cbrt (pow (/ b a) 6))) (* (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6))) (cbrt (pow (/ b a) 6))) (sqrt (cbrt (pow (/ b a) 6))) (sqrt (cbrt (pow (/ b a) 6))) (* (- (log b) (log a)) 6) (* (log (/ b a)) 6) (* (log (/ b a)) 6) (* 1 6) (pow (/ b a) (* (cbrt 6) (cbrt 6))) (pow (/ b a) (sqrt 6)) (pow (/ b a) 1) (pow (* (cbrt (/ b a)) (cbrt (/ b a))) 6) (pow (cbrt (/ b a)) 6) (pow (sqrt (/ b a)) 6) (pow (sqrt (/ b a)) 6) (pow (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) 6) (pow (/ (cbrt b) (cbrt a)) 6) (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 6) (pow (/ (cbrt b) (sqrt a)) 6) (pow (/ (* (cbrt b) (cbrt b)) 1) 6) (pow (/ (cbrt b) a) 6) (pow (/ (sqrt b) (* (cbrt a) (cbrt a))) 6) (pow (/ (sqrt b) (cbrt a)) 6) (pow (/ (sqrt b) (sqrt a)) 6) (pow (/ (sqrt b) (sqrt a)) 6) (pow (/ (sqrt b) 1) 6) (pow (/ (sqrt b) a) 6) (pow (/ 1 (* (cbrt a) (cbrt a))) 6) (pow (/ b (cbrt a)) 6) (pow (/ 1 (sqrt a)) 6) (pow (/ b (sqrt a)) 6) (pow (/ 1 1) 6) (pow (/ b a) 6) (pow 1 6) (pow (/ b a) 6) (pow b 6) (pow (/ 1 a) 6) (log (pow (/ b a) 6)) (exp (pow (/ b a) 6)) (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6))) (cbrt (pow (/ b a) 6)) (* (* (pow (/ b a) 6) (pow (/ b a) 6)) (pow (/ b a) 6)) (sqrt (pow (/ b a) 6)) (sqrt (pow (/ b a) 6)) (pow (/ b a) (/ 6 2)) (pow (/ b a) (/ 6 2)) (log (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (exp (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (* (cbrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (cbrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))))) (cbrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (* (* (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))) (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (* (cbrt (fabs (- 1 (cbrt (pow (/ b a) 6))))) (cbrt (fabs (- 1 (cbrt (pow (/ b a) 6))))))) (sqrt (cbrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt 1) (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))) (/ 1 2) (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 6) (pow a 6)) (/ (pow b 6) (pow a 6)) (/ (pow b 6) (pow a 6)) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 15.584 * * [simplify]: Extracting # 0 : cost 0 15.584 * * [simplify]: Extracting # 1 : cost 0 15.584 * * [simplify]: Extracting # 2 : cost 0 15.585 * * [simplify]: Extracting # 3 : cost 0 15.585 * * [simplify]: Extracting # 4 : cost 0 15.585 * * [simplify]: Extracting # 5 : cost 0 15.586 * * [simplify]: Extracting # 6 : cost 0 15.586 * * [simplify]: Extracting # 7 : cost 0 15.586 * * [simplify]: iteration 0 : 133 enodes (cost 880 ) 15.643 * * [simplify]: Extracting # 0 : cost 0 15.644 * * [simplify]: Extracting # 1 : cost 0 15.644 * * [simplify]: Extracting # 2 : cost 0 15.645 * * [simplify]: Extracting # 3 : cost 0 15.645 * * [simplify]: Extracting # 4 : cost 0 15.646 * * [simplify]: iteration 1 : 227 enodes (cost 812 ) 15.745 * * [simplify]: Extracting # 0 : cost 0 15.746 * * [simplify]: Extracting # 1 : cost 0 15.746 * * [simplify]: Extracting # 2 : cost 0 15.747 * * [simplify]: Extracting # 3 : cost 0 15.747 * * [simplify]: Extracting # 4 : cost 0 15.748 * * [simplify]: iteration 2 : 497 enodes (cost 760 ) 15.983 * * [simplify]: Extracting # 0 : cost 0 15.988 * * [simplify]: Extracting # 1 : cost 0 15.993 * * [simplify]: Extracting # 2 : cost 0 15.997 * * [simplify]: Extracting # 3 : cost 0 16.001 * * [simplify]: Extracting # 4 : cost 0 16.006 * * [simplify]: iteration 3 : 1824 enodes (cost 715 ) 17.036 * * [simplify]: Extracting # 0 : cost 0 17.046 * * [simplify]: Extracting # 1 : cost 0 17.058 * * [simplify]: Extracting # 2 : cost 0 17.076 * * [simplify]: Extracting # 3 : cost 0 17.087 * * [simplify]: Extracting # 4 : cost 0 17.098 * * [simplify]: iteration done: 5001 enodes (cost 702 ) 17.099 * [simplify]: Simplified to: (log (cbrt (pow (/ b a) 6))) (exp (cbrt (pow (/ b a) 6))) (cbrt (pow (cbrt (/ b a)) 12)) (cbrt (pow (/ b a) 2)) (/ b a) (/ b a) (cbrt (pow (cbrt (/ b a)) 12)) (cbrt (pow (/ b a) 2)) (cbrt (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 6)) (cbrt (pow (/ (cbrt b) (sqrt a)) 6)) (cbrt (* b (pow b 3))) (cbrt (pow (/ (cbrt b) a) 6)) (cbrt (/ (pow (/ b a) 3) a)) (cbrt (pow (/ (sqrt b) (cbrt a)) 6)) (cbrt (pow (/ (sqrt b) (sqrt a)) 6)) (cbrt (pow (/ (sqrt b) (sqrt a)) 6)) b (cbrt (pow (/ (sqrt b) a) 6)) (cbrt (pow (/ 1 a) (+ 3 1))) (cbrt (pow (/ b (cbrt a)) 6)) (cbrt (pow (/ 1 (sqrt a)) 6)) (cbrt (pow (/ b (sqrt a)) 6)) 1 (cbrt (pow (/ b a) 6)) 1 (cbrt (pow (/ b a) 6)) (cbrt (pow b 6)) (cbrt (pow (/ 1 a) 6)) (cbrt (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6)))) (cbrt (cbrt (pow (/ b a) 6))) (cbrt (sqrt (pow (/ b a) 6))) (cbrt (sqrt (pow (/ b a) 6))) 1 (cbrt (pow (/ b a) 6)) (/ b a) (/ b a) (* (cbrt (cbrt (pow (/ b a) 6))) (cbrt (cbrt (pow (/ b a) 6)))) (cbrt (cbrt (pow (/ b a) 6))) (pow (/ b a) 6) (sqrt (cbrt (pow (/ b a) 6))) (sqrt (cbrt (pow (/ b a) 6))) (log (pow (/ b a) 6)) (log (pow (/ b a) 6)) (log (pow (/ b a) 6)) 6 (pow (/ b a) (* (cbrt 6) (cbrt 6))) (pow (/ b a) (sqrt 6)) (/ b a) (pow (cbrt (/ b a)) 12) (pow (/ b a) 2) (pow (/ b a) 3) (pow (/ b a) 3) (pow (cbrt (/ b a)) 12) (pow (/ b a) 2) (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 6) (pow (/ (cbrt b) (sqrt a)) 6) (* b (pow b 3)) (pow (/ (cbrt b) a) 6) (/ (pow (/ b a) 3) a) (pow (/ (sqrt b) (cbrt a)) 6) (pow (/ (sqrt b) (sqrt a)) 6) (pow (/ (sqrt b) (sqrt a)) 6) (pow b 3) (pow (/ (sqrt b) a) 6) (pow (/ 1 a) (+ 3 1)) (pow (/ b (cbrt a)) 6) (pow (/ 1 (sqrt a)) 6) (pow (/ b (sqrt a)) 6) 1 (pow (/ b a) 6) 1 (pow (/ b a) 6) (pow b 6) (pow (/ 1 a) 6) (log (pow (/ b a) 6)) (exp (pow (/ b a) 6)) (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6))) (cbrt (pow (/ b a) 6)) (pow (pow (/ b a) 6) 3) (sqrt (pow (/ b a) 6)) (sqrt (pow (/ b a) 6)) (pow (/ b a) 3) (pow (/ b a) 3) (log (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (exp (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (* (cbrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (cbrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))))) (cbrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (pow (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))) 3) (fabs (cbrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (cbrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) 1 (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))) 1/2 (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 6) (pow (/ b a) 6) (pow (/ b a) 6) (sqrt (fabs (- 1 (pow (/ b a) 2)))) (sqrt (fabs (- 1 (pow (/ b a) 2)))) (sqrt (fabs (- 1 (pow (/ b a) 2)))) 17.100 * * * [progress]: adding candidates to table 17.430 * * [progress]: iteration 3 / 4 17.430 * * * [progress]: picking best candidate 17.436 * * * * [pick]: Picked # 17.437 * * * [progress]: localizing error 17.450 * * * [progress]: generating rewritten candidates 17.450 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 17.462 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 17.488 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1) 17.495 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 17.500 * * * [progress]: generating series expansions 17.500 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 17.501 * [backup-simplify]: Simplify (cbrt (pow (/ b a) 6)) into (/ (pow b 2) (pow a 2)) 17.501 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 17.501 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 17.501 * [taylor]: Taking taylor expansion of (pow b 2) in a 17.501 * [taylor]: Taking taylor expansion of b in a 17.501 * [backup-simplify]: Simplify b into b 17.501 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.501 * [taylor]: Taking taylor expansion of a in a 17.501 * [backup-simplify]: Simplify 0 into 0 17.501 * [backup-simplify]: Simplify 1 into 1 17.501 * [backup-simplify]: Simplify (* b b) into (pow b 2) 17.501 * [backup-simplify]: Simplify (* 1 1) into 1 17.501 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 17.501 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 17.501 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.501 * [taylor]: Taking taylor expansion of b in b 17.502 * [backup-simplify]: Simplify 0 into 0 17.502 * [backup-simplify]: Simplify 1 into 1 17.502 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.502 * [taylor]: Taking taylor expansion of a in b 17.502 * [backup-simplify]: Simplify a into a 17.502 * [backup-simplify]: Simplify (* 1 1) into 1 17.502 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.502 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 17.502 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 17.502 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.502 * [taylor]: Taking taylor expansion of b in b 17.502 * [backup-simplify]: Simplify 0 into 0 17.502 * [backup-simplify]: Simplify 1 into 1 17.502 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.502 * [taylor]: Taking taylor expansion of a in b 17.502 * [backup-simplify]: Simplify a into a 17.502 * [backup-simplify]: Simplify (* 1 1) into 1 17.502 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.503 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 17.503 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 17.503 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.503 * [taylor]: Taking taylor expansion of a in a 17.503 * [backup-simplify]: Simplify 0 into 0 17.503 * [backup-simplify]: Simplify 1 into 1 17.503 * [backup-simplify]: Simplify (* 1 1) into 1 17.503 * [backup-simplify]: Simplify (/ 1 1) into 1 17.503 * [backup-simplify]: Simplify 1 into 1 17.504 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.504 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 17.504 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 17.504 * [taylor]: Taking taylor expansion of 0 in a 17.504 * [backup-simplify]: Simplify 0 into 0 17.504 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.505 * [backup-simplify]: Simplify 0 into 0 17.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.506 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 17.506 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 17.506 * [taylor]: Taking taylor expansion of 0 in a 17.506 * [backup-simplify]: Simplify 0 into 0 17.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.507 * [backup-simplify]: Simplify 0 into 0 17.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.508 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 17.509 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 17.509 * [taylor]: Taking taylor expansion of 0 in a 17.509 * [backup-simplify]: Simplify 0 into 0 17.509 * [backup-simplify]: Simplify 0 into 0 17.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.510 * [backup-simplify]: Simplify 0 into 0 17.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.511 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 17.512 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 17.512 * [taylor]: Taking taylor expansion of 0 in a 17.512 * [backup-simplify]: Simplify 0 into 0 17.512 * [backup-simplify]: Simplify 0 into 0 17.512 * [backup-simplify]: Simplify 0 into 0 17.512 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 17.512 * [backup-simplify]: Simplify (cbrt (pow (/ (/ 1 b) (/ 1 a)) 6)) into (/ (pow a 2) (pow b 2)) 17.512 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 17.512 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 17.512 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.512 * [taylor]: Taking taylor expansion of a in a 17.512 * [backup-simplify]: Simplify 0 into 0 17.512 * [backup-simplify]: Simplify 1 into 1 17.512 * [taylor]: Taking taylor expansion of (pow b 2) in a 17.513 * [taylor]: Taking taylor expansion of b in a 17.513 * [backup-simplify]: Simplify b into b 17.513 * [backup-simplify]: Simplify (* 1 1) into 1 17.513 * [backup-simplify]: Simplify (* b b) into (pow b 2) 17.513 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 17.513 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 17.513 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.513 * [taylor]: Taking taylor expansion of a in b 17.513 * [backup-simplify]: Simplify a into a 17.513 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.513 * [taylor]: Taking taylor expansion of b in b 17.513 * [backup-simplify]: Simplify 0 into 0 17.513 * [backup-simplify]: Simplify 1 into 1 17.513 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.513 * [backup-simplify]: Simplify (* 1 1) into 1 17.513 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 17.513 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 17.514 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.514 * [taylor]: Taking taylor expansion of a in b 17.514 * [backup-simplify]: Simplify a into a 17.514 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.514 * [taylor]: Taking taylor expansion of b in b 17.514 * [backup-simplify]: Simplify 0 into 0 17.514 * [backup-simplify]: Simplify 1 into 1 17.514 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.514 * [backup-simplify]: Simplify (* 1 1) into 1 17.514 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 17.514 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.514 * [taylor]: Taking taylor expansion of a in a 17.514 * [backup-simplify]: Simplify 0 into 0 17.514 * [backup-simplify]: Simplify 1 into 1 17.514 * [backup-simplify]: Simplify (* 1 1) into 1 17.514 * [backup-simplify]: Simplify 1 into 1 17.514 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 17.515 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 17.515 * [taylor]: Taking taylor expansion of 0 in a 17.515 * [backup-simplify]: Simplify 0 into 0 17.516 * [backup-simplify]: Simplify 0 into 0 17.516 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.516 * [backup-simplify]: Simplify 0 into 0 17.517 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 17.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.519 * [taylor]: Taking taylor expansion of 0 in a 17.519 * [backup-simplify]: Simplify 0 into 0 17.519 * [backup-simplify]: Simplify 0 into 0 17.519 * [backup-simplify]: Simplify 0 into 0 17.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.520 * [backup-simplify]: Simplify 0 into 0 17.521 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 17.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.533 * [taylor]: Taking taylor expansion of 0 in a 17.533 * [backup-simplify]: Simplify 0 into 0 17.533 * [backup-simplify]: Simplify 0 into 0 17.533 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 17.534 * [backup-simplify]: Simplify (cbrt (pow (/ (/ 1 (- b)) (/ 1 (- a))) 6)) into (/ (pow a 2) (pow b 2)) 17.534 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 17.534 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 17.534 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.534 * [taylor]: Taking taylor expansion of a in a 17.534 * [backup-simplify]: Simplify 0 into 0 17.534 * [backup-simplify]: Simplify 1 into 1 17.534 * [taylor]: Taking taylor expansion of (pow b 2) in a 17.534 * [taylor]: Taking taylor expansion of b in a 17.534 * [backup-simplify]: Simplify b into b 17.535 * [backup-simplify]: Simplify (* 1 1) into 1 17.535 * [backup-simplify]: Simplify (* b b) into (pow b 2) 17.535 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 17.535 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 17.535 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.535 * [taylor]: Taking taylor expansion of a in b 17.535 * [backup-simplify]: Simplify a into a 17.535 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.535 * [taylor]: Taking taylor expansion of b in b 17.535 * [backup-simplify]: Simplify 0 into 0 17.535 * [backup-simplify]: Simplify 1 into 1 17.535 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.536 * [backup-simplify]: Simplify (* 1 1) into 1 17.536 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 17.536 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 17.536 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.536 * [taylor]: Taking taylor expansion of a in b 17.536 * [backup-simplify]: Simplify a into a 17.536 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.536 * [taylor]: Taking taylor expansion of b in b 17.536 * [backup-simplify]: Simplify 0 into 0 17.536 * [backup-simplify]: Simplify 1 into 1 17.536 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.537 * [backup-simplify]: Simplify (* 1 1) into 1 17.537 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 17.537 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.537 * [taylor]: Taking taylor expansion of a in a 17.537 * [backup-simplify]: Simplify 0 into 0 17.538 * [backup-simplify]: Simplify 1 into 1 17.538 * [backup-simplify]: Simplify (* 1 1) into 1 17.538 * [backup-simplify]: Simplify 1 into 1 17.538 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 17.539 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.540 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 17.540 * [taylor]: Taking taylor expansion of 0 in a 17.540 * [backup-simplify]: Simplify 0 into 0 17.540 * [backup-simplify]: Simplify 0 into 0 17.540 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.540 * [backup-simplify]: Simplify 0 into 0 17.541 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 17.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.542 * [taylor]: Taking taylor expansion of 0 in a 17.542 * [backup-simplify]: Simplify 0 into 0 17.542 * [backup-simplify]: Simplify 0 into 0 17.542 * [backup-simplify]: Simplify 0 into 0 17.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.543 * [backup-simplify]: Simplify 0 into 0 17.543 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 17.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.545 * [taylor]: Taking taylor expansion of 0 in a 17.545 * [backup-simplify]: Simplify 0 into 0 17.545 * [backup-simplify]: Simplify 0 into 0 17.545 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 17.545 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 17.545 * [backup-simplify]: Simplify (log (exp (cbrt (pow (/ b a) 6)))) into (/ (pow b 2) (pow a 2)) 17.545 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 17.545 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 17.545 * [taylor]: Taking taylor expansion of (pow b 2) in a 17.546 * [taylor]: Taking taylor expansion of b in a 17.546 * [backup-simplify]: Simplify b into b 17.546 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.546 * [taylor]: Taking taylor expansion of a in a 17.546 * [backup-simplify]: Simplify 0 into 0 17.546 * [backup-simplify]: Simplify 1 into 1 17.546 * [backup-simplify]: Simplify (* b b) into (pow b 2) 17.546 * [backup-simplify]: Simplify (* 1 1) into 1 17.546 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 17.546 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 17.546 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.546 * [taylor]: Taking taylor expansion of b in b 17.546 * [backup-simplify]: Simplify 0 into 0 17.546 * [backup-simplify]: Simplify 1 into 1 17.546 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.546 * [taylor]: Taking taylor expansion of a in b 17.546 * [backup-simplify]: Simplify a into a 17.546 * [backup-simplify]: Simplify (* 1 1) into 1 17.547 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.547 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 17.547 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 17.547 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.547 * [taylor]: Taking taylor expansion of b in b 17.547 * [backup-simplify]: Simplify 0 into 0 17.547 * [backup-simplify]: Simplify 1 into 1 17.547 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.547 * [taylor]: Taking taylor expansion of a in b 17.547 * [backup-simplify]: Simplify a into a 17.547 * [backup-simplify]: Simplify (* 1 1) into 1 17.547 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.547 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 17.547 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 17.547 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.547 * [taylor]: Taking taylor expansion of a in a 17.547 * [backup-simplify]: Simplify 0 into 0 17.547 * [backup-simplify]: Simplify 1 into 1 17.548 * [backup-simplify]: Simplify (* 1 1) into 1 17.548 * [backup-simplify]: Simplify (/ 1 1) into 1 17.548 * [backup-simplify]: Simplify 1 into 1 17.548 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.548 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 17.549 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 17.549 * [taylor]: Taking taylor expansion of 0 in a 17.549 * [backup-simplify]: Simplify 0 into 0 17.549 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.550 * [backup-simplify]: Simplify 0 into 0 17.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.550 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 17.551 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 17.551 * [taylor]: Taking taylor expansion of 0 in a 17.551 * [backup-simplify]: Simplify 0 into 0 17.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.552 * [backup-simplify]: Simplify 0 into 0 17.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.553 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 17.553 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 17.553 * [taylor]: Taking taylor expansion of 0 in a 17.553 * [backup-simplify]: Simplify 0 into 0 17.553 * [backup-simplify]: Simplify 0 into 0 17.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.555 * [backup-simplify]: Simplify 0 into 0 17.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.556 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 17.556 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 17.556 * [taylor]: Taking taylor expansion of 0 in a 17.556 * [backup-simplify]: Simplify 0 into 0 17.556 * [backup-simplify]: Simplify 0 into 0 17.557 * [backup-simplify]: Simplify 0 into 0 17.557 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 17.557 * [backup-simplify]: Simplify (log (exp (cbrt (pow (/ (/ 1 b) (/ 1 a)) 6)))) into (/ (pow a 2) (pow b 2)) 17.557 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 17.557 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 17.557 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.557 * [taylor]: Taking taylor expansion of a in a 17.557 * [backup-simplify]: Simplify 0 into 0 17.557 * [backup-simplify]: Simplify 1 into 1 17.557 * [taylor]: Taking taylor expansion of (pow b 2) in a 17.557 * [taylor]: Taking taylor expansion of b in a 17.557 * [backup-simplify]: Simplify b into b 17.557 * [backup-simplify]: Simplify (* 1 1) into 1 17.557 * [backup-simplify]: Simplify (* b b) into (pow b 2) 17.557 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 17.557 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 17.557 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.558 * [taylor]: Taking taylor expansion of a in b 17.558 * [backup-simplify]: Simplify a into a 17.558 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.558 * [taylor]: Taking taylor expansion of b in b 17.558 * [backup-simplify]: Simplify 0 into 0 17.558 * [backup-simplify]: Simplify 1 into 1 17.558 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.558 * [backup-simplify]: Simplify (* 1 1) into 1 17.558 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 17.558 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 17.558 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.558 * [taylor]: Taking taylor expansion of a in b 17.558 * [backup-simplify]: Simplify a into a 17.558 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.558 * [taylor]: Taking taylor expansion of b in b 17.558 * [backup-simplify]: Simplify 0 into 0 17.558 * [backup-simplify]: Simplify 1 into 1 17.558 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.558 * [backup-simplify]: Simplify (* 1 1) into 1 17.558 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 17.559 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.559 * [taylor]: Taking taylor expansion of a in a 17.559 * [backup-simplify]: Simplify 0 into 0 17.559 * [backup-simplify]: Simplify 1 into 1 17.559 * [backup-simplify]: Simplify (* 1 1) into 1 17.559 * [backup-simplify]: Simplify 1 into 1 17.559 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 17.559 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.560 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 17.560 * [taylor]: Taking taylor expansion of 0 in a 17.560 * [backup-simplify]: Simplify 0 into 0 17.560 * [backup-simplify]: Simplify 0 into 0 17.560 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.560 * [backup-simplify]: Simplify 0 into 0 17.561 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 17.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.562 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.562 * [taylor]: Taking taylor expansion of 0 in a 17.562 * [backup-simplify]: Simplify 0 into 0 17.562 * [backup-simplify]: Simplify 0 into 0 17.562 * [backup-simplify]: Simplify 0 into 0 17.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.563 * [backup-simplify]: Simplify 0 into 0 17.563 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 17.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.565 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.565 * [taylor]: Taking taylor expansion of 0 in a 17.565 * [backup-simplify]: Simplify 0 into 0 17.565 * [backup-simplify]: Simplify 0 into 0 17.565 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 17.565 * [backup-simplify]: Simplify (log (exp (cbrt (pow (/ (/ 1 (- b)) (/ 1 (- a))) 6)))) into (/ (pow a 2) (pow b 2)) 17.565 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 17.565 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 17.565 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.565 * [taylor]: Taking taylor expansion of a in a 17.565 * [backup-simplify]: Simplify 0 into 0 17.565 * [backup-simplify]: Simplify 1 into 1 17.565 * [taylor]: Taking taylor expansion of (pow b 2) in a 17.566 * [taylor]: Taking taylor expansion of b in a 17.566 * [backup-simplify]: Simplify b into b 17.566 * [backup-simplify]: Simplify (* 1 1) into 1 17.566 * [backup-simplify]: Simplify (* b b) into (pow b 2) 17.566 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 17.566 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 17.566 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.566 * [taylor]: Taking taylor expansion of a in b 17.566 * [backup-simplify]: Simplify a into a 17.566 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.566 * [taylor]: Taking taylor expansion of b in b 17.566 * [backup-simplify]: Simplify 0 into 0 17.566 * [backup-simplify]: Simplify 1 into 1 17.566 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.566 * [backup-simplify]: Simplify (* 1 1) into 1 17.567 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 17.567 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 17.567 * [taylor]: Taking taylor expansion of (pow a 2) in b 17.567 * [taylor]: Taking taylor expansion of a in b 17.567 * [backup-simplify]: Simplify a into a 17.567 * [taylor]: Taking taylor expansion of (pow b 2) in b 17.567 * [taylor]: Taking taylor expansion of b in b 17.567 * [backup-simplify]: Simplify 0 into 0 17.567 * [backup-simplify]: Simplify 1 into 1 17.567 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.567 * [backup-simplify]: Simplify (* 1 1) into 1 17.567 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 17.567 * [taylor]: Taking taylor expansion of (pow a 2) in a 17.567 * [taylor]: Taking taylor expansion of a in a 17.567 * [backup-simplify]: Simplify 0 into 0 17.567 * [backup-simplify]: Simplify 1 into 1 17.568 * [backup-simplify]: Simplify (* 1 1) into 1 17.568 * [backup-simplify]: Simplify 1 into 1 17.568 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 17.568 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 17.569 * [taylor]: Taking taylor expansion of 0 in a 17.569 * [backup-simplify]: Simplify 0 into 0 17.570 * [backup-simplify]: Simplify 0 into 0 17.570 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.570 * [backup-simplify]: Simplify 0 into 0 17.571 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 17.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.573 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.573 * [taylor]: Taking taylor expansion of 0 in a 17.573 * [backup-simplify]: Simplify 0 into 0 17.573 * [backup-simplify]: Simplify 0 into 0 17.573 * [backup-simplify]: Simplify 0 into 0 17.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.574 * [backup-simplify]: Simplify 0 into 0 17.575 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 17.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.578 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.578 * [taylor]: Taking taylor expansion of 0 in a 17.578 * [backup-simplify]: Simplify 0 into 0 17.578 * [backup-simplify]: Simplify 0 into 0 17.578 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 17.578 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1) 17.579 * [backup-simplify]: Simplify (pow (/ b a) 6) into (pow (/ b a) 6) 17.579 * [approximate]: Taking taylor expansion of (pow (/ b a) 6) in (b a) around 0 17.579 * [taylor]: Taking taylor expansion of (pow (/ b a) 6) in a 17.579 * [taylor]: Taking taylor expansion of (/ b a) in a 17.579 * [taylor]: Taking taylor expansion of b in a 17.579 * [backup-simplify]: Simplify b into b 17.579 * [taylor]: Taking taylor expansion of a in a 17.579 * [backup-simplify]: Simplify 0 into 0 17.579 * [backup-simplify]: Simplify 1 into 1 17.579 * [backup-simplify]: Simplify (/ b 1) into b 17.579 * [taylor]: Taking taylor expansion of (pow (/ b a) 6) in b 17.579 * [taylor]: Taking taylor expansion of (/ b a) in b 17.579 * [taylor]: Taking taylor expansion of b in b 17.579 * [backup-simplify]: Simplify 0 into 0 17.579 * [backup-simplify]: Simplify 1 into 1 17.579 * [taylor]: Taking taylor expansion of a in b 17.579 * [backup-simplify]: Simplify a into a 17.579 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 17.579 * [taylor]: Taking taylor expansion of (pow (/ b a) 6) in b 17.579 * [taylor]: Taking taylor expansion of (/ b a) in b 17.579 * [taylor]: Taking taylor expansion of b in b 17.579 * [backup-simplify]: Simplify 0 into 0 17.579 * [backup-simplify]: Simplify 1 into 1 17.579 * [taylor]: Taking taylor expansion of a in b 17.579 * [backup-simplify]: Simplify a into a 17.579 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 17.580 * [backup-simplify]: Simplify (* (/ 1 a) (/ 1 a)) into (/ 1 (pow a 2)) 17.580 * [backup-simplify]: Simplify (* (/ 1 a) (/ 1 (pow a 2))) into (/ 1 (pow a 3)) 17.580 * [backup-simplify]: Simplify (* (/ 1 (pow a 3)) (/ 1 (pow a 3))) into (/ 1 (pow a 6)) 17.580 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 17.580 * [taylor]: Taking taylor expansion of (pow a 6) in a 17.580 * [taylor]: Taking taylor expansion of a in a 17.580 * [backup-simplify]: Simplify 0 into 0 17.580 * [backup-simplify]: Simplify 1 into 1 17.581 * [backup-simplify]: Simplify (* 1 1) into 1 17.581 * [backup-simplify]: Simplify (* 1 1) into 1 17.581 * [backup-simplify]: Simplify (* 1 1) into 1 17.582 * [backup-simplify]: Simplify (/ 1 1) into 1 17.582 * [backup-simplify]: Simplify 1 into 1 17.582 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)))) into 0 17.582 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (* 0 (/ 1 a))) into 0 17.583 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (* 0 (/ 1 (pow a 2)))) into 0 17.583 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (* 0 (/ 1 (pow a 3)))) into 0 17.583 * [taylor]: Taking taylor expansion of 0 in a 17.583 * [backup-simplify]: Simplify 0 into 0 17.584 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.584 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.585 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.586 * [backup-simplify]: Simplify 0 into 0 17.586 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0 17.587 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0 17.587 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2))))) into 0 17.588 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (+ (* 0 0) (* 0 (/ 1 (pow a 3))))) into 0 17.588 * [taylor]: Taking taylor expansion of 0 in a 17.588 * [backup-simplify]: Simplify 0 into 0 17.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.592 * [backup-simplify]: Simplify 0 into 0 17.592 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 17.592 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0 17.593 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2)))))) into 0 17.594 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 3)))))) into 0 17.594 * [taylor]: Taking taylor expansion of 0 in a 17.594 * [backup-simplify]: Simplify 0 into 0 17.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.596 * [backup-simplify]: Simplify 0 into 0 17.596 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 17.597 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a)))))) into 0 17.598 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2))))))) into 0 17.599 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 3))))))) into 0 17.599 * [taylor]: Taking taylor expansion of 0 in a 17.599 * [backup-simplify]: Simplify 0 into 0 17.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 17.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.601 * [backup-simplify]: Simplify 0 into 0 17.602 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 17.603 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))))) into 0 17.604 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2)))))))) into 0 17.605 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 3)))))))) into 0 17.605 * [taylor]: Taking taylor expansion of 0 in a 17.605 * [backup-simplify]: Simplify 0 into 0 17.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 17.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.608 * [backup-simplify]: Simplify 0 into 0 17.608 * [backup-simplify]: Simplify (- (/ 0 a) (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0 17.609 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a)))))))) into 0 17.610 * [backup-simplify]: Simplify (+ (* (/ 1 a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2))))))))) into 0 17.612 * [backup-simplify]: Simplify (+ (* (/ 1 (pow a 3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 3))))))))) into 0 17.612 * [taylor]: Taking taylor expansion of 0 in a 17.612 * [backup-simplify]: Simplify 0 into 0 17.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 17.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.615 * [backup-simplify]: Simplify 0 into 0 17.615 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 6)) into (/ (pow b 6) (pow a 6)) 17.615 * [backup-simplify]: Simplify (pow (/ (/ 1 b) (/ 1 a)) 6) into (pow (/ a b) 6) 17.615 * [approximate]: Taking taylor expansion of (pow (/ a b) 6) in (b a) around 0 17.615 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in a 17.615 * [taylor]: Taking taylor expansion of (/ a b) in a 17.615 * [taylor]: Taking taylor expansion of a in a 17.615 * [backup-simplify]: Simplify 0 into 0 17.615 * [backup-simplify]: Simplify 1 into 1 17.615 * [taylor]: Taking taylor expansion of b in a 17.615 * [backup-simplify]: Simplify b into b 17.615 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 17.615 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in b 17.615 * [taylor]: Taking taylor expansion of (/ a b) in b 17.615 * [taylor]: Taking taylor expansion of a in b 17.615 * [backup-simplify]: Simplify a into a 17.615 * [taylor]: Taking taylor expansion of b in b 17.615 * [backup-simplify]: Simplify 0 into 0 17.615 * [backup-simplify]: Simplify 1 into 1 17.615 * [backup-simplify]: Simplify (/ a 1) into a 17.615 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in b 17.615 * [taylor]: Taking taylor expansion of (/ a b) in b 17.615 * [taylor]: Taking taylor expansion of a in b 17.615 * [backup-simplify]: Simplify a into a 17.615 * [taylor]: Taking taylor expansion of b in b 17.615 * [backup-simplify]: Simplify 0 into 0 17.615 * [backup-simplify]: Simplify 1 into 1 17.615 * [backup-simplify]: Simplify (/ a 1) into a 17.615 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.616 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3) 17.616 * [backup-simplify]: Simplify (* (pow a 3) (pow a 3)) into (pow a 6) 17.616 * [taylor]: Taking taylor expansion of (pow a 6) in a 17.616 * [taylor]: Taking taylor expansion of a in a 17.616 * [backup-simplify]: Simplify 0 into 0 17.616 * [backup-simplify]: Simplify 1 into 1 17.616 * [backup-simplify]: Simplify (* 1 1) into 1 17.616 * [backup-simplify]: Simplify (* 1 1) into 1 17.616 * [backup-simplify]: Simplify (* 1 1) into 1 17.616 * [backup-simplify]: Simplify 1 into 1 17.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0 17.617 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 17.617 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (pow a 2))) into 0 17.617 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (* 0 (pow a 3))) into 0 17.617 * [taylor]: Taking taylor expansion of 0 in a 17.617 * [backup-simplify]: Simplify 0 into 0 17.617 * [backup-simplify]: Simplify 0 into 0 17.618 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.618 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.618 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.619 * [backup-simplify]: Simplify 0 into 0 17.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.620 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 17.620 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 (pow a 2)))) into 0 17.621 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (+ (* 0 0) (* 0 (pow a 3)))) into 0 17.621 * [taylor]: Taking taylor expansion of 0 in a 17.621 * [backup-simplify]: Simplify 0 into 0 17.621 * [backup-simplify]: Simplify 0 into 0 17.621 * [backup-simplify]: Simplify 0 into 0 17.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.624 * [backup-simplify]: Simplify 0 into 0 17.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.627 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 17.627 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2))))) into 0 17.628 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 3))))) into 0 17.628 * [taylor]: Taking taylor expansion of 0 in a 17.629 * [backup-simplify]: Simplify 0 into 0 17.629 * [backup-simplify]: Simplify 0 into 0 17.629 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 6)) into (/ (pow b 6) (pow a 6)) 17.629 * [backup-simplify]: Simplify (pow (/ (/ 1 (- b)) (/ 1 (- a))) 6) into (pow (/ a b) 6) 17.629 * [approximate]: Taking taylor expansion of (pow (/ a b) 6) in (b a) around 0 17.629 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in a 17.629 * [taylor]: Taking taylor expansion of (/ a b) in a 17.629 * [taylor]: Taking taylor expansion of a in a 17.629 * [backup-simplify]: Simplify 0 into 0 17.629 * [backup-simplify]: Simplify 1 into 1 17.629 * [taylor]: Taking taylor expansion of b in a 17.629 * [backup-simplify]: Simplify b into b 17.629 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 17.629 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in b 17.629 * [taylor]: Taking taylor expansion of (/ a b) in b 17.630 * [taylor]: Taking taylor expansion of a in b 17.630 * [backup-simplify]: Simplify a into a 17.630 * [taylor]: Taking taylor expansion of b in b 17.630 * [backup-simplify]: Simplify 0 into 0 17.630 * [backup-simplify]: Simplify 1 into 1 17.630 * [backup-simplify]: Simplify (/ a 1) into a 17.630 * [taylor]: Taking taylor expansion of (pow (/ a b) 6) in b 17.630 * [taylor]: Taking taylor expansion of (/ a b) in b 17.630 * [taylor]: Taking taylor expansion of a in b 17.630 * [backup-simplify]: Simplify a into a 17.630 * [taylor]: Taking taylor expansion of b in b 17.630 * [backup-simplify]: Simplify 0 into 0 17.630 * [backup-simplify]: Simplify 1 into 1 17.630 * [backup-simplify]: Simplify (/ a 1) into a 17.630 * [backup-simplify]: Simplify (* a a) into (pow a 2) 17.630 * [backup-simplify]: Simplify (* a (pow a 2)) into (pow a 3) 17.630 * [backup-simplify]: Simplify (* (pow a 3) (pow a 3)) into (pow a 6) 17.630 * [taylor]: Taking taylor expansion of (pow a 6) in a 17.631 * [taylor]: Taking taylor expansion of a in a 17.631 * [backup-simplify]: Simplify 0 into 0 17.631 * [backup-simplify]: Simplify 1 into 1 17.631 * [backup-simplify]: Simplify (* 1 1) into 1 17.632 * [backup-simplify]: Simplify (* 1 1) into 1 17.632 * [backup-simplify]: Simplify (* 1 1) into 1 17.632 * [backup-simplify]: Simplify 1 into 1 17.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)))) into 0 17.633 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 17.633 * [backup-simplify]: Simplify (+ (* a 0) (* 0 (pow a 2))) into 0 17.634 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (* 0 (pow a 3))) into 0 17.634 * [taylor]: Taking taylor expansion of 0 in a 17.634 * [backup-simplify]: Simplify 0 into 0 17.634 * [backup-simplify]: Simplify 0 into 0 17.635 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.635 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.636 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 17.636 * [backup-simplify]: Simplify 0 into 0 17.638 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.638 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 17.639 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 (pow a 2)))) into 0 17.640 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (+ (* 0 0) (* 0 (pow a 3)))) into 0 17.640 * [taylor]: Taking taylor expansion of 0 in a 17.640 * [backup-simplify]: Simplify 0 into 0 17.640 * [backup-simplify]: Simplify 0 into 0 17.640 * [backup-simplify]: Simplify 0 into 0 17.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 17.643 * [backup-simplify]: Simplify 0 into 0 17.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* a (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.646 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 17.650 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 2))))) into 0 17.651 * [backup-simplify]: Simplify (+ (* (pow a 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow a 3))))) into 0 17.651 * [taylor]: Taking taylor expansion of 0 in a 17.651 * [backup-simplify]: Simplify 0 into 0 17.651 * [backup-simplify]: Simplify 0 into 0 17.651 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 6)) into (/ (pow b 6) (pow a 6)) 17.651 * * * * [progress]: [ 4 / 4 ] generating series at (2) 17.652 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6))))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 17.652 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 17.652 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 17.652 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 17.652 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 17.652 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 17.652 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 17.652 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 17.652 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 17.653 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 17.653 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 17.653 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 17.653 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 17.653 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 17.653 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 17.653 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 17.654 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 17.654 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 17.654 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 17.654 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 17.654 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 17.654 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 17.654 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 17.654 * [taylor]: Taking taylor expansion of 0 in a 17.655 * [backup-simplify]: Simplify 0 into 0 17.655 * [backup-simplify]: Simplify 0 into 0 17.655 * [backup-simplify]: Simplify 0 into 0 17.655 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 17.655 * [taylor]: Taking taylor expansion of 0 in a 17.655 * [backup-simplify]: Simplify 0 into 0 17.655 * [backup-simplify]: Simplify 0 into 0 17.655 * [backup-simplify]: Simplify 0 into 0 17.656 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 17.656 * [backup-simplify]: Simplify 0 into 0 17.657 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 17.657 * [taylor]: Taking taylor expansion of 0 in a 17.657 * [backup-simplify]: Simplify 0 into 0 17.657 * [backup-simplify]: Simplify 0 into 0 17.657 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 17.657 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ (/ 1 b) (/ 1 a)) 6))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.657 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 17.657 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 17.658 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 17.658 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 17.658 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.658 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.658 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 17.658 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 17.658 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 17.659 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.659 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.659 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 17.659 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 17.659 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 17.659 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.660 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.660 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 17.660 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 17.660 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 17.661 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.661 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.661 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.661 * [taylor]: Taking taylor expansion of 0 in a 17.661 * [backup-simplify]: Simplify 0 into 0 17.661 * [backup-simplify]: Simplify 0 into 0 17.661 * [backup-simplify]: Simplify 0 into 0 17.662 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.662 * [taylor]: Taking taylor expansion of 0 in a 17.662 * [backup-simplify]: Simplify 0 into 0 17.662 * [backup-simplify]: Simplify 0 into 0 17.662 * [backup-simplify]: Simplify 0 into 0 17.663 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.663 * [backup-simplify]: Simplify 0 into 0 17.664 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.664 * [taylor]: Taking taylor expansion of 0 in a 17.664 * [backup-simplify]: Simplify 0 into 0 17.664 * [backup-simplify]: Simplify 0 into 0 17.664 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 17.665 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ (/ 1 (- b)) (/ 1 (- a))) 6))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.665 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 17.665 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 17.665 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 17.665 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 17.665 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.665 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.665 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 17.665 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 17.666 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 17.666 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.666 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.666 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 17.666 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 17.666 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 17.666 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.667 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.667 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 17.667 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 17.667 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 17.667 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.667 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.668 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 17.668 * [taylor]: Taking taylor expansion of 0 in a 17.668 * [backup-simplify]: Simplify 0 into 0 17.668 * [backup-simplify]: Simplify 0 into 0 17.668 * [backup-simplify]: Simplify 0 into 0 17.668 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.668 * [taylor]: Taking taylor expansion of 0 in a 17.668 * [backup-simplify]: Simplify 0 into 0 17.668 * [backup-simplify]: Simplify 0 into 0 17.668 * [backup-simplify]: Simplify 0 into 0 17.669 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.669 * [backup-simplify]: Simplify 0 into 0 17.670 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 17.670 * [taylor]: Taking taylor expansion of 0 in a 17.670 * [backup-simplify]: Simplify 0 into 0 17.670 * [backup-simplify]: Simplify 0 into 0 17.670 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 17.670 * * * [progress]: simplifying candidates 17.672 * [simplify]: Simplifying: (log (cbrt (pow (/ b a) 6))) (exp (cbrt (pow (/ b a) 6))) (cbrt (pow (* (cbrt (/ b a)) (cbrt (/ b a))) 6)) (cbrt (pow (cbrt (/ b a)) 6)) (cbrt (pow (sqrt (/ b a)) 6)) (cbrt (pow (sqrt (/ b a)) 6)) (cbrt (pow (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) 6)) (cbrt (pow (/ (cbrt b) (cbrt a)) 6)) (cbrt (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 6)) (cbrt (pow (/ (cbrt b) (sqrt a)) 6)) (cbrt (pow (/ (* (cbrt b) (cbrt b)) 1) 6)) (cbrt (pow (/ (cbrt b) a) 6)) (cbrt (pow (/ (sqrt b) (* (cbrt a) (cbrt a))) 6)) (cbrt (pow (/ (sqrt b) (cbrt a)) 6)) (cbrt (pow (/ (sqrt b) (sqrt a)) 6)) (cbrt (pow (/ (sqrt b) (sqrt a)) 6)) (cbrt (pow (/ (sqrt b) 1) 6)) (cbrt (pow (/ (sqrt b) a) 6)) (cbrt (pow (/ 1 (* (cbrt a) (cbrt a))) 6)) (cbrt (pow (/ b (cbrt a)) 6)) (cbrt (pow (/ 1 (sqrt a)) 6)) (cbrt (pow (/ b (sqrt a)) 6)) (cbrt (pow (/ 1 1) 6)) (cbrt (pow (/ b a) 6)) (cbrt (pow 1 6)) (cbrt (pow (/ b a) 6)) (cbrt (pow b 6)) (cbrt (pow (/ 1 a) 6)) (cbrt (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6)))) (cbrt (cbrt (pow (/ b a) 6))) (cbrt (sqrt (pow (/ b a) 6))) (cbrt (sqrt (pow (/ b a) 6))) (cbrt 1) (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) (/ 6 2))) (cbrt (pow (/ b a) (/ 6 2))) (* (cbrt (cbrt (pow (/ b a) 6))) (cbrt (cbrt (pow (/ b a) 6)))) (cbrt (cbrt (pow (/ b a) 6))) (* (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6))) (cbrt (pow (/ b a) 6))) (sqrt (cbrt (pow (/ b a) 6))) (sqrt (cbrt (pow (/ b a) 6))) (log (* (cbrt (exp (cbrt (pow (/ b a) 6)))) (cbrt (exp (cbrt (pow (/ b a) 6)))))) (log (cbrt (exp (cbrt (pow (/ b a) 6))))) (log (sqrt (exp (cbrt (pow (/ b a) 6))))) (log (sqrt (exp (cbrt (pow (/ b a) 6))))) (log 1) (log (exp (cbrt (pow (/ b a) 6)))) (log (exp (cbrt (pow (/ b a) 6)))) (log (exp (cbrt (pow (* (cbrt (/ b a)) (cbrt (/ b a))) 6)))) (log (exp (cbrt (pow (sqrt (/ b a)) 6)))) (log (exp (cbrt (pow (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) 6)))) (log (exp (cbrt (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 6)))) (log (exp (cbrt (pow (/ (* (cbrt b) (cbrt b)) 1) 6)))) (log (exp (cbrt (pow (/ (sqrt b) (* (cbrt a) (cbrt a))) 6)))) (log (exp (cbrt (pow (/ (sqrt b) (sqrt a)) 6)))) (log (exp (cbrt (pow (/ (sqrt b) 1) 6)))) (log (exp (cbrt (pow (/ 1 (* (cbrt a) (cbrt a))) 6)))) (log (exp (cbrt (pow (/ 1 (sqrt a)) 6)))) (log (exp (cbrt (pow (/ 1 1) 6)))) (log (exp (cbrt (pow 1 6)))) (log (exp (cbrt (pow b 6)))) (log (exp (cbrt (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6)))))) (log (exp (cbrt (sqrt (pow (/ b a) 6))))) (log (exp (cbrt 1))) (log (exp (cbrt (pow (/ b a) (/ 6 2))))) (log (exp (* (cbrt (cbrt (pow (/ b a) 6))) (cbrt (cbrt (pow (/ b a) 6)))))) (log (exp (sqrt (cbrt (pow (/ b a) 6))))) (log (exp 1)) (log (log (exp (cbrt (pow (/ b a) 6))))) (exp (log (exp (cbrt (pow (/ b a) 6))))) (* (cbrt (log (exp (cbrt (pow (/ b a) 6))))) (cbrt (log (exp (cbrt (pow (/ b a) 6)))))) (cbrt (log (exp (cbrt (pow (/ b a) 6))))) (* (* (log (exp (cbrt (pow (/ b a) 6)))) (log (exp (cbrt (pow (/ b a) 6))))) (log (exp (cbrt (pow (/ b a) 6))))) (sqrt (log (exp (cbrt (pow (/ b a) 6))))) (sqrt (log (exp (cbrt (pow (/ b a) 6))))) (* (- (log b) (log a)) 6) (* (log (/ b a)) 6) (* (log (/ b a)) 6) (* 1 6) (pow (/ b a) (* (cbrt 6) (cbrt 6))) (pow (/ b a) (sqrt 6)) (pow (/ b a) 1) (pow (* (cbrt (/ b a)) (cbrt (/ b a))) 6) (pow (cbrt (/ b a)) 6) (pow (sqrt (/ b a)) 6) (pow (sqrt (/ b a)) 6) (pow (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) 6) (pow (/ (cbrt b) (cbrt a)) 6) (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 6) (pow (/ (cbrt b) (sqrt a)) 6) (pow (/ (* (cbrt b) (cbrt b)) 1) 6) (pow (/ (cbrt b) a) 6) (pow (/ (sqrt b) (* (cbrt a) (cbrt a))) 6) (pow (/ (sqrt b) (cbrt a)) 6) (pow (/ (sqrt b) (sqrt a)) 6) (pow (/ (sqrt b) (sqrt a)) 6) (pow (/ (sqrt b) 1) 6) (pow (/ (sqrt b) a) 6) (pow (/ 1 (* (cbrt a) (cbrt a))) 6) (pow (/ b (cbrt a)) 6) (pow (/ 1 (sqrt a)) 6) (pow (/ b (sqrt a)) 6) (pow (/ 1 1) 6) (pow (/ b a) 6) (pow 1 6) (pow (/ b a) 6) (pow b 6) (pow (/ 1 a) 6) (log (pow (/ b a) 6)) (exp (pow (/ b a) 6)) (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6))) (cbrt (pow (/ b a) 6)) (* (* (pow (/ b a) 6) (pow (/ b a) 6)) (pow (/ b a) 6)) (sqrt (pow (/ b a) 6)) (sqrt (pow (/ b a) 6)) (pow (/ b a) (/ 6 2)) (pow (/ b a) (/ 6 2)) (log (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) (exp (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) (* (cbrt (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) (cbrt (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6))))))))) (cbrt (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) (* (* (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6))))))) (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) (sqrt (* (cbrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6))))))) (cbrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6))))))))) (sqrt (cbrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) (sqrt (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) (sqrt (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) (sqrt 1) (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6))))))) (/ 1 2) (sqrt (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) (sqrt (sqrt (fabs (- 1 (log (exp (cbrt (pow (/ b a) 6)))))))) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 6) (pow a 6)) (/ (pow b 6) (pow a 6)) (/ (pow b 6) (pow a 6)) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 17.674 * * [simplify]: Extracting # 0 : cost 0 17.674 * * [simplify]: Extracting # 1 : cost 0 17.674 * * [simplify]: Extracting # 2 : cost 0 17.675 * * [simplify]: Extracting # 3 : cost 0 17.675 * * [simplify]: Extracting # 4 : cost 0 17.675 * * [simplify]: Extracting # 5 : cost 0 17.675 * * [simplify]: Extracting # 6 : cost 0 17.675 * * [simplify]: Extracting # 7 : cost 0 17.676 * * [simplify]: iteration 0 : 188 enodes (cost 1291 ) 17.726 * * [simplify]: Extracting # 0 : cost 0 17.727 * * [simplify]: Extracting # 1 : cost 0 17.727 * * [simplify]: Extracting # 2 : cost 0 17.727 * * [simplify]: Extracting # 3 : cost 0 17.728 * * [simplify]: Extracting # 4 : cost 0 17.728 * * [simplify]: iteration 1 : 286 enodes (cost 1111 ) 17.800 * * [simplify]: Extracting # 0 : cost 0 17.801 * * [simplify]: Extracting # 1 : cost 0 17.802 * * [simplify]: Extracting # 2 : cost 0 17.804 * * [simplify]: Extracting # 3 : cost 0 17.805 * * [simplify]: Extracting # 4 : cost 0 17.806 * * [simplify]: iteration 2 : 562 enodes (cost 1030 ) 18.218 * * [simplify]: Extracting # 0 : cost 0 18.231 * * [simplify]: Extracting # 1 : cost 0 18.236 * * [simplify]: Extracting # 2 : cost 0 18.241 * * [simplify]: Extracting # 3 : cost 0 18.245 * * [simplify]: Extracting # 4 : cost 0 18.249 * * [simplify]: iteration 3 : 1932 enodes (cost 964 ) 19.125 * * [simplify]: Extracting # 0 : cost 0 19.136 * * [simplify]: Extracting # 1 : cost 0 19.149 * * [simplify]: Extracting # 2 : cost 0 19.161 * * [simplify]: Extracting # 3 : cost 0 19.173 * * [simplify]: Extracting # 4 : cost 0 19.191 * * [simplify]: iteration done: 5001 enodes (cost 943 ) 19.192 * [simplify]: Simplified to: (log (cbrt (pow (/ b a) 6))) (exp (cbrt (pow (/ b a) 6))) (cbrt (pow (cbrt (/ b a)) 12)) (cbrt (pow (/ b a) 2)) (/ b a) (/ b a) (cbrt (pow (cbrt (/ b a)) 12)) (cbrt (pow (/ b a) 2)) (cbrt (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 6)) (cbrt (pow (/ (cbrt b) (sqrt a)) 6)) (cbrt (* (pow b 3) b)) (cbrt (pow (/ (cbrt b) a) 6)) (cbrt (/ (pow (/ b a) 3) a)) (cbrt (pow (/ (sqrt b) (cbrt a)) 6)) (cbrt (pow (/ (sqrt b) (sqrt a)) 6)) (cbrt (pow (/ (sqrt b) (sqrt a)) 6)) b (cbrt (pow (/ (sqrt b) a) 6)) (cbrt (pow (/ 1 a) (+ 3 1))) (cbrt (pow (/ b (cbrt a)) 6)) (cbrt (pow (/ 1 (sqrt a)) 6)) (cbrt (pow (/ b (sqrt a)) 6)) 1 (cbrt (pow (/ b a) 6)) 1 (cbrt (pow (/ b a) 6)) (cbrt (pow b 6)) (cbrt (pow (/ 1 a) 6)) (cbrt (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6)))) (cbrt (cbrt (pow (/ b a) 6))) (cbrt (sqrt (pow (/ b a) 6))) (cbrt (sqrt (pow (/ b a) 6))) 1 (cbrt (pow (/ b a) 6)) (/ b a) (/ b a) (* (cbrt (cbrt (pow (/ b a) 6))) (cbrt (cbrt (pow (/ b a) 6)))) (cbrt (cbrt (pow (/ b a) 6))) (pow (/ b a) 6) (sqrt (cbrt (pow (/ b a) 6))) (sqrt (cbrt (pow (/ b a) 6))) (* 2 (log (cbrt (exp (cbrt (pow (/ b a) 6)))))) (log (cbrt (exp (cbrt (pow (/ b a) 6))))) (log (sqrt (exp (cbrt (pow (/ b a) 6))))) (log (sqrt (exp (cbrt (pow (/ b a) 6))))) 0 (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6)) (cbrt (pow (cbrt (/ b a)) 12)) (/ b a) (cbrt (pow (cbrt (/ b a)) 12)) (cbrt (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 6)) (cbrt (* (pow b 3) b)) (cbrt (/ (pow (/ b a) 3) a)) (cbrt (pow (/ (sqrt b) (sqrt a)) 6)) b (cbrt (pow (/ 1 a) (+ 3 1))) (cbrt (pow (/ 1 (sqrt a)) 6)) 1 1 (cbrt (pow b 6)) (cbrt (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6)))) (cbrt (sqrt (pow (/ b a) 6))) 1 (/ b a) (* (cbrt (cbrt (pow (/ b a) 6))) (cbrt (cbrt (pow (/ b a) 6)))) (sqrt (cbrt (pow (/ b a) 6))) 1 (log (cbrt (pow (/ b a) 6))) (exp (cbrt (pow (/ b a) 6))) (* (cbrt (cbrt (pow (/ b a) 6))) (cbrt (cbrt (pow (/ b a) 6)))) (cbrt (cbrt (pow (/ b a) 6))) (pow (/ b a) 6) (sqrt (cbrt (pow (/ b a) 6))) (sqrt (cbrt (pow (/ b a) 6))) (log (pow (/ b a) 6)) (log (pow (/ b a) 6)) (log (pow (/ b a) 6)) 6 (pow (/ b a) (* (cbrt 6) (cbrt 6))) (pow (/ b a) (sqrt 6)) (/ b a) (pow (cbrt (/ b a)) 12) (pow (/ b a) 2) (pow (/ b a) 3) (pow (/ b a) 3) (pow (cbrt (/ b a)) 12) (pow (/ b a) 2) (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 6) (pow (/ (cbrt b) (sqrt a)) 6) (* (pow b 3) b) (pow (/ (cbrt b) a) 6) (/ (pow (/ b a) 3) a) (pow (/ (sqrt b) (cbrt a)) 6) (pow (/ (sqrt b) (sqrt a)) 6) (pow (/ (sqrt b) (sqrt a)) 6) (pow b 3) (pow (/ (sqrt b) a) 6) (pow (/ 1 a) (+ 3 1)) (pow (/ b (cbrt a)) 6) (pow (/ 1 (sqrt a)) 6) (pow (/ b (sqrt a)) 6) 1 (pow (/ b a) 6) 1 (pow (/ b a) 6) (pow b 6) (pow (/ 1 a) 6) (log (pow (/ b a) 6)) (exp (pow (/ b a) 6)) (* (cbrt (pow (/ b a) 6)) (cbrt (pow (/ b a) 6))) (cbrt (pow (/ b a) 6)) (pow (pow (/ b a) 6) 3) (sqrt (pow (/ b a) 6)) (sqrt (pow (/ b a) 6)) (pow (/ b a) 3) (pow (/ b a) 3) (log (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (exp (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (* (cbrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (cbrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))))) (cbrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (pow (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))) 3) (fabs (cbrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (cbrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) 1 (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6))))) 1/2 (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (sqrt (sqrt (fabs (- 1 (cbrt (pow (/ b a) 6)))))) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 6) (pow (/ b a) 6) (pow (/ b a) 6) (sqrt (fabs (- 1 (pow (/ b a) 2)))) (sqrt (fabs (- 1 (pow (/ b a) 2)))) (sqrt (fabs (- 1 (pow (/ b a) 2)))) 19.194 * * * [progress]: adding candidates to table 19.671 * [progress]: [Phase 3 of 3] Extracting. 19.671 * * [regime]: Finding splitpoints for: (# #) 19.672 * * * [regime-changes]: Trying 2 branch expressions: (b a) 19.672 * * * * [regimes]: Trying to branch on b from (# #) 19.697 * * * * [regimes]: Trying to branch on a from (# #) 19.725 * * * [regime]: Found split indices: #