20.230 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (+ x (* (* (- y x) 6.0) z)) 0.021 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.022 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.024 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 0.029 * * [simplify]: iteration 3 : 64 enodes (cost 8 ) 0.038 * * [simplify]: iteration 4 : 107 enodes (cost 8 ) 0.060 * * [simplify]: iteration 5 : 165 enodes (cost 8 ) 0.088 * * [simplify]: iteration 6 : 201 enodes (cost 8 ) 0.123 * * [simplify]: iteration 7 : 241 enodes (cost 8 ) 0.163 * * [simplify]: iteration 8 : 297 enodes (cost 8 ) 0.219 * * [simplify]: iteration 9 : 502 enodes (cost 8 ) 0.386 * * [simplify]: iteration 10 : 959 enodes (cost 8 ) 1.031 * * [simplify]: iteration 11 : 1761 enodes (cost 8 ) 3.988 * * [simplify]: iteration 12 : 2427 enodes (cost 8 ) 9.078 * * [simplify]: iteration 13 : 3155 enodes (cost 8 ) 17.559 * * [simplify]: iteration 14 : 4289 enodes (cost 8 ) 35.140 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 35.140 * [simplify]: Simplified to: (fma (- y x) (* 6.0 z) x) 35.143 * * [progress]: iteration 1 / 4 35.143 * * * [progress]: picking best candidate 35.147 * * * * [pick]: Picked # 35.147 * * * [progress]: localizing error 35.154 * * * [progress]: generating rewritten candidates 35.154 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 35.155 * * * [progress]: generating series expansions 35.155 * * * * [progress]: [ 1 / 1 ] generating series at (2) 35.155 * [approximate]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in (y x z) around 0 35.155 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in z 35.155 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x) 35.155 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in z 35.155 * [taylor]: Taking taylor expansion of (- y x) in z 35.155 * [taylor]: Taking taylor expansion of y in z 35.155 * [taylor]: Taking taylor expansion of x in z 35.155 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 35.155 * [taylor]: Taking taylor expansion of 6.0 in z 35.155 * [taylor]: Taking taylor expansion of z in z 35.155 * [taylor]: Taking taylor expansion of x in z 35.155 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in x 35.155 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x) 35.155 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in x 35.155 * [taylor]: Taking taylor expansion of (- y x) in x 35.155 * [taylor]: Taking taylor expansion of y in x 35.155 * [taylor]: Taking taylor expansion of x in x 35.155 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 35.155 * [taylor]: Taking taylor expansion of 6.0 in x 35.155 * [taylor]: Taking taylor expansion of z in x 35.156 * [taylor]: Taking taylor expansion of x in x 35.156 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in y 35.156 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x) 35.156 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in y 35.156 * [taylor]: Taking taylor expansion of (- y x) in y 35.156 * [taylor]: Taking taylor expansion of y in y 35.156 * [taylor]: Taking taylor expansion of x in y 35.156 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 35.156 * [taylor]: Taking taylor expansion of 6.0 in y 35.156 * [taylor]: Taking taylor expansion of z in y 35.156 * [taylor]: Taking taylor expansion of x in y 35.156 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in y 35.156 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x) 35.156 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in y 35.156 * [taylor]: Taking taylor expansion of (- y x) in y 35.156 * [taylor]: Taking taylor expansion of y in y 35.156 * [taylor]: Taking taylor expansion of x in y 35.156 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 35.156 * [taylor]: Taking taylor expansion of 6.0 in y 35.156 * [taylor]: Taking taylor expansion of z in y 35.156 * [taylor]: Taking taylor expansion of x in y 35.156 * [taylor]: Taking taylor expansion of (- x (* 6.0 (* x z))) in x 35.156 * [taylor]: Taking taylor expansion of x in x 35.156 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 35.156 * [taylor]: Taking taylor expansion of 6.0 in x 35.156 * [taylor]: Taking taylor expansion of (* x z) in x 35.156 * [taylor]: Taking taylor expansion of x in x 35.156 * [taylor]: Taking taylor expansion of z in x 35.158 * [taylor]: Taking taylor expansion of 0 in z 35.159 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 35.159 * [taylor]: Taking taylor expansion of 6.0 in x 35.159 * [taylor]: Taking taylor expansion of z in x 35.159 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 35.159 * [taylor]: Taking taylor expansion of 6.0 in z 35.159 * [taylor]: Taking taylor expansion of z in z 35.160 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 35.160 * [taylor]: Taking taylor expansion of 1 in z 35.160 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 35.160 * [taylor]: Taking taylor expansion of 6.0 in z 35.160 * [taylor]: Taking taylor expansion of z in z 35.167 * [taylor]: Taking taylor expansion of 0 in x 35.167 * [taylor]: Taking taylor expansion of 0 in z 35.168 * [taylor]: Taking taylor expansion of 0 in z 35.170 * [taylor]: Taking taylor expansion of 0 in z 35.174 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in (y x z) around 0 35.174 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in z 35.174 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x)) 35.174 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in z 35.174 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 35.174 * [taylor]: Taking taylor expansion of (/ 1 y) in z 35.174 * [taylor]: Taking taylor expansion of y in z 35.174 * [taylor]: Taking taylor expansion of (/ 1 x) in z 35.174 * [taylor]: Taking taylor expansion of x in z 35.175 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 35.175 * [taylor]: Taking taylor expansion of 6.0 in z 35.175 * [taylor]: Taking taylor expansion of z in z 35.175 * [taylor]: Taking taylor expansion of (/ 1 x) in z 35.175 * [taylor]: Taking taylor expansion of x in z 35.175 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in x 35.175 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x)) 35.175 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in x 35.175 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 35.175 * [taylor]: Taking taylor expansion of (/ 1 y) in x 35.175 * [taylor]: Taking taylor expansion of y in x 35.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.175 * [taylor]: Taking taylor expansion of x in x 35.176 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 35.176 * [taylor]: Taking taylor expansion of 6.0 in x 35.176 * [taylor]: Taking taylor expansion of z in x 35.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.176 * [taylor]: Taking taylor expansion of x in x 35.176 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in y 35.176 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x)) 35.176 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in y 35.176 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 35.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y 35.176 * [taylor]: Taking taylor expansion of y in y 35.177 * [taylor]: Taking taylor expansion of (/ 1 x) in y 35.177 * [taylor]: Taking taylor expansion of x in y 35.177 * [taylor]: Taking taylor expansion of (/ 6.0 z) in y 35.177 * [taylor]: Taking taylor expansion of 6.0 in y 35.177 * [taylor]: Taking taylor expansion of z in y 35.177 * [taylor]: Taking taylor expansion of (/ 1 x) in y 35.177 * [taylor]: Taking taylor expansion of x in y 35.177 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in y 35.177 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x)) 35.177 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in y 35.177 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 35.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y 35.177 * [taylor]: Taking taylor expansion of y in y 35.178 * [taylor]: Taking taylor expansion of (/ 1 x) in y 35.178 * [taylor]: Taking taylor expansion of x in y 35.178 * [taylor]: Taking taylor expansion of (/ 6.0 z) in y 35.178 * [taylor]: Taking taylor expansion of 6.0 in y 35.178 * [taylor]: Taking taylor expansion of z in y 35.178 * [taylor]: Taking taylor expansion of (/ 1 x) in y 35.178 * [taylor]: Taking taylor expansion of x in y 35.178 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x 35.178 * [taylor]: Taking taylor expansion of 6.0 in x 35.178 * [taylor]: Taking taylor expansion of (/ 1 z) in x 35.179 * [taylor]: Taking taylor expansion of z in x 35.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 6.0 (/ 1 (* x z)))) in x 35.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.180 * [taylor]: Taking taylor expansion of x in x 35.180 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 35.180 * [taylor]: Taking taylor expansion of 6.0 in x 35.180 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 35.180 * [taylor]: Taking taylor expansion of (* x z) in x 35.180 * [taylor]: Taking taylor expansion of x in x 35.180 * [taylor]: Taking taylor expansion of z in x 35.181 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 35.181 * [taylor]: Taking taylor expansion of 1 in z 35.181 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 35.181 * [taylor]: Taking taylor expansion of 6.0 in z 35.181 * [taylor]: Taking taylor expansion of (/ 1 z) in z 35.181 * [taylor]: Taking taylor expansion of z in z 35.183 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 35.183 * [taylor]: Taking taylor expansion of 6.0 in z 35.183 * [taylor]: Taking taylor expansion of z in z 35.186 * [taylor]: Taking taylor expansion of 0 in x 35.188 * [taylor]: Taking taylor expansion of 0 in z 35.189 * [taylor]: Taking taylor expansion of 0 in z 35.191 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in (y x z) around 0 35.191 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in z 35.191 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x)) 35.191 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in z 35.191 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 35.191 * [taylor]: Taking taylor expansion of (/ 1 x) in z 35.191 * [taylor]: Taking taylor expansion of x in z 35.191 * [taylor]: Taking taylor expansion of (/ 1 y) in z 35.191 * [taylor]: Taking taylor expansion of y in z 35.192 * [taylor]: Taking taylor expansion of (/ -6.0 z) in z 35.192 * [taylor]: Taking taylor expansion of -6.0 in z 35.192 * [taylor]: Taking taylor expansion of z in z 35.192 * [taylor]: Taking taylor expansion of (/ -1 x) in z 35.192 * [taylor]: Taking taylor expansion of -1 in z 35.192 * [taylor]: Taking taylor expansion of x in z 35.192 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in x 35.192 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x)) 35.192 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in x 35.192 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 35.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.192 * [taylor]: Taking taylor expansion of x in x 35.193 * [taylor]: Taking taylor expansion of (/ 1 y) in x 35.193 * [taylor]: Taking taylor expansion of y in x 35.193 * [taylor]: Taking taylor expansion of (/ -6.0 z) in x 35.193 * [taylor]: Taking taylor expansion of -6.0 in x 35.193 * [taylor]: Taking taylor expansion of z in x 35.193 * [taylor]: Taking taylor expansion of (/ -1 x) in x 35.193 * [taylor]: Taking taylor expansion of -1 in x 35.193 * [taylor]: Taking taylor expansion of x in x 35.193 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in y 35.194 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x)) 35.194 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in y 35.194 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 35.194 * [taylor]: Taking taylor expansion of (/ 1 x) in y 35.194 * [taylor]: Taking taylor expansion of x in y 35.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y 35.194 * [taylor]: Taking taylor expansion of y in y 35.194 * [taylor]: Taking taylor expansion of (/ -6.0 z) in y 35.194 * [taylor]: Taking taylor expansion of -6.0 in y 35.194 * [taylor]: Taking taylor expansion of z in y 35.194 * [taylor]: Taking taylor expansion of (/ -1 x) in y 35.194 * [taylor]: Taking taylor expansion of -1 in y 35.194 * [taylor]: Taking taylor expansion of x in y 35.194 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in y 35.194 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x)) 35.195 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in y 35.195 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 35.195 * [taylor]: Taking taylor expansion of (/ 1 x) in y 35.195 * [taylor]: Taking taylor expansion of x in y 35.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 35.195 * [taylor]: Taking taylor expansion of y in y 35.195 * [taylor]: Taking taylor expansion of (/ -6.0 z) in y 35.195 * [taylor]: Taking taylor expansion of -6.0 in y 35.195 * [taylor]: Taking taylor expansion of z in y 35.195 * [taylor]: Taking taylor expansion of (/ -1 x) in y 35.195 * [taylor]: Taking taylor expansion of -1 in y 35.195 * [taylor]: Taking taylor expansion of x in y 35.196 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x 35.196 * [taylor]: Taking taylor expansion of 6.0 in x 35.196 * [taylor]: Taking taylor expansion of (/ 1 z) in x 35.196 * [taylor]: Taking taylor expansion of z in x 35.198 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 35.198 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 35.198 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 35.198 * [taylor]: Taking taylor expansion of 6.0 in x 35.198 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 35.198 * [taylor]: Taking taylor expansion of (* x z) in x 35.198 * [taylor]: Taking taylor expansion of x in x 35.198 * [taylor]: Taking taylor expansion of z in x 35.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 35.198 * [taylor]: Taking taylor expansion of x in x 35.199 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z 35.199 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 35.199 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 35.199 * [taylor]: Taking taylor expansion of 6.0 in z 35.199 * [taylor]: Taking taylor expansion of (/ 1 z) in z 35.199 * [taylor]: Taking taylor expansion of z in z 35.199 * [taylor]: Taking taylor expansion of 1 in z 35.201 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 35.201 * [taylor]: Taking taylor expansion of 6.0 in z 35.201 * [taylor]: Taking taylor expansion of z in z 35.203 * [taylor]: Taking taylor expansion of 0 in x 35.205 * [taylor]: Taking taylor expansion of 0 in z 35.206 * [taylor]: Taking taylor expansion of 0 in z 35.208 * * * [progress]: simplifying candidates 35.209 * [simplify]: Simplifying using # : (expm1 (fma (- y x) (* 6.0 z) x)) (log1p (fma (- y x) (* 6.0 z) x)) (* (- y x) (* 6.0 z)) (log (fma (- y x) (* 6.0 z) x)) (exp (fma (- y x) (* 6.0 z) x)) (* (cbrt (fma (- y x) (* 6.0 z) x)) (cbrt (fma (- y x) (* 6.0 z) x))) (cbrt (fma (- y x) (* 6.0 z) x)) (* (* (fma (- y x) (* 6.0 z) x) (fma (- y x) (* 6.0 z) x)) (fma (- y x) (* 6.0 z) x)) (sqrt (fma (- y x) (* 6.0 z) x)) (sqrt (fma (- y x) (* 6.0 z) x)) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) 35.210 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 35.214 * * [simplify]: iteration 1 : 44 enodes (cost 151 ) 35.221 * * [simplify]: iteration 2 : 107 enodes (cost 135 ) 35.246 * * [simplify]: iteration 3 : 315 enodes (cost 123 ) 35.365 * * [simplify]: iteration 4 : 1328 enodes (cost 123 ) 35.965 * * [simplify]: iteration done : 5000 enodes (cost 123 ) 35.965 * [simplify]: Simplified to: (expm1 (fma (- y x) (* 6.0 z) x)) (log1p (fma (- y x) (* 6.0 z) x)) (* (- y x) (* 6.0 z)) (log (fma (- y x) (* 6.0 z) x)) (exp (fma (- y x) (* 6.0 z) x)) (* (cbrt (fma (- y x) (* 6.0 z) x)) (cbrt (fma (- y x) (* 6.0 z) x))) (cbrt (fma (- y x) (* 6.0 z) x)) (pow (fma (- y x) (* 6.0 z) x) 3) (sqrt (fma (- y x) (* 6.0 z) x)) (sqrt (fma (- y x) (* 6.0 z) x)) (fma (* (- y x) 6.0) z x) (fma (* (- y x) 6.0) z x) (fma (* (- y x) 6.0) z x) 35.966 * * * [progress]: adding candidates to table 36.004 * * [progress]: iteration 2 / 4 36.004 * * * [progress]: picking best candidate 36.008 * * * * [pick]: Picked # 36.008 * * * [progress]: localizing error 36.016 * * * [progress]: generating rewritten candidates 36.016 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 36.016 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 36.028 * * * [progress]: generating series expansions 36.028 * * * * [progress]: [ 1 / 2 ] generating series at (2) 36.028 * [approximate]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in (y x z) around 0 36.028 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in z 36.028 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x) 36.029 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in z 36.029 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in z 36.029 * [taylor]: Taking taylor expansion of 6.0 in z 36.029 * [taylor]: Taking taylor expansion of (- y x) in z 36.029 * [taylor]: Taking taylor expansion of y in z 36.029 * [taylor]: Taking taylor expansion of x in z 36.029 * [taylor]: Taking taylor expansion of z in z 36.029 * [taylor]: Taking taylor expansion of x in z 36.029 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in x 36.029 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x) 36.029 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in x 36.029 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x 36.029 * [taylor]: Taking taylor expansion of 6.0 in x 36.029 * [taylor]: Taking taylor expansion of (- y x) in x 36.029 * [taylor]: Taking taylor expansion of y in x 36.029 * [taylor]: Taking taylor expansion of x in x 36.029 * [taylor]: Taking taylor expansion of z in x 36.029 * [taylor]: Taking taylor expansion of x in x 36.029 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in y 36.029 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x) 36.029 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in y 36.029 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 36.029 * [taylor]: Taking taylor expansion of 6.0 in y 36.029 * [taylor]: Taking taylor expansion of (- y x) in y 36.029 * [taylor]: Taking taylor expansion of y in y 36.029 * [taylor]: Taking taylor expansion of x in y 36.029 * [taylor]: Taking taylor expansion of z in y 36.029 * [taylor]: Taking taylor expansion of x in y 36.029 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- y x)) z x) in y 36.029 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- y x)) z) x) 36.029 * [taylor]: Taking taylor expansion of (* (* 6.0 (- y x)) z) in y 36.029 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 36.029 * [taylor]: Taking taylor expansion of 6.0 in y 36.029 * [taylor]: Taking taylor expansion of (- y x) in y 36.029 * [taylor]: Taking taylor expansion of y in y 36.029 * [taylor]: Taking taylor expansion of x in y 36.029 * [taylor]: Taking taylor expansion of z in y 36.029 * [taylor]: Taking taylor expansion of x in y 36.030 * [taylor]: Taking taylor expansion of (- x (* 6.0 (* x z))) in x 36.030 * [taylor]: Taking taylor expansion of x in x 36.030 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 36.030 * [taylor]: Taking taylor expansion of 6.0 in x 36.030 * [taylor]: Taking taylor expansion of (* x z) in x 36.030 * [taylor]: Taking taylor expansion of x in x 36.030 * [taylor]: Taking taylor expansion of z in x 36.031 * [taylor]: Taking taylor expansion of 0 in z 36.032 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 36.032 * [taylor]: Taking taylor expansion of 6.0 in x 36.033 * [taylor]: Taking taylor expansion of z in x 36.033 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 36.033 * [taylor]: Taking taylor expansion of 6.0 in z 36.033 * [taylor]: Taking taylor expansion of z in z 36.034 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 36.034 * [taylor]: Taking taylor expansion of 1 in z 36.034 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 36.034 * [taylor]: Taking taylor expansion of 6.0 in z 36.034 * [taylor]: Taking taylor expansion of z in z 36.037 * [taylor]: Taking taylor expansion of 0 in x 36.037 * [taylor]: Taking taylor expansion of 0 in z 36.037 * [taylor]: Taking taylor expansion of 0 in z 36.039 * [taylor]: Taking taylor expansion of 0 in z 36.043 * [approximate]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in (y x z) around 0 36.044 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in z 36.044 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x)) 36.044 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in z 36.044 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in z 36.044 * [taylor]: Taking taylor expansion of 6.0 in z 36.044 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 36.044 * [taylor]: Taking taylor expansion of (/ 1 y) in z 36.044 * [taylor]: Taking taylor expansion of y in z 36.044 * [taylor]: Taking taylor expansion of (/ 1 x) in z 36.044 * [taylor]: Taking taylor expansion of x in z 36.044 * [taylor]: Taking taylor expansion of (/ 1 z) in z 36.044 * [taylor]: Taking taylor expansion of z in z 36.044 * [taylor]: Taking taylor expansion of (/ 1 x) in z 36.045 * [taylor]: Taking taylor expansion of x in z 36.045 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in x 36.045 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x)) 36.045 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in x 36.045 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x 36.045 * [taylor]: Taking taylor expansion of 6.0 in x 36.045 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 36.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x 36.045 * [taylor]: Taking taylor expansion of y in x 36.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.045 * [taylor]: Taking taylor expansion of x in x 36.045 * [taylor]: Taking taylor expansion of (/ 1 z) in x 36.045 * [taylor]: Taking taylor expansion of z in x 36.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.045 * [taylor]: Taking taylor expansion of x in x 36.046 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in y 36.046 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x)) 36.046 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in y 36.046 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 36.046 * [taylor]: Taking taylor expansion of 6.0 in y 36.046 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 36.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y 36.047 * [taylor]: Taking taylor expansion of y in y 36.047 * [taylor]: Taking taylor expansion of (/ 1 x) in y 36.047 * [taylor]: Taking taylor expansion of x in y 36.047 * [taylor]: Taking taylor expansion of (/ 1 z) in y 36.047 * [taylor]: Taking taylor expansion of z in y 36.047 * [taylor]: Taking taylor expansion of (/ 1 x) in y 36.047 * [taylor]: Taking taylor expansion of x in y 36.047 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z) (/ 1 x)) in y 36.047 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) (/ 1 x)) 36.047 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 y) (/ 1 x))) (/ 1 z)) in y 36.047 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 36.047 * [taylor]: Taking taylor expansion of 6.0 in y 36.047 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 36.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 36.047 * [taylor]: Taking taylor expansion of y in y 36.048 * [taylor]: Taking taylor expansion of (/ 1 x) in y 36.048 * [taylor]: Taking taylor expansion of x in y 36.048 * [taylor]: Taking taylor expansion of (/ 1 z) in y 36.048 * [taylor]: Taking taylor expansion of z in y 36.048 * [taylor]: Taking taylor expansion of (/ 1 x) in y 36.048 * [taylor]: Taking taylor expansion of x in y 36.049 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x 36.049 * [taylor]: Taking taylor expansion of 6.0 in x 36.049 * [taylor]: Taking taylor expansion of (/ 1 z) in x 36.049 * [taylor]: Taking taylor expansion of z in x 36.051 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 6.0 (/ 1 (* x z)))) in x 36.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.051 * [taylor]: Taking taylor expansion of x in x 36.051 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 36.051 * [taylor]: Taking taylor expansion of 6.0 in x 36.051 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 36.051 * [taylor]: Taking taylor expansion of (* x z) in x 36.051 * [taylor]: Taking taylor expansion of x in x 36.051 * [taylor]: Taking taylor expansion of z in x 36.052 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 36.052 * [taylor]: Taking taylor expansion of 1 in z 36.052 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 36.052 * [taylor]: Taking taylor expansion of 6.0 in z 36.052 * [taylor]: Taking taylor expansion of (/ 1 z) in z 36.052 * [taylor]: Taking taylor expansion of z in z 36.054 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 36.054 * [taylor]: Taking taylor expansion of 6.0 in z 36.054 * [taylor]: Taking taylor expansion of z in z 36.057 * [taylor]: Taking taylor expansion of 0 in x 36.059 * [taylor]: Taking taylor expansion of 0 in z 36.060 * [taylor]: Taking taylor expansion of 0 in z 36.063 * [approximate]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in (y x z) around 0 36.063 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in z 36.063 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x)) 36.063 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in z 36.063 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in z 36.063 * [taylor]: Taking taylor expansion of 6.0 in z 36.063 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 36.063 * [taylor]: Taking taylor expansion of (/ 1 x) in z 36.063 * [taylor]: Taking taylor expansion of x in z 36.063 * [taylor]: Taking taylor expansion of (/ 1 y) in z 36.063 * [taylor]: Taking taylor expansion of y in z 36.063 * [taylor]: Taking taylor expansion of (/ -1 z) in z 36.063 * [taylor]: Taking taylor expansion of -1 in z 36.063 * [taylor]: Taking taylor expansion of z in z 36.064 * [taylor]: Taking taylor expansion of (/ -1 x) in z 36.064 * [taylor]: Taking taylor expansion of -1 in z 36.064 * [taylor]: Taking taylor expansion of x in z 36.064 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in x 36.064 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x)) 36.064 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in x 36.064 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x 36.064 * [taylor]: Taking taylor expansion of 6.0 in x 36.064 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 36.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.064 * [taylor]: Taking taylor expansion of x in x 36.064 * [taylor]: Taking taylor expansion of (/ 1 y) in x 36.065 * [taylor]: Taking taylor expansion of y in x 36.065 * [taylor]: Taking taylor expansion of (/ -1 z) in x 36.065 * [taylor]: Taking taylor expansion of -1 in x 36.065 * [taylor]: Taking taylor expansion of z in x 36.065 * [taylor]: Taking taylor expansion of (/ -1 x) in x 36.065 * [taylor]: Taking taylor expansion of -1 in x 36.065 * [taylor]: Taking taylor expansion of x in x 36.065 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in y 36.065 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x)) 36.065 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in y 36.065 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 36.065 * [taylor]: Taking taylor expansion of 6.0 in y 36.065 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 36.065 * [taylor]: Taking taylor expansion of (/ 1 x) in y 36.065 * [taylor]: Taking taylor expansion of x in y 36.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 36.066 * [taylor]: Taking taylor expansion of y in y 36.066 * [taylor]: Taking taylor expansion of (/ -1 z) in y 36.066 * [taylor]: Taking taylor expansion of -1 in y 36.066 * [taylor]: Taking taylor expansion of z in y 36.066 * [taylor]: Taking taylor expansion of (/ -1 x) in y 36.066 * [taylor]: Taking taylor expansion of -1 in y 36.066 * [taylor]: Taking taylor expansion of x in y 36.066 * [taylor]: Taking taylor expansion of (fma (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z) (/ -1 x)) in y 36.066 * [taylor]: Rewrote expression to (+ (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) (/ -1 x)) 36.066 * [taylor]: Taking taylor expansion of (* (* 6.0 (- (/ 1 x) (/ 1 y))) (/ -1 z)) in y 36.066 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 36.066 * [taylor]: Taking taylor expansion of 6.0 in y 36.066 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 36.066 * [taylor]: Taking taylor expansion of (/ 1 x) in y 36.066 * [taylor]: Taking taylor expansion of x in y 36.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 36.066 * [taylor]: Taking taylor expansion of y in y 36.067 * [taylor]: Taking taylor expansion of (/ -1 z) in y 36.067 * [taylor]: Taking taylor expansion of -1 in y 36.067 * [taylor]: Taking taylor expansion of z in y 36.067 * [taylor]: Taking taylor expansion of (/ -1 x) in y 36.067 * [taylor]: Taking taylor expansion of -1 in y 36.067 * [taylor]: Taking taylor expansion of x in y 36.068 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x 36.068 * [taylor]: Taking taylor expansion of 6.0 in x 36.068 * [taylor]: Taking taylor expansion of (/ 1 z) in x 36.068 * [taylor]: Taking taylor expansion of z in x 36.070 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 36.070 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 36.070 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 36.070 * [taylor]: Taking taylor expansion of 6.0 in x 36.070 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 36.070 * [taylor]: Taking taylor expansion of (* x z) in x 36.070 * [taylor]: Taking taylor expansion of x in x 36.070 * [taylor]: Taking taylor expansion of z in x 36.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.071 * [taylor]: Taking taylor expansion of x in x 36.071 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z 36.071 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 36.071 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 36.071 * [taylor]: Taking taylor expansion of 6.0 in z 36.071 * [taylor]: Taking taylor expansion of (/ 1 z) in z 36.072 * [taylor]: Taking taylor expansion of z in z 36.072 * [taylor]: Taking taylor expansion of 1 in z 36.073 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 36.073 * [taylor]: Taking taylor expansion of 6.0 in z 36.073 * [taylor]: Taking taylor expansion of z in z 36.080 * [taylor]: Taking taylor expansion of 0 in x 36.083 * [taylor]: Taking taylor expansion of 0 in z 36.083 * [taylor]: Taking taylor expansion of 0 in z 36.085 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 36.086 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0 36.086 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x 36.086 * [taylor]: Taking taylor expansion of 6.0 in x 36.086 * [taylor]: Taking taylor expansion of (- y x) in x 36.086 * [taylor]: Taking taylor expansion of y in x 36.086 * [taylor]: Taking taylor expansion of x in x 36.086 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 36.086 * [taylor]: Taking taylor expansion of 6.0 in y 36.086 * [taylor]: Taking taylor expansion of (- y x) in y 36.086 * [taylor]: Taking taylor expansion of y in y 36.086 * [taylor]: Taking taylor expansion of x in y 36.086 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 36.086 * [taylor]: Taking taylor expansion of 6.0 in y 36.086 * [taylor]: Taking taylor expansion of (- y x) in y 36.086 * [taylor]: Taking taylor expansion of y in y 36.086 * [taylor]: Taking taylor expansion of x in y 36.086 * [taylor]: Taking taylor expansion of (* -6.0 x) in x 36.086 * [taylor]: Taking taylor expansion of -6.0 in x 36.086 * [taylor]: Taking taylor expansion of x in x 36.088 * [taylor]: Taking taylor expansion of 6.0 in x 36.091 * [taylor]: Taking taylor expansion of 0 in x 36.093 * [taylor]: Taking taylor expansion of 0 in x 36.093 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0 36.093 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x 36.093 * [taylor]: Taking taylor expansion of 6.0 in x 36.094 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 36.094 * [taylor]: Taking taylor expansion of (/ 1 y) in x 36.094 * [taylor]: Taking taylor expansion of y in x 36.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.094 * [taylor]: Taking taylor expansion of x in x 36.094 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 36.094 * [taylor]: Taking taylor expansion of 6.0 in y 36.094 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 36.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y 36.094 * [taylor]: Taking taylor expansion of y in y 36.094 * [taylor]: Taking taylor expansion of (/ 1 x) in y 36.094 * [taylor]: Taking taylor expansion of x in y 36.095 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 36.095 * [taylor]: Taking taylor expansion of 6.0 in y 36.095 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 36.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y 36.095 * [taylor]: Taking taylor expansion of y in y 36.095 * [taylor]: Taking taylor expansion of (/ 1 x) in y 36.095 * [taylor]: Taking taylor expansion of x in y 36.096 * [taylor]: Taking taylor expansion of 6.0 in x 36.097 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 36.097 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 36.097 * [taylor]: Taking taylor expansion of 6.0 in x 36.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.097 * [taylor]: Taking taylor expansion of x in x 36.100 * [taylor]: Taking taylor expansion of 0 in x 36.104 * [taylor]: Taking taylor expansion of 0 in x 36.108 * [taylor]: Taking taylor expansion of 0 in x 36.109 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0 36.109 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x 36.109 * [taylor]: Taking taylor expansion of 6.0 in x 36.109 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 36.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.109 * [taylor]: Taking taylor expansion of x in x 36.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x 36.109 * [taylor]: Taking taylor expansion of y in x 36.109 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 36.109 * [taylor]: Taking taylor expansion of 6.0 in y 36.109 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 36.109 * [taylor]: Taking taylor expansion of (/ 1 x) in y 36.109 * [taylor]: Taking taylor expansion of x in y 36.109 * [taylor]: Taking taylor expansion of (/ 1 y) in y 36.109 * [taylor]: Taking taylor expansion of y in y 36.110 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 36.110 * [taylor]: Taking taylor expansion of 6.0 in y 36.110 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 36.110 * [taylor]: Taking taylor expansion of (/ 1 x) in y 36.110 * [taylor]: Taking taylor expansion of x in y 36.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 36.110 * [taylor]: Taking taylor expansion of y in y 36.111 * [taylor]: Taking taylor expansion of -6.0 in x 36.112 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 36.113 * [taylor]: Taking taylor expansion of 6.0 in x 36.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x 36.113 * [taylor]: Taking taylor expansion of x in x 36.115 * [taylor]: Taking taylor expansion of 0 in x 36.118 * [taylor]: Taking taylor expansion of 0 in x 36.122 * [taylor]: Taking taylor expansion of 0 in x 36.123 * * * [progress]: simplifying candidates 36.123 * [simplify]: Simplifying using # : (expm1 (fma (* (- y x) 6.0) z x)) (log1p (fma (* (- y x) 6.0) z x)) (* (* (- y x) 6.0) z) (log (fma (* (- y x) 6.0) z x)) (exp (fma (* (- y x) 6.0) z x)) (* (cbrt (fma (* (- y x) 6.0) z x)) (cbrt (fma (* (- y x) 6.0) z x))) (cbrt (fma (* (- y x) 6.0) z x)) (* (* (fma (* (- y x) 6.0) z x) (fma (* (- y x) 6.0) z x)) (fma (* (- y x) 6.0) z x)) (sqrt (fma (* (- y x) 6.0) z x)) (sqrt (fma (* (- y x) 6.0) z x)) (expm1 (* (- y x) 6.0)) (log1p (* (- y x) 6.0)) (* (- y x) 6.0) (+ (log (- y x)) (log 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (* (- y x) 1) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) 36.126 * * [simplify]: iteration 0 : 68 enodes (cost 357 ) 36.137 * * [simplify]: iteration 1 : 147 enodes (cost 345 ) 36.172 * * [simplify]: iteration 2 : 475 enodes (cost 297 ) 36.332 * * [simplify]: iteration 3 : 1772 enodes (cost 297 ) 37.224 * * [simplify]: iteration done : 5000 enodes (cost 297 ) 37.225 * [simplify]: Simplified to: (expm1 (fma (* (- y x) 6.0) z x)) (log1p (fma (* (- y x) 6.0) z x)) (* (* z (- y x)) 6.0) (log (fma (* (- y x) 6.0) z x)) (exp (fma (* (- y x) 6.0) z x)) (* (cbrt (fma (* (- y x) 6.0) z x)) (cbrt (fma (* (- y x) 6.0) z x))) (cbrt (fma (* (- y x) 6.0) z x)) (pow (fma (* (- y x) 6.0) z x) 3) (sqrt (fma (* (- y x) 6.0) z x)) (sqrt (fma (* (- y x) 6.0) z x)) (expm1 (* (- y x) 6.0)) (log1p (* (- y x) 6.0)) (* (- y x) 6.0) (log (* (- y x) 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (- y x) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (fma (* (- y x) 6.0) z x) (fma (* (- y x) 6.0) z x) (fma (* (- y x) 6.0) z x) (* (- y x) 6.0) (* (- y x) 6.0) (* (- y x) 6.0) 37.225 * * * [progress]: adding candidates to table 37.338 * * [progress]: iteration 3 / 4 37.338 * * * [progress]: picking best candidate 37.344 * * * * [pick]: Picked # 37.344 * * * [progress]: localizing error 37.351 * * * [progress]: generating rewritten candidates 37.351 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 37.367 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 37.381 * * * [progress]: generating series expansions 37.381 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 37.382 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (z y x) around 0 37.382 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 37.382 * [taylor]: Taking taylor expansion of 6.0 in x 37.382 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 37.382 * [taylor]: Taking taylor expansion of (- y x) in x 37.382 * [taylor]: Taking taylor expansion of y in x 37.382 * [taylor]: Taking taylor expansion of x in x 37.382 * [taylor]: Taking taylor expansion of z in x 37.382 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 37.382 * [taylor]: Taking taylor expansion of 6.0 in y 37.382 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 37.382 * [taylor]: Taking taylor expansion of (- y x) in y 37.382 * [taylor]: Taking taylor expansion of y in y 37.382 * [taylor]: Taking taylor expansion of x in y 37.382 * [taylor]: Taking taylor expansion of z in y 37.382 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 37.382 * [taylor]: Taking taylor expansion of 6.0 in z 37.382 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 37.382 * [taylor]: Taking taylor expansion of (- y x) in z 37.382 * [taylor]: Taking taylor expansion of y in z 37.382 * [taylor]: Taking taylor expansion of x in z 37.382 * [taylor]: Taking taylor expansion of z in z 37.382 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 37.382 * [taylor]: Taking taylor expansion of 6.0 in z 37.382 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 37.382 * [taylor]: Taking taylor expansion of (- y x) in z 37.382 * [taylor]: Taking taylor expansion of y in z 37.382 * [taylor]: Taking taylor expansion of x in z 37.382 * [taylor]: Taking taylor expansion of z in z 37.383 * [taylor]: Taking taylor expansion of 0 in y 37.383 * [taylor]: Taking taylor expansion of 0 in x 37.384 * [taylor]: Taking taylor expansion of (- (* 6.0 y) (* 6.0 x)) in y 37.384 * [taylor]: Taking taylor expansion of (* 6.0 y) in y 37.384 * [taylor]: Taking taylor expansion of 6.0 in y 37.384 * [taylor]: Taking taylor expansion of y in y 37.384 * [taylor]: Taking taylor expansion of (* 6.0 x) in y 37.384 * [taylor]: Taking taylor expansion of 6.0 in y 37.384 * [taylor]: Taking taylor expansion of x in y 37.385 * [taylor]: Taking taylor expansion of (- (* 6.0 x)) in x 37.385 * [taylor]: Taking taylor expansion of (* 6.0 x) in x 37.385 * [taylor]: Taking taylor expansion of 6.0 in x 37.385 * [taylor]: Taking taylor expansion of x in x 37.386 * [taylor]: Taking taylor expansion of 0 in x 37.387 * [taylor]: Taking taylor expansion of 0 in y 37.387 * [taylor]: Taking taylor expansion of 0 in x 37.389 * [taylor]: Taking taylor expansion of 6.0 in x 37.389 * [taylor]: Taking taylor expansion of 0 in x 37.393 * [taylor]: Taking taylor expansion of 0 in y 37.393 * [taylor]: Taking taylor expansion of 0 in x 37.393 * [taylor]: Taking taylor expansion of 0 in x 37.394 * [taylor]: Taking taylor expansion of 0 in x 37.395 * [taylor]: Taking taylor expansion of 0 in x 37.395 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (z y x) around 0 37.395 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 37.395 * [taylor]: Taking taylor expansion of 6.0 in x 37.395 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 37.395 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 37.395 * [taylor]: Taking taylor expansion of (/ 1 y) in x 37.395 * [taylor]: Taking taylor expansion of y in x 37.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.395 * [taylor]: Taking taylor expansion of x in x 37.396 * [taylor]: Taking taylor expansion of z in x 37.396 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 37.396 * [taylor]: Taking taylor expansion of 6.0 in y 37.396 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 37.396 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 37.396 * [taylor]: Taking taylor expansion of (/ 1 y) in y 37.396 * [taylor]: Taking taylor expansion of y in y 37.397 * [taylor]: Taking taylor expansion of (/ 1 x) in y 37.397 * [taylor]: Taking taylor expansion of x in y 37.397 * [taylor]: Taking taylor expansion of z in y 37.397 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 37.397 * [taylor]: Taking taylor expansion of 6.0 in z 37.397 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 37.397 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 37.397 * [taylor]: Taking taylor expansion of (/ 1 y) in z 37.397 * [taylor]: Taking taylor expansion of y in z 37.397 * [taylor]: Taking taylor expansion of (/ 1 x) in z 37.397 * [taylor]: Taking taylor expansion of x in z 37.397 * [taylor]: Taking taylor expansion of z in z 37.397 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 37.397 * [taylor]: Taking taylor expansion of 6.0 in z 37.397 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 37.397 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 37.397 * [taylor]: Taking taylor expansion of (/ 1 y) in z 37.398 * [taylor]: Taking taylor expansion of y in z 37.398 * [taylor]: Taking taylor expansion of (/ 1 x) in z 37.398 * [taylor]: Taking taylor expansion of x in z 37.398 * [taylor]: Taking taylor expansion of z in z 37.398 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 37.398 * [taylor]: Taking taylor expansion of 6.0 in y 37.398 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 37.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y 37.398 * [taylor]: Taking taylor expansion of y in y 37.398 * [taylor]: Taking taylor expansion of (/ 1 x) in y 37.398 * [taylor]: Taking taylor expansion of x in y 37.399 * [taylor]: Taking taylor expansion of 6.0 in x 37.401 * [taylor]: Taking taylor expansion of 0 in y 37.402 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 37.402 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 37.402 * [taylor]: Taking taylor expansion of 6.0 in x 37.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.402 * [taylor]: Taking taylor expansion of x in x 37.406 * [taylor]: Taking taylor expansion of 0 in y 37.406 * [taylor]: Taking taylor expansion of 0 in x 37.407 * [taylor]: Taking taylor expansion of 0 in x 37.411 * [taylor]: Taking taylor expansion of 0 in y 37.412 * [taylor]: Taking taylor expansion of 0 in x 37.412 * [taylor]: Taking taylor expansion of 0 in x 37.414 * [taylor]: Taking taylor expansion of 0 in x 37.416 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (z y x) around 0 37.416 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 37.416 * [taylor]: Taking taylor expansion of -6.0 in x 37.416 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 37.416 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 37.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.416 * [taylor]: Taking taylor expansion of x in x 37.416 * [taylor]: Taking taylor expansion of (/ 1 y) in x 37.416 * [taylor]: Taking taylor expansion of y in x 37.416 * [taylor]: Taking taylor expansion of z in x 37.417 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 37.417 * [taylor]: Taking taylor expansion of -6.0 in y 37.417 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 37.417 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 37.417 * [taylor]: Taking taylor expansion of (/ 1 x) in y 37.417 * [taylor]: Taking taylor expansion of x in y 37.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 37.417 * [taylor]: Taking taylor expansion of y in y 37.417 * [taylor]: Taking taylor expansion of z in y 37.418 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 37.418 * [taylor]: Taking taylor expansion of -6.0 in z 37.418 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 37.418 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 37.418 * [taylor]: Taking taylor expansion of (/ 1 x) in z 37.418 * [taylor]: Taking taylor expansion of x in z 37.418 * [taylor]: Taking taylor expansion of (/ 1 y) in z 37.418 * [taylor]: Taking taylor expansion of y in z 37.418 * [taylor]: Taking taylor expansion of z in z 37.418 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 37.418 * [taylor]: Taking taylor expansion of -6.0 in z 37.418 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 37.418 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 37.418 * [taylor]: Taking taylor expansion of (/ 1 x) in z 37.418 * [taylor]: Taking taylor expansion of x in z 37.418 * [taylor]: Taking taylor expansion of (/ 1 y) in z 37.418 * [taylor]: Taking taylor expansion of y in z 37.418 * [taylor]: Taking taylor expansion of z in z 37.418 * [taylor]: Taking taylor expansion of (* -6.0 (- (/ 1 x) (/ 1 y))) in y 37.418 * [taylor]: Taking taylor expansion of -6.0 in y 37.418 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 37.419 * [taylor]: Taking taylor expansion of (/ 1 x) in y 37.419 * [taylor]: Taking taylor expansion of x in y 37.419 * [taylor]: Taking taylor expansion of (/ 1 y) in y 37.419 * [taylor]: Taking taylor expansion of y in y 37.420 * [taylor]: Taking taylor expansion of 6.0 in x 37.425 * [taylor]: Taking taylor expansion of 0 in y 37.426 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 37.426 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 37.427 * [taylor]: Taking taylor expansion of 6.0 in x 37.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.427 * [taylor]: Taking taylor expansion of x in x 37.430 * [taylor]: Taking taylor expansion of 0 in y 37.430 * [taylor]: Taking taylor expansion of 0 in x 37.432 * [taylor]: Taking taylor expansion of 0 in x 37.436 * [taylor]: Taking taylor expansion of 0 in y 37.436 * [taylor]: Taking taylor expansion of 0 in x 37.436 * [taylor]: Taking taylor expansion of 0 in x 37.438 * [taylor]: Taking taylor expansion of 0 in x 37.440 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 37.440 * [approximate]: Taking taylor expansion of (* (- y x) z) in (z y x) around 0 37.440 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 37.440 * [taylor]: Taking taylor expansion of (- y x) in x 37.440 * [taylor]: Taking taylor expansion of y in x 37.440 * [taylor]: Taking taylor expansion of x in x 37.440 * [taylor]: Taking taylor expansion of z in x 37.440 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 37.440 * [taylor]: Taking taylor expansion of (- y x) in y 37.440 * [taylor]: Taking taylor expansion of y in y 37.440 * [taylor]: Taking taylor expansion of x in y 37.440 * [taylor]: Taking taylor expansion of z in y 37.441 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 37.441 * [taylor]: Taking taylor expansion of (- y x) in z 37.441 * [taylor]: Taking taylor expansion of y in z 37.441 * [taylor]: Taking taylor expansion of x in z 37.441 * [taylor]: Taking taylor expansion of z in z 37.441 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 37.441 * [taylor]: Taking taylor expansion of (- y x) in z 37.441 * [taylor]: Taking taylor expansion of y in z 37.441 * [taylor]: Taking taylor expansion of x in z 37.441 * [taylor]: Taking taylor expansion of z in z 37.441 * [taylor]: Taking taylor expansion of 0 in y 37.441 * [taylor]: Taking taylor expansion of 0 in x 37.442 * [taylor]: Taking taylor expansion of (- y x) in y 37.442 * [taylor]: Taking taylor expansion of y in y 37.442 * [taylor]: Taking taylor expansion of x in y 37.442 * [taylor]: Taking taylor expansion of (- x) in x 37.442 * [taylor]: Taking taylor expansion of x in x 37.442 * [taylor]: Taking taylor expansion of 0 in x 37.443 * [taylor]: Taking taylor expansion of 0 in y 37.443 * [taylor]: Taking taylor expansion of 0 in x 37.444 * [taylor]: Taking taylor expansion of 1 in x 37.444 * [taylor]: Taking taylor expansion of 0 in x 37.445 * [taylor]: Taking taylor expansion of 0 in y 37.445 * [taylor]: Taking taylor expansion of 0 in x 37.445 * [taylor]: Taking taylor expansion of 0 in x 37.446 * [taylor]: Taking taylor expansion of 0 in x 37.446 * [taylor]: Taking taylor expansion of 0 in x 37.446 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (z y x) around 0 37.446 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 37.446 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 37.446 * [taylor]: Taking taylor expansion of (/ 1 y) in x 37.446 * [taylor]: Taking taylor expansion of y in x 37.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.446 * [taylor]: Taking taylor expansion of x in x 37.447 * [taylor]: Taking taylor expansion of z in x 37.447 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 37.447 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 37.447 * [taylor]: Taking taylor expansion of (/ 1 y) in y 37.447 * [taylor]: Taking taylor expansion of y in y 37.448 * [taylor]: Taking taylor expansion of (/ 1 x) in y 37.448 * [taylor]: Taking taylor expansion of x in y 37.448 * [taylor]: Taking taylor expansion of z in y 37.448 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 37.448 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 37.448 * [taylor]: Taking taylor expansion of (/ 1 y) in z 37.448 * [taylor]: Taking taylor expansion of y in z 37.448 * [taylor]: Taking taylor expansion of (/ 1 x) in z 37.448 * [taylor]: Taking taylor expansion of x in z 37.448 * [taylor]: Taking taylor expansion of z in z 37.448 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 37.448 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 37.448 * [taylor]: Taking taylor expansion of (/ 1 y) in z 37.448 * [taylor]: Taking taylor expansion of y in z 37.448 * [taylor]: Taking taylor expansion of (/ 1 x) in z 37.448 * [taylor]: Taking taylor expansion of x in z 37.448 * [taylor]: Taking taylor expansion of z in z 37.449 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 37.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y 37.449 * [taylor]: Taking taylor expansion of y in y 37.449 * [taylor]: Taking taylor expansion of (/ 1 x) in y 37.449 * [taylor]: Taking taylor expansion of x in y 37.449 * [taylor]: Taking taylor expansion of 1 in x 37.451 * [taylor]: Taking taylor expansion of 0 in y 37.451 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 37.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.451 * [taylor]: Taking taylor expansion of x in x 37.454 * [taylor]: Taking taylor expansion of 0 in y 37.454 * [taylor]: Taking taylor expansion of 0 in x 37.455 * [taylor]: Taking taylor expansion of 0 in x 37.458 * [taylor]: Taking taylor expansion of 0 in y 37.458 * [taylor]: Taking taylor expansion of 0 in x 37.458 * [taylor]: Taking taylor expansion of 0 in x 37.459 * [taylor]: Taking taylor expansion of 0 in x 37.461 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (z y x) around 0 37.461 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x 37.461 * [taylor]: Taking taylor expansion of -1 in x 37.461 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 37.461 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 37.461 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.461 * [taylor]: Taking taylor expansion of x in x 37.461 * [taylor]: Taking taylor expansion of (/ 1 y) in x 37.461 * [taylor]: Taking taylor expansion of y in x 37.461 * [taylor]: Taking taylor expansion of z in x 37.462 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 37.462 * [taylor]: Taking taylor expansion of -1 in y 37.462 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 37.462 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 37.462 * [taylor]: Taking taylor expansion of (/ 1 x) in y 37.462 * [taylor]: Taking taylor expansion of x in y 37.462 * [taylor]: Taking taylor expansion of (/ 1 y) in y 37.462 * [taylor]: Taking taylor expansion of y in y 37.462 * [taylor]: Taking taylor expansion of z in y 37.463 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z 37.463 * [taylor]: Taking taylor expansion of -1 in z 37.463 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 37.463 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 37.463 * [taylor]: Taking taylor expansion of (/ 1 x) in z 37.463 * [taylor]: Taking taylor expansion of x in z 37.463 * [taylor]: Taking taylor expansion of (/ 1 y) in z 37.463 * [taylor]: Taking taylor expansion of y in z 37.463 * [taylor]: Taking taylor expansion of z in z 37.463 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z 37.463 * [taylor]: Taking taylor expansion of -1 in z 37.463 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 37.463 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 37.463 * [taylor]: Taking taylor expansion of (/ 1 x) in z 37.463 * [taylor]: Taking taylor expansion of x in z 37.463 * [taylor]: Taking taylor expansion of (/ 1 y) in z 37.463 * [taylor]: Taking taylor expansion of y in z 37.463 * [taylor]: Taking taylor expansion of z in z 37.463 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 y))) in y 37.464 * [taylor]: Taking taylor expansion of -1 in y 37.464 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 37.464 * [taylor]: Taking taylor expansion of (/ 1 x) in y 37.464 * [taylor]: Taking taylor expansion of x in y 37.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y 37.464 * [taylor]: Taking taylor expansion of y in y 37.465 * [taylor]: Taking taylor expansion of 1 in x 37.466 * [taylor]: Taking taylor expansion of 0 in y 37.468 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 37.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 37.468 * [taylor]: Taking taylor expansion of x in x 37.470 * [taylor]: Taking taylor expansion of 0 in y 37.470 * [taylor]: Taking taylor expansion of 0 in x 37.472 * [taylor]: Taking taylor expansion of 0 in x 37.476 * [taylor]: Taking taylor expansion of 0 in y 37.476 * [taylor]: Taking taylor expansion of 0 in x 37.476 * [taylor]: Taking taylor expansion of 0 in x 37.478 * [taylor]: Taking taylor expansion of 0 in x 37.479 * * * [progress]: simplifying candidates 37.480 * [simplify]: Simplifying using # : (expm1 (* (* z (- y x)) 6.0)) (log1p (* (* z (- y x)) 6.0)) (* (* z (- y x)) 6.0) (* (* z (- y x)) 6.0) (+ (+ (log z) (log (- y x))) (log 6.0)) (+ (log (* z (- y x))) (log 6.0)) (log (* (* z (- y x)) 6.0)) (exp (* (* z (- y x)) 6.0)) (* (* (* (* z z) z) (* (* (- y x) (- y x)) (- y x))) (* (* 6.0 6.0) 6.0)) (* (* (* (* z (- y x)) (* z (- y x))) (* z (- y x))) (* (* 6.0 6.0) 6.0)) (* (cbrt (* (* z (- y x)) 6.0)) (cbrt (* (* z (- y x)) 6.0))) (cbrt (* (* z (- y x)) 6.0)) (* (* (* (* z (- y x)) 6.0) (* (* z (- y x)) 6.0)) (* (* z (- y x)) 6.0)) (sqrt (* (* z (- y x)) 6.0)) (sqrt (* (* z (- y x)) 6.0)) (* (* z (- y x)) (* (cbrt 6.0) (cbrt 6.0))) (* (* z (- y x)) (sqrt 6.0)) (* (* z (- y x)) 1) (* (- y x) 6.0) (* (* z (- (pow y 3) (pow x 3))) 6.0) (* (* z (- (* y y) (* x x))) 6.0) (expm1 (* z (- y x))) (log1p (* z (- y x))) (* z (- y x)) (+ (log z) (log (- y x))) (log (* z (- y x))) (exp (* z (- y x))) (* (* (* z z) z) (* (* (- y x) (- y x)) (- y x))) (* (cbrt (* z (- y x))) (cbrt (* z (- y x)))) (cbrt (* z (- y x))) (* (* (* z (- y x)) (* z (- y x))) (* z (- y x))) (sqrt (* z (- y x))) (sqrt (* z (- y x))) (* (sqrt z) (sqrt (- y x))) (* (sqrt z) (sqrt (- y x))) (* z (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* z (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt x) (sqrt x))))) (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* z (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* x 1)))) (* z (fma (- x) 1 (* x 1))) (* z (fma (sqrt y) (sqrt y) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* z (fma (sqrt y) (sqrt y) (- (* (sqrt x) (sqrt x))))) (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* z (fma (sqrt y) (sqrt y) (- (* x 1)))) (* z (fma (- x) 1 (* x 1))) (* z (fma 1 y (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* z (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* z (fma 1 y (- (* (sqrt x) (sqrt x))))) (* z (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* z (fma 1 y (- (* x 1)))) (* z (fma (- x) 1 (* x 1))) (* z y) (* z (- x)) (* z y) (* z (- x)) (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z) (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* (sqrt x) (sqrt x)))) z) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z) (* (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* x 1))) z) (* (fma (- x) 1 (* x 1)) z) (* (fma (sqrt y) (sqrt y) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z) (* (fma (sqrt y) (sqrt y) (- (* (sqrt x) (sqrt x)))) z) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z) (* (fma (sqrt y) (sqrt y) (- (* x 1))) z) (* (fma (- x) 1 (* x 1)) z) (* (fma 1 y (- (* (cbrt x) (* (cbrt x) (cbrt x))))) z) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) z) (* (fma 1 y (- (* (sqrt x) (sqrt x)))) z) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) z) (* (fma 1 y (- (* x 1))) z) (* (fma (- x) 1 (* x 1)) z) (* y z) (* (- x) z) (* y z) (* (- x) z) (* z (* (cbrt (- y x)) (cbrt (- y x)))) (* z (sqrt (- y x))) (* z 1) (* z (+ (sqrt y) (sqrt x))) (* z 1) (* (cbrt z) (- y x)) (* (sqrt z) (- y x)) (* z (- y x)) (* z (- (pow y 3) (pow x 3))) (* z (- (* y y) (* x x))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* z y) (* x z)) (- (* z y) (* x z)) (- (* z y) (* x z)) 37.484 * * [simplify]: iteration 0 : 132 enodes (cost 982 ) 37.510 * * [simplify]: iteration 1 : 282 enodes (cost 804 ) 37.583 * * [simplify]: iteration 2 : 1095 enodes (cost 622 ) 38.295 * * [simplify]: iteration 3 : 4666 enodes (cost 562 ) 41.759 * * [simplify]: iteration done : 5000 enodes (cost 562 ) 41.760 * [simplify]: Simplified to: (expm1 (* (* z (- y x)) 6.0)) (log1p (* (* z (- y x)) 6.0)) (* (* z (- y x)) 6.0) (* (* z (- y x)) 6.0) (log (* (* z (- y x)) 6.0)) (log (* (* z (- y x)) 6.0)) (log (* (* z (- y x)) 6.0)) (exp (* (* z (- y x)) 6.0)) (pow (* (* z (- y x)) 6.0) 3) (pow (* (* z (- y x)) 6.0) 3) (* (cbrt (* (* z (- y x)) 6.0)) (cbrt (* (* z (- y x)) 6.0))) (cbrt (* (* z (- y x)) 6.0)) (pow (* (* z (- y x)) 6.0) 3) (sqrt (* (* z (- y x)) 6.0)) (sqrt (* (* z (- y x)) 6.0)) (* (* z (- y x)) (* (cbrt 6.0) (cbrt 6.0))) (* (* z (- y x)) (sqrt 6.0)) (* (- y x) z) (* 6.0 (- y x)) (* (* z (- (pow y 3) (pow x 3))) 6.0) (* (* z (- (* y y) (* x x))) 6.0) (expm1 (* z (- y x))) (log1p (* z (- y x))) (* (- y x) z) (log (* z (- y x))) (log (* z (- y x))) (exp (* z (- y x))) (pow (* (- y x) z) 3) (* (cbrt (* z (- y x))) (cbrt (* z (- y x)))) (cbrt (* z (- y x))) (pow (* (- y x) z) 3) (sqrt (* z (- y x))) (sqrt (* z (- y x))) (* (sqrt z) (sqrt (- y x))) (* (sqrt z) (sqrt (- y x))) (* (- (pow (cbrt y) 3) x) z) (* 0 z) (* (- (pow (cbrt y) 3) x) z) (* 0 z) (* (- (pow (cbrt y) 3) x) z) (* 0 z) (* (- y x) z) (* 0 z) (* (- y x) z) (* 0 z) (* (- y x) z) (* 0 z) (* (- y x) z) (* 0 z) (* (- y x) z) (* 0 z) (* (- y x) z) (* 0 z) (* z y) (* z (- x)) (* z y) (* z (- x)) (* (- (pow (cbrt y) 3) x) z) (* 0 z) (* (- (pow (cbrt y) 3) x) z) (* 0 z) (* (- (pow (cbrt y) 3) x) z) (* 0 z) (* (- y x) z) (* 0 z) (* (- y x) z) (* 0 z) (* (- y x) z) (* 0 z) (* (- y x) z) (* 0 z) (* (- y x) z) (* 0 z) (* (- y x) z) (* 0 z) (* z y) (* z (- x)) (* z y) (* z (- x)) (* z (* (cbrt (- y x)) (cbrt (- y x)))) (* z (sqrt (- y x))) z (* z (+ (sqrt y) (sqrt x))) z (* (cbrt z) (- y x)) (* (sqrt z) (- y x)) (* (- y x) z) (* z (- (pow y 3) (pow x 3))) (* z (- (* y y) (* x x))) (* (* z (- y x)) 6.0) (* (* z (- y x)) 6.0) (* (* z (- y x)) 6.0) (* (- y x) z) (* (- y x) z) (* (- y x) z) 41.760 * * * [progress]: adding candidates to table 41.883 * * [progress]: iteration 4 / 4 41.883 * * * [progress]: picking best candidate 41.889 * * * * [pick]: Picked # 41.890 * * * [progress]: localizing error 41.899 * * * [progress]: generating rewritten candidates 41.899 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 41.909 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 41.912 * * * [progress]: generating series expansions 41.912 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 41.913 * [approximate]: Taking taylor expansion of (* 6.0 (- (* z y) (* x z))) in (z y x) around 0 41.913 * [taylor]: Taking taylor expansion of (* 6.0 (- (* z y) (* x z))) in x 41.913 * [taylor]: Taking taylor expansion of 6.0 in x 41.913 * [taylor]: Taking taylor expansion of (- (* z y) (* x z)) in x 41.913 * [taylor]: Taking taylor expansion of (* z y) in x 41.913 * [taylor]: Taking taylor expansion of z in x 41.913 * [taylor]: Taking taylor expansion of y in x 41.913 * [taylor]: Taking taylor expansion of (* x z) in x 41.913 * [taylor]: Taking taylor expansion of x in x 41.913 * [taylor]: Taking taylor expansion of z in x 41.913 * [taylor]: Taking taylor expansion of (* 6.0 (- (* z y) (* x z))) in y 41.913 * [taylor]: Taking taylor expansion of 6.0 in y 41.913 * [taylor]: Taking taylor expansion of (- (* z y) (* x z)) in y 41.913 * [taylor]: Taking taylor expansion of (* z y) in y 41.913 * [taylor]: Taking taylor expansion of z in y 41.913 * [taylor]: Taking taylor expansion of y in y 41.913 * [taylor]: Taking taylor expansion of (* x z) in y 41.913 * [taylor]: Taking taylor expansion of x in y 41.913 * [taylor]: Taking taylor expansion of z in y 41.913 * [taylor]: Taking taylor expansion of (* 6.0 (- (* z y) (* x z))) in z 41.913 * [taylor]: Taking taylor expansion of 6.0 in z 41.913 * [taylor]: Taking taylor expansion of (- (* z y) (* x z)) in z 41.913 * [taylor]: Taking taylor expansion of (* z y) in z 41.913 * [taylor]: Taking taylor expansion of z in z 41.913 * [taylor]: Taking taylor expansion of y in z 41.913 * [taylor]: Taking taylor expansion of (* x z) in z 41.913 * [taylor]: Taking taylor expansion of x in z 41.913 * [taylor]: Taking taylor expansion of z in z 41.913 * [taylor]: Taking taylor expansion of (* 6.0 (- (* z y) (* x z))) in z 41.913 * [taylor]: Taking taylor expansion of 6.0 in z 41.913 * [taylor]: Taking taylor expansion of (- (* z y) (* x z)) in z 41.913 * [taylor]: Taking taylor expansion of (* z y) in z 41.913 * [taylor]: Taking taylor expansion of z in z 41.913 * [taylor]: Taking taylor expansion of y in z 41.913 * [taylor]: Taking taylor expansion of (* x z) in z 41.913 * [taylor]: Taking taylor expansion of x in z 41.913 * [taylor]: Taking taylor expansion of z in z 41.915 * [taylor]: Taking taylor expansion of 0 in y 41.915 * [taylor]: Taking taylor expansion of 0 in x 41.916 * [taylor]: Taking taylor expansion of (- (* 6.0 y) (* 6.0 x)) in y 41.916 * [taylor]: Taking taylor expansion of (* 6.0 y) in y 41.916 * [taylor]: Taking taylor expansion of 6.0 in y 41.916 * [taylor]: Taking taylor expansion of y in y 41.916 * [taylor]: Taking taylor expansion of (* 6.0 x) in y 41.916 * [taylor]: Taking taylor expansion of 6.0 in y 41.916 * [taylor]: Taking taylor expansion of x in y 41.916 * [taylor]: Taking taylor expansion of (- (* 6.0 x)) in x 41.916 * [taylor]: Taking taylor expansion of (* 6.0 x) in x 41.916 * [taylor]: Taking taylor expansion of 6.0 in x 41.916 * [taylor]: Taking taylor expansion of x in x 41.917 * [taylor]: Taking taylor expansion of 0 in x 41.919 * [taylor]: Taking taylor expansion of 0 in y 41.919 * [taylor]: Taking taylor expansion of 0 in x 41.921 * [taylor]: Taking taylor expansion of 6.0 in x 41.921 * [taylor]: Taking taylor expansion of 0 in x 41.926 * [taylor]: Taking taylor expansion of 0 in y 41.926 * [taylor]: Taking taylor expansion of 0 in x 41.926 * [taylor]: Taking taylor expansion of 0 in x 41.928 * [taylor]: Taking taylor expansion of 0 in x 41.928 * [taylor]: Taking taylor expansion of 0 in x 41.928 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 (* z y)) (/ 1 (* x z)))) in (z y x) around 0 41.929 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (* z y)) (/ 1 (* x z)))) in x 41.929 * [taylor]: Taking taylor expansion of 6.0 in x 41.929 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in x 41.929 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 41.929 * [taylor]: Taking taylor expansion of (* z y) in x 41.929 * [taylor]: Taking taylor expansion of z in x 41.929 * [taylor]: Taking taylor expansion of y in x 41.929 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 41.929 * [taylor]: Taking taylor expansion of (* x z) in x 41.929 * [taylor]: Taking taylor expansion of x in x 41.929 * [taylor]: Taking taylor expansion of z in x 41.929 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (* z y)) (/ 1 (* x z)))) in y 41.929 * [taylor]: Taking taylor expansion of 6.0 in y 41.929 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in y 41.929 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 41.929 * [taylor]: Taking taylor expansion of (* z y) in y 41.929 * [taylor]: Taking taylor expansion of z in y 41.929 * [taylor]: Taking taylor expansion of y in y 41.930 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 41.930 * [taylor]: Taking taylor expansion of (* x z) in y 41.930 * [taylor]: Taking taylor expansion of x in y 41.930 * [taylor]: Taking taylor expansion of z in y 41.930 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (* z y)) (/ 1 (* x z)))) in z 41.930 * [taylor]: Taking taylor expansion of 6.0 in z 41.930 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in z 41.930 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 41.930 * [taylor]: Taking taylor expansion of (* z y) in z 41.930 * [taylor]: Taking taylor expansion of z in z 41.930 * [taylor]: Taking taylor expansion of y in z 41.930 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 41.930 * [taylor]: Taking taylor expansion of (* x z) in z 41.930 * [taylor]: Taking taylor expansion of x in z 41.930 * [taylor]: Taking taylor expansion of z in z 41.931 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (* z y)) (/ 1 (* x z)))) in z 41.931 * [taylor]: Taking taylor expansion of 6.0 in z 41.931 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in z 41.931 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 41.931 * [taylor]: Taking taylor expansion of (* z y) in z 41.931 * [taylor]: Taking taylor expansion of z in z 41.931 * [taylor]: Taking taylor expansion of y in z 41.931 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 41.931 * [taylor]: Taking taylor expansion of (* x z) in z 41.931 * [taylor]: Taking taylor expansion of x in z 41.931 * [taylor]: Taking taylor expansion of z in z 41.932 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 41.932 * [taylor]: Taking taylor expansion of 6.0 in y 41.932 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 41.932 * [taylor]: Taking taylor expansion of (/ 1 y) in y 41.932 * [taylor]: Taking taylor expansion of y in y 41.932 * [taylor]: Taking taylor expansion of (/ 1 x) in y 41.932 * [taylor]: Taking taylor expansion of x in y 41.933 * [taylor]: Taking taylor expansion of 6.0 in x 41.935 * [taylor]: Taking taylor expansion of 0 in y 41.936 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 41.936 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 41.936 * [taylor]: Taking taylor expansion of 6.0 in x 41.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 41.936 * [taylor]: Taking taylor expansion of x in x 41.944 * [taylor]: Taking taylor expansion of 0 in y 41.944 * [taylor]: Taking taylor expansion of 0 in x 41.946 * [taylor]: Taking taylor expansion of 0 in x 41.951 * [taylor]: Taking taylor expansion of 0 in y 41.951 * [taylor]: Taking taylor expansion of 0 in x 41.951 * [taylor]: Taking taylor expansion of 0 in x 41.953 * [taylor]: Taking taylor expansion of 0 in x 41.955 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 (* z y)) (/ 1 (* x z)))) in (z y x) around 0 41.955 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (* z y)) (/ 1 (* x z)))) in x 41.955 * [taylor]: Taking taylor expansion of 6.0 in x 41.955 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in x 41.955 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 41.955 * [taylor]: Taking taylor expansion of (* z y) in x 41.955 * [taylor]: Taking taylor expansion of z in x 41.955 * [taylor]: Taking taylor expansion of y in x 41.955 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 41.955 * [taylor]: Taking taylor expansion of (* x z) in x 41.955 * [taylor]: Taking taylor expansion of x in x 41.955 * [taylor]: Taking taylor expansion of z in x 41.956 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (* z y)) (/ 1 (* x z)))) in y 41.956 * [taylor]: Taking taylor expansion of 6.0 in y 41.956 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in y 41.956 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 41.956 * [taylor]: Taking taylor expansion of (* z y) in y 41.956 * [taylor]: Taking taylor expansion of z in y 41.956 * [taylor]: Taking taylor expansion of y in y 41.956 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 41.956 * [taylor]: Taking taylor expansion of (* x z) in y 41.956 * [taylor]: Taking taylor expansion of x in y 41.956 * [taylor]: Taking taylor expansion of z in y 41.956 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (* z y)) (/ 1 (* x z)))) in z 41.956 * [taylor]: Taking taylor expansion of 6.0 in z 41.956 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in z 41.956 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 41.957 * [taylor]: Taking taylor expansion of (* z y) in z 41.957 * [taylor]: Taking taylor expansion of z in z 41.957 * [taylor]: Taking taylor expansion of y in z 41.957 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 41.957 * [taylor]: Taking taylor expansion of (* x z) in z 41.957 * [taylor]: Taking taylor expansion of x in z 41.957 * [taylor]: Taking taylor expansion of z in z 41.957 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (* z y)) (/ 1 (* x z)))) in z 41.957 * [taylor]: Taking taylor expansion of 6.0 in z 41.957 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in z 41.957 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 41.957 * [taylor]: Taking taylor expansion of (* z y) in z 41.957 * [taylor]: Taking taylor expansion of z in z 41.957 * [taylor]: Taking taylor expansion of y in z 41.958 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 41.958 * [taylor]: Taking taylor expansion of (* x z) in z 41.958 * [taylor]: Taking taylor expansion of x in z 41.958 * [taylor]: Taking taylor expansion of z in z 41.958 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 41.958 * [taylor]: Taking taylor expansion of 6.0 in y 41.958 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 41.958 * [taylor]: Taking taylor expansion of (/ 1 y) in y 41.958 * [taylor]: Taking taylor expansion of y in y 41.959 * [taylor]: Taking taylor expansion of (/ 1 x) in y 41.959 * [taylor]: Taking taylor expansion of x in y 41.959 * [taylor]: Taking taylor expansion of 6.0 in x 41.961 * [taylor]: Taking taylor expansion of 0 in y 41.962 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 41.962 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 41.962 * [taylor]: Taking taylor expansion of 6.0 in x 41.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x 41.962 * [taylor]: Taking taylor expansion of x in x 41.966 * [taylor]: Taking taylor expansion of 0 in y 41.966 * [taylor]: Taking taylor expansion of 0 in x 41.968 * [taylor]: Taking taylor expansion of 0 in x 41.972 * [taylor]: Taking taylor expansion of 0 in y 41.972 * [taylor]: Taking taylor expansion of 0 in x 41.973 * [taylor]: Taking taylor expansion of 0 in x 41.975 * [taylor]: Taking taylor expansion of 0 in x 41.977 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 41.977 * [approximate]: Taking taylor expansion of (- (* z y) (* x z)) in (z y x) around 0 41.977 * [taylor]: Taking taylor expansion of (- (* z y) (* x z)) in x 41.977 * [taylor]: Taking taylor expansion of (* z y) in x 41.977 * [taylor]: Taking taylor expansion of z in x 41.977 * [taylor]: Taking taylor expansion of y in x 41.977 * [taylor]: Taking taylor expansion of (* x z) in x 41.977 * [taylor]: Taking taylor expansion of x in x 41.977 * [taylor]: Taking taylor expansion of z in x 41.977 * [taylor]: Taking taylor expansion of (- (* z y) (* x z)) in y 41.977 * [taylor]: Taking taylor expansion of (* z y) in y 41.977 * [taylor]: Taking taylor expansion of z in y 41.977 * [taylor]: Taking taylor expansion of y in y 41.977 * [taylor]: Taking taylor expansion of (* x z) in y 41.977 * [taylor]: Taking taylor expansion of x in y 41.977 * [taylor]: Taking taylor expansion of z in y 41.977 * [taylor]: Taking taylor expansion of (- (* z y) (* x z)) in z 41.977 * [taylor]: Taking taylor expansion of (* z y) in z 41.977 * [taylor]: Taking taylor expansion of z in z 41.977 * [taylor]: Taking taylor expansion of y in z 41.977 * [taylor]: Taking taylor expansion of (* x z) in z 41.977 * [taylor]: Taking taylor expansion of x in z 41.978 * [taylor]: Taking taylor expansion of z in z 41.978 * [taylor]: Taking taylor expansion of (- (* z y) (* x z)) in z 41.978 * [taylor]: Taking taylor expansion of (* z y) in z 41.978 * [taylor]: Taking taylor expansion of z in z 41.978 * [taylor]: Taking taylor expansion of y in z 41.978 * [taylor]: Taking taylor expansion of (* x z) in z 41.978 * [taylor]: Taking taylor expansion of x in z 41.978 * [taylor]: Taking taylor expansion of z in z 41.978 * [taylor]: Taking taylor expansion of 0 in y 41.978 * [taylor]: Taking taylor expansion of 0 in x 41.979 * [taylor]: Taking taylor expansion of (- y x) in y 41.979 * [taylor]: Taking taylor expansion of y in y 41.979 * [taylor]: Taking taylor expansion of x in y 41.979 * [taylor]: Taking taylor expansion of (- x) in x 41.979 * [taylor]: Taking taylor expansion of x in x 41.979 * [taylor]: Taking taylor expansion of 0 in x 41.981 * [taylor]: Taking taylor expansion of 0 in y 41.981 * [taylor]: Taking taylor expansion of 0 in x 41.982 * [taylor]: Taking taylor expansion of 1 in x 41.982 * [taylor]: Taking taylor expansion of 0 in x 41.984 * [taylor]: Taking taylor expansion of 0 in y 41.984 * [taylor]: Taking taylor expansion of 0 in x 41.984 * [taylor]: Taking taylor expansion of 0 in x 41.984 * [taylor]: Taking taylor expansion of 0 in x 41.984 * [taylor]: Taking taylor expansion of 0 in x 41.985 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in (z y x) around 0 41.985 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in x 41.985 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 41.985 * [taylor]: Taking taylor expansion of (* z y) in x 41.985 * [taylor]: Taking taylor expansion of z in x 41.985 * [taylor]: Taking taylor expansion of y in x 41.985 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 41.985 * [taylor]: Taking taylor expansion of (* x z) in x 41.985 * [taylor]: Taking taylor expansion of x in x 41.985 * [taylor]: Taking taylor expansion of z in x 41.985 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in y 41.985 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 41.985 * [taylor]: Taking taylor expansion of (* z y) in y 41.985 * [taylor]: Taking taylor expansion of z in y 41.985 * [taylor]: Taking taylor expansion of y in y 41.986 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 41.986 * [taylor]: Taking taylor expansion of (* x z) in y 41.986 * [taylor]: Taking taylor expansion of x in y 41.986 * [taylor]: Taking taylor expansion of z in y 41.986 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in z 41.986 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 41.986 * [taylor]: Taking taylor expansion of (* z y) in z 41.986 * [taylor]: Taking taylor expansion of z in z 41.986 * [taylor]: Taking taylor expansion of y in z 41.986 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 41.986 * [taylor]: Taking taylor expansion of (* x z) in z 41.986 * [taylor]: Taking taylor expansion of x in z 41.986 * [taylor]: Taking taylor expansion of z in z 41.987 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in z 41.987 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 41.987 * [taylor]: Taking taylor expansion of (* z y) in z 41.987 * [taylor]: Taking taylor expansion of z in z 41.987 * [taylor]: Taking taylor expansion of y in z 41.987 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 41.987 * [taylor]: Taking taylor expansion of (* x z) in z 41.987 * [taylor]: Taking taylor expansion of x in z 41.987 * [taylor]: Taking taylor expansion of z in z 41.988 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 41.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y 41.988 * [taylor]: Taking taylor expansion of y in y 41.988 * [taylor]: Taking taylor expansion of (/ 1 x) in y 41.988 * [taylor]: Taking taylor expansion of x in y 41.988 * [taylor]: Taking taylor expansion of 1 in x 41.990 * [taylor]: Taking taylor expansion of 0 in y 41.991 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 41.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x 41.991 * [taylor]: Taking taylor expansion of x in x 41.993 * [taylor]: Taking taylor expansion of 0 in y 41.993 * [taylor]: Taking taylor expansion of 0 in x 41.994 * [taylor]: Taking taylor expansion of 0 in x 41.998 * [taylor]: Taking taylor expansion of 0 in y 41.998 * [taylor]: Taking taylor expansion of 0 in x 41.998 * [taylor]: Taking taylor expansion of 0 in x 41.999 * [taylor]: Taking taylor expansion of 0 in x 42.000 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in (z y x) around 0 42.000 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in x 42.000 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 42.000 * [taylor]: Taking taylor expansion of (* z y) in x 42.000 * [taylor]: Taking taylor expansion of z in x 42.000 * [taylor]: Taking taylor expansion of y in x 42.000 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 42.000 * [taylor]: Taking taylor expansion of (* x z) in x 42.000 * [taylor]: Taking taylor expansion of x in x 42.000 * [taylor]: Taking taylor expansion of z in x 42.001 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in y 42.001 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 42.001 * [taylor]: Taking taylor expansion of (* z y) in y 42.001 * [taylor]: Taking taylor expansion of z in y 42.001 * [taylor]: Taking taylor expansion of y in y 42.001 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 42.001 * [taylor]: Taking taylor expansion of (* x z) in y 42.001 * [taylor]: Taking taylor expansion of x in y 42.001 * [taylor]: Taking taylor expansion of z in y 42.001 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in z 42.001 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 42.001 * [taylor]: Taking taylor expansion of (* z y) in z 42.001 * [taylor]: Taking taylor expansion of z in z 42.001 * [taylor]: Taking taylor expansion of y in z 42.002 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 42.002 * [taylor]: Taking taylor expansion of (* x z) in z 42.002 * [taylor]: Taking taylor expansion of x in z 42.002 * [taylor]: Taking taylor expansion of z in z 42.002 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x z))) in z 42.002 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 42.002 * [taylor]: Taking taylor expansion of (* z y) in z 42.002 * [taylor]: Taking taylor expansion of z in z 42.002 * [taylor]: Taking taylor expansion of y in z 42.003 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 42.003 * [taylor]: Taking taylor expansion of (* x z) in z 42.003 * [taylor]: Taking taylor expansion of x in z 42.003 * [taylor]: Taking taylor expansion of z in z 42.003 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 42.003 * [taylor]: Taking taylor expansion of (/ 1 y) in y 42.003 * [taylor]: Taking taylor expansion of y in y 42.004 * [taylor]: Taking taylor expansion of (/ 1 x) in y 42.004 * [taylor]: Taking taylor expansion of x in y 42.004 * [taylor]: Taking taylor expansion of 1 in x 42.005 * [taylor]: Taking taylor expansion of 0 in y 42.006 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 42.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 42.006 * [taylor]: Taking taylor expansion of x in x 42.009 * [taylor]: Taking taylor expansion of 0 in y 42.009 * [taylor]: Taking taylor expansion of 0 in x 42.010 * [taylor]: Taking taylor expansion of 0 in x 42.013 * [taylor]: Taking taylor expansion of 0 in y 42.013 * [taylor]: Taking taylor expansion of 0 in x 42.013 * [taylor]: Taking taylor expansion of 0 in x 42.014 * [taylor]: Taking taylor expansion of 0 in x 42.015 * * * [progress]: simplifying candidates 42.016 * [simplify]: Simplifying using # : (expm1 (* (+ (* z y) (* z (- x))) 6.0)) (log1p (* (+ (* z y) (* z (- x))) 6.0)) (* (+ (* z y) (* z (- x))) 6.0) (+ (log (+ (* z y) (* z (- x)))) (log 6.0)) (log (* (+ (* z y) (* z (- x))) 6.0)) (exp (* (+ (* z y) (* z (- x))) 6.0)) (* (* (* (+ (* z y) (* z (- x))) (+ (* z y) (* z (- x)))) (+ (* z y) (* z (- x)))) (* (* 6.0 6.0) 6.0)) (* (cbrt (* (+ (* z y) (* z (- x))) 6.0)) (cbrt (* (+ (* z y) (* z (- x))) 6.0))) (cbrt (* (+ (* z y) (* z (- x))) 6.0)) (* (* (* (+ (* z y) (* z (- x))) 6.0) (* (+ (* z y) (* z (- x))) 6.0)) (* (+ (* z y) (* z (- x))) 6.0)) (sqrt (* (+ (* z y) (* z (- x))) 6.0)) (sqrt (* (+ (* z y) (* z (- x))) 6.0)) (* (sqrt (+ (* z y) (* z (- x)))) (sqrt 6.0)) (* (sqrt (+ (* z y) (* z (- x)))) (sqrt 6.0)) (* (+ (* z y) (* z (- x))) (* (cbrt 6.0) (cbrt 6.0))) (* (+ (* z y) (* z (- x))) (sqrt 6.0)) (* (+ (* z y) (* z (- x))) 1) (* (cbrt (+ (* z y) (* z (- x)))) 6.0) (* (sqrt (+ (* z y) (* z (- x)))) 6.0) (* (+ (* z y) (* z (- x))) 6.0) (* (+ y (- x)) 6.0) (* (+ (pow (* z y) 3) (pow (* z (- x)) 3)) 6.0) (* (- (* (* z y) (* z y)) (* (* z (- x)) (* z (- x)))) 6.0) (expm1 (+ (* z y) (* z (- x)))) (log1p (+ (* z y) (* z (- x)))) (* (exp (* z y)) (exp (* z (- x)))) (log (+ (* z y) (* z (- x)))) (exp (+ (* z y) (* z (- x)))) (* (cbrt (+ (* z y) (* z (- x)))) (cbrt (+ (* z y) (* z (- x))))) (cbrt (+ (* z y) (* z (- x)))) (* (* (+ (* z y) (* z (- x))) (+ (* z y) (* z (- x)))) (+ (* z y) (* z (- x)))) (sqrt (+ (* z y) (* z (- x)))) (sqrt (+ (* z y) (* z (- x)))) (+ (pow (* z y) 3) (pow (* z (- x)) 3)) (+ (* (* z y) (* z y)) (- (* (* z (- x)) (* z (- x))) (* (* z y) (* z (- x))))) (- (* (* z y) (* z y)) (* (* z (- x)) (* z (- x)))) (- (* z y) (* z (- x))) (+ y (- x)) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* z y) (* x z)) (- (* z y) (* x z)) (- (* z y) (* x z)) 42.019 * * [simplify]: iteration 0 : 65 enodes (cost 555 ) 42.037 * * [simplify]: iteration 1 : 187 enodes (cost 399 ) 42.084 * * [simplify]: iteration 2 : 819 enodes (cost 357 ) 42.439 * * [simplify]: iteration 3 : 4187 enodes (cost 352 ) 44.889 * * [simplify]: iteration done : 5000 enodes (cost 352 ) 44.889 * [simplify]: Simplified to: (expm1 (* 6.0 (* z (- y x)))) (log1p (* 6.0 (* z (- y x)))) (* 6.0 (* z (- y x))) (log (* 6.0 (* z (- y x)))) (log (* 6.0 (* z (- y x)))) (exp (* 6.0 (* z (- y x)))) (pow (* 6.0 (* z (- y x))) 3) (* (cbrt (* 6.0 (* z (- y x)))) (cbrt (* 6.0 (* z (- y x))))) (cbrt (* 6.0 (* z (- y x)))) (pow (* 6.0 (* z (- y x))) 3) (sqrt (* 6.0 (* z (- y x)))) (sqrt (* 6.0 (* z (- y x)))) (* (sqrt (* z (- y x))) (sqrt 6.0)) (* (sqrt (* z (- y x))) (sqrt 6.0)) (* (* z (- y x)) (* (cbrt 6.0) (cbrt 6.0))) (* (sqrt 6.0) (* z (- y x))) (* z (- y x)) (* 6.0 (cbrt (* z (- y x)))) (* 6.0 (sqrt (* z (- y x)))) (* 6.0 (* z (- y x))) (* 6.0 (- y x)) (* 6.0 (* (- (pow y 3) (pow x 3)) (pow z 3))) (* (* (* z z) (- (* y y) (* x x))) 6.0) (expm1 (* z (- y x))) (log1p (* z (- y x))) (exp (* z (- y x))) (log (* z (- y x))) (exp (* z (- y x))) (* (cbrt (* z (- y x))) (cbrt (* z (- y x)))) (cbrt (* z (- y x))) (pow (* z (- y x)) 3) (sqrt (* z (- y x))) (sqrt (* z (- y x))) (* (- (pow y 3) (pow x 3)) (pow z 3)) (fma (* z (* x x)) z (* (* (* z y) z) (+ x y))) (* (* z z) (- (* y y) (* x x))) (* (+ x y) z) (- y x) (* 6.0 (* z (- y x))) (* 6.0 (* z (- y x))) (* 6.0 (* z (- y x))) (* z (- y x)) (* z (- y x)) (* z (- y x)) 44.890 * * * [progress]: adding candidates to table 45.003 * [progress]: [Phase 3 of 3] Extracting. 45.003 * * [regime]: Finding splitpoints for: (# # # # #) 45.004 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 45.004 * * * * [regimes]: Trying to branch on z from (# # # # #) 45.023 * * * * [regimes]: Trying to branch on y from (# # # # #) 45.045 * * * * [regimes]: Trying to branch on x from (# # # # #) 45.065 * * * [regime]: Found split indices: #