1.391 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.092 * * * [progress]: [2/2] Setting up program. 0.095 * [progress]: [Phase 2 of 3] Improving. 0.097 * [simplify]: Simplifying: (+ x (* (* y z) z)) 0.098 * * [simplify]: Extracting # 0 : cost 0 0.099 * * [simplify]: Extracting # 1 : cost 0 0.099 * * [simplify]: Extracting # 2 : cost 0 0.099 * * [simplify]: Extracting # 3 : cost 0 0.099 * * [simplify]: Extracting # 4 : cost 0 0.099 * * [simplify]: Extracting # 5 : cost 0 0.099 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.103 * * [simplify]: Extracting # 0 : cost 0 0.103 * * [simplify]: Extracting # 1 : cost 0 0.103 * * [simplify]: Extracting # 2 : cost 0 0.103 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.106 * * [simplify]: Extracting # 0 : cost 0 0.106 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 0.108 * * [simplify]: Extracting # 0 : cost 0 0.108 * * [simplify]: iteration done: 12 enodes (cost 7 ) 0.108 * [simplify]: Simplified to: (+ x (* (* y z) z)) 0.110 * * [progress]: iteration 1 / 4 0.110 * * * [progress]: picking best candidate 0.112 * * * * [pick]: Picked # 0.112 * * * [progress]: localizing error 0.120 * * * [progress]: generating rewritten candidates 0.120 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.175 * * * [progress]: generating series expansions 0.176 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.180 * [backup-simplify]: Simplify (* (* y z) z) into (* (pow z 2) y) 0.180 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 0.181 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.181 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.181 * [taylor]: Taking taylor expansion of z in z 0.181 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify 1 into 1 0.181 * [taylor]: Taking taylor expansion of y in z 0.181 * [backup-simplify]: Simplify y into y 0.181 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.181 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.181 * [taylor]: Taking taylor expansion of z in y 0.181 * [backup-simplify]: Simplify z into z 0.181 * [taylor]: Taking taylor expansion of y in y 0.181 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify 1 into 1 0.181 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.181 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.181 * [taylor]: Taking taylor expansion of z in y 0.181 * [backup-simplify]: Simplify z into z 0.181 * [taylor]: Taking taylor expansion of y in y 0.181 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify 1 into 1 0.182 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.182 * [backup-simplify]: Simplify (* (pow z 2) 0) into 0 0.182 * [taylor]: Taking taylor expansion of 0 in z 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 0 into 0 0.183 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 0.184 * [backup-simplify]: Simplify (+ (* (pow z 2) 1) (* 0 0)) into (pow z 2) 0.184 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.184 * [taylor]: Taking taylor expansion of z in z 0.184 * [backup-simplify]: Simplify 0 into 0 0.184 * [backup-simplify]: Simplify 1 into 1 0.185 * [backup-simplify]: Simplify (* 1 1) into 1 0.185 * [backup-simplify]: Simplify 1 into 1 0.185 * [backup-simplify]: Simplify 0 into 0 0.185 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 0.186 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 1) (* 0 0))) into 0 0.186 * [taylor]: Taking taylor expansion of 0 in z 0.186 * [backup-simplify]: Simplify 0 into 0 0.186 * [backup-simplify]: Simplify 0 into 0 0.186 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.186 * [backup-simplify]: Simplify 0 into 0 0.186 * [backup-simplify]: Simplify 0 into 0 0.187 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 0.187 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.187 * [taylor]: Taking taylor expansion of 0 in z 0.187 * [backup-simplify]: Simplify 0 into 0 0.188 * [backup-simplify]: Simplify 0 into 0 0.188 * [backup-simplify]: Simplify 0 into 0 0.188 * [backup-simplify]: Simplify (* 1 (* (pow z 2) y)) into (* (pow z 2) y) 0.188 * [backup-simplify]: Simplify (* (* (/ 1 y) (/ 1 z)) (/ 1 z)) into (/ 1 (* (pow z 2) y)) 0.188 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 0.188 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.188 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.188 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.188 * [taylor]: Taking taylor expansion of z in z 0.188 * [backup-simplify]: Simplify 0 into 0 0.188 * [backup-simplify]: Simplify 1 into 1 0.188 * [taylor]: Taking taylor expansion of y in z 0.188 * [backup-simplify]: Simplify y into y 0.188 * [backup-simplify]: Simplify (* 1 1) into 1 0.188 * [backup-simplify]: Simplify (* 1 y) into y 0.188 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.188 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.188 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.188 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.188 * [taylor]: Taking taylor expansion of z in y 0.188 * [backup-simplify]: Simplify z into z 0.188 * [taylor]: Taking taylor expansion of y in y 0.189 * [backup-simplify]: Simplify 0 into 0 0.189 * [backup-simplify]: Simplify 1 into 1 0.189 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.189 * [backup-simplify]: Simplify (* (pow z 2) 0) into 0 0.189 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 0.189 * [backup-simplify]: Simplify (+ (* (pow z 2) 1) (* 0 0)) into (pow z 2) 0.189 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 0.189 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.189 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.189 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.189 * [taylor]: Taking taylor expansion of z in y 0.189 * [backup-simplify]: Simplify z into z 0.189 * [taylor]: Taking taylor expansion of y in y 0.189 * [backup-simplify]: Simplify 0 into 0 0.189 * [backup-simplify]: Simplify 1 into 1 0.189 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.189 * [backup-simplify]: Simplify (* (pow z 2) 0) into 0 0.189 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 0.190 * [backup-simplify]: Simplify (+ (* (pow z 2) 1) (* 0 0)) into (pow z 2) 0.190 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 0.190 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.190 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.190 * [taylor]: Taking taylor expansion of z in z 0.190 * [backup-simplify]: Simplify 0 into 0 0.190 * [backup-simplify]: Simplify 1 into 1 0.190 * [backup-simplify]: Simplify (* 1 1) into 1 0.191 * [backup-simplify]: Simplify (/ 1 1) into 1 0.191 * [backup-simplify]: Simplify 1 into 1 0.191 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 0.191 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 1) (* 0 0))) into 0 0.192 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 0.192 * [taylor]: Taking taylor expansion of 0 in z 0.192 * [backup-simplify]: Simplify 0 into 0 0.192 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.193 * [backup-simplify]: Simplify 0 into 0 0.193 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 0.194 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.194 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.194 * [taylor]: Taking taylor expansion of 0 in z 0.194 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.195 * [backup-simplify]: Simplify 0 into 0 0.196 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0 0.196 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.197 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.197 * [taylor]: Taking taylor expansion of 0 in z 0.197 * [backup-simplify]: Simplify 0 into 0 0.197 * [backup-simplify]: Simplify 0 into 0 0.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.198 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))))) into 0 0.200 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.200 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.200 * [taylor]: Taking taylor expansion of 0 in z 0.200 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify 0 into 0 0.201 * [backup-simplify]: Simplify 0 into 0 0.201 * [backup-simplify]: Simplify (* 1 (* (pow (/ 1 z) -2) (/ 1 (/ 1 y)))) into (* (pow z 2) y) 0.201 * [backup-simplify]: Simplify (* (* (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- z))) into (/ -1 (* (pow z 2) y)) 0.201 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 0.201 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 0.201 * [taylor]: Taking taylor expansion of -1 in z 0.201 * [backup-simplify]: Simplify -1 into -1 0.201 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.201 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.201 * [taylor]: Taking taylor expansion of z in z 0.201 * [backup-simplify]: Simplify 0 into 0 0.201 * [backup-simplify]: Simplify 1 into 1 0.201 * [taylor]: Taking taylor expansion of y in z 0.201 * [backup-simplify]: Simplify y into y 0.201 * [backup-simplify]: Simplify (* 1 1) into 1 0.201 * [backup-simplify]: Simplify (* 1 y) into y 0.201 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.201 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.201 * [taylor]: Taking taylor expansion of -1 in y 0.201 * [backup-simplify]: Simplify -1 into -1 0.201 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.202 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.202 * [taylor]: Taking taylor expansion of z in y 0.202 * [backup-simplify]: Simplify z into z 0.202 * [taylor]: Taking taylor expansion of y in y 0.202 * [backup-simplify]: Simplify 0 into 0 0.202 * [backup-simplify]: Simplify 1 into 1 0.202 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.202 * [backup-simplify]: Simplify (* (pow z 2) 0) into 0 0.202 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 0.202 * [backup-simplify]: Simplify (+ (* (pow z 2) 1) (* 0 0)) into (pow z 2) 0.202 * [backup-simplify]: Simplify (/ -1 (pow z 2)) into (/ -1 (pow z 2)) 0.202 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.202 * [taylor]: Taking taylor expansion of -1 in y 0.202 * [backup-simplify]: Simplify -1 into -1 0.202 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.202 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.202 * [taylor]: Taking taylor expansion of z in y 0.202 * [backup-simplify]: Simplify z into z 0.202 * [taylor]: Taking taylor expansion of y in y 0.202 * [backup-simplify]: Simplify 0 into 0 0.202 * [backup-simplify]: Simplify 1 into 1 0.202 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.203 * [backup-simplify]: Simplify (* (pow z 2) 0) into 0 0.203 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 0.203 * [backup-simplify]: Simplify (+ (* (pow z 2) 1) (* 0 0)) into (pow z 2) 0.203 * [backup-simplify]: Simplify (/ -1 (pow z 2)) into (/ -1 (pow z 2)) 0.203 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 0.203 * [taylor]: Taking taylor expansion of -1 in z 0.203 * [backup-simplify]: Simplify -1 into -1 0.203 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.203 * [taylor]: Taking taylor expansion of z in z 0.203 * [backup-simplify]: Simplify 0 into 0 0.203 * [backup-simplify]: Simplify 1 into 1 0.203 * [backup-simplify]: Simplify (* 1 1) into 1 0.204 * [backup-simplify]: Simplify (/ -1 1) into -1 0.204 * [backup-simplify]: Simplify -1 into -1 0.204 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 0.205 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 1) (* 0 0))) into 0 0.205 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ -1 (pow z 2)) (/ 0 (pow z 2))))) into 0 0.205 * [taylor]: Taking taylor expansion of 0 in z 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.206 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.206 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 0.207 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.207 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ -1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.207 * [taylor]: Taking taylor expansion of 0 in z 0.207 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.209 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0 0.210 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.211 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ -1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.211 * [taylor]: Taking taylor expansion of 0 in z 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.213 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.213 * [backup-simplify]: Simplify 0 into 0 0.214 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))))) into 0 0.215 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.216 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ -1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.216 * [taylor]: Taking taylor expansion of 0 in z 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify (* -1 (* (pow (/ 1 (- z)) -2) (/ 1 (/ 1 (- y))))) into (* (pow z 2) y) 0.217 * * * [progress]: simplifying candidates 0.217 * [simplify]: Simplifying: (* (* y z) z) (* (* y z) z) (+ (+ (log y) (log z)) (log z)) (+ (log (* y z)) (log z)) (log (* (* y z) z)) (exp (* (* y z) z)) (* (* (* (* y y) y) (* (* z z) z)) (* (* z z) z)) (* (* (* (* y z) (* y z)) (* y z)) (* (* z z) z)) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z)) (* (* (* (* y z) z) (* (* y z) z)) (* (* y z) z)) (sqrt (* (* y z) z)) (sqrt (* (* y z) z)) (* (* y z) (* (cbrt z) (cbrt z))) (* (* y z) (sqrt z)) (* (* y z) 1) (* z z) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) 0.218 * * [simplify]: Extracting # 0 : cost 0 0.218 * * [simplify]: Extracting # 1 : cost 0 0.218 * * [simplify]: Extracting # 2 : cost 0 0.218 * * [simplify]: Extracting # 3 : cost 0 0.219 * * [simplify]: Extracting # 4 : cost 0 0.219 * * [simplify]: Extracting # 5 : cost 0 0.219 * * [simplify]: Extracting # 6 : cost 0 0.219 * * [simplify]: iteration 0 : 36 enodes (cost 157 ) 0.235 * * [simplify]: Extracting # 0 : cost 0 0.236 * * [simplify]: Extracting # 1 : cost 0 0.236 * * [simplify]: Extracting # 2 : cost 0 0.236 * * [simplify]: iteration 1 : 93 enodes (cost 152 ) 0.326 * * [simplify]: Extracting # 0 : cost 0 0.326 * * [simplify]: Extracting # 1 : cost 0 0.327 * * [simplify]: Extracting # 2 : cost 0 0.327 * * [simplify]: Extracting # 3 : cost 0 0.327 * * [simplify]: Extracting # 4 : cost 0 0.328 * * [simplify]: iteration 2 : 338 enodes (cost 122 ) 0.777 * * [simplify]: Extracting # 0 : cost 0 0.779 * * [simplify]: Extracting # 1 : cost 0 0.780 * * [simplify]: Extracting # 2 : cost 0 0.781 * * [simplify]: Extracting # 3 : cost 0 0.782 * * [simplify]: Extracting # 4 : cost 0 0.783 * * [simplify]: iteration 3 : 689 enodes (cost 122 ) 1.562 * * [simplify]: Extracting # 0 : cost 0 1.563 * * [simplify]: Extracting # 1 : cost 0 1.565 * * [simplify]: Extracting # 2 : cost 0 1.566 * * [simplify]: Extracting # 3 : cost 0 1.567 * * [simplify]: Extracting # 4 : cost 0 1.569 * * [simplify]: iteration 4 : 986 enodes (cost 121 ) 3.135 * * [simplify]: Extracting # 0 : cost 0 3.143 * * [simplify]: Extracting # 1 : cost 0 3.145 * * [simplify]: Extracting # 2 : cost 0 3.148 * * [simplify]: Extracting # 3 : cost 0 3.150 * * [simplify]: Extracting # 4 : cost 0 3.152 * * [simplify]: Extracting # 5 : cost 0 3.154 * * [simplify]: iteration 5 : 2778 enodes (cost 121 ) 5.329 * * [simplify]: Extracting # 0 : cost 0 5.339 * * [simplify]: Extracting # 1 : cost 0 5.349 * * [simplify]: Extracting # 2 : cost 0 5.362 * * [simplify]: Extracting # 3 : cost 0 5.368 * * [simplify]: Extracting # 4 : cost 0 5.373 * * [simplify]: iteration done: 5001 enodes (cost 121 ) 5.373 * [simplify]: Simplified to: (* (pow z 2) y) (* (pow z 2) y) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (exp (* (* y z) z)) (pow (* (pow z 2) y) 3) (pow (* (pow z 2) y) 3) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z)) (pow (* (pow z 2) y) 3) (sqrt (* (* y z) z)) (sqrt (* (* y z) z)) (* (* y z) (* (cbrt z) (cbrt z))) (* (pow z 3/2) y) (* y z) (* z z) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) 5.373 * * * [progress]: adding candidates to table 5.432 * * [progress]: iteration 2 / 4 5.432 * * * [progress]: picking best candidate 5.445 * * * * [pick]: Picked # 5.445 * * * [progress]: localizing error 5.462 * * * [progress]: generating rewritten candidates 5.462 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1) 5.490 * * * [progress]: generating series expansions 5.490 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1) 5.490 * [backup-simplify]: Simplify (* (pow z 2) y) into (* (pow z 2) y) 5.490 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (z y) around 0 5.490 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.490 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.490 * [taylor]: Taking taylor expansion of z in y 5.490 * [backup-simplify]: Simplify z into z 5.490 * [taylor]: Taking taylor expansion of y in y 5.490 * [backup-simplify]: Simplify 0 into 0 5.490 * [backup-simplify]: Simplify 1 into 1 5.490 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.490 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.490 * [taylor]: Taking taylor expansion of z in z 5.490 * [backup-simplify]: Simplify 0 into 0 5.490 * [backup-simplify]: Simplify 1 into 1 5.490 * [taylor]: Taking taylor expansion of y in z 5.490 * [backup-simplify]: Simplify y into y 5.490 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.490 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.490 * [taylor]: Taking taylor expansion of z in z 5.490 * [backup-simplify]: Simplify 0 into 0 5.490 * [backup-simplify]: Simplify 1 into 1 5.490 * [taylor]: Taking taylor expansion of y in z 5.491 * [backup-simplify]: Simplify y into y 5.491 * [backup-simplify]: Simplify (* 1 1) into 1 5.491 * [backup-simplify]: Simplify (* 1 y) into y 5.491 * [taylor]: Taking taylor expansion of y in y 5.491 * [backup-simplify]: Simplify 0 into 0 5.491 * [backup-simplify]: Simplify 1 into 1 5.491 * [backup-simplify]: Simplify 0 into 0 5.492 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.493 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0 5.493 * [taylor]: Taking taylor expansion of 0 in y 5.493 * [backup-simplify]: Simplify 0 into 0 5.493 * [backup-simplify]: Simplify 0 into 0 5.493 * [backup-simplify]: Simplify 1 into 1 5.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0 5.494 * [taylor]: Taking taylor expansion of 0 in y 5.494 * [backup-simplify]: Simplify 0 into 0 5.495 * [backup-simplify]: Simplify 0 into 0 5.495 * [backup-simplify]: Simplify 0 into 0 5.495 * [backup-simplify]: Simplify 0 into 0 5.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.497 * [taylor]: Taking taylor expansion of 0 in y 5.497 * [backup-simplify]: Simplify 0 into 0 5.497 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify (* 1 (* y (pow z 2))) into (* (pow z 2) y) 5.498 * [backup-simplify]: Simplify (* (pow (/ 1 z) 2) (/ 1 y)) into (/ 1 (* (pow z 2) y)) 5.498 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (z y) around 0 5.498 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 5.498 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.498 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.498 * [taylor]: Taking taylor expansion of z in y 5.498 * [backup-simplify]: Simplify z into z 5.498 * [taylor]: Taking taylor expansion of y in y 5.498 * [backup-simplify]: Simplify 0 into 0 5.498 * [backup-simplify]: Simplify 1 into 1 5.498 * [backup-simplify]: Simplify (* z z) into (pow z 2) 5.499 * [backup-simplify]: Simplify (* (pow z 2) 0) into 0 5.499 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 5.499 * [backup-simplify]: Simplify (+ (* (pow z 2) 1) (* 0 0)) into (pow z 2) 5.499 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 5.499 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 5.499 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.500 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.500 * [taylor]: Taking taylor expansion of z in z 5.500 * [backup-simplify]: Simplify 0 into 0 5.500 * [backup-simplify]: Simplify 1 into 1 5.500 * [taylor]: Taking taylor expansion of y in z 5.500 * [backup-simplify]: Simplify y into y 5.500 * [backup-simplify]: Simplify (* 1 1) into 1 5.500 * [backup-simplify]: Simplify (* 1 y) into y 5.500 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.500 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 5.500 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.500 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.500 * [taylor]: Taking taylor expansion of z in z 5.500 * [backup-simplify]: Simplify 0 into 0 5.500 * [backup-simplify]: Simplify 1 into 1 5.500 * [taylor]: Taking taylor expansion of y in z 5.500 * [backup-simplify]: Simplify y into y 5.501 * [backup-simplify]: Simplify (* 1 1) into 1 5.501 * [backup-simplify]: Simplify (* 1 y) into y 5.501 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.501 * [taylor]: Taking taylor expansion of y in y 5.501 * [backup-simplify]: Simplify 0 into 0 5.501 * [backup-simplify]: Simplify 1 into 1 5.501 * [backup-simplify]: Simplify (/ 1 1) into 1 5.501 * [backup-simplify]: Simplify 1 into 1 5.502 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0 5.503 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.503 * [taylor]: Taking taylor expansion of 0 in y 5.503 * [backup-simplify]: Simplify 0 into 0 5.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.504 * [backup-simplify]: Simplify 0 into 0 5.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0 5.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.506 * [taylor]: Taking taylor expansion of 0 in y 5.506 * [backup-simplify]: Simplify 0 into 0 5.506 * [backup-simplify]: Simplify 0 into 0 5.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.507 * [backup-simplify]: Simplify 0 into 0 5.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.509 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.509 * [taylor]: Taking taylor expansion of 0 in y 5.509 * [backup-simplify]: Simplify 0 into 0 5.509 * [backup-simplify]: Simplify 0 into 0 5.509 * [backup-simplify]: Simplify 0 into 0 5.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.510 * [backup-simplify]: Simplify 0 into 0 5.511 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (pow (/ 1 z) -2))) into (* (pow z 2) y) 5.511 * [backup-simplify]: Simplify (* (pow (/ 1 (- z)) 2) (/ 1 (- y))) into (/ -1 (* (pow z 2) y)) 5.511 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (z y) around 0 5.511 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 5.511 * [taylor]: Taking taylor expansion of -1 in y 5.511 * [backup-simplify]: Simplify -1 into -1 5.511 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.511 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.511 * [taylor]: Taking taylor expansion of z in y 5.511 * [backup-simplify]: Simplify z into z 5.511 * [taylor]: Taking taylor expansion of y in y 5.511 * [backup-simplify]: Simplify 0 into 0 5.511 * [backup-simplify]: Simplify 1 into 1 5.511 * [backup-simplify]: Simplify (* z z) into (pow z 2) 5.511 * [backup-simplify]: Simplify (* (pow z 2) 0) into 0 5.512 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 5.512 * [backup-simplify]: Simplify (+ (* (pow z 2) 1) (* 0 0)) into (pow z 2) 5.512 * [backup-simplify]: Simplify (/ -1 (pow z 2)) into (/ -1 (pow z 2)) 5.512 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 5.512 * [taylor]: Taking taylor expansion of -1 in z 5.512 * [backup-simplify]: Simplify -1 into -1 5.512 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.512 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.512 * [taylor]: Taking taylor expansion of z in z 5.513 * [backup-simplify]: Simplify 0 into 0 5.513 * [backup-simplify]: Simplify 1 into 1 5.513 * [taylor]: Taking taylor expansion of y in z 5.513 * [backup-simplify]: Simplify y into y 5.513 * [backup-simplify]: Simplify (* 1 1) into 1 5.513 * [backup-simplify]: Simplify (* 1 y) into y 5.513 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.513 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 5.513 * [taylor]: Taking taylor expansion of -1 in z 5.513 * [backup-simplify]: Simplify -1 into -1 5.513 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.513 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.513 * [taylor]: Taking taylor expansion of z in z 5.513 * [backup-simplify]: Simplify 0 into 0 5.513 * [backup-simplify]: Simplify 1 into 1 5.513 * [taylor]: Taking taylor expansion of y in z 5.513 * [backup-simplify]: Simplify y into y 5.514 * [backup-simplify]: Simplify (* 1 1) into 1 5.514 * [backup-simplify]: Simplify (* 1 y) into y 5.514 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.514 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.514 * [taylor]: Taking taylor expansion of -1 in y 5.514 * [backup-simplify]: Simplify -1 into -1 5.514 * [taylor]: Taking taylor expansion of y in y 5.514 * [backup-simplify]: Simplify 0 into 0 5.514 * [backup-simplify]: Simplify 1 into 1 5.515 * [backup-simplify]: Simplify (/ -1 1) into -1 5.515 * [backup-simplify]: Simplify -1 into -1 5.515 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.516 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0 5.516 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 5.516 * [taylor]: Taking taylor expansion of 0 in y 5.516 * [backup-simplify]: Simplify 0 into 0 5.517 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.517 * [backup-simplify]: Simplify 0 into 0 5.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0 5.519 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.519 * [taylor]: Taking taylor expansion of 0 in y 5.519 * [backup-simplify]: Simplify 0 into 0 5.519 * [backup-simplify]: Simplify 0 into 0 5.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.520 * [backup-simplify]: Simplify 0 into 0 5.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 5.523 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.523 * [taylor]: Taking taylor expansion of 0 in y 5.523 * [backup-simplify]: Simplify 0 into 0 5.523 * [backup-simplify]: Simplify 0 into 0 5.523 * [backup-simplify]: Simplify 0 into 0 5.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.524 * [backup-simplify]: Simplify 0 into 0 5.525 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- z)) -2))) into (* (pow z 2) y) 5.525 * * * [progress]: simplifying candidates 5.526 * [simplify]: Simplifying: (+ (* (log z) 2) (log y)) (+ (* (log z) 2) (log y)) (+ (log (pow z 2)) (log y)) (log (* (pow z 2) y)) (exp (* (pow z 2) y)) (* (* (* (pow z 2) (pow z 2)) (pow z 2)) (* (* y y) y)) (* (cbrt (* (pow z 2) y)) (cbrt (* (pow z 2) y))) (cbrt (* (pow z 2) y)) (* (* (* (pow z 2) y) (* (pow z 2) y)) (* (pow z 2) y)) (sqrt (* (pow z 2) y)) (sqrt (* (pow z 2) y)) (* (pow (sqrt z) 2) (sqrt y)) (* (pow (sqrt z) 2) (sqrt y)) (* z (sqrt y)) (* z (sqrt y)) (* (sqrt (pow z 2)) (sqrt y)) (* (sqrt (pow z 2)) (sqrt y)) (* (pow z (/ 2 2)) (sqrt y)) (* (pow z (/ 2 2)) (sqrt y)) (* (pow z 2) (* (cbrt y) (cbrt y))) (* (pow z 2) (sqrt y)) (* (pow z 2) 1) (* (pow (cbrt z) 2) y) (* (pow (sqrt z) 2) y) (* (pow z 2) y) (* z y) (* (cbrt (pow z 2)) y) (* (sqrt (pow z 2)) y) (* (pow z 2) y) (* (pow z (/ 2 2)) y) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) 5.527 * * [simplify]: Extracting # 0 : cost 0 5.527 * * [simplify]: Extracting # 1 : cost 0 5.527 * * [simplify]: Extracting # 2 : cost 0 5.527 * * [simplify]: Extracting # 3 : cost 0 5.527 * * [simplify]: Extracting # 4 : cost 0 5.527 * * [simplify]: Extracting # 5 : cost 0 5.527 * * [simplify]: Extracting # 6 : cost 0 5.528 * * [simplify]: iteration 0 : 48 enodes (cost 229 ) 5.548 * * [simplify]: Extracting # 0 : cost 0 5.549 * * [simplify]: Extracting # 1 : cost 0 5.549 * * [simplify]: Extracting # 2 : cost 0 5.549 * * [simplify]: Extracting # 3 : cost 0 5.549 * * [simplify]: Extracting # 4 : cost 0 5.550 * * [simplify]: iteration 1 : 101 enodes (cost 210 ) 5.620 * * [simplify]: Extracting # 0 : cost 0 5.620 * * [simplify]: Extracting # 1 : cost 0 5.621 * * [simplify]: Extracting # 2 : cost 0 5.621 * * [simplify]: Extracting # 3 : cost 0 5.622 * * [simplify]: Extracting # 4 : cost 0 5.622 * * [simplify]: iteration 2 : 279 enodes (cost 177 ) 5.906 * * [simplify]: Extracting # 0 : cost 0 5.907 * * [simplify]: Extracting # 1 : cost 0 5.908 * * [simplify]: Extracting # 2 : cost 0 5.909 * * [simplify]: Extracting # 3 : cost 0 5.910 * * [simplify]: Extracting # 4 : cost 0 5.911 * * [simplify]: iteration 3 : 830 enodes (cost 177 ) 7.965 * * [simplify]: Extracting # 0 : cost 0 7.971 * * [simplify]: Extracting # 1 : cost 0 7.974 * * [simplify]: Extracting # 2 : cost 0 7.978 * * [simplify]: Extracting # 3 : cost 0 7.981 * * [simplify]: Extracting # 4 : cost 0 7.985 * * [simplify]: iteration 4 : 3857 enodes (cost 177 ) 11.121 * * [simplify]: Extracting # 0 : cost 0 11.132 * * [simplify]: Extracting # 1 : cost 0 11.141 * * [simplify]: Extracting # 2 : cost 0 11.150 * * [simplify]: Extracting # 3 : cost 0 11.159 * * [simplify]: iteration done: 5000 enodes (cost 177 ) 11.160 * [simplify]: Simplified to: (log (* (pow z 2) y)) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (exp (* (pow z 2) y)) (pow (* (pow z 2) y) 3) (* (cbrt (* (pow z 2) y)) (cbrt (* (pow z 2) y))) (cbrt (* (pow z 2) y)) (pow (* (pow z 2) y) 3) (sqrt (* (pow z 2) y)) (sqrt (* (pow z 2) y)) (* (sqrt y) z) (* (sqrt y) z) (* (sqrt y) z) (* (sqrt y) z) (* (fabs z) (sqrt y)) (* (fabs z) (sqrt y)) (* (sqrt y) z) (* (sqrt y) z) (* (pow z 2) (* (cbrt y) (cbrt y))) (* (pow z 2) (sqrt y)) (* z z) (* (pow (cbrt z) 2) y) (* y z) (* (pow z 2) y) (* y z) (* (cbrt (pow z 2)) y) (* (fabs z) y) (* (pow z 2) y) (* y z) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) 11.160 * * * [progress]: adding candidates to table 11.260 * * [progress]: iteration 3 / 4 11.260 * * * [progress]: picking best candidate 11.265 * * * * [pick]: Picked # 11.265 * * * [progress]: localizing error 11.277 * * * [progress]: generating rewritten candidates 11.277 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 1) 11.281 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 11.328 * * * [progress]: generating series expansions 11.328 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 1) 11.328 * [backup-simplify]: Simplify (pow (sqrt z) 2) into (pow (sqrt z) 2) 11.328 * [approximate]: Taking taylor expansion of (pow (sqrt z) 2) in (z) around 0 11.328 * [taylor]: Taking taylor expansion of (pow (sqrt z) 2) in z 11.328 * [taylor]: Taking taylor expansion of (sqrt z) in z 11.328 * [taylor]: Taking taylor expansion of z in z 11.328 * [backup-simplify]: Simplify 0 into 0 11.329 * [backup-simplify]: Simplify 1 into 1 11.329 * [backup-simplify]: Simplify (sqrt 0) into 0 11.330 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.331 * [taylor]: Taking taylor expansion of (pow (sqrt z) 2) in z 11.331 * [taylor]: Taking taylor expansion of (sqrt z) in z 11.331 * [taylor]: Taking taylor expansion of z in z 11.331 * [backup-simplify]: Simplify 0 into 0 11.331 * [backup-simplify]: Simplify 1 into 1 11.331 * [backup-simplify]: Simplify (sqrt 0) into 0 11.332 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.332 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 11.332 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.334 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.335 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 11.335 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.337 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.339 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 11.339 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.340 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow z 4)) (+ (* (- +nan.0) (pow z 3)) (* +nan.0 (pow z 2)))) into (- (+ (* +nan.0 (pow z 3)) (- (+ (* +nan.0 (pow z 2)) (- (* +nan.0 (pow z 4))))))) 11.340 * [backup-simplify]: Simplify (pow (sqrt (/ 1 z)) 2) into (pow (sqrt (/ 1 z)) 2) 11.340 * [approximate]: Taking taylor expansion of (pow (sqrt (/ 1 z)) 2) in (z) around 0 11.340 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 z)) 2) in z 11.340 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 11.340 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.340 * [taylor]: Taking taylor expansion of z in z 11.340 * [backup-simplify]: Simplify 0 into 0 11.341 * [backup-simplify]: Simplify 1 into 1 11.341 * [backup-simplify]: Simplify (/ 1 1) into 1 11.341 * [backup-simplify]: Simplify (sqrt 0) into 0 11.342 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.342 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 z)) 2) in z 11.342 * [taylor]: Taking taylor expansion of (sqrt (/ 1 z)) in z 11.342 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.342 * [taylor]: Taking taylor expansion of z in z 11.342 * [backup-simplify]: Simplify 0 into 0 11.342 * [backup-simplify]: Simplify 1 into 1 11.342 * [backup-simplify]: Simplify (/ 1 1) into 1 11.342 * [backup-simplify]: Simplify (sqrt 0) into 0 11.343 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 11.343 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 11.343 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.346 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.346 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 11.347 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.349 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.351 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 11.357 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.359 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 z) 2)) (+ (* (- +nan.0) (/ 1 z)) +nan.0)) into (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) 11.359 * [backup-simplify]: Simplify (pow (sqrt (/ 1 (- z))) 2) into (pow (sqrt (/ -1 z)) 2) 11.359 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in (z) around 0 11.359 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 11.359 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 11.359 * [taylor]: Taking taylor expansion of (/ -1 z) in z 11.359 * [taylor]: Taking taylor expansion of -1 in z 11.359 * [backup-simplify]: Simplify -1 into -1 11.359 * [taylor]: Taking taylor expansion of z in z 11.359 * [backup-simplify]: Simplify 0 into 0 11.359 * [backup-simplify]: Simplify 1 into 1 11.359 * [backup-simplify]: Simplify (/ -1 1) into -1 11.360 * [backup-simplify]: Simplify (sqrt 0) into 0 11.360 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.360 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 11.360 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 11.360 * [taylor]: Taking taylor expansion of (/ -1 z) in z 11.360 * [taylor]: Taking taylor expansion of -1 in z 11.361 * [backup-simplify]: Simplify -1 into -1 11.361 * [taylor]: Taking taylor expansion of z in z 11.361 * [backup-simplify]: Simplify 0 into 0 11.361 * [backup-simplify]: Simplify 1 into 1 11.361 * [backup-simplify]: Simplify (/ -1 1) into -1 11.361 * [backup-simplify]: Simplify (sqrt 0) into 0 11.362 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.362 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 11.362 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 11.364 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.365 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 11.365 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.366 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.371 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.373 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 11.373 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.374 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- z)) 2)) (+ (* (- +nan.0) (/ 1 (- z))) +nan.0)) into (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) 11.374 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 11.375 * [backup-simplify]: Simplify (* (pow (sqrt z) 2) (* y z)) into (* (pow z 2) y) 11.375 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (z y) around 0 11.375 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 11.375 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.375 * [taylor]: Taking taylor expansion of z in y 11.375 * [backup-simplify]: Simplify z into z 11.375 * [taylor]: Taking taylor expansion of y in y 11.375 * [backup-simplify]: Simplify 0 into 0 11.375 * [backup-simplify]: Simplify 1 into 1 11.375 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 11.375 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.375 * [taylor]: Taking taylor expansion of z in z 11.375 * [backup-simplify]: Simplify 0 into 0 11.375 * [backup-simplify]: Simplify 1 into 1 11.375 * [taylor]: Taking taylor expansion of y in z 11.375 * [backup-simplify]: Simplify y into y 11.375 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 11.375 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.375 * [taylor]: Taking taylor expansion of z in z 11.375 * [backup-simplify]: Simplify 0 into 0 11.375 * [backup-simplify]: Simplify 1 into 1 11.375 * [taylor]: Taking taylor expansion of y in z 11.375 * [backup-simplify]: Simplify y into y 11.376 * [backup-simplify]: Simplify (* 1 1) into 1 11.376 * [backup-simplify]: Simplify (* 1 y) into y 11.376 * [taylor]: Taking taylor expansion of y in y 11.376 * [backup-simplify]: Simplify 0 into 0 11.376 * [backup-simplify]: Simplify 1 into 1 11.376 * [backup-simplify]: Simplify 0 into 0 11.376 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.377 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0 11.377 * [taylor]: Taking taylor expansion of 0 in y 11.377 * [backup-simplify]: Simplify 0 into 0 11.377 * [backup-simplify]: Simplify 0 into 0 11.377 * [backup-simplify]: Simplify 1 into 1 11.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0 11.379 * [taylor]: Taking taylor expansion of 0 in y 11.379 * [backup-simplify]: Simplify 0 into 0 11.379 * [backup-simplify]: Simplify 0 into 0 11.379 * [backup-simplify]: Simplify 0 into 0 11.379 * [backup-simplify]: Simplify 0 into 0 11.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 11.381 * [taylor]: Taking taylor expansion of 0 in y 11.381 * [backup-simplify]: Simplify 0 into 0 11.381 * [backup-simplify]: Simplify 0 into 0 11.381 * [backup-simplify]: Simplify 0 into 0 11.381 * [backup-simplify]: Simplify 0 into 0 11.381 * [backup-simplify]: Simplify (* 1 (* y (pow z 2))) into (* (pow z 2) y) 11.381 * [backup-simplify]: Simplify (* (pow (sqrt (/ 1 z)) 2) (* (/ 1 y) (/ 1 z))) into (/ 1 (* (pow z 2) y)) 11.382 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (z y) around 0 11.382 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 11.382 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 11.382 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.382 * [taylor]: Taking taylor expansion of z in y 11.382 * [backup-simplify]: Simplify z into z 11.382 * [taylor]: Taking taylor expansion of y in y 11.382 * [backup-simplify]: Simplify 0 into 0 11.382 * [backup-simplify]: Simplify 1 into 1 11.382 * [backup-simplify]: Simplify (* z z) into (pow z 2) 11.382 * [backup-simplify]: Simplify (* (pow z 2) 0) into 0 11.382 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 11.383 * [backup-simplify]: Simplify (+ (* (pow z 2) 1) (* 0 0)) into (pow z 2) 11.383 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 11.383 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 11.383 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 11.383 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.383 * [taylor]: Taking taylor expansion of z in z 11.383 * [backup-simplify]: Simplify 0 into 0 11.383 * [backup-simplify]: Simplify 1 into 1 11.383 * [taylor]: Taking taylor expansion of y in z 11.383 * [backup-simplify]: Simplify y into y 11.383 * [backup-simplify]: Simplify (* 1 1) into 1 11.383 * [backup-simplify]: Simplify (* 1 y) into y 11.383 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.383 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 11.383 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 11.384 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.384 * [taylor]: Taking taylor expansion of z in z 11.384 * [backup-simplify]: Simplify 0 into 0 11.384 * [backup-simplify]: Simplify 1 into 1 11.384 * [taylor]: Taking taylor expansion of y in z 11.384 * [backup-simplify]: Simplify y into y 11.384 * [backup-simplify]: Simplify (* 1 1) into 1 11.384 * [backup-simplify]: Simplify (* 1 y) into y 11.384 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.384 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.384 * [taylor]: Taking taylor expansion of y in y 11.384 * [backup-simplify]: Simplify 0 into 0 11.384 * [backup-simplify]: Simplify 1 into 1 11.385 * [backup-simplify]: Simplify (/ 1 1) into 1 11.385 * [backup-simplify]: Simplify 1 into 1 11.385 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.386 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0 11.386 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 11.386 * [taylor]: Taking taylor expansion of 0 in y 11.386 * [backup-simplify]: Simplify 0 into 0 11.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.387 * [backup-simplify]: Simplify 0 into 0 11.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0 11.389 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.389 * [taylor]: Taking taylor expansion of 0 in y 11.389 * [backup-simplify]: Simplify 0 into 0 11.389 * [backup-simplify]: Simplify 0 into 0 11.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.390 * [backup-simplify]: Simplify 0 into 0 11.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 11.392 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 11.392 * [taylor]: Taking taylor expansion of 0 in y 11.392 * [backup-simplify]: Simplify 0 into 0 11.392 * [backup-simplify]: Simplify 0 into 0 11.393 * [backup-simplify]: Simplify 0 into 0 11.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.393 * [backup-simplify]: Simplify 0 into 0 11.394 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (pow (/ 1 z) -2))) into (* (pow z 2) y) 11.394 * [backup-simplify]: Simplify (* (pow (sqrt (/ 1 (- z))) 2) (* (/ 1 (- y)) (/ 1 (- z)))) into (/ (pow (sqrt (/ -1 z)) 2) (* y z)) 11.394 * [approximate]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) (* y z)) in (z y) around 0 11.394 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) (* y z)) in y 11.394 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in y 11.394 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 11.394 * [taylor]: Taking taylor expansion of (/ -1 z) in y 11.394 * [taylor]: Taking taylor expansion of -1 in y 11.394 * [backup-simplify]: Simplify -1 into -1 11.394 * [taylor]: Taking taylor expansion of z in y 11.394 * [backup-simplify]: Simplify z into z 11.394 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 11.395 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 11.395 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 11.395 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 11.395 * [taylor]: Taking taylor expansion of (* y z) in y 11.395 * [taylor]: Taking taylor expansion of y in y 11.395 * [backup-simplify]: Simplify 0 into 0 11.395 * [backup-simplify]: Simplify 1 into 1 11.395 * [taylor]: Taking taylor expansion of z in y 11.395 * [backup-simplify]: Simplify z into z 11.395 * [backup-simplify]: Simplify (* (sqrt (/ -1 z)) (sqrt (/ -1 z))) into (pow (sqrt (/ -1 z)) 2) 11.395 * [backup-simplify]: Simplify (* 0 z) into 0 11.396 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z 11.396 * [backup-simplify]: Simplify (/ (pow (sqrt (/ -1 z)) 2) z) into (/ (pow (sqrt (/ -1 z)) 2) z) 11.396 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) (* y z)) in z 11.396 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 11.396 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 11.396 * [taylor]: Taking taylor expansion of (/ -1 z) in z 11.396 * [taylor]: Taking taylor expansion of -1 in z 11.396 * [backup-simplify]: Simplify -1 into -1 11.396 * [taylor]: Taking taylor expansion of z in z 11.396 * [backup-simplify]: Simplify 0 into 0 11.396 * [backup-simplify]: Simplify 1 into 1 11.397 * [backup-simplify]: Simplify (/ -1 1) into -1 11.397 * [backup-simplify]: Simplify (sqrt 0) into 0 11.398 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.398 * [taylor]: Taking taylor expansion of (* y z) in z 11.398 * [taylor]: Taking taylor expansion of y in z 11.398 * [backup-simplify]: Simplify y into y 11.398 * [taylor]: Taking taylor expansion of z in z 11.399 * [backup-simplify]: Simplify 0 into 0 11.399 * [backup-simplify]: Simplify 1 into 1 11.399 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 11.399 * [backup-simplify]: Simplify (* y 0) into 0 11.399 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y 11.399 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y) 11.399 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 z)) 2) (* y z)) in z 11.399 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 z)) 2) in z 11.400 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 11.400 * [taylor]: Taking taylor expansion of (/ -1 z) in z 11.400 * [taylor]: Taking taylor expansion of -1 in z 11.400 * [backup-simplify]: Simplify -1 into -1 11.400 * [taylor]: Taking taylor expansion of z in z 11.400 * [backup-simplify]: Simplify 0 into 0 11.400 * [backup-simplify]: Simplify 1 into 1 11.400 * [backup-simplify]: Simplify (/ -1 1) into -1 11.400 * [backup-simplify]: Simplify (sqrt 0) into 0 11.402 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 11.402 * [taylor]: Taking taylor expansion of (* y z) in z 11.402 * [taylor]: Taking taylor expansion of y in z 11.402 * [backup-simplify]: Simplify y into y 11.402 * [taylor]: Taking taylor expansion of z in z 11.402 * [backup-simplify]: Simplify 0 into 0 11.402 * [backup-simplify]: Simplify 1 into 1 11.402 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 11.402 * [backup-simplify]: Simplify (* y 0) into 0 11.403 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y 11.403 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y) 11.403 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y 11.403 * [taylor]: Taking taylor expansion of +nan.0 in y 11.403 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.403 * [taylor]: Taking taylor expansion of y in y 11.403 * [backup-simplify]: Simplify 0 into 0 11.403 * [backup-simplify]: Simplify 1 into 1 11.403 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0 11.403 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 11.407 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 11.409 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 11.409 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0 11.410 * [backup-simplify]: Simplify (- (/ (- +nan.0) y) (+ (* (/ +nan.0 y) (/ 0 y)))) into (- (* +nan.0 (/ 1 y))) 11.410 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 11.410 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.410 * [taylor]: Taking taylor expansion of +nan.0 in y 11.410 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.410 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.410 * [taylor]: Taking taylor expansion of y in y 11.410 * [backup-simplify]: Simplify 0 into 0 11.410 * [backup-simplify]: Simplify 1 into 1 11.411 * [backup-simplify]: Simplify (/ 1 1) into 1 11.411 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.411 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.412 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.413 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0 11.413 * [backup-simplify]: Simplify 0 into 0 11.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.417 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 11.420 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 11.421 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 11.421 * [backup-simplify]: Simplify (- (/ (- +nan.0) y) (+ (* (/ +nan.0 y) (/ 0 y)) (* (- (* +nan.0 (/ 1 y))) (/ 0 y)))) into (- (* +nan.0 (/ 1 y))) 11.421 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 11.421 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 11.421 * [taylor]: Taking taylor expansion of +nan.0 in y 11.422 * [backup-simplify]: Simplify +nan.0 into +nan.0 11.422 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.422 * [taylor]: Taking taylor expansion of y in y 11.422 * [backup-simplify]: Simplify 0 into 0 11.422 * [backup-simplify]: Simplify 1 into 1 11.422 * [backup-simplify]: Simplify (/ 1 1) into 1 11.422 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 11.423 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.423 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 11.425 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (/ 1 (- z)))) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) 1)) (* +nan.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z))))))) into (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 11.425 * * * [progress]: simplifying candidates 11.426 * [simplify]: Simplifying: (* (log (sqrt z)) 2) (* (log (sqrt z)) 2) (* 1/2 2) (* 1 2) (* (/ 1 2) 2) (pow (sqrt z) (* (cbrt 2) (cbrt 2))) (pow (sqrt z) (sqrt 2)) (pow (sqrt z) 1) (pow (* (cbrt (sqrt z)) (cbrt (sqrt z))) 2) (pow (cbrt (sqrt z)) 2) (pow (sqrt (* (cbrt z) (cbrt z))) 2) (pow (sqrt (cbrt z)) 2) (pow (sqrt (sqrt z)) 2) (pow (sqrt (sqrt z)) 2) (pow (sqrt 1) 2) (pow (sqrt z) 2) (pow (sqrt (sqrt z)) 2) (pow (sqrt (sqrt z)) 2) (pow 1 2) (pow (sqrt z) 2) (log (pow (sqrt z) 2)) (exp (pow (sqrt z) 2)) (* (cbrt (pow (sqrt z) 2)) (cbrt (pow (sqrt z) 2))) (cbrt (pow (sqrt z) 2)) (* (* (pow (sqrt z) 2) (pow (sqrt z) 2)) (pow (sqrt z) 2)) (/ 2 2) (sqrt (pow (sqrt z) 2)) (sqrt (pow (sqrt z) 2)) (pow (sqrt z) (/ 2 2)) (pow (sqrt z) (/ 2 2)) (+ (* (log (sqrt z)) 2) (+ (log y) (log z))) (+ (* (log (sqrt z)) 2) (log (* y z))) (+ (* (log (sqrt z)) 2) (+ (log y) (log z))) (+ (* (log (sqrt z)) 2) (log (* y z))) (+ (log (pow (sqrt z) 2)) (+ (log y) (log z))) (+ (log (pow (sqrt z) 2)) (log (* y z))) (log (* (pow (sqrt z) 2) (* y z))) (exp (* (pow (sqrt z) 2) (* y z))) (* (* (* (pow (sqrt z) 2) (pow (sqrt z) 2)) (pow (sqrt z) 2)) (* (* (* y y) y) (* (* z z) z))) (* (* (* (pow (sqrt z) 2) (pow (sqrt z) 2)) (pow (sqrt z) 2)) (* (* (* y z) (* y z)) (* y z))) (* (cbrt (* (pow (sqrt z) 2) (* y z))) (cbrt (* (pow (sqrt z) 2) (* y z)))) (cbrt (* (pow (sqrt z) 2) (* y z))) (* (* (* (pow (sqrt z) 2) (* y z)) (* (pow (sqrt z) 2) (* y z))) (* (pow (sqrt z) 2) (* y z))) (sqrt (* (pow (sqrt z) 2) (* y z))) (sqrt (* (pow (sqrt z) 2) (* y z))) (* (pow (sqrt z) 2) y) (* (pow (cbrt (sqrt z)) 2) (* y z)) (* (pow (sqrt (cbrt z)) 2) (* y z)) (* (pow (sqrt (sqrt z)) 2) (* y z)) (* (pow (sqrt z) 2) (* y z)) (* (pow (sqrt (sqrt z)) 2) (* y z)) (* (pow (sqrt z) 2) (* y z)) (* (sqrt z) (* y z)) (* (cbrt (pow (sqrt z) 2)) (* y z)) (* (sqrt (pow (sqrt z) 2)) (* y z)) (* (pow (sqrt z) 2) (* y z)) (* (pow (sqrt z) (/ 2 2)) (* y z)) (- (+ (* +nan.0 (pow z 3)) (- (+ (* +nan.0 (pow z 2)) (- (* +nan.0 (pow z 4))))))) (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 z)) (- (+ (* +nan.0 (/ 1 (pow z 2))) (- +nan.0))))) (* (pow z 2) y) (* (pow z 2) y) (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 11.429 * * [simplify]: Extracting # 0 : cost 0 11.429 * * [simplify]: Extracting # 1 : cost 0 11.429 * * [simplify]: Extracting # 2 : cost 0 11.429 * * [simplify]: Extracting # 3 : cost 0 11.429 * * [simplify]: Extracting # 4 : cost 0 11.430 * * [simplify]: Extracting # 5 : cost 0 11.430 * * [simplify]: Extracting # 6 : cost 0 11.430 * * [simplify]: Extracting # 7 : cost 0 11.431 * * [simplify]: Extracting # 8 : cost 0 11.431 * * [simplify]: Extracting # 9 : cost 0 11.431 * * [simplify]: Extracting # 10 : cost 0 11.431 * * [simplify]: Extracting # 11 : cost 0 11.432 * * [simplify]: Extracting # 12 : cost 0 11.432 * * [simplify]: Extracting # 13 : cost 0 11.433 * * [simplify]: iteration 0 : 111 enodes (cost 554 ) 11.478 * * [simplify]: Extracting # 0 : cost 0 11.479 * * [simplify]: Extracting # 1 : cost 0 11.479 * * [simplify]: Extracting # 2 : cost 0 11.479 * * [simplify]: Extracting # 3 : cost 0 11.480 * * [simplify]: Extracting # 4 : cost 0 11.480 * * [simplify]: iteration 1 : 272 enodes (cost 481 ) 11.607 * * [simplify]: Extracting # 0 : cost 0 11.609 * * [simplify]: Extracting # 1 : cost 0 11.610 * * [simplify]: Extracting # 2 : cost 0 11.611 * * [simplify]: Extracting # 3 : cost 0 11.612 * * [simplify]: Extracting # 4 : cost 0 11.613 * * [simplify]: iteration 2 : 674 enodes (cost 307 ) 12.254 * * [simplify]: Extracting # 0 : cost 0 12.259 * * [simplify]: Extracting # 1 : cost 0 12.265 * * [simplify]: Extracting # 2 : cost 0 12.269 * * [simplify]: Extracting # 3 : cost 0 12.272 * * [simplify]: Extracting # 4 : cost 0 12.274 * * [simplify]: iteration 3 : 2368 enodes (cost 301 ) 13.563 * * [simplify]: Extracting # 0 : cost 0 13.579 * * [simplify]: Extracting # 1 : cost 0 13.589 * * [simplify]: Extracting # 2 : cost 0 13.594 * * [simplify]: Extracting # 3 : cost 0 13.600 * * [simplify]: Extracting # 4 : cost 0 13.605 * * [simplify]: iteration done: 5000 enodes (cost 294 ) 13.606 * [simplify]: Simplified to: (log z) (log z) 1 2 1 (pow (sqrt z) (* (cbrt 2) (cbrt 2))) (pow (sqrt z) (sqrt 2)) (sqrt z) (pow (cbrt (sqrt z)) 4) (pow (cbrt (sqrt z)) 2) (* (cbrt z) (cbrt z)) (cbrt z) (sqrt z) (sqrt z) 1 z (sqrt z) (sqrt z) 1 z (log z) (exp z) (* (cbrt z) (cbrt z)) (cbrt z) (pow z 3) 1 (sqrt z) (sqrt z) (sqrt z) (sqrt z) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (log (* (pow z 2) y)) (exp (* (pow z 2) y)) (pow (* z (* z y)) 3) (pow (* z (* z y)) 3) (* (cbrt (* (pow z 2) y)) (cbrt (* (pow z 2) y))) (cbrt (* (pow z 2) y)) (pow (* z (* z y)) 3) (sqrt (* (pow z 2) y)) (sqrt (* (pow z 2) y)) (* z y) (* (pow (cbrt (sqrt z)) 2) (* y z)) (* (cbrt z) (* z y)) (* y (pow z 3/2)) (* (* z y) z) (* y (pow z 3/2)) (* (* z y) z) (* y (pow z 3/2)) (* (cbrt z) (* z y)) (* y (pow z 3/2)) (* (* z y) z) (* y (pow z 3/2)) (* +nan.0 (- (- (* z z) (pow z 4)) (pow z 3))) (- (- (/ (/ +nan.0 z) z) +nan.0) (/ +nan.0 z)) (- (- (/ (/ +nan.0 z) z) +nan.0) (/ +nan.0 z)) (* (* z y) z) (* (* z y) z) (* +nan.0 (- (- (/ y z) y) (* z y))) 13.606 * * * [progress]: adding candidates to table 13.784 * * [progress]: iteration 4 / 4 13.784 * * * [progress]: picking best candidate 13.787 * * * * [pick]: Picked # 13.787 * * * [progress]: localizing error 13.810 * * * [progress]: generating rewritten candidates 13.810 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 2) 13.829 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 13.889 * * * [progress]: generating series expansions 13.889 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 2) 13.890 * [backup-simplify]: Simplify (* y (pow z 3/2)) into (* (sqrt (pow z 3)) y) 13.890 * [approximate]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in (y z) around 0 13.890 * [taylor]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in z 13.890 * [taylor]: Taking taylor expansion of (sqrt (pow z 3)) in z 13.890 * [taylor]: Taking taylor expansion of (pow z 3) in z 13.890 * [taylor]: Taking taylor expansion of z in z 13.890 * [backup-simplify]: Simplify 0 into 0 13.890 * [backup-simplify]: Simplify 1 into 1 13.891 * [backup-simplify]: Simplify (* 1 1) into 1 13.891 * [backup-simplify]: Simplify (* 1 1) into 1 13.892 * [backup-simplify]: Simplify (sqrt 0) into 0 13.893 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 13.893 * [taylor]: Taking taylor expansion of y in z 13.893 * [backup-simplify]: Simplify y into y 13.893 * [taylor]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in y 13.893 * [taylor]: Taking taylor expansion of (sqrt (pow z 3)) in y 13.893 * [taylor]: Taking taylor expansion of (pow z 3) in y 13.893 * [taylor]: Taking taylor expansion of z in y 13.893 * [backup-simplify]: Simplify z into z 13.893 * [backup-simplify]: Simplify (* z z) into (pow z 2) 13.894 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 13.894 * [backup-simplify]: Simplify (sqrt (pow z 3)) into (sqrt (pow z 3)) 13.894 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 13.894 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (pow z 2))) into 0 13.894 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow z 3)))) into 0 13.894 * [taylor]: Taking taylor expansion of y in y 13.894 * [backup-simplify]: Simplify 0 into 0 13.894 * [backup-simplify]: Simplify 1 into 1 13.894 * [taylor]: Taking taylor expansion of (* (sqrt (pow z 3)) y) in y 13.895 * [taylor]: Taking taylor expansion of (sqrt (pow z 3)) in y 13.895 * [taylor]: Taking taylor expansion of (pow z 3) in y 13.895 * [taylor]: Taking taylor expansion of z in y 13.895 * [backup-simplify]: Simplify z into z 13.895 * [backup-simplify]: Simplify (* z z) into (pow z 2) 13.895 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 13.895 * [backup-simplify]: Simplify (sqrt (pow z 3)) into (sqrt (pow z 3)) 13.895 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 13.895 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (pow z 2))) into 0 13.895 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow z 3)))) into 0 13.895 * [taylor]: Taking taylor expansion of y in y 13.896 * [backup-simplify]: Simplify 0 into 0 13.896 * [backup-simplify]: Simplify 1 into 1 13.896 * [backup-simplify]: Simplify (* (sqrt (pow z 3)) 0) into 0 13.896 * [taylor]: Taking taylor expansion of 0 in z 13.896 * [backup-simplify]: Simplify 0 into 0 13.896 * [backup-simplify]: Simplify 0 into 0 13.897 * [backup-simplify]: Simplify (+ (* (sqrt (pow z 3)) 1) (* 0 0)) into (sqrt (pow z 3)) 13.897 * [taylor]: Taking taylor expansion of (sqrt (pow z 3)) in z 13.897 * [taylor]: Taking taylor expansion of (pow z 3) in z 13.897 * [taylor]: Taking taylor expansion of z in z 13.897 * [backup-simplify]: Simplify 0 into 0 13.897 * [backup-simplify]: Simplify 1 into 1 13.897 * [backup-simplify]: Simplify (* 1 1) into 1 13.897 * [backup-simplify]: Simplify (* 1 1) into 1 13.898 * [backup-simplify]: Simplify (sqrt 0) into 0 13.899 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 13.899 * [backup-simplify]: Simplify 0 into 0 13.899 * [backup-simplify]: Simplify 0 into 0 13.900 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 13.900 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0 13.902 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (pow z 3)))) into 0 13.903 * [backup-simplify]: Simplify (+ (* (sqrt (pow z 3)) 0) (+ (* 0 1) (* 0 0))) into 0 13.903 * [taylor]: Taking taylor expansion of 0 in z 13.903 * [backup-simplify]: Simplify 0 into 0 13.903 * [backup-simplify]: Simplify 0 into 0 13.903 * [backup-simplify]: Simplify +nan.0 into +nan.0 13.903 * [backup-simplify]: Simplify 0 into 0 13.904 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 13.905 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0 13.906 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow z 3)))) into 0 13.906 * [backup-simplify]: Simplify (+ (* (sqrt (pow z 3)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 13.906 * [taylor]: Taking taylor expansion of 0 in z 13.907 * [backup-simplify]: Simplify 0 into 0 13.907 * [backup-simplify]: Simplify 0 into 0 13.907 * [backup-simplify]: Simplify 0 into 0 13.907 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.908 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.911 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 13.911 * [backup-simplify]: Simplify +nan.0 into +nan.0 13.911 * [backup-simplify]: Simplify 0 into 0 13.912 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0 13.914 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2)))))) into 0 13.915 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (pow z 3)))) into 0 13.916 * [backup-simplify]: Simplify (+ (* (sqrt (pow z 3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 13.916 * [taylor]: Taking taylor expansion of 0 in z 13.916 * [backup-simplify]: Simplify 0 into 0 13.916 * [backup-simplify]: Simplify 0 into 0 13.916 * [backup-simplify]: Simplify 0 into 0 13.916 * [backup-simplify]: Simplify 0 into 0 13.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.922 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 13.922 * [backup-simplify]: Simplify +nan.0 into +nan.0 13.923 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow z 4) y)) (+ (* +nan.0 (* (pow z 3) y)) (* +nan.0 (* (pow z 2) y)))) into (- (+ (* +nan.0 (* (pow z 4) y)) (- (+ (* +nan.0 (* (pow z 2) y)) (- (* +nan.0 (* (pow z 3) y))))))) 13.923 * [backup-simplify]: Simplify (* (/ 1 y) (pow (/ 1 z) 3/2)) into (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) 13.924 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in (y z) around 0 13.924 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in z 13.924 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in z 13.924 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 13.924 * [taylor]: Taking taylor expansion of (pow z 3) in z 13.924 * [taylor]: Taking taylor expansion of z in z 13.924 * [backup-simplify]: Simplify 0 into 0 13.924 * [backup-simplify]: Simplify 1 into 1 13.924 * [backup-simplify]: Simplify (* 1 1) into 1 13.924 * [backup-simplify]: Simplify (* 1 1) into 1 13.925 * [backup-simplify]: Simplify (/ 1 1) into 1 13.925 * [backup-simplify]: Simplify (sqrt 0) into 0 13.927 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 13.927 * [taylor]: Taking taylor expansion of (/ 1 y) in z 13.927 * [taylor]: Taking taylor expansion of y in z 13.927 * [backup-simplify]: Simplify y into y 13.927 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.927 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in y 13.927 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in y 13.927 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 13.927 * [taylor]: Taking taylor expansion of (pow z 3) in y 13.927 * [taylor]: Taking taylor expansion of z in y 13.927 * [backup-simplify]: Simplify z into z 13.927 * [backup-simplify]: Simplify (* z z) into (pow z 2) 13.927 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 13.927 * [backup-simplify]: Simplify (/ 1 (pow z 3)) into (/ 1 (pow z 3)) 13.928 * [backup-simplify]: Simplify (sqrt (/ 1 (pow z 3))) into (sqrt (/ 1 (pow z 3))) 13.928 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 13.928 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (pow z 2))) into 0 13.928 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 3)) (/ 0 (pow z 3))))) into 0 13.928 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (pow z 3))))) into 0 13.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.928 * [taylor]: Taking taylor expansion of y in y 13.929 * [backup-simplify]: Simplify 0 into 0 13.929 * [backup-simplify]: Simplify 1 into 1 13.929 * [backup-simplify]: Simplify (/ 1 1) into 1 13.929 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (pow z 3))) (/ 1 y)) in y 13.929 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in y 13.929 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 13.929 * [taylor]: Taking taylor expansion of (pow z 3) in y 13.929 * [taylor]: Taking taylor expansion of z in y 13.929 * [backup-simplify]: Simplify z into z 13.929 * [backup-simplify]: Simplify (* z z) into (pow z 2) 13.929 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 13.929 * [backup-simplify]: Simplify (/ 1 (pow z 3)) into (/ 1 (pow z 3)) 13.930 * [backup-simplify]: Simplify (sqrt (/ 1 (pow z 3))) into (sqrt (/ 1 (pow z 3))) 13.930 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 13.930 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (pow z 2))) into 0 13.930 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 3)) (/ 0 (pow z 3))))) into 0 13.931 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (pow z 3))))) into 0 13.931 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.931 * [taylor]: Taking taylor expansion of y in y 13.931 * [backup-simplify]: Simplify 0 into 0 13.931 * [backup-simplify]: Simplify 1 into 1 13.931 * [backup-simplify]: Simplify (/ 1 1) into 1 13.931 * [backup-simplify]: Simplify (* (sqrt (/ 1 (pow z 3))) 1) into (sqrt (/ 1 (pow z 3))) 13.931 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow z 3))) in z 13.931 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 13.931 * [taylor]: Taking taylor expansion of (pow z 3) in z 13.931 * [taylor]: Taking taylor expansion of z in z 13.931 * [backup-simplify]: Simplify 0 into 0 13.931 * [backup-simplify]: Simplify 1 into 1 13.932 * [backup-simplify]: Simplify (* 1 1) into 1 13.932 * [backup-simplify]: Simplify (* 1 1) into 1 13.933 * [backup-simplify]: Simplify (/ 1 1) into 1 13.933 * [backup-simplify]: Simplify (sqrt 0) into 0 13.934 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 13.934 * [backup-simplify]: Simplify 0 into 0 13.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.936 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (pow z 3))) 0) (* 0 1)) into 0 13.936 * [taylor]: Taking taylor expansion of 0 in z 13.936 * [backup-simplify]: Simplify 0 into 0 13.936 * [backup-simplify]: Simplify +nan.0 into +nan.0 13.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.937 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 13.938 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0 13.938 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 3)) (/ 0 (pow z 3))) (* 0 (/ 0 (pow z 3))))) into 0 13.939 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (pow z 3))))) into 0 13.940 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (pow z 3))) 0) (+ (* 0 0) (* 0 1))) into 0 13.940 * [taylor]: Taking taylor expansion of 0 in z 13.940 * [backup-simplify]: Simplify 0 into 0 13.941 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.941 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.945 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 13.945 * [backup-simplify]: Simplify +nan.0 into +nan.0 13.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.947 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 13.948 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0 13.949 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 3)) (/ 0 (pow z 3))) (* 0 (/ 0 (pow z 3))) (* 0 (/ 0 (pow z 3))))) into 0 13.950 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (pow z 3))))) into 0 13.950 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (pow z 3))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 13.951 * [taylor]: Taking taylor expansion of 0 in z 13.951 * [backup-simplify]: Simplify 0 into 0 13.951 * [backup-simplify]: Simplify 0 into 0 13.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 13.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.962 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 13.962 * [backup-simplify]: Simplify +nan.0 into +nan.0 13.963 * [backup-simplify]: Simplify (+ (* +nan.0 (* (/ 1 z) (/ 1 (/ 1 y)))) (+ (* +nan.0 (* 1 (/ 1 (/ 1 y)))) (* +nan.0 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y)))))) into (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 13.963 * [backup-simplify]: Simplify (* (/ 1 (- y)) (pow (/ 1 (- z)) 3/2)) into (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) 13.963 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in (y z) around 0 13.963 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in z 13.963 * [taylor]: Taking taylor expansion of -1 in z 13.963 * [backup-simplify]: Simplify -1 into -1 13.963 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y)) in z 13.963 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in z 13.964 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in z 13.964 * [taylor]: Taking taylor expansion of (pow -1 3) in z 13.964 * [taylor]: Taking taylor expansion of -1 in z 13.964 * [backup-simplify]: Simplify -1 into -1 13.964 * [taylor]: Taking taylor expansion of (pow z 3) in z 13.964 * [taylor]: Taking taylor expansion of z in z 13.964 * [backup-simplify]: Simplify 0 into 0 13.964 * [backup-simplify]: Simplify 1 into 1 13.965 * [backup-simplify]: Simplify (* -1 -1) into 1 13.965 * [backup-simplify]: Simplify (* -1 1) into -1 13.965 * [backup-simplify]: Simplify (* 1 1) into 1 13.966 * [backup-simplify]: Simplify (* 1 1) into 1 13.966 * [backup-simplify]: Simplify (/ -1 1) into -1 13.967 * [backup-simplify]: Simplify (sqrt 0) into 0 13.968 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 13.968 * [taylor]: Taking taylor expansion of (/ 1 y) in z 13.968 * [taylor]: Taking taylor expansion of y in z 13.968 * [backup-simplify]: Simplify y into y 13.968 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.968 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in y 13.968 * [taylor]: Taking taylor expansion of -1 in y 13.968 * [backup-simplify]: Simplify -1 into -1 13.968 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y)) in y 13.969 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in y 13.969 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in y 13.969 * [taylor]: Taking taylor expansion of (pow -1 3) in y 13.969 * [taylor]: Taking taylor expansion of -1 in y 13.969 * [backup-simplify]: Simplify -1 into -1 13.969 * [taylor]: Taking taylor expansion of (pow z 3) in y 13.969 * [taylor]: Taking taylor expansion of z in y 13.969 * [backup-simplify]: Simplify z into z 13.969 * [backup-simplify]: Simplify (* -1 -1) into 1 13.970 * [backup-simplify]: Simplify (* -1 1) into -1 13.970 * [backup-simplify]: Simplify (* z z) into (pow z 2) 13.970 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 13.970 * [backup-simplify]: Simplify (/ -1 (pow z 3)) into (/ -1 (pow z 3)) 13.970 * [backup-simplify]: Simplify (sqrt (/ -1 (pow z 3))) into (sqrt (/ -1 (pow z 3))) 13.971 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 13.972 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 13.972 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 13.972 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (pow z 2))) into 0 13.972 * [backup-simplify]: Simplify (- (/ 0 (pow z 3)) (+ (* (/ -1 (pow z 3)) (/ 0 (pow z 3))))) into 0 13.973 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 (pow z 3))))) into 0 13.973 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.973 * [taylor]: Taking taylor expansion of y in y 13.973 * [backup-simplify]: Simplify 0 into 0 13.973 * [backup-simplify]: Simplify 1 into 1 13.973 * [backup-simplify]: Simplify (/ 1 1) into 1 13.973 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y))) in y 13.973 * [taylor]: Taking taylor expansion of -1 in y 13.973 * [backup-simplify]: Simplify -1 into -1 13.973 * [taylor]: Taking taylor expansion of (* (sqrt (/ (pow -1 3) (pow z 3))) (/ 1 y)) in y 13.973 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in y 13.973 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in y 13.973 * [taylor]: Taking taylor expansion of (pow -1 3) in y 13.973 * [taylor]: Taking taylor expansion of -1 in y 13.973 * [backup-simplify]: Simplify -1 into -1 13.974 * [taylor]: Taking taylor expansion of (pow z 3) in y 13.974 * [taylor]: Taking taylor expansion of z in y 13.974 * [backup-simplify]: Simplify z into z 13.974 * [backup-simplify]: Simplify (* -1 -1) into 1 13.974 * [backup-simplify]: Simplify (* -1 1) into -1 13.975 * [backup-simplify]: Simplify (* z z) into (pow z 2) 13.975 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 13.975 * [backup-simplify]: Simplify (/ -1 (pow z 3)) into (/ -1 (pow z 3)) 13.975 * [backup-simplify]: Simplify (sqrt (/ -1 (pow z 3))) into (sqrt (/ -1 (pow z 3))) 13.976 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 13.976 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 13.976 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 13.977 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (pow z 2))) into 0 13.977 * [backup-simplify]: Simplify (- (/ 0 (pow z 3)) (+ (* (/ -1 (pow z 3)) (/ 0 (pow z 3))))) into 0 13.977 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 (pow z 3))))) into 0 13.977 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.977 * [taylor]: Taking taylor expansion of y in y 13.977 * [backup-simplify]: Simplify 0 into 0 13.977 * [backup-simplify]: Simplify 1 into 1 13.978 * [backup-simplify]: Simplify (/ 1 1) into 1 13.978 * [backup-simplify]: Simplify (* (sqrt (/ -1 (pow z 3))) 1) into (sqrt (/ -1 (pow z 3))) 13.978 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 (pow z 3)))) into (* -1 (sqrt (/ -1 (pow z 3)))) 13.978 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 (pow z 3)))) in z 13.978 * [taylor]: Taking taylor expansion of -1 in z 13.978 * [backup-simplify]: Simplify -1 into -1 13.978 * [taylor]: Taking taylor expansion of (sqrt (/ -1 (pow z 3))) in z 13.978 * [taylor]: Taking taylor expansion of (/ -1 (pow z 3)) in z 13.978 * [taylor]: Taking taylor expansion of -1 in z 13.978 * [backup-simplify]: Simplify -1 into -1 13.978 * [taylor]: Taking taylor expansion of (pow z 3) in z 13.979 * [taylor]: Taking taylor expansion of z in z 13.979 * [backup-simplify]: Simplify 0 into 0 13.979 * [backup-simplify]: Simplify 1 into 1 13.979 * [backup-simplify]: Simplify (* 1 1) into 1 13.979 * [backup-simplify]: Simplify (* 1 1) into 1 13.980 * [backup-simplify]: Simplify (/ -1 1) into -1 13.980 * [backup-simplify]: Simplify (sqrt 0) into 0 13.981 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 13.982 * [backup-simplify]: Simplify (* -1 0) into 0 13.982 * [backup-simplify]: Simplify 0 into 0 13.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.983 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 (pow z 3))) 0) (* 0 1)) into 0 13.984 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 (pow z 3))))) into 0 13.984 * [taylor]: Taking taylor expansion of 0 in z 13.984 * [backup-simplify]: Simplify 0 into 0 13.985 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (* 0 0)) into (- +nan.0) 13.986 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 13.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.988 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 13.989 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 13.989 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 13.990 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0 13.990 * [backup-simplify]: Simplify (- (/ 0 (pow z 3)) (+ (* (/ -1 (pow z 3)) (/ 0 (pow z 3))) (* 0 (/ 0 (pow z 3))))) into 0 13.991 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 (pow z 3))))) into 0 13.992 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 (pow z 3))) 0) (+ (* 0 0) (* 0 1))) into 0 13.993 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 (pow z 3)))))) into 0 13.993 * [taylor]: Taking taylor expansion of 0 in z 13.993 * [backup-simplify]: Simplify 0 into 0 13.994 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.994 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 13.998 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 14.001 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0) 14.002 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 14.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.004 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 14.005 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.006 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 14.007 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0 14.008 * [backup-simplify]: Simplify (- (/ 0 (pow z 3)) (+ (* (/ -1 (pow z 3)) (/ 0 (pow z 3))) (* 0 (/ 0 (pow z 3))) (* 0 (/ 0 (pow z 3))))) into 0 14.009 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ -1 (pow z 3))))) into 0 14.010 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 (pow z 3))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.011 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ -1 (pow z 3))))))) into 0 14.011 * [taylor]: Taking taylor expansion of 0 in z 14.011 * [backup-simplify]: Simplify 0 into 0 14.012 * [backup-simplify]: Simplify 0 into 0 14.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.015 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.019 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 14.021 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- +nan.0) 14.022 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 14.023 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (- z)) (/ 1 (/ 1 (- y))))) (+ (* (- +nan.0) (* 1 (/ 1 (/ 1 (- y))))) (* (- +nan.0) (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y))))))) into (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 14.023 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 14.024 * [backup-simplify]: Simplify (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2))) into (* (pow z 2) y) 14.024 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (z y) around 0 14.024 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 14.024 * [taylor]: Taking taylor expansion of (pow z 2) in y 14.024 * [taylor]: Taking taylor expansion of z in y 14.024 * [backup-simplify]: Simplify z into z 14.024 * [taylor]: Taking taylor expansion of y in y 14.024 * [backup-simplify]: Simplify 0 into 0 14.024 * [backup-simplify]: Simplify 1 into 1 14.025 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 14.025 * [taylor]: Taking taylor expansion of (pow z 2) in z 14.025 * [taylor]: Taking taylor expansion of z in z 14.025 * [backup-simplify]: Simplify 0 into 0 14.025 * [backup-simplify]: Simplify 1 into 1 14.025 * [taylor]: Taking taylor expansion of y in z 14.025 * [backup-simplify]: Simplify y into y 14.025 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 14.025 * [taylor]: Taking taylor expansion of (pow z 2) in z 14.025 * [taylor]: Taking taylor expansion of z in z 14.025 * [backup-simplify]: Simplify 0 into 0 14.025 * [backup-simplify]: Simplify 1 into 1 14.025 * [taylor]: Taking taylor expansion of y in z 14.025 * [backup-simplify]: Simplify y into y 14.025 * [backup-simplify]: Simplify (* 1 1) into 1 14.025 * [backup-simplify]: Simplify (* 1 y) into y 14.025 * [taylor]: Taking taylor expansion of y in y 14.026 * [backup-simplify]: Simplify 0 into 0 14.026 * [backup-simplify]: Simplify 1 into 1 14.026 * [backup-simplify]: Simplify 0 into 0 14.026 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.027 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0 14.027 * [taylor]: Taking taylor expansion of 0 in y 14.027 * [backup-simplify]: Simplify 0 into 0 14.027 * [backup-simplify]: Simplify 0 into 0 14.027 * [backup-simplify]: Simplify 1 into 1 14.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0 14.029 * [taylor]: Taking taylor expansion of 0 in y 14.029 * [backup-simplify]: Simplify 0 into 0 14.029 * [backup-simplify]: Simplify 0 into 0 14.029 * [backup-simplify]: Simplify 0 into 0 14.029 * [backup-simplify]: Simplify 0 into 0 14.030 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.031 * [taylor]: Taking taylor expansion of 0 in y 14.031 * [backup-simplify]: Simplify 0 into 0 14.032 * [backup-simplify]: Simplify 0 into 0 14.032 * [backup-simplify]: Simplify 0 into 0 14.032 * [backup-simplify]: Simplify 0 into 0 14.032 * [backup-simplify]: Simplify (* 1 (* y (pow z 2))) into (* (pow z 2) y) 14.033 * [backup-simplify]: Simplify (* (pow (sqrt (/ 1 z)) (/ 2 2)) (* (/ 1 y) (pow (/ 1 z) 3/2))) into (/ 1 (* (pow z 2) y)) 14.033 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (z y) around 0 14.033 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 14.033 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 14.033 * [taylor]: Taking taylor expansion of (pow z 2) in y 14.033 * [taylor]: Taking taylor expansion of z in y 14.033 * [backup-simplify]: Simplify z into z 14.033 * [taylor]: Taking taylor expansion of y in y 14.033 * [backup-simplify]: Simplify 0 into 0 14.033 * [backup-simplify]: Simplify 1 into 1 14.033 * [backup-simplify]: Simplify (* z z) into (pow z 2) 14.033 * [backup-simplify]: Simplify (* (pow z 2) 0) into 0 14.033 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 14.034 * [backup-simplify]: Simplify (+ (* (pow z 2) 1) (* 0 0)) into (pow z 2) 14.034 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 14.034 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 14.034 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 14.034 * [taylor]: Taking taylor expansion of (pow z 2) in z 14.034 * [taylor]: Taking taylor expansion of z in z 14.034 * [backup-simplify]: Simplify 0 into 0 14.034 * [backup-simplify]: Simplify 1 into 1 14.034 * [taylor]: Taking taylor expansion of y in z 14.034 * [backup-simplify]: Simplify y into y 14.035 * [backup-simplify]: Simplify (* 1 1) into 1 14.035 * [backup-simplify]: Simplify (* 1 y) into y 14.035 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.035 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 14.035 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 14.035 * [taylor]: Taking taylor expansion of (pow z 2) in z 14.035 * [taylor]: Taking taylor expansion of z in z 14.035 * [backup-simplify]: Simplify 0 into 0 14.035 * [backup-simplify]: Simplify 1 into 1 14.035 * [taylor]: Taking taylor expansion of y in z 14.035 * [backup-simplify]: Simplify y into y 14.036 * [backup-simplify]: Simplify (* 1 1) into 1 14.036 * [backup-simplify]: Simplify (* 1 y) into y 14.036 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.036 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.036 * [taylor]: Taking taylor expansion of y in y 14.036 * [backup-simplify]: Simplify 0 into 0 14.036 * [backup-simplify]: Simplify 1 into 1 14.037 * [backup-simplify]: Simplify (/ 1 1) into 1 14.037 * [backup-simplify]: Simplify 1 into 1 14.038 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.038 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 y)) into 0 14.038 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.038 * [taylor]: Taking taylor expansion of 0 in y 14.038 * [backup-simplify]: Simplify 0 into 0 14.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.039 * [backup-simplify]: Simplify 0 into 0 14.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.041 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 y))) into 0 14.041 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.041 * [taylor]: Taking taylor expansion of 0 in y 14.041 * [backup-simplify]: Simplify 0 into 0 14.041 * [backup-simplify]: Simplify 0 into 0 14.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.042 * [backup-simplify]: Simplify 0 into 0 14.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 14.045 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.045 * [taylor]: Taking taylor expansion of 0 in y 14.045 * [backup-simplify]: Simplify 0 into 0 14.045 * [backup-simplify]: Simplify 0 into 0 14.045 * [backup-simplify]: Simplify 0 into 0 14.046 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.046 * [backup-simplify]: Simplify 0 into 0 14.046 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (pow (/ 1 z) -2))) into (* (pow z 2) y) 14.047 * [backup-simplify]: Simplify (* (pow (sqrt (/ 1 (- z))) (/ 2 2)) (* (/ 1 (- y)) (pow (/ 1 (- z)) 3/2))) into (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) 14.047 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in (z y) around 0 14.047 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in y 14.047 * [taylor]: Taking taylor expansion of -1 in y 14.047 * [backup-simplify]: Simplify -1 into -1 14.047 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y) in y 14.047 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) in y 14.047 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in y 14.047 * [taylor]: Taking taylor expansion of (/ -1 z) in y 14.047 * [taylor]: Taking taylor expansion of -1 in y 14.047 * [backup-simplify]: Simplify -1 into -1 14.047 * [taylor]: Taking taylor expansion of z in y 14.047 * [backup-simplify]: Simplify z into z 14.048 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 14.048 * [backup-simplify]: Simplify (sqrt (/ -1 z)) into (sqrt (/ -1 z)) 14.048 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 14.048 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 z)))) into 0 14.048 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in y 14.048 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in y 14.048 * [taylor]: Taking taylor expansion of (pow -1 3) in y 14.048 * [taylor]: Taking taylor expansion of -1 in y 14.048 * [backup-simplify]: Simplify -1 into -1 14.048 * [taylor]: Taking taylor expansion of (pow z 3) in y 14.048 * [taylor]: Taking taylor expansion of z in y 14.048 * [backup-simplify]: Simplify z into z 14.049 * [backup-simplify]: Simplify (* -1 -1) into 1 14.049 * [backup-simplify]: Simplify (* -1 1) into -1 14.049 * [backup-simplify]: Simplify (* z z) into (pow z 2) 14.049 * [backup-simplify]: Simplify (* z (pow z 2)) into (pow z 3) 14.049 * [backup-simplify]: Simplify (/ -1 (pow z 3)) into (/ -1 (pow z 3)) 14.050 * [backup-simplify]: Simplify (sqrt (/ -1 (pow z 3))) into (sqrt (/ -1 (pow z 3))) 14.050 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 14.051 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 14.051 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 14.051 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (pow z 2))) into 0 14.052 * [backup-simplify]: Simplify (- (/ 0 (pow z 3)) (+ (* (/ -1 (pow z 3)) (/ 0 (pow z 3))))) into 0 14.052 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 (pow z 3))))) into 0 14.052 * [taylor]: Taking taylor expansion of y in y 14.052 * [backup-simplify]: Simplify 0 into 0 14.052 * [backup-simplify]: Simplify 1 into 1 14.052 * [backup-simplify]: Simplify (* (sqrt (/ -1 z)) (sqrt (/ -1 (pow z 3)))) into (* (sqrt (/ -1 z)) (sqrt (/ -1 (pow z 3)))) 14.052 * [backup-simplify]: Simplify (/ (* (sqrt (/ -1 z)) (sqrt (/ -1 (pow z 3)))) 1) into (* (sqrt (/ -1 z)) (sqrt (/ -1 (pow z 3)))) 14.053 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in z 14.053 * [taylor]: Taking taylor expansion of -1 in z 14.053 * [backup-simplify]: Simplify -1 into -1 14.053 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y) in z 14.053 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) in z 14.053 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 14.053 * [taylor]: Taking taylor expansion of (/ -1 z) in z 14.053 * [taylor]: Taking taylor expansion of -1 in z 14.053 * [backup-simplify]: Simplify -1 into -1 14.053 * [taylor]: Taking taylor expansion of z in z 14.053 * [backup-simplify]: Simplify 0 into 0 14.053 * [backup-simplify]: Simplify 1 into 1 14.053 * [backup-simplify]: Simplify (/ -1 1) into -1 14.054 * [backup-simplify]: Simplify (sqrt 0) into 0 14.055 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 14.055 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in z 14.055 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in z 14.055 * [taylor]: Taking taylor expansion of (pow -1 3) in z 14.055 * [taylor]: Taking taylor expansion of -1 in z 14.055 * [backup-simplify]: Simplify -1 into -1 14.055 * [taylor]: Taking taylor expansion of (pow z 3) in z 14.055 * [taylor]: Taking taylor expansion of z in z 14.055 * [backup-simplify]: Simplify 0 into 0 14.055 * [backup-simplify]: Simplify 1 into 1 14.056 * [backup-simplify]: Simplify (* -1 -1) into 1 14.056 * [backup-simplify]: Simplify (* -1 1) into -1 14.056 * [backup-simplify]: Simplify (* 1 1) into 1 14.057 * [backup-simplify]: Simplify (* 1 1) into 1 14.057 * [backup-simplify]: Simplify (/ -1 1) into -1 14.057 * [backup-simplify]: Simplify (sqrt 0) into 0 14.059 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 14.059 * [taylor]: Taking taylor expansion of y in z 14.059 * [backup-simplify]: Simplify y into y 14.059 * [backup-simplify]: Simplify (* 0 0) into 0 14.060 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 14.060 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 14.061 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 14.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.067 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 14.068 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.071 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 14.074 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) 14.074 * [backup-simplify]: Simplify (/ (- +nan.0) y) into (/ +nan.0 y) 14.074 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y)) in z 14.074 * [taylor]: Taking taylor expansion of -1 in z 14.074 * [backup-simplify]: Simplify -1 into -1 14.074 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) y) in z 14.075 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 z)) (sqrt (/ (pow -1 3) (pow z 3)))) in z 14.075 * [taylor]: Taking taylor expansion of (sqrt (/ -1 z)) in z 14.075 * [taylor]: Taking taylor expansion of (/ -1 z) in z 14.075 * [taylor]: Taking taylor expansion of -1 in z 14.075 * [backup-simplify]: Simplify -1 into -1 14.075 * [taylor]: Taking taylor expansion of z in z 14.075 * [backup-simplify]: Simplify 0 into 0 14.075 * [backup-simplify]: Simplify 1 into 1 14.075 * [backup-simplify]: Simplify (/ -1 1) into -1 14.076 * [backup-simplify]: Simplify (sqrt 0) into 0 14.077 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 14.077 * [taylor]: Taking taylor expansion of (sqrt (/ (pow -1 3) (pow z 3))) in z 14.077 * [taylor]: Taking taylor expansion of (/ (pow -1 3) (pow z 3)) in z 14.077 * [taylor]: Taking taylor expansion of (pow -1 3) in z 14.077 * [taylor]: Taking taylor expansion of -1 in z 14.077 * [backup-simplify]: Simplify -1 into -1 14.077 * [taylor]: Taking taylor expansion of (pow z 3) in z 14.077 * [taylor]: Taking taylor expansion of z in z 14.077 * [backup-simplify]: Simplify 0 into 0 14.077 * [backup-simplify]: Simplify 1 into 1 14.078 * [backup-simplify]: Simplify (* -1 -1) into 1 14.078 * [backup-simplify]: Simplify (* -1 1) into -1 14.078 * [backup-simplify]: Simplify (* 1 1) into 1 14.079 * [backup-simplify]: Simplify (* 1 1) into 1 14.080 * [backup-simplify]: Simplify (/ -1 1) into -1 14.080 * [backup-simplify]: Simplify (sqrt 0) into 0 14.081 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 14.081 * [taylor]: Taking taylor expansion of y in z 14.081 * [backup-simplify]: Simplify y into y 14.082 * [backup-simplify]: Simplify (* 0 0) into 0 14.082 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 14.083 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 14.084 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 14.084 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.085 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 14.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.089 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 14.090 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 14.093 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 14.096 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) 14.097 * [backup-simplify]: Simplify (/ (- +nan.0) y) into (/ +nan.0 y) 14.097 * [backup-simplify]: Simplify (* -1 (/ +nan.0 y)) into (/ +nan.0 y) 14.097 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y 14.097 * [taylor]: Taking taylor expansion of +nan.0 in y 14.097 * [backup-simplify]: Simplify +nan.0 into +nan.0 14.097 * [taylor]: Taking taylor expansion of y in y 14.097 * [backup-simplify]: Simplify 0 into 0 14.097 * [backup-simplify]: Simplify 1 into 1 14.097 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0 14.097 * [backup-simplify]: Simplify +nan.0 into +nan.0 14.098 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 14.099 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 14.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 14.102 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.104 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 14.105 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.107 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 14.109 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) 14.112 * [backup-simplify]: Simplify (- (/ (- +nan.0) y) (+ (* (/ +nan.0 y) (/ 0 y)))) into (- (* +nan.0 (/ 1 y))) 14.112 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 y)))) (* 0 (/ +nan.0 y))) into (- (* +nan.0 (/ 1 y))) 14.112 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 14.112 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 14.112 * [taylor]: Taking taylor expansion of +nan.0 in y 14.112 * [backup-simplify]: Simplify +nan.0 into +nan.0 14.112 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.112 * [taylor]: Taking taylor expansion of y in y 14.113 * [backup-simplify]: Simplify 0 into 0 14.113 * [backup-simplify]: Simplify 1 into 1 14.113 * [backup-simplify]: Simplify (/ 1 1) into 1 14.113 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 14.113 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 14.114 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 14.114 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0 14.114 * [backup-simplify]: Simplify 0 into 0 14.115 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 14.116 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.120 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 14.121 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.124 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 14.129 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0) 14.130 * [backup-simplify]: Simplify (- (/ (- +nan.0) y) (+ (* (/ +nan.0 y) (/ 0 y)) (* (- (* +nan.0 (/ 1 y))) (/ 0 y)))) into (- (* +nan.0 (/ 1 y))) 14.130 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 y)))) (+ (* 0 (- (* +nan.0 (/ 1 y)))) (* 0 (/ +nan.0 y)))) into (- (* +nan.0 (/ 1 y))) 14.130 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 14.130 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 14.130 * [taylor]: Taking taylor expansion of +nan.0 in y 14.130 * [backup-simplify]: Simplify +nan.0 into +nan.0 14.130 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.130 * [taylor]: Taking taylor expansion of y in y 14.130 * [backup-simplify]: Simplify 0 into 0 14.130 * [backup-simplify]: Simplify 1 into 1 14.130 * [backup-simplify]: Simplify (/ 1 1) into 1 14.131 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 14.131 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 14.131 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 14.133 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (/ 1 (- z)))) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) 1)) (* +nan.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z))))))) into (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 14.133 * * * [progress]: simplifying candidates 14.134 * [simplify]: Simplifying: (+ (log y) (* (log z) 3/2)) (+ (log y) (* (log z) 3/2)) (+ (log y) (log (pow z 3/2))) (log (* y (pow z 3/2))) (exp (* y (pow z 3/2))) (* (* (* y y) y) (* (* (pow z 3/2) (pow z 3/2)) (pow z 3/2))) (* (cbrt (* y (pow z 3/2))) (cbrt (* y (pow z 3/2)))) (cbrt (* y (pow z 3/2))) (* (* (* y (pow z 3/2)) (* y (pow z 3/2))) (* y (pow z 3/2))) (sqrt (* y (pow z 3/2))) (sqrt (* y (pow z 3/2))) (* (sqrt y) (pow (sqrt z) 3/2)) (* (sqrt y) (pow (sqrt z) 3/2)) (* (sqrt y) (sqrt (pow z 3/2))) (* (sqrt y) (sqrt (pow z 3/2))) (* (sqrt y) (pow z (/ 3/2 2))) (* (sqrt y) (pow z (/ 3/2 2))) (* y (pow (* (cbrt z) (cbrt z)) 3/2)) (* y (pow (sqrt z) 3/2)) (* y (pow 1 3/2)) (* y (* (cbrt (pow z 3/2)) (cbrt (pow z 3/2)))) (* y (sqrt (pow z 3/2))) (* y 1) (* y (pow z (/ 3/2 2))) (* (cbrt y) (pow z 3/2)) (* (sqrt y) (pow z 3/2)) (* y (pow z 3/2)) (+ (* (log (sqrt z)) (/ 2 2)) (+ (log y) (* (log z) 3/2))) (+ (* (log (sqrt z)) (/ 2 2)) (+ (log y) (* (log z) 3/2))) (+ (* (log (sqrt z)) (/ 2 2)) (+ (log y) (log (pow z 3/2)))) (+ (* (log (sqrt z)) (/ 2 2)) (log (* y (pow z 3/2)))) (+ (* (log (sqrt z)) (/ 2 2)) (+ (log y) (* (log z) 3/2))) (+ (* (log (sqrt z)) (/ 2 2)) (+ (log y) (* (log z) 3/2))) (+ (* (log (sqrt z)) (/ 2 2)) (+ (log y) (log (pow z 3/2)))) (+ (* (log (sqrt z)) (/ 2 2)) (log (* y (pow z 3/2)))) (+ (log (pow (sqrt z) (/ 2 2))) (+ (log y) (* (log z) 3/2))) (+ (log (pow (sqrt z) (/ 2 2))) (+ (log y) (* (log z) 3/2))) (+ (log (pow (sqrt z) (/ 2 2))) (+ (log y) (log (pow z 3/2)))) (+ (log (pow (sqrt z) (/ 2 2))) (log (* y (pow z 3/2)))) (log (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2)))) (exp (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2)))) (* (* (* (pow (sqrt z) (/ 2 2)) (pow (sqrt z) (/ 2 2))) (pow (sqrt z) (/ 2 2))) (* (* (* y y) y) (* (* (pow z 3/2) (pow z 3/2)) (pow z 3/2)))) (* (* (* (pow (sqrt z) (/ 2 2)) (pow (sqrt z) (/ 2 2))) (pow (sqrt z) (/ 2 2))) (* (* (* y (pow z 3/2)) (* y (pow z 3/2))) (* y (pow z 3/2)))) (* (cbrt (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2)))) (cbrt (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2))))) (cbrt (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2)))) (* (* (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2))) (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2)))) (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2)))) (sqrt (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2)))) (sqrt (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2)))) (* (pow (sqrt z) (/ 2 2)) y) (* (pow (cbrt (sqrt z)) (/ 2 2)) (* y (pow z 3/2))) (* (pow (sqrt (cbrt z)) (/ 2 2)) (* y (pow z 3/2))) (* (pow (sqrt (sqrt z)) (/ 2 2)) (* y (pow z 3/2))) (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2))) (* (pow (sqrt (sqrt z)) (/ 2 2)) (* y (pow z 3/2))) (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2))) (* (cbrt (pow (sqrt z) (/ 2 2))) (* y (pow z 3/2))) (* (sqrt (pow (sqrt z) (/ 2 2))) (* y (pow z 3/2))) (* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2))) (* (pow (sqrt z) (/ (/ 2 2) 2)) (* y (pow z 3/2))) (- (+ (* +nan.0 (* (pow z 4) y)) (- (+ (* +nan.0 (* (pow z 2) y)) (- (* +nan.0 (* (pow z 3) y))))))) (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) (* (pow z 2) y) (* (pow z 2) y) (- (+ (* +nan.0 (* z y)) (- (+ (* +nan.0 (/ y z)) (- (* +nan.0 y)))))) 14.137 * * [simplify]: Extracting # 0 : cost 0 14.137 * * [simplify]: Extracting # 1 : cost 0 14.137 * * [simplify]: Extracting # 2 : cost 0 14.137 * * [simplify]: Extracting # 3 : cost 0 14.138 * * [simplify]: Extracting # 4 : cost 0 14.138 * * [simplify]: Extracting # 5 : cost 0 14.138 * * [simplify]: Extracting # 6 : cost 0 14.138 * * [simplify]: Extracting # 7 : cost 0 14.139 * * [simplify]: Extracting # 8 : cost 0 14.139 * * [simplify]: Extracting # 9 : cost 0 14.139 * * [simplify]: Extracting # 10 : cost 0 14.140 * * [simplify]: Extracting # 11 : cost 0 14.140 * * [simplify]: Extracting # 12 : cost 0 14.140 * * [simplify]: Extracting # 13 : cost 0 14.140 * * [simplify]: iteration 0 : 117 enodes (cost 815 ) 14.199 * * [simplify]: Extracting # 0 : cost 0 14.200 * * [simplify]: Extracting # 1 : cost 0 14.201 * * [simplify]: Extracting # 2 : cost 0 14.201 * * [simplify]: Extracting # 3 : cost 0 14.202 * * [simplify]: Extracting # 4 : cost 0 14.202 * * [simplify]: iteration 1 : 294 enodes (cost 656 ) 14.329 * * [simplify]: Extracting # 0 : cost 0 14.335 * * [simplify]: Extracting # 1 : cost 0 14.336 * * [simplify]: Extracting # 2 : cost 0 14.337 * * [simplify]: Extracting # 3 : cost 0 14.338 * * [simplify]: Extracting # 4 : cost 0 14.339 * * [simplify]: iteration 2 : 835 enodes (cost 538 ) 15.562 * * [simplify]: Extracting # 0 : cost 0 15.571 * * [simplify]: Extracting # 1 : cost 0 15.579 * * [simplify]: Extracting # 2 : cost 0 15.584 * * [simplify]: Extracting # 3 : cost 0 15.592 * * [simplify]: Extracting # 4 : cost 0 15.596 * * [simplify]: iteration 3 : 3978 enodes (cost 528 ) 18.316 * * [simplify]: Extracting # 0 : cost 0 18.331 * * [simplify]: Extracting # 1 : cost 0 18.342 * * [simplify]: Extracting # 2 : cost 0 18.348 * * [simplify]: Extracting # 3 : cost 0 18.354 * * [simplify]: iteration done: 5000 enodes (cost 528 ) 18.355 * [simplify]: Simplified to: (log (* y (pow z 3/2))) (log (* y (pow z 3/2))) (log (* y (pow z 3/2))) (log (* y (pow z 3/2))) (exp (* y (pow z 3/2))) (pow (* y (pow z 3/2)) 3) (* (cbrt (* y (pow z 3/2))) (cbrt (* y (pow z 3/2)))) (cbrt (* y (pow z 3/2))) (pow (* y (pow z 3/2)) 3) (sqrt (* y (pow z 3/2))) (sqrt (* y (pow z 3/2))) (* (sqrt y) (pow (sqrt z) 3/2)) (* (sqrt y) (pow (sqrt z) 3/2)) (* (sqrt y) (sqrt (pow z 3/2))) (* (sqrt y) (sqrt (pow z 3/2))) (* (sqrt y) (pow z 3/4)) (* (sqrt y) (pow z 3/4)) (* y (pow (* (cbrt z) (cbrt z)) 3/2)) (* y (pow (sqrt z) 3/2)) y (* y (* (cbrt (pow z 3/2)) (cbrt (pow z 3/2)))) (* y (sqrt (pow z 3/2))) y (* y (pow z 3/4)) (* (cbrt y) (pow z 3/2)) (* (sqrt y) (pow z 3/2)) (* y (pow z 3/2)) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (log (* (pow z 3/2) (* y (sqrt z)))) (pow (exp (* y (pow z 3/2))) (sqrt z)) (pow (* (pow z 3/2) (* y (sqrt z))) 3) (pow (* (pow z 3/2) (* y (sqrt z))) 3) (* (cbrt (* (pow z 3/2) (* y (sqrt z)))) (cbrt (* (pow z 3/2) (* y (sqrt z))))) (cbrt (* (pow z 3/2) (* y (sqrt z)))) (pow (* (pow z 3/2) (* y (sqrt z))) 3) (sqrt (* (pow z 3/2) (* y (sqrt z)))) (sqrt (* (pow z 3/2) (* y (sqrt z)))) (* y (sqrt z)) (* (* y (pow z 3/2)) (cbrt (sqrt z))) (* (* y (pow z 3/2)) (sqrt (cbrt z))) (* (* y (sqrt (sqrt z))) (pow z 3/2)) (* (pow z 3/2) (* y (sqrt z))) (* (* y (sqrt (sqrt z))) (pow z 3/2)) (* (pow z 3/2) (* y (sqrt z))) (* (* y (pow z 3/2)) (cbrt (sqrt z))) (* (* y (sqrt (sqrt z))) (pow z 3/2)) (* (pow z 3/2) (* y (sqrt z))) (* (* y (sqrt (sqrt z))) (pow z 3/2)) (* +nan.0 (+ (- (* (pow z 4) y)) (* (pow z 2) (- y (* z y))))) (- (* +nan.0 (- (* z y) (- (/ y z) y)))) (- (* +nan.0 (- (* z y) (- (/ y z) y)))) (* (pow z 2) y) (* (pow z 2) y) (- (* +nan.0 (- (* z y) (- (/ y z) y)))) 18.355 * * * [progress]: adding candidates to table 18.566 * [progress]: [Phase 3 of 3] Extracting. 18.566 * * [regime]: Finding splitpoints for: (# # # #) 18.568 * * * [regime-changes]: Trying 5 branch expressions: ((* (* y z) z) (+ x (* (* y z) z)) z y x) 18.569 * * * * [regimes]: Trying to branch on (* (* y z) z) from (# # # #) 18.604 * * * * [regimes]: Trying to branch on (+ x (* (* y z) z)) from (# # # #) 18.642 * * * * [regimes]: Trying to branch on z from (# # # #) 18.676 * * * * [regimes]: Trying to branch on y from (# # # #) 18.712 * * * * [regimes]: Trying to branch on x from (# # # #) 18.746 * * * [regime]: Found split indices: #