11.044 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) 0.023 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 0.025 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.028 * * [simplify]: iteration 2 : 49 enodes (cost 12 ) 0.035 * * [simplify]: iteration 3 : 108 enodes (cost 11 ) 0.059 * * [simplify]: iteration 4 : 223 enodes (cost 11 ) 0.109 * * [simplify]: iteration 5 : 423 enodes (cost 11 ) 0.257 * * [simplify]: iteration 6 : 681 enodes (cost 11 ) 0.656 * * [simplify]: iteration 7 : 1001 enodes (cost 10 ) 1.323 * * [simplify]: iteration 8 : 1594 enodes (cost 10 ) 4.296 * * [simplify]: iteration 9 : 3896 enodes (cost 10 ) 6.597 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 6.598 * [simplify]: Simplified to: (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0) 6.601 * * [progress]: iteration 1 / 4 6.601 * * * [progress]: picking best candidate 6.608 * * * * [pick]: Picked # 6.608 * * * [progress]: localizing error 6.617 * * * [progress]: generating rewritten candidates 6.617 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 6.617 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 6.628 * * * [progress]: generating series expansions 6.628 * * * * [progress]: [ 1 / 2 ] generating series at (2) 6.629 * [approximate]: Taking taylor expansion of (fma (- (+ (/ x y) 0.25) (/ z y)) 4.0 1.0) in (x z y) around 0 6.629 * [taylor]: Taking taylor expansion of (fma (- (+ (/ x y) 0.25) (/ z y)) 4.0 1.0) in y 6.629 * [taylor]: Rewrote expression to (+ (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) 1.0) 6.629 * [taylor]: Taking taylor expansion of (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) in y 6.629 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in y 6.629 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in y 6.629 * [taylor]: Taking taylor expansion of (/ x y) in y 6.629 * [taylor]: Taking taylor expansion of x in y 6.629 * [taylor]: Taking taylor expansion of y in y 6.629 * [taylor]: Taking taylor expansion of 0.25 in y 6.629 * [taylor]: Taking taylor expansion of (/ z y) in y 6.629 * [taylor]: Taking taylor expansion of z in y 6.629 * [taylor]: Taking taylor expansion of y in y 6.629 * [taylor]: Taking taylor expansion of 4.0 in y 6.629 * [taylor]: Taking taylor expansion of 1.0 in y 6.629 * [taylor]: Taking taylor expansion of (fma (- (+ (/ x y) 0.25) (/ z y)) 4.0 1.0) in z 6.629 * [taylor]: Rewrote expression to (+ (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) 1.0) 6.629 * [taylor]: Taking taylor expansion of (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) in z 6.629 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in z 6.629 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in z 6.629 * [taylor]: Taking taylor expansion of (/ x y) in z 6.629 * [taylor]: Taking taylor expansion of x in z 6.629 * [taylor]: Taking taylor expansion of y in z 6.629 * [taylor]: Taking taylor expansion of 0.25 in z 6.629 * [taylor]: Taking taylor expansion of (/ z y) in z 6.629 * [taylor]: Taking taylor expansion of z in z 6.629 * [taylor]: Taking taylor expansion of y in z 6.630 * [taylor]: Taking taylor expansion of 4.0 in z 6.630 * [taylor]: Taking taylor expansion of 1.0 in z 6.630 * [taylor]: Taking taylor expansion of (fma (- (+ (/ x y) 0.25) (/ z y)) 4.0 1.0) in x 6.630 * [taylor]: Rewrote expression to (+ (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) 1.0) 6.630 * [taylor]: Taking taylor expansion of (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) in x 6.630 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in x 6.630 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in x 6.630 * [taylor]: Taking taylor expansion of (/ x y) in x 6.630 * [taylor]: Taking taylor expansion of x in x 6.630 * [taylor]: Taking taylor expansion of y in x 6.630 * [taylor]: Taking taylor expansion of 0.25 in x 6.630 * [taylor]: Taking taylor expansion of (/ z y) in x 6.630 * [taylor]: Taking taylor expansion of z in x 6.630 * [taylor]: Taking taylor expansion of y in x 6.630 * [taylor]: Taking taylor expansion of 4.0 in x 6.630 * [taylor]: Taking taylor expansion of 1.0 in x 6.630 * [taylor]: Taking taylor expansion of (fma (- (+ (/ x y) 0.25) (/ z y)) 4.0 1.0) in x 6.630 * [taylor]: Rewrote expression to (+ (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) 1.0) 6.630 * [taylor]: Taking taylor expansion of (* (- (+ (/ x y) 0.25) (/ z y)) 4.0) in x 6.630 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in x 6.630 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in x 6.630 * [taylor]: Taking taylor expansion of (/ x y) in x 6.630 * [taylor]: Taking taylor expansion of x in x 6.630 * [taylor]: Taking taylor expansion of y in x 6.630 * [taylor]: Taking taylor expansion of 0.25 in x 6.630 * [taylor]: Taking taylor expansion of (/ z y) in x 6.630 * [taylor]: Taking taylor expansion of z in x 6.630 * [taylor]: Taking taylor expansion of y in x 6.630 * [taylor]: Taking taylor expansion of 4.0 in x 6.630 * [taylor]: Taking taylor expansion of 1.0 in x 6.631 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ z y))) in z 6.631 * [taylor]: Taking taylor expansion of 2.0 in z 6.631 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 6.631 * [taylor]: Taking taylor expansion of 4.0 in z 6.631 * [taylor]: Taking taylor expansion of (/ z y) in z 6.631 * [taylor]: Taking taylor expansion of z in z 6.631 * [taylor]: Taking taylor expansion of y in z 6.632 * [taylor]: Taking taylor expansion of 2.0 in y 6.633 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 6.633 * [taylor]: Taking taylor expansion of 4.0 in z 6.633 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.633 * [taylor]: Taking taylor expansion of y in z 6.633 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y 6.633 * [taylor]: Taking taylor expansion of 4.0 in y 6.633 * [taylor]: Taking taylor expansion of y in y 6.634 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 6.634 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 6.634 * [taylor]: Taking taylor expansion of 4.0 in y 6.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.634 * [taylor]: Taking taylor expansion of y in y 6.636 * [approximate]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in (x z y) around 0 6.636 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in y 6.636 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0) 6.636 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in y 6.636 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in y 6.636 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in y 6.636 * [taylor]: Taking taylor expansion of (/ y x) in y 6.636 * [taylor]: Taking taylor expansion of y in y 6.636 * [taylor]: Taking taylor expansion of x in y 6.636 * [taylor]: Taking taylor expansion of 0.25 in y 6.636 * [taylor]: Taking taylor expansion of (/ y z) in y 6.636 * [taylor]: Taking taylor expansion of y in y 6.636 * [taylor]: Taking taylor expansion of z in y 6.636 * [taylor]: Taking taylor expansion of 4.0 in y 6.636 * [taylor]: Taking taylor expansion of 1.0 in y 6.636 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in z 6.636 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0) 6.637 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in z 6.637 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in z 6.637 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in z 6.637 * [taylor]: Taking taylor expansion of (/ y x) in z 6.637 * [taylor]: Taking taylor expansion of y in z 6.637 * [taylor]: Taking taylor expansion of x in z 6.637 * [taylor]: Taking taylor expansion of 0.25 in z 6.637 * [taylor]: Taking taylor expansion of (/ y z) in z 6.637 * [taylor]: Taking taylor expansion of y in z 6.637 * [taylor]: Taking taylor expansion of z in z 6.637 * [taylor]: Taking taylor expansion of 4.0 in z 6.637 * [taylor]: Taking taylor expansion of 1.0 in z 6.637 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in x 6.637 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0) 6.637 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in x 6.637 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x 6.637 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 6.637 * [taylor]: Taking taylor expansion of (/ y x) in x 6.637 * [taylor]: Taking taylor expansion of y in x 6.637 * [taylor]: Taking taylor expansion of x in x 6.637 * [taylor]: Taking taylor expansion of 0.25 in x 6.637 * [taylor]: Taking taylor expansion of (/ y z) in x 6.637 * [taylor]: Taking taylor expansion of y in x 6.637 * [taylor]: Taking taylor expansion of z in x 6.637 * [taylor]: Taking taylor expansion of 4.0 in x 6.637 * [taylor]: Taking taylor expansion of 1.0 in x 6.637 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in x 6.637 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0) 6.637 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in x 6.637 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x 6.637 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 6.637 * [taylor]: Taking taylor expansion of (/ y x) in x 6.637 * [taylor]: Taking taylor expansion of y in x 6.637 * [taylor]: Taking taylor expansion of x in x 6.637 * [taylor]: Taking taylor expansion of 0.25 in x 6.637 * [taylor]: Taking taylor expansion of (/ y z) in x 6.638 * [taylor]: Taking taylor expansion of y in x 6.638 * [taylor]: Taking taylor expansion of z in x 6.638 * [taylor]: Taking taylor expansion of 4.0 in x 6.638 * [taylor]: Taking taylor expansion of 1.0 in x 6.638 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 6.638 * [taylor]: Taking taylor expansion of 4.0 in z 6.638 * [taylor]: Taking taylor expansion of y in z 6.639 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z 6.640 * [taylor]: Taking taylor expansion of 2.0 in z 6.640 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 6.640 * [taylor]: Taking taylor expansion of 4.0 in z 6.640 * [taylor]: Taking taylor expansion of (/ y z) in z 6.640 * [taylor]: Taking taylor expansion of y in z 6.640 * [taylor]: Taking taylor expansion of z in z 6.640 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 6.640 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 6.640 * [taylor]: Taking taylor expansion of 4.0 in y 6.640 * [taylor]: Taking taylor expansion of y in y 6.641 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 6.641 * [taylor]: Taking taylor expansion of 4.0 in y 6.641 * [taylor]: Taking taylor expansion of y in y 6.644 * [taylor]: Taking taylor expansion of 0 in z 6.645 * [taylor]: Taking taylor expansion of 2.0 in y 6.646 * [taylor]: Taking taylor expansion of 0 in y 6.650 * [approximate]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in (x z y) around 0 6.650 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in y 6.650 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0) 6.650 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in y 6.650 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in y 6.650 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in y 6.650 * [taylor]: Taking taylor expansion of (/ y x) in y 6.650 * [taylor]: Taking taylor expansion of y in y 6.650 * [taylor]: Taking taylor expansion of x in y 6.650 * [taylor]: Taking taylor expansion of 0.25 in y 6.650 * [taylor]: Taking taylor expansion of (/ y z) in y 6.650 * [taylor]: Taking taylor expansion of y in y 6.650 * [taylor]: Taking taylor expansion of z in y 6.650 * [taylor]: Taking taylor expansion of 4.0 in y 6.650 * [taylor]: Taking taylor expansion of 1.0 in y 6.650 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in z 6.650 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0) 6.650 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in z 6.650 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in z 6.650 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in z 6.650 * [taylor]: Taking taylor expansion of (/ y x) in z 6.650 * [taylor]: Taking taylor expansion of y in z 6.650 * [taylor]: Taking taylor expansion of x in z 6.650 * [taylor]: Taking taylor expansion of 0.25 in z 6.651 * [taylor]: Taking taylor expansion of (/ y z) in z 6.651 * [taylor]: Taking taylor expansion of y in z 6.651 * [taylor]: Taking taylor expansion of z in z 6.651 * [taylor]: Taking taylor expansion of 4.0 in z 6.651 * [taylor]: Taking taylor expansion of 1.0 in z 6.651 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in x 6.651 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0) 6.651 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in x 6.651 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x 6.651 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 6.651 * [taylor]: Taking taylor expansion of (/ y x) in x 6.651 * [taylor]: Taking taylor expansion of y in x 6.651 * [taylor]: Taking taylor expansion of x in x 6.651 * [taylor]: Taking taylor expansion of 0.25 in x 6.651 * [taylor]: Taking taylor expansion of (/ y z) in x 6.651 * [taylor]: Taking taylor expansion of y in x 6.651 * [taylor]: Taking taylor expansion of z in x 6.651 * [taylor]: Taking taylor expansion of 4.0 in x 6.651 * [taylor]: Taking taylor expansion of 1.0 in x 6.651 * [taylor]: Taking taylor expansion of (fma (- (+ (/ y x) 0.25) (/ y z)) 4.0 1.0) in x 6.651 * [taylor]: Rewrote expression to (+ (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) 1.0) 6.651 * [taylor]: Taking taylor expansion of (* (- (+ (/ y x) 0.25) (/ y z)) 4.0) in x 6.651 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x 6.651 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 6.651 * [taylor]: Taking taylor expansion of (/ y x) in x 6.651 * [taylor]: Taking taylor expansion of y in x 6.651 * [taylor]: Taking taylor expansion of x in x 6.651 * [taylor]: Taking taylor expansion of 0.25 in x 6.651 * [taylor]: Taking taylor expansion of (/ y z) in x 6.651 * [taylor]: Taking taylor expansion of y in x 6.651 * [taylor]: Taking taylor expansion of z in x 6.651 * [taylor]: Taking taylor expansion of 4.0 in x 6.651 * [taylor]: Taking taylor expansion of 1.0 in x 6.652 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 6.652 * [taylor]: Taking taylor expansion of 4.0 in z 6.652 * [taylor]: Taking taylor expansion of y in z 6.653 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z 6.653 * [taylor]: Taking taylor expansion of 2.0 in z 6.653 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 6.653 * [taylor]: Taking taylor expansion of 4.0 in z 6.653 * [taylor]: Taking taylor expansion of (/ y z) in z 6.653 * [taylor]: Taking taylor expansion of y in z 6.653 * [taylor]: Taking taylor expansion of z in z 6.654 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 6.654 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 6.654 * [taylor]: Taking taylor expansion of 4.0 in y 6.654 * [taylor]: Taking taylor expansion of y in y 6.654 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 6.655 * [taylor]: Taking taylor expansion of 4.0 in y 6.655 * [taylor]: Taking taylor expansion of y in y 6.658 * [taylor]: Taking taylor expansion of 0 in z 6.659 * [taylor]: Taking taylor expansion of 2.0 in y 6.660 * [taylor]: Taking taylor expansion of 0 in y 6.663 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 6.663 * [approximate]: Taking taylor expansion of (/ (- x z) y) in (x z y) around 0 6.663 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y 6.663 * [taylor]: Taking taylor expansion of (- x z) in y 6.663 * [taylor]: Taking taylor expansion of x in y 6.663 * [taylor]: Taking taylor expansion of z in y 6.663 * [taylor]: Taking taylor expansion of y in y 6.663 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z 6.663 * [taylor]: Taking taylor expansion of (- x z) in z 6.663 * [taylor]: Taking taylor expansion of x in z 6.663 * [taylor]: Taking taylor expansion of z in z 6.663 * [taylor]: Taking taylor expansion of y in z 6.663 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 6.664 * [taylor]: Taking taylor expansion of (- x z) in x 6.664 * [taylor]: Taking taylor expansion of x in x 6.664 * [taylor]: Taking taylor expansion of z in x 6.664 * [taylor]: Taking taylor expansion of y in x 6.664 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 6.664 * [taylor]: Taking taylor expansion of (- x z) in x 6.664 * [taylor]: Taking taylor expansion of x in x 6.664 * [taylor]: Taking taylor expansion of z in x 6.664 * [taylor]: Taking taylor expansion of y in x 6.664 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z 6.664 * [taylor]: Taking taylor expansion of -1 in z 6.664 * [taylor]: Taking taylor expansion of (/ z y) in z 6.664 * [taylor]: Taking taylor expansion of z in z 6.664 * [taylor]: Taking taylor expansion of y in z 6.665 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.665 * [taylor]: Taking taylor expansion of y in z 6.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.665 * [taylor]: Taking taylor expansion of y in y 6.665 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.665 * [taylor]: Taking taylor expansion of -1 in y 6.665 * [taylor]: Taking taylor expansion of y in y 6.666 * [taylor]: Taking taylor expansion of 0 in z 6.666 * [taylor]: Taking taylor expansion of 0 in y 6.666 * [taylor]: Taking taylor expansion of 0 in y 6.667 * [taylor]: Taking taylor expansion of 0 in y 6.668 * [taylor]: Taking taylor expansion of 0 in z 6.668 * [taylor]: Taking taylor expansion of 0 in y 6.669 * [taylor]: Taking taylor expansion of 0 in y 6.669 * [taylor]: Taking taylor expansion of 0 in y 6.669 * [taylor]: Taking taylor expansion of 0 in y 6.670 * [approximate]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in (x z y) around 0 6.670 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 6.670 * [taylor]: Taking taylor expansion of y in y 6.670 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 6.670 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.670 * [taylor]: Taking taylor expansion of x in y 6.670 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.670 * [taylor]: Taking taylor expansion of z in y 6.670 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 6.670 * [taylor]: Taking taylor expansion of y in z 6.670 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 6.670 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.670 * [taylor]: Taking taylor expansion of x in z 6.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.671 * [taylor]: Taking taylor expansion of z in z 6.671 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 6.671 * [taylor]: Taking taylor expansion of y in x 6.671 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 6.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.671 * [taylor]: Taking taylor expansion of x in x 6.671 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.671 * [taylor]: Taking taylor expansion of z in x 6.671 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 6.671 * [taylor]: Taking taylor expansion of y in x 6.671 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 6.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.671 * [taylor]: Taking taylor expansion of x in x 6.672 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.672 * [taylor]: Taking taylor expansion of z in x 6.672 * [taylor]: Taking taylor expansion of y in z 6.673 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 6.673 * [taylor]: Taking taylor expansion of (/ y z) in z 6.673 * [taylor]: Taking taylor expansion of y in z 6.673 * [taylor]: Taking taylor expansion of z in z 6.673 * [taylor]: Taking taylor expansion of (- y) in y 6.673 * [taylor]: Taking taylor expansion of y in y 6.674 * [taylor]: Taking taylor expansion of y in y 6.675 * [taylor]: Taking taylor expansion of 0 in z 6.676 * [taylor]: Taking taylor expansion of 0 in y 6.676 * [taylor]: Taking taylor expansion of 0 in y 6.678 * [taylor]: Taking taylor expansion of 0 in z 6.678 * [taylor]: Taking taylor expansion of 0 in y 6.679 * [taylor]: Taking taylor expansion of 0 in y 6.679 * [taylor]: Taking taylor expansion of 0 in y 6.680 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in (x z y) around 0 6.680 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y 6.680 * [taylor]: Taking taylor expansion of -1 in y 6.680 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 6.680 * [taylor]: Taking taylor expansion of y in y 6.680 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 6.680 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.680 * [taylor]: Taking taylor expansion of z in y 6.680 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.680 * [taylor]: Taking taylor expansion of x in y 6.680 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z 6.680 * [taylor]: Taking taylor expansion of -1 in z 6.680 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 6.680 * [taylor]: Taking taylor expansion of y in z 6.680 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 6.680 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.680 * [taylor]: Taking taylor expansion of z in z 6.681 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.681 * [taylor]: Taking taylor expansion of x in z 6.681 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 6.681 * [taylor]: Taking taylor expansion of -1 in x 6.681 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 6.681 * [taylor]: Taking taylor expansion of y in x 6.681 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 6.681 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.681 * [taylor]: Taking taylor expansion of z in x 6.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.681 * [taylor]: Taking taylor expansion of x in x 6.681 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 6.681 * [taylor]: Taking taylor expansion of -1 in x 6.681 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 6.681 * [taylor]: Taking taylor expansion of y in x 6.681 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 6.681 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.681 * [taylor]: Taking taylor expansion of z in x 6.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.681 * [taylor]: Taking taylor expansion of x in x 6.682 * [taylor]: Taking taylor expansion of y in z 6.684 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 6.684 * [taylor]: Taking taylor expansion of (/ y z) in z 6.684 * [taylor]: Taking taylor expansion of y in z 6.684 * [taylor]: Taking taylor expansion of z in z 6.684 * [taylor]: Taking taylor expansion of (- y) in y 6.684 * [taylor]: Taking taylor expansion of y in y 6.684 * [taylor]: Taking taylor expansion of y in y 6.686 * [taylor]: Taking taylor expansion of 0 in z 6.687 * [taylor]: Taking taylor expansion of 0 in y 6.687 * [taylor]: Taking taylor expansion of 0 in y 6.690 * [taylor]: Taking taylor expansion of 0 in z 6.690 * [taylor]: Taking taylor expansion of 0 in y 6.691 * [taylor]: Taking taylor expansion of 0 in y 6.691 * [taylor]: Taking taylor expansion of 0 in y 6.692 * * * [progress]: simplifying candidates 6.693 * [simplify]: Simplifying using # : (expm1 (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (log1p (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (* (+ 0.25 (/ (- x z) y)) 4.0) (log (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (exp (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (* (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))) (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (* (* (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0) (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (sqrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (sqrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (expm1 (/ (- x z) y)) (log1p (/ (- x z) y)) (- (log (- x z)) (log y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y)) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- (- x z)) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) 1) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) 1) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (/ (+ (sqrt x) (sqrt z)) 1) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (/ (- x z) 1) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* y (+ (* x x) (+ (* z z) (* x z)))) (* y (+ x z)) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) 6.696 * * [simplify]: iteration 0 : 95 enodes (cost 596 ) 6.714 * * [simplify]: iteration 1 : 196 enodes (cost 571 ) 6.756 * * [simplify]: iteration 2 : 448 enodes (cost 531 ) 6.926 * * [simplify]: iteration 3 : 1117 enodes (cost 522 ) 7.443 * * [simplify]: iteration 4 : 3132 enodes (cost 518 ) 8.908 * * [simplify]: iteration done : 5001 enodes (cost 518 ) 8.908 * [simplify]: Simplified to: (expm1 (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (log1p (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (* (+ 0.25 (/ (- x z) y)) 4.0) (log (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (exp (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (* (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0))) (cbrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (pow (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0) 3) (sqrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (sqrt (fma (+ 0.25 (/ (- x z) y)) 4.0 1.0)) (expm1 (/ (- x z) y)) (log1p (/ (- x z) y)) (log (/ (- x z) y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (pow (/ (- x z) y) 3) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (pow (/ (- x z) y) 3) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- z x) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (* (cbrt (- x z)) (cbrt (- x z))) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (sqrt (- x z)) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (+ (sqrt z) (sqrt x)) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (- x z) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* y (fma x x (* z (+ x z)))) (* y (+ x z)) (fma (/ (- x z) y) 4.0 2.0) (fma (/ (- x z) y) 4.0 2.0) (fma (/ (- x z) y) 4.0 2.0) (/ (- x z) y) (/ (- x z) y) (/ (- x z) y) 8.909 * * * [progress]: adding candidates to table 9.071 * * [progress]: iteration 2 / 4 9.071 * * * [progress]: picking best candidate 9.079 * * * * [pick]: Picked # 9.079 * * * [progress]: localizing error 9.086 * * * [progress]: generating rewritten candidates 9.086 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 9.087 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 9.097 * * * [progress]: generating series expansions 9.097 * * * * [progress]: [ 1 / 2 ] generating series at (2) 9.097 * [approximate]: Taking taylor expansion of (fma (/ (- x z) y) 4.0 2.0) in (x z y) around 0 9.097 * [taylor]: Taking taylor expansion of (fma (/ (- x z) y) 4.0 2.0) in y 9.098 * [taylor]: Rewrote expression to (+ (* (/ (- x z) y) 4.0) 2.0) 9.098 * [taylor]: Taking taylor expansion of (* (/ (- x z) y) 4.0) in y 9.098 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y 9.098 * [taylor]: Taking taylor expansion of (- x z) in y 9.098 * [taylor]: Taking taylor expansion of x in y 9.098 * [taylor]: Taking taylor expansion of z in y 9.098 * [taylor]: Taking taylor expansion of y in y 9.098 * [taylor]: Taking taylor expansion of 4.0 in y 9.098 * [taylor]: Taking taylor expansion of 2.0 in y 9.098 * [taylor]: Taking taylor expansion of (fma (/ (- x z) y) 4.0 2.0) in z 9.098 * [taylor]: Rewrote expression to (+ (* (/ (- x z) y) 4.0) 2.0) 9.098 * [taylor]: Taking taylor expansion of (* (/ (- x z) y) 4.0) in z 9.098 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z 9.098 * [taylor]: Taking taylor expansion of (- x z) in z 9.098 * [taylor]: Taking taylor expansion of x in z 9.098 * [taylor]: Taking taylor expansion of z in z 9.098 * [taylor]: Taking taylor expansion of y in z 9.099 * [taylor]: Taking taylor expansion of 4.0 in z 9.099 * [taylor]: Taking taylor expansion of 2.0 in z 9.099 * [taylor]: Taking taylor expansion of (fma (/ (- x z) y) 4.0 2.0) in x 9.099 * [taylor]: Rewrote expression to (+ (* (/ (- x z) y) 4.0) 2.0) 9.099 * [taylor]: Taking taylor expansion of (* (/ (- x z) y) 4.0) in x 9.099 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 9.099 * [taylor]: Taking taylor expansion of (- x z) in x 9.099 * [taylor]: Taking taylor expansion of x in x 9.099 * [taylor]: Taking taylor expansion of z in x 9.099 * [taylor]: Taking taylor expansion of y in x 9.099 * [taylor]: Taking taylor expansion of 4.0 in x 9.099 * [taylor]: Taking taylor expansion of 2.0 in x 9.099 * [taylor]: Taking taylor expansion of (fma (/ (- x z) y) 4.0 2.0) in x 9.099 * [taylor]: Rewrote expression to (+ (* (/ (- x z) y) 4.0) 2.0) 9.099 * [taylor]: Taking taylor expansion of (* (/ (- x z) y) 4.0) in x 9.099 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 9.100 * [taylor]: Taking taylor expansion of (- x z) in x 9.100 * [taylor]: Taking taylor expansion of x in x 9.100 * [taylor]: Taking taylor expansion of z in x 9.100 * [taylor]: Taking taylor expansion of y in x 9.100 * [taylor]: Taking taylor expansion of 4.0 in x 9.100 * [taylor]: Taking taylor expansion of 2.0 in x 9.100 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ z y))) in z 9.100 * [taylor]: Taking taylor expansion of 2.0 in z 9.100 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 9.100 * [taylor]: Taking taylor expansion of 4.0 in z 9.100 * [taylor]: Taking taylor expansion of (/ z y) in z 9.100 * [taylor]: Taking taylor expansion of z in z 9.100 * [taylor]: Taking taylor expansion of y in z 9.101 * [taylor]: Taking taylor expansion of 2.0 in y 9.102 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 9.102 * [taylor]: Taking taylor expansion of 4.0 in z 9.102 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.102 * [taylor]: Taking taylor expansion of y in z 9.102 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y 9.102 * [taylor]: Taking taylor expansion of 4.0 in y 9.102 * [taylor]: Taking taylor expansion of y in y 9.102 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 9.102 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 9.102 * [taylor]: Taking taylor expansion of 4.0 in y 9.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.103 * [taylor]: Taking taylor expansion of y in y 9.104 * [approximate]: Taking taylor expansion of (fma (* y (- (/ 1 x) (/ 1 z))) 4.0 2.0) in (x z y) around 0 9.105 * [taylor]: Taking taylor expansion of (fma (* y (- (/ 1 x) (/ 1 z))) 4.0 2.0) in y 9.105 * [taylor]: Rewrote expression to (+ (* (* y (- (/ 1 x) (/ 1 z))) 4.0) 2.0) 9.105 * [taylor]: Taking taylor expansion of (* (* y (- (/ 1 x) (/ 1 z))) 4.0) in y 9.105 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 9.105 * [taylor]: Taking taylor expansion of y in y 9.105 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.105 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.105 * [taylor]: Taking taylor expansion of x in y 9.105 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.105 * [taylor]: Taking taylor expansion of z in y 9.105 * [taylor]: Taking taylor expansion of 4.0 in y 9.105 * [taylor]: Taking taylor expansion of 2.0 in y 9.105 * [taylor]: Taking taylor expansion of (fma (* y (- (/ 1 x) (/ 1 z))) 4.0 2.0) in z 9.105 * [taylor]: Rewrote expression to (+ (* (* y (- (/ 1 x) (/ 1 z))) 4.0) 2.0) 9.105 * [taylor]: Taking taylor expansion of (* (* y (- (/ 1 x) (/ 1 z))) 4.0) in z 9.105 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 9.105 * [taylor]: Taking taylor expansion of y in z 9.105 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.105 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.105 * [taylor]: Taking taylor expansion of x in z 9.105 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.105 * [taylor]: Taking taylor expansion of z in z 9.106 * [taylor]: Taking taylor expansion of 4.0 in z 9.106 * [taylor]: Taking taylor expansion of 2.0 in z 9.106 * [taylor]: Taking taylor expansion of (fma (* y (- (/ 1 x) (/ 1 z))) 4.0 2.0) in x 9.106 * [taylor]: Rewrote expression to (+ (* (* y (- (/ 1 x) (/ 1 z))) 4.0) 2.0) 9.106 * [taylor]: Taking taylor expansion of (* (* y (- (/ 1 x) (/ 1 z))) 4.0) in x 9.106 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 9.106 * [taylor]: Taking taylor expansion of y in x 9.106 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.106 * [taylor]: Taking taylor expansion of x in x 9.107 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.107 * [taylor]: Taking taylor expansion of z in x 9.107 * [taylor]: Taking taylor expansion of 4.0 in x 9.107 * [taylor]: Taking taylor expansion of 2.0 in x 9.107 * [taylor]: Taking taylor expansion of (fma (* y (- (/ 1 x) (/ 1 z))) 4.0 2.0) in x 9.107 * [taylor]: Rewrote expression to (+ (* (* y (- (/ 1 x) (/ 1 z))) 4.0) 2.0) 9.107 * [taylor]: Taking taylor expansion of (* (* y (- (/ 1 x) (/ 1 z))) 4.0) in x 9.107 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 9.107 * [taylor]: Taking taylor expansion of y in x 9.107 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.107 * [taylor]: Taking taylor expansion of x in x 9.107 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.107 * [taylor]: Taking taylor expansion of z in x 9.107 * [taylor]: Taking taylor expansion of 4.0 in x 9.107 * [taylor]: Taking taylor expansion of 2.0 in x 9.108 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 9.108 * [taylor]: Taking taylor expansion of 4.0 in z 9.108 * [taylor]: Taking taylor expansion of y in z 9.110 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z 9.110 * [taylor]: Taking taylor expansion of 2.0 in z 9.110 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 9.110 * [taylor]: Taking taylor expansion of 4.0 in z 9.110 * [taylor]: Taking taylor expansion of (/ y z) in z 9.110 * [taylor]: Taking taylor expansion of y in z 9.110 * [taylor]: Taking taylor expansion of z in z 9.110 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 9.110 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 9.110 * [taylor]: Taking taylor expansion of 4.0 in y 9.110 * [taylor]: Taking taylor expansion of y in y 9.111 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 9.111 * [taylor]: Taking taylor expansion of 4.0 in y 9.111 * [taylor]: Taking taylor expansion of y in y 9.114 * [taylor]: Taking taylor expansion of 0 in z 9.115 * [taylor]: Taking taylor expansion of 2.0 in y 9.116 * [taylor]: Taking taylor expansion of 0 in y 9.119 * [approximate]: Taking taylor expansion of (fma (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0 2.0) in (x z y) around 0 9.119 * [taylor]: Taking taylor expansion of (fma (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0 2.0) in y 9.120 * [taylor]: Rewrote expression to (+ (* (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0) 2.0) 9.120 * [taylor]: Taking taylor expansion of (* (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0) in y 9.120 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y 9.120 * [taylor]: Taking taylor expansion of -1 in y 9.120 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 9.120 * [taylor]: Taking taylor expansion of y in y 9.120 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.120 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.120 * [taylor]: Taking taylor expansion of z in y 9.120 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.120 * [taylor]: Taking taylor expansion of x in y 9.120 * [taylor]: Taking taylor expansion of 4.0 in y 9.120 * [taylor]: Taking taylor expansion of 2.0 in y 9.120 * [taylor]: Taking taylor expansion of (fma (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0 2.0) in z 9.120 * [taylor]: Rewrote expression to (+ (* (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0) 2.0) 9.120 * [taylor]: Taking taylor expansion of (* (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0) in z 9.120 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z 9.120 * [taylor]: Taking taylor expansion of -1 in z 9.120 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 9.120 * [taylor]: Taking taylor expansion of y in z 9.120 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.120 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.120 * [taylor]: Taking taylor expansion of z in z 9.121 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.121 * [taylor]: Taking taylor expansion of x in z 9.121 * [taylor]: Taking taylor expansion of 4.0 in z 9.121 * [taylor]: Taking taylor expansion of 2.0 in z 9.121 * [taylor]: Taking taylor expansion of (fma (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0 2.0) in x 9.121 * [taylor]: Rewrote expression to (+ (* (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0) 2.0) 9.121 * [taylor]: Taking taylor expansion of (* (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0) in x 9.121 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 9.121 * [taylor]: Taking taylor expansion of -1 in x 9.121 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 9.121 * [taylor]: Taking taylor expansion of y in x 9.121 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.121 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.121 * [taylor]: Taking taylor expansion of z in x 9.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.121 * [taylor]: Taking taylor expansion of x in x 9.122 * [taylor]: Taking taylor expansion of 4.0 in x 9.122 * [taylor]: Taking taylor expansion of 2.0 in x 9.122 * [taylor]: Taking taylor expansion of (fma (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0 2.0) in x 9.122 * [taylor]: Rewrote expression to (+ (* (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0) 2.0) 9.122 * [taylor]: Taking taylor expansion of (* (* -1 (* y (- (/ 1 z) (/ 1 x)))) 4.0) in x 9.122 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 9.122 * [taylor]: Taking taylor expansion of -1 in x 9.122 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 9.122 * [taylor]: Taking taylor expansion of y in x 9.122 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.122 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.122 * [taylor]: Taking taylor expansion of z in x 9.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.122 * [taylor]: Taking taylor expansion of x in x 9.123 * [taylor]: Taking taylor expansion of 4.0 in x 9.123 * [taylor]: Taking taylor expansion of 2.0 in x 9.124 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 9.124 * [taylor]: Taking taylor expansion of 4.0 in z 9.124 * [taylor]: Taking taylor expansion of y in z 9.126 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z 9.126 * [taylor]: Taking taylor expansion of 2.0 in z 9.126 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 9.126 * [taylor]: Taking taylor expansion of 4.0 in z 9.126 * [taylor]: Taking taylor expansion of (/ y z) in z 9.126 * [taylor]: Taking taylor expansion of y in z 9.126 * [taylor]: Taking taylor expansion of z in z 9.126 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 9.126 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 9.126 * [taylor]: Taking taylor expansion of 4.0 in y 9.126 * [taylor]: Taking taylor expansion of y in y 9.127 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 9.127 * [taylor]: Taking taylor expansion of 4.0 in y 9.127 * [taylor]: Taking taylor expansion of y in y 9.130 * [taylor]: Taking taylor expansion of 0 in z 9.132 * [taylor]: Taking taylor expansion of 2.0 in y 9.132 * [taylor]: Taking taylor expansion of 0 in y 9.136 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 9.136 * [approximate]: Taking taylor expansion of (/ (- x z) y) in (x z y) around 0 9.136 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y 9.136 * [taylor]: Taking taylor expansion of (- x z) in y 9.136 * [taylor]: Taking taylor expansion of x in y 9.136 * [taylor]: Taking taylor expansion of z in y 9.136 * [taylor]: Taking taylor expansion of y in y 9.136 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z 9.136 * [taylor]: Taking taylor expansion of (- x z) in z 9.136 * [taylor]: Taking taylor expansion of x in z 9.136 * [taylor]: Taking taylor expansion of z in z 9.136 * [taylor]: Taking taylor expansion of y in z 9.136 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 9.137 * [taylor]: Taking taylor expansion of (- x z) in x 9.137 * [taylor]: Taking taylor expansion of x in x 9.137 * [taylor]: Taking taylor expansion of z in x 9.137 * [taylor]: Taking taylor expansion of y in x 9.137 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 9.137 * [taylor]: Taking taylor expansion of (- x z) in x 9.137 * [taylor]: Taking taylor expansion of x in x 9.137 * [taylor]: Taking taylor expansion of z in x 9.137 * [taylor]: Taking taylor expansion of y in x 9.137 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z 9.137 * [taylor]: Taking taylor expansion of -1 in z 9.137 * [taylor]: Taking taylor expansion of (/ z y) in z 9.137 * [taylor]: Taking taylor expansion of z in z 9.137 * [taylor]: Taking taylor expansion of y in z 9.138 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.138 * [taylor]: Taking taylor expansion of y in z 9.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.138 * [taylor]: Taking taylor expansion of y in y 9.138 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.138 * [taylor]: Taking taylor expansion of -1 in y 9.138 * [taylor]: Taking taylor expansion of y in y 9.140 * [taylor]: Taking taylor expansion of 0 in z 9.140 * [taylor]: Taking taylor expansion of 0 in y 9.140 * [taylor]: Taking taylor expansion of 0 in y 9.140 * [taylor]: Taking taylor expansion of 0 in y 9.142 * [taylor]: Taking taylor expansion of 0 in z 9.142 * [taylor]: Taking taylor expansion of 0 in y 9.142 * [taylor]: Taking taylor expansion of 0 in y 9.142 * [taylor]: Taking taylor expansion of 0 in y 9.143 * [taylor]: Taking taylor expansion of 0 in y 9.144 * [approximate]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in (x z y) around 0 9.144 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 9.144 * [taylor]: Taking taylor expansion of y in y 9.144 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.144 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.144 * [taylor]: Taking taylor expansion of x in y 9.144 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.144 * [taylor]: Taking taylor expansion of z in y 9.144 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 9.145 * [taylor]: Taking taylor expansion of y in z 9.145 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.145 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.145 * [taylor]: Taking taylor expansion of x in z 9.145 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.145 * [taylor]: Taking taylor expansion of z in z 9.145 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 9.145 * [taylor]: Taking taylor expansion of y in x 9.145 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.145 * [taylor]: Taking taylor expansion of x in x 9.146 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.146 * [taylor]: Taking taylor expansion of z in x 9.146 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 9.146 * [taylor]: Taking taylor expansion of y in x 9.146 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.146 * [taylor]: Taking taylor expansion of x in x 9.146 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.146 * [taylor]: Taking taylor expansion of z in x 9.147 * [taylor]: Taking taylor expansion of y in z 9.148 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 9.148 * [taylor]: Taking taylor expansion of (/ y z) in z 9.148 * [taylor]: Taking taylor expansion of y in z 9.148 * [taylor]: Taking taylor expansion of z in z 9.148 * [taylor]: Taking taylor expansion of (- y) in y 9.148 * [taylor]: Taking taylor expansion of y in y 9.148 * [taylor]: Taking taylor expansion of y in y 9.155 * [taylor]: Taking taylor expansion of 0 in z 9.156 * [taylor]: Taking taylor expansion of 0 in y 9.156 * [taylor]: Taking taylor expansion of 0 in y 9.159 * [taylor]: Taking taylor expansion of 0 in z 9.159 * [taylor]: Taking taylor expansion of 0 in y 9.160 * [taylor]: Taking taylor expansion of 0 in y 9.160 * [taylor]: Taking taylor expansion of 0 in y 9.161 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in (x z y) around 0 9.161 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y 9.161 * [taylor]: Taking taylor expansion of -1 in y 9.161 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 9.161 * [taylor]: Taking taylor expansion of y in y 9.161 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.161 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.161 * [taylor]: Taking taylor expansion of z in y 9.161 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.161 * [taylor]: Taking taylor expansion of x in y 9.162 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z 9.162 * [taylor]: Taking taylor expansion of -1 in z 9.162 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 9.162 * [taylor]: Taking taylor expansion of y in z 9.162 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.162 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.162 * [taylor]: Taking taylor expansion of z in z 9.162 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.162 * [taylor]: Taking taylor expansion of x in z 9.162 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 9.162 * [taylor]: Taking taylor expansion of -1 in x 9.162 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 9.162 * [taylor]: Taking taylor expansion of y in x 9.162 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.162 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.162 * [taylor]: Taking taylor expansion of z in x 9.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.162 * [taylor]: Taking taylor expansion of x in x 9.163 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 9.163 * [taylor]: Taking taylor expansion of -1 in x 9.163 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 9.163 * [taylor]: Taking taylor expansion of y in x 9.163 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.163 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.163 * [taylor]: Taking taylor expansion of z in x 9.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.163 * [taylor]: Taking taylor expansion of x in x 9.164 * [taylor]: Taking taylor expansion of y in z 9.165 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 9.165 * [taylor]: Taking taylor expansion of (/ y z) in z 9.165 * [taylor]: Taking taylor expansion of y in z 9.165 * [taylor]: Taking taylor expansion of z in z 9.166 * [taylor]: Taking taylor expansion of (- y) in y 9.166 * [taylor]: Taking taylor expansion of y in y 9.166 * [taylor]: Taking taylor expansion of y in y 9.168 * [taylor]: Taking taylor expansion of 0 in z 9.169 * [taylor]: Taking taylor expansion of 0 in y 9.169 * [taylor]: Taking taylor expansion of 0 in y 9.173 * [taylor]: Taking taylor expansion of 0 in z 9.173 * [taylor]: Taking taylor expansion of 0 in y 9.174 * [taylor]: Taking taylor expansion of 0 in y 9.174 * [taylor]: Taking taylor expansion of 0 in y 9.175 * * * [progress]: simplifying candidates 9.176 * [simplify]: Simplifying using # : (expm1 (fma (/ (- x z) y) 4.0 2.0)) (log1p (fma (/ (- x z) y) 4.0 2.0)) (* (/ (- x z) y) 4.0) (log (fma (/ (- x z) y) 4.0 2.0)) (exp (fma (/ (- x z) y) 4.0 2.0)) (* (cbrt (fma (/ (- x z) y) 4.0 2.0)) (cbrt (fma (/ (- x z) y) 4.0 2.0))) (cbrt (fma (/ (- x z) y) 4.0 2.0)) (* (* (fma (/ (- x z) y) 4.0 2.0) (fma (/ (- x z) y) 4.0 2.0)) (fma (/ (- x z) y) 4.0 2.0)) (sqrt (fma (/ (- x z) y) 4.0 2.0)) (sqrt (fma (/ (- x z) y) 4.0 2.0)) (expm1 (/ (- x z) y)) (log1p (/ (- x z) y)) (- (log (- x z)) (log y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y)) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- (- x z)) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) 1) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) 1) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (/ (+ (sqrt x) (sqrt z)) 1) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (/ (- x z) 1) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* y (+ (* x x) (+ (* z z) (* x z)))) (* y (+ x z)) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) 9.179 * * [simplify]: iteration 0 : 92 enodes (cost 570 ) 9.194 * * [simplify]: iteration 1 : 194 enodes (cost 545 ) 9.243 * * [simplify]: iteration 2 : 437 enodes (cost 497 ) 9.425 * * [simplify]: iteration 3 : 1155 enodes (cost 497 ) 9.981 * * [simplify]: iteration 4 : 3575 enodes (cost 496 ) 11.159 * * [simplify]: iteration done : 5000 enodes (cost 496 ) 11.160 * [simplify]: Simplified to: (expm1 (fma (/ (- x z) y) 4.0 2.0)) (log1p (fma (/ (- x z) y) 4.0 2.0)) (/ 4.0 (/ y (- x z))) (log (fma (/ (- x z) y) 4.0 2.0)) (exp (fma (/ (- x z) y) 4.0 2.0)) (* (cbrt (fma (/ (- x z) y) 4.0 2.0)) (cbrt (fma (/ (- x z) y) 4.0 2.0))) (cbrt (fma (/ (- x z) y) 4.0 2.0)) (pow (fma (/ (- x z) y) 4.0 2.0) 3) (sqrt (fma (/ (- x z) y) 4.0 2.0)) (sqrt (fma (/ (- x z) y) 4.0 2.0)) (expm1 (/ (- x z) y)) (log1p (/ (- x z) y)) (log (/ (- x z) y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (pow (/ (- x z) y) 3) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (pow (/ (- x z) y) 3) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- z x) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (* (cbrt (- x z)) (cbrt (- x z))) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (sqrt (- x z)) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (+ (sqrt x) (sqrt z)) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (- x z) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* y (fma x x (* z (+ x z)))) (* y (+ x z)) (fma (/ (- x z) y) 4.0 2.0) (fma (/ (- x z) y) 4.0 2.0) (fma (/ (- x z) y) 4.0 2.0) (/ (- x z) y) (/ (- x z) y) (/ (- x z) y) 11.160 * * * [progress]: adding candidates to table 11.308 * * [progress]: iteration 3 / 4 11.308 * * * [progress]: picking best candidate 11.311 * * * * [pick]: Picked # 11.311 * * * [progress]: localizing error 11.322 * * * [progress]: generating rewritten candidates 11.322 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 11.325 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 11.327 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 11.329 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 11.358 * * * [progress]: generating series expansions 11.358 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 11.358 * [approximate]: Taking taylor expansion of (pow (- x z) 1/3) in (x z) around 0 11.358 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in z 11.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in z 11.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in z 11.358 * [taylor]: Taking taylor expansion of 1/3 in z 11.358 * [taylor]: Taking taylor expansion of (log (- x z)) in z 11.358 * [taylor]: Taking taylor expansion of (- x z) in z 11.358 * [taylor]: Taking taylor expansion of x in z 11.358 * [taylor]: Taking taylor expansion of z in z 11.359 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 11.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 11.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 11.359 * [taylor]: Taking taylor expansion of 1/3 in x 11.359 * [taylor]: Taking taylor expansion of (log (- x z)) in x 11.359 * [taylor]: Taking taylor expansion of (- x z) in x 11.359 * [taylor]: Taking taylor expansion of x in x 11.359 * [taylor]: Taking taylor expansion of z in x 11.360 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 11.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 11.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 11.360 * [taylor]: Taking taylor expansion of 1/3 in x 11.360 * [taylor]: Taking taylor expansion of (log (- x z)) in x 11.360 * [taylor]: Taking taylor expansion of (- x z) in x 11.360 * [taylor]: Taking taylor expansion of x in x 11.360 * [taylor]: Taking taylor expansion of z in x 11.360 * [taylor]: Taking taylor expansion of (pow (- z) 1/3) in z 11.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- z)))) in z 11.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (- z))) in z 11.360 * [taylor]: Taking taylor expansion of 1/3 in z 11.360 * [taylor]: Taking taylor expansion of (log (- z)) in z 11.360 * [taylor]: Taking taylor expansion of (- z) in z 11.360 * [taylor]: Taking taylor expansion of z in z 11.365 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 2)) 1/3)) in z 11.365 * [taylor]: Taking taylor expansion of -1/3 in z 11.365 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 2)) 1/3) in z 11.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 2))))) in z 11.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 2)))) in z 11.365 * [taylor]: Taking taylor expansion of 1/3 in z 11.365 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 2))) in z 11.365 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 11.365 * [taylor]: Taking taylor expansion of -1 in z 11.365 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.365 * [taylor]: Taking taylor expansion of z in z 11.375 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 5)) 1/3)) in z 11.375 * [taylor]: Taking taylor expansion of -1/9 in z 11.375 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 5)) 1/3) in z 11.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 5))))) in z 11.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 5)))) in z 11.375 * [taylor]: Taking taylor expansion of 1/3 in z 11.375 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 5))) in z 11.375 * [taylor]: Taking taylor expansion of (/ -1 (pow z 5)) in z 11.375 * [taylor]: Taking taylor expansion of -1 in z 11.375 * [taylor]: Taking taylor expansion of (pow z 5) in z 11.375 * [taylor]: Taking taylor expansion of z in z 11.381 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in (x z) around 0 11.381 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in z 11.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in z 11.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in z 11.381 * [taylor]: Taking taylor expansion of 1/3 in z 11.381 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in z 11.381 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.381 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.381 * [taylor]: Taking taylor expansion of x in z 11.381 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.381 * [taylor]: Taking taylor expansion of z in z 11.384 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 11.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 11.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 11.384 * [taylor]: Taking taylor expansion of 1/3 in x 11.384 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 11.384 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.384 * [taylor]: Taking taylor expansion of x in x 11.384 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.385 * [taylor]: Taking taylor expansion of z in x 11.386 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 11.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 11.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 11.386 * [taylor]: Taking taylor expansion of 1/3 in x 11.386 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 11.386 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.386 * [taylor]: Taking taylor expansion of x in x 11.386 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.386 * [taylor]: Taking taylor expansion of z in x 11.387 * [taylor]: Taking taylor expansion of (pow x -1/3) in z 11.388 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in z 11.388 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in z 11.388 * [taylor]: Taking taylor expansion of -1/3 in z 11.388 * [taylor]: Taking taylor expansion of (log x) in z 11.388 * [taylor]: Taking taylor expansion of x in z 11.390 * [taylor]: Taking taylor expansion of (* -1/3 (* (pow (/ 1 x) 1/3) (/ 1 z))) in z 11.390 * [taylor]: Taking taylor expansion of -1/3 in z 11.390 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 z)) in z 11.390 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 11.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 11.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 11.390 * [taylor]: Taking taylor expansion of 1/3 in z 11.390 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 11.390 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.390 * [taylor]: Taking taylor expansion of x in z 11.390 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.390 * [taylor]: Taking taylor expansion of z in z 11.399 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2)))) in z 11.399 * [taylor]: Taking taylor expansion of -1/9 in z 11.400 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2))) in z 11.400 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 11.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 11.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 11.400 * [taylor]: Taking taylor expansion of 1/3 in z 11.400 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 11.400 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.400 * [taylor]: Taking taylor expansion of x in z 11.400 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.400 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.400 * [taylor]: Taking taylor expansion of z in z 11.421 * [taylor]: Taking taylor expansion of (* -5/81 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3)))) in z 11.422 * [taylor]: Taking taylor expansion of -5/81 in z 11.422 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3))) in z 11.422 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 11.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 11.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 11.422 * [taylor]: Taking taylor expansion of 1/3 in z 11.422 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 11.422 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.422 * [taylor]: Taking taylor expansion of x in z 11.422 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 11.422 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.422 * [taylor]: Taking taylor expansion of z in z 11.441 * [approximate]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in (x z) around 0 11.441 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in z 11.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in z 11.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in z 11.441 * [taylor]: Taking taylor expansion of 1/3 in z 11.441 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in z 11.441 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.441 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.441 * [taylor]: Taking taylor expansion of z in z 11.441 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.442 * [taylor]: Taking taylor expansion of x in z 11.443 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 11.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 11.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 11.443 * [taylor]: Taking taylor expansion of 1/3 in x 11.443 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 11.443 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.443 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.443 * [taylor]: Taking taylor expansion of z in x 11.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.443 * [taylor]: Taking taylor expansion of x in x 11.452 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 11.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 11.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 11.452 * [taylor]: Taking taylor expansion of 1/3 in x 11.452 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 11.452 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.452 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.452 * [taylor]: Taking taylor expansion of z in x 11.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.452 * [taylor]: Taking taylor expansion of x in x 11.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.455 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.455 * [taylor]: Taking taylor expansion of 1/3 in z 11.455 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.455 * [taylor]: Taking taylor expansion of (log -1) in z 11.455 * [taylor]: Taking taylor expansion of -1 in z 11.456 * [taylor]: Taking taylor expansion of (log x) in z 11.456 * [taylor]: Taking taylor expansion of x in z 11.460 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log -1) (log x)))) z)) in z 11.460 * [taylor]: Taking taylor expansion of -1/3 in z 11.460 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) z) in z 11.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.460 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.460 * [taylor]: Taking taylor expansion of 1/3 in z 11.461 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.461 * [taylor]: Taking taylor expansion of (log -1) in z 11.461 * [taylor]: Taking taylor expansion of -1 in z 11.461 * [taylor]: Taking taylor expansion of (log x) in z 11.461 * [taylor]: Taking taylor expansion of x in z 11.462 * [taylor]: Taking taylor expansion of z in z 11.476 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2))) in z 11.477 * [taylor]: Taking taylor expansion of -1/9 in z 11.477 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2)) in z 11.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.477 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.477 * [taylor]: Taking taylor expansion of 1/3 in z 11.477 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.477 * [taylor]: Taking taylor expansion of (log -1) in z 11.477 * [taylor]: Taking taylor expansion of -1 in z 11.477 * [taylor]: Taking taylor expansion of (log x) in z 11.477 * [taylor]: Taking taylor expansion of x in z 11.478 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.478 * [taylor]: Taking taylor expansion of z in z 11.514 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3))) in z 11.514 * [taylor]: Taking taylor expansion of -5/81 in z 11.514 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3)) in z 11.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.514 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.514 * [taylor]: Taking taylor expansion of 1/3 in z 11.514 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.514 * [taylor]: Taking taylor expansion of (log -1) in z 11.514 * [taylor]: Taking taylor expansion of -1 in z 11.514 * [taylor]: Taking taylor expansion of (log x) in z 11.514 * [taylor]: Taking taylor expansion of x in z 11.516 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.516 * [taylor]: Taking taylor expansion of z in z 11.544 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 11.544 * [approximate]: Taking taylor expansion of (pow (- x z) 1/3) in (x z) around 0 11.544 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in z 11.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in z 11.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in z 11.544 * [taylor]: Taking taylor expansion of 1/3 in z 11.544 * [taylor]: Taking taylor expansion of (log (- x z)) in z 11.544 * [taylor]: Taking taylor expansion of (- x z) in z 11.544 * [taylor]: Taking taylor expansion of x in z 11.544 * [taylor]: Taking taylor expansion of z in z 11.545 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 11.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 11.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 11.545 * [taylor]: Taking taylor expansion of 1/3 in x 11.545 * [taylor]: Taking taylor expansion of (log (- x z)) in x 11.545 * [taylor]: Taking taylor expansion of (- x z) in x 11.545 * [taylor]: Taking taylor expansion of x in x 11.545 * [taylor]: Taking taylor expansion of z in x 11.545 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 11.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 11.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 11.545 * [taylor]: Taking taylor expansion of 1/3 in x 11.545 * [taylor]: Taking taylor expansion of (log (- x z)) in x 11.545 * [taylor]: Taking taylor expansion of (- x z) in x 11.545 * [taylor]: Taking taylor expansion of x in x 11.545 * [taylor]: Taking taylor expansion of z in x 11.545 * [taylor]: Taking taylor expansion of (pow (- z) 1/3) in z 11.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- z)))) in z 11.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (- z))) in z 11.545 * [taylor]: Taking taylor expansion of 1/3 in z 11.545 * [taylor]: Taking taylor expansion of (log (- z)) in z 11.545 * [taylor]: Taking taylor expansion of (- z) in z 11.545 * [taylor]: Taking taylor expansion of z in z 11.550 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 2)) 1/3)) in z 11.550 * [taylor]: Taking taylor expansion of -1/3 in z 11.550 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 2)) 1/3) in z 11.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 2))))) in z 11.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 2)))) in z 11.550 * [taylor]: Taking taylor expansion of 1/3 in z 11.550 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 2))) in z 11.550 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 11.550 * [taylor]: Taking taylor expansion of -1 in z 11.550 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.550 * [taylor]: Taking taylor expansion of z in z 11.567 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 5)) 1/3)) in z 11.567 * [taylor]: Taking taylor expansion of -1/9 in z 11.567 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 5)) 1/3) in z 11.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 5))))) in z 11.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 5)))) in z 11.567 * [taylor]: Taking taylor expansion of 1/3 in z 11.567 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 5))) in z 11.567 * [taylor]: Taking taylor expansion of (/ -1 (pow z 5)) in z 11.567 * [taylor]: Taking taylor expansion of -1 in z 11.567 * [taylor]: Taking taylor expansion of (pow z 5) in z 11.567 * [taylor]: Taking taylor expansion of z in z 11.573 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in (x z) around 0 11.573 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in z 11.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in z 11.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in z 11.573 * [taylor]: Taking taylor expansion of 1/3 in z 11.573 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in z 11.573 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.573 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.573 * [taylor]: Taking taylor expansion of x in z 11.573 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.573 * [taylor]: Taking taylor expansion of z in z 11.576 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 11.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 11.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 11.576 * [taylor]: Taking taylor expansion of 1/3 in x 11.576 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 11.576 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.576 * [taylor]: Taking taylor expansion of x in x 11.576 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.576 * [taylor]: Taking taylor expansion of z in x 11.577 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 11.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 11.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 11.578 * [taylor]: Taking taylor expansion of 1/3 in x 11.578 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 11.578 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.578 * [taylor]: Taking taylor expansion of x in x 11.578 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.578 * [taylor]: Taking taylor expansion of z in x 11.579 * [taylor]: Taking taylor expansion of (pow x -1/3) in z 11.579 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in z 11.579 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in z 11.579 * [taylor]: Taking taylor expansion of -1/3 in z 11.579 * [taylor]: Taking taylor expansion of (log x) in z 11.579 * [taylor]: Taking taylor expansion of x in z 11.581 * [taylor]: Taking taylor expansion of (* -1/3 (* (pow (/ 1 x) 1/3) (/ 1 z))) in z 11.582 * [taylor]: Taking taylor expansion of -1/3 in z 11.582 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 z)) in z 11.582 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 11.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 11.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 11.582 * [taylor]: Taking taylor expansion of 1/3 in z 11.582 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 11.582 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.582 * [taylor]: Taking taylor expansion of x in z 11.582 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.582 * [taylor]: Taking taylor expansion of z in z 11.591 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2)))) in z 11.591 * [taylor]: Taking taylor expansion of -1/9 in z 11.591 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2))) in z 11.591 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 11.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 11.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 11.591 * [taylor]: Taking taylor expansion of 1/3 in z 11.591 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 11.592 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.592 * [taylor]: Taking taylor expansion of x in z 11.592 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.592 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.592 * [taylor]: Taking taylor expansion of z in z 11.615 * [taylor]: Taking taylor expansion of (* -5/81 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3)))) in z 11.615 * [taylor]: Taking taylor expansion of -5/81 in z 11.615 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3))) in z 11.615 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 11.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 11.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 11.615 * [taylor]: Taking taylor expansion of 1/3 in z 11.615 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 11.615 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.615 * [taylor]: Taking taylor expansion of x in z 11.615 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 11.615 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.615 * [taylor]: Taking taylor expansion of z in z 11.634 * [approximate]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in (x z) around 0 11.634 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in z 11.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in z 11.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in z 11.634 * [taylor]: Taking taylor expansion of 1/3 in z 11.634 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in z 11.634 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.634 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.634 * [taylor]: Taking taylor expansion of z in z 11.635 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.635 * [taylor]: Taking taylor expansion of x in z 11.636 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 11.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 11.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 11.636 * [taylor]: Taking taylor expansion of 1/3 in x 11.636 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 11.636 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.636 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.636 * [taylor]: Taking taylor expansion of z in x 11.636 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.636 * [taylor]: Taking taylor expansion of x in x 11.639 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 11.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 11.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 11.639 * [taylor]: Taking taylor expansion of 1/3 in x 11.639 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 11.639 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.639 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.639 * [taylor]: Taking taylor expansion of z in x 11.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.639 * [taylor]: Taking taylor expansion of x in x 11.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.642 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.642 * [taylor]: Taking taylor expansion of 1/3 in z 11.642 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.642 * [taylor]: Taking taylor expansion of (log -1) in z 11.642 * [taylor]: Taking taylor expansion of -1 in z 11.642 * [taylor]: Taking taylor expansion of (log x) in z 11.642 * [taylor]: Taking taylor expansion of x in z 11.647 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log -1) (log x)))) z)) in z 11.647 * [taylor]: Taking taylor expansion of -1/3 in z 11.647 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) z) in z 11.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.647 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.647 * [taylor]: Taking taylor expansion of 1/3 in z 11.647 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.647 * [taylor]: Taking taylor expansion of (log -1) in z 11.647 * [taylor]: Taking taylor expansion of -1 in z 11.647 * [taylor]: Taking taylor expansion of (log x) in z 11.647 * [taylor]: Taking taylor expansion of x in z 11.649 * [taylor]: Taking taylor expansion of z in z 11.663 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2))) in z 11.663 * [taylor]: Taking taylor expansion of -1/9 in z 11.663 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2)) in z 11.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.663 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.663 * [taylor]: Taking taylor expansion of 1/3 in z 11.663 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.663 * [taylor]: Taking taylor expansion of (log -1) in z 11.663 * [taylor]: Taking taylor expansion of -1 in z 11.663 * [taylor]: Taking taylor expansion of (log x) in z 11.664 * [taylor]: Taking taylor expansion of x in z 11.665 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.665 * [taylor]: Taking taylor expansion of z in z 11.708 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3))) in z 11.708 * [taylor]: Taking taylor expansion of -5/81 in z 11.708 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3)) in z 11.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.708 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.708 * [taylor]: Taking taylor expansion of 1/3 in z 11.708 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.708 * [taylor]: Taking taylor expansion of (log -1) in z 11.708 * [taylor]: Taking taylor expansion of -1 in z 11.709 * [taylor]: Taking taylor expansion of (log x) in z 11.709 * [taylor]: Taking taylor expansion of x in z 11.710 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.710 * [taylor]: Taking taylor expansion of z in z 11.739 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 11.739 * [approximate]: Taking taylor expansion of (pow (- x z) 1/3) in (x z) around 0 11.739 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in z 11.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in z 11.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in z 11.739 * [taylor]: Taking taylor expansion of 1/3 in z 11.739 * [taylor]: Taking taylor expansion of (log (- x z)) in z 11.739 * [taylor]: Taking taylor expansion of (- x z) in z 11.739 * [taylor]: Taking taylor expansion of x in z 11.739 * [taylor]: Taking taylor expansion of z in z 11.739 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 11.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 11.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 11.740 * [taylor]: Taking taylor expansion of 1/3 in x 11.740 * [taylor]: Taking taylor expansion of (log (- x z)) in x 11.740 * [taylor]: Taking taylor expansion of (- x z) in x 11.740 * [taylor]: Taking taylor expansion of x in x 11.740 * [taylor]: Taking taylor expansion of z in x 11.740 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 11.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 11.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 11.740 * [taylor]: Taking taylor expansion of 1/3 in x 11.740 * [taylor]: Taking taylor expansion of (log (- x z)) in x 11.740 * [taylor]: Taking taylor expansion of (- x z) in x 11.740 * [taylor]: Taking taylor expansion of x in x 11.740 * [taylor]: Taking taylor expansion of z in x 11.740 * [taylor]: Taking taylor expansion of (pow (- z) 1/3) in z 11.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- z)))) in z 11.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (- z))) in z 11.740 * [taylor]: Taking taylor expansion of 1/3 in z 11.740 * [taylor]: Taking taylor expansion of (log (- z)) in z 11.740 * [taylor]: Taking taylor expansion of (- z) in z 11.740 * [taylor]: Taking taylor expansion of z in z 11.745 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 2)) 1/3)) in z 11.745 * [taylor]: Taking taylor expansion of -1/3 in z 11.745 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 2)) 1/3) in z 11.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 2))))) in z 11.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 2)))) in z 11.745 * [taylor]: Taking taylor expansion of 1/3 in z 11.745 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 2))) in z 11.745 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 11.745 * [taylor]: Taking taylor expansion of -1 in z 11.745 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.745 * [taylor]: Taking taylor expansion of z in z 11.754 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 5)) 1/3)) in z 11.754 * [taylor]: Taking taylor expansion of -1/9 in z 11.754 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 5)) 1/3) in z 11.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 5))))) in z 11.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 5)))) in z 11.755 * [taylor]: Taking taylor expansion of 1/3 in z 11.755 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 5))) in z 11.755 * [taylor]: Taking taylor expansion of (/ -1 (pow z 5)) in z 11.755 * [taylor]: Taking taylor expansion of -1 in z 11.755 * [taylor]: Taking taylor expansion of (pow z 5) in z 11.755 * [taylor]: Taking taylor expansion of z in z 11.760 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in (x z) around 0 11.760 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in z 11.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in z 11.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in z 11.760 * [taylor]: Taking taylor expansion of 1/3 in z 11.760 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in z 11.760 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.760 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.760 * [taylor]: Taking taylor expansion of x in z 11.760 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.760 * [taylor]: Taking taylor expansion of z in z 11.763 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 11.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 11.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 11.763 * [taylor]: Taking taylor expansion of 1/3 in x 11.763 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 11.763 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.763 * [taylor]: Taking taylor expansion of x in x 11.764 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.764 * [taylor]: Taking taylor expansion of z in x 11.765 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 11.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 11.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 11.765 * [taylor]: Taking taylor expansion of 1/3 in x 11.765 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 11.765 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.765 * [taylor]: Taking taylor expansion of x in x 11.765 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.765 * [taylor]: Taking taylor expansion of z in x 11.766 * [taylor]: Taking taylor expansion of (pow x -1/3) in z 11.766 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in z 11.766 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in z 11.766 * [taylor]: Taking taylor expansion of -1/3 in z 11.766 * [taylor]: Taking taylor expansion of (log x) in z 11.767 * [taylor]: Taking taylor expansion of x in z 11.769 * [taylor]: Taking taylor expansion of (* -1/3 (* (pow (/ 1 x) 1/3) (/ 1 z))) in z 11.769 * [taylor]: Taking taylor expansion of -1/3 in z 11.769 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 z)) in z 11.769 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 11.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 11.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 11.769 * [taylor]: Taking taylor expansion of 1/3 in z 11.769 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 11.769 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.769 * [taylor]: Taking taylor expansion of x in z 11.769 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.769 * [taylor]: Taking taylor expansion of z in z 11.778 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2)))) in z 11.778 * [taylor]: Taking taylor expansion of -1/9 in z 11.779 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2))) in z 11.779 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 11.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 11.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 11.779 * [taylor]: Taking taylor expansion of 1/3 in z 11.779 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 11.779 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.779 * [taylor]: Taking taylor expansion of x in z 11.779 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.779 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.779 * [taylor]: Taking taylor expansion of z in z 11.809 * [taylor]: Taking taylor expansion of (* -5/81 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3)))) in z 11.809 * [taylor]: Taking taylor expansion of -5/81 in z 11.809 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3))) in z 11.810 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 11.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 11.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 11.810 * [taylor]: Taking taylor expansion of 1/3 in z 11.810 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 11.810 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.810 * [taylor]: Taking taylor expansion of x in z 11.810 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 11.810 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.810 * [taylor]: Taking taylor expansion of z in z 11.829 * [approximate]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in (x z) around 0 11.829 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in z 11.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in z 11.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in z 11.829 * [taylor]: Taking taylor expansion of 1/3 in z 11.829 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in z 11.829 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.829 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.829 * [taylor]: Taking taylor expansion of z in z 11.829 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.829 * [taylor]: Taking taylor expansion of x in z 11.830 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 11.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 11.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 11.830 * [taylor]: Taking taylor expansion of 1/3 in x 11.830 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 11.830 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.830 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.830 * [taylor]: Taking taylor expansion of z in x 11.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.831 * [taylor]: Taking taylor expansion of x in x 11.833 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 11.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 11.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 11.833 * [taylor]: Taking taylor expansion of 1/3 in x 11.833 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 11.833 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.833 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.833 * [taylor]: Taking taylor expansion of z in x 11.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.833 * [taylor]: Taking taylor expansion of x in x 11.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.836 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.836 * [taylor]: Taking taylor expansion of 1/3 in z 11.836 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.836 * [taylor]: Taking taylor expansion of (log -1) in z 11.836 * [taylor]: Taking taylor expansion of -1 in z 11.836 * [taylor]: Taking taylor expansion of (log x) in z 11.836 * [taylor]: Taking taylor expansion of x in z 11.841 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log -1) (log x)))) z)) in z 11.841 * [taylor]: Taking taylor expansion of -1/3 in z 11.841 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) z) in z 11.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.841 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.841 * [taylor]: Taking taylor expansion of 1/3 in z 11.841 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.841 * [taylor]: Taking taylor expansion of (log -1) in z 11.841 * [taylor]: Taking taylor expansion of -1 in z 11.842 * [taylor]: Taking taylor expansion of (log x) in z 11.842 * [taylor]: Taking taylor expansion of x in z 11.843 * [taylor]: Taking taylor expansion of z in z 11.858 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2))) in z 11.858 * [taylor]: Taking taylor expansion of -1/9 in z 11.858 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2)) in z 11.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.858 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.858 * [taylor]: Taking taylor expansion of 1/3 in z 11.858 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.858 * [taylor]: Taking taylor expansion of (log -1) in z 11.858 * [taylor]: Taking taylor expansion of -1 in z 11.858 * [taylor]: Taking taylor expansion of (log x) in z 11.858 * [taylor]: Taking taylor expansion of x in z 11.859 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.860 * [taylor]: Taking taylor expansion of z in z 11.895 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3))) in z 11.895 * [taylor]: Taking taylor expansion of -5/81 in z 11.895 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3)) in z 11.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 11.895 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 11.895 * [taylor]: Taking taylor expansion of 1/3 in z 11.895 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 11.895 * [taylor]: Taking taylor expansion of (log -1) in z 11.895 * [taylor]: Taking taylor expansion of -1 in z 11.895 * [taylor]: Taking taylor expansion of (log x) in z 11.896 * [taylor]: Taking taylor expansion of x in z 11.897 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.897 * [taylor]: Taking taylor expansion of z in z 11.932 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 11.933 * [approximate]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in (x z) around 0 11.933 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in z 11.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- x z) 2)))) in z 11.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- x z) 2))) in z 11.933 * [taylor]: Taking taylor expansion of 1/3 in z 11.933 * [taylor]: Taking taylor expansion of (log (pow (- x z) 2)) in z 11.933 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in z 11.933 * [taylor]: Taking taylor expansion of (- x z) in z 11.933 * [taylor]: Taking taylor expansion of x in z 11.933 * [taylor]: Taking taylor expansion of z in z 11.934 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in x 11.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- x z) 2)))) in x 11.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- x z) 2))) in x 11.934 * [taylor]: Taking taylor expansion of 1/3 in x 11.934 * [taylor]: Taking taylor expansion of (log (pow (- x z) 2)) in x 11.934 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in x 11.934 * [taylor]: Taking taylor expansion of (- x z) in x 11.934 * [taylor]: Taking taylor expansion of x in x 11.934 * [taylor]: Taking taylor expansion of z in x 11.934 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in x 11.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- x z) 2)))) in x 11.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- x z) 2))) in x 11.934 * [taylor]: Taking taylor expansion of 1/3 in x 11.934 * [taylor]: Taking taylor expansion of (log (pow (- x z) 2)) in x 11.934 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in x 11.934 * [taylor]: Taking taylor expansion of (- x z) in x 11.934 * [taylor]: Taking taylor expansion of x in x 11.934 * [taylor]: Taking taylor expansion of z in x 11.935 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 11.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 11.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 11.935 * [taylor]: Taking taylor expansion of 1/3 in z 11.935 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 11.935 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.935 * [taylor]: Taking taylor expansion of z in z 11.938 * [taylor]: Taking taylor expansion of (* -2/3 (pow (/ 1 z) 1/3)) in z 11.938 * [taylor]: Taking taylor expansion of -2/3 in z 11.938 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 11.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 11.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 11.938 * [taylor]: Taking taylor expansion of 1/3 in z 11.938 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.938 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.938 * [taylor]: Taking taylor expansion of z in z 11.945 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow z 4)) 1/3)) in z 11.945 * [taylor]: Taking taylor expansion of -1/9 in z 11.945 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 4)) 1/3) in z 11.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 4))))) in z 11.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 4)))) in z 11.945 * [taylor]: Taking taylor expansion of 1/3 in z 11.945 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 4))) in z 11.945 * [taylor]: Taking taylor expansion of (/ 1 (pow z 4)) in z 11.945 * [taylor]: Taking taylor expansion of (pow z 4) in z 11.945 * [taylor]: Taking taylor expansion of z in z 11.949 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in (x z) around 0 11.949 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in z 11.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2)))) in z 11.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2))) in z 11.949 * [taylor]: Taking taylor expansion of 1/3 in z 11.949 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 2)) in z 11.949 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in z 11.949 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.949 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.949 * [taylor]: Taking taylor expansion of x in z 11.949 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.949 * [taylor]: Taking taylor expansion of z in z 11.951 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in x 11.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2)))) in x 11.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2))) in x 11.951 * [taylor]: Taking taylor expansion of 1/3 in x 11.951 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 2)) in x 11.951 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in x 11.951 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.951 * [taylor]: Taking taylor expansion of x in x 11.952 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.952 * [taylor]: Taking taylor expansion of z in x 11.953 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in x 11.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2)))) in x 11.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2))) in x 11.953 * [taylor]: Taking taylor expansion of 1/3 in x 11.953 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 2)) in x 11.953 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in x 11.953 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.953 * [taylor]: Taking taylor expansion of x in x 11.954 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.954 * [taylor]: Taking taylor expansion of z in x 11.955 * [taylor]: Taking taylor expansion of (pow x -2/3) in z 11.955 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in z 11.955 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in z 11.955 * [taylor]: Taking taylor expansion of -2/3 in z 11.955 * [taylor]: Taking taylor expansion of (log x) in z 11.955 * [taylor]: Taking taylor expansion of x in z 11.958 * [taylor]: Taking taylor expansion of (* -2/3 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 z))) in z 11.958 * [taylor]: Taking taylor expansion of -2/3 in z 11.958 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 z)) in z 11.958 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 11.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 11.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 11.958 * [taylor]: Taking taylor expansion of 1/3 in z 11.958 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 11.958 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 11.958 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.958 * [taylor]: Taking taylor expansion of x in z 11.958 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.958 * [taylor]: Taking taylor expansion of z in z 11.968 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 2)))) in z 11.968 * [taylor]: Taking taylor expansion of -1/9 in z 11.968 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 2))) in z 11.969 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 11.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 11.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 11.969 * [taylor]: Taking taylor expansion of 1/3 in z 11.969 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 11.969 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 11.969 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.969 * [taylor]: Taking taylor expansion of x in z 11.969 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.969 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.969 * [taylor]: Taking taylor expansion of z in z 11.995 * [taylor]: Taking taylor expansion of (* -4/81 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 3)))) in z 11.995 * [taylor]: Taking taylor expansion of -4/81 in z 11.995 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 3))) in z 11.995 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 11.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 11.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 11.995 * [taylor]: Taking taylor expansion of 1/3 in z 11.995 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 11.995 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 11.995 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.995 * [taylor]: Taking taylor expansion of x in z 11.996 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 11.996 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.996 * [taylor]: Taking taylor expansion of z in z 12.017 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in (x z) around 0 12.017 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in z 12.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2)))) in z 12.017 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2))) in z 12.017 * [taylor]: Taking taylor expansion of 1/3 in z 12.017 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 2)) in z 12.017 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in z 12.017 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.017 * [taylor]: Taking taylor expansion of z in z 12.018 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.018 * [taylor]: Taking taylor expansion of x in z 12.019 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in x 12.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2)))) in x 12.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2))) in x 12.020 * [taylor]: Taking taylor expansion of 1/3 in x 12.020 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 2)) in x 12.020 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in x 12.020 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 12.020 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.020 * [taylor]: Taking taylor expansion of z in x 12.020 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.020 * [taylor]: Taking taylor expansion of x in x 12.028 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in x 12.029 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2)))) in x 12.029 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2))) in x 12.029 * [taylor]: Taking taylor expansion of 1/3 in x 12.029 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 2)) in x 12.029 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in x 12.029 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 12.029 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.029 * [taylor]: Taking taylor expansion of z in x 12.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.029 * [taylor]: Taking taylor expansion of x in x 12.032 * [taylor]: Taking taylor expansion of (pow x -2/3) in z 12.032 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in z 12.032 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in z 12.032 * [taylor]: Taking taylor expansion of -2/3 in z 12.032 * [taylor]: Taking taylor expansion of (log x) in z 12.032 * [taylor]: Taking taylor expansion of x in z 12.034 * [taylor]: Taking taylor expansion of (* -2/3 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 z))) in z 12.034 * [taylor]: Taking taylor expansion of -2/3 in z 12.034 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 z)) in z 12.034 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 12.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 12.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 12.035 * [taylor]: Taking taylor expansion of 1/3 in z 12.035 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 12.035 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 12.035 * [taylor]: Taking taylor expansion of (pow x 2) in z 12.035 * [taylor]: Taking taylor expansion of x in z 12.035 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.035 * [taylor]: Taking taylor expansion of z in z 12.046 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 2)))) in z 12.046 * [taylor]: Taking taylor expansion of -1/9 in z 12.046 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 2))) in z 12.046 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 12.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 12.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 12.046 * [taylor]: Taking taylor expansion of 1/3 in z 12.046 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 12.046 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 12.046 * [taylor]: Taking taylor expansion of (pow x 2) in z 12.046 * [taylor]: Taking taylor expansion of x in z 12.047 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 12.047 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.047 * [taylor]: Taking taylor expansion of z in z 12.073 * [taylor]: Taking taylor expansion of (* -4/81 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 3)))) in z 12.073 * [taylor]: Taking taylor expansion of -4/81 in z 12.073 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 3))) in z 12.073 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 12.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 12.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 12.073 * [taylor]: Taking taylor expansion of 1/3 in z 12.073 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 12.073 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 12.073 * [taylor]: Taking taylor expansion of (pow x 2) in z 12.073 * [taylor]: Taking taylor expansion of x in z 12.073 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 12.073 * [taylor]: Taking taylor expansion of (pow z 3) in z 12.073 * [taylor]: Taking taylor expansion of z in z 12.095 * * * [progress]: simplifying candidates 12.097 * [simplify]: Simplifying using # : (expm1 (cbrt (- x z))) (log1p (cbrt (- x z))) (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) (cbrt 1) (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) (cbrt 1) (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (* (* (cbrt (- x z)) (cbrt (- x z))) (cbrt (- x z))) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) (expm1 (cbrt (- x z))) (log1p (cbrt (- x z))) (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) (cbrt 1) (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) (cbrt 1) (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (* (* (cbrt (- x z)) (cbrt (- x z))) (cbrt (- x z))) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) (expm1 (cbrt (- x z))) (log1p (cbrt (- x z))) (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) (cbrt 1) (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) (cbrt 1) (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (* (* (cbrt (- x z)) (cbrt (- x z))) (cbrt (- x z))) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) (expm1 (* (cbrt (- x z)) (cbrt (- x z)))) (log1p (* (cbrt (- x z)) (cbrt (- x z)))) (+ 1/3 1/3) (+ 1 1) (* (- x z) (- x z)) (* (cbrt (- x z)) (cbrt (- x z))) (+ 1 1) (+ (log (cbrt (- x z))) (log (cbrt (- x z)))) (log (* (cbrt (- x z)) (cbrt (- x z)))) (exp (* (cbrt (- x z)) (cbrt (- x z)))) (* (- x z) (- x z)) (* (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (* (cbrt (- x z)) (cbrt (- x z))))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (* (* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- x z)))) (* (cbrt (- x z)) (cbrt (- x z)))) (sqrt (* (cbrt (- x z)) (cbrt (- x z)))) (sqrt (* (cbrt (- x z)) (cbrt (- x z)))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ (* x x) (+ (* z z) (* x z))))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (* x x) (* z z)))) (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ x z))) (* (cbrt (- (* x x) (* z z))) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (+ x z)) (cbrt (+ (* x x) (+ (* z z) (* x z))))) (* (cbrt (- (* x x) (* z z))) (cbrt (- (* x x) (* z z)))) (* (cbrt (+ x z)) (cbrt (+ x z))) (* (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (* (cbrt (- x z)) (cbrt (- x z))))) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (+ (sqrt x) (sqrt z))) (cbrt (+ (sqrt x) (sqrt z)))) (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x z)) (cbrt (- x z))) (* (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z)))) (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z)))) (* 1 1) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (* (sqrt (cbrt (- x z))) (cbrt (sqrt (- x z)))) (* (sqrt (cbrt (- x z))) (cbrt (sqrt (- x z)))) (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z)))) (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z)))) (* 2 1/3) (* 2 1) (* (cbrt (- x z)) (cbrt (* (cbrt (- x z)) (cbrt (- x z))))) (* (cbrt (- x z)) (cbrt (sqrt (- x z)))) (* (cbrt (- x z)) (cbrt 1)) (* (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z)))) (* (cbrt (- x z)) (cbrt 1)) (* (cbrt (- x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))) (* (cbrt (- x z)) (sqrt (cbrt (- x z)))) (* (cbrt (- x z)) 1) (* (cbrt (cbrt (- x z))) (cbrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (cbrt (- x z))) (cbrt (- x z))) (* (sqrt (cbrt (- x z))) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (- x z)) (cbrt (- (* x x) (* z z)))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- x z))) (* (cbrt (- (* x x) (* z z))) (cbrt (- x z))) (- (exp (* 1/3 (+ (log z) (log -1)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log -1) (* 5 (log z))))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log z))))) x)))) (pow (/ 1 x) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (- (exp (* 1/3 (+ (log z) (log -1)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log -1) (* 5 (log z))))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log z))))) x)))) (pow (/ 1 x) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (- (exp (* 1/3 (+ (log z) (log -1)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log -1) (* 5 (log z))))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log z))))) x)))) (pow (/ 1 x) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (- (pow z 2/3) (+ (* 2/3 (* x (pow (/ 1 z) 1/3))) (* 1/9 (* (pow x 2) (pow (/ 1 (pow z 4)) 1/3))))) (pow (/ 1 x) -2/3) (pow (/ -1 x) -2/3) 12.102 * * [simplify]: iteration 0 : 135 enodes (cost 1434 ) 12.141 * * [simplify]: iteration 1 : 270 enodes (cost 1332 ) 12.208 * * [simplify]: iteration 2 : 660 enodes (cost 1262 ) 12.476 * * [simplify]: iteration 3 : 1668 enodes (cost 1159 ) 13.687 * * [simplify]: iteration 4 : 4894 enodes (cost 1119 ) 14.868 * * [simplify]: iteration done : 5000 enodes (cost 1119 ) 14.869 * [simplify]: Simplified to: (expm1 (cbrt (- x z))) (log1p (cbrt (- x z))) (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (pow (sqrt (cbrt (- x z))) 4)) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) 1 (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) 1 (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (fma x x (* z (+ x z)))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (- x z) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) (expm1 (cbrt (- x z))) (log1p (cbrt (- x z))) (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (pow (sqrt (cbrt (- x z))) 4)) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) 1 (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) 1 (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (fma x x (* z (+ x z)))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (- x z) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) (expm1 (cbrt (- x z))) (log1p (cbrt (- x z))) (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (pow (sqrt (cbrt (- x z))) 4)) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) 1 (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) 1 (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (fma x x (* z (+ x z)))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (- x z) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) (expm1 (pow (sqrt (cbrt (- x z))) 4)) (log1p (pow (sqrt (cbrt (- x z))) 4)) 2/3 2 (pow (cbrt (- x z)) 6) (pow (sqrt (cbrt (- x z))) 4) 2 (* 2 (log (cbrt (- x z)))) (* 2 (log (cbrt (- x z)))) (exp (pow (sqrt (cbrt (- x z))) 4)) (pow (cbrt (- x z)) 6) (* (cbrt (pow (sqrt (cbrt (- x z))) 4)) (cbrt (pow (sqrt (cbrt (- x z))) 4))) (cbrt (pow (sqrt (cbrt (- x z))) 4)) (pow (cbrt (- x z)) 6) (fabs (cbrt (- x z))) (fabs (cbrt (- x z))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (fma x x (* z (+ x z)))) (cbrt (fma x x (* z (+ x z))))) (* (cbrt (- (* x x) (* z z))) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (fma x x (* z (+ x z)))) (cbrt (+ x z))) (* (cbrt (- (* x x) (* z z))) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (fma x x (* z (+ x z)))) (cbrt (+ x z))) (* (cbrt (- (* x x) (* z z))) (cbrt (- (* x x) (* z z)))) (* (cbrt (+ x z)) (cbrt (+ x z))) (* (cbrt (pow (sqrt (cbrt (- x z))) 4)) (cbrt (pow (sqrt (cbrt (- x z))) 4))) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) 1 (pow (sqrt (cbrt (- x z))) 4) 1 (pow (sqrt (cbrt (- x z))) 4) (* (cbrt (+ (sqrt x) (sqrt z))) (cbrt (+ (sqrt x) (sqrt z)))) (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z)))) 1 (pow (sqrt (cbrt (- x z))) 4) 1 (pow (sqrt (cbrt (- x z))) 4) (pow (cbrt (cbrt (- x z))) 4) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (- x z)) (cbrt (- x z)) 1 (pow (sqrt (cbrt (- x z))) 4) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (cbrt (- x z)) (cbrt (- x z)) 2/3 2 (* (cbrt (- x z)) (cbrt (pow (sqrt (cbrt (- x z))) 4))) (* (cbrt (- x z)) (cbrt (sqrt (- x z)))) (cbrt (- x z)) (* (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z)))) (cbrt (- x z)) (pow (cbrt (cbrt (- x z))) 5) (pow (sqrt (cbrt (- x z))) 3) (cbrt (- x z)) (pow (cbrt (cbrt (- x z))) 4) (* (cbrt (- x z)) (cbrt (sqrt (- x z)))) (pow (sqrt (cbrt (- x z))) 4) (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- x z))) (pow (sqrt (cbrt (- x z))) 4) (pow (cbrt (cbrt (- x z))) 4) (pow (sqrt (cbrt (- x z))) 3) (pow (sqrt (cbrt (- x z))) 4) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- (* x x) (* z z)))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- (* x x) (* z z)))) (fma (* (pow z -2/3) (cbrt -1)) (* x -1/3) (fma (* (cbrt (* -1 (pow z -5))) (* x x)) -1/9 (cbrt (* -1 z)))) (pow (/ 1 x) -1/3) (cbrt x) (fma (* (pow z -2/3) (cbrt -1)) (* x -1/3) (fma (* (cbrt (* -1 (pow z -5))) (* x x)) -1/9 (cbrt (* -1 z)))) (pow (/ 1 x) -1/3) (cbrt x) (fma (* (pow z -2/3) (cbrt -1)) (* x -1/3) (fma (* (cbrt (* -1 (pow z -5))) (* x x)) -1/9 (cbrt (* -1 z)))) (pow (/ 1 x) -1/3) (cbrt x) (fma (* (cbrt (/ 1 (pow z 4))) (* x x)) -1/9 (fma (* x (cbrt (/ 1 z))) -2/3 (pow z 2/3))) (pow (/ 1 x) -2/3) (pow (/ -1 x) -2/3) 14.870 * * * [progress]: adding candidates to table 15.272 * [progress]: [Phase 3 of 3] Extracting. 15.272 * * [regime]: Finding splitpoints for: (# #) 15.273 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 15.273 * * * * [regimes]: Trying to branch on z from (# #) 15.291 * * * * [regimes]: Trying to branch on y from (# #) 15.306 * * * * [regimes]: Trying to branch on x from (# #) 15.321 * * * [regime]: Found split indices: #