12.615 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (+ x (/ (* y (- z x)) t)) 0.021 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.022 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.024 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 0.027 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 0.033 * * [simplify]: iteration 4 : 85 enodes (cost 8 ) 0.044 * * [simplify]: iteration 5 : 131 enodes (cost 8 ) 0.064 * * [simplify]: iteration 6 : 172 enodes (cost 8 ) 0.097 * * [simplify]: iteration 7 : 203 enodes (cost 8 ) 0.123 * * [simplify]: iteration 8 : 245 enodes (cost 8 ) 0.173 * * [simplify]: iteration 9 : 343 enodes (cost 8 ) 0.257 * * [simplify]: iteration 10 : 453 enodes (cost 8 ) 0.332 * * [simplify]: iteration 11 : 516 enodes (cost 8 ) 0.427 * * [simplify]: iteration 12 : 582 enodes (cost 8 ) 0.534 * * [simplify]: iteration 13 : 626 enodes (cost 8 ) 0.675 * * [simplify]: iteration 14 : 666 enodes (cost 8 ) 0.846 * * [simplify]: iteration 15 : 764 enodes (cost 8 ) 1.100 * * [simplify]: iteration 16 : 1013 enodes (cost 8 ) 1.477 * * [simplify]: iteration 17 : 1319 enodes (cost 8 ) 2.102 * * [simplify]: iteration 18 : 1912 enodes (cost 8 ) 3.218 * * [simplify]: iteration 19 : 2462 enodes (cost 8 ) 4.729 * * [simplify]: iteration 20 : 2559 enodes (cost 8 ) 6.282 * * [simplify]: iteration 21 : 2565 enodes (cost 8 ) 7.829 * * [simplify]: iteration done : 2565 enodes (cost 8 ) 7.830 * [simplify]: Simplified to: (fma (/ y t) (- z x) x) 7.832 * * [progress]: iteration 1 / 4 7.832 * * * [progress]: picking best candidate 7.835 * * * * [pick]: Picked # 7.835 * * * [progress]: localizing error 7.841 * * * [progress]: generating rewritten candidates 7.841 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 7.842 * * * [progress]: generating series expansions 7.842 * * * * [progress]: [ 1 / 1 ] generating series at (2) 7.842 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 7.842 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 7.842 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 7.842 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 7.842 * [taylor]: Taking taylor expansion of (/ y t) in x 7.842 * [taylor]: Taking taylor expansion of y in x 7.842 * [taylor]: Taking taylor expansion of t in x 7.842 * [taylor]: Taking taylor expansion of (- z x) in x 7.842 * [taylor]: Taking taylor expansion of z in x 7.842 * [taylor]: Taking taylor expansion of x in x 7.842 * [taylor]: Taking taylor expansion of x in x 7.842 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 7.843 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 7.843 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 7.843 * [taylor]: Taking taylor expansion of (/ y t) in z 7.843 * [taylor]: Taking taylor expansion of y in z 7.843 * [taylor]: Taking taylor expansion of t in z 7.843 * [taylor]: Taking taylor expansion of (- z x) in z 7.843 * [taylor]: Taking taylor expansion of z in z 7.843 * [taylor]: Taking taylor expansion of x in z 7.843 * [taylor]: Taking taylor expansion of x in z 7.843 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 7.843 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 7.843 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 7.843 * [taylor]: Taking taylor expansion of (/ y t) in t 7.843 * [taylor]: Taking taylor expansion of y in t 7.843 * [taylor]: Taking taylor expansion of t in t 7.843 * [taylor]: Taking taylor expansion of (- z x) in t 7.843 * [taylor]: Taking taylor expansion of z in t 7.843 * [taylor]: Taking taylor expansion of x in t 7.843 * [taylor]: Taking taylor expansion of x in t 7.843 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 7.843 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 7.843 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 7.843 * [taylor]: Taking taylor expansion of (/ y t) in y 7.843 * [taylor]: Taking taylor expansion of y in y 7.843 * [taylor]: Taking taylor expansion of t in y 7.843 * [taylor]: Taking taylor expansion of (- z x) in y 7.843 * [taylor]: Taking taylor expansion of z in y 7.843 * [taylor]: Taking taylor expansion of x in y 7.843 * [taylor]: Taking taylor expansion of x in y 7.843 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 7.843 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 7.843 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 7.843 * [taylor]: Taking taylor expansion of (/ y t) in y 7.843 * [taylor]: Taking taylor expansion of y in y 7.843 * [taylor]: Taking taylor expansion of t in y 7.843 * [taylor]: Taking taylor expansion of (- z x) in y 7.843 * [taylor]: Taking taylor expansion of z in y 7.843 * [taylor]: Taking taylor expansion of x in y 7.843 * [taylor]: Taking taylor expansion of x in y 7.844 * [taylor]: Taking taylor expansion of x in t 7.844 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 7.844 * [taylor]: Taking taylor expansion of (/ z t) in t 7.844 * [taylor]: Taking taylor expansion of z in t 7.844 * [taylor]: Taking taylor expansion of t in t 7.844 * [taylor]: Taking taylor expansion of (/ x t) in t 7.844 * [taylor]: Taking taylor expansion of x in t 7.844 * [taylor]: Taking taylor expansion of t in t 7.844 * [taylor]: Taking taylor expansion of (- z x) in z 7.844 * [taylor]: Taking taylor expansion of z in z 7.844 * [taylor]: Taking taylor expansion of x in z 7.844 * [taylor]: Taking taylor expansion of (- x) in x 7.844 * [taylor]: Taking taylor expansion of x in x 7.844 * [taylor]: Taking taylor expansion of x in z 7.844 * [taylor]: Taking taylor expansion of x in x 7.845 * [taylor]: Taking taylor expansion of 0 in t 7.847 * [taylor]: Taking taylor expansion of 0 in z 7.847 * [taylor]: Taking taylor expansion of 0 in x 7.847 * [taylor]: Taking taylor expansion of 0 in z 7.847 * [taylor]: Taking taylor expansion of 0 in x 7.847 * [taylor]: Taking taylor expansion of 1 in x 7.847 * [taylor]: Taking taylor expansion of 0 in x 7.848 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 7.848 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 7.849 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 7.849 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 7.849 * [taylor]: Taking taylor expansion of (/ t y) in x 7.849 * [taylor]: Taking taylor expansion of t in x 7.849 * [taylor]: Taking taylor expansion of y in x 7.849 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.849 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.849 * [taylor]: Taking taylor expansion of z in x 7.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.849 * [taylor]: Taking taylor expansion of x in x 7.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.849 * [taylor]: Taking taylor expansion of x in x 7.849 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 7.849 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 7.849 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 7.849 * [taylor]: Taking taylor expansion of (/ t y) in z 7.849 * [taylor]: Taking taylor expansion of t in z 7.849 * [taylor]: Taking taylor expansion of y in z 7.849 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 7.850 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.850 * [taylor]: Taking taylor expansion of z in z 7.850 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.850 * [taylor]: Taking taylor expansion of x in z 7.850 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.850 * [taylor]: Taking taylor expansion of x in z 7.850 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 7.850 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 7.850 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 7.850 * [taylor]: Taking taylor expansion of (/ t y) in t 7.850 * [taylor]: Taking taylor expansion of t in t 7.850 * [taylor]: Taking taylor expansion of y in t 7.850 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 7.850 * [taylor]: Taking taylor expansion of (/ 1 z) in t 7.850 * [taylor]: Taking taylor expansion of z in t 7.850 * [taylor]: Taking taylor expansion of (/ 1 x) in t 7.850 * [taylor]: Taking taylor expansion of x in t 7.850 * [taylor]: Taking taylor expansion of (/ 1 x) in t 7.850 * [taylor]: Taking taylor expansion of x in t 7.850 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 7.850 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 7.850 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 7.850 * [taylor]: Taking taylor expansion of (/ t y) in y 7.850 * [taylor]: Taking taylor expansion of t in y 7.850 * [taylor]: Taking taylor expansion of y in y 7.850 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.850 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.850 * [taylor]: Taking taylor expansion of z in y 7.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.851 * [taylor]: Taking taylor expansion of x in y 7.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.851 * [taylor]: Taking taylor expansion of x in y 7.851 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 7.851 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 7.851 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 7.851 * [taylor]: Taking taylor expansion of (/ t y) in y 7.851 * [taylor]: Taking taylor expansion of t in y 7.851 * [taylor]: Taking taylor expansion of y in y 7.851 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.851 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.851 * [taylor]: Taking taylor expansion of z in y 7.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.851 * [taylor]: Taking taylor expansion of x in y 7.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.851 * [taylor]: Taking taylor expansion of x in y 7.851 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 7.851 * [taylor]: Taking taylor expansion of (/ t z) in t 7.851 * [taylor]: Taking taylor expansion of t in t 7.851 * [taylor]: Taking taylor expansion of z in t 7.851 * [taylor]: Taking taylor expansion of (/ t x) in t 7.851 * [taylor]: Taking taylor expansion of t in t 7.851 * [taylor]: Taking taylor expansion of x in t 7.853 * [taylor]: Taking taylor expansion of (/ 1 x) in t 7.853 * [taylor]: Taking taylor expansion of x in t 7.853 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.853 * [taylor]: Taking taylor expansion of x in z 7.853 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 7.853 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.853 * [taylor]: Taking taylor expansion of z in z 7.853 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.853 * [taylor]: Taking taylor expansion of x in z 7.853 * [taylor]: Taking taylor expansion of 1 in x 7.855 * [taylor]: Taking taylor expansion of 0 in t 7.855 * [taylor]: Taking taylor expansion of 0 in z 7.856 * [taylor]: Taking taylor expansion of 0 in z 7.856 * [taylor]: Taking taylor expansion of 0 in z 7.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.856 * [taylor]: Taking taylor expansion of x in x 7.857 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.857 * [taylor]: Taking taylor expansion of x in x 7.858 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 7.858 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 7.858 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 7.858 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 7.858 * [taylor]: Taking taylor expansion of (/ t y) in x 7.858 * [taylor]: Taking taylor expansion of t in x 7.858 * [taylor]: Taking taylor expansion of y in x 7.859 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.859 * [taylor]: Taking taylor expansion of x in x 7.859 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.859 * [taylor]: Taking taylor expansion of z in x 7.859 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.859 * [taylor]: Taking taylor expansion of -1 in x 7.859 * [taylor]: Taking taylor expansion of x in x 7.859 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 7.859 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 7.859 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 7.859 * [taylor]: Taking taylor expansion of (/ t y) in z 7.859 * [taylor]: Taking taylor expansion of t in z 7.859 * [taylor]: Taking taylor expansion of y in z 7.859 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 7.859 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.859 * [taylor]: Taking taylor expansion of x in z 7.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.860 * [taylor]: Taking taylor expansion of z in z 7.860 * [taylor]: Taking taylor expansion of (/ -1 x) in z 7.860 * [taylor]: Taking taylor expansion of -1 in z 7.860 * [taylor]: Taking taylor expansion of x in z 7.860 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 7.860 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 7.860 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 7.860 * [taylor]: Taking taylor expansion of (/ t y) in t 7.860 * [taylor]: Taking taylor expansion of t in t 7.860 * [taylor]: Taking taylor expansion of y in t 7.860 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 7.860 * [taylor]: Taking taylor expansion of (/ 1 x) in t 7.860 * [taylor]: Taking taylor expansion of x in t 7.860 * [taylor]: Taking taylor expansion of (/ 1 z) in t 7.860 * [taylor]: Taking taylor expansion of z in t 7.860 * [taylor]: Taking taylor expansion of (/ -1 x) in t 7.860 * [taylor]: Taking taylor expansion of -1 in t 7.860 * [taylor]: Taking taylor expansion of x in t 7.860 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 7.860 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 7.860 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 7.860 * [taylor]: Taking taylor expansion of (/ t y) in y 7.860 * [taylor]: Taking taylor expansion of t in y 7.860 * [taylor]: Taking taylor expansion of y in y 7.860 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.860 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.860 * [taylor]: Taking taylor expansion of x in y 7.860 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.861 * [taylor]: Taking taylor expansion of z in y 7.861 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.861 * [taylor]: Taking taylor expansion of -1 in y 7.861 * [taylor]: Taking taylor expansion of x in y 7.861 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 7.861 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 7.861 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 7.861 * [taylor]: Taking taylor expansion of (/ t y) in y 7.861 * [taylor]: Taking taylor expansion of t in y 7.861 * [taylor]: Taking taylor expansion of y in y 7.861 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.861 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.861 * [taylor]: Taking taylor expansion of x in y 7.861 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.861 * [taylor]: Taking taylor expansion of z in y 7.861 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.861 * [taylor]: Taking taylor expansion of -1 in y 7.861 * [taylor]: Taking taylor expansion of x in y 7.861 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 7.861 * [taylor]: Taking taylor expansion of (/ t x) in t 7.861 * [taylor]: Taking taylor expansion of t in t 7.861 * [taylor]: Taking taylor expansion of x in t 7.861 * [taylor]: Taking taylor expansion of (/ t z) in t 7.861 * [taylor]: Taking taylor expansion of t in t 7.861 * [taylor]: Taking taylor expansion of z in t 7.863 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 7.863 * [taylor]: Taking taylor expansion of (/ 1 x) in t 7.863 * [taylor]: Taking taylor expansion of x in t 7.863 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 7.863 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.863 * [taylor]: Taking taylor expansion of x in z 7.863 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 7.863 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.863 * [taylor]: Taking taylor expansion of x in z 7.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.863 * [taylor]: Taking taylor expansion of z in z 7.864 * [taylor]: Taking taylor expansion of -1 in x 7.866 * [taylor]: Taking taylor expansion of 0 in t 7.866 * [taylor]: Taking taylor expansion of 0 in z 7.866 * [taylor]: Taking taylor expansion of 0 in z 7.867 * [taylor]: Taking taylor expansion of 0 in z 7.867 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.867 * [taylor]: Taking taylor expansion of x in x 7.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.868 * [taylor]: Taking taylor expansion of x in x 7.869 * * * [progress]: simplifying candidates 7.869 * [simplify]: Simplifying using # : (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) 7.871 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 7.873 * * [simplify]: iteration 1 : 40 enodes (cost 154 ) 7.878 * * [simplify]: iteration 2 : 91 enodes (cost 138 ) 7.898 * * [simplify]: iteration 3 : 218 enodes (cost 123 ) 7.957 * * [simplify]: iteration 4 : 980 enodes (cost 123 ) 8.384 * * [simplify]: iteration done : 5000 enodes (cost 123 ) 8.384 * [simplify]: Simplified to: (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (/ y (/ t (- z x))) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) 8.384 * * * [progress]: adding candidates to table 8.413 * * [progress]: iteration 2 / 4 8.413 * * * [progress]: picking best candidate 8.417 * * * * [pick]: Picked # 8.417 * * * [progress]: localizing error 8.424 * * * [progress]: generating rewritten candidates 8.424 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 8.434 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 8.445 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.452 * * * [progress]: generating series expansions 8.452 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 8.452 * [approximate]: Taking taylor expansion of (/ (* y (- z x)) t) in (y z x t) around 0 8.452 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in t 8.453 * [taylor]: Taking taylor expansion of (* y (- z x)) in t 8.453 * [taylor]: Taking taylor expansion of y in t 8.453 * [taylor]: Taking taylor expansion of (- z x) in t 8.453 * [taylor]: Taking taylor expansion of z in t 8.453 * [taylor]: Taking taylor expansion of x in t 8.453 * [taylor]: Taking taylor expansion of t in t 8.453 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in x 8.453 * [taylor]: Taking taylor expansion of (* y (- z x)) in x 8.453 * [taylor]: Taking taylor expansion of y in x 8.453 * [taylor]: Taking taylor expansion of (- z x) in x 8.453 * [taylor]: Taking taylor expansion of z in x 8.453 * [taylor]: Taking taylor expansion of x in x 8.453 * [taylor]: Taking taylor expansion of t in x 8.453 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z 8.453 * [taylor]: Taking taylor expansion of (* y (- z x)) in z 8.453 * [taylor]: Taking taylor expansion of y in z 8.453 * [taylor]: Taking taylor expansion of (- z x) in z 8.453 * [taylor]: Taking taylor expansion of z in z 8.453 * [taylor]: Taking taylor expansion of x in z 8.453 * [taylor]: Taking taylor expansion of t in z 8.454 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y 8.454 * [taylor]: Taking taylor expansion of (* y (- z x)) in y 8.454 * [taylor]: Taking taylor expansion of y in y 8.454 * [taylor]: Taking taylor expansion of (- z x) in y 8.454 * [taylor]: Taking taylor expansion of z in y 8.454 * [taylor]: Taking taylor expansion of x in y 8.454 * [taylor]: Taking taylor expansion of t in y 8.454 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y 8.455 * [taylor]: Taking taylor expansion of (* y (- z x)) in y 8.455 * [taylor]: Taking taylor expansion of y in y 8.455 * [taylor]: Taking taylor expansion of (- z x) in y 8.455 * [taylor]: Taking taylor expansion of z in y 8.455 * [taylor]: Taking taylor expansion of x in y 8.455 * [taylor]: Taking taylor expansion of t in y 8.455 * [taylor]: Taking taylor expansion of (/ (- z x) t) in z 8.455 * [taylor]: Taking taylor expansion of (- z x) in z 8.456 * [taylor]: Taking taylor expansion of z in z 8.456 * [taylor]: Taking taylor expansion of x in z 8.456 * [taylor]: Taking taylor expansion of t in z 8.456 * [taylor]: Taking taylor expansion of (* -1 (/ x t)) in x 8.456 * [taylor]: Taking taylor expansion of -1 in x 8.456 * [taylor]: Taking taylor expansion of (/ x t) in x 8.456 * [taylor]: Taking taylor expansion of x in x 8.456 * [taylor]: Taking taylor expansion of t in x 8.457 * [taylor]: Taking taylor expansion of 0 in z 8.457 * [taylor]: Taking taylor expansion of 0 in x 8.457 * [taylor]: Taking taylor expansion of 0 in t 8.457 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.457 * [taylor]: Taking taylor expansion of t in x 8.457 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.457 * [taylor]: Taking taylor expansion of t in t 8.458 * [taylor]: Taking taylor expansion of (/ -1 t) in t 8.458 * [taylor]: Taking taylor expansion of -1 in t 8.458 * [taylor]: Taking taylor expansion of t in t 8.459 * [taylor]: Taking taylor expansion of 0 in z 8.459 * [taylor]: Taking taylor expansion of 0 in x 8.459 * [taylor]: Taking taylor expansion of 0 in t 8.459 * [taylor]: Taking taylor expansion of 0 in x 8.459 * [taylor]: Taking taylor expansion of 0 in t 8.460 * [taylor]: Taking taylor expansion of 0 in x 8.460 * [taylor]: Taking taylor expansion of 0 in t 8.460 * [taylor]: Taking taylor expansion of 0 in t 8.460 * [taylor]: Taking taylor expansion of 0 in t 8.461 * [taylor]: Taking taylor expansion of 0 in t 8.463 * [taylor]: Taking taylor expansion of 0 in z 8.463 * [taylor]: Taking taylor expansion of 0 in x 8.463 * [taylor]: Taking taylor expansion of 0 in t 8.463 * [taylor]: Taking taylor expansion of 0 in x 8.463 * [taylor]: Taking taylor expansion of 0 in t 8.463 * [taylor]: Taking taylor expansion of 0 in x 8.463 * [taylor]: Taking taylor expansion of 0 in t 8.467 * [taylor]: Taking taylor expansion of 0 in x 8.467 * [taylor]: Taking taylor expansion of 0 in t 8.467 * [taylor]: Taking taylor expansion of 0 in t 8.467 * [taylor]: Taking taylor expansion of 0 in t 8.467 * [taylor]: Taking taylor expansion of 0 in t 8.467 * [taylor]: Taking taylor expansion of 0 in t 8.467 * [taylor]: Taking taylor expansion of 0 in t 8.467 * [taylor]: Taking taylor expansion of 0 in t 8.468 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in (y z x t) around 0 8.468 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in t 8.468 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t 8.468 * [taylor]: Taking taylor expansion of t in t 8.468 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 8.468 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.468 * [taylor]: Taking taylor expansion of z in t 8.468 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.468 * [taylor]: Taking taylor expansion of x in t 8.468 * [taylor]: Taking taylor expansion of y in t 8.469 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in x 8.469 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x 8.469 * [taylor]: Taking taylor expansion of t in x 8.469 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.469 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.469 * [taylor]: Taking taylor expansion of z in x 8.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.469 * [taylor]: Taking taylor expansion of x in x 8.470 * [taylor]: Taking taylor expansion of y in x 8.470 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z 8.470 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z 8.470 * [taylor]: Taking taylor expansion of t in z 8.470 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.470 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.470 * [taylor]: Taking taylor expansion of z in z 8.471 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.471 * [taylor]: Taking taylor expansion of x in z 8.471 * [taylor]: Taking taylor expansion of y in z 8.471 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y 8.471 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y 8.471 * [taylor]: Taking taylor expansion of t in y 8.471 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.471 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.471 * [taylor]: Taking taylor expansion of z in y 8.471 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.471 * [taylor]: Taking taylor expansion of x in y 8.471 * [taylor]: Taking taylor expansion of y in y 8.471 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y 8.471 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y 8.471 * [taylor]: Taking taylor expansion of t in y 8.471 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.471 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.471 * [taylor]: Taking taylor expansion of z in y 8.472 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.472 * [taylor]: Taking taylor expansion of x in y 8.472 * [taylor]: Taking taylor expansion of y in y 8.472 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z 8.472 * [taylor]: Taking taylor expansion of t in z 8.472 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.472 * [taylor]: Taking taylor expansion of z in z 8.472 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.472 * [taylor]: Taking taylor expansion of x in z 8.472 * [taylor]: Taking taylor expansion of t in x 8.474 * [taylor]: Taking taylor expansion of 0 in z 8.475 * [taylor]: Taking taylor expansion of (- (/ t x)) in x 8.475 * [taylor]: Taking taylor expansion of (/ t x) in x 8.475 * [taylor]: Taking taylor expansion of t in x 8.475 * [taylor]: Taking taylor expansion of x in x 8.475 * [taylor]: Taking taylor expansion of (- t) in t 8.475 * [taylor]: Taking taylor expansion of t in t 8.475 * [taylor]: Taking taylor expansion of t in t 8.477 * [taylor]: Taking taylor expansion of 0 in z 8.477 * [taylor]: Taking taylor expansion of 0 in x 8.478 * [taylor]: Taking taylor expansion of 0 in x 8.479 * [taylor]: Taking taylor expansion of 0 in t 8.479 * [taylor]: Taking taylor expansion of 0 in t 8.481 * [taylor]: Taking taylor expansion of 0 in z 8.482 * [taylor]: Taking taylor expansion of 0 in x 8.482 * [taylor]: Taking taylor expansion of 0 in x 8.483 * [taylor]: Taking taylor expansion of 0 in x 8.483 * [taylor]: Taking taylor expansion of 0 in t 8.483 * [taylor]: Taking taylor expansion of 0 in t 8.484 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in (y z x t) around 0 8.484 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in t 8.484 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t 8.484 * [taylor]: Taking taylor expansion of t in t 8.484 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 8.484 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.484 * [taylor]: Taking taylor expansion of x in t 8.484 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.484 * [taylor]: Taking taylor expansion of z in t 8.484 * [taylor]: Taking taylor expansion of y in t 8.485 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in x 8.485 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x 8.485 * [taylor]: Taking taylor expansion of t in x 8.485 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.485 * [taylor]: Taking taylor expansion of x in x 8.485 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.485 * [taylor]: Taking taylor expansion of z in x 8.485 * [taylor]: Taking taylor expansion of y in x 8.486 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in z 8.486 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z 8.486 * [taylor]: Taking taylor expansion of t in z 8.486 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.486 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.486 * [taylor]: Taking taylor expansion of x in z 8.486 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.486 * [taylor]: Taking taylor expansion of z in z 8.486 * [taylor]: Taking taylor expansion of y in z 8.487 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y 8.487 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y 8.487 * [taylor]: Taking taylor expansion of t in y 8.487 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.487 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.487 * [taylor]: Taking taylor expansion of x in y 8.487 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.487 * [taylor]: Taking taylor expansion of z in y 8.487 * [taylor]: Taking taylor expansion of y in y 8.487 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y 8.487 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y 8.487 * [taylor]: Taking taylor expansion of t in y 8.487 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.487 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.487 * [taylor]: Taking taylor expansion of x in y 8.487 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.487 * [taylor]: Taking taylor expansion of z in y 8.487 * [taylor]: Taking taylor expansion of y in y 8.487 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z 8.487 * [taylor]: Taking taylor expansion of t in z 8.487 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.487 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.487 * [taylor]: Taking taylor expansion of x in z 8.487 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.487 * [taylor]: Taking taylor expansion of z in z 8.488 * [taylor]: Taking taylor expansion of (* -1 t) in x 8.488 * [taylor]: Taking taylor expansion of -1 in x 8.488 * [taylor]: Taking taylor expansion of t in x 8.489 * [taylor]: Taking taylor expansion of 0 in z 8.490 * [taylor]: Taking taylor expansion of (/ t x) in x 8.490 * [taylor]: Taking taylor expansion of t in x 8.490 * [taylor]: Taking taylor expansion of x in x 8.491 * [taylor]: Taking taylor expansion of t in t 8.491 * [taylor]: Taking taylor expansion of (* -1 t) in t 8.491 * [taylor]: Taking taylor expansion of -1 in t 8.491 * [taylor]: Taking taylor expansion of t in t 8.493 * [taylor]: Taking taylor expansion of 0 in z 8.493 * [taylor]: Taking taylor expansion of 0 in x 8.494 * [taylor]: Taking taylor expansion of 0 in x 8.495 * [taylor]: Taking taylor expansion of 0 in t 8.495 * [taylor]: Taking taylor expansion of 0 in t 8.498 * [taylor]: Taking taylor expansion of 0 in z 8.498 * [taylor]: Taking taylor expansion of 0 in x 8.498 * [taylor]: Taking taylor expansion of 0 in x 8.500 * [taylor]: Taking taylor expansion of 0 in x 8.500 * [taylor]: Taking taylor expansion of 0 in t 8.500 * [taylor]: Taking taylor expansion of 0 in t 8.500 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 8.500 * [approximate]: Taking taylor expansion of (* y (- z x)) in (y z x) around 0 8.500 * [taylor]: Taking taylor expansion of (* y (- z x)) in x 8.500 * [taylor]: Taking taylor expansion of y in x 8.500 * [taylor]: Taking taylor expansion of (- z x) in x 8.500 * [taylor]: Taking taylor expansion of z in x 8.500 * [taylor]: Taking taylor expansion of x in x 8.500 * [taylor]: Taking taylor expansion of (* y (- z x)) in z 8.500 * [taylor]: Taking taylor expansion of y in z 8.500 * [taylor]: Taking taylor expansion of (- z x) in z 8.500 * [taylor]: Taking taylor expansion of z in z 8.500 * [taylor]: Taking taylor expansion of x in z 8.500 * [taylor]: Taking taylor expansion of (* y (- z x)) in y 8.500 * [taylor]: Taking taylor expansion of y in y 8.500 * [taylor]: Taking taylor expansion of (- z x) in y 8.500 * [taylor]: Taking taylor expansion of z in y 8.500 * [taylor]: Taking taylor expansion of x in y 8.501 * [taylor]: Taking taylor expansion of (* y (- z x)) in y 8.501 * [taylor]: Taking taylor expansion of y in y 8.501 * [taylor]: Taking taylor expansion of (- z x) in y 8.501 * [taylor]: Taking taylor expansion of z in y 8.501 * [taylor]: Taking taylor expansion of x in y 8.501 * [taylor]: Taking taylor expansion of 0 in z 8.501 * [taylor]: Taking taylor expansion of 0 in x 8.501 * [taylor]: Taking taylor expansion of (- z x) in z 8.501 * [taylor]: Taking taylor expansion of z in z 8.502 * [taylor]: Taking taylor expansion of x in z 8.502 * [taylor]: Taking taylor expansion of (- x) in x 8.502 * [taylor]: Taking taylor expansion of x in x 8.502 * [taylor]: Taking taylor expansion of 0 in x 8.503 * [taylor]: Taking taylor expansion of 0 in z 8.503 * [taylor]: Taking taylor expansion of 0 in x 8.503 * [taylor]: Taking taylor expansion of 1 in x 8.503 * [taylor]: Taking taylor expansion of 0 in x 8.505 * [taylor]: Taking taylor expansion of 0 in z 8.505 * [taylor]: Taking taylor expansion of 0 in x 8.505 * [taylor]: Taking taylor expansion of 0 in x 8.505 * [taylor]: Taking taylor expansion of 0 in x 8.505 * [taylor]: Taking taylor expansion of 0 in x 8.506 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in (y z x) around 0 8.506 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 8.506 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.506 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.506 * [taylor]: Taking taylor expansion of z in x 8.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.506 * [taylor]: Taking taylor expansion of x in x 8.506 * [taylor]: Taking taylor expansion of y in x 8.507 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 8.507 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.507 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.507 * [taylor]: Taking taylor expansion of z in z 8.507 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.507 * [taylor]: Taking taylor expansion of x in z 8.507 * [taylor]: Taking taylor expansion of y in z 8.507 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 8.507 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.507 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.507 * [taylor]: Taking taylor expansion of z in y 8.507 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.507 * [taylor]: Taking taylor expansion of x in y 8.507 * [taylor]: Taking taylor expansion of y in y 8.508 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 8.508 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.508 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.508 * [taylor]: Taking taylor expansion of z in y 8.508 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.508 * [taylor]: Taking taylor expansion of x in y 8.508 * [taylor]: Taking taylor expansion of y in y 8.508 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.508 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.508 * [taylor]: Taking taylor expansion of z in z 8.508 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.508 * [taylor]: Taking taylor expansion of x in z 8.509 * [taylor]: Taking taylor expansion of 1 in x 8.510 * [taylor]: Taking taylor expansion of 0 in z 8.510 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.510 * [taylor]: Taking taylor expansion of x in x 8.512 * [taylor]: Taking taylor expansion of 0 in z 8.512 * [taylor]: Taking taylor expansion of 0 in x 8.513 * [taylor]: Taking taylor expansion of 0 in x 8.516 * [taylor]: Taking taylor expansion of 0 in z 8.516 * [taylor]: Taking taylor expansion of 0 in x 8.516 * [taylor]: Taking taylor expansion of 0 in x 8.517 * [taylor]: Taking taylor expansion of 0 in x 8.518 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in (y z x) around 0 8.518 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in x 8.518 * [taylor]: Taking taylor expansion of -1 in x 8.518 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 8.518 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.518 * [taylor]: Taking taylor expansion of x in x 8.518 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.518 * [taylor]: Taking taylor expansion of z in x 8.518 * [taylor]: Taking taylor expansion of y in x 8.518 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in z 8.519 * [taylor]: Taking taylor expansion of -1 in z 8.519 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 8.519 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.519 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.519 * [taylor]: Taking taylor expansion of x in z 8.519 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.519 * [taylor]: Taking taylor expansion of z in z 8.519 * [taylor]: Taking taylor expansion of y in z 8.519 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 8.519 * [taylor]: Taking taylor expansion of -1 in y 8.519 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 8.519 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.519 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.519 * [taylor]: Taking taylor expansion of x in y 8.520 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.520 * [taylor]: Taking taylor expansion of z in y 8.520 * [taylor]: Taking taylor expansion of y in y 8.520 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 8.520 * [taylor]: Taking taylor expansion of -1 in y 8.520 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 8.520 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.520 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.520 * [taylor]: Taking taylor expansion of x in y 8.520 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.520 * [taylor]: Taking taylor expansion of z in y 8.520 * [taylor]: Taking taylor expansion of y in y 8.520 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 z))) in z 8.520 * [taylor]: Taking taylor expansion of -1 in z 8.520 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.520 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.520 * [taylor]: Taking taylor expansion of x in z 8.520 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.520 * [taylor]: Taking taylor expansion of z in z 8.521 * [taylor]: Taking taylor expansion of 1 in x 8.523 * [taylor]: Taking taylor expansion of 0 in z 8.524 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.524 * [taylor]: Taking taylor expansion of x in x 8.526 * [taylor]: Taking taylor expansion of 0 in z 8.526 * [taylor]: Taking taylor expansion of 0 in x 8.528 * [taylor]: Taking taylor expansion of 0 in x 8.531 * [taylor]: Taking taylor expansion of 0 in z 8.531 * [taylor]: Taking taylor expansion of 0 in x 8.531 * [taylor]: Taking taylor expansion of 0 in x 8.533 * [taylor]: Taking taylor expansion of 0 in x 8.534 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.534 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in (x y z t) around 0 8.534 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in t 8.534 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t 8.534 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t 8.534 * [taylor]: Taking taylor expansion of (* z y) in t 8.534 * [taylor]: Taking taylor expansion of z in t 8.534 * [taylor]: Taking taylor expansion of y in t 8.534 * [taylor]: Taking taylor expansion of t in t 8.534 * [taylor]: Taking taylor expansion of x in t 8.534 * [taylor]: Taking taylor expansion of (/ (* x y) t) in t 8.534 * [taylor]: Taking taylor expansion of (* x y) in t 8.534 * [taylor]: Taking taylor expansion of x in t 8.534 * [taylor]: Taking taylor expansion of y in t 8.534 * [taylor]: Taking taylor expansion of t in t 8.534 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in z 8.534 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z 8.534 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z 8.534 * [taylor]: Taking taylor expansion of (* z y) in z 8.534 * [taylor]: Taking taylor expansion of z in z 8.534 * [taylor]: Taking taylor expansion of y in z 8.534 * [taylor]: Taking taylor expansion of t in z 8.535 * [taylor]: Taking taylor expansion of x in z 8.535 * [taylor]: Taking taylor expansion of (/ (* x y) t) in z 8.535 * [taylor]: Taking taylor expansion of (* x y) in z 8.535 * [taylor]: Taking taylor expansion of x in z 8.535 * [taylor]: Taking taylor expansion of y in z 8.535 * [taylor]: Taking taylor expansion of t in z 8.535 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in y 8.535 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y 8.535 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 8.535 * [taylor]: Taking taylor expansion of (* z y) in y 8.535 * [taylor]: Taking taylor expansion of z in y 8.535 * [taylor]: Taking taylor expansion of y in y 8.535 * [taylor]: Taking taylor expansion of t in y 8.535 * [taylor]: Taking taylor expansion of x in y 8.535 * [taylor]: Taking taylor expansion of (/ (* x y) t) in y 8.535 * [taylor]: Taking taylor expansion of (* x y) in y 8.535 * [taylor]: Taking taylor expansion of x in y 8.535 * [taylor]: Taking taylor expansion of y in y 8.535 * [taylor]: Taking taylor expansion of t in y 8.536 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x 8.536 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 8.536 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 8.536 * [taylor]: Taking taylor expansion of (* z y) in x 8.536 * [taylor]: Taking taylor expansion of z in x 8.536 * [taylor]: Taking taylor expansion of y in x 8.536 * [taylor]: Taking taylor expansion of t in x 8.536 * [taylor]: Taking taylor expansion of x in x 8.536 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x 8.536 * [taylor]: Taking taylor expansion of (* x y) in x 8.536 * [taylor]: Taking taylor expansion of x in x 8.536 * [taylor]: Taking taylor expansion of y in x 8.536 * [taylor]: Taking taylor expansion of t in x 8.536 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x 8.536 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 8.536 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 8.536 * [taylor]: Taking taylor expansion of (* z y) in x 8.536 * [taylor]: Taking taylor expansion of z in x 8.536 * [taylor]: Taking taylor expansion of y in x 8.536 * [taylor]: Taking taylor expansion of t in x 8.536 * [taylor]: Taking taylor expansion of x in x 8.536 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x 8.536 * [taylor]: Taking taylor expansion of (* x y) in x 8.536 * [taylor]: Taking taylor expansion of x in x 8.536 * [taylor]: Taking taylor expansion of y in x 8.536 * [taylor]: Taking taylor expansion of t in x 8.537 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 8.537 * [taylor]: Taking taylor expansion of (* z y) in y 8.537 * [taylor]: Taking taylor expansion of z in y 8.537 * [taylor]: Taking taylor expansion of y in y 8.537 * [taylor]: Taking taylor expansion of t in y 8.538 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in y 8.538 * [taylor]: Taking taylor expansion of 1 in y 8.538 * [taylor]: Taking taylor expansion of (/ y t) in y 8.538 * [taylor]: Taking taylor expansion of y in y 8.538 * [taylor]: Taking taylor expansion of t in y 8.538 * [taylor]: Taking taylor expansion of 1 in z 8.538 * [taylor]: Taking taylor expansion of 1 in t 8.538 * [taylor]: Taking taylor expansion of (/ z t) in z 8.538 * [taylor]: Taking taylor expansion of z in z 8.538 * [taylor]: Taking taylor expansion of t in z 8.540 * [taylor]: Taking taylor expansion of 0 in y 8.540 * [taylor]: Taking taylor expansion of 0 in z 8.540 * [taylor]: Taking taylor expansion of 0 in t 8.540 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 8.540 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.540 * [taylor]: Taking taylor expansion of t in z 8.540 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 8.540 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.540 * [taylor]: Taking taylor expansion of t in t 8.541 * [taylor]: Taking taylor expansion of 0 in z 8.541 * [taylor]: Taking taylor expansion of 0 in t 8.541 * [taylor]: Taking taylor expansion of 0 in t 8.541 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.541 * [taylor]: Taking taylor expansion of t in t 8.542 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in (x y z t) around 0 8.542 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in t 8.542 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 8.542 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 8.542 * [taylor]: Taking taylor expansion of t in t 8.542 * [taylor]: Taking taylor expansion of (* z y) in t 8.542 * [taylor]: Taking taylor expansion of z in t 8.542 * [taylor]: Taking taylor expansion of y in t 8.542 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.542 * [taylor]: Taking taylor expansion of x in t 8.542 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t 8.542 * [taylor]: Taking taylor expansion of t in t 8.542 * [taylor]: Taking taylor expansion of (* x y) in t 8.542 * [taylor]: Taking taylor expansion of x in t 8.542 * [taylor]: Taking taylor expansion of y in t 8.542 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in z 8.543 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 8.543 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 8.543 * [taylor]: Taking taylor expansion of t in z 8.543 * [taylor]: Taking taylor expansion of (* z y) in z 8.543 * [taylor]: Taking taylor expansion of z in z 8.543 * [taylor]: Taking taylor expansion of y in z 8.543 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.543 * [taylor]: Taking taylor expansion of x in z 8.543 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z 8.543 * [taylor]: Taking taylor expansion of t in z 8.543 * [taylor]: Taking taylor expansion of (* x y) in z 8.543 * [taylor]: Taking taylor expansion of x in z 8.543 * [taylor]: Taking taylor expansion of y in z 8.543 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in y 8.543 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 8.543 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.543 * [taylor]: Taking taylor expansion of t in y 8.543 * [taylor]: Taking taylor expansion of (* z y) in y 8.543 * [taylor]: Taking taylor expansion of z in y 8.543 * [taylor]: Taking taylor expansion of y in y 8.543 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.544 * [taylor]: Taking taylor expansion of x in y 8.544 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y 8.544 * [taylor]: Taking taylor expansion of t in y 8.544 * [taylor]: Taking taylor expansion of (* x y) in y 8.544 * [taylor]: Taking taylor expansion of x in y 8.544 * [taylor]: Taking taylor expansion of y in y 8.544 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x 8.544 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.544 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.544 * [taylor]: Taking taylor expansion of t in x 8.544 * [taylor]: Taking taylor expansion of (* z y) in x 8.544 * [taylor]: Taking taylor expansion of z in x 8.544 * [taylor]: Taking taylor expansion of y in x 8.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.544 * [taylor]: Taking taylor expansion of x in x 8.544 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x 8.544 * [taylor]: Taking taylor expansion of t in x 8.544 * [taylor]: Taking taylor expansion of (* x y) in x 8.544 * [taylor]: Taking taylor expansion of x in x 8.544 * [taylor]: Taking taylor expansion of y in x 8.545 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x 8.545 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.545 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.545 * [taylor]: Taking taylor expansion of t in x 8.545 * [taylor]: Taking taylor expansion of (* z y) in x 8.545 * [taylor]: Taking taylor expansion of z in x 8.545 * [taylor]: Taking taylor expansion of y in x 8.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.545 * [taylor]: Taking taylor expansion of x in x 8.545 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x 8.545 * [taylor]: Taking taylor expansion of t in x 8.545 * [taylor]: Taking taylor expansion of (* x y) in x 8.545 * [taylor]: Taking taylor expansion of x in x 8.545 * [taylor]: Taking taylor expansion of y in x 8.546 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in y 8.546 * [taylor]: Taking taylor expansion of 1 in y 8.546 * [taylor]: Taking taylor expansion of (/ t y) in y 8.546 * [taylor]: Taking taylor expansion of t in y 8.546 * [taylor]: Taking taylor expansion of y in y 8.546 * [taylor]: Taking taylor expansion of (- t) in z 8.546 * [taylor]: Taking taylor expansion of t in z 8.548 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.548 * [taylor]: Taking taylor expansion of t in y 8.548 * [taylor]: Taking taylor expansion of (* z y) in y 8.548 * [taylor]: Taking taylor expansion of z in y 8.548 * [taylor]: Taking taylor expansion of y in y 8.548 * [taylor]: Taking taylor expansion of (/ t z) in z 8.548 * [taylor]: Taking taylor expansion of t in z 8.548 * [taylor]: Taking taylor expansion of z in z 8.548 * [taylor]: Taking taylor expansion of t in t 8.549 * [taylor]: Taking taylor expansion of 1 in z 8.549 * [taylor]: Taking taylor expansion of (- t) in t 8.549 * [taylor]: Taking taylor expansion of t in t 8.554 * [taylor]: Taking taylor expansion of 0 in y 8.555 * [taylor]: Taking taylor expansion of 0 in z 8.556 * [taylor]: Taking taylor expansion of 0 in z 8.557 * [taylor]: Taking taylor expansion of 0 in t 8.557 * [taylor]: Taking taylor expansion of 1 in t 8.557 * [taylor]: Taking taylor expansion of 0 in t 8.558 * [approximate]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0 8.558 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in t 8.558 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t 8.558 * [taylor]: Taking taylor expansion of t in t 8.558 * [taylor]: Taking taylor expansion of (* x y) in t 8.558 * [taylor]: Taking taylor expansion of x in t 8.558 * [taylor]: Taking taylor expansion of y in t 8.558 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 8.558 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 8.558 * [taylor]: Taking taylor expansion of t in t 8.558 * [taylor]: Taking taylor expansion of (* z y) in t 8.558 * [taylor]: Taking taylor expansion of z in t 8.558 * [taylor]: Taking taylor expansion of y in t 8.558 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.558 * [taylor]: Taking taylor expansion of x in t 8.558 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in z 8.558 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z 8.558 * [taylor]: Taking taylor expansion of t in z 8.558 * [taylor]: Taking taylor expansion of (* x y) in z 8.558 * [taylor]: Taking taylor expansion of x in z 8.558 * [taylor]: Taking taylor expansion of y in z 8.558 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 8.558 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 8.558 * [taylor]: Taking taylor expansion of t in z 8.558 * [taylor]: Taking taylor expansion of (* z y) in z 8.558 * [taylor]: Taking taylor expansion of z in z 8.558 * [taylor]: Taking taylor expansion of y in z 8.559 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.559 * [taylor]: Taking taylor expansion of x in z 8.559 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in y 8.559 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y 8.559 * [taylor]: Taking taylor expansion of t in y 8.559 * [taylor]: Taking taylor expansion of (* x y) in y 8.559 * [taylor]: Taking taylor expansion of x in y 8.559 * [taylor]: Taking taylor expansion of y in y 8.559 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 8.559 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.559 * [taylor]: Taking taylor expansion of t in y 8.559 * [taylor]: Taking taylor expansion of (* z y) in y 8.559 * [taylor]: Taking taylor expansion of z in y 8.559 * [taylor]: Taking taylor expansion of y in y 8.559 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.560 * [taylor]: Taking taylor expansion of x in y 8.560 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x 8.560 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x 8.560 * [taylor]: Taking taylor expansion of t in x 8.560 * [taylor]: Taking taylor expansion of (* x y) in x 8.560 * [taylor]: Taking taylor expansion of x in x 8.560 * [taylor]: Taking taylor expansion of y in x 8.560 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.560 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.560 * [taylor]: Taking taylor expansion of t in x 8.560 * [taylor]: Taking taylor expansion of (* z y) in x 8.560 * [taylor]: Taking taylor expansion of z in x 8.560 * [taylor]: Taking taylor expansion of y in x 8.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.560 * [taylor]: Taking taylor expansion of x in x 8.560 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x 8.560 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x 8.560 * [taylor]: Taking taylor expansion of t in x 8.560 * [taylor]: Taking taylor expansion of (* x y) in x 8.560 * [taylor]: Taking taylor expansion of x in x 8.560 * [taylor]: Taking taylor expansion of y in x 8.561 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.561 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.561 * [taylor]: Taking taylor expansion of t in x 8.561 * [taylor]: Taking taylor expansion of (* z y) in x 8.561 * [taylor]: Taking taylor expansion of z in x 8.561 * [taylor]: Taking taylor expansion of y in x 8.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.561 * [taylor]: Taking taylor expansion of x in x 8.562 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in y 8.562 * [taylor]: Taking taylor expansion of (/ t y) in y 8.562 * [taylor]: Taking taylor expansion of t in y 8.562 * [taylor]: Taking taylor expansion of y in y 8.562 * [taylor]: Taking taylor expansion of 1 in y 8.562 * [taylor]: Taking taylor expansion of t in z 8.563 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y 8.563 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.563 * [taylor]: Taking taylor expansion of t in y 8.563 * [taylor]: Taking taylor expansion of (* z y) in y 8.563 * [taylor]: Taking taylor expansion of z in y 8.563 * [taylor]: Taking taylor expansion of y in y 8.563 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 8.563 * [taylor]: Taking taylor expansion of (/ t z) in z 8.564 * [taylor]: Taking taylor expansion of t in z 8.564 * [taylor]: Taking taylor expansion of z in z 8.564 * [taylor]: Taking taylor expansion of (- t) in t 8.564 * [taylor]: Taking taylor expansion of t in t 8.565 * [taylor]: Taking taylor expansion of -1 in z 8.565 * [taylor]: Taking taylor expansion of t in t 8.567 * [taylor]: Taking taylor expansion of 0 in y 8.568 * [taylor]: Taking taylor expansion of 0 in z 8.569 * [taylor]: Taking taylor expansion of 0 in z 8.570 * [taylor]: Taking taylor expansion of 0 in t 8.570 * [taylor]: Taking taylor expansion of -1 in t 8.570 * [taylor]: Taking taylor expansion of 0 in t 8.570 * * * [progress]: simplifying candidates 8.572 * [simplify]: Simplifying using # : (expm1 (/ (* y (- z x)) t)) (log1p (/ (* y (- z x)) t)) (- (+ (log y) (log (- z x))) (log t)) (- (log (* y (- z x))) (log t)) (log (/ (* y (- z x)) t)) (exp (/ (* y (- z x)) t)) (/ (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x))) (* (* t t) t)) (/ (* (* (* y (- z x)) (* y (- z x))) (* y (- z x))) (* (* t t) t)) (* (cbrt (/ (* y (- z x)) t)) (cbrt (/ (* y (- z x)) t))) (cbrt (/ (* y (- z x)) t)) (* (* (/ (* y (- z x)) t) (/ (* y (- z x)) t)) (/ (* y (- z x)) t)) (sqrt (/ (* y (- z x)) t)) (sqrt (/ (* y (- z x)) t)) (- (* y (- z x))) (- t) (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)) (/ y (sqrt t)) (/ (- z x) (sqrt t)) (/ y 1) (/ (- z x) t) (/ 1 t) (/ t (* y (- z x))) (/ (* y (- z x)) (* (cbrt t) (cbrt t))) (/ (* y (- z x)) (sqrt t)) (/ (* y (- z x)) 1) (/ t (- z x)) (* t (+ (* z z) (+ (* x x) (* z x)))) (* t (+ z x)) (expm1 (* y (- z x))) (log1p (* y (- z x))) (* y (- z x)) (+ (log y) (log (- z x))) (log (* y (- z x))) (exp (* y (- z x))) (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x))) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* y (- z x))) (* (* (* y (- z x)) (* y (- z x))) (* y (- z x))) (sqrt (* y (- z x))) (sqrt (* y (- z x))) (* (sqrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* y (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt x) (sqrt x))))) (* y (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* x 1)))) (* y (fma (- x) 1 (* x 1))) (* y (fma (sqrt z) (sqrt z) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* y (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* y (fma (sqrt z) (sqrt z) (- (* (sqrt x) (sqrt x))))) (* y (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* y (fma (sqrt z) (sqrt z) (- (* x 1)))) (* y (fma (- x) 1 (* x 1))) (* y (fma 1 z (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* y (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* y (fma 1 z (- (* (sqrt x) (sqrt x))))) (* y (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* y (fma 1 z (- (* x 1)))) (* y (fma (- x) 1 (* x 1))) (* y z) (* y (- x)) (* y z) (* y (- x)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) y) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt x) (sqrt x)))) y) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* x 1))) y) (* (fma (- x) 1 (* x 1)) y) (* (fma (sqrt z) (sqrt z) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) y) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) y) (* (fma (sqrt z) (sqrt z) (- (* (sqrt x) (sqrt x)))) y) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) y) (* (fma (sqrt z) (sqrt z) (- (* x 1))) y) (* (fma (- x) 1 (* x 1)) y) (* (fma 1 z (- (* (cbrt x) (* (cbrt x) (cbrt x))))) y) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) y) (* (fma 1 z (- (* (sqrt x) (sqrt x)))) y) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) y) (* (fma 1 z (- (* x 1))) y) (* (fma (- x) 1 (* x 1)) y) (* z y) (* (- x) y) (* z y) (* (- x) y) (* y (* (cbrt (- z x)) (cbrt (- z x)))) (* y (sqrt (- z x))) (* y 1) (* y (+ (sqrt z) (sqrt x))) (* y 1) (* (cbrt y) (- z x)) (* (sqrt y) (- z x)) (* y (- z x)) (* y (- (pow z 3) (pow x 3))) (* y (- (* z z) (* x x))) (expm1 (+ x (/ (* y (- z x)) t))) (log1p (+ x (/ (* y (- z x)) t))) (* (exp x) (exp (/ (* y (- z x)) t))) (log (+ x (/ (* y (- z x)) t))) (exp (+ x (/ (* y (- z x)) t))) (* (cbrt (+ x (/ (* y (- z x)) t))) (cbrt (+ x (/ (* y (- z x)) t)))) (cbrt (+ x (/ (* y (- z x)) t))) (* (* (+ x (/ (* y (- z x)) t)) (+ x (/ (* y (- z x)) t))) (+ x (/ (* y (- z x)) t))) (sqrt (+ x (/ (* y (- z x)) t))) (sqrt (+ x (/ (* y (- z x)) t))) (+ (pow x 3) (pow (/ (* y (- z x)) t) 3)) (+ (* x x) (- (* (/ (* y (- z x)) t) (/ (* y (- z x)) t)) (* x (/ (* y (- z x)) t)))) (- (* x x) (* (/ (* y (- z x)) t) (/ (* y (- z x)) t))) (- x (/ (* y (- z x)) t)) (+ x (/ (* y (- z x)) t)) (- (/ (* z y) t) (/ (* x y) t)) (- (/ (* z y) t) (/ (* x y) t)) (- (/ (* z y) t) (/ (* x y) t)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) 8.576 * * [simplify]: iteration 0 : 167 enodes (cost 1262 ) 8.622 * * [simplify]: iteration 1 : 374 enodes (cost 1055 ) 8.729 * * [simplify]: iteration 2 : 1038 enodes (cost 875 ) 9.259 * * [simplify]: iteration done : 5000 enodes (cost 817 ) 9.260 * [simplify]: Simplified to: (expm1 (/ (* y (- z x)) t)) (log1p (/ (* y (- z x)) t)) (log (/ (* y (- z x)) t)) (log (/ (* y (- z x)) t)) (log (/ (* y (- z x)) t)) (exp (/ (* y (- z x)) t)) (pow (/ (* y (- z x)) t) 3) (pow (/ (* y (- z x)) t) 3) (* (cbrt (/ (* y (- z x)) t)) (cbrt (/ (* y (- z x)) t))) (cbrt (/ (* y (- z x)) t)) (pow (/ (* y (- z x)) t) 3) (sqrt (/ (* y (- z x)) t)) (sqrt (/ (* y (- z x)) t)) (- (* y (- z x))) (- t) (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)) (/ y (sqrt t)) (/ (- z x) (sqrt t)) y (/ (- z x) t) (/ 1 t) (/ t (* y (- z x))) (/ (* y (- z x)) (* (cbrt t) (cbrt t))) (/ (* y (- z x)) (sqrt t)) (* y (- z x)) (/ t (- z x)) (* t (fma z z (* x (+ z x)))) (* t (+ z x)) (expm1 (* y (- z x))) (log1p (* y (- z x))) (* y (- z x)) (log (* y (- z x))) (log (* y (- z x))) (exp (* y (- z x))) (pow (* y (- z x)) 3) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* y (- z x))) (pow (* y (- z x)) 3) (sqrt (* y (- z x))) (sqrt (* y (- z x))) (* (sqrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* (- (pow (cbrt z) 3) x) y) (* y (- x x)) (* (- (pow (cbrt z) 3) x) y) (* y (- x x)) (* (- (pow (cbrt z) 3) x) y) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y z) (* y (- x)) (* y z) (* y (- x)) (* (- (pow (cbrt z) 3) x) y) (* y (- x x)) (* (- (pow (cbrt z) 3) x) y) (* y (- x x)) (* (- (pow (cbrt z) 3) x) y) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y (- z x)) (* y (- x x)) (* y z) (* y (- x)) (* y z) (* y (- x)) (* y (* (cbrt (- z x)) (cbrt (- z x)))) (* y (sqrt (- z x))) y (* y (+ (sqrt z) (sqrt x))) y (* (cbrt y) (- z x)) (* (sqrt y) (- z x)) (* y (- z x)) (* y (- (pow z 3) (pow x 3))) (* y (- (* z z) (* x x))) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (+ (pow x 3) (pow (/ (* y (- z x)) t) 3)) (fma x x (* (/ (* y (- z x)) t) (- (/ (* y (- z x)) t) x))) (* (- x (/ (* y (- z x)) t)) (fma (/ y t) (- z x) x)) (- x (/ (* y (- z x)) t)) (fma (/ y t) (- z x) x) (/ (* y (- z x)) t) (/ (* y (- z x)) t) (/ (* y (- z x)) t) (* y (- z x)) (* y (- z x)) (* y (- z x)) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) 9.260 * * * [progress]: adding candidates to table 9.409 * * [progress]: iteration 3 / 4 9.409 * * * [progress]: picking best candidate 9.415 * * * * [pick]: Picked # 9.415 * * * [progress]: localizing error 9.426 * * * [progress]: generating rewritten candidates 9.426 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 9.461 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 9.462 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 9.462 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 9.467 * * * [progress]: generating series expansions 9.467 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 9.467 * [approximate]: Taking taylor expansion of (/ (* y (- z x)) t) in (y t z x) around 0 9.467 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in x 9.467 * [taylor]: Taking taylor expansion of (* y (- z x)) in x 9.467 * [taylor]: Taking taylor expansion of y in x 9.467 * [taylor]: Taking taylor expansion of (- z x) in x 9.467 * [taylor]: Taking taylor expansion of z in x 9.467 * [taylor]: Taking taylor expansion of x in x 9.467 * [taylor]: Taking taylor expansion of t in x 9.468 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z 9.468 * [taylor]: Taking taylor expansion of (* y (- z x)) in z 9.468 * [taylor]: Taking taylor expansion of y in z 9.468 * [taylor]: Taking taylor expansion of (- z x) in z 9.468 * [taylor]: Taking taylor expansion of z in z 9.468 * [taylor]: Taking taylor expansion of x in z 9.468 * [taylor]: Taking taylor expansion of t in z 9.468 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in t 9.468 * [taylor]: Taking taylor expansion of (* y (- z x)) in t 9.468 * [taylor]: Taking taylor expansion of y in t 9.468 * [taylor]: Taking taylor expansion of (- z x) in t 9.468 * [taylor]: Taking taylor expansion of z in t 9.468 * [taylor]: Taking taylor expansion of x in t 9.468 * [taylor]: Taking taylor expansion of t in t 9.468 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y 9.468 * [taylor]: Taking taylor expansion of (* y (- z x)) in y 9.468 * [taylor]: Taking taylor expansion of y in y 9.468 * [taylor]: Taking taylor expansion of (- z x) in y 9.468 * [taylor]: Taking taylor expansion of z in y 9.468 * [taylor]: Taking taylor expansion of x in y 9.468 * [taylor]: Taking taylor expansion of t in y 9.469 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y 9.469 * [taylor]: Taking taylor expansion of (* y (- z x)) in y 9.469 * [taylor]: Taking taylor expansion of y in y 9.469 * [taylor]: Taking taylor expansion of (- z x) in y 9.469 * [taylor]: Taking taylor expansion of z in y 9.469 * [taylor]: Taking taylor expansion of x in y 9.470 * [taylor]: Taking taylor expansion of t in y 9.470 * [taylor]: Taking taylor expansion of (/ (- z x) t) in t 9.470 * [taylor]: Taking taylor expansion of (- z x) in t 9.470 * [taylor]: Taking taylor expansion of z in t 9.470 * [taylor]: Taking taylor expansion of x in t 9.471 * [taylor]: Taking taylor expansion of t in t 9.471 * [taylor]: Taking taylor expansion of (- z x) in z 9.471 * [taylor]: Taking taylor expansion of z in z 9.471 * [taylor]: Taking taylor expansion of x in z 9.471 * [taylor]: Taking taylor expansion of (- x) in x 9.471 * [taylor]: Taking taylor expansion of x in x 9.472 * [taylor]: Taking taylor expansion of 0 in t 9.473 * [taylor]: Taking taylor expansion of 0 in z 9.473 * [taylor]: Taking taylor expansion of 0 in x 9.474 * [taylor]: Taking taylor expansion of 1 in x 9.475 * [taylor]: Taking taylor expansion of 0 in t 9.475 * [taylor]: Taking taylor expansion of 0 in z 9.475 * [taylor]: Taking taylor expansion of 0 in x 9.477 * [taylor]: Taking taylor expansion of 0 in z 9.477 * [taylor]: Taking taylor expansion of 0 in x 9.477 * [taylor]: Taking taylor expansion of 0 in x 9.477 * [taylor]: Taking taylor expansion of 0 in x 9.478 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in (y t z x) around 0 9.478 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in x 9.478 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x 9.478 * [taylor]: Taking taylor expansion of t in x 9.478 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.478 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.478 * [taylor]: Taking taylor expansion of z in x 9.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.478 * [taylor]: Taking taylor expansion of x in x 9.478 * [taylor]: Taking taylor expansion of y in x 9.479 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z 9.479 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z 9.479 * [taylor]: Taking taylor expansion of t in z 9.479 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.479 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.479 * [taylor]: Taking taylor expansion of z in z 9.479 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.479 * [taylor]: Taking taylor expansion of x in z 9.479 * [taylor]: Taking taylor expansion of y in z 9.479 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in t 9.480 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t 9.480 * [taylor]: Taking taylor expansion of t in t 9.480 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 9.480 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.480 * [taylor]: Taking taylor expansion of z in t 9.480 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.480 * [taylor]: Taking taylor expansion of x in t 9.480 * [taylor]: Taking taylor expansion of y in t 9.481 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y 9.481 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y 9.481 * [taylor]: Taking taylor expansion of t in y 9.481 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.481 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.481 * [taylor]: Taking taylor expansion of z in y 9.481 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.481 * [taylor]: Taking taylor expansion of x in y 9.481 * [taylor]: Taking taylor expansion of y in y 9.481 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y 9.481 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y 9.481 * [taylor]: Taking taylor expansion of t in y 9.481 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.481 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.481 * [taylor]: Taking taylor expansion of z in y 9.481 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.481 * [taylor]: Taking taylor expansion of x in y 9.481 * [taylor]: Taking taylor expansion of y in y 9.481 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t 9.482 * [taylor]: Taking taylor expansion of t in t 9.482 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 9.482 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.482 * [taylor]: Taking taylor expansion of z in t 9.482 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.482 * [taylor]: Taking taylor expansion of x in t 9.483 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.483 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.483 * [taylor]: Taking taylor expansion of z in z 9.483 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.483 * [taylor]: Taking taylor expansion of x in z 9.483 * [taylor]: Taking taylor expansion of 1 in x 9.484 * [taylor]: Taking taylor expansion of 0 in t 9.484 * [taylor]: Taking taylor expansion of 0 in z 9.486 * [taylor]: Taking taylor expansion of 0 in z 9.486 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.486 * [taylor]: Taking taylor expansion of x in x 9.489 * [taylor]: Taking taylor expansion of 0 in t 9.489 * [taylor]: Taking taylor expansion of 0 in z 9.489 * [taylor]: Taking taylor expansion of 0 in z 9.490 * [taylor]: Taking taylor expansion of 0 in z 9.490 * [taylor]: Taking taylor expansion of 0 in x 9.490 * [taylor]: Taking taylor expansion of 0 in x 9.491 * [taylor]: Taking taylor expansion of 0 in x 9.494 * [taylor]: Taking taylor expansion of 0 in t 9.494 * [taylor]: Taking taylor expansion of 0 in z 9.494 * [taylor]: Taking taylor expansion of 0 in z 9.494 * [taylor]: Taking taylor expansion of 0 in z 9.496 * [taylor]: Taking taylor expansion of 0 in z 9.496 * [taylor]: Taking taylor expansion of 0 in x 9.496 * [taylor]: Taking taylor expansion of 0 in x 9.496 * [taylor]: Taking taylor expansion of 0 in x 9.496 * [taylor]: Taking taylor expansion of 0 in x 9.496 * [taylor]: Taking taylor expansion of 0 in x 9.497 * [taylor]: Taking taylor expansion of 0 in x 9.499 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 z)) t) (* (pow (cbrt -1) 3) y))) in (y t z x) around 0 9.499 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 z)) t) (* (pow (cbrt -1) 3) y))) in x 9.499 * [taylor]: Taking taylor expansion of -1 in x 9.499 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 z)) t) (* (pow (cbrt -1) 3) y)) in x 9.499 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) t) in x 9.499 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.499 * [taylor]: Taking taylor expansion of x in x 9.499 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.499 * [taylor]: Taking taylor expansion of z in x 9.499 * [taylor]: Taking taylor expansion of t in x 9.499 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in x 9.499 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 9.499 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.499 * [taylor]: Taking taylor expansion of -1 in x 9.500 * [taylor]: Taking taylor expansion of y in x 9.503 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 z)) t) (* (pow (cbrt -1) 3) y))) in z 9.504 * [taylor]: Taking taylor expansion of -1 in z 9.504 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 z)) t) (* (pow (cbrt -1) 3) y)) in z 9.504 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) t) in z 9.504 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.504 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.504 * [taylor]: Taking taylor expansion of x in z 9.504 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.504 * [taylor]: Taking taylor expansion of z in z 9.504 * [taylor]: Taking taylor expansion of t in z 9.504 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in z 9.504 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 9.504 * [taylor]: Taking taylor expansion of (cbrt -1) in z 9.504 * [taylor]: Taking taylor expansion of -1 in z 9.505 * [taylor]: Taking taylor expansion of y in z 9.508 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 z)) t) (* (pow (cbrt -1) 3) y))) in t 9.508 * [taylor]: Taking taylor expansion of -1 in t 9.508 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 z)) t) (* (pow (cbrt -1) 3) y)) in t 9.508 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) t) in t 9.508 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 9.508 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.509 * [taylor]: Taking taylor expansion of x in t 9.509 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.509 * [taylor]: Taking taylor expansion of z in t 9.509 * [taylor]: Taking taylor expansion of t in t 9.509 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in t 9.509 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t 9.509 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.509 * [taylor]: Taking taylor expansion of -1 in t 9.509 * [taylor]: Taking taylor expansion of y in t 9.513 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 z)) t) (* (pow (cbrt -1) 3) y))) in y 9.513 * [taylor]: Taking taylor expansion of -1 in y 9.513 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 z)) t) (* (pow (cbrt -1) 3) y)) in y 9.513 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) t) in y 9.513 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.513 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.513 * [taylor]: Taking taylor expansion of x in y 9.513 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.513 * [taylor]: Taking taylor expansion of z in y 9.513 * [taylor]: Taking taylor expansion of t in y 9.513 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in y 9.513 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 9.513 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.513 * [taylor]: Taking taylor expansion of -1 in y 9.514 * [taylor]: Taking taylor expansion of y in y 9.520 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 z)) t) (* (pow (cbrt -1) 3) y))) in y 9.520 * [taylor]: Taking taylor expansion of -1 in y 9.520 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 z)) t) (* (pow (cbrt -1) 3) y)) in y 9.520 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) t) in y 9.520 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.520 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.520 * [taylor]: Taking taylor expansion of x in y 9.520 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.520 * [taylor]: Taking taylor expansion of z in y 9.520 * [taylor]: Taking taylor expansion of t in y 9.520 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) y) in y 9.520 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 9.520 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.520 * [taylor]: Taking taylor expansion of -1 in y 9.521 * [taylor]: Taking taylor expansion of y in y 9.531 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t 9.531 * [taylor]: Taking taylor expansion of t in t 9.531 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 9.531 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.531 * [taylor]: Taking taylor expansion of x in t 9.531 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.531 * [taylor]: Taking taylor expansion of z in t 9.532 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.532 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.532 * [taylor]: Taking taylor expansion of x in z 9.532 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.532 * [taylor]: Taking taylor expansion of z in z 9.533 * [taylor]: Taking taylor expansion of -1 in x 9.537 * [taylor]: Taking taylor expansion of 0 in t 9.537 * [taylor]: Taking taylor expansion of 0 in z 9.538 * [taylor]: Taking taylor expansion of 0 in z 9.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.539 * [taylor]: Taking taylor expansion of x in x 9.545 * [taylor]: Taking taylor expansion of 0 in t 9.545 * [taylor]: Taking taylor expansion of 0 in z 9.545 * [taylor]: Taking taylor expansion of 0 in z 9.546 * [taylor]: Taking taylor expansion of 0 in z 9.546 * [taylor]: Taking taylor expansion of 0 in x 9.546 * [taylor]: Taking taylor expansion of 0 in x 9.547 * [taylor]: Taking taylor expansion of 0 in x 9.555 * [taylor]: Taking taylor expansion of 0 in t 9.555 * [taylor]: Taking taylor expansion of 0 in z 9.555 * [taylor]: Taking taylor expansion of 0 in z 9.555 * [taylor]: Taking taylor expansion of 0 in z 9.557 * [taylor]: Taking taylor expansion of 0 in z 9.557 * [taylor]: Taking taylor expansion of 0 in x 9.557 * [taylor]: Taking taylor expansion of 0 in x 9.557 * [taylor]: Taking taylor expansion of 0 in x 9.557 * [taylor]: Taking taylor expansion of 0 in x 9.557 * [taylor]: Taking taylor expansion of 0 in x 9.558 * [taylor]: Taking taylor expansion of 0 in x 9.559 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 9.559 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 9.559 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.559 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.559 * [taylor]: Taking taylor expansion of 1/3 in t 9.559 * [taylor]: Taking taylor expansion of (log t) in t 9.559 * [taylor]: Taking taylor expansion of t in t 9.560 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.560 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.560 * [taylor]: Taking taylor expansion of 1/3 in t 9.560 * [taylor]: Taking taylor expansion of (log t) in t 9.560 * [taylor]: Taking taylor expansion of t in t 9.613 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 9.613 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.613 * [taylor]: Taking taylor expansion of 1/3 in t 9.613 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.613 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.613 * [taylor]: Taking taylor expansion of t in t 9.614 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.614 * [taylor]: Taking taylor expansion of 1/3 in t 9.614 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.614 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.614 * [taylor]: Taking taylor expansion of t in t 9.666 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 9.666 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 9.666 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.666 * [taylor]: Taking taylor expansion of -1 in t 9.666 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.667 * [taylor]: Taking taylor expansion of 1/3 in t 9.667 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.667 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.667 * [taylor]: Taking taylor expansion of t in t 9.667 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 9.667 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.667 * [taylor]: Taking taylor expansion of -1 in t 9.668 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.668 * [taylor]: Taking taylor expansion of 1/3 in t 9.668 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.668 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.668 * [taylor]: Taking taylor expansion of t in t 9.738 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 9.738 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 9.738 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.738 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.738 * [taylor]: Taking taylor expansion of 1/3 in t 9.738 * [taylor]: Taking taylor expansion of (log t) in t 9.738 * [taylor]: Taking taylor expansion of t in t 9.739 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.739 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.739 * [taylor]: Taking taylor expansion of 1/3 in t 9.739 * [taylor]: Taking taylor expansion of (log t) in t 9.739 * [taylor]: Taking taylor expansion of t in t 9.794 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 9.794 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.794 * [taylor]: Taking taylor expansion of 1/3 in t 9.794 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.794 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.794 * [taylor]: Taking taylor expansion of t in t 9.795 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.795 * [taylor]: Taking taylor expansion of 1/3 in t 9.795 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.795 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.795 * [taylor]: Taking taylor expansion of t in t 9.855 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 9.855 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 9.855 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.855 * [taylor]: Taking taylor expansion of -1 in t 9.856 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.856 * [taylor]: Taking taylor expansion of 1/3 in t 9.856 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.856 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.856 * [taylor]: Taking taylor expansion of t in t 9.857 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 9.857 * [taylor]: Taking taylor expansion of (cbrt -1) in t 9.857 * [taylor]: Taking taylor expansion of -1 in t 9.858 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.858 * [taylor]: Taking taylor expansion of 1/3 in t 9.858 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.858 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.858 * [taylor]: Taking taylor expansion of t in t 9.927 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 9.927 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 9.928 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.928 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.928 * [taylor]: Taking taylor expansion of 1/3 in t 9.928 * [taylor]: Taking taylor expansion of (log t) in t 9.928 * [taylor]: Taking taylor expansion of t in t 9.928 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 9.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 9.928 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 9.928 * [taylor]: Taking taylor expansion of 1/3 in t 9.928 * [taylor]: Taking taylor expansion of (log t) in t 9.928 * [taylor]: Taking taylor expansion of t in t 9.977 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 9.977 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.977 * [taylor]: Taking taylor expansion of 1/3 in t 9.977 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.977 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.977 * [taylor]: Taking taylor expansion of t in t 9.978 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 9.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 9.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 9.978 * [taylor]: Taking taylor expansion of 1/3 in t 9.978 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 9.978 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.978 * [taylor]: Taking taylor expansion of t in t 10.037 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 10.037 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 10.037 * [taylor]: Taking taylor expansion of (cbrt -1) in t 10.037 * [taylor]: Taking taylor expansion of -1 in t 10.038 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.038 * [taylor]: Taking taylor expansion of 1/3 in t 10.038 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.038 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.038 * [taylor]: Taking taylor expansion of t in t 10.039 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 10.039 * [taylor]: Taking taylor expansion of (cbrt -1) in t 10.039 * [taylor]: Taking taylor expansion of -1 in t 10.039 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.039 * [taylor]: Taking taylor expansion of 1/3 in t 10.039 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.039 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.039 * [taylor]: Taking taylor expansion of t in t 10.108 * * * [progress]: simplifying candidates 10.110 * [simplify]: Simplifying using # : (expm1 (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))) (log1p (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t))) (+ (- (log y) (+ (log (cbrt t)) (log (cbrt t)))) (- (log (- z x)) (log (cbrt t)))) (+ (- (log y) (+ (log (cbrt t)) (log (cbrt t)))) (log (/ (- z x) (cbrt t)))) (+ (- (log y) (log (* (cbrt t) (cbrt t)))) (- (log (- z x)) (log (cbrt t)))) (+ (- (log y) (log (* (cbrt t) (cbrt t)))) (log (/ (- z x) (cbrt t)))) (+ (log (/ y (* (cbrt t) (cbrt t)))) (- (log (- z x)) (log (cbrt t)))) (+ (log (/ y (* (cbrt t) (cbrt t)))) (log (/ (- z x) (cbrt t)))) (log (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))) (exp (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))) (* (/ (* (* y y) y) (* t t)) (/ (* (* (- z x) (- z x)) (- z x)) t)) (* (/ (* (* y y) y) (* t t)) (* (* (/ (- z x) (cbrt t)) (/ (- z x) (cbrt t))) (/ (- z x) (cbrt t)))) (* (/ (* (* y y) y) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) (/ (* (* (- z x) (- z x)) (- z x)) t)) (* (/ (* (* y y) y) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) (* (* (/ (- z x) (cbrt t)) (/ (- z x) (cbrt t))) (/ (- z x) (cbrt t)))) (* (* (* (/ y (* (cbrt t) (cbrt t))) (/ y (* (cbrt t) (cbrt t)))) (/ y (* (cbrt t) (cbrt t)))) (/ (* (* (- z x) (- z x)) (- z x)) t)) (* (* (* (/ y (* (cbrt t) (cbrt t))) (/ y (* (cbrt t) (cbrt t)))) (/ y (* (cbrt t) (cbrt t)))) (* (* (/ (- z x) (cbrt t)) (/ (- z x) (cbrt t))) (/ (- z x) (cbrt t)))) (* (cbrt (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))) (cbrt (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t))))) (cbrt (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))) (* (* (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t))) (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))) (sqrt (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))) (sqrt (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t)))) (* y (- z x)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (sqrt (/ y (* (cbrt t) (cbrt t)))) (sqrt (/ (- z x) (cbrt t)))) (* (sqrt (/ y (* (cbrt t) (cbrt t)))) (sqrt (/ (- z x) (cbrt t)))) (* (sqrt (/ y (* (cbrt t) (cbrt t)))) (/ (sqrt (- z x)) (cbrt (sqrt t)))) (* (sqrt (/ y (* (cbrt t) (cbrt t)))) (/ (sqrt (- z x)) (cbrt (sqrt t)))) (* (sqrt (/ y (* (cbrt t) (cbrt t)))) (/ (sqrt (- z x)) (sqrt (cbrt t)))) (* (sqrt (/ y (* (cbrt t) (cbrt t)))) (/ (sqrt (- z x)) (sqrt (cbrt t)))) (* (/ (sqrt y) (cbrt t)) (sqrt (/ (- z x) (cbrt t)))) (* (/ (sqrt y) (cbrt t)) (sqrt (/ (- z x) (cbrt t)))) (* (/ (sqrt y) (cbrt t)) (/ (sqrt (- z x)) (cbrt (sqrt t)))) (* (/ (sqrt y) (cbrt t)) (/ (sqrt (- z x)) (cbrt (sqrt t)))) (* (/ (sqrt y) (cbrt t)) (/ (sqrt (- z x)) (sqrt (cbrt t)))) (* (/ (sqrt y) (cbrt t)) (/ (sqrt (- z x)) (sqrt (cbrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (* (cbrt (/ (- z x) (cbrt t))) (cbrt (/ (- z x) (cbrt t))))) (* (/ y (* (cbrt t) (cbrt t))) (sqrt (/ (- z x) (cbrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt (- z x)) (cbrt (- z x))) (cbrt (* (cbrt t) (cbrt t))))) (* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt (- z x)) (cbrt (- z x))) (cbrt (sqrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt (- z x)) (cbrt (- z x))) (cbrt 1))) (* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt (cbrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ (* (cbrt (- z x)) (cbrt (- z x))) 1)) (* (/ y (* (cbrt t) (cbrt t))) (/ (sqrt (- z x)) (cbrt (* (cbrt t) (cbrt t))))) (* (/ y (* (cbrt t) (cbrt t))) (/ (sqrt (- z x)) (cbrt (sqrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ (sqrt (- z x)) (cbrt 1))) (* (/ y (* (cbrt t) (cbrt t))) (/ (sqrt (- z x)) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* (/ y (* (cbrt t) (cbrt t))) (/ (sqrt (- z x)) (sqrt (cbrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ (sqrt (- z x)) 1)) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 (cbrt (* (cbrt t) (cbrt t))))) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 (cbrt (sqrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 (cbrt 1))) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 (sqrt (cbrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 1)) (* (/ y (* (cbrt t) (cbrt t))) (/ (+ (sqrt z) (sqrt x)) (cbrt (* (cbrt t) (cbrt t))))) (* (/ y (* (cbrt t) (cbrt t))) (/ (+ (sqrt z) (sqrt x)) (cbrt (sqrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ (+ (sqrt z) (sqrt x)) (cbrt 1))) (* (/ y (* (cbrt t) (cbrt t))) (/ (+ (sqrt z) (sqrt x)) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* (/ y (* (cbrt t) (cbrt t))) (/ (+ (sqrt z) (sqrt x)) (sqrt (cbrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ (+ (sqrt z) (sqrt x)) 1)) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 (cbrt (* (cbrt t) (cbrt t))))) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 (cbrt (sqrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 (cbrt 1))) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 (sqrt (cbrt t)))) (* (/ y (* (cbrt t) (cbrt t))) (/ 1 1)) (* (/ y (* (cbrt t) (cbrt t))) 1) (* (/ y (* (cbrt t) (cbrt t))) (- z x)) (* (cbrt (/ y (* (cbrt t) (cbrt t)))) (/ (- z x) (cbrt t))) (* (sqrt (/ y (* (cbrt t) (cbrt t)))) (/ (- z x) (cbrt t))) (* (/ (cbrt y) (cbrt t)) (/ (- z x) (cbrt t))) (* (/ (sqrt y) (cbrt t)) (/ (- z x) (cbrt t))) (* (/ y (cbrt t)) (/ (- z x) (cbrt t))) (* (/ y (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t))) (* (/ 1 (* (cbrt t) (cbrt t))) (/ (- z x) (cbrt t))) (* (/ y (* (cbrt t) (cbrt t))) (- z x)) (* y (/ (- z x) (cbrt t))) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (- (/ (* z y) t) (/ (* x y) t)) (- (/ (* z y) t) (/ (* x y) t)) (- (/ (* z y) t) (/ (* x y) t)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) 10.114 * * [simplify]: iteration 0 : 165 enodes (cost 1625 ) 10.159 * * [simplify]: iteration 1 : 486 enodes (cost 1547 ) 10.430 * * [simplify]: iteration 2 : 2106 enodes (cost 1193 ) 10.907 * * [simplify]: iteration done : 5000 enodes (cost 1187 ) 10.908 * [simplify]: Simplified to: (expm1 (/ (* y (- z x)) (pow (cbrt t) 3))) (log1p (/ (* y (- z x)) (pow (cbrt t) 3))) (/ (* y (- z x)) (pow (cbrt t) 3)) (log (/ (* y (- z x)) (pow (cbrt t) 3))) (log (/ (* y (- z x)) (pow (cbrt t) 3))) (log (/ (* y (- z x)) (pow (cbrt t) 3))) (log (/ (* y (- z x)) (pow (cbrt t) 3))) (log (/ (* y (- z x)) (pow (cbrt t) 3))) (log (/ (* y (- z x)) (pow (cbrt t) 3))) (log (/ (* y (- z x)) (pow (cbrt t) 3))) (exp (/ (* y (- z x)) (pow (cbrt t) 3))) (* (/ (pow (- z x) 3) t) (/ (pow y 3) (* t t))) (* (/ (pow y 3) (* t t)) (pow (/ (- z x) (cbrt t)) 3)) (/ (pow (/ y (pow t 2/3)) 3) (/ t (pow (- z x) 3))) (pow (/ (* y (- z x)) (pow (cbrt t) 3)) 3) (/ (pow (/ y (pow t 2/3)) 3) (/ t (pow (- z x) 3))) (pow (/ (* y (- z x)) (pow (cbrt t) 3)) 3) (* (cbrt (/ (* y (- z x)) (pow (cbrt t) 3))) (cbrt (/ (* y (- z x)) (pow (cbrt t) 3)))) (cbrt (/ (* y (- z x)) (pow (cbrt t) 3))) (pow (/ (* y (- z x)) (pow (cbrt t) 3)) 3) (sqrt (/ (* y (- z x)) (pow (cbrt t) 3))) (sqrt (/ (* y (- z x)) (pow (cbrt t) 3))) (* y (- z x)) (pow (cbrt t) 3) (* (sqrt (/ y (pow t 2/3))) (sqrt (/ (- z x) (cbrt t)))) (* (sqrt (/ y (pow t 2/3))) (sqrt (/ (- z x) (cbrt t)))) (* (sqrt (/ y (pow t 2/3))) (/ (sqrt (- z x)) (cbrt (sqrt t)))) (* (sqrt (/ y (pow t 2/3))) (/ (sqrt (- z x)) (cbrt (sqrt t)))) (* (sqrt (/ y (pow t 2/3))) (/ (sqrt (- z x)) (sqrt (cbrt t)))) (* (sqrt (/ y (pow t 2/3))) (/ (sqrt (- z x)) (sqrt (cbrt t)))) (* (/ (sqrt y) (cbrt t)) (sqrt (/ (- z x) (cbrt t)))) (* (/ (sqrt y) (cbrt t)) (sqrt (/ (- z x) (cbrt t)))) (* (/ (sqrt y) (cbrt t)) (/ (sqrt (- z x)) (cbrt (sqrt t)))) (* (/ (sqrt y) (cbrt t)) (/ (sqrt (- z x)) (cbrt (sqrt t)))) (* (/ (sqrt y) (cbrt t)) (/ (sqrt (- z x)) (sqrt (cbrt t)))) (* (/ (sqrt y) (cbrt t)) (/ (sqrt (- z x)) (sqrt (cbrt t)))) (/ (* y (* (cbrt (/ (- z x) (cbrt t))) (cbrt (/ (- z x) (cbrt t))))) (pow t 2/3)) (/ (* y (sqrt (/ (- z x) (cbrt t)))) (pow t 2/3)) (* (* (/ (cbrt (- z x)) (cbrt (pow t 2/3))) (cbrt (- z x))) (/ y (pow t 2/3))) (/ y (/ (pow t 2/3) (/ (* (cbrt (- z x)) (cbrt (- z x))) (cbrt (sqrt t))))) (/ (* y (* (cbrt (- z x)) (cbrt (- z x)))) (pow t 2/3)) (/ (* y (* (cbrt (- z x)) (cbrt (- z x)))) (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (pow t 2/3))) (/ (* y (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt (cbrt t)))) (pow t 2/3)) (/ (* y (* (cbrt (- z x)) (cbrt (- z x)))) (pow t 2/3)) (/ (* y (sqrt (- z x))) (* (cbrt (pow t 2/3)) (pow t 2/3))) (/ (* y (/ (sqrt (- z x)) (cbrt (sqrt t)))) (pow t 2/3)) (/ (* y (sqrt (- z x))) (pow t 2/3)) (/ (* y (/ (sqrt (- z x)) (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (pow t 2/3)) (/ (* y (/ (sqrt (- z x)) (sqrt (cbrt t)))) (pow t 2/3)) (/ (* y (sqrt (- z x))) (pow t 2/3)) (/ y (* (cbrt (pow t 2/3)) (pow t 2/3))) (/ (/ y (cbrt (sqrt t))) (pow t 2/3)) (/ y (pow t 2/3)) (/ (/ y (pow t 2/3)) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (/ (/ y (sqrt (cbrt t))) (pow t 2/3)) (/ y (pow t 2/3)) (/ (* y (/ (+ (sqrt x) (sqrt z)) (cbrt (pow t 2/3)))) (pow t 2/3)) (/ (* y (/ (+ (sqrt z) (sqrt x)) (cbrt (sqrt t)))) (pow t 2/3)) (/ (* y (+ (sqrt x) (sqrt z))) (pow t 2/3)) (/ y (/ (pow t 2/3) (/ (+ (sqrt z) (sqrt x)) (* (cbrt (cbrt t)) (cbrt (cbrt t)))))) (/ (* y (/ (+ (sqrt z) (sqrt x)) (sqrt (cbrt t)))) (pow t 2/3)) (/ (* y (+ (sqrt x) (sqrt z))) (pow t 2/3)) (/ y (* (cbrt (pow t 2/3)) (pow t 2/3))) (/ (/ y (cbrt (sqrt t))) (pow t 2/3)) (/ y (pow t 2/3)) (/ (/ y (pow t 2/3)) (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (/ (/ y (sqrt (cbrt t))) (pow t 2/3)) (/ y (pow t 2/3)) (/ y (pow t 2/3)) (/ (* y (- z x)) (pow t 2/3)) (* (cbrt (/ y (pow t 2/3))) (/ (- z x) (cbrt t))) (/ (sqrt (/ y (pow t 2/3))) (/ (cbrt t) (- z x))) (/ (* (cbrt y) (- z x)) (pow t 2/3)) (/ (* (sqrt y) (- z x)) (pow t 2/3)) (/ (* y (- z x)) (pow t 2/3)) (/ (* y (- z x)) (pow (cbrt t) 3)) (/ (- z x) (pow (cbrt t) 3)) (/ (* y (- z x)) (pow t 2/3)) (* y (/ (- z x) (cbrt t))) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (pow (cbrt t) 3) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (pow (cbrt t) 3) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (pow (cbrt t) 3) (sqrt (cbrt t)) (sqrt (cbrt t)) (- (/ (* z y) t) (/ (* x y) t)) (- (/ (* z y) t) (/ (* x y) t)) (- (/ (* z y) t) (/ (* x y) t)) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt -1) (cbrt (- t))) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt -1) (cbrt (- t))) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt -1) (cbrt (- t))) 10.908 * * * [progress]: adding candidates to table 11.252 * * [progress]: iteration 4 / 4 11.252 * * * [progress]: picking best candidate 11.256 * * * * [pick]: Picked # 11.256 * * * [progress]: localizing error 11.264 * * * [progress]: generating rewritten candidates 11.264 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 11.282 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 11.293 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 11.300 * * * [progress]: generating series expansions 11.300 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 11.300 * [approximate]: Taking taylor expansion of (/ (* y (- z x)) t) in (y z x t) around 0 11.300 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in t 11.300 * [taylor]: Taking taylor expansion of (* y (- z x)) in t 11.300 * [taylor]: Taking taylor expansion of y in t 11.300 * [taylor]: Taking taylor expansion of (- z x) in t 11.300 * [taylor]: Taking taylor expansion of z in t 11.300 * [taylor]: Taking taylor expansion of x in t 11.300 * [taylor]: Taking taylor expansion of t in t 11.300 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in x 11.300 * [taylor]: Taking taylor expansion of (* y (- z x)) in x 11.300 * [taylor]: Taking taylor expansion of y in x 11.300 * [taylor]: Taking taylor expansion of (- z x) in x 11.300 * [taylor]: Taking taylor expansion of z in x 11.300 * [taylor]: Taking taylor expansion of x in x 11.300 * [taylor]: Taking taylor expansion of t in x 11.301 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z 11.301 * [taylor]: Taking taylor expansion of (* y (- z x)) in z 11.301 * [taylor]: Taking taylor expansion of y in z 11.301 * [taylor]: Taking taylor expansion of (- z x) in z 11.301 * [taylor]: Taking taylor expansion of z in z 11.301 * [taylor]: Taking taylor expansion of x in z 11.301 * [taylor]: Taking taylor expansion of t in z 11.301 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y 11.301 * [taylor]: Taking taylor expansion of (* y (- z x)) in y 11.301 * [taylor]: Taking taylor expansion of y in y 11.301 * [taylor]: Taking taylor expansion of (- z x) in y 11.301 * [taylor]: Taking taylor expansion of z in y 11.301 * [taylor]: Taking taylor expansion of x in y 11.301 * [taylor]: Taking taylor expansion of t in y 11.302 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y 11.302 * [taylor]: Taking taylor expansion of (* y (- z x)) in y 11.302 * [taylor]: Taking taylor expansion of y in y 11.302 * [taylor]: Taking taylor expansion of (- z x) in y 11.302 * [taylor]: Taking taylor expansion of z in y 11.302 * [taylor]: Taking taylor expansion of x in y 11.302 * [taylor]: Taking taylor expansion of t in y 11.303 * [taylor]: Taking taylor expansion of (/ (- z x) t) in z 11.303 * [taylor]: Taking taylor expansion of (- z x) in z 11.303 * [taylor]: Taking taylor expansion of z in z 11.303 * [taylor]: Taking taylor expansion of x in z 11.303 * [taylor]: Taking taylor expansion of t in z 11.303 * [taylor]: Taking taylor expansion of (* -1 (/ x t)) in x 11.303 * [taylor]: Taking taylor expansion of -1 in x 11.303 * [taylor]: Taking taylor expansion of (/ x t) in x 11.303 * [taylor]: Taking taylor expansion of x in x 11.303 * [taylor]: Taking taylor expansion of t in x 11.304 * [taylor]: Taking taylor expansion of 0 in z 11.304 * [taylor]: Taking taylor expansion of 0 in x 11.304 * [taylor]: Taking taylor expansion of 0 in t 11.305 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.305 * [taylor]: Taking taylor expansion of t in x 11.305 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.305 * [taylor]: Taking taylor expansion of t in t 11.305 * [taylor]: Taking taylor expansion of (/ -1 t) in t 11.305 * [taylor]: Taking taylor expansion of -1 in t 11.306 * [taylor]: Taking taylor expansion of t in t 11.307 * [taylor]: Taking taylor expansion of 0 in z 11.307 * [taylor]: Taking taylor expansion of 0 in x 11.307 * [taylor]: Taking taylor expansion of 0 in t 11.307 * [taylor]: Taking taylor expansion of 0 in x 11.307 * [taylor]: Taking taylor expansion of 0 in t 11.308 * [taylor]: Taking taylor expansion of 0 in x 11.308 * [taylor]: Taking taylor expansion of 0 in t 11.308 * [taylor]: Taking taylor expansion of 0 in t 11.308 * [taylor]: Taking taylor expansion of 0 in t 11.308 * [taylor]: Taking taylor expansion of 0 in t 11.315 * [taylor]: Taking taylor expansion of 0 in z 11.315 * [taylor]: Taking taylor expansion of 0 in x 11.315 * [taylor]: Taking taylor expansion of 0 in t 11.315 * [taylor]: Taking taylor expansion of 0 in x 11.315 * [taylor]: Taking taylor expansion of 0 in t 11.315 * [taylor]: Taking taylor expansion of 0 in x 11.315 * [taylor]: Taking taylor expansion of 0 in t 11.316 * [taylor]: Taking taylor expansion of 0 in x 11.316 * [taylor]: Taking taylor expansion of 0 in t 11.316 * [taylor]: Taking taylor expansion of 0 in t 11.316 * [taylor]: Taking taylor expansion of 0 in t 11.316 * [taylor]: Taking taylor expansion of 0 in t 11.316 * [taylor]: Taking taylor expansion of 0 in t 11.316 * [taylor]: Taking taylor expansion of 0 in t 11.317 * [taylor]: Taking taylor expansion of 0 in t 11.317 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in (y z x t) around 0 11.317 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in t 11.317 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t 11.317 * [taylor]: Taking taylor expansion of t in t 11.317 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 11.317 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.317 * [taylor]: Taking taylor expansion of z in t 11.317 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.317 * [taylor]: Taking taylor expansion of x in t 11.317 * [taylor]: Taking taylor expansion of y in t 11.318 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in x 11.318 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x 11.319 * [taylor]: Taking taylor expansion of t in x 11.319 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.319 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.319 * [taylor]: Taking taylor expansion of z in x 11.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.319 * [taylor]: Taking taylor expansion of x in x 11.319 * [taylor]: Taking taylor expansion of y in x 11.319 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z 11.319 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z 11.319 * [taylor]: Taking taylor expansion of t in z 11.320 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.320 * [taylor]: Taking taylor expansion of z in z 11.320 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.320 * [taylor]: Taking taylor expansion of x in z 11.320 * [taylor]: Taking taylor expansion of y in z 11.320 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y 11.320 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y 11.320 * [taylor]: Taking taylor expansion of t in y 11.320 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.320 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.320 * [taylor]: Taking taylor expansion of z in y 11.320 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.320 * [taylor]: Taking taylor expansion of x in y 11.320 * [taylor]: Taking taylor expansion of y in y 11.321 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y 11.321 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y 11.321 * [taylor]: Taking taylor expansion of t in y 11.321 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.321 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.321 * [taylor]: Taking taylor expansion of z in y 11.321 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.321 * [taylor]: Taking taylor expansion of x in y 11.321 * [taylor]: Taking taylor expansion of y in y 11.321 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z 11.321 * [taylor]: Taking taylor expansion of t in z 11.321 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.321 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.321 * [taylor]: Taking taylor expansion of z in z 11.321 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.321 * [taylor]: Taking taylor expansion of x in z 11.322 * [taylor]: Taking taylor expansion of t in x 11.323 * [taylor]: Taking taylor expansion of 0 in z 11.324 * [taylor]: Taking taylor expansion of (- (/ t x)) in x 11.324 * [taylor]: Taking taylor expansion of (/ t x) in x 11.324 * [taylor]: Taking taylor expansion of t in x 11.324 * [taylor]: Taking taylor expansion of x in x 11.324 * [taylor]: Taking taylor expansion of (- t) in t 11.324 * [taylor]: Taking taylor expansion of t in t 11.324 * [taylor]: Taking taylor expansion of t in t 11.326 * [taylor]: Taking taylor expansion of 0 in z 11.326 * [taylor]: Taking taylor expansion of 0 in x 11.327 * [taylor]: Taking taylor expansion of 0 in x 11.329 * [taylor]: Taking taylor expansion of 0 in t 11.329 * [taylor]: Taking taylor expansion of 0 in t 11.331 * [taylor]: Taking taylor expansion of 0 in z 11.331 * [taylor]: Taking taylor expansion of 0 in x 11.331 * [taylor]: Taking taylor expansion of 0 in x 11.333 * [taylor]: Taking taylor expansion of 0 in x 11.333 * [taylor]: Taking taylor expansion of 0 in t 11.333 * [taylor]: Taking taylor expansion of 0 in t 11.333 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in (y z x t) around 0 11.333 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in t 11.333 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t 11.333 * [taylor]: Taking taylor expansion of t in t 11.334 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 11.334 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.334 * [taylor]: Taking taylor expansion of x in t 11.334 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.334 * [taylor]: Taking taylor expansion of z in t 11.334 * [taylor]: Taking taylor expansion of y in t 11.335 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in x 11.335 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x 11.335 * [taylor]: Taking taylor expansion of t in x 11.335 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.335 * [taylor]: Taking taylor expansion of x in x 11.335 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.335 * [taylor]: Taking taylor expansion of z in x 11.335 * [taylor]: Taking taylor expansion of y in x 11.335 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in z 11.335 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z 11.335 * [taylor]: Taking taylor expansion of t in z 11.335 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.335 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.335 * [taylor]: Taking taylor expansion of x in z 11.336 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.336 * [taylor]: Taking taylor expansion of z in z 11.336 * [taylor]: Taking taylor expansion of y in z 11.336 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y 11.336 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y 11.336 * [taylor]: Taking taylor expansion of t in y 11.336 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.336 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.336 * [taylor]: Taking taylor expansion of x in y 11.336 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.336 * [taylor]: Taking taylor expansion of z in y 11.337 * [taylor]: Taking taylor expansion of y in y 11.337 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y 11.337 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y 11.337 * [taylor]: Taking taylor expansion of t in y 11.337 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.337 * [taylor]: Taking taylor expansion of x in y 11.337 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.337 * [taylor]: Taking taylor expansion of z in y 11.337 * [taylor]: Taking taylor expansion of y in y 11.337 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z 11.337 * [taylor]: Taking taylor expansion of t in z 11.337 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.337 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.337 * [taylor]: Taking taylor expansion of x in z 11.337 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.337 * [taylor]: Taking taylor expansion of z in z 11.338 * [taylor]: Taking taylor expansion of (* -1 t) in x 11.338 * [taylor]: Taking taylor expansion of -1 in x 11.338 * [taylor]: Taking taylor expansion of t in x 11.339 * [taylor]: Taking taylor expansion of 0 in z 11.340 * [taylor]: Taking taylor expansion of (/ t x) in x 11.340 * [taylor]: Taking taylor expansion of t in x 11.340 * [taylor]: Taking taylor expansion of x in x 11.340 * [taylor]: Taking taylor expansion of t in t 11.340 * [taylor]: Taking taylor expansion of (* -1 t) in t 11.341 * [taylor]: Taking taylor expansion of -1 in t 11.341 * [taylor]: Taking taylor expansion of t in t 11.343 * [taylor]: Taking taylor expansion of 0 in z 11.343 * [taylor]: Taking taylor expansion of 0 in x 11.344 * [taylor]: Taking taylor expansion of 0 in x 11.345 * [taylor]: Taking taylor expansion of 0 in t 11.345 * [taylor]: Taking taylor expansion of 0 in t 11.348 * [taylor]: Taking taylor expansion of 0 in z 11.348 * [taylor]: Taking taylor expansion of 0 in x 11.348 * [taylor]: Taking taylor expansion of 0 in x 11.350 * [taylor]: Taking taylor expansion of 0 in x 11.350 * [taylor]: Taking taylor expansion of 0 in t 11.350 * [taylor]: Taking taylor expansion of 0 in t 11.350 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 11.350 * [approximate]: Taking taylor expansion of (* y (- z x)) in (y z x) around 0 11.350 * [taylor]: Taking taylor expansion of (* y (- z x)) in x 11.350 * [taylor]: Taking taylor expansion of y in x 11.350 * [taylor]: Taking taylor expansion of (- z x) in x 11.350 * [taylor]: Taking taylor expansion of z in x 11.350 * [taylor]: Taking taylor expansion of x in x 11.351 * [taylor]: Taking taylor expansion of (* y (- z x)) in z 11.351 * [taylor]: Taking taylor expansion of y in z 11.351 * [taylor]: Taking taylor expansion of (- z x) in z 11.351 * [taylor]: Taking taylor expansion of z in z 11.351 * [taylor]: Taking taylor expansion of x in z 11.351 * [taylor]: Taking taylor expansion of (* y (- z x)) in y 11.351 * [taylor]: Taking taylor expansion of y in y 11.351 * [taylor]: Taking taylor expansion of (- z x) in y 11.351 * [taylor]: Taking taylor expansion of z in y 11.351 * [taylor]: Taking taylor expansion of x in y 11.351 * [taylor]: Taking taylor expansion of (* y (- z x)) in y 11.351 * [taylor]: Taking taylor expansion of y in y 11.351 * [taylor]: Taking taylor expansion of (- z x) in y 11.351 * [taylor]: Taking taylor expansion of z in y 11.351 * [taylor]: Taking taylor expansion of x in y 11.351 * [taylor]: Taking taylor expansion of 0 in z 11.351 * [taylor]: Taking taylor expansion of 0 in x 11.352 * [taylor]: Taking taylor expansion of (- z x) in z 11.352 * [taylor]: Taking taylor expansion of z in z 11.352 * [taylor]: Taking taylor expansion of x in z 11.352 * [taylor]: Taking taylor expansion of (- x) in x 11.352 * [taylor]: Taking taylor expansion of x in x 11.352 * [taylor]: Taking taylor expansion of 0 in x 11.353 * [taylor]: Taking taylor expansion of 0 in z 11.353 * [taylor]: Taking taylor expansion of 0 in x 11.353 * [taylor]: Taking taylor expansion of 1 in x 11.354 * [taylor]: Taking taylor expansion of 0 in x 11.355 * [taylor]: Taking taylor expansion of 0 in z 11.355 * [taylor]: Taking taylor expansion of 0 in x 11.355 * [taylor]: Taking taylor expansion of 0 in x 11.356 * [taylor]: Taking taylor expansion of 0 in x 11.356 * [taylor]: Taking taylor expansion of 0 in x 11.356 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in (y z x) around 0 11.356 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 11.356 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.356 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.356 * [taylor]: Taking taylor expansion of z in x 11.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.356 * [taylor]: Taking taylor expansion of x in x 11.356 * [taylor]: Taking taylor expansion of y in x 11.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 11.357 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.357 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.357 * [taylor]: Taking taylor expansion of z in z 11.357 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.357 * [taylor]: Taking taylor expansion of x in z 11.357 * [taylor]: Taking taylor expansion of y in z 11.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 11.357 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.357 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.357 * [taylor]: Taking taylor expansion of z in y 11.357 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.358 * [taylor]: Taking taylor expansion of x in y 11.358 * [taylor]: Taking taylor expansion of y in y 11.358 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 11.358 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.358 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.358 * [taylor]: Taking taylor expansion of z in y 11.358 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.358 * [taylor]: Taking taylor expansion of x in y 11.358 * [taylor]: Taking taylor expansion of y in y 11.358 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.358 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.358 * [taylor]: Taking taylor expansion of z in z 11.358 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.358 * [taylor]: Taking taylor expansion of x in z 11.359 * [taylor]: Taking taylor expansion of 1 in x 11.360 * [taylor]: Taking taylor expansion of 0 in z 11.360 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.360 * [taylor]: Taking taylor expansion of x in x 11.362 * [taylor]: Taking taylor expansion of 0 in z 11.362 * [taylor]: Taking taylor expansion of 0 in x 11.363 * [taylor]: Taking taylor expansion of 0 in x 11.366 * [taylor]: Taking taylor expansion of 0 in z 11.366 * [taylor]: Taking taylor expansion of 0 in x 11.366 * [taylor]: Taking taylor expansion of 0 in x 11.367 * [taylor]: Taking taylor expansion of 0 in x 11.368 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in (y z x) around 0 11.368 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in x 11.368 * [taylor]: Taking taylor expansion of -1 in x 11.368 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 11.368 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.368 * [taylor]: Taking taylor expansion of x in x 11.368 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.368 * [taylor]: Taking taylor expansion of z in x 11.368 * [taylor]: Taking taylor expansion of y in x 11.369 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in z 11.369 * [taylor]: Taking taylor expansion of -1 in z 11.369 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 11.369 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.369 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.369 * [taylor]: Taking taylor expansion of x in z 11.369 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.369 * [taylor]: Taking taylor expansion of z in z 11.369 * [taylor]: Taking taylor expansion of y in z 11.370 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 11.370 * [taylor]: Taking taylor expansion of -1 in y 11.370 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 11.370 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.370 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.370 * [taylor]: Taking taylor expansion of x in y 11.370 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.370 * [taylor]: Taking taylor expansion of z in y 11.370 * [taylor]: Taking taylor expansion of y in y 11.370 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 11.370 * [taylor]: Taking taylor expansion of -1 in y 11.370 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 11.370 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.370 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.370 * [taylor]: Taking taylor expansion of x in y 11.371 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.371 * [taylor]: Taking taylor expansion of z in y 11.371 * [taylor]: Taking taylor expansion of y in y 11.371 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 z))) in z 11.371 * [taylor]: Taking taylor expansion of -1 in z 11.371 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.371 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.371 * [taylor]: Taking taylor expansion of x in z 11.371 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.371 * [taylor]: Taking taylor expansion of z in z 11.372 * [taylor]: Taking taylor expansion of 1 in x 11.374 * [taylor]: Taking taylor expansion of 0 in z 11.375 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.375 * [taylor]: Taking taylor expansion of x in x 11.377 * [taylor]: Taking taylor expansion of 0 in z 11.377 * [taylor]: Taking taylor expansion of 0 in x 11.379 * [taylor]: Taking taylor expansion of 0 in x 11.382 * [taylor]: Taking taylor expansion of 0 in z 11.382 * [taylor]: Taking taylor expansion of 0 in x 11.382 * [taylor]: Taking taylor expansion of 0 in x 11.384 * [taylor]: Taking taylor expansion of 0 in x 11.385 * * * * [progress]: [ 3 / 3 ] generating series at (2) 11.385 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in (x y z t) around 0 11.385 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in t 11.385 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t 11.385 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t 11.386 * [taylor]: Taking taylor expansion of (* z y) in t 11.386 * [taylor]: Taking taylor expansion of z in t 11.386 * [taylor]: Taking taylor expansion of y in t 11.386 * [taylor]: Taking taylor expansion of t in t 11.386 * [taylor]: Taking taylor expansion of x in t 11.386 * [taylor]: Taking taylor expansion of (/ (* x y) t) in t 11.386 * [taylor]: Taking taylor expansion of (* x y) in t 11.386 * [taylor]: Taking taylor expansion of x in t 11.386 * [taylor]: Taking taylor expansion of y in t 11.386 * [taylor]: Taking taylor expansion of t in t 11.386 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in z 11.386 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z 11.386 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z 11.386 * [taylor]: Taking taylor expansion of (* z y) in z 11.386 * [taylor]: Taking taylor expansion of z in z 11.386 * [taylor]: Taking taylor expansion of y in z 11.386 * [taylor]: Taking taylor expansion of t in z 11.386 * [taylor]: Taking taylor expansion of x in z 11.386 * [taylor]: Taking taylor expansion of (/ (* x y) t) in z 11.386 * [taylor]: Taking taylor expansion of (* x y) in z 11.386 * [taylor]: Taking taylor expansion of x in z 11.386 * [taylor]: Taking taylor expansion of y in z 11.386 * [taylor]: Taking taylor expansion of t in z 11.386 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in y 11.386 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y 11.386 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 11.386 * [taylor]: Taking taylor expansion of (* z y) in y 11.386 * [taylor]: Taking taylor expansion of z in y 11.386 * [taylor]: Taking taylor expansion of y in y 11.386 * [taylor]: Taking taylor expansion of t in y 11.387 * [taylor]: Taking taylor expansion of x in y 11.387 * [taylor]: Taking taylor expansion of (/ (* x y) t) in y 11.387 * [taylor]: Taking taylor expansion of (* x y) in y 11.387 * [taylor]: Taking taylor expansion of x in y 11.387 * [taylor]: Taking taylor expansion of y in y 11.387 * [taylor]: Taking taylor expansion of t in y 11.387 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x 11.387 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 11.387 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 11.387 * [taylor]: Taking taylor expansion of (* z y) in x 11.387 * [taylor]: Taking taylor expansion of z in x 11.387 * [taylor]: Taking taylor expansion of y in x 11.387 * [taylor]: Taking taylor expansion of t in x 11.387 * [taylor]: Taking taylor expansion of x in x 11.387 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x 11.387 * [taylor]: Taking taylor expansion of (* x y) in x 11.387 * [taylor]: Taking taylor expansion of x in x 11.387 * [taylor]: Taking taylor expansion of y in x 11.387 * [taylor]: Taking taylor expansion of t in x 11.388 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x 11.388 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 11.388 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 11.388 * [taylor]: Taking taylor expansion of (* z y) in x 11.388 * [taylor]: Taking taylor expansion of z in x 11.388 * [taylor]: Taking taylor expansion of y in x 11.388 * [taylor]: Taking taylor expansion of t in x 11.388 * [taylor]: Taking taylor expansion of x in x 11.388 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x 11.388 * [taylor]: Taking taylor expansion of (* x y) in x 11.388 * [taylor]: Taking taylor expansion of x in x 11.388 * [taylor]: Taking taylor expansion of y in x 11.388 * [taylor]: Taking taylor expansion of t in x 11.388 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 11.388 * [taylor]: Taking taylor expansion of (* z y) in y 11.388 * [taylor]: Taking taylor expansion of z in y 11.389 * [taylor]: Taking taylor expansion of y in y 11.389 * [taylor]: Taking taylor expansion of t in y 11.389 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in y 11.389 * [taylor]: Taking taylor expansion of 1 in y 11.389 * [taylor]: Taking taylor expansion of (/ y t) in y 11.389 * [taylor]: Taking taylor expansion of y in y 11.389 * [taylor]: Taking taylor expansion of t in y 11.390 * [taylor]: Taking taylor expansion of 1 in z 11.390 * [taylor]: Taking taylor expansion of 1 in t 11.390 * [taylor]: Taking taylor expansion of (/ z t) in z 11.390 * [taylor]: Taking taylor expansion of z in z 11.390 * [taylor]: Taking taylor expansion of t in z 11.391 * [taylor]: Taking taylor expansion of 0 in y 11.391 * [taylor]: Taking taylor expansion of 0 in z 11.392 * [taylor]: Taking taylor expansion of 0 in t 11.392 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 11.392 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.392 * [taylor]: Taking taylor expansion of t in z 11.392 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 11.392 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.392 * [taylor]: Taking taylor expansion of t in t 11.393 * [taylor]: Taking taylor expansion of 0 in z 11.393 * [taylor]: Taking taylor expansion of 0 in t 11.393 * [taylor]: Taking taylor expansion of 0 in t 11.393 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.393 * [taylor]: Taking taylor expansion of t in t 11.394 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in (x y z t) around 0 11.394 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in t 11.394 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 11.394 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 11.394 * [taylor]: Taking taylor expansion of t in t 11.394 * [taylor]: Taking taylor expansion of (* z y) in t 11.394 * [taylor]: Taking taylor expansion of z in t 11.394 * [taylor]: Taking taylor expansion of y in t 11.394 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.394 * [taylor]: Taking taylor expansion of x in t 11.394 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t 11.394 * [taylor]: Taking taylor expansion of t in t 11.394 * [taylor]: Taking taylor expansion of (* x y) in t 11.394 * [taylor]: Taking taylor expansion of x in t 11.394 * [taylor]: Taking taylor expansion of y in t 11.394 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in z 11.394 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 11.394 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 11.394 * [taylor]: Taking taylor expansion of t in z 11.394 * [taylor]: Taking taylor expansion of (* z y) in z 11.394 * [taylor]: Taking taylor expansion of z in z 11.394 * [taylor]: Taking taylor expansion of y in z 11.395 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.395 * [taylor]: Taking taylor expansion of x in z 11.395 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z 11.395 * [taylor]: Taking taylor expansion of t in z 11.395 * [taylor]: Taking taylor expansion of (* x y) in z 11.395 * [taylor]: Taking taylor expansion of x in z 11.395 * [taylor]: Taking taylor expansion of y in z 11.395 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in y 11.395 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 11.395 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 11.395 * [taylor]: Taking taylor expansion of t in y 11.395 * [taylor]: Taking taylor expansion of (* z y) in y 11.395 * [taylor]: Taking taylor expansion of z in y 11.395 * [taylor]: Taking taylor expansion of y in y 11.395 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.395 * [taylor]: Taking taylor expansion of x in y 11.395 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y 11.395 * [taylor]: Taking taylor expansion of t in y 11.395 * [taylor]: Taking taylor expansion of (* x y) in y 11.395 * [taylor]: Taking taylor expansion of x in y 11.395 * [taylor]: Taking taylor expansion of y in y 11.396 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x 11.396 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 11.396 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 11.396 * [taylor]: Taking taylor expansion of t in x 11.396 * [taylor]: Taking taylor expansion of (* z y) in x 11.396 * [taylor]: Taking taylor expansion of z in x 11.396 * [taylor]: Taking taylor expansion of y in x 11.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.396 * [taylor]: Taking taylor expansion of x in x 11.396 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x 11.396 * [taylor]: Taking taylor expansion of t in x 11.396 * [taylor]: Taking taylor expansion of (* x y) in x 11.396 * [taylor]: Taking taylor expansion of x in x 11.396 * [taylor]: Taking taylor expansion of y in x 11.397 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x 11.397 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 11.397 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 11.397 * [taylor]: Taking taylor expansion of t in x 11.397 * [taylor]: Taking taylor expansion of (* z y) in x 11.397 * [taylor]: Taking taylor expansion of z in x 11.397 * [taylor]: Taking taylor expansion of y in x 11.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.397 * [taylor]: Taking taylor expansion of x in x 11.397 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x 11.397 * [taylor]: Taking taylor expansion of t in x 11.397 * [taylor]: Taking taylor expansion of (* x y) in x 11.397 * [taylor]: Taking taylor expansion of x in x 11.397 * [taylor]: Taking taylor expansion of y in x 11.398 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in y 11.398 * [taylor]: Taking taylor expansion of 1 in y 11.398 * [taylor]: Taking taylor expansion of (/ t y) in y 11.398 * [taylor]: Taking taylor expansion of t in y 11.398 * [taylor]: Taking taylor expansion of y in y 11.398 * [taylor]: Taking taylor expansion of (- t) in z 11.398 * [taylor]: Taking taylor expansion of t in z 11.399 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 11.399 * [taylor]: Taking taylor expansion of t in y 11.399 * [taylor]: Taking taylor expansion of (* z y) in y 11.399 * [taylor]: Taking taylor expansion of z in y 11.399 * [taylor]: Taking taylor expansion of y in y 11.400 * [taylor]: Taking taylor expansion of (/ t z) in z 11.400 * [taylor]: Taking taylor expansion of t in z 11.400 * [taylor]: Taking taylor expansion of z in z 11.400 * [taylor]: Taking taylor expansion of t in t 11.405 * [taylor]: Taking taylor expansion of 1 in z 11.405 * [taylor]: Taking taylor expansion of (- t) in t 11.405 * [taylor]: Taking taylor expansion of t in t 11.408 * [taylor]: Taking taylor expansion of 0 in y 11.408 * [taylor]: Taking taylor expansion of 0 in z 11.410 * [taylor]: Taking taylor expansion of 0 in z 11.410 * [taylor]: Taking taylor expansion of 0 in t 11.410 * [taylor]: Taking taylor expansion of 1 in t 11.411 * [taylor]: Taking taylor expansion of 0 in t 11.411 * [approximate]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0 11.411 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in t 11.412 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t 11.412 * [taylor]: Taking taylor expansion of t in t 11.412 * [taylor]: Taking taylor expansion of (* x y) in t 11.412 * [taylor]: Taking taylor expansion of x in t 11.412 * [taylor]: Taking taylor expansion of y in t 11.412 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 11.412 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 11.412 * [taylor]: Taking taylor expansion of t in t 11.412 * [taylor]: Taking taylor expansion of (* z y) in t 11.412 * [taylor]: Taking taylor expansion of z in t 11.412 * [taylor]: Taking taylor expansion of y in t 11.412 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.412 * [taylor]: Taking taylor expansion of x in t 11.412 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in z 11.412 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z 11.412 * [taylor]: Taking taylor expansion of t in z 11.412 * [taylor]: Taking taylor expansion of (* x y) in z 11.412 * [taylor]: Taking taylor expansion of x in z 11.412 * [taylor]: Taking taylor expansion of y in z 11.412 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 11.412 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 11.412 * [taylor]: Taking taylor expansion of t in z 11.412 * [taylor]: Taking taylor expansion of (* z y) in z 11.412 * [taylor]: Taking taylor expansion of z in z 11.412 * [taylor]: Taking taylor expansion of y in z 11.412 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.412 * [taylor]: Taking taylor expansion of x in z 11.412 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in y 11.412 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y 11.412 * [taylor]: Taking taylor expansion of t in y 11.413 * [taylor]: Taking taylor expansion of (* x y) in y 11.413 * [taylor]: Taking taylor expansion of x in y 11.413 * [taylor]: Taking taylor expansion of y in y 11.413 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 11.413 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 11.413 * [taylor]: Taking taylor expansion of t in y 11.413 * [taylor]: Taking taylor expansion of (* z y) in y 11.413 * [taylor]: Taking taylor expansion of z in y 11.413 * [taylor]: Taking taylor expansion of y in y 11.413 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.413 * [taylor]: Taking taylor expansion of x in y 11.413 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x 11.413 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x 11.413 * [taylor]: Taking taylor expansion of t in x 11.413 * [taylor]: Taking taylor expansion of (* x y) in x 11.413 * [taylor]: Taking taylor expansion of x in x 11.413 * [taylor]: Taking taylor expansion of y in x 11.414 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 11.414 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 11.414 * [taylor]: Taking taylor expansion of t in x 11.414 * [taylor]: Taking taylor expansion of (* z y) in x 11.414 * [taylor]: Taking taylor expansion of z in x 11.414 * [taylor]: Taking taylor expansion of y in x 11.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.414 * [taylor]: Taking taylor expansion of x in x 11.414 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x 11.414 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x 11.414 * [taylor]: Taking taylor expansion of t in x 11.414 * [taylor]: Taking taylor expansion of (* x y) in x 11.414 * [taylor]: Taking taylor expansion of x in x 11.414 * [taylor]: Taking taylor expansion of y in x 11.415 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 11.415 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 11.415 * [taylor]: Taking taylor expansion of t in x 11.415 * [taylor]: Taking taylor expansion of (* z y) in x 11.415 * [taylor]: Taking taylor expansion of z in x 11.415 * [taylor]: Taking taylor expansion of y in x 11.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.415 * [taylor]: Taking taylor expansion of x in x 11.416 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in y 11.416 * [taylor]: Taking taylor expansion of (/ t y) in y 11.416 * [taylor]: Taking taylor expansion of t in y 11.416 * [taylor]: Taking taylor expansion of y in y 11.416 * [taylor]: Taking taylor expansion of 1 in y 11.416 * [taylor]: Taking taylor expansion of t in z 11.417 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y 11.417 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 11.417 * [taylor]: Taking taylor expansion of t in y 11.417 * [taylor]: Taking taylor expansion of (* z y) in y 11.417 * [taylor]: Taking taylor expansion of z in y 11.417 * [taylor]: Taking taylor expansion of y in y 11.418 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 11.418 * [taylor]: Taking taylor expansion of (/ t z) in z 11.418 * [taylor]: Taking taylor expansion of t in z 11.418 * [taylor]: Taking taylor expansion of z in z 11.418 * [taylor]: Taking taylor expansion of (- t) in t 11.418 * [taylor]: Taking taylor expansion of t in t 11.419 * [taylor]: Taking taylor expansion of -1 in z 11.419 * [taylor]: Taking taylor expansion of t in t 11.421 * [taylor]: Taking taylor expansion of 0 in y 11.422 * [taylor]: Taking taylor expansion of 0 in z 11.423 * [taylor]: Taking taylor expansion of 0 in z 11.424 * [taylor]: Taking taylor expansion of 0 in t 11.424 * [taylor]: Taking taylor expansion of -1 in t 11.424 * [taylor]: Taking taylor expansion of 0 in t 11.425 * * * [progress]: simplifying candidates 11.426 * [simplify]: Simplifying using # : (expm1 (* (* y (- z x)) (/ 1 t))) (log1p (* (* y (- z x)) (/ 1 t))) (* (* y (- z x)) (/ 1 t)) (* (* y (- z x)) (/ 1 t)) (+ (+ (log y) (log (- z x))) (- (log t))) (+ (+ (log y) (log (- z x))) (- 0 (log t))) (+ (+ (log y) (log (- z x))) (- (log 1) (log t))) (+ (+ (log y) (log (- z x))) (log (/ 1 t))) (+ (log (* y (- z x))) (- (log t))) (+ (log (* y (- z x))) (- 0 (log t))) (+ (log (* y (- z x))) (- (log 1) (log t))) (+ (log (* y (- z x))) (log (/ 1 t))) (log (* (* y (- z x)) (/ 1 t))) (exp (* (* y (- z x)) (/ 1 t))) (* (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x))) (/ (* (* 1 1) 1) (* (* t t) t))) (* (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x))) (* (* (/ 1 t) (/ 1 t)) (/ 1 t))) (* (* (* (* y (- z x)) (* y (- z x))) (* y (- z x))) (/ (* (* 1 1) 1) (* (* t t) t))) (* (* (* (* y (- z x)) (* y (- z x))) (* y (- z x))) (* (* (/ 1 t) (/ 1 t)) (/ 1 t))) (* (cbrt (* (* y (- z x)) (/ 1 t))) (cbrt (* (* y (- z x)) (/ 1 t)))) (cbrt (* (* y (- z x)) (/ 1 t))) (* (* (* (* y (- z x)) (/ 1 t)) (* (* y (- z x)) (/ 1 t))) (* (* y (- z x)) (/ 1 t))) (sqrt (* (* y (- z x)) (/ 1 t))) (sqrt (* (* y (- z x)) (/ 1 t))) (* (* y (- (pow z 3) (pow x 3))) 1) (* (+ (* z z) (+ (* x x) (* z x))) t) (* (* y (- (* z z) (* x x))) 1) (* (+ z x) t) (* (* y (- z x)) (* (cbrt (/ 1 t)) (cbrt (/ 1 t)))) (* (* y (- z x)) (sqrt (/ 1 t))) (* (* y (- z x)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt t) (cbrt t)))) (* (* y (- z x)) (/ (* (cbrt 1) (cbrt 1)) (sqrt t))) (* (* y (- z x)) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* y (- z x)) (/ (sqrt 1) (* (cbrt t) (cbrt t)))) (* (* y (- z x)) (/ (sqrt 1) (sqrt t))) (* (* y (- z x)) (/ (sqrt 1) 1)) (* (* y (- z x)) (/ 1 (* (cbrt t) (cbrt t)))) (* (* y (- z x)) (/ 1 (sqrt t))) (* (* y (- z x)) (/ 1 1)) (* (* y (- z x)) 1) (* (* y (- z x)) 1) (* (- z x) (/ 1 t)) (* (* y (- z x)) 1) (* (* y (- (pow z 3) (pow x 3))) (/ 1 t)) (* (* y (- (* z z) (* x x))) (/ 1 t)) (expm1 (* y (- z x))) (log1p (* y (- z x))) (* y (- z x)) (+ (log y) (log (- z x))) (log (* y (- z x))) (exp (* y (- z x))) (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x))) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* y (- z x))) (* (* (* y (- z x)) (* y (- z x))) (* y (- z x))) (sqrt (* y (- z x))) (sqrt (* y (- z x))) (* (sqrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* y (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt x) (sqrt x))))) (* y (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* y (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* x 1)))) (* y (fma (- x) 1 (* x 1))) (* y (fma (sqrt z) (sqrt z) (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* y (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* y (fma (sqrt z) (sqrt z) (- (* (sqrt x) (sqrt x))))) (* y (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* y (fma (sqrt z) (sqrt z) (- (* x 1)))) (* y (fma (- x) 1 (* x 1))) (* y (fma 1 z (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* y (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))) (* y (fma 1 z (- (* (sqrt x) (sqrt x))))) (* y (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))) (* y (fma 1 z (- (* x 1)))) (* y (fma (- x) 1 (* x 1))) (* y z) (* y (- x)) (* y z) (* y (- x)) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) y) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* (sqrt x) (sqrt x)))) y) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) y) (* (fma (* (cbrt z) (cbrt z)) (cbrt z) (- (* x 1))) y) (* (fma (- x) 1 (* x 1)) y) (* (fma (sqrt z) (sqrt z) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) y) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) y) (* (fma (sqrt z) (sqrt z) (- (* (sqrt x) (sqrt x)))) y) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) y) (* (fma (sqrt z) (sqrt z) (- (* x 1))) y) (* (fma (- x) 1 (* x 1)) y) (* (fma 1 z (- (* (cbrt x) (* (cbrt x) (cbrt x))))) y) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) y) (* (fma 1 z (- (* (sqrt x) (sqrt x)))) y) (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) y) (* (fma 1 z (- (* x 1))) y) (* (fma (- x) 1 (* x 1)) y) (* z y) (* (- x) y) (* z y) (* (- x) y) (* y (* (cbrt (- z x)) (cbrt (- z x)))) (* y (sqrt (- z x))) (* y 1) (* y (+ (sqrt z) (sqrt x))) (* y 1) (* (cbrt y) (- z x)) (* (sqrt y) (- z x)) (* y (- z x)) (* y (- (pow z 3) (pow x 3))) (* y (- (* z z) (* x x))) (expm1 (+ x (* (* y (- z x)) (/ 1 t)))) (log1p (+ x (* (* y (- z x)) (/ 1 t)))) (* (exp x) (exp (* (* y (- z x)) (/ 1 t)))) (log (+ x (* (* y (- z x)) (/ 1 t)))) (exp (+ x (* (* y (- z x)) (/ 1 t)))) (* (cbrt (+ x (* (* y (- z x)) (/ 1 t)))) (cbrt (+ x (* (* y (- z x)) (/ 1 t))))) (cbrt (+ x (* (* y (- z x)) (/ 1 t)))) (* (* (+ x (* (* y (- z x)) (/ 1 t))) (+ x (* (* y (- z x)) (/ 1 t)))) (+ x (* (* y (- z x)) (/ 1 t)))) (sqrt (+ x (* (* y (- z x)) (/ 1 t)))) (sqrt (+ x (* (* y (- z x)) (/ 1 t)))) (+ (pow x 3) (pow (* (* y (- z x)) (/ 1 t)) 3)) (+ (* x x) (- (* (* (* y (- z x)) (/ 1 t)) (* (* y (- z x)) (/ 1 t))) (* x (* (* y (- z x)) (/ 1 t))))) (- (* x x) (* (* (* y (- z x)) (/ 1 t)) (* (* y (- z x)) (/ 1 t)))) (- x (* (* y (- z x)) (/ 1 t))) (- (/ (* z y) t) (/ (* x y) t)) (- (/ (* z y) t) (/ (* x y) t)) (- (/ (* z y) t) (/ (* x y) t)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) 11.432 * * [simplify]: iteration 0 : 205 enodes (cost 1610 ) 11.498 * * [simplify]: iteration 1 : 500 enodes (cost 1253 ) 11.698 * * [simplify]: iteration 2 : 1485 enodes (cost 1012 ) 12.198 * * [simplify]: iteration done : 5000 enodes (cost 994 ) 12.198 * [simplify]: Simplified to: (expm1 (/ (* y (- z x)) t)) (log1p (/ (* y (- z x)) t)) (/ (- z x) (/ t y)) (/ (- z x) (/ t y)) (log (/ (* y (- z x)) t)) (log (/ (* y (- z x)) t)) (log (/ (* y (- z x)) t)) (log (/ (* y (- z x)) t)) (log (/ (* y (- z x)) t)) (log (/ (* y (- z x)) t)) (log (/ (* y (- z x)) t)) (log (/ (* y (- z x)) t)) (log (/ (* y (- z x)) t)) (exp (/ (* y (- z x)) t)) (pow (/ (* y (- z x)) t) 3) (pow (/ (* y (- z x)) t) 3) (pow (/ (* y (- z x)) t) 3) (pow (/ (* y (- z x)) t) 3) (* (cbrt (/ (* y (- z x)) t)) (cbrt (/ (* y (- z x)) t))) (cbrt (/ (* y (- z x)) t)) (pow (/ (* y (- z x)) t) 3) (sqrt (/ (* y (- z x)) t)) (sqrt (/ (* y (- z x)) t)) (* y (- (pow z 3) (pow x 3))) (* (fma z z (* x (+ z x))) t) (* y (- (* z z) (* x x))) (* (+ z x) t) (* (* y (- z x)) (* (cbrt (/ 1 t)) (cbrt (/ 1 t)))) (* (* y (- z x)) (sqrt (/ 1 t))) (/ (* y (- z x)) (* (cbrt t) (cbrt t))) (/ (* y (- z x)) (sqrt t)) (* y (- z x)) (/ (* y (- z x)) (* (cbrt t) (cbrt t))) (/ (* y (- z x)) (sqrt t)) (* y (- z x)) (/ (* y (- z x)) (* (cbrt t) (cbrt t))) (/ (* y (- z x)) (sqrt t)) (* y (- z x)) (* y (- z x)) (* y (- z x)) (/ (- z x) t) (* y (- z x)) (/ (* y (- (pow z 3) (pow x 3))) t) (/ (* y (- (* z z) (* x x))) t) (expm1 (* y (- z x))) (log1p (* y (- z x))) (* y (- z x)) (log (* y (- z x))) (log (* y (- z x))) (exp (* y (- z x))) (pow (* y (- z x)) 3) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* y (- z x))) (pow (* y (- z x)) 3) (sqrt (* y (- z x))) (sqrt (* y (- z x))) (* (sqrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) x) y) (* (- x x) y) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) x) y) (* (- x x) y) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) x) y) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* z y) (* (- y) x) (* z y) (* (- y) x) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) x) y) (* (- x x) y) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) x) y) (* (- x x) y) (* (- (* (* (cbrt z) (cbrt z)) (cbrt z)) x) y) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* y (- z x)) (* (- x x) y) (* z y) (* (- y) x) (* z y) (* (- y) x) (* y (* (cbrt (- z x)) (cbrt (- z x)))) (* y (sqrt (- z x))) y (* y (+ (sqrt z) (sqrt x))) y (* (cbrt y) (- z x)) (* (sqrt y) (- z x)) (* y (- z x)) (* y (- (pow z 3) (pow x 3))) (* y (- (* z z) (* x x))) (expm1 (fma y (/ (- z x) t) x)) (log1p (fma y (/ (- z x) t) x)) (exp (fma y (/ (- z x) t) x)) (log (fma y (/ (- z x) t) x)) (exp (fma y (/ (- z x) t) x)) (* (cbrt (fma y (/ (- z x) t) x)) (cbrt (fma y (/ (- z x) t) x))) (cbrt (fma y (/ (- z x) t) x)) (pow (fma y (/ (- z x) t) x) 3) (sqrt (fma y (/ (- z x) t) x)) (sqrt (fma y (/ (- z x) t) x)) (+ (pow (/ (* y (- z x)) t) 3) (pow x 3)) (fma x x (* (/ (* y (- z x)) t) (- (/ (* y (- z x)) t) x))) (* (fma y (/ (- z x) t) x) (- x (/ (* y (- z x)) t))) (- x (/ (* y (- z x)) t)) (/ (- z x) (/ t y)) (/ (- z x) (/ t y)) (/ (- z x) (/ t y)) (* y (- z x)) (* y (- z x)) (* y (- z x)) (fma y (/ (- z x) t) x) (fma y (/ (- z x) t) x) (fma y (/ (- z x) t) x) 12.199 * * * [progress]: adding candidates to table 12.390 * [progress]: [Phase 3 of 3] Extracting. 12.390 * * [regime]: Finding splitpoints for: (# # # # #) 12.391 * * * [regime-changes]: Trying 5 branch expressions: ((+ x (/ (* y (- z x)) t)) t z y x) 12.391 * * * * [regimes]: Trying to branch on (+ x (/ (* y (- z x)) t)) from (# # # # #) 12.423 * * * * [regimes]: Trying to branch on t from (# # # # #) 12.455 * * * * [regimes]: Trying to branch on z from (# # # # #) 12.475 * * * * [regimes]: Trying to branch on y from (# # # # #) 12.507 * * * * [regimes]: Trying to branch on x from (# # # # #) 12.539 * * * [regime]: Found split indices: #