34.324 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.050 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.052 * [simplify]: Simplifying: (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)) 0.052 * * [simplify]: Extracting # 0 : cost 0 0.052 * * [simplify]: Extracting # 1 : cost 0 0.052 * * [simplify]: Extracting # 2 : cost 0 0.052 * * [simplify]: Extracting # 3 : cost 0 0.052 * * [simplify]: Extracting # 4 : cost 0 0.052 * * [simplify]: Extracting # 5 : cost 0 0.052 * * [simplify]: Extracting # 6 : cost 0 0.052 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 0.054 * * [simplify]: Extracting # 0 : cost 0 0.054 * * [simplify]: Extracting # 1 : cost 0 0.054 * * [simplify]: Extracting # 2 : cost 0 0.054 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.057 * * [simplify]: Extracting # 1 : cost 0 0.057 * * [simplify]: Extracting # 2 : cost 0 0.057 * * [simplify]: Extracting # 3 : cost 0 0.057 * * [simplify]: iteration 2 : 33 enodes (cost 11 ) 0.064 * * [simplify]: Extracting # 0 : cost 0 0.065 * * [simplify]: Extracting # 1 : cost 0 0.065 * * [simplify]: Extracting # 2 : cost 0 0.065 * * [simplify]: Extracting # 3 : cost 0 0.065 * * [simplify]: iteration 3 : 56 enodes (cost 8 ) 0.075 * * [simplify]: Extracting # 0 : cost 0 0.075 * * [simplify]: Extracting # 1 : cost 0 0.076 * * [simplify]: iteration 4 : 74 enodes (cost 8 ) 0.102 * * [simplify]: Extracting # 0 : cost 0 0.102 * * [simplify]: iteration 5 : 80 enodes (cost 8 ) 0.114 * * [simplify]: Extracting # 0 : cost 0 0.114 * * [simplify]: iteration done: 80 enodes (cost 8 ) 0.114 * [simplify]: Simplified to: (fma y x (* 3 (* z z))) 0.117 * * [progress]: iteration 1 / 4 0.117 * * * [progress]: picking best candidate 0.120 * * * * [pick]: Picked # 0.120 * * * [progress]: localizing error 0.128 * * * [progress]: generating rewritten candidates 0.128 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 0.149 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.151 * * * [progress]: generating series expansions 0.151 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 0.151 * [backup-simplify]: Simplify (* 3 (* z z)) into (* 3 (pow z 2)) 0.151 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0 0.151 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 0.151 * [taylor]: Taking taylor expansion of 3 in z 0.151 * [backup-simplify]: Simplify 3 into 3 0.151 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.152 * [taylor]: Taking taylor expansion of z in z 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 1 into 1 0.152 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 0.152 * [taylor]: Taking taylor expansion of 3 in z 0.152 * [backup-simplify]: Simplify 3 into 3 0.152 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.152 * [taylor]: Taking taylor expansion of z in z 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 1 into 1 0.152 * [backup-simplify]: Simplify (* 1 1) into 1 0.153 * [backup-simplify]: Simplify (* 3 1) into 3 0.153 * [backup-simplify]: Simplify 3 into 3 0.154 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.154 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 0.154 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.156 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 0.156 * [backup-simplify]: Simplify 0 into 0 0.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.158 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.158 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.161 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.161 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.164 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.164 * [backup-simplify]: Simplify 0 into 0 0.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.167 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.167 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 0.168 * [backup-simplify]: Simplify (* 3 (* (/ 1 z) (/ 1 z))) into (/ 3 (pow z 2)) 0.168 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 0.168 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.168 * [taylor]: Taking taylor expansion of 3 in z 0.168 * [backup-simplify]: Simplify 3 into 3 0.168 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.168 * [taylor]: Taking taylor expansion of z in z 0.168 * [backup-simplify]: Simplify 0 into 0 0.168 * [backup-simplify]: Simplify 1 into 1 0.168 * [backup-simplify]: Simplify (* 1 1) into 1 0.169 * [backup-simplify]: Simplify (/ 3 1) into 3 0.169 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.169 * [taylor]: Taking taylor expansion of 3 in z 0.169 * [backup-simplify]: Simplify 3 into 3 0.169 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.169 * [taylor]: Taking taylor expansion of z in z 0.169 * [backup-simplify]: Simplify 0 into 0 0.169 * [backup-simplify]: Simplify 1 into 1 0.169 * [backup-simplify]: Simplify (* 1 1) into 1 0.170 * [backup-simplify]: Simplify (/ 3 1) into 3 0.170 * [backup-simplify]: Simplify 3 into 3 0.171 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 0.171 * [backup-simplify]: Simplify 0 into 0 0.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.173 * [backup-simplify]: Simplify 0 into 0 0.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.176 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.176 * [backup-simplify]: Simplify 0 into 0 0.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.178 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.178 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.180 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.180 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.183 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.183 * [backup-simplify]: Simplify 0 into 0 0.183 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2)) 0.184 * [backup-simplify]: Simplify (* 3 (* (/ 1 (- z)) (/ 1 (- z)))) into (/ 3 (pow z 2)) 0.184 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 0.184 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.184 * [taylor]: Taking taylor expansion of 3 in z 0.184 * [backup-simplify]: Simplify 3 into 3 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.184 * [backup-simplify]: Simplify (* 1 1) into 1 0.185 * [backup-simplify]: Simplify (/ 3 1) into 3 0.185 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.185 * [taylor]: Taking taylor expansion of 3 in z 0.185 * [backup-simplify]: Simplify 3 into 3 0.185 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.185 * [taylor]: Taking taylor expansion of z in z 0.185 * [backup-simplify]: Simplify 0 into 0 0.185 * [backup-simplify]: Simplify 1 into 1 0.185 * [backup-simplify]: Simplify (* 1 1) into 1 0.186 * [backup-simplify]: Simplify (/ 3 1) into 3 0.186 * [backup-simplify]: Simplify 3 into 3 0.194 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 0.196 * [backup-simplify]: Simplify 0 into 0 0.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.199 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.199 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.201 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.201 * [backup-simplify]: Simplify 0 into 0 0.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.204 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.204 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.206 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.206 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.209 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2)) 0.210 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.210 * [backup-simplify]: Simplify (fma y x (* 3 (* z z))) into (fma y x (* 3 (pow z 2))) 0.210 * [approximate]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in (y x z) around 0 0.210 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in z 0.210 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2))) 0.210 * [taylor]: Taking taylor expansion of (* y x) in z 0.210 * [taylor]: Taking taylor expansion of y in z 0.210 * [backup-simplify]: Simplify y into y 0.210 * [taylor]: Taking taylor expansion of x in z 0.210 * [backup-simplify]: Simplify x into x 0.210 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 0.210 * [taylor]: Taking taylor expansion of 3 in z 0.210 * [backup-simplify]: Simplify 3 into 3 0.210 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.210 * [taylor]: Taking taylor expansion of z in z 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 1 into 1 0.210 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in x 0.211 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2))) 0.211 * [taylor]: Taking taylor expansion of (* y x) in x 0.211 * [taylor]: Taking taylor expansion of y in x 0.211 * [backup-simplify]: Simplify y into y 0.211 * [taylor]: Taking taylor expansion of x in x 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 1 into 1 0.211 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x 0.211 * [taylor]: Taking taylor expansion of 3 in x 0.211 * [backup-simplify]: Simplify 3 into 3 0.211 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.211 * [taylor]: Taking taylor expansion of z in x 0.211 * [backup-simplify]: Simplify z into z 0.211 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y 0.211 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2))) 0.211 * [taylor]: Taking taylor expansion of (* y x) in y 0.211 * [taylor]: Taking taylor expansion of y in y 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 1 into 1 0.211 * [taylor]: Taking taylor expansion of x in y 0.211 * [backup-simplify]: Simplify x into x 0.211 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y 0.211 * [taylor]: Taking taylor expansion of 3 in y 0.211 * [backup-simplify]: Simplify 3 into 3 0.211 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.211 * [taylor]: Taking taylor expansion of z in y 0.212 * [backup-simplify]: Simplify z into z 0.212 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y 0.212 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2))) 0.212 * [taylor]: Taking taylor expansion of (* y x) in y 0.212 * [taylor]: Taking taylor expansion of y in y 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 1 into 1 0.212 * [taylor]: Taking taylor expansion of x in y 0.212 * [backup-simplify]: Simplify x into x 0.212 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y 0.212 * [taylor]: Taking taylor expansion of 3 in y 0.212 * [backup-simplify]: Simplify 3 into 3 0.212 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.212 * [taylor]: Taking taylor expansion of z in y 0.212 * [backup-simplify]: Simplify z into z 0.212 * [backup-simplify]: Simplify (* 0 x) into 0 0.213 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.213 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 0.213 * [backup-simplify]: Simplify (+ 0 (* 3 (pow z 2))) into (* 3 (pow z 2)) 0.213 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x 0.213 * [taylor]: Taking taylor expansion of 3 in x 0.213 * [backup-simplify]: Simplify 3 into 3 0.213 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.213 * [taylor]: Taking taylor expansion of z in x 0.213 * [backup-simplify]: Simplify z into z 0.213 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.213 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 0.213 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 0.213 * [taylor]: Taking taylor expansion of 3 in z 0.213 * [backup-simplify]: Simplify 3 into 3 0.213 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.213 * [taylor]: Taking taylor expansion of z in z 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 1 into 1 0.214 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 0.214 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 0.215 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0 0.215 * [backup-simplify]: Simplify (+ x 0) into x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify 1 into 1 0.215 * [taylor]: Taking taylor expansion of 0 in z 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 0.216 * [backup-simplify]: Simplify (+ (* 3 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.217 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 0.217 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 0.218 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0 0.219 * [backup-simplify]: Simplify (+ 0 0) into 0 0.219 * [taylor]: Taking taylor expansion of 0 in x 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [taylor]: Taking taylor expansion of 0 in z 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [backup-simplify]: Simplify 0 into 0 0.219 * [taylor]: Taking taylor expansion of 1 in z 0.219 * [backup-simplify]: Simplify 1 into 1 0.219 * [backup-simplify]: Simplify 1 into 1 0.219 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 0.220 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0 0.220 * [taylor]: Taking taylor expansion of 0 in z 0.220 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify 0 into 0 0.221 * [backup-simplify]: Simplify (* 1 1) into 1 0.221 * [backup-simplify]: Simplify (* 3 1) into 3 0.221 * [backup-simplify]: Simplify 3 into 3 0.222 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 0.223 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 0.224 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0 0.225 * [backup-simplify]: Simplify (+ 0 0) into 0 0.225 * [taylor]: Taking taylor expansion of 0 in x 0.225 * [backup-simplify]: Simplify 0 into 0 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify 0 into 0 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify 0 into 0 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify 0 into 0 0.226 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 0.227 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0 0.227 * [taylor]: Taking taylor expansion of 0 in z 0.227 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify (+ (* 3 (pow (* z (* 1 1)) 2)) (* 1 (* 1 (* x y)))) into (+ (* 3 (pow z 2)) (* x y)) 0.228 * [backup-simplify]: Simplify (fma (/ 1 y) (/ 1 x) (* 3 (* (/ 1 z) (/ 1 z)))) into (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) 0.228 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in (y x z) around 0 0.228 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in z 0.229 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2))) 0.229 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in z 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.229 * [taylor]: Taking taylor expansion of y in z 0.229 * [backup-simplify]: Simplify y into y 0.229 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.229 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.229 * [taylor]: Taking taylor expansion of x in z 0.229 * [backup-simplify]: Simplify x into x 0.229 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.229 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.229 * [taylor]: Taking taylor expansion of 3 in z 0.229 * [backup-simplify]: Simplify 3 into 3 0.229 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.229 * [taylor]: Taking taylor expansion of z in z 0.229 * [backup-simplify]: Simplify 0 into 0 0.229 * [backup-simplify]: Simplify 1 into 1 0.229 * [backup-simplify]: Simplify (* 1 1) into 1 0.230 * [backup-simplify]: Simplify (/ 3 1) into 3 0.230 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in x 0.230 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2))) 0.230 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x 0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.230 * [taylor]: Taking taylor expansion of y in x 0.230 * [backup-simplify]: Simplify y into y 0.230 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.230 * [taylor]: Taking taylor expansion of x in x 0.230 * [backup-simplify]: Simplify 0 into 0 0.230 * [backup-simplify]: Simplify 1 into 1 0.231 * [backup-simplify]: Simplify (/ 1 1) into 1 0.231 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x 0.231 * [taylor]: Taking taylor expansion of 3 in x 0.231 * [backup-simplify]: Simplify 3 into 3 0.231 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.231 * [taylor]: Taking taylor expansion of z in x 0.231 * [backup-simplify]: Simplify z into z 0.231 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.231 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 0.231 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y 0.231 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2))) 0.231 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y 0.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify 1 into 1 0.232 * [backup-simplify]: Simplify (/ 1 1) into 1 0.232 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.232 * [taylor]: Taking taylor expansion of x in y 0.232 * [backup-simplify]: Simplify x into x 0.232 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.232 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y 0.232 * [taylor]: Taking taylor expansion of 3 in y 0.232 * [backup-simplify]: Simplify 3 into 3 0.232 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.232 * [taylor]: Taking taylor expansion of z in y 0.232 * [backup-simplify]: Simplify z into z 0.232 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.232 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 0.232 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y 0.233 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2))) 0.233 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y 0.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.233 * [taylor]: Taking taylor expansion of y in y 0.233 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify 1 into 1 0.233 * [backup-simplify]: Simplify (/ 1 1) into 1 0.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.233 * [taylor]: Taking taylor expansion of x in y 0.233 * [backup-simplify]: Simplify x into x 0.233 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.233 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y 0.233 * [taylor]: Taking taylor expansion of 3 in y 0.233 * [backup-simplify]: Simplify 3 into 3 0.233 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.234 * [taylor]: Taking taylor expansion of z in y 0.234 * [backup-simplify]: Simplify z into z 0.234 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.234 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 0.234 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x) 0.234 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 0.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [backup-simplify]: Simplify 0 into 0 0.234 * [backup-simplify]: Simplify 1 into 1 0.234 * [backup-simplify]: Simplify (/ 1 1) into 1 0.235 * [taylor]: Taking taylor expansion of 1 in z 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.235 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.236 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0 0.236 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2))) 0.236 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 0.236 * [taylor]: Taking taylor expansion of 3 in x 0.236 * [backup-simplify]: Simplify 3 into 3 0.236 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.236 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.236 * [taylor]: Taking taylor expansion of z in x 0.236 * [backup-simplify]: Simplify z into z 0.236 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.237 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 0.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.237 * [taylor]: Taking taylor expansion of 0 in z 0.237 * [backup-simplify]: Simplify 0 into 0 0.238 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 0.239 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 0.240 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0 0.240 * [backup-simplify]: Simplify (+ 0 0) into 0 0.240 * [taylor]: Taking taylor expansion of 0 in x 0.240 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2)) 0.241 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.241 * [taylor]: Taking taylor expansion of 3 in z 0.241 * [backup-simplify]: Simplify 3 into 3 0.241 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.241 * [taylor]: Taking taylor expansion of z in z 0.241 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify 1 into 1 0.241 * [backup-simplify]: Simplify (* 1 1) into 1 0.242 * [backup-simplify]: Simplify (/ 3 1) into 3 0.242 * [backup-simplify]: Simplify 3 into 3 0.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.243 * [taylor]: Taking taylor expansion of 0 in z 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify 1 into 1 0.243 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 0.246 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 0.246 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.247 * [backup-simplify]: Simplify (+ 0 0) into 0 0.247 * [taylor]: Taking taylor expansion of 0 in x 0.247 * [backup-simplify]: Simplify 0 into 0 0.247 * [taylor]: Taking taylor expansion of 0 in z 0.247 * [backup-simplify]: Simplify 0 into 0 0.247 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 0.247 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 0.248 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0 0.248 * [taylor]: Taking taylor expansion of 0 in z 0.248 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.249 * [taylor]: Taking taylor expansion of 0 in z 0.249 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 0.250 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify 0 into 0 0.251 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x)))))) into 0 0.254 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 0.255 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.255 * [backup-simplify]: Simplify (+ 0 0) into 0 0.255 * [taylor]: Taking taylor expansion of 0 in x 0.255 * [backup-simplify]: Simplify 0 into 0 0.256 * [taylor]: Taking taylor expansion of 0 in z 0.256 * [backup-simplify]: Simplify 0 into 0 0.256 * [taylor]: Taking taylor expansion of 0 in z 0.256 * [backup-simplify]: Simplify 0 into 0 0.256 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 0.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.257 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0 0.258 * [taylor]: Taking taylor expansion of 0 in z 0.258 * [backup-simplify]: Simplify 0 into 0 0.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.258 * [taylor]: Taking taylor expansion of 0 in z 0.259 * [backup-simplify]: Simplify 0 into 0 0.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.260 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify 0 into 0 0.261 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* 3 (pow (* (/ 1 (/ 1 z)) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y)) 0.262 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (/ 1 (- x)) (* 3 (* (/ 1 (- z)) (/ 1 (- z))))) into (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) 0.262 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in (y x z) around 0 0.262 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in z 0.262 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2))) 0.262 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in z 0.262 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.262 * [taylor]: Taking taylor expansion of -1 in z 0.262 * [backup-simplify]: Simplify -1 into -1 0.262 * [taylor]: Taking taylor expansion of y in z 0.263 * [backup-simplify]: Simplify y into y 0.263 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.263 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.263 * [taylor]: Taking taylor expansion of -1 in z 0.263 * [backup-simplify]: Simplify -1 into -1 0.263 * [taylor]: Taking taylor expansion of x in z 0.263 * [backup-simplify]: Simplify x into x 0.263 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.263 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.263 * [taylor]: Taking taylor expansion of 3 in z 0.263 * [backup-simplify]: Simplify 3 into 3 0.263 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.263 * [taylor]: Taking taylor expansion of z in z 0.263 * [backup-simplify]: Simplify 0 into 0 0.263 * [backup-simplify]: Simplify 1 into 1 0.263 * [backup-simplify]: Simplify (* 1 1) into 1 0.264 * [backup-simplify]: Simplify (/ 3 1) into 3 0.264 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in x 0.264 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2))) 0.264 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x 0.264 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.264 * [taylor]: Taking taylor expansion of -1 in x 0.264 * [backup-simplify]: Simplify -1 into -1 0.264 * [taylor]: Taking taylor expansion of y in x 0.264 * [backup-simplify]: Simplify y into y 0.264 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.264 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.264 * [taylor]: Taking taylor expansion of -1 in x 0.264 * [backup-simplify]: Simplify -1 into -1 0.264 * [taylor]: Taking taylor expansion of x in x 0.264 * [backup-simplify]: Simplify 0 into 0 0.264 * [backup-simplify]: Simplify 1 into 1 0.265 * [backup-simplify]: Simplify (/ -1 1) into -1 0.265 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x 0.265 * [taylor]: Taking taylor expansion of 3 in x 0.265 * [backup-simplify]: Simplify 3 into 3 0.265 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.265 * [taylor]: Taking taylor expansion of z in x 0.265 * [backup-simplify]: Simplify z into z 0.265 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.265 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 0.265 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y 0.265 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2))) 0.265 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y 0.265 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.265 * [taylor]: Taking taylor expansion of -1 in y 0.265 * [backup-simplify]: Simplify -1 into -1 0.265 * [taylor]: Taking taylor expansion of y in y 0.265 * [backup-simplify]: Simplify 0 into 0 0.265 * [backup-simplify]: Simplify 1 into 1 0.265 * [backup-simplify]: Simplify (/ -1 1) into -1 0.265 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.266 * [taylor]: Taking taylor expansion of -1 in y 0.266 * [backup-simplify]: Simplify -1 into -1 0.266 * [taylor]: Taking taylor expansion of x in y 0.266 * [backup-simplify]: Simplify x into x 0.266 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.266 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y 0.266 * [taylor]: Taking taylor expansion of 3 in y 0.266 * [backup-simplify]: Simplify 3 into 3 0.266 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.266 * [taylor]: Taking taylor expansion of z in y 0.266 * [backup-simplify]: Simplify z into z 0.266 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.266 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 0.266 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y 0.266 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2))) 0.266 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y 0.266 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.266 * [taylor]: Taking taylor expansion of -1 in y 0.266 * [backup-simplify]: Simplify -1 into -1 0.266 * [taylor]: Taking taylor expansion of y in y 0.266 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify 1 into 1 0.266 * [backup-simplify]: Simplify (/ -1 1) into -1 0.266 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.266 * [taylor]: Taking taylor expansion of -1 in y 0.266 * [backup-simplify]: Simplify -1 into -1 0.266 * [taylor]: Taking taylor expansion of x in y 0.266 * [backup-simplify]: Simplify x into x 0.266 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.267 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y 0.267 * [taylor]: Taking taylor expansion of 3 in y 0.267 * [backup-simplify]: Simplify 3 into 3 0.267 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.267 * [taylor]: Taking taylor expansion of z in y 0.267 * [backup-simplify]: Simplify z into z 0.267 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.267 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 0.267 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x) 0.267 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 0.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify 1 into 1 0.267 * [backup-simplify]: Simplify (/ 1 1) into 1 0.267 * [taylor]: Taking taylor expansion of 1 in z 0.267 * [backup-simplify]: Simplify 1 into 1 0.267 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.268 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.268 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0 0.268 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2))) 0.268 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 0.268 * [taylor]: Taking taylor expansion of 3 in x 0.268 * [backup-simplify]: Simplify 3 into 3 0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 0.268 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.269 * [taylor]: Taking taylor expansion of z in x 0.269 * [backup-simplify]: Simplify z into z 0.269 * [backup-simplify]: Simplify (* z z) into (pow z 2) 0.269 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 0.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.269 * [taylor]: Taking taylor expansion of 0 in z 0.269 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.271 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0 0.271 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 0.271 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0 0.271 * [backup-simplify]: Simplify (+ 0 0) into 0 0.272 * [taylor]: Taking taylor expansion of 0 in x 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2)) 0.272 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 0.272 * [taylor]: Taking taylor expansion of 3 in z 0.272 * [backup-simplify]: Simplify 3 into 3 0.272 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.272 * [taylor]: Taking taylor expansion of z in z 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 1 into 1 0.272 * [backup-simplify]: Simplify (* 1 1) into 1 0.272 * [backup-simplify]: Simplify (/ 3 1) into 3 0.272 * [backup-simplify]: Simplify 3 into 3 0.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.273 * [taylor]: Taking taylor expansion of 0 in z 0.273 * [backup-simplify]: Simplify 0 into 0 0.273 * [backup-simplify]: Simplify 1 into 1 0.273 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.274 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.275 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x))))) into 0 0.275 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 0.276 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.276 * [backup-simplify]: Simplify (+ 0 0) into 0 0.276 * [taylor]: Taking taylor expansion of 0 in x 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [taylor]: Taking taylor expansion of 0 in z 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 0.276 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 0.277 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0 0.277 * [taylor]: Taking taylor expansion of 0 in z 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.277 * [taylor]: Taking taylor expansion of 0 in z 0.277 * [backup-simplify]: Simplify 0 into 0 0.278 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 0.278 * [backup-simplify]: Simplify 0 into 0 0.278 * [backup-simplify]: Simplify 0 into 0 0.278 * [backup-simplify]: Simplify 0 into 0 0.278 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 0.279 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.280 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x)))))) into 0 0.280 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 0.281 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.281 * [backup-simplify]: Simplify (+ 0 0) into 0 0.281 * [taylor]: Taking taylor expansion of 0 in x 0.281 * [backup-simplify]: Simplify 0 into 0 0.281 * [taylor]: Taking taylor expansion of 0 in z 0.281 * [backup-simplify]: Simplify 0 into 0 0.281 * [taylor]: Taking taylor expansion of 0 in z 0.281 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 0.282 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 0.283 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0 0.283 * [taylor]: Taking taylor expansion of 0 in z 0.283 * [backup-simplify]: Simplify 0 into 0 0.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.283 * [taylor]: Taking taylor expansion of 0 in z 0.283 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.284 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify 0 into 0 0.285 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* 3 (pow (* (/ 1 (/ 1 (- z))) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y)) 0.285 * * * [progress]: simplifying candidates 0.286 * [simplify]: Simplifying: (expm1 (* 3 (* z z))) (log1p (* 3 (* z z))) (* 3 (* z z)) (* 3 (* z z)) (+ (log 3) (+ (log z) (log z))) (+ (log 3) (log (* z z))) (log (* 3 (* z z))) (exp (* 3 (* z z))) (* (* (* 3 3) 3) (* (* (* z z) z) (* (* z z) z))) (* (* (* 3 3) 3) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z)))) (cbrt (* 3 (* z z))) (* (* (* 3 (* z z)) (* 3 (* z z))) (* 3 (* z z))) (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))) (* (sqrt 3) z) (* (sqrt 3) z) (* 3 z) (* (cbrt 3) (* z z)) (* (sqrt 3) (* z z)) (* 3 (* z z)) (expm1 (fma y x (* 3 (* z z)))) (log1p (fma y x (* 3 (* z z)))) (* y x) (log (fma y x (* 3 (* z z)))) (exp (fma y x (* 3 (* z z)))) (* (cbrt (fma y x (* 3 (* z z)))) (cbrt (fma y x (* 3 (* z z))))) (cbrt (fma y x (* 3 (* z z)))) (* (* (fma y x (* 3 (* z z))) (fma y x (* 3 (* z z)))) (fma y x (* 3 (* z z)))) (sqrt (fma y x (* 3 (* z z)))) (sqrt (fma y x (* 3 (* z z)))) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) 0.286 * * [simplify]: Extracting # 0 : cost 0 0.286 * * [simplify]: Extracting # 1 : cost 0 0.286 * * [simplify]: Extracting # 2 : cost 0 0.286 * * [simplify]: Extracting # 3 : cost 0 0.286 * * [simplify]: Extracting # 4 : cost 0 0.286 * * [simplify]: Extracting # 5 : cost 0 0.287 * * [simplify]: iteration 0 : 51 enodes (cost 312 ) 0.300 * * [simplify]: Extracting # 0 : cost 0 0.301 * * [simplify]: Extracting # 1 : cost 0 0.301 * * [simplify]: Extracting # 2 : cost 0 0.301 * * [simplify]: Extracting # 3 : cost 0 0.301 * * [simplify]: Extracting # 4 : cost 0 0.302 * * [simplify]: iteration 1 : 102 enodes (cost 296 ) 0.372 * * [simplify]: Extracting # 0 : cost 0 0.373 * * [simplify]: Extracting # 1 : cost 0 0.373 * * [simplify]: Extracting # 2 : cost 0 0.374 * * [simplify]: Extracting # 3 : cost 0 0.374 * * [simplify]: iteration 2 : 246 enodes (cost 260 ) 0.513 * * [simplify]: Extracting # 0 : cost 0 0.515 * * [simplify]: Extracting # 1 : cost 0 0.516 * * [simplify]: Extracting # 2 : cost 0 0.517 * * [simplify]: Extracting # 3 : cost 0 0.517 * * [simplify]: Extracting # 4 : cost 0 0.518 * * [simplify]: iteration 3 : 603 enodes (cost 254 ) 1.082 * * [simplify]: Extracting # 0 : cost 0 1.085 * * [simplify]: Extracting # 1 : cost 0 1.087 * * [simplify]: Extracting # 2 : cost 0 1.089 * * [simplify]: Extracting # 3 : cost 0 1.092 * * [simplify]: Extracting # 4 : cost 0 1.094 * * [simplify]: iteration 4 : 1323 enodes (cost 254 ) 3.146 * * [simplify]: Extracting # 0 : cost 0 3.157 * * [simplify]: Extracting # 1 : cost 0 3.164 * * [simplify]: Extracting # 2 : cost 0 3.169 * * [simplify]: Extracting # 3 : cost 0 3.178 * * [simplify]: Extracting # 4 : cost 0 3.183 * * [simplify]: iteration done: 5000 enodes (cost 254 ) 3.183 * [simplify]: Simplified to: (expm1 (* 3 (* z z))) (log1p (* 3 (* z z))) (* 3 (* z z)) (* 3 (* z z)) (log (* 3 (* z z))) (log (* 3 (* z z))) (log (* 3 (* z z))) (exp (* 3 (* z z))) (* 27 (pow z 6)) (* 27 (pow z 6)) (* (cbrt (* 3 (* z z))) (cbrt (* 3 (* z z)))) (cbrt (* 3 (* z z))) (* 27 (pow z 6)) (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))) (* (sqrt 3) z) (* (sqrt 3) z) (* 3 z) (* (cbrt 3) (* z z)) (* (sqrt 3) (* z z)) (* 3 (* z z)) (expm1 (fma y x (* 3 (* z z)))) (log1p (fma y x (* 3 (* z z)))) (* x y) (log (fma y x (* 3 (* z z)))) (exp (fma y x (* 3 (* z z)))) (* (cbrt (fma y x (* 3 (* z z)))) (cbrt (fma y x (* 3 (* z z))))) (cbrt (fma y x (* 3 (* z z)))) (pow (fma 3 (pow z 2) (* y x)) 3) (sqrt (fma y x (* 3 (* z z)))) (sqrt (fma y x (* 3 (* z z)))) (* 3 (* z z)) (* 3 (* z z)) (* 3 (* z z)) (fma 3 (pow z 2) (* y x)) (fma 3 (pow z 2) (* y x)) (fma 3 (pow z 2) (* y x)) 3.183 * * * [progress]: adding candidates to table 3.317 * * [progress]: iteration 2 / 4 3.317 * * * [progress]: picking best candidate 3.328 * * * * [pick]: Picked # 3.329 * * * [progress]: localizing error 3.338 * * * [progress]: generating rewritten candidates 3.338 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.338 * * * [progress]: generating series expansions 3.339 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.339 * [backup-simplify]: Simplify (fma 3 (pow z 2) (* y x)) into (fma 3 (pow z 2) (* x y)) 3.339 * [approximate]: Taking taylor expansion of (fma 3 (pow z 2) (* x y)) in (z y x) around 0 3.339 * [taylor]: Taking taylor expansion of (fma 3 (pow z 2) (* x y)) in x 3.339 * [taylor]: Rewrote expression to (+ (* 3 (pow z 2)) (* x y)) 3.339 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x 3.339 * [taylor]: Taking taylor expansion of 3 in x 3.339 * [backup-simplify]: Simplify 3 into 3 3.339 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.339 * [taylor]: Taking taylor expansion of z in x 3.339 * [backup-simplify]: Simplify z into z 3.339 * [taylor]: Taking taylor expansion of (* x y) in x 3.339 * [taylor]: Taking taylor expansion of x in x 3.339 * [backup-simplify]: Simplify 0 into 0 3.339 * [backup-simplify]: Simplify 1 into 1 3.339 * [taylor]: Taking taylor expansion of y in x 3.339 * [backup-simplify]: Simplify y into y 3.339 * [taylor]: Taking taylor expansion of (fma 3 (pow z 2) (* x y)) in y 3.339 * [taylor]: Rewrote expression to (+ (* 3 (pow z 2)) (* x y)) 3.339 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y 3.339 * [taylor]: Taking taylor expansion of 3 in y 3.339 * [backup-simplify]: Simplify 3 into 3 3.339 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.339 * [taylor]: Taking taylor expansion of z in y 3.339 * [backup-simplify]: Simplify z into z 3.339 * [taylor]: Taking taylor expansion of (* x y) in y 3.339 * [taylor]: Taking taylor expansion of x in y 3.339 * [backup-simplify]: Simplify x into x 3.339 * [taylor]: Taking taylor expansion of y in y 3.339 * [backup-simplify]: Simplify 0 into 0 3.339 * [backup-simplify]: Simplify 1 into 1 3.339 * [taylor]: Taking taylor expansion of (fma 3 (pow z 2) (* x y)) in z 3.339 * [taylor]: Rewrote expression to (+ (* 3 (pow z 2)) (* x y)) 3.340 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 3.340 * [taylor]: Taking taylor expansion of 3 in z 3.340 * [backup-simplify]: Simplify 3 into 3 3.340 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.340 * [taylor]: Taking taylor expansion of z in z 3.340 * [backup-simplify]: Simplify 0 into 0 3.340 * [backup-simplify]: Simplify 1 into 1 3.340 * [taylor]: Taking taylor expansion of (* x y) in z 3.340 * [taylor]: Taking taylor expansion of x in z 3.340 * [backup-simplify]: Simplify x into x 3.340 * [taylor]: Taking taylor expansion of y in z 3.340 * [backup-simplify]: Simplify y into y 3.340 * [taylor]: Taking taylor expansion of (fma 3 (pow z 2) (* x y)) in z 3.340 * [taylor]: Rewrote expression to (+ (* 3 (pow z 2)) (* x y)) 3.340 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 3.340 * [taylor]: Taking taylor expansion of 3 in z 3.340 * [backup-simplify]: Simplify 3 into 3 3.340 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.340 * [taylor]: Taking taylor expansion of z in z 3.340 * [backup-simplify]: Simplify 0 into 0 3.340 * [backup-simplify]: Simplify 1 into 1 3.340 * [taylor]: Taking taylor expansion of (* x y) in z 3.340 * [taylor]: Taking taylor expansion of x in z 3.340 * [backup-simplify]: Simplify x into x 3.340 * [taylor]: Taking taylor expansion of y in z 3.340 * [backup-simplify]: Simplify y into y 3.340 * [backup-simplify]: Simplify (* x y) into (* x y) 3.340 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 3.340 * [taylor]: Taking taylor expansion of (* x y) in y 3.340 * [taylor]: Taking taylor expansion of x in y 3.340 * [backup-simplify]: Simplify x into x 3.340 * [taylor]: Taking taylor expansion of y in y 3.340 * [backup-simplify]: Simplify 0 into 0 3.340 * [backup-simplify]: Simplify 1 into 1 3.340 * [backup-simplify]: Simplify (* x 0) into 0 3.340 * [taylor]: Taking taylor expansion of 0 in x 3.340 * [backup-simplify]: Simplify 0 into 0 3.340 * [backup-simplify]: Simplify 0 into 0 3.340 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 3.341 * [backup-simplify]: Simplify (+ 0 0) into 0 3.341 * [taylor]: Taking taylor expansion of 0 in y 3.341 * [backup-simplify]: Simplify 0 into 0 3.341 * [taylor]: Taking taylor expansion of 0 in x 3.341 * [backup-simplify]: Simplify 0 into 0 3.341 * [backup-simplify]: Simplify 0 into 0 3.341 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.341 * [taylor]: Taking taylor expansion of x in x 3.341 * [backup-simplify]: Simplify 0 into 0 3.341 * [backup-simplify]: Simplify 1 into 1 3.341 * [backup-simplify]: Simplify 0 into 0 3.341 * [backup-simplify]: Simplify 0 into 0 3.342 * [backup-simplify]: Simplify (* 1 1) into 1 3.342 * [backup-simplify]: Simplify (* 3 1) into 3 3.342 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 3.342 * [backup-simplify]: Simplify (+ 3 0) into 3 3.342 * [taylor]: Taking taylor expansion of 3 in y 3.342 * [backup-simplify]: Simplify 3 into 3 3.342 * [taylor]: Taking taylor expansion of 3 in x 3.342 * [backup-simplify]: Simplify 3 into 3 3.342 * [backup-simplify]: Simplify 3 into 3 3.343 * [taylor]: Taking taylor expansion of 0 in x 3.343 * [backup-simplify]: Simplify 0 into 0 3.343 * [backup-simplify]: Simplify 0 into 0 3.343 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.343 * [taylor]: Taking taylor expansion of 0 in x 3.343 * [backup-simplify]: Simplify 0 into 0 3.343 * [backup-simplify]: Simplify 0 into 0 3.343 * [backup-simplify]: Simplify 0 into 0 3.343 * [backup-simplify]: Simplify 1 into 1 3.343 * [backup-simplify]: Simplify 0 into 0 3.343 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.344 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 3.344 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.345 * [backup-simplify]: Simplify (+ 0 0) into 0 3.345 * [taylor]: Taking taylor expansion of 0 in y 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [taylor]: Taking taylor expansion of 0 in x 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [taylor]: Taking taylor expansion of 0 in x 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [taylor]: Taking taylor expansion of 0 in x 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.345 * [taylor]: Taking taylor expansion of 0 in x 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [backup-simplify]: Simplify 0 into 0 3.346 * [backup-simplify]: Simplify (+ (* 1 (* x (* y 1))) (* 3 (pow (* 1 (* 1 z)) 2))) into (+ (* 3 (pow z 2)) (* x y)) 3.346 * [backup-simplify]: Simplify (fma 3 (pow (/ 1 z) 2) (* (/ 1 y) (/ 1 x))) into (fma 3 (pow (/ 1 z) 2) (/ 1 (* x y))) 3.346 * [approximate]: Taking taylor expansion of (fma 3 (pow (/ 1 z) 2) (/ 1 (* x y))) in (z y x) around 0 3.346 * [taylor]: Taking taylor expansion of (fma 3 (pow (/ 1 z) 2) (/ 1 (* x y))) in x 3.346 * [taylor]: Rewrote expression to (+ (* 3 (pow (/ 1 z) 2)) (/ 1 (* x y))) 3.346 * [taylor]: Taking taylor expansion of (* 3 (pow (/ 1 z) 2)) in x 3.346 * [taylor]: Taking taylor expansion of 3 in x 3.346 * [backup-simplify]: Simplify 3 into 3 3.346 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 2) in x 3.346 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.346 * [taylor]: Taking taylor expansion of z in x 3.346 * [backup-simplify]: Simplify z into z 3.346 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.346 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.346 * [taylor]: Taking taylor expansion of (* x y) in x 3.346 * [taylor]: Taking taylor expansion of x in x 3.346 * [backup-simplify]: Simplify 0 into 0 3.346 * [backup-simplify]: Simplify 1 into 1 3.346 * [taylor]: Taking taylor expansion of y in x 3.346 * [backup-simplify]: Simplify y into y 3.346 * [backup-simplify]: Simplify (* 0 y) into 0 3.347 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.347 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.347 * [taylor]: Taking taylor expansion of (fma 3 (pow (/ 1 z) 2) (/ 1 (* x y))) in y 3.347 * [taylor]: Rewrote expression to (+ (* 3 (pow (/ 1 z) 2)) (/ 1 (* x y))) 3.347 * [taylor]: Taking taylor expansion of (* 3 (pow (/ 1 z) 2)) in y 3.347 * [taylor]: Taking taylor expansion of 3 in y 3.347 * [backup-simplify]: Simplify 3 into 3 3.347 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 2) in y 3.347 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.347 * [taylor]: Taking taylor expansion of z in y 3.347 * [backup-simplify]: Simplify z into z 3.347 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.347 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.347 * [taylor]: Taking taylor expansion of (* x y) in y 3.347 * [taylor]: Taking taylor expansion of x in y 3.347 * [backup-simplify]: Simplify x into x 3.347 * [taylor]: Taking taylor expansion of y in y 3.347 * [backup-simplify]: Simplify 0 into 0 3.347 * [backup-simplify]: Simplify 1 into 1 3.347 * [backup-simplify]: Simplify (* x 0) into 0 3.347 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.347 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.347 * [taylor]: Taking taylor expansion of (fma 3 (pow (/ 1 z) 2) (/ 1 (* x y))) in z 3.347 * [taylor]: Rewrote expression to (+ (* 3 (pow (/ 1 z) 2)) (/ 1 (* x y))) 3.347 * [taylor]: Taking taylor expansion of (* 3 (pow (/ 1 z) 2)) in z 3.347 * [taylor]: Taking taylor expansion of 3 in z 3.347 * [backup-simplify]: Simplify 3 into 3 3.347 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 2) in z 3.348 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.348 * [taylor]: Taking taylor expansion of z in z 3.348 * [backup-simplify]: Simplify 0 into 0 3.348 * [backup-simplify]: Simplify 1 into 1 3.348 * [backup-simplify]: Simplify (/ 1 1) into 1 3.348 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.348 * [taylor]: Taking taylor expansion of (* x y) in z 3.348 * [taylor]: Taking taylor expansion of x in z 3.348 * [backup-simplify]: Simplify x into x 3.348 * [taylor]: Taking taylor expansion of y in z 3.348 * [backup-simplify]: Simplify y into y 3.348 * [backup-simplify]: Simplify (* x y) into (* x y) 3.348 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 3.348 * [taylor]: Taking taylor expansion of (fma 3 (pow (/ 1 z) 2) (/ 1 (* x y))) in z 3.348 * [taylor]: Rewrote expression to (+ (* 3 (pow (/ 1 z) 2)) (/ 1 (* x y))) 3.348 * [taylor]: Taking taylor expansion of (* 3 (pow (/ 1 z) 2)) in z 3.348 * [taylor]: Taking taylor expansion of 3 in z 3.348 * [backup-simplify]: Simplify 3 into 3 3.348 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 2) in z 3.348 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.348 * [taylor]: Taking taylor expansion of z in z 3.348 * [backup-simplify]: Simplify 0 into 0 3.348 * [backup-simplify]: Simplify 1 into 1 3.349 * [backup-simplify]: Simplify (/ 1 1) into 1 3.349 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.349 * [taylor]: Taking taylor expansion of (* x y) in z 3.349 * [taylor]: Taking taylor expansion of x in z 3.349 * [backup-simplify]: Simplify x into x 3.349 * [taylor]: Taking taylor expansion of y in z 3.349 * [backup-simplify]: Simplify y into y 3.349 * [backup-simplify]: Simplify (* x y) into (* x y) 3.349 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 3.349 * [backup-simplify]: Simplify (* 1 1) into 1 3.350 * [backup-simplify]: Simplify (* 3 1) into 3 3.350 * [backup-simplify]: Simplify (+ 3 0) into 3 3.350 * [taylor]: Taking taylor expansion of 3 in y 3.350 * [backup-simplify]: Simplify 3 into 3 3.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.351 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.352 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 3.353 * [backup-simplify]: Simplify (+ 0 0) into 0 3.353 * [taylor]: Taking taylor expansion of 0 in y 3.353 * [backup-simplify]: Simplify 0 into 0 3.353 * [taylor]: Taking taylor expansion of 3 in x 3.353 * [backup-simplify]: Simplify 3 into 3 3.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.355 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 3.356 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y)) 3.356 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.356 * [taylor]: Taking taylor expansion of (* x y) in y 3.356 * [taylor]: Taking taylor expansion of x in y 3.356 * [backup-simplify]: Simplify x into x 3.356 * [taylor]: Taking taylor expansion of y in y 3.356 * [backup-simplify]: Simplify 0 into 0 3.356 * [backup-simplify]: Simplify 1 into 1 3.356 * [backup-simplify]: Simplify (* x 0) into 0 3.356 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.356 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.356 * [taylor]: Taking taylor expansion of x in x 3.356 * [backup-simplify]: Simplify 0 into 0 3.356 * [backup-simplify]: Simplify 1 into 1 3.357 * [backup-simplify]: Simplify (/ 1 1) into 1 3.357 * [backup-simplify]: Simplify 1 into 1 3.357 * [taylor]: Taking taylor expansion of 0 in x 3.357 * [backup-simplify]: Simplify 0 into 0 3.357 * [taylor]: Taking taylor expansion of 0 in x 3.357 * [backup-simplify]: Simplify 0 into 0 3.357 * [backup-simplify]: Simplify 3 into 3 3.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.360 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.360 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 3.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 3.360 * [backup-simplify]: Simplify (+ 0 0) into 0 3.360 * [taylor]: Taking taylor expansion of 0 in y 3.360 * [backup-simplify]: Simplify 0 into 0 3.368 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.368 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.368 * [taylor]: Taking taylor expansion of 0 in x 3.368 * [backup-simplify]: Simplify 0 into 0 3.368 * [taylor]: Taking taylor expansion of 0 in x 3.368 * [backup-simplify]: Simplify 0 into 0 3.368 * [taylor]: Taking taylor expansion of 0 in x 3.368 * [backup-simplify]: Simplify 0 into 0 3.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.369 * [backup-simplify]: Simplify 0 into 0 3.369 * [backup-simplify]: Simplify 0 into 0 3.369 * [backup-simplify]: Simplify 0 into 0 3.369 * [backup-simplify]: Simplify 0 into 0 3.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.373 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.374 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 3.374 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 3.374 * [backup-simplify]: Simplify (+ 0 0) into 0 3.374 * [taylor]: Taking taylor expansion of 0 in y 3.374 * [backup-simplify]: Simplify 0 into 0 3.375 * [taylor]: Taking taylor expansion of 0 in x 3.375 * [backup-simplify]: Simplify 0 into 0 3.375 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.376 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.376 * [taylor]: Taking taylor expansion of 0 in x 3.376 * [backup-simplify]: Simplify 0 into 0 3.376 * [taylor]: Taking taylor expansion of 0 in x 3.376 * [backup-simplify]: Simplify 0 into 0 3.376 * [taylor]: Taking taylor expansion of 0 in x 3.376 * [backup-simplify]: Simplify 0 into 0 3.376 * [backup-simplify]: Simplify 0 into 0 3.376 * [backup-simplify]: Simplify 0 into 0 3.377 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (* 1 (/ 1 (/ 1 z)))) 2)) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) 1)))) into (+ (* 3 (pow z 2)) (* x y)) 3.377 * [backup-simplify]: Simplify (fma 3 (pow (/ 1 (- z)) 2) (* (/ 1 (- y)) (/ 1 (- x)))) into (fma 3 (pow (/ -1 z) 2) (/ 1 (* x y))) 3.377 * [approximate]: Taking taylor expansion of (fma 3 (pow (/ -1 z) 2) (/ 1 (* x y))) in (z y x) around 0 3.377 * [taylor]: Taking taylor expansion of (fma 3 (pow (/ -1 z) 2) (/ 1 (* x y))) in x 3.377 * [taylor]: Rewrote expression to (+ (* 3 (pow (/ -1 z) 2)) (/ 1 (* x y))) 3.378 * [taylor]: Taking taylor expansion of (* 3 (pow (/ -1 z) 2)) in x 3.378 * [taylor]: Taking taylor expansion of 3 in x 3.378 * [backup-simplify]: Simplify 3 into 3 3.378 * [taylor]: Taking taylor expansion of (pow (/ -1 z) 2) in x 3.378 * [taylor]: Taking taylor expansion of (/ -1 z) in x 3.378 * [taylor]: Taking taylor expansion of -1 in x 3.378 * [backup-simplify]: Simplify -1 into -1 3.378 * [taylor]: Taking taylor expansion of z in x 3.378 * [backup-simplify]: Simplify z into z 3.378 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.378 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.378 * [taylor]: Taking taylor expansion of (* x y) in x 3.378 * [taylor]: Taking taylor expansion of x in x 3.378 * [backup-simplify]: Simplify 0 into 0 3.378 * [backup-simplify]: Simplify 1 into 1 3.378 * [taylor]: Taking taylor expansion of y in x 3.378 * [backup-simplify]: Simplify y into y 3.378 * [backup-simplify]: Simplify (* 0 y) into 0 3.379 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.379 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.379 * [taylor]: Taking taylor expansion of (fma 3 (pow (/ -1 z) 2) (/ 1 (* x y))) in y 3.379 * [taylor]: Rewrote expression to (+ (* 3 (pow (/ -1 z) 2)) (/ 1 (* x y))) 3.379 * [taylor]: Taking taylor expansion of (* 3 (pow (/ -1 z) 2)) in y 3.379 * [taylor]: Taking taylor expansion of 3 in y 3.379 * [backup-simplify]: Simplify 3 into 3 3.379 * [taylor]: Taking taylor expansion of (pow (/ -1 z) 2) in y 3.379 * [taylor]: Taking taylor expansion of (/ -1 z) in y 3.379 * [taylor]: Taking taylor expansion of -1 in y 3.380 * [backup-simplify]: Simplify -1 into -1 3.380 * [taylor]: Taking taylor expansion of z in y 3.380 * [backup-simplify]: Simplify z into z 3.380 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 3.380 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.380 * [taylor]: Taking taylor expansion of (* x y) in y 3.380 * [taylor]: Taking taylor expansion of x in y 3.380 * [backup-simplify]: Simplify x into x 3.380 * [taylor]: Taking taylor expansion of y in y 3.380 * [backup-simplify]: Simplify 0 into 0 3.380 * [backup-simplify]: Simplify 1 into 1 3.380 * [backup-simplify]: Simplify (* x 0) into 0 3.381 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.381 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.381 * [taylor]: Taking taylor expansion of (fma 3 (pow (/ -1 z) 2) (/ 1 (* x y))) in z 3.381 * [taylor]: Rewrote expression to (+ (* 3 (pow (/ -1 z) 2)) (/ 1 (* x y))) 3.381 * [taylor]: Taking taylor expansion of (* 3 (pow (/ -1 z) 2)) in z 3.381 * [taylor]: Taking taylor expansion of 3 in z 3.381 * [backup-simplify]: Simplify 3 into 3 3.381 * [taylor]: Taking taylor expansion of (pow (/ -1 z) 2) in z 3.381 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.381 * [taylor]: Taking taylor expansion of -1 in z 3.381 * [backup-simplify]: Simplify -1 into -1 3.381 * [taylor]: Taking taylor expansion of z in z 3.381 * [backup-simplify]: Simplify 0 into 0 3.381 * [backup-simplify]: Simplify 1 into 1 3.382 * [backup-simplify]: Simplify (/ -1 1) into -1 3.382 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.382 * [taylor]: Taking taylor expansion of (* x y) in z 3.382 * [taylor]: Taking taylor expansion of x in z 3.382 * [backup-simplify]: Simplify x into x 3.382 * [taylor]: Taking taylor expansion of y in z 3.382 * [backup-simplify]: Simplify y into y 3.382 * [backup-simplify]: Simplify (* x y) into (* x y) 3.382 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 3.382 * [taylor]: Taking taylor expansion of (fma 3 (pow (/ -1 z) 2) (/ 1 (* x y))) in z 3.382 * [taylor]: Rewrote expression to (+ (* 3 (pow (/ -1 z) 2)) (/ 1 (* x y))) 3.382 * [taylor]: Taking taylor expansion of (* 3 (pow (/ -1 z) 2)) in z 3.382 * [taylor]: Taking taylor expansion of 3 in z 3.382 * [backup-simplify]: Simplify 3 into 3 3.382 * [taylor]: Taking taylor expansion of (pow (/ -1 z) 2) in z 3.382 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.382 * [taylor]: Taking taylor expansion of -1 in z 3.382 * [backup-simplify]: Simplify -1 into -1 3.382 * [taylor]: Taking taylor expansion of z in z 3.382 * [backup-simplify]: Simplify 0 into 0 3.382 * [backup-simplify]: Simplify 1 into 1 3.383 * [backup-simplify]: Simplify (/ -1 1) into -1 3.383 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 3.383 * [taylor]: Taking taylor expansion of (* x y) in z 3.383 * [taylor]: Taking taylor expansion of x in z 3.383 * [backup-simplify]: Simplify x into x 3.383 * [taylor]: Taking taylor expansion of y in z 3.383 * [backup-simplify]: Simplify y into y 3.383 * [backup-simplify]: Simplify (* x y) into (* x y) 3.383 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 3.384 * [backup-simplify]: Simplify (* -1 -1) into 1 3.384 * [backup-simplify]: Simplify (* 3 1) into 3 3.385 * [backup-simplify]: Simplify (+ 3 0) into 3 3.385 * [taylor]: Taking taylor expansion of 3 in y 3.385 * [backup-simplify]: Simplify 3 into 3 3.385 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.386 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 3.387 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 3.387 * [backup-simplify]: Simplify (+ 0 0) into 0 3.387 * [taylor]: Taking taylor expansion of 0 in y 3.387 * [backup-simplify]: Simplify 0 into 0 3.387 * [taylor]: Taking taylor expansion of 3 in x 3.387 * [backup-simplify]: Simplify 3 into 3 3.388 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.389 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 3.390 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 3.390 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y)) 3.390 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.390 * [taylor]: Taking taylor expansion of (* x y) in y 3.390 * [taylor]: Taking taylor expansion of x in y 3.390 * [backup-simplify]: Simplify x into x 3.390 * [taylor]: Taking taylor expansion of y in y 3.390 * [backup-simplify]: Simplify 0 into 0 3.390 * [backup-simplify]: Simplify 1 into 1 3.390 * [backup-simplify]: Simplify (* x 0) into 0 3.391 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.391 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.391 * [taylor]: Taking taylor expansion of x in x 3.391 * [backup-simplify]: Simplify 0 into 0 3.391 * [backup-simplify]: Simplify 1 into 1 3.391 * [backup-simplify]: Simplify (/ 1 1) into 1 3.392 * [backup-simplify]: Simplify 1 into 1 3.392 * [taylor]: Taking taylor expansion of 0 in x 3.392 * [backup-simplify]: Simplify 0 into 0 3.392 * [taylor]: Taking taylor expansion of 0 in x 3.392 * [backup-simplify]: Simplify 0 into 0 3.392 * [backup-simplify]: Simplify 3 into 3 3.393 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.394 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 3.395 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.395 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 3.395 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 3.396 * [backup-simplify]: Simplify (+ 0 0) into 0 3.396 * [taylor]: Taking taylor expansion of 0 in y 3.396 * [backup-simplify]: Simplify 0 into 0 3.396 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.397 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.397 * [taylor]: Taking taylor expansion of 0 in x 3.397 * [backup-simplify]: Simplify 0 into 0 3.397 * [taylor]: Taking taylor expansion of 0 in x 3.397 * [backup-simplify]: Simplify 0 into 0 3.397 * [taylor]: Taking taylor expansion of 0 in x 3.397 * [backup-simplify]: Simplify 0 into 0 3.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.398 * [backup-simplify]: Simplify 0 into 0 3.398 * [backup-simplify]: Simplify 0 into 0 3.398 * [backup-simplify]: Simplify 0 into 0 3.398 * [backup-simplify]: Simplify 0 into 0 3.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.400 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 3.401 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.402 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 3.402 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 3.402 * [backup-simplify]: Simplify (+ 0 0) into 0 3.402 * [taylor]: Taking taylor expansion of 0 in y 3.402 * [backup-simplify]: Simplify 0 into 0 3.403 * [taylor]: Taking taylor expansion of 0 in x 3.403 * [backup-simplify]: Simplify 0 into 0 3.403 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.404 * [taylor]: Taking taylor expansion of 0 in x 3.404 * [backup-simplify]: Simplify 0 into 0 3.404 * [taylor]: Taking taylor expansion of 0 in x 3.404 * [backup-simplify]: Simplify 0 into 0 3.404 * [taylor]: Taking taylor expansion of 0 in x 3.404 * [backup-simplify]: Simplify 0 into 0 3.404 * [backup-simplify]: Simplify 0 into 0 3.404 * [backup-simplify]: Simplify 0 into 0 3.404 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (* 1 (/ 1 (/ 1 (- z))))) 2)) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) 1)))) into (+ (* 3 (pow z 2)) (* x y)) 3.405 * * * [progress]: simplifying candidates 3.405 * [simplify]: Simplifying: (expm1 (fma 3 (pow z 2) (* y x))) (log1p (fma 3 (pow z 2) (* y x))) (* 3 (pow z 2)) (log (fma 3 (pow z 2) (* y x))) (exp (fma 3 (pow z 2) (* y x))) (* (cbrt (fma 3 (pow z 2) (* y x))) (cbrt (fma 3 (pow z 2) (* y x)))) (cbrt (fma 3 (pow z 2) (* y x))) (* (* (fma 3 (pow z 2) (* y x)) (fma 3 (pow z 2) (* y x))) (fma 3 (pow z 2) (* y x))) (sqrt (fma 3 (pow z 2) (* y x))) (sqrt (fma 3 (pow z 2) (* y x))) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) 3.406 * * [simplify]: Extracting # 0 : cost 0 3.406 * * [simplify]: Extracting # 1 : cost 0 3.406 * * [simplify]: Extracting # 2 : cost 0 3.406 * * [simplify]: Extracting # 3 : cost 0 3.406 * * [simplify]: Extracting # 4 : cost 0 3.406 * * [simplify]: Extracting # 5 : cost 0 3.406 * * [simplify]: Extracting # 6 : cost 0 3.406 * * [simplify]: iteration 0 : 20 enodes (cost 140 ) 3.414 * * [simplify]: Extracting # 0 : cost 0 3.414 * * [simplify]: Extracting # 1 : cost 0 3.414 * * [simplify]: Extracting # 2 : cost 0 3.414 * * [simplify]: Extracting # 3 : cost 0 3.414 * * [simplify]: iteration 1 : 30 enodes (cost 137 ) 3.427 * * [simplify]: Extracting # 0 : cost 0 3.427 * * [simplify]: Extracting # 1 : cost 0 3.427 * * [simplify]: Extracting # 2 : cost 0 3.427 * * [simplify]: iteration 2 : 66 enodes (cost 121 ) 3.461 * * [simplify]: Extracting # 0 : cost 0 3.461 * * [simplify]: Extracting # 1 : cost 0 3.462 * * [simplify]: Extracting # 2 : cost 0 3.462 * * [simplify]: Extracting # 3 : cost 0 3.462 * * [simplify]: iteration 3 : 207 enodes (cost 121 ) 3.648 * * [simplify]: Extracting # 0 : cost 0 3.650 * * [simplify]: Extracting # 1 : cost 0 3.651 * * [simplify]: Extracting # 2 : cost 0 3.652 * * [simplify]: Extracting # 3 : cost 0 3.653 * * [simplify]: Extracting # 4 : cost 0 3.654 * * [simplify]: iteration 4 : 714 enodes (cost 121 ) 5.483 * * [simplify]: Extracting # 0 : cost 0 5.491 * * [simplify]: Extracting # 1 : cost 0 5.496 * * [simplify]: Extracting # 2 : cost 0 5.858 * * [simplify]: Extracting # 3 : cost 0 5.862 * * [simplify]: Extracting # 4 : cost 0 5.869 * * [simplify]: iteration 5 : 3703 enodes (cost 121 ) 7.814 * * [simplify]: Extracting # 0 : cost 0 7.818 * * [simplify]: Extracting # 1 : cost 0 7.823 * * [simplify]: iteration done: 5000 enodes (cost 121 ) 7.823 * [simplify]: Simplified to: (expm1 (fma 3 (pow z 2) (* y x))) (log1p (fma 3 (pow z 2) (* y x))) (* 3 (pow z 2)) (log (fma 3 (pow z 2) (* y x))) (exp (fma 3 (pow z 2) (* y x))) (* (cbrt (fma 3 (pow z 2) (* y x))) (cbrt (fma 3 (pow z 2) (* y x)))) (cbrt (fma 3 (pow z 2) (* y x))) (pow (fma 3 (pow z 2) (* y x)) 3) (sqrt (fma 3 (pow z 2) (* y x))) (sqrt (fma 3 (pow z 2) (* y x))) (fma 3 (pow z 2) (* y x)) (fma 3 (pow z 2) (* y x)) (fma 3 (pow z 2) (* y x)) 7.823 * * * [progress]: adding candidates to table 7.858 * * [progress]: iteration 3 / 4 7.858 * * * [progress]: picking best candidate 7.874 * * * * [pick]: Picked # 7.874 * * * [progress]: localizing error 7.887 * * * [progress]: generating rewritten candidates 7.887 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 7.902 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 7.914 * * * [progress]: generating series expansions 7.914 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 7.914 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 7.914 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0 7.914 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 7.914 * [taylor]: Taking taylor expansion of 3 in z 7.914 * [backup-simplify]: Simplify 3 into 3 7.914 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.914 * [taylor]: Taking taylor expansion of z in z 7.914 * [backup-simplify]: Simplify 0 into 0 7.914 * [backup-simplify]: Simplify 1 into 1 7.914 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 7.914 * [taylor]: Taking taylor expansion of 3 in z 7.914 * [backup-simplify]: Simplify 3 into 3 7.914 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.914 * [taylor]: Taking taylor expansion of z in z 7.914 * [backup-simplify]: Simplify 0 into 0 7.914 * [backup-simplify]: Simplify 1 into 1 7.915 * [backup-simplify]: Simplify (* 1 1) into 1 7.915 * [backup-simplify]: Simplify (* 3 1) into 3 7.915 * [backup-simplify]: Simplify 3 into 3 7.916 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.916 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 7.916 * [backup-simplify]: Simplify 0 into 0 7.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.918 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 7.918 * [backup-simplify]: Simplify 0 into 0 7.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.919 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.919 * [backup-simplify]: Simplify 0 into 0 7.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.920 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.921 * [backup-simplify]: Simplify 0 into 0 7.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.922 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.922 * [backup-simplify]: Simplify 0 into 0 7.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.925 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.925 * [backup-simplify]: Simplify 0 into 0 7.925 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 7.925 * [backup-simplify]: Simplify (* 3 (pow (/ 1 z) 2)) into (/ 3 (pow z 2)) 7.925 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 7.925 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 7.925 * [taylor]: Taking taylor expansion of 3 in z 7.925 * [backup-simplify]: Simplify 3 into 3 7.925 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.925 * [taylor]: Taking taylor expansion of z in z 7.925 * [backup-simplify]: Simplify 0 into 0 7.925 * [backup-simplify]: Simplify 1 into 1 7.926 * [backup-simplify]: Simplify (* 1 1) into 1 7.926 * [backup-simplify]: Simplify (/ 3 1) into 3 7.926 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 7.926 * [taylor]: Taking taylor expansion of 3 in z 7.926 * [backup-simplify]: Simplify 3 into 3 7.926 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.926 * [taylor]: Taking taylor expansion of z in z 7.926 * [backup-simplify]: Simplify 0 into 0 7.926 * [backup-simplify]: Simplify 1 into 1 7.927 * [backup-simplify]: Simplify (* 1 1) into 1 7.927 * [backup-simplify]: Simplify (/ 3 1) into 3 7.927 * [backup-simplify]: Simplify 3 into 3 7.928 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.928 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 7.928 * [backup-simplify]: Simplify 0 into 0 7.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.930 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.930 * [backup-simplify]: Simplify 0 into 0 7.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.931 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.931 * [backup-simplify]: Simplify 0 into 0 7.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.933 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.933 * [backup-simplify]: Simplify 0 into 0 7.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.934 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.934 * [backup-simplify]: Simplify 0 into 0 7.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.935 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.935 * [backup-simplify]: Simplify 0 into 0 7.936 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2)) 7.936 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (- z)) 2)) into (/ 3 (pow z 2)) 7.936 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 7.936 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 7.936 * [taylor]: Taking taylor expansion of 3 in z 7.936 * [backup-simplify]: Simplify 3 into 3 7.936 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.936 * [taylor]: Taking taylor expansion of z in z 7.936 * [backup-simplify]: Simplify 0 into 0 7.936 * [backup-simplify]: Simplify 1 into 1 7.936 * [backup-simplify]: Simplify (* 1 1) into 1 7.937 * [backup-simplify]: Simplify (/ 3 1) into 3 7.937 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 7.937 * [taylor]: Taking taylor expansion of 3 in z 7.937 * [backup-simplify]: Simplify 3 into 3 7.937 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.937 * [taylor]: Taking taylor expansion of z in z 7.937 * [backup-simplify]: Simplify 0 into 0 7.937 * [backup-simplify]: Simplify 1 into 1 7.937 * [backup-simplify]: Simplify (* 1 1) into 1 7.937 * [backup-simplify]: Simplify (/ 3 1) into 3 7.937 * [backup-simplify]: Simplify 3 into 3 7.938 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.938 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 7.938 * [backup-simplify]: Simplify 0 into 0 7.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.939 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.939 * [backup-simplify]: Simplify 0 into 0 7.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.940 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.941 * [backup-simplify]: Simplify 0 into 0 7.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.942 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.942 * [backup-simplify]: Simplify 0 into 0 7.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.948 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.948 * [backup-simplify]: Simplify 0 into 0 7.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.950 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.950 * [backup-simplify]: Simplify 0 into 0 7.950 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2)) 7.950 * * * * [progress]: [ 2 / 2 ] generating series at (2) 7.951 * [backup-simplify]: Simplify (+ (* 3 (pow z 2)) (* y x)) into (+ (* 3 (pow z 2)) (* x y)) 7.951 * [approximate]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in (z y x) around 0 7.951 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x 7.951 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x 7.951 * [taylor]: Taking taylor expansion of 3 in x 7.951 * [backup-simplify]: Simplify 3 into 3 7.951 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.951 * [taylor]: Taking taylor expansion of z in x 7.951 * [backup-simplify]: Simplify z into z 7.951 * [taylor]: Taking taylor expansion of (* x y) in x 7.951 * [taylor]: Taking taylor expansion of x in x 7.951 * [backup-simplify]: Simplify 0 into 0 7.951 * [backup-simplify]: Simplify 1 into 1 7.951 * [taylor]: Taking taylor expansion of y in x 7.951 * [backup-simplify]: Simplify y into y 7.951 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in y 7.951 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y 7.951 * [taylor]: Taking taylor expansion of 3 in y 7.951 * [backup-simplify]: Simplify 3 into 3 7.951 * [taylor]: Taking taylor expansion of (pow z 2) in y 7.951 * [taylor]: Taking taylor expansion of z in y 7.951 * [backup-simplify]: Simplify z into z 7.951 * [taylor]: Taking taylor expansion of (* x y) in y 7.951 * [taylor]: Taking taylor expansion of x in y 7.951 * [backup-simplify]: Simplify x into x 7.951 * [taylor]: Taking taylor expansion of y in y 7.951 * [backup-simplify]: Simplify 0 into 0 7.951 * [backup-simplify]: Simplify 1 into 1 7.951 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in z 7.951 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 7.951 * [taylor]: Taking taylor expansion of 3 in z 7.951 * [backup-simplify]: Simplify 3 into 3 7.951 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.951 * [taylor]: Taking taylor expansion of z in z 7.951 * [backup-simplify]: Simplify 0 into 0 7.951 * [backup-simplify]: Simplify 1 into 1 7.951 * [taylor]: Taking taylor expansion of (* x y) in z 7.951 * [taylor]: Taking taylor expansion of x in z 7.951 * [backup-simplify]: Simplify x into x 7.951 * [taylor]: Taking taylor expansion of y in z 7.951 * [backup-simplify]: Simplify y into y 7.951 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in z 7.951 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 7.951 * [taylor]: Taking taylor expansion of 3 in z 7.951 * [backup-simplify]: Simplify 3 into 3 7.951 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.951 * [taylor]: Taking taylor expansion of z in z 7.951 * [backup-simplify]: Simplify 0 into 0 7.951 * [backup-simplify]: Simplify 1 into 1 7.951 * [taylor]: Taking taylor expansion of (* x y) in z 7.951 * [taylor]: Taking taylor expansion of x in z 7.951 * [backup-simplify]: Simplify x into x 7.951 * [taylor]: Taking taylor expansion of y in z 7.951 * [backup-simplify]: Simplify y into y 7.951 * [backup-simplify]: Simplify (* x y) into (* x y) 7.952 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 7.952 * [taylor]: Taking taylor expansion of (* x y) in y 7.952 * [taylor]: Taking taylor expansion of x in y 7.952 * [backup-simplify]: Simplify x into x 7.952 * [taylor]: Taking taylor expansion of y in y 7.952 * [backup-simplify]: Simplify 0 into 0 7.952 * [backup-simplify]: Simplify 1 into 1 7.952 * [backup-simplify]: Simplify (* x 0) into 0 7.952 * [taylor]: Taking taylor expansion of 0 in x 7.952 * [backup-simplify]: Simplify 0 into 0 7.952 * [backup-simplify]: Simplify 0 into 0 7.952 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 7.952 * [backup-simplify]: Simplify (+ 0 0) into 0 7.952 * [taylor]: Taking taylor expansion of 0 in y 7.952 * [backup-simplify]: Simplify 0 into 0 7.952 * [taylor]: Taking taylor expansion of 0 in x 7.952 * [backup-simplify]: Simplify 0 into 0 7.952 * [backup-simplify]: Simplify 0 into 0 7.953 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.953 * [taylor]: Taking taylor expansion of x in x 7.953 * [backup-simplify]: Simplify 0 into 0 7.953 * [backup-simplify]: Simplify 1 into 1 7.953 * [backup-simplify]: Simplify 0 into 0 7.953 * [backup-simplify]: Simplify 0 into 0 7.953 * [backup-simplify]: Simplify (* 1 1) into 1 7.953 * [backup-simplify]: Simplify (* 3 1) into 3 7.954 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 7.954 * [backup-simplify]: Simplify (+ 3 0) into 3 7.954 * [taylor]: Taking taylor expansion of 3 in y 7.954 * [backup-simplify]: Simplify 3 into 3 7.954 * [taylor]: Taking taylor expansion of 3 in x 7.954 * [backup-simplify]: Simplify 3 into 3 7.954 * [backup-simplify]: Simplify 3 into 3 7.954 * [taylor]: Taking taylor expansion of 0 in x 7.954 * [backup-simplify]: Simplify 0 into 0 7.954 * [backup-simplify]: Simplify 0 into 0 7.955 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 7.955 * [taylor]: Taking taylor expansion of 0 in x 7.955 * [backup-simplify]: Simplify 0 into 0 7.955 * [backup-simplify]: Simplify 0 into 0 7.955 * [backup-simplify]: Simplify 0 into 0 7.955 * [backup-simplify]: Simplify 1 into 1 7.955 * [backup-simplify]: Simplify 0 into 0 7.955 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.956 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 7.956 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 7.956 * [backup-simplify]: Simplify (+ 0 0) into 0 7.956 * [taylor]: Taking taylor expansion of 0 in y 7.956 * [backup-simplify]: Simplify 0 into 0 7.956 * [taylor]: Taking taylor expansion of 0 in x 7.956 * [backup-simplify]: Simplify 0 into 0 7.956 * [backup-simplify]: Simplify 0 into 0 7.956 * [taylor]: Taking taylor expansion of 0 in x 7.956 * [backup-simplify]: Simplify 0 into 0 7.957 * [backup-simplify]: Simplify 0 into 0 7.957 * [taylor]: Taking taylor expansion of 0 in x 7.957 * [backup-simplify]: Simplify 0 into 0 7.957 * [backup-simplify]: Simplify 0 into 0 7.957 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.957 * [taylor]: Taking taylor expansion of 0 in x 7.957 * [backup-simplify]: Simplify 0 into 0 7.957 * [backup-simplify]: Simplify 0 into 0 7.957 * [backup-simplify]: Simplify 0 into 0 7.957 * [backup-simplify]: Simplify (+ (* 1 (* x (* y 1))) (* 3 (pow (* 1 (* 1 z)) 2))) into (+ (* 3 (pow z 2)) (* x y)) 7.958 * [backup-simplify]: Simplify (+ (* 3 (pow (/ 1 z) 2)) (* (/ 1 y) (/ 1 x))) into (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) 7.958 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (z y x) around 0 7.958 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x 7.958 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 7.958 * [taylor]: Taking taylor expansion of 3 in x 7.958 * [backup-simplify]: Simplify 3 into 3 7.958 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 7.958 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.958 * [taylor]: Taking taylor expansion of z in x 7.958 * [backup-simplify]: Simplify z into z 7.958 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.958 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.958 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.958 * [taylor]: Taking taylor expansion of (* x y) in x 7.958 * [taylor]: Taking taylor expansion of x in x 7.958 * [backup-simplify]: Simplify 0 into 0 7.958 * [backup-simplify]: Simplify 1 into 1 7.958 * [taylor]: Taking taylor expansion of y in x 7.958 * [backup-simplify]: Simplify y into y 7.958 * [backup-simplify]: Simplify (* 0 y) into 0 7.958 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.958 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.958 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y 7.958 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y 7.959 * [taylor]: Taking taylor expansion of 3 in y 7.959 * [backup-simplify]: Simplify 3 into 3 7.959 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 7.959 * [taylor]: Taking taylor expansion of (pow z 2) in y 7.959 * [taylor]: Taking taylor expansion of z in y 7.959 * [backup-simplify]: Simplify z into z 7.959 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.959 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.959 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.959 * [taylor]: Taking taylor expansion of (* x y) in y 7.959 * [taylor]: Taking taylor expansion of x in y 7.959 * [backup-simplify]: Simplify x into x 7.959 * [taylor]: Taking taylor expansion of y in y 7.959 * [backup-simplify]: Simplify 0 into 0 7.959 * [backup-simplify]: Simplify 1 into 1 7.959 * [backup-simplify]: Simplify (* x 0) into 0 7.959 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.959 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.959 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z 7.959 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z 7.959 * [taylor]: Taking taylor expansion of 3 in z 7.959 * [backup-simplify]: Simplify 3 into 3 7.959 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 7.959 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.959 * [taylor]: Taking taylor expansion of z in z 7.959 * [backup-simplify]: Simplify 0 into 0 7.959 * [backup-simplify]: Simplify 1 into 1 7.960 * [backup-simplify]: Simplify (* 1 1) into 1 7.960 * [backup-simplify]: Simplify (/ 1 1) into 1 7.960 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.960 * [taylor]: Taking taylor expansion of (* x y) in z 7.960 * [taylor]: Taking taylor expansion of x in z 7.960 * [backup-simplify]: Simplify x into x 7.960 * [taylor]: Taking taylor expansion of y in z 7.960 * [backup-simplify]: Simplify y into y 7.960 * [backup-simplify]: Simplify (* x y) into (* x y) 7.960 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 7.960 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z 7.960 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z 7.960 * [taylor]: Taking taylor expansion of 3 in z 7.960 * [backup-simplify]: Simplify 3 into 3 7.960 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 7.960 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.960 * [taylor]: Taking taylor expansion of z in z 7.960 * [backup-simplify]: Simplify 0 into 0 7.960 * [backup-simplify]: Simplify 1 into 1 7.960 * [backup-simplify]: Simplify (* 1 1) into 1 7.961 * [backup-simplify]: Simplify (/ 1 1) into 1 7.961 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.961 * [taylor]: Taking taylor expansion of (* x y) in z 7.961 * [taylor]: Taking taylor expansion of x in z 7.961 * [backup-simplify]: Simplify x into x 7.961 * [taylor]: Taking taylor expansion of y in z 7.961 * [backup-simplify]: Simplify y into y 7.961 * [backup-simplify]: Simplify (* x y) into (* x y) 7.961 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 7.961 * [backup-simplify]: Simplify (* 3 1) into 3 7.961 * [backup-simplify]: Simplify (+ 3 0) into 3 7.961 * [taylor]: Taking taylor expansion of 3 in y 7.962 * [backup-simplify]: Simplify 3 into 3 7.962 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.963 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 7.963 * [backup-simplify]: Simplify (+ 0 0) into 0 7.963 * [taylor]: Taking taylor expansion of 0 in y 7.963 * [backup-simplify]: Simplify 0 into 0 7.963 * [taylor]: Taking taylor expansion of 3 in x 7.963 * [backup-simplify]: Simplify 3 into 3 7.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.965 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 7.965 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y)) 7.965 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.965 * [taylor]: Taking taylor expansion of (* x y) in y 7.965 * [taylor]: Taking taylor expansion of x in y 7.965 * [backup-simplify]: Simplify x into x 7.965 * [taylor]: Taking taylor expansion of y in y 7.965 * [backup-simplify]: Simplify 0 into 0 7.965 * [backup-simplify]: Simplify 1 into 1 7.965 * [backup-simplify]: Simplify (* x 0) into 0 7.966 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.966 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.966 * [taylor]: Taking taylor expansion of x in x 7.966 * [backup-simplify]: Simplify 0 into 0 7.966 * [backup-simplify]: Simplify 1 into 1 7.966 * [backup-simplify]: Simplify (/ 1 1) into 1 7.966 * [backup-simplify]: Simplify 1 into 1 7.966 * [taylor]: Taking taylor expansion of 0 in x 7.966 * [backup-simplify]: Simplify 0 into 0 7.966 * [taylor]: Taking taylor expansion of 0 in x 7.966 * [backup-simplify]: Simplify 0 into 0 7.966 * [backup-simplify]: Simplify 3 into 3 7.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.968 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.968 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 7.968 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 7.968 * [backup-simplify]: Simplify (+ 0 0) into 0 7.968 * [taylor]: Taking taylor expansion of 0 in y 7.968 * [backup-simplify]: Simplify 0 into 0 7.969 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 7.969 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.969 * [taylor]: Taking taylor expansion of 0 in x 7.969 * [backup-simplify]: Simplify 0 into 0 7.969 * [taylor]: Taking taylor expansion of 0 in x 7.969 * [backup-simplify]: Simplify 0 into 0 7.969 * [taylor]: Taking taylor expansion of 0 in x 7.969 * [backup-simplify]: Simplify 0 into 0 7.969 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.969 * [backup-simplify]: Simplify 0 into 0 7.969 * [backup-simplify]: Simplify 0 into 0 7.969 * [backup-simplify]: Simplify 0 into 0 7.969 * [backup-simplify]: Simplify 0 into 0 7.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.971 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.972 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 7.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 7.972 * [backup-simplify]: Simplify (+ 0 0) into 0 7.972 * [taylor]: Taking taylor expansion of 0 in y 7.972 * [backup-simplify]: Simplify 0 into 0 7.972 * [taylor]: Taking taylor expansion of 0 in x 7.972 * [backup-simplify]: Simplify 0 into 0 7.973 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.973 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.973 * [taylor]: Taking taylor expansion of 0 in x 7.973 * [backup-simplify]: Simplify 0 into 0 7.973 * [taylor]: Taking taylor expansion of 0 in x 7.973 * [backup-simplify]: Simplify 0 into 0 7.973 * [taylor]: Taking taylor expansion of 0 in x 7.973 * [backup-simplify]: Simplify 0 into 0 7.973 * [backup-simplify]: Simplify 0 into 0 7.973 * [backup-simplify]: Simplify 0 into 0 7.973 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (* 1 (/ 1 (/ 1 z)))) 2)) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) 1)))) into (+ (* 3 (pow z 2)) (* x y)) 7.974 * [backup-simplify]: Simplify (+ (* 3 (pow (/ 1 (- z)) 2)) (* (/ 1 (- y)) (/ 1 (- x)))) into (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) 7.974 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (z y x) around 0 7.974 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x 7.974 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 7.974 * [taylor]: Taking taylor expansion of 3 in x 7.974 * [backup-simplify]: Simplify 3 into 3 7.974 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 7.974 * [taylor]: Taking taylor expansion of (pow z 2) in x 7.974 * [taylor]: Taking taylor expansion of z in x 7.974 * [backup-simplify]: Simplify z into z 7.974 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.974 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.974 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 7.974 * [taylor]: Taking taylor expansion of (* x y) in x 7.974 * [taylor]: Taking taylor expansion of x in x 7.974 * [backup-simplify]: Simplify 0 into 0 7.974 * [backup-simplify]: Simplify 1 into 1 7.974 * [taylor]: Taking taylor expansion of y in x 7.974 * [backup-simplify]: Simplify y into y 7.974 * [backup-simplify]: Simplify (* 0 y) into 0 7.974 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.974 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.974 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y 7.975 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y 7.975 * [taylor]: Taking taylor expansion of 3 in y 7.975 * [backup-simplify]: Simplify 3 into 3 7.975 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 7.975 * [taylor]: Taking taylor expansion of (pow z 2) in y 7.975 * [taylor]: Taking taylor expansion of z in y 7.975 * [backup-simplify]: Simplify z into z 7.975 * [backup-simplify]: Simplify (* z z) into (pow z 2) 7.975 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 7.975 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.975 * [taylor]: Taking taylor expansion of (* x y) in y 7.975 * [taylor]: Taking taylor expansion of x in y 7.975 * [backup-simplify]: Simplify x into x 7.975 * [taylor]: Taking taylor expansion of y in y 7.975 * [backup-simplify]: Simplify 0 into 0 7.975 * [backup-simplify]: Simplify 1 into 1 7.975 * [backup-simplify]: Simplify (* x 0) into 0 7.975 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.975 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.975 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z 7.975 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z 7.975 * [taylor]: Taking taylor expansion of 3 in z 7.975 * [backup-simplify]: Simplify 3 into 3 7.975 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 7.975 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.975 * [taylor]: Taking taylor expansion of z in z 7.975 * [backup-simplify]: Simplify 0 into 0 7.975 * [backup-simplify]: Simplify 1 into 1 7.976 * [backup-simplify]: Simplify (* 1 1) into 1 7.976 * [backup-simplify]: Simplify (/ 1 1) into 1 7.976 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.976 * [taylor]: Taking taylor expansion of (* x y) in z 7.976 * [taylor]: Taking taylor expansion of x in z 7.976 * [backup-simplify]: Simplify x into x 7.976 * [taylor]: Taking taylor expansion of y in z 7.976 * [backup-simplify]: Simplify y into y 7.976 * [backup-simplify]: Simplify (* x y) into (* x y) 7.976 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 7.976 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z 7.976 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z 7.976 * [taylor]: Taking taylor expansion of 3 in z 7.976 * [backup-simplify]: Simplify 3 into 3 7.976 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 7.976 * [taylor]: Taking taylor expansion of (pow z 2) in z 7.976 * [taylor]: Taking taylor expansion of z in z 7.976 * [backup-simplify]: Simplify 0 into 0 7.976 * [backup-simplify]: Simplify 1 into 1 7.977 * [backup-simplify]: Simplify (* 1 1) into 1 7.977 * [backup-simplify]: Simplify (/ 1 1) into 1 7.977 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 7.977 * [taylor]: Taking taylor expansion of (* x y) in z 7.977 * [taylor]: Taking taylor expansion of x in z 7.977 * [backup-simplify]: Simplify x into x 7.977 * [taylor]: Taking taylor expansion of y in z 7.977 * [backup-simplify]: Simplify y into y 7.977 * [backup-simplify]: Simplify (* x y) into (* x y) 7.977 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 7.978 * [backup-simplify]: Simplify (* 3 1) into 3 7.978 * [backup-simplify]: Simplify (+ 3 0) into 3 7.978 * [taylor]: Taking taylor expansion of 3 in y 7.978 * [backup-simplify]: Simplify 3 into 3 7.979 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.980 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 7.980 * [backup-simplify]: Simplify (+ 0 0) into 0 7.980 * [taylor]: Taking taylor expansion of 0 in y 7.980 * [backup-simplify]: Simplify 0 into 0 7.980 * [taylor]: Taking taylor expansion of 3 in x 7.980 * [backup-simplify]: Simplify 3 into 3 7.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.983 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 7.983 * [backup-simplify]: Simplify (+ 0 (/ 1 (* x y))) into (/ 1 (* x y)) 7.983 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 7.983 * [taylor]: Taking taylor expansion of (* x y) in y 7.983 * [taylor]: Taking taylor expansion of x in y 7.983 * [backup-simplify]: Simplify x into x 7.983 * [taylor]: Taking taylor expansion of y in y 7.983 * [backup-simplify]: Simplify 0 into 0 7.983 * [backup-simplify]: Simplify 1 into 1 7.983 * [backup-simplify]: Simplify (* x 0) into 0 7.983 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.984 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.984 * [taylor]: Taking taylor expansion of x in x 7.984 * [backup-simplify]: Simplify 0 into 0 7.984 * [backup-simplify]: Simplify 1 into 1 7.984 * [backup-simplify]: Simplify (/ 1 1) into 1 7.984 * [backup-simplify]: Simplify 1 into 1 7.984 * [taylor]: Taking taylor expansion of 0 in x 7.984 * [backup-simplify]: Simplify 0 into 0 7.984 * [taylor]: Taking taylor expansion of 0 in x 7.984 * [backup-simplify]: Simplify 0 into 0 7.984 * [backup-simplify]: Simplify 3 into 3 7.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.986 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.986 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 7.986 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 7.987 * [backup-simplify]: Simplify (+ 0 0) into 0 7.987 * [taylor]: Taking taylor expansion of 0 in y 7.987 * [backup-simplify]: Simplify 0 into 0 7.987 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 7.987 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.987 * [taylor]: Taking taylor expansion of 0 in x 7.987 * [backup-simplify]: Simplify 0 into 0 7.987 * [taylor]: Taking taylor expansion of 0 in x 7.987 * [backup-simplify]: Simplify 0 into 0 7.987 * [taylor]: Taking taylor expansion of 0 in x 7.987 * [backup-simplify]: Simplify 0 into 0 7.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.988 * [backup-simplify]: Simplify 0 into 0 7.988 * [backup-simplify]: Simplify 0 into 0 7.988 * [backup-simplify]: Simplify 0 into 0 7.988 * [backup-simplify]: Simplify 0 into 0 7.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.990 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.990 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 7.990 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 7.991 * [backup-simplify]: Simplify (+ 0 0) into 0 7.991 * [taylor]: Taking taylor expansion of 0 in y 7.991 * [backup-simplify]: Simplify 0 into 0 7.991 * [taylor]: Taking taylor expansion of 0 in x 7.991 * [backup-simplify]: Simplify 0 into 0 7.991 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.991 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.991 * [taylor]: Taking taylor expansion of 0 in x 7.991 * [backup-simplify]: Simplify 0 into 0 7.991 * [taylor]: Taking taylor expansion of 0 in x 7.991 * [backup-simplify]: Simplify 0 into 0 7.991 * [taylor]: Taking taylor expansion of 0 in x 7.991 * [backup-simplify]: Simplify 0 into 0 7.991 * [backup-simplify]: Simplify 0 into 0 7.991 * [backup-simplify]: Simplify 0 into 0 7.992 * [backup-simplify]: Simplify (+ (* 3 (pow (* 1 (* 1 (/ 1 (/ 1 (- z))))) 2)) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) 1)))) into (+ (* 3 (pow z 2)) (* x y)) 7.992 * * * [progress]: simplifying candidates 7.993 * [simplify]: Simplifying: (expm1 (* 3 (pow z 2))) (log1p (* 3 (pow z 2))) (+ (log 3) (* (log z) 2)) (+ (log 3) (* (log z) 2)) (+ (log 3) (log (pow z 2))) (log (* 3 (pow z 2))) (exp (* 3 (pow z 2))) (* (* (* 3 3) 3) (* (* (pow z 2) (pow z 2)) (pow z 2))) (* (cbrt (* 3 (pow z 2))) (cbrt (* 3 (pow z 2)))) (cbrt (* 3 (pow z 2))) (* (* (* 3 (pow z 2)) (* 3 (pow z 2))) (* 3 (pow z 2))) (sqrt (* 3 (pow z 2))) (sqrt (* 3 (pow z 2))) (* (sqrt 3) (pow (sqrt z) 2)) (* (sqrt 3) (pow (sqrt z) 2)) (* (sqrt 3) z) (* (sqrt 3) z) (* (sqrt 3) (sqrt (pow z 2))) (* (sqrt 3) (sqrt (pow z 2))) (* (sqrt 3) (pow z (/ 2 2))) (* (sqrt 3) (pow z (/ 2 2))) (* 3 (pow (* (cbrt z) (cbrt z)) 2)) (* 3 (pow (sqrt z) 2)) (* 3 (pow 1 2)) (* 3 z) (* 3 (* (cbrt (pow z 2)) (cbrt (pow z 2)))) (* 3 (sqrt (pow z 2))) (* 3 1) (* 3 (pow z (/ 2 2))) (* (cbrt 3) (pow z 2)) (* (sqrt 3) (pow z 2)) (* 3 (pow z 2)) (expm1 (+ (* 3 (pow z 2)) (* y x))) (log1p (+ (* 3 (pow z 2)) (* y x))) (* (exp (* 3 (pow z 2))) (exp (* y x))) (log (+ (* 3 (pow z 2)) (* y x))) (exp (+ (* 3 (pow z 2)) (* y x))) (* (cbrt (+ (* 3 (pow z 2)) (* y x))) (cbrt (+ (* 3 (pow z 2)) (* y x)))) (cbrt (+ (* 3 (pow z 2)) (* y x))) (* (* (+ (* 3 (pow z 2)) (* y x)) (+ (* 3 (pow z 2)) (* y x))) (+ (* 3 (pow z 2)) (* y x))) (sqrt (+ (* 3 (pow z 2)) (* y x))) (sqrt (+ (* 3 (pow z 2)) (* y x))) (+ (pow (* 3 (pow z 2)) 3) (pow (* y x) 3)) (+ (* (* 3 (pow z 2)) (* 3 (pow z 2))) (- (* (* y x) (* y x)) (* (* 3 (pow z 2)) (* y x)))) (- (* (* 3 (pow z 2)) (* 3 (pow z 2))) (* (* y x) (* y x))) (- (* 3 (pow z 2)) (* y x)) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) 7.993 * * [simplify]: Extracting # 0 : cost 0 7.994 * * [simplify]: Extracting # 1 : cost 0 7.994 * * [simplify]: Extracting # 2 : cost 0 7.994 * * [simplify]: Extracting # 3 : cost 0 7.994 * * [simplify]: Extracting # 4 : cost 0 7.994 * * [simplify]: Extracting # 5 : cost 0 7.994 * * [simplify]: Extracting # 6 : cost 0 7.994 * * [simplify]: iteration 0 : 79 enodes (cost 472 ) 8.018 * * [simplify]: Extracting # 0 : cost 0 8.019 * * [simplify]: Extracting # 1 : cost 0 8.019 * * [simplify]: Extracting # 2 : cost 0 8.020 * * [simplify]: Extracting # 3 : cost 0 8.020 * * [simplify]: Extracting # 4 : cost 0 8.021 * * [simplify]: iteration 1 : 200 enodes (cost 406 ) 8.114 * * [simplify]: Extracting # 0 : cost 0 8.114 * * [simplify]: Extracting # 1 : cost 0 8.115 * * [simplify]: Extracting # 2 : cost 0 8.115 * * [simplify]: Extracting # 3 : cost 0 8.116 * * [simplify]: Extracting # 4 : cost 0 8.116 * * [simplify]: iteration 2 : 554 enodes (cost 365 ) 8.606 * * [simplify]: Extracting # 0 : cost 0 8.611 * * [simplify]: Extracting # 1 : cost 0 8.619 * * [simplify]: Extracting # 2 : cost 0 8.623 * * [simplify]: Extracting # 3 : cost 0 8.627 * * [simplify]: Extracting # 4 : cost 0 8.630 * * [simplify]: iteration 3 : 1887 enodes (cost 358 ) 10.281 * * [simplify]: Extracting # 0 : cost 0 10.287 * * [simplify]: Extracting # 1 : cost 0 10.299 * * [simplify]: Extracting # 2 : cost 0 10.306 * * [simplify]: Extracting # 3 : cost 0 10.315 * * [simplify]: Extracting # 4 : cost 0 10.326 * * [simplify]: iteration done: 5000 enodes (cost 355 ) 10.327 * [simplify]: Simplified to: (expm1 (* 3 (pow z 2))) (log1p (* 3 (pow z 2))) (log (* 3 (pow z 2))) (log (* 3 (pow z 2))) (log (* 3 (pow z 2))) (log (* 3 (pow z 2))) (exp (* 3 (pow z 2))) (* 27 (pow z 6)) (* (cbrt (* 3 (pow z 2))) (cbrt (* 3 (pow z 2)))) (cbrt (* 3 (pow z 2))) (* 27 (pow z 6)) (sqrt (* 3 (pow z 2))) (sqrt (* 3 (pow z 2))) (* z (sqrt 3)) (* z (sqrt 3)) (* z (sqrt 3)) (* z (sqrt 3)) (* (sqrt 3) (fabs z)) (* (sqrt 3) (fabs z)) (* z (sqrt 3)) (* z (sqrt 3)) (* (* 3 (cbrt z)) z) (* z 3) 3 (* z 3) (* 3 (* (cbrt (pow z 2)) (cbrt (pow z 2)))) (* (fabs z) 3) 3 (* z 3) (* (cbrt 3) (pow z 2)) (* (sqrt 3) (pow z 2)) (* 3 (pow z 2)) (expm1 (fma 3 (pow z 2) (* y x))) (log1p (fma 3 (pow z 2) (* y x))) (exp (fma 3 (pow z 2) (* y x))) (log (fma 3 (pow z 2) (* y x))) (exp (fma 3 (pow z 2) (* y x))) (* (cbrt (fma 3 (pow z 2) (* y x))) (cbrt (fma 3 (pow z 2) (* y x)))) (cbrt (fma 3 (pow z 2) (* y x))) (pow (fma 3 (pow z 2) (* y x)) 3) (sqrt (fma 3 (pow z 2) (* y x))) (sqrt (fma 3 (pow z 2) (* y x))) (fma (pow z 6) 27 (pow (* y x) 3)) (fma (pow z 4) 9 (* (* x y) (fma y x (* (pow z 2) -3)))) (- (* 9 (pow z 4)) (* (* y x) (* y x))) (- (* 3 (pow z 2)) (* y x)) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) (fma 3 (pow z 2) (* y x)) (fma 3 (pow z 2) (* y x)) (fma 3 (pow z 2) (* y x)) 10.327 * * * [progress]: adding candidates to table 10.463 * * [progress]: iteration 4 / 4 10.463 * * * [progress]: picking best candidate 10.477 * * * * [pick]: Picked # 10.477 * * * [progress]: localizing error 10.485 * * * [progress]: generating rewritten candidates 10.485 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 10.505 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 10.506 * * * [progress]: generating series expansions 10.506 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 10.506 * [backup-simplify]: Simplify (* (* 3 z) z) into (* 3 (pow z 2)) 10.506 * [approximate]: Taking taylor expansion of (* 3 (pow z 2)) in (z) around 0 10.506 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 10.506 * [taylor]: Taking taylor expansion of 3 in z 10.506 * [backup-simplify]: Simplify 3 into 3 10.506 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.506 * [taylor]: Taking taylor expansion of z in z 10.506 * [backup-simplify]: Simplify 0 into 0 10.506 * [backup-simplify]: Simplify 1 into 1 10.506 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 10.506 * [taylor]: Taking taylor expansion of 3 in z 10.506 * [backup-simplify]: Simplify 3 into 3 10.506 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.506 * [taylor]: Taking taylor expansion of z in z 10.506 * [backup-simplify]: Simplify 0 into 0 10.506 * [backup-simplify]: Simplify 1 into 1 10.507 * [backup-simplify]: Simplify (* 1 1) into 1 10.507 * [backup-simplify]: Simplify (* 3 1) into 3 10.507 * [backup-simplify]: Simplify 3 into 3 10.508 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.508 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 10.508 * [backup-simplify]: Simplify 0 into 0 10.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.509 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 10.509 * [backup-simplify]: Simplify 0 into 0 10.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.510 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.510 * [backup-simplify]: Simplify 0 into 0 10.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.512 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.512 * [backup-simplify]: Simplify 0 into 0 10.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.513 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.513 * [backup-simplify]: Simplify 0 into 0 10.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.519 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 10.520 * [backup-simplify]: Simplify (* (* 3 (/ 1 z)) (/ 1 z)) into (/ 3 (pow z 2)) 10.520 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 10.520 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 10.520 * [taylor]: Taking taylor expansion of 3 in z 10.520 * [backup-simplify]: Simplify 3 into 3 10.520 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.520 * [taylor]: Taking taylor expansion of z in z 10.520 * [backup-simplify]: Simplify 0 into 0 10.520 * [backup-simplify]: Simplify 1 into 1 10.520 * [backup-simplify]: Simplify (* 1 1) into 1 10.520 * [backup-simplify]: Simplify (/ 3 1) into 3 10.520 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 10.520 * [taylor]: Taking taylor expansion of 3 in z 10.520 * [backup-simplify]: Simplify 3 into 3 10.520 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.520 * [taylor]: Taking taylor expansion of z in z 10.520 * [backup-simplify]: Simplify 0 into 0 10.520 * [backup-simplify]: Simplify 1 into 1 10.521 * [backup-simplify]: Simplify (* 1 1) into 1 10.521 * [backup-simplify]: Simplify (/ 3 1) into 3 10.521 * [backup-simplify]: Simplify 3 into 3 10.521 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 10.522 * [backup-simplify]: Simplify 0 into 0 10.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.523 * [backup-simplify]: Simplify 0 into 0 10.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.524 * [backup-simplify]: Simplify 0 into 0 10.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.526 * [backup-simplify]: Simplify 0 into 0 10.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.529 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.529 * [backup-simplify]: Simplify 0 into 0 10.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.532 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.532 * [backup-simplify]: Simplify 0 into 0 10.532 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 z)) 2)) into (* 3 (pow z 2)) 10.532 * [backup-simplify]: Simplify (* (* 3 (/ 1 (- z))) (/ 1 (- z))) into (/ 3 (pow z 2)) 10.533 * [approximate]: Taking taylor expansion of (/ 3 (pow z 2)) in (z) around 0 10.533 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 10.533 * [taylor]: Taking taylor expansion of 3 in z 10.533 * [backup-simplify]: Simplify 3 into 3 10.533 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.533 * [taylor]: Taking taylor expansion of z in z 10.533 * [backup-simplify]: Simplify 0 into 0 10.533 * [backup-simplify]: Simplify 1 into 1 10.533 * [backup-simplify]: Simplify (* 1 1) into 1 10.534 * [backup-simplify]: Simplify (/ 3 1) into 3 10.534 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 10.534 * [taylor]: Taking taylor expansion of 3 in z 10.534 * [backup-simplify]: Simplify 3 into 3 10.534 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.534 * [taylor]: Taking taylor expansion of z in z 10.534 * [backup-simplify]: Simplify 0 into 0 10.534 * [backup-simplify]: Simplify 1 into 1 10.534 * [backup-simplify]: Simplify (* 1 1) into 1 10.535 * [backup-simplify]: Simplify (/ 3 1) into 3 10.535 * [backup-simplify]: Simplify 3 into 3 10.535 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 10.536 * [backup-simplify]: Simplify 0 into 0 10.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.538 * [backup-simplify]: Simplify 0 into 0 10.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.540 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.540 * [backup-simplify]: Simplify 0 into 0 10.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.542 * [backup-simplify]: Simplify 0 into 0 10.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.545 * [backup-simplify]: Simplify 0 into 0 10.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.547 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.547 * [backup-simplify]: Simplify 0 into 0 10.548 * [backup-simplify]: Simplify (* 3 (pow (/ 1 (/ 1 (- z))) 2)) into (* 3 (pow z 2)) 10.548 * * * * [progress]: [ 2 / 2 ] generating series at (2) 10.548 * [backup-simplify]: Simplify (fma y x (* (* 3 z) z)) into (fma y x (* 3 (pow z 2))) 10.548 * [approximate]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in (y x z) around 0 10.548 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in z 10.548 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2))) 10.548 * [taylor]: Taking taylor expansion of (* y x) in z 10.548 * [taylor]: Taking taylor expansion of y in z 10.548 * [backup-simplify]: Simplify y into y 10.548 * [taylor]: Taking taylor expansion of x in z 10.548 * [backup-simplify]: Simplify x into x 10.548 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 10.548 * [taylor]: Taking taylor expansion of 3 in z 10.548 * [backup-simplify]: Simplify 3 into 3 10.549 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.549 * [taylor]: Taking taylor expansion of z in z 10.549 * [backup-simplify]: Simplify 0 into 0 10.549 * [backup-simplify]: Simplify 1 into 1 10.549 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in x 10.549 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2))) 10.549 * [taylor]: Taking taylor expansion of (* y x) in x 10.549 * [taylor]: Taking taylor expansion of y in x 10.549 * [backup-simplify]: Simplify y into y 10.549 * [taylor]: Taking taylor expansion of x in x 10.549 * [backup-simplify]: Simplify 0 into 0 10.549 * [backup-simplify]: Simplify 1 into 1 10.549 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x 10.549 * [taylor]: Taking taylor expansion of 3 in x 10.549 * [backup-simplify]: Simplify 3 into 3 10.549 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.549 * [taylor]: Taking taylor expansion of z in x 10.549 * [backup-simplify]: Simplify z into z 10.549 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y 10.550 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2))) 10.550 * [taylor]: Taking taylor expansion of (* y x) in y 10.550 * [taylor]: Taking taylor expansion of y in y 10.550 * [backup-simplify]: Simplify 0 into 0 10.550 * [backup-simplify]: Simplify 1 into 1 10.550 * [taylor]: Taking taylor expansion of x in y 10.550 * [backup-simplify]: Simplify x into x 10.550 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y 10.550 * [taylor]: Taking taylor expansion of 3 in y 10.550 * [backup-simplify]: Simplify 3 into 3 10.550 * [taylor]: Taking taylor expansion of (pow z 2) in y 10.550 * [taylor]: Taking taylor expansion of z in y 10.550 * [backup-simplify]: Simplify z into z 10.550 * [taylor]: Taking taylor expansion of (fma y x (* 3 (pow z 2))) in y 10.550 * [taylor]: Rewrote expression to (+ (* y x) (* 3 (pow z 2))) 10.550 * [taylor]: Taking taylor expansion of (* y x) in y 10.550 * [taylor]: Taking taylor expansion of y in y 10.550 * [backup-simplify]: Simplify 0 into 0 10.550 * [backup-simplify]: Simplify 1 into 1 10.550 * [taylor]: Taking taylor expansion of x in y 10.550 * [backup-simplify]: Simplify x into x 10.550 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y 10.550 * [taylor]: Taking taylor expansion of 3 in y 10.550 * [backup-simplify]: Simplify 3 into 3 10.550 * [taylor]: Taking taylor expansion of (pow z 2) in y 10.550 * [taylor]: Taking taylor expansion of z in y 10.550 * [backup-simplify]: Simplify z into z 10.551 * [backup-simplify]: Simplify (* 0 x) into 0 10.551 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.551 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 10.551 * [backup-simplify]: Simplify (+ 0 (* 3 (pow z 2))) into (* 3 (pow z 2)) 10.551 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x 10.551 * [taylor]: Taking taylor expansion of 3 in x 10.551 * [backup-simplify]: Simplify 3 into 3 10.551 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.551 * [taylor]: Taking taylor expansion of z in x 10.551 * [backup-simplify]: Simplify z into z 10.551 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.551 * [backup-simplify]: Simplify (* 3 (pow z 2)) into (* 3 (pow z 2)) 10.551 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z 10.551 * [taylor]: Taking taylor expansion of 3 in z 10.551 * [backup-simplify]: Simplify 3 into 3 10.552 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.552 * [taylor]: Taking taylor expansion of z in z 10.552 * [backup-simplify]: Simplify 0 into 0 10.552 * [backup-simplify]: Simplify 1 into 1 10.552 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 10.552 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.553 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0 10.553 * [backup-simplify]: Simplify (+ x 0) into x 10.553 * [taylor]: Taking taylor expansion of x in x 10.553 * [backup-simplify]: Simplify 0 into 0 10.553 * [backup-simplify]: Simplify 1 into 1 10.553 * [taylor]: Taking taylor expansion of 0 in z 10.553 * [backup-simplify]: Simplify 0 into 0 10.553 * [backup-simplify]: Simplify 0 into 0 10.553 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.554 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow z 2))) into 0 10.554 * [taylor]: Taking taylor expansion of 0 in z 10.554 * [backup-simplify]: Simplify 0 into 0 10.554 * [backup-simplify]: Simplify 0 into 0 10.555 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 10.555 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 10.556 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0 10.556 * [backup-simplify]: Simplify (+ 0 0) into 0 10.556 * [taylor]: Taking taylor expansion of 0 in x 10.556 * [backup-simplify]: Simplify 0 into 0 10.556 * [taylor]: Taking taylor expansion of 0 in z 10.557 * [backup-simplify]: Simplify 0 into 0 10.557 * [backup-simplify]: Simplify 0 into 0 10.557 * [taylor]: Taking taylor expansion of 1 in z 10.557 * [backup-simplify]: Simplify 1 into 1 10.557 * [backup-simplify]: Simplify 1 into 1 10.557 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 10.558 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow z 2)))) into 0 10.558 * [taylor]: Taking taylor expansion of 0 in z 10.558 * [backup-simplify]: Simplify 0 into 0 10.558 * [backup-simplify]: Simplify 0 into 0 10.558 * [backup-simplify]: Simplify 0 into 0 10.558 * [backup-simplify]: Simplify 0 into 0 10.559 * [backup-simplify]: Simplify (* 1 1) into 1 10.559 * [backup-simplify]: Simplify (* 3 1) into 3 10.559 * [backup-simplify]: Simplify 3 into 3 10.560 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 10.561 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 10.562 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0 10.563 * [backup-simplify]: Simplify (+ 0 0) into 0 10.563 * [taylor]: Taking taylor expansion of 0 in x 10.563 * [backup-simplify]: Simplify 0 into 0 10.563 * [taylor]: Taking taylor expansion of 0 in z 10.563 * [backup-simplify]: Simplify 0 into 0 10.563 * [backup-simplify]: Simplify 0 into 0 10.563 * [taylor]: Taking taylor expansion of 0 in z 10.563 * [backup-simplify]: Simplify 0 into 0 10.563 * [backup-simplify]: Simplify 0 into 0 10.563 * [taylor]: Taking taylor expansion of 0 in z 10.563 * [backup-simplify]: Simplify 0 into 0 10.563 * [backup-simplify]: Simplify 0 into 0 10.564 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 10.565 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow z 2))))) into 0 10.565 * [taylor]: Taking taylor expansion of 0 in z 10.565 * [backup-simplify]: Simplify 0 into 0 10.565 * [backup-simplify]: Simplify 0 into 0 10.565 * [backup-simplify]: Simplify 0 into 0 10.565 * [backup-simplify]: Simplify 0 into 0 10.566 * [backup-simplify]: Simplify (+ (* 3 (pow (* z (* 1 1)) 2)) (* 1 (* 1 (* x y)))) into (+ (* 3 (pow z 2)) (* x y)) 10.566 * [backup-simplify]: Simplify (fma (/ 1 y) (/ 1 x) (* (* 3 (/ 1 z)) (/ 1 z))) into (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) 10.566 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in (y x z) around 0 10.566 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in z 10.567 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2))) 10.567 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in z 10.567 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.567 * [taylor]: Taking taylor expansion of y in z 10.567 * [backup-simplify]: Simplify y into y 10.567 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.567 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.567 * [taylor]: Taking taylor expansion of x in z 10.567 * [backup-simplify]: Simplify x into x 10.567 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.567 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 10.567 * [taylor]: Taking taylor expansion of 3 in z 10.567 * [backup-simplify]: Simplify 3 into 3 10.567 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.567 * [taylor]: Taking taylor expansion of z in z 10.567 * [backup-simplify]: Simplify 0 into 0 10.567 * [backup-simplify]: Simplify 1 into 1 10.568 * [backup-simplify]: Simplify (* 1 1) into 1 10.568 * [backup-simplify]: Simplify (/ 3 1) into 3 10.568 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in x 10.568 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2))) 10.568 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x 10.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.568 * [taylor]: Taking taylor expansion of y in x 10.568 * [backup-simplify]: Simplify y into y 10.568 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.568 * [taylor]: Taking taylor expansion of x in x 10.568 * [backup-simplify]: Simplify 0 into 0 10.569 * [backup-simplify]: Simplify 1 into 1 10.569 * [backup-simplify]: Simplify (/ 1 1) into 1 10.569 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x 10.569 * [taylor]: Taking taylor expansion of 3 in x 10.569 * [backup-simplify]: Simplify 3 into 3 10.569 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.569 * [taylor]: Taking taylor expansion of z in x 10.569 * [backup-simplify]: Simplify z into z 10.569 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.569 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 10.569 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y 10.569 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2))) 10.570 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y 10.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.570 * [taylor]: Taking taylor expansion of y in y 10.570 * [backup-simplify]: Simplify 0 into 0 10.570 * [backup-simplify]: Simplify 1 into 1 10.570 * [backup-simplify]: Simplify (/ 1 1) into 1 10.570 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.570 * [taylor]: Taking taylor expansion of x in y 10.570 * [backup-simplify]: Simplify x into x 10.570 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.570 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y 10.570 * [taylor]: Taking taylor expansion of 3 in y 10.570 * [backup-simplify]: Simplify 3 into 3 10.570 * [taylor]: Taking taylor expansion of (pow z 2) in y 10.570 * [taylor]: Taking taylor expansion of z in y 10.570 * [backup-simplify]: Simplify z into z 10.570 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.571 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 10.571 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 3 (pow z 2))) in y 10.571 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 3 (pow z 2))) 10.571 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y 10.571 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.571 * [taylor]: Taking taylor expansion of y in y 10.571 * [backup-simplify]: Simplify 0 into 0 10.571 * [backup-simplify]: Simplify 1 into 1 10.571 * [backup-simplify]: Simplify (/ 1 1) into 1 10.571 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.571 * [taylor]: Taking taylor expansion of x in y 10.571 * [backup-simplify]: Simplify x into x 10.571 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.571 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y 10.572 * [taylor]: Taking taylor expansion of 3 in y 10.572 * [backup-simplify]: Simplify 3 into 3 10.572 * [taylor]: Taking taylor expansion of (pow z 2) in y 10.572 * [taylor]: Taking taylor expansion of z in y 10.572 * [backup-simplify]: Simplify z into z 10.572 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.572 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 10.572 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x) 10.572 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.572 * [taylor]: Taking taylor expansion of x in x 10.572 * [backup-simplify]: Simplify 0 into 0 10.572 * [backup-simplify]: Simplify 1 into 1 10.573 * [backup-simplify]: Simplify (/ 1 1) into 1 10.573 * [taylor]: Taking taylor expansion of 1 in z 10.573 * [backup-simplify]: Simplify 1 into 1 10.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.574 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0 10.574 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2))) 10.575 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 10.575 * [taylor]: Taking taylor expansion of 3 in x 10.575 * [backup-simplify]: Simplify 3 into 3 10.575 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.575 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.575 * [taylor]: Taking taylor expansion of z in x 10.575 * [backup-simplify]: Simplify z into z 10.575 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.575 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 10.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.576 * [taylor]: Taking taylor expansion of 0 in z 10.576 * [backup-simplify]: Simplify 0 into 0 10.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 10.578 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.578 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0 10.579 * [backup-simplify]: Simplify (+ 0 0) into 0 10.579 * [taylor]: Taking taylor expansion of 0 in x 10.579 * [backup-simplify]: Simplify 0 into 0 10.579 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2)) 10.579 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 10.579 * [taylor]: Taking taylor expansion of 3 in z 10.579 * [backup-simplify]: Simplify 3 into 3 10.579 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.579 * [taylor]: Taking taylor expansion of z in z 10.579 * [backup-simplify]: Simplify 0 into 0 10.579 * [backup-simplify]: Simplify 1 into 1 10.580 * [backup-simplify]: Simplify (* 1 1) into 1 10.580 * [backup-simplify]: Simplify (/ 3 1) into 3 10.580 * [backup-simplify]: Simplify 3 into 3 10.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.581 * [taylor]: Taking taylor expansion of 0 in z 10.581 * [backup-simplify]: Simplify 0 into 0 10.581 * [backup-simplify]: Simplify 1 into 1 10.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 10.584 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 10.585 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 10.585 * [backup-simplify]: Simplify (+ 0 0) into 0 10.585 * [taylor]: Taking taylor expansion of 0 in x 10.585 * [backup-simplify]: Simplify 0 into 0 10.585 * [taylor]: Taking taylor expansion of 0 in z 10.585 * [backup-simplify]: Simplify 0 into 0 10.585 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.586 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 10.586 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0 10.586 * [taylor]: Taking taylor expansion of 0 in z 10.587 * [backup-simplify]: Simplify 0 into 0 10.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.588 * [taylor]: Taking taylor expansion of 0 in z 10.588 * [backup-simplify]: Simplify 0 into 0 10.588 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 10.589 * [backup-simplify]: Simplify 0 into 0 10.589 * [backup-simplify]: Simplify 0 into 0 10.589 * [backup-simplify]: Simplify 0 into 0 10.590 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x)))))) into 0 10.593 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 10.594 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 10.594 * [backup-simplify]: Simplify (+ 0 0) into 0 10.594 * [taylor]: Taking taylor expansion of 0 in x 10.594 * [backup-simplify]: Simplify 0 into 0 10.594 * [taylor]: Taking taylor expansion of 0 in z 10.594 * [backup-simplify]: Simplify 0 into 0 10.594 * [taylor]: Taking taylor expansion of 0 in z 10.594 * [backup-simplify]: Simplify 0 into 0 10.595 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 10.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 10.596 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0 10.596 * [taylor]: Taking taylor expansion of 0 in z 10.596 * [backup-simplify]: Simplify 0 into 0 10.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.597 * [taylor]: Taking taylor expansion of 0 in z 10.597 * [backup-simplify]: Simplify 0 into 0 10.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.601 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* 3 (pow (* (/ 1 (/ 1 z)) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y)) 10.601 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (/ 1 (- x)) (* (* 3 (/ 1 (- z))) (/ 1 (- z)))) into (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) 10.601 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in (y x z) around 0 10.601 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in z 10.601 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2))) 10.601 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in z 10.601 * [taylor]: Taking taylor expansion of (/ -1 y) in z 10.601 * [taylor]: Taking taylor expansion of -1 in z 10.601 * [backup-simplify]: Simplify -1 into -1 10.601 * [taylor]: Taking taylor expansion of y in z 10.601 * [backup-simplify]: Simplify y into y 10.601 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.601 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.601 * [taylor]: Taking taylor expansion of -1 in z 10.601 * [backup-simplify]: Simplify -1 into -1 10.602 * [taylor]: Taking taylor expansion of x in z 10.602 * [backup-simplify]: Simplify x into x 10.602 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.602 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 10.602 * [taylor]: Taking taylor expansion of 3 in z 10.602 * [backup-simplify]: Simplify 3 into 3 10.602 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.602 * [taylor]: Taking taylor expansion of z in z 10.602 * [backup-simplify]: Simplify 0 into 0 10.602 * [backup-simplify]: Simplify 1 into 1 10.602 * [backup-simplify]: Simplify (* 1 1) into 1 10.603 * [backup-simplify]: Simplify (/ 3 1) into 3 10.603 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in x 10.603 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2))) 10.603 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x 10.603 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.603 * [taylor]: Taking taylor expansion of -1 in x 10.603 * [backup-simplify]: Simplify -1 into -1 10.603 * [taylor]: Taking taylor expansion of y in x 10.603 * [backup-simplify]: Simplify y into y 10.603 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.603 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.603 * [taylor]: Taking taylor expansion of -1 in x 10.603 * [backup-simplify]: Simplify -1 into -1 10.603 * [taylor]: Taking taylor expansion of x in x 10.603 * [backup-simplify]: Simplify 0 into 0 10.603 * [backup-simplify]: Simplify 1 into 1 10.604 * [backup-simplify]: Simplify (/ -1 1) into -1 10.604 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in x 10.604 * [taylor]: Taking taylor expansion of 3 in x 10.604 * [backup-simplify]: Simplify 3 into 3 10.604 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.604 * [taylor]: Taking taylor expansion of z in x 10.604 * [backup-simplify]: Simplify z into z 10.604 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.604 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 10.604 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y 10.604 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2))) 10.604 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y 10.604 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.604 * [taylor]: Taking taylor expansion of -1 in y 10.604 * [backup-simplify]: Simplify -1 into -1 10.604 * [taylor]: Taking taylor expansion of y in y 10.604 * [backup-simplify]: Simplify 0 into 0 10.604 * [backup-simplify]: Simplify 1 into 1 10.605 * [backup-simplify]: Simplify (/ -1 1) into -1 10.605 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.605 * [taylor]: Taking taylor expansion of -1 in y 10.605 * [backup-simplify]: Simplify -1 into -1 10.605 * [taylor]: Taking taylor expansion of x in y 10.605 * [backup-simplify]: Simplify x into x 10.605 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.605 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y 10.605 * [taylor]: Taking taylor expansion of 3 in y 10.605 * [backup-simplify]: Simplify 3 into 3 10.605 * [taylor]: Taking taylor expansion of (pow z 2) in y 10.605 * [taylor]: Taking taylor expansion of z in y 10.605 * [backup-simplify]: Simplify z into z 10.605 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.605 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 10.605 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ 3 (pow z 2))) in y 10.605 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ 3 (pow z 2))) 10.605 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y 10.605 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.605 * [taylor]: Taking taylor expansion of -1 in y 10.605 * [backup-simplify]: Simplify -1 into -1 10.605 * [taylor]: Taking taylor expansion of y in y 10.605 * [backup-simplify]: Simplify 0 into 0 10.605 * [backup-simplify]: Simplify 1 into 1 10.606 * [backup-simplify]: Simplify (/ -1 1) into -1 10.606 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.606 * [taylor]: Taking taylor expansion of -1 in y 10.606 * [backup-simplify]: Simplify -1 into -1 10.606 * [taylor]: Taking taylor expansion of x in y 10.606 * [backup-simplify]: Simplify x into x 10.606 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.606 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in y 10.606 * [taylor]: Taking taylor expansion of 3 in y 10.606 * [backup-simplify]: Simplify 3 into 3 10.606 * [taylor]: Taking taylor expansion of (pow z 2) in y 10.606 * [taylor]: Taking taylor expansion of z in y 10.606 * [backup-simplify]: Simplify z into z 10.606 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.606 * [backup-simplify]: Simplify (/ 3 (pow z 2)) into (/ 3 (pow z 2)) 10.606 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x) 10.606 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.606 * [taylor]: Taking taylor expansion of x in x 10.606 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify 1 into 1 10.606 * [backup-simplify]: Simplify (/ 1 1) into 1 10.606 * [taylor]: Taking taylor expansion of 1 in z 10.606 * [backup-simplify]: Simplify 1 into 1 10.607 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 10.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.607 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0 10.607 * [backup-simplify]: Simplify (+ 0 (/ 3 (pow z 2))) into (* 3 (/ 1 (pow z 2))) 10.607 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x 10.607 * [taylor]: Taking taylor expansion of 3 in x 10.607 * [backup-simplify]: Simplify 3 into 3 10.608 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x 10.608 * [taylor]: Taking taylor expansion of (pow z 2) in x 10.608 * [taylor]: Taking taylor expansion of z in x 10.608 * [backup-simplify]: Simplify z into z 10.608 * [backup-simplify]: Simplify (* z z) into (pow z 2) 10.608 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 10.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.608 * [taylor]: Taking taylor expansion of 0 in z 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.609 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.609 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0 10.609 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.610 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))))) into 0 10.610 * [backup-simplify]: Simplify (+ 0 0) into 0 10.610 * [taylor]: Taking taylor expansion of 0 in x 10.610 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify (* 3 (/ 1 (pow z 2))) into (/ 3 (pow z 2)) 10.610 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z 10.610 * [taylor]: Taking taylor expansion of 3 in z 10.610 * [backup-simplify]: Simplify 3 into 3 10.610 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.610 * [taylor]: Taking taylor expansion of z in z 10.610 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify 1 into 1 10.610 * [backup-simplify]: Simplify (* 1 1) into 1 10.611 * [backup-simplify]: Simplify (/ 3 1) into 3 10.611 * [backup-simplify]: Simplify 3 into 3 10.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.611 * [taylor]: Taking taylor expansion of 0 in z 10.611 * [backup-simplify]: Simplify 0 into 0 10.611 * [backup-simplify]: Simplify 1 into 1 10.611 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.613 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x))))) into 0 10.613 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 10.613 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 10.614 * [backup-simplify]: Simplify (+ 0 0) into 0 10.614 * [taylor]: Taking taylor expansion of 0 in x 10.614 * [backup-simplify]: Simplify 0 into 0 10.614 * [taylor]: Taking taylor expansion of 0 in z 10.614 * [backup-simplify]: Simplify 0 into 0 10.614 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 10.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 10.614 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 (pow z 2)))) into 0 10.614 * [taylor]: Taking taylor expansion of 0 in z 10.614 * [backup-simplify]: Simplify 0 into 0 10.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.615 * [taylor]: Taking taylor expansion of 0 in z 10.615 * [backup-simplify]: Simplify 0 into 0 10.615 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)))) into 0 10.616 * [backup-simplify]: Simplify 0 into 0 10.616 * [backup-simplify]: Simplify 0 into 0 10.616 * [backup-simplify]: Simplify 0 into 0 10.616 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.618 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x)))))) into 0 10.618 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 10.618 * [backup-simplify]: Simplify (- (/ 0 (pow z 2)) (+ (* (/ 3 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 10.619 * [backup-simplify]: Simplify (+ 0 0) into 0 10.619 * [taylor]: Taking taylor expansion of 0 in x 10.619 * [backup-simplify]: Simplify 0 into 0 10.619 * [taylor]: Taking taylor expansion of 0 in z 10.619 * [backup-simplify]: Simplify 0 into 0 10.619 * [taylor]: Taking taylor expansion of 0 in z 10.619 * [backup-simplify]: Simplify 0 into 0 10.619 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 10.619 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 10.620 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (/ 1 (pow z 2))))) into 0 10.620 * [taylor]: Taking taylor expansion of 0 in z 10.620 * [backup-simplify]: Simplify 0 into 0 10.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.621 * [taylor]: Taking taylor expansion of 0 in z 10.621 * [backup-simplify]: Simplify 0 into 0 10.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.622 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.622 * [backup-simplify]: Simplify 0 into 0 10.622 * [backup-simplify]: Simplify 0 into 0 10.622 * [backup-simplify]: Simplify 0 into 0 10.622 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* 3 (pow (* (/ 1 (/ 1 (- z))) (* 1 1)) 2))) into (+ (* 3 (pow z 2)) (* x y)) 10.622 * * * [progress]: simplifying candidates 10.623 * [simplify]: Simplifying: (expm1 (* (* 3 z) z)) (log1p (* (* 3 z) z)) (* (* 3 z) z) (* (* 3 z) z) (+ (+ (log 3) (log z)) (log z)) (+ (log (* 3 z)) (log z)) (log (* (* 3 z) z)) (exp (* (* 3 z) z)) (* (* (* (* 3 3) 3) (* (* z z) z)) (* (* z z) z)) (* (* (* (* 3 z) (* 3 z)) (* 3 z)) (* (* z z) z)) (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z))) (cbrt (* (* 3 z) z)) (* (* (* (* 3 z) z) (* (* 3 z) z)) (* (* 3 z) z)) (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)) (* (* 3 z) (* (cbrt z) (cbrt z))) (* (* 3 z) (sqrt z)) (* (* 3 z) 1) (* z z) (expm1 (fma y x (* (* 3 z) z))) (log1p (fma y x (* (* 3 z) z))) (* y x) (log (fma y x (* (* 3 z) z))) (exp (fma y x (* (* 3 z) z))) (* (cbrt (fma y x (* (* 3 z) z))) (cbrt (fma y x (* (* 3 z) z)))) (cbrt (fma y x (* (* 3 z) z))) (* (* (fma y x (* (* 3 z) z)) (fma y x (* (* 3 z) z))) (fma y x (* (* 3 z) z))) (sqrt (fma y x (* (* 3 z) z))) (sqrt (fma y x (* (* 3 z) z))) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) (+ (* 3 (pow z 2)) (* x y)) 10.623 * * [simplify]: Extracting # 0 : cost 0 10.623 * * [simplify]: Extracting # 1 : cost 0 10.624 * * [simplify]: Extracting # 2 : cost 0 10.624 * * [simplify]: Extracting # 3 : cost 0 10.624 * * [simplify]: Extracting # 4 : cost 0 10.624 * * [simplify]: Extracting # 5 : cost 0 10.624 * * [simplify]: Extracting # 6 : cost 0 10.624 * * [simplify]: iteration 0 : 53 enodes (cost 307 ) 10.635 * * [simplify]: Extracting # 0 : cost 0 10.636 * * [simplify]: Extracting # 1 : cost 0 10.636 * * [simplify]: Extracting # 2 : cost 0 10.636 * * [simplify]: Extracting # 3 : cost 0 10.636 * * [simplify]: iteration 1 : 116 enodes (cost 291 ) 10.704 * * [simplify]: Extracting # 0 : cost 0 10.704 * * [simplify]: Extracting # 1 : cost 0 10.704 * * [simplify]: Extracting # 2 : cost 0 10.705 * * [simplify]: Extracting # 3 : cost 0 10.705 * * [simplify]: iteration 2 : 374 enodes (cost 253 ) 11.035 * * [simplify]: Extracting # 0 : cost 0 11.036 * * [simplify]: Extracting # 1 : cost 0 11.037 * * [simplify]: Extracting # 2 : cost 0 11.037 * * [simplify]: Extracting # 3 : cost 0 11.038 * * [simplify]: Extracting # 4 : cost 0 11.039 * * [simplify]: iteration 3 : 854 enodes (cost 247 ) 12.082 * * [simplify]: Extracting # 0 : cost 0 12.084 * * [simplify]: Extracting # 1 : cost 0 12.087 * * [simplify]: Extracting # 2 : cost 0 12.090 * * [simplify]: Extracting # 3 : cost 0 12.093 * * [simplify]: Extracting # 4 : cost 0 12.095 * * [simplify]: iteration 4 : 1752 enodes (cost 246 ) 13.679 * * [simplify]: Extracting # 0 : cost 0 13.685 * * [simplify]: Extracting # 1 : cost 0 13.697 * * [simplify]: Extracting # 2 : cost 0 13.702 * * [simplify]: Extracting # 3 : cost 0 13.707 * * [simplify]: Extracting # 4 : cost 0 13.713 * * [simplify]: iteration done: 5000 enodes (cost 246 ) 13.714 * [simplify]: Simplified to: (expm1 (* (* 3 z) z)) (log1p (* (* 3 z) z)) (* 3 (pow z 2)) (* 3 (pow z 2)) (log (* 3 (pow z 2))) (log (* 3 (pow z 2))) (log (* 3 (pow z 2))) (exp (* (* 3 z) z)) (* (pow z 6) 27) (* (pow z 6) 27) (* (cbrt (* (* 3 z) z)) (cbrt (* (* 3 z) z))) (cbrt (* (* 3 z) z)) (* (pow z 6) 27) (sqrt (* (* 3 z) z)) (sqrt (* (* 3 z) z)) (* (* 3 z) (* (cbrt z) (cbrt z))) (* (pow z 3/2) 3) (* 3 z) (pow z 2) (expm1 (fma y x (* (* 3 z) z))) (log1p (fma y x (* (* 3 z) z))) (* x y) (log (fma y x (* (* 3 z) z))) (exp (fma y x (* (* 3 z) z))) (* (cbrt (fma y x (* (* 3 z) z))) (cbrt (fma y x (* (* 3 z) z)))) (cbrt (fma y x (* (* 3 z) z))) (pow (fma y x (* (* 3 z) z)) 3) (sqrt (fma y x (* (* 3 z) z))) (sqrt (fma y x (* (* 3 z) z))) (* 3 (pow z 2)) (* 3 (pow z 2)) (* 3 (pow z 2)) (fma y x (* 3 (pow z 2))) (fma y x (* 3 (pow z 2))) (fma y x (* 3 (pow z 2))) 13.714 * * * [progress]: adding candidates to table 13.812 * [progress]: [Phase 3 of 3] Extracting. 13.812 * * [regime]: Finding splitpoints for: (# # # # # #) 13.814 * * * [regime-changes]: Trying 4 branch expressions: ((* z z) z y x) 13.814 * * * * [regimes]: Trying to branch on (* z z) from (# # # # # #) 13.854 * * * * [regimes]: Trying to branch on z from (# # # # # #) 13.890 * * * * [regimes]: Trying to branch on y from (# # # # # #) 13.926 * * * * [regimes]: Trying to branch on x from (# # # # # #) 13.967 * * * [regime]: Found split indices: #