44.193 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.715 * * * [progress]: [2/2] Setting up program. 0.718 * [progress]: [Phase 2 of 3] Improving. 0.719 * [simplify]: Simplifying using # : (- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))) 0.768 * * [simplify]: iteration 0 : 5085 enodes (cost 13 ) 0.769 * [simplify]: Simplified to: (- x (/ y (- z (* y (/ t (* 2.0 z)))))) 0.774 * * [progress]: iteration 1 / 4 0.774 * * * [progress]: picking best candidate 0.780 * * * * [pick]: Picked # 0.780 * * * [progress]: localizing error 0.792 * * * [progress]: generating rewritten candidates 0.792 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2 2) 0.799 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.803 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 0.807 * * * [progress]: generating series expansions 0.807 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2 2) 0.807 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in (y t z) around 0 0.807 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 0.807 * [taylor]: Taking taylor expansion of 0.5 in z 0.807 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 0.807 * [taylor]: Taking taylor expansion of (* t y) in z 0.807 * [taylor]: Taking taylor expansion of t in z 0.807 * [taylor]: Taking taylor expansion of y in z 0.807 * [taylor]: Taking taylor expansion of z in z 0.807 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 0.807 * [taylor]: Taking taylor expansion of 0.5 in t 0.807 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 0.807 * [taylor]: Taking taylor expansion of (* t y) in t 0.807 * [taylor]: Taking taylor expansion of t in t 0.807 * [taylor]: Taking taylor expansion of y in t 0.807 * [taylor]: Taking taylor expansion of z in t 0.807 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 0.807 * [taylor]: Taking taylor expansion of 0.5 in y 0.807 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 0.807 * [taylor]: Taking taylor expansion of (* t y) in y 0.807 * [taylor]: Taking taylor expansion of t in y 0.807 * [taylor]: Taking taylor expansion of y in y 0.807 * [taylor]: Taking taylor expansion of z in y 0.807 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 0.807 * [taylor]: Taking taylor expansion of 0.5 in y 0.807 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 0.807 * [taylor]: Taking taylor expansion of (* t y) in y 0.808 * [taylor]: Taking taylor expansion of t in y 0.808 * [taylor]: Taking taylor expansion of y in y 0.808 * [taylor]: Taking taylor expansion of z in y 0.808 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 0.808 * [taylor]: Taking taylor expansion of 0.5 in t 0.808 * [taylor]: Taking taylor expansion of (/ t z) in t 0.808 * [taylor]: Taking taylor expansion of t in t 0.808 * [taylor]: Taking taylor expansion of z in t 0.808 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z 0.808 * [taylor]: Taking taylor expansion of 0.5 in z 0.808 * [taylor]: Taking taylor expansion of z in z 0.808 * [taylor]: Taking taylor expansion of 0 in t 0.808 * [taylor]: Taking taylor expansion of 0 in z 0.808 * [taylor]: Taking taylor expansion of 0 in z 0.808 * [taylor]: Taking taylor expansion of 0 in t 0.808 * [taylor]: Taking taylor expansion of 0 in z 0.808 * [taylor]: Taking taylor expansion of 0 in z 0.809 * [taylor]: Taking taylor expansion of 0 in z 0.809 * [taylor]: Taking taylor expansion of 0 in t 0.809 * [taylor]: Taking taylor expansion of 0 in z 0.809 * [taylor]: Taking taylor expansion of 0 in z 0.809 * [taylor]: Taking taylor expansion of 0 in z 0.809 * [taylor]: Taking taylor expansion of 0 in z 0.809 * [approximate]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in (y t z) around 0 0.809 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.809 * [taylor]: Taking taylor expansion of 0.5 in z 0.809 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.809 * [taylor]: Taking taylor expansion of z in z 0.809 * [taylor]: Taking taylor expansion of (* t y) in z 0.809 * [taylor]: Taking taylor expansion of t in z 0.809 * [taylor]: Taking taylor expansion of y in z 0.809 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 0.809 * [taylor]: Taking taylor expansion of 0.5 in t 0.809 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.809 * [taylor]: Taking taylor expansion of z in t 0.809 * [taylor]: Taking taylor expansion of (* t y) in t 0.809 * [taylor]: Taking taylor expansion of t in t 0.809 * [taylor]: Taking taylor expansion of y in t 0.810 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.810 * [taylor]: Taking taylor expansion of 0.5 in y 0.810 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.810 * [taylor]: Taking taylor expansion of z in y 0.810 * [taylor]: Taking taylor expansion of (* t y) in y 0.810 * [taylor]: Taking taylor expansion of t in y 0.810 * [taylor]: Taking taylor expansion of y in y 0.810 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.810 * [taylor]: Taking taylor expansion of 0.5 in y 0.810 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.810 * [taylor]: Taking taylor expansion of z in y 0.810 * [taylor]: Taking taylor expansion of (* t y) in y 0.810 * [taylor]: Taking taylor expansion of t in y 0.810 * [taylor]: Taking taylor expansion of y in y 0.810 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 0.810 * [taylor]: Taking taylor expansion of 0.5 in t 0.810 * [taylor]: Taking taylor expansion of (/ z t) in t 0.810 * [taylor]: Taking taylor expansion of z in t 0.810 * [taylor]: Taking taylor expansion of t in t 0.810 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 0.810 * [taylor]: Taking taylor expansion of 0.5 in z 0.810 * [taylor]: Taking taylor expansion of z in z 0.810 * [taylor]: Taking taylor expansion of 0 in t 0.810 * [taylor]: Taking taylor expansion of 0 in z 0.810 * [taylor]: Taking taylor expansion of 0 in t 0.811 * [taylor]: Taking taylor expansion of 0 in z 0.811 * [taylor]: Taking taylor expansion of 0 in z 0.811 * [approximate]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in (y t z) around 0 0.811 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in z 0.811 * [taylor]: Taking taylor expansion of -0.5 in z 0.811 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.811 * [taylor]: Taking taylor expansion of z in z 0.811 * [taylor]: Taking taylor expansion of (* t y) in z 0.811 * [taylor]: Taking taylor expansion of t in z 0.811 * [taylor]: Taking taylor expansion of y in z 0.811 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in t 0.811 * [taylor]: Taking taylor expansion of -0.5 in t 0.811 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.811 * [taylor]: Taking taylor expansion of z in t 0.811 * [taylor]: Taking taylor expansion of (* t y) in t 0.811 * [taylor]: Taking taylor expansion of t in t 0.811 * [taylor]: Taking taylor expansion of y in t 0.811 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in y 0.811 * [taylor]: Taking taylor expansion of -0.5 in y 0.811 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.811 * [taylor]: Taking taylor expansion of z in y 0.811 * [taylor]: Taking taylor expansion of (* t y) in y 0.811 * [taylor]: Taking taylor expansion of t in y 0.811 * [taylor]: Taking taylor expansion of y in y 0.811 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in y 0.811 * [taylor]: Taking taylor expansion of -0.5 in y 0.811 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.811 * [taylor]: Taking taylor expansion of z in y 0.811 * [taylor]: Taking taylor expansion of (* t y) in y 0.811 * [taylor]: Taking taylor expansion of t in y 0.811 * [taylor]: Taking taylor expansion of y in y 0.812 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in t 0.812 * [taylor]: Taking taylor expansion of -0.5 in t 0.812 * [taylor]: Taking taylor expansion of (/ z t) in t 0.812 * [taylor]: Taking taylor expansion of z in t 0.812 * [taylor]: Taking taylor expansion of t in t 0.812 * [taylor]: Taking taylor expansion of (* -0.5 z) in z 0.812 * [taylor]: Taking taylor expansion of -0.5 in z 0.812 * [taylor]: Taking taylor expansion of z in z 0.812 * [taylor]: Taking taylor expansion of 0 in t 0.812 * [taylor]: Taking taylor expansion of 0 in z 0.812 * [taylor]: Taking taylor expansion of 0 in t 0.812 * [taylor]: Taking taylor expansion of 0 in z 0.812 * [taylor]: Taking taylor expansion of 0 in z 0.812 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.813 * [approximate]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in (y z t) around 0 0.813 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in t 0.813 * [taylor]: Taking taylor expansion of y in t 0.813 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in t 0.813 * [taylor]: Taking taylor expansion of z in t 0.813 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 0.813 * [taylor]: Taking taylor expansion of 0.5 in t 0.813 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 0.813 * [taylor]: Taking taylor expansion of (* t y) in t 0.813 * [taylor]: Taking taylor expansion of t in t 0.813 * [taylor]: Taking taylor expansion of y in t 0.813 * [taylor]: Taking taylor expansion of z in t 0.813 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in z 0.813 * [taylor]: Taking taylor expansion of y in z 0.813 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 0.813 * [taylor]: Taking taylor expansion of z in z 0.813 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 0.813 * [taylor]: Taking taylor expansion of 0.5 in z 0.813 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 0.813 * [taylor]: Taking taylor expansion of (* t y) in z 0.813 * [taylor]: Taking taylor expansion of t in z 0.813 * [taylor]: Taking taylor expansion of y in z 0.813 * [taylor]: Taking taylor expansion of z in z 0.813 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in y 0.813 * [taylor]: Taking taylor expansion of y in y 0.813 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 0.813 * [taylor]: Taking taylor expansion of z in y 0.813 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 0.813 * [taylor]: Taking taylor expansion of 0.5 in y 0.813 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 0.813 * [taylor]: Taking taylor expansion of (* t y) in y 0.813 * [taylor]: Taking taylor expansion of t in y 0.813 * [taylor]: Taking taylor expansion of y in y 0.813 * [taylor]: Taking taylor expansion of z in y 0.814 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in y 0.814 * [taylor]: Taking taylor expansion of y in y 0.814 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 0.814 * [taylor]: Taking taylor expansion of z in y 0.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 0.814 * [taylor]: Taking taylor expansion of 0.5 in y 0.814 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 0.814 * [taylor]: Taking taylor expansion of (* t y) in y 0.814 * [taylor]: Taking taylor expansion of t in y 0.814 * [taylor]: Taking taylor expansion of y in y 0.814 * [taylor]: Taking taylor expansion of z in y 0.814 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.814 * [taylor]: Taking taylor expansion of z in z 0.814 * [taylor]: Taking taylor expansion of 0 in t 0.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow z 3))) in z 0.814 * [taylor]: Taking taylor expansion of 0.5 in z 0.814 * [taylor]: Taking taylor expansion of (/ t (pow z 3)) in z 0.814 * [taylor]: Taking taylor expansion of t in z 0.814 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.814 * [taylor]: Taking taylor expansion of z in z 0.815 * [taylor]: Taking taylor expansion of 0 in t 0.815 * [taylor]: Taking taylor expansion of 0 in t 0.815 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow t 2) (pow z 5))) in z 0.815 * [taylor]: Taking taylor expansion of 0.25 in z 0.815 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 5)) in z 0.815 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.815 * [taylor]: Taking taylor expansion of t in z 0.815 * [taylor]: Taking taylor expansion of (pow z 5) in z 0.815 * [taylor]: Taking taylor expansion of z in z 0.817 * [taylor]: Taking taylor expansion of 0 in t 0.817 * [taylor]: Taking taylor expansion of 0 in t 0.818 * [approximate]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in (y z t) around 0 0.818 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in t 0.818 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in t 0.818 * [taylor]: Taking taylor expansion of y in t 0.818 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in t 0.818 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.818 * [taylor]: Taking taylor expansion of z in t 0.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 0.818 * [taylor]: Taking taylor expansion of 0.5 in t 0.818 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.818 * [taylor]: Taking taylor expansion of z in t 0.818 * [taylor]: Taking taylor expansion of (* t y) in t 0.818 * [taylor]: Taking taylor expansion of t in t 0.818 * [taylor]: Taking taylor expansion of y in t 0.818 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in z 0.818 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in z 0.818 * [taylor]: Taking taylor expansion of y in z 0.818 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 0.818 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.818 * [taylor]: Taking taylor expansion of z in z 0.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.818 * [taylor]: Taking taylor expansion of 0.5 in z 0.818 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.818 * [taylor]: Taking taylor expansion of z in z 0.818 * [taylor]: Taking taylor expansion of (* t y) in z 0.818 * [taylor]: Taking taylor expansion of t in z 0.818 * [taylor]: Taking taylor expansion of y in z 0.818 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in y 0.818 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in y 0.818 * [taylor]: Taking taylor expansion of y in y 0.818 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 0.818 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.818 * [taylor]: Taking taylor expansion of z in y 0.819 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.819 * [taylor]: Taking taylor expansion of 0.5 in y 0.819 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.819 * [taylor]: Taking taylor expansion of z in y 0.819 * [taylor]: Taking taylor expansion of (* t y) in y 0.819 * [taylor]: Taking taylor expansion of t in y 0.819 * [taylor]: Taking taylor expansion of y in y 0.819 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in y 0.819 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in y 0.819 * [taylor]: Taking taylor expansion of y in y 0.819 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 0.819 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.819 * [taylor]: Taking taylor expansion of z in y 0.819 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.819 * [taylor]: Taking taylor expansion of 0.5 in y 0.820 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.820 * [taylor]: Taking taylor expansion of z in y 0.820 * [taylor]: Taking taylor expansion of (* t y) in y 0.820 * [taylor]: Taking taylor expansion of t in y 0.820 * [taylor]: Taking taylor expansion of y in y 0.820 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z 0.820 * [taylor]: Taking taylor expansion of -2.0 in z 0.820 * [taylor]: Taking taylor expansion of (/ t z) in z 0.820 * [taylor]: Taking taylor expansion of t in z 0.820 * [taylor]: Taking taylor expansion of z in z 0.820 * [taylor]: Taking taylor expansion of 0 in t 0.821 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ (pow t 2) (pow z 3)))) in z 0.821 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z 0.821 * [taylor]: Taking taylor expansion of 4.0 in z 0.821 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z 0.821 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.821 * [taylor]: Taking taylor expansion of t in z 0.821 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.821 * [taylor]: Taking taylor expansion of z in z 0.822 * [taylor]: Taking taylor expansion of 0 in t 0.822 * [taylor]: Taking taylor expansion of 0 in t 0.823 * [taylor]: Taking taylor expansion of (neg (* 8.0 (/ (pow t 3) (pow z 5)))) in z 0.823 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z 0.823 * [taylor]: Taking taylor expansion of 8.0 in z 0.823 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z 0.823 * [taylor]: Taking taylor expansion of (pow t 3) in z 0.823 * [taylor]: Taking taylor expansion of t in z 0.823 * [taylor]: Taking taylor expansion of (pow z 5) in z 0.823 * [taylor]: Taking taylor expansion of z in z 0.825 * [taylor]: Taking taylor expansion of 0 in t 0.825 * [taylor]: Taking taylor expansion of 0 in t 0.826 * [approximate]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in (y z t) around 0 0.826 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in t 0.826 * [taylor]: Taking taylor expansion of -1 in t 0.826 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in t 0.826 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in t 0.826 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 0.826 * [taylor]: Taking taylor expansion of 0.5 in t 0.826 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.826 * [taylor]: Taking taylor expansion of z in t 0.826 * [taylor]: Taking taylor expansion of (* t y) in t 0.826 * [taylor]: Taking taylor expansion of t in t 0.826 * [taylor]: Taking taylor expansion of y in t 0.826 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.826 * [taylor]: Taking taylor expansion of z in t 0.826 * [taylor]: Taking taylor expansion of y in t 0.826 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in z 0.826 * [taylor]: Taking taylor expansion of -1 in z 0.826 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in z 0.826 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 0.826 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.826 * [taylor]: Taking taylor expansion of 0.5 in z 0.826 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.826 * [taylor]: Taking taylor expansion of z in z 0.826 * [taylor]: Taking taylor expansion of (* t y) in z 0.826 * [taylor]: Taking taylor expansion of t in z 0.826 * [taylor]: Taking taylor expansion of y in z 0.826 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.826 * [taylor]: Taking taylor expansion of z in z 0.826 * [taylor]: Taking taylor expansion of y in z 0.826 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in y 0.826 * [taylor]: Taking taylor expansion of -1 in y 0.826 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in y 0.826 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 0.826 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.826 * [taylor]: Taking taylor expansion of 0.5 in y 0.826 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.826 * [taylor]: Taking taylor expansion of z in y 0.826 * [taylor]: Taking taylor expansion of (* t y) in y 0.827 * [taylor]: Taking taylor expansion of t in y 0.827 * [taylor]: Taking taylor expansion of y in y 0.827 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.827 * [taylor]: Taking taylor expansion of z in y 0.827 * [taylor]: Taking taylor expansion of y in y 0.827 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in y 0.827 * [taylor]: Taking taylor expansion of -1 in y 0.827 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in y 0.827 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 0.827 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.827 * [taylor]: Taking taylor expansion of 0.5 in y 0.827 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.827 * [taylor]: Taking taylor expansion of z in y 0.827 * [taylor]: Taking taylor expansion of (* t y) in y 0.827 * [taylor]: Taking taylor expansion of t in y 0.827 * [taylor]: Taking taylor expansion of y in y 0.827 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.827 * [taylor]: Taking taylor expansion of z in y 0.827 * [taylor]: Taking taylor expansion of y in y 0.828 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z 0.828 * [taylor]: Taking taylor expansion of -2.0 in z 0.828 * [taylor]: Taking taylor expansion of (/ t z) in z 0.828 * [taylor]: Taking taylor expansion of t in z 0.828 * [taylor]: Taking taylor expansion of z in z 0.828 * [taylor]: Taking taylor expansion of 0 in t 0.828 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ (pow t 2) (pow z 3)))) in z 0.828 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z 0.828 * [taylor]: Taking taylor expansion of 4.0 in z 0.828 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z 0.828 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.828 * [taylor]: Taking taylor expansion of t in z 0.829 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.829 * [taylor]: Taking taylor expansion of z in z 0.830 * [taylor]: Taking taylor expansion of 0 in t 0.830 * [taylor]: Taking taylor expansion of 0 in t 0.830 * [taylor]: Taking taylor expansion of (neg (* 8.0 (/ (pow t 3) (pow z 5)))) in z 0.830 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z 0.830 * [taylor]: Taking taylor expansion of 8.0 in z 0.830 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z 0.830 * [taylor]: Taking taylor expansion of (pow t 3) in z 0.830 * [taylor]: Taking taylor expansion of t in z 0.831 * [taylor]: Taking taylor expansion of (pow z 5) in z 0.831 * [taylor]: Taking taylor expansion of z in z 0.833 * [taylor]: Taking taylor expansion of 0 in t 0.833 * [taylor]: Taking taylor expansion of 0 in t 0.833 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 0.833 * [approximate]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in (z y t) around 0 0.833 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in t 0.833 * [taylor]: Taking taylor expansion of z in t 0.833 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 0.833 * [taylor]: Taking taylor expansion of 0.5 in t 0.833 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 0.833 * [taylor]: Taking taylor expansion of (* t y) in t 0.833 * [taylor]: Taking taylor expansion of t in t 0.833 * [taylor]: Taking taylor expansion of y in t 0.833 * [taylor]: Taking taylor expansion of z in t 0.834 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 0.834 * [taylor]: Taking taylor expansion of z in y 0.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 0.834 * [taylor]: Taking taylor expansion of 0.5 in y 0.834 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 0.834 * [taylor]: Taking taylor expansion of (* t y) in y 0.834 * [taylor]: Taking taylor expansion of t in y 0.834 * [taylor]: Taking taylor expansion of y in y 0.834 * [taylor]: Taking taylor expansion of z in y 0.834 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 0.834 * [taylor]: Taking taylor expansion of z in z 0.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 0.834 * [taylor]: Taking taylor expansion of 0.5 in z 0.834 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 0.834 * [taylor]: Taking taylor expansion of (* t y) in z 0.834 * [taylor]: Taking taylor expansion of t in z 0.834 * [taylor]: Taking taylor expansion of y in z 0.834 * [taylor]: Taking taylor expansion of z in z 0.834 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 0.834 * [taylor]: Taking taylor expansion of z in z 0.834 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 0.834 * [taylor]: Taking taylor expansion of 0.5 in z 0.834 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 0.834 * [taylor]: Taking taylor expansion of (* t y) in z 0.834 * [taylor]: Taking taylor expansion of t in z 0.834 * [taylor]: Taking taylor expansion of y in z 0.834 * [taylor]: Taking taylor expansion of z in z 0.834 * [taylor]: Taking taylor expansion of (neg (* 0.5 (* t y))) in y 0.834 * [taylor]: Taking taylor expansion of (* 0.5 (* t y)) in y 0.834 * [taylor]: Taking taylor expansion of 0.5 in y 0.834 * [taylor]: Taking taylor expansion of (* t y) in y 0.834 * [taylor]: Taking taylor expansion of t in y 0.834 * [taylor]: Taking taylor expansion of y in y 0.834 * [taylor]: Taking taylor expansion of 0 in t 0.835 * [taylor]: Taking taylor expansion of 0 in y 0.835 * [taylor]: Taking taylor expansion of 0 in t 0.835 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in t 0.835 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 0.835 * [taylor]: Taking taylor expansion of 0.5 in t 0.835 * [taylor]: Taking taylor expansion of t in t 0.835 * [taylor]: Taking taylor expansion of 1 in y 0.835 * [taylor]: Taking taylor expansion of 1 in t 0.835 * [taylor]: Taking taylor expansion of 0 in t 0.835 * [taylor]: Taking taylor expansion of 0 in t 0.835 * [taylor]: Taking taylor expansion of 0 in y 0.835 * [taylor]: Taking taylor expansion of 0 in t 0.835 * [taylor]: Taking taylor expansion of 0 in t 0.835 * [taylor]: Taking taylor expansion of 0 in t 0.835 * [taylor]: Taking taylor expansion of 0 in t 0.836 * [approximate]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in (z y t) around 0 0.836 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in t 0.836 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.836 * [taylor]: Taking taylor expansion of z in t 0.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 0.836 * [taylor]: Taking taylor expansion of 0.5 in t 0.836 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.836 * [taylor]: Taking taylor expansion of z in t 0.836 * [taylor]: Taking taylor expansion of (* t y) in t 0.836 * [taylor]: Taking taylor expansion of t in t 0.836 * [taylor]: Taking taylor expansion of y in t 0.836 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 0.836 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.836 * [taylor]: Taking taylor expansion of z in y 0.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.836 * [taylor]: Taking taylor expansion of 0.5 in y 0.836 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.836 * [taylor]: Taking taylor expansion of z in y 0.836 * [taylor]: Taking taylor expansion of (* t y) in y 0.836 * [taylor]: Taking taylor expansion of t in y 0.836 * [taylor]: Taking taylor expansion of y in y 0.836 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 0.836 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.836 * [taylor]: Taking taylor expansion of z in z 0.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.836 * [taylor]: Taking taylor expansion of 0.5 in z 0.836 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.836 * [taylor]: Taking taylor expansion of z in z 0.836 * [taylor]: Taking taylor expansion of (* t y) in z 0.836 * [taylor]: Taking taylor expansion of t in z 0.836 * [taylor]: Taking taylor expansion of y in z 0.836 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 0.836 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.836 * [taylor]: Taking taylor expansion of z in z 0.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.837 * [taylor]: Taking taylor expansion of 0.5 in z 0.837 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.837 * [taylor]: Taking taylor expansion of z in z 0.837 * [taylor]: Taking taylor expansion of (* t y) in z 0.837 * [taylor]: Taking taylor expansion of t in z 0.837 * [taylor]: Taking taylor expansion of y in z 0.837 * [taylor]: Taking taylor expansion of 1 in y 0.837 * [taylor]: Taking taylor expansion of 0 in y 0.837 * [taylor]: Taking taylor expansion of 1 in t 0.837 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 (* t y)))) in y 0.837 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t y))) in y 0.837 * [taylor]: Taking taylor expansion of 0.5 in y 0.837 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 0.837 * [taylor]: Taking taylor expansion of (* t y) in y 0.837 * [taylor]: Taking taylor expansion of t in y 0.837 * [taylor]: Taking taylor expansion of y in y 0.837 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 0.837 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 0.837 * [taylor]: Taking taylor expansion of 0.5 in t 0.837 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.837 * [taylor]: Taking taylor expansion of t in t 0.837 * [taylor]: Taking taylor expansion of 0 in t 0.837 * [taylor]: Taking taylor expansion of 0 in t 0.838 * [taylor]: Taking taylor expansion of 0 in y 0.838 * [taylor]: Taking taylor expansion of 0 in t 0.838 * [taylor]: Taking taylor expansion of 0 in t 0.838 * [taylor]: Taking taylor expansion of 0 in t 0.838 * [taylor]: Taking taylor expansion of 0 in y 0.838 * [taylor]: Taking taylor expansion of 0 in t 0.838 * [taylor]: Taking taylor expansion of 0 in t 0.838 * [taylor]: Taking taylor expansion of 0 in t 0.838 * [taylor]: Taking taylor expansion of 0 in t 0.839 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in (z y t) around 0 0.839 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in t 0.839 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 0.839 * [taylor]: Taking taylor expansion of 0.5 in t 0.839 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.839 * [taylor]: Taking taylor expansion of z in t 0.839 * [taylor]: Taking taylor expansion of (* t y) in t 0.839 * [taylor]: Taking taylor expansion of t in t 0.839 * [taylor]: Taking taylor expansion of y in t 0.839 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.839 * [taylor]: Taking taylor expansion of z in t 0.839 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 0.839 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.839 * [taylor]: Taking taylor expansion of 0.5 in y 0.839 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.839 * [taylor]: Taking taylor expansion of z in y 0.839 * [taylor]: Taking taylor expansion of (* t y) in y 0.839 * [taylor]: Taking taylor expansion of t in y 0.839 * [taylor]: Taking taylor expansion of y in y 0.839 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.839 * [taylor]: Taking taylor expansion of z in y 0.839 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 0.839 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.839 * [taylor]: Taking taylor expansion of 0.5 in z 0.839 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.839 * [taylor]: Taking taylor expansion of z in z 0.839 * [taylor]: Taking taylor expansion of (* t y) in z 0.839 * [taylor]: Taking taylor expansion of t in z 0.839 * [taylor]: Taking taylor expansion of y in z 0.839 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.839 * [taylor]: Taking taylor expansion of z in z 0.839 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 0.839 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.839 * [taylor]: Taking taylor expansion of 0.5 in z 0.839 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.839 * [taylor]: Taking taylor expansion of z in z 0.839 * [taylor]: Taking taylor expansion of (* t y) in z 0.839 * [taylor]: Taking taylor expansion of t in z 0.839 * [taylor]: Taking taylor expansion of y in z 0.840 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.840 * [taylor]: Taking taylor expansion of z in z 0.840 * [taylor]: Taking taylor expansion of (neg 1) in y 0.840 * [taylor]: Taking taylor expansion of 1 in y 0.840 * [taylor]: Taking taylor expansion of 0 in y 0.840 * [taylor]: Taking taylor expansion of (neg 1) in t 0.840 * [taylor]: Taking taylor expansion of 1 in t 0.840 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t y))) in y 0.840 * [taylor]: Taking taylor expansion of 0.5 in y 0.840 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 0.840 * [taylor]: Taking taylor expansion of (* t y) in y 0.840 * [taylor]: Taking taylor expansion of t in y 0.840 * [taylor]: Taking taylor expansion of y in y 0.840 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t 0.840 * [taylor]: Taking taylor expansion of 0.5 in t 0.840 * [taylor]: Taking taylor expansion of t in t 0.840 * [taylor]: Taking taylor expansion of 0 in t 0.840 * [taylor]: Taking taylor expansion of 0 in t 0.840 * [taylor]: Taking taylor expansion of 0 in y 0.841 * [taylor]: Taking taylor expansion of 0 in t 0.841 * [taylor]: Taking taylor expansion of 0 in t 0.841 * [taylor]: Taking taylor expansion of 0 in t 0.841 * [taylor]: Taking taylor expansion of 0 in y 0.841 * [taylor]: Taking taylor expansion of 0 in t 0.841 * [taylor]: Taking taylor expansion of 0 in t 0.841 * [taylor]: Taking taylor expansion of 0 in t 0.841 * [taylor]: Taking taylor expansion of 0 in t 0.841 * * * [progress]: simplifying candidates 0.842 * [simplify]: Simplifying using # : (* y (/ t (* 2.0 z))) (+ (log y) (- (log t) (+ (log 2.0) (log z)))) (+ (log y) (- (log t) (log (* 2.0 z)))) (+ (log y) (log (/ t (* 2.0 z)))) (log (* y (/ t (* 2.0 z)))) (exp (* y (/ t (* 2.0 z)))) (* (* (* y y) y) (/ (* (* t t) t) (* (* (* 2.0 2.0) 2.0) (* (* z z) z)))) (* (* (* y y) y) (/ (* (* t t) t) (* (* (* 2.0 z) (* 2.0 z)) (* 2.0 z)))) (* (* (* y y) y) (* (* (/ t (* 2.0 z)) (/ t (* 2.0 z))) (/ t (* 2.0 z)))) (* (cbrt (* y (/ t (* 2.0 z)))) (cbrt (* y (/ t (* 2.0 z))))) (cbrt (* y (/ t (* 2.0 z)))) (* (* (* y (/ t (* 2.0 z))) (* y (/ t (* 2.0 z)))) (* y (/ t (* 2.0 z)))) (sqrt (* y (/ t (* 2.0 z)))) (sqrt (* y (/ t (* 2.0 z)))) (* (sqrt y) (sqrt (/ t (* 2.0 z)))) (* (sqrt y) (sqrt (/ t (* 2.0 z)))) (* y (* (cbrt (/ t (* 2.0 z))) (cbrt (/ t (* 2.0 z))))) (* y (sqrt (/ t (* 2.0 z)))) (* y (/ (* (cbrt t) (cbrt t)) 2.0)) (* y (/ (sqrt t) 2.0)) (* y (/ 1 2.0)) (* y 1) (* y t) (* (cbrt y) (/ t (* 2.0 z))) (* (sqrt y) (/ t (* 2.0 z))) (* y (/ t (* 2.0 z))) (* y t) (- (log y) (log (- z (* y (/ t (* 2.0 z)))))) (log (/ y (- z (* y (/ t (* 2.0 z)))))) (exp (/ y (- z (* y (/ t (* 2.0 z)))))) (/ (* (* y y) y) (* (* (- z (* y (/ t (* 2.0 z)))) (- z (* y (/ t (* 2.0 z))))) (- z (* y (/ t (* 2.0 z)))))) (* (cbrt (/ y (- z (* y (/ t (* 2.0 z)))))) (cbrt (/ y (- z (* y (/ t (* 2.0 z))))))) (cbrt (/ y (- z (* y (/ t (* 2.0 z)))))) (* (* (/ y (- z (* y (/ t (* 2.0 z))))) (/ y (- z (* y (/ t (* 2.0 z)))))) (/ y (- z (* y (/ t (* 2.0 z)))))) (sqrt (/ y (- z (* y (/ t (* 2.0 z)))))) (sqrt (/ y (- z (* y (/ t (* 2.0 z)))))) (neg y) (neg (- z (* y (/ t (* 2.0 z))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- z (* y (/ t (* 2.0 z))))) (cbrt (- z (* y (/ t (* 2.0 z))))))) (/ (cbrt y) (cbrt (- z (* y (/ t (* 2.0 z)))))) (/ (* (cbrt y) (cbrt y)) (sqrt (- z (* y (/ t (* 2.0 z)))))) (/ (cbrt y) (sqrt (- z (* y (/ t (* 2.0 z)))))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (- z (* y (/ t (* 2.0 z))))) (/ (sqrt y) (* (cbrt (- z (* y (/ t (* 2.0 z))))) (cbrt (- z (* y (/ t (* 2.0 z))))))) (/ (sqrt y) (cbrt (- z (* y (/ t (* 2.0 z)))))) (/ (sqrt y) (sqrt (- z (* y (/ t (* 2.0 z)))))) (/ (sqrt y) (sqrt (- z (* y (/ t (* 2.0 z)))))) (/ (sqrt y) 1) (/ (sqrt y) (- z (* y (/ t (* 2.0 z))))) (/ 1 (* (cbrt (- z (* y (/ t (* 2.0 z))))) (cbrt (- z (* y (/ t (* 2.0 z))))))) (/ y (cbrt (- z (* y (/ t (* 2.0 z)))))) (/ 1 (sqrt (- z (* y (/ t (* 2.0 z)))))) (/ y (sqrt (- z (* y (/ t (* 2.0 z)))))) (/ 1 1) (/ y (- z (* y (/ t (* 2.0 z))))) (/ 1 (- z (* y (/ t (* 2.0 z))))) (/ (- z (* y (/ t (* 2.0 z)))) y) (/ y (* (cbrt (- z (* y (/ t (* 2.0 z))))) (cbrt (- z (* y (/ t (* 2.0 z))))))) (/ y (sqrt (- z (* y (/ t (* 2.0 z)))))) (/ y 1) (/ (- z (* y (/ t (* 2.0 z)))) (cbrt y)) (/ (- z (* y (/ t (* 2.0 z)))) (sqrt y)) (/ (- z (* y (/ t (* 2.0 z)))) y) (/ y (- (pow z 3) (pow (* y (/ t (* 2.0 z))) 3))) (/ y (- (* z z) (* (* y (/ t (* 2.0 z))) (* y (/ t (* 2.0 z)))))) (/ (exp z) (exp (* y (/ t (* 2.0 z))))) (log (- z (* y (/ t (* 2.0 z))))) (exp (- z (* y (/ t (* 2.0 z))))) (* (cbrt (- z (* y (/ t (* 2.0 z))))) (cbrt (- z (* y (/ t (* 2.0 z)))))) (cbrt (- z (* y (/ t (* 2.0 z))))) (* (* (- z (* y (/ t (* 2.0 z)))) (- z (* y (/ t (* 2.0 z))))) (- z (* y (/ t (* 2.0 z))))) (sqrt (- z (* y (/ t (* 2.0 z))))) (sqrt (- z (* y (/ t (* 2.0 z))))) (- (pow z 3) (pow (* y (/ t (* 2.0 z))) 3)) (+ (* z z) (+ (* (* y (/ t (* 2.0 z))) (* y (/ t (* 2.0 z)))) (* z (* y (/ t (* 2.0 z)))))) (neg (* y (/ t (* 2.0 z)))) (- (* z z) (* (* y (/ t (* 2.0 z))) (* y (/ t (* 2.0 z))))) (+ z (* y (/ t (* 2.0 z)))) (* 0.5 (/ (* t y) z)) (* 0.5 (/ (* t y) z)) (* 0.5 (/ (* t y) z)) 0 0 0 (- z (* 0.5 (/ (* t y) z))) (- z (* 0.5 (/ (* t y) z))) (- z (* 0.5 (/ (* t y) z))) 0.889 * * [simplify]: iteration 0 : 4977 enodes (cost 918 ) 0.890 * * [simplify]: iteration 1 : 4977 enodes (cost 918 ) 0.893 * [simplify]: Simplified to: (* y (/ t (* 2.0 z))) (log (* y (/ t (* 2.0 z)))) (log (* y (/ t (* 2.0 z)))) (log (* y (/ t (* 2.0 z)))) (log (* y (/ t (* 2.0 z)))) (pow (exp y) (/ t (* 2.0 z))) (pow (* y (/ t (* 2.0 z))) 3) (pow (* y (/ t (* 2.0 z))) 3) (pow (* y (/ t (* 2.0 z))) 3) (* (cbrt (* y (/ t (* 2.0 z)))) (cbrt (* y (/ t (* 2.0 z))))) (cbrt (* y (/ t (* 2.0 z)))) (pow (* y (/ t (* 2.0 z))) 3) (sqrt (* y (/ t (* 2.0 z)))) (sqrt (* y (/ t (* 2.0 z)))) (* (sqrt y) (sqrt (/ t (* 2.0 z)))) (* (sqrt y) (sqrt (/ t (* 2.0 z)))) (* y (* (cbrt (/ t (* 2.0 z))) (cbrt (/ t (* 2.0 z))))) (* y (sqrt (/ t (* 2.0 z)))) (* y (* (/ (cbrt t) 2.0) (cbrt t))) (* y (/ (sqrt t) 2.0)) (/ y 2.0) y (* y t) (* (/ t (* 2.0 z)) (cbrt y)) (* (/ t (* 2.0 z)) (sqrt y)) (* y (/ t (* 2.0 z))) (* y t) (neg (log (- (/ z y) (/ t (* 2.0 z))))) (neg (log (- (/ z y) (/ t (* 2.0 z))))) (exp (/ y (- z (* y (/ t (* 2.0 z)))))) (/ 1 (pow (- (/ z y) (/ t (* 2.0 z))) 3)) (* (cbrt (/ y (- z (* y (/ t (* 2.0 z)))))) (cbrt (/ y (- z (* y (/ t (* 2.0 z))))))) (cbrt (/ y (- z (* y (/ t (* 2.0 z)))))) (/ 1 (pow (- (/ z y) (/ t (* 2.0 z))) 3)) (sqrt (/ y (- z (* y (/ t (* 2.0 z)))))) (sqrt (/ y (- z (* y (/ t (* 2.0 z)))))) (neg y) (neg (- z (* y (/ t (* 2.0 z))))) (* (/ (cbrt y) (cbrt (- z (* y (/ t (* 2.0 z)))))) (/ (cbrt y) (cbrt (- z (* y (/ t (* 2.0 z))))))) (/ (cbrt y) (cbrt (- z (* y (/ t (* 2.0 z)))))) (* (/ (cbrt y) (sqrt (- z (* y (/ t (* 2.0 z)))))) (cbrt y)) (/ (cbrt y) (sqrt (- z (* y (/ t (* 2.0 z)))))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (- z (* y (/ t (* 2.0 z))))) (/ (sqrt y) (* (cbrt (- z (* y (/ t (* 2.0 z))))) (cbrt (- z (* y (/ t (* 2.0 z))))))) (/ (sqrt y) (cbrt (- z (* y (/ t (* 2.0 z)))))) (/ (sqrt y) (sqrt (- z (* y (/ t (* 2.0 z)))))) (/ (sqrt y) (sqrt (- z (* y (/ t (* 2.0 z)))))) (sqrt y) (/ (sqrt y) (- z (* y (/ t (* 2.0 z))))) (/ 1 (* (cbrt (- z (* y (/ t (* 2.0 z))))) (cbrt (- z (* y (/ t (* 2.0 z))))))) (/ y (cbrt (- z (* y (/ t (* 2.0 z)))))) (/ 1 (sqrt (- z (* y (/ t (* 2.0 z)))))) (/ y (sqrt (- z (* y (/ t (* 2.0 z)))))) 1 (/ y (- z (* y (/ t (* 2.0 z))))) (/ 1 (- z (* y (/ t (* 2.0 z))))) (- (/ z y) (/ t (* 2.0 z))) (/ y (* (cbrt (- z (* y (/ t (* 2.0 z))))) (cbrt (- z (* y (/ t (* 2.0 z))))))) (/ y (sqrt (- z (* y (/ t (* 2.0 z)))))) y (/ (- z (* y (/ t (* 2.0 z)))) (cbrt y)) (/ (- z (* y (/ t (* 2.0 z)))) (sqrt y)) (- (/ z y) (/ t (* 2.0 z))) (/ y (- (pow z 3) (pow (* y (/ t (* 2.0 z))) 3))) (/ y (- (* z z) (* y (* y (* (/ t (* 2.0 z)) (/ t (* 2.0 z))))))) (exp (- z (* y (/ t (* 2.0 z))))) (log (- z (* y (/ t (* 2.0 z))))) (exp (- z (* y (/ t (* 2.0 z))))) (* (cbrt (- z (* y (/ t (* 2.0 z))))) (cbrt (- z (* y (/ t (* 2.0 z)))))) (cbrt (- z (* y (/ t (* 2.0 z))))) (pow (- z (* y (/ t (* 2.0 z)))) 3) (sqrt (- z (* y (/ t (* 2.0 z))))) (sqrt (- z (* y (/ t (* 2.0 z))))) (- (pow z 3) (pow (* y (/ t (* 2.0 z))) 3)) (+ (* z z) (* y (* (/ t (* 2.0 z)) (+ z (* y (/ t (* 2.0 z))))))) (* y (/ (neg t) (* 2.0 z))) (- (* z z) (* y (* y (* (/ t (* 2.0 z)) (/ t (* 2.0 z)))))) (+ z (* y (/ t (* 2.0 z)))) (* 0.5 (* (/ t z) y)) (* 0.5 (* (/ t z) y)) (* 0.5 (* (/ t z) y)) 0 0 0 (- z (* 0.5 (* (/ t z) y))) (- z (* 0.5 (* (/ t z) y))) (- z (* 0.5 (* (/ t z) y))) 0.894 * * * [progress]: adding candidates to table 0.991 * * [progress]: iteration 2 / 4 0.991 * * * [progress]: picking best candidate 1.001 * * * * [pick]: Picked # 1.002 * * * [progress]: localizing error 1.014 * * * [progress]: generating rewritten candidates 1.014 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.026 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 1.037 * * * [progress]: generating series expansions 1.037 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.037 * [approximate]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in (z y t) around 0 1.037 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in t 1.037 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in t 1.037 * [taylor]: Taking taylor expansion of (/ z y) in t 1.037 * [taylor]: Taking taylor expansion of z in t 1.037 * [taylor]: Taking taylor expansion of y in t 1.037 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.037 * [taylor]: Taking taylor expansion of 0.5 in t 1.037 * [taylor]: Taking taylor expansion of (/ t z) in t 1.037 * [taylor]: Taking taylor expansion of t in t 1.037 * [taylor]: Taking taylor expansion of z in t 1.038 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in y 1.038 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in y 1.038 * [taylor]: Taking taylor expansion of (/ z y) in y 1.038 * [taylor]: Taking taylor expansion of z in y 1.038 * [taylor]: Taking taylor expansion of y in y 1.038 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 1.038 * [taylor]: Taking taylor expansion of 0.5 in y 1.038 * [taylor]: Taking taylor expansion of (/ t z) in y 1.038 * [taylor]: Taking taylor expansion of t in y 1.038 * [taylor]: Taking taylor expansion of z in y 1.038 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in z 1.038 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.038 * [taylor]: Taking taylor expansion of (/ z y) in z 1.038 * [taylor]: Taking taylor expansion of z in z 1.038 * [taylor]: Taking taylor expansion of y in z 1.038 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.038 * [taylor]: Taking taylor expansion of 0.5 in z 1.038 * [taylor]: Taking taylor expansion of (/ t z) in z 1.038 * [taylor]: Taking taylor expansion of t in z 1.038 * [taylor]: Taking taylor expansion of z in z 1.038 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in z 1.038 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.038 * [taylor]: Taking taylor expansion of (/ z y) in z 1.038 * [taylor]: Taking taylor expansion of z in z 1.038 * [taylor]: Taking taylor expansion of y in z 1.038 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.038 * [taylor]: Taking taylor expansion of 0.5 in z 1.038 * [taylor]: Taking taylor expansion of (/ t z) in z 1.038 * [taylor]: Taking taylor expansion of t in z 1.038 * [taylor]: Taking taylor expansion of z in z 1.038 * [taylor]: Taking taylor expansion of (/ -2.0 t) in y 1.038 * [taylor]: Taking taylor expansion of -2.0 in y 1.038 * [taylor]: Taking taylor expansion of t in y 1.039 * [taylor]: Taking taylor expansion of 0 in t 1.039 * [taylor]: Taking taylor expansion of 0 in y 1.039 * [taylor]: Taking taylor expansion of 0 in t 1.039 * [taylor]: Taking taylor expansion of 0 in t 1.039 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* (pow t 2) y)))) in y 1.039 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) y))) in y 1.039 * [taylor]: Taking taylor expansion of 4.0 in y 1.039 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) y)) in y 1.039 * [taylor]: Taking taylor expansion of (* (pow t 2) y) in y 1.039 * [taylor]: Taking taylor expansion of (pow t 2) in y 1.039 * [taylor]: Taking taylor expansion of t in y 1.039 * [taylor]: Taking taylor expansion of y in y 1.040 * [taylor]: Taking taylor expansion of 0 in t 1.040 * [taylor]: Taking taylor expansion of 0 in t 1.040 * [approximate]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in (z y t) around 0 1.041 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in t 1.041 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.041 * [taylor]: Taking taylor expansion of (/ y z) in t 1.041 * [taylor]: Taking taylor expansion of y in t 1.041 * [taylor]: Taking taylor expansion of z in t 1.041 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.041 * [taylor]: Taking taylor expansion of 0.5 in t 1.041 * [taylor]: Taking taylor expansion of (/ z t) in t 1.041 * [taylor]: Taking taylor expansion of z in t 1.041 * [taylor]: Taking taylor expansion of t in t 1.041 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in y 1.041 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.041 * [taylor]: Taking taylor expansion of (/ y z) in y 1.041 * [taylor]: Taking taylor expansion of y in y 1.041 * [taylor]: Taking taylor expansion of z in y 1.041 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.041 * [taylor]: Taking taylor expansion of 0.5 in y 1.041 * [taylor]: Taking taylor expansion of (/ z t) in y 1.041 * [taylor]: Taking taylor expansion of z in y 1.041 * [taylor]: Taking taylor expansion of t in y 1.041 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.041 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.041 * [taylor]: Taking taylor expansion of (/ y z) in z 1.041 * [taylor]: Taking taylor expansion of y in z 1.041 * [taylor]: Taking taylor expansion of z in z 1.041 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.041 * [taylor]: Taking taylor expansion of 0.5 in z 1.041 * [taylor]: Taking taylor expansion of (/ z t) in z 1.041 * [taylor]: Taking taylor expansion of z in z 1.041 * [taylor]: Taking taylor expansion of t in z 1.041 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.041 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.041 * [taylor]: Taking taylor expansion of (/ y z) in z 1.041 * [taylor]: Taking taylor expansion of y in z 1.041 * [taylor]: Taking taylor expansion of z in z 1.041 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.042 * [taylor]: Taking taylor expansion of 0.5 in z 1.042 * [taylor]: Taking taylor expansion of (/ z t) in z 1.042 * [taylor]: Taking taylor expansion of z in z 1.042 * [taylor]: Taking taylor expansion of t in z 1.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.042 * [taylor]: Taking taylor expansion of y in y 1.042 * [taylor]: Taking taylor expansion of 0 in t 1.042 * [taylor]: Taking taylor expansion of 0 in y 1.042 * [taylor]: Taking taylor expansion of 0 in t 1.042 * [taylor]: Taking taylor expansion of 0 in t 1.042 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t (pow y 2)))) in y 1.042 * [taylor]: Taking taylor expansion of 0.5 in y 1.042 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow y 2))) in y 1.042 * [taylor]: Taking taylor expansion of (* t (pow y 2)) in y 1.042 * [taylor]: Taking taylor expansion of t in y 1.042 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.042 * [taylor]: Taking taylor expansion of y in y 1.043 * [taylor]: Taking taylor expansion of 0 in t 1.043 * [taylor]: Taking taylor expansion of 0 in t 1.043 * [approximate]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in (z y t) around 0 1.043 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in t 1.043 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.043 * [taylor]: Taking taylor expansion of (/ y z) in t 1.043 * [taylor]: Taking taylor expansion of y in t 1.043 * [taylor]: Taking taylor expansion of z in t 1.043 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.043 * [taylor]: Taking taylor expansion of 0.5 in t 1.043 * [taylor]: Taking taylor expansion of (/ z t) in t 1.043 * [taylor]: Taking taylor expansion of z in t 1.043 * [taylor]: Taking taylor expansion of t in t 1.043 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in y 1.043 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.043 * [taylor]: Taking taylor expansion of (/ y z) in y 1.043 * [taylor]: Taking taylor expansion of y in y 1.043 * [taylor]: Taking taylor expansion of z in y 1.043 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.043 * [taylor]: Taking taylor expansion of 0.5 in y 1.043 * [taylor]: Taking taylor expansion of (/ z t) in y 1.043 * [taylor]: Taking taylor expansion of z in y 1.043 * [taylor]: Taking taylor expansion of t in y 1.043 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.043 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.043 * [taylor]: Taking taylor expansion of (/ y z) in z 1.043 * [taylor]: Taking taylor expansion of y in z 1.044 * [taylor]: Taking taylor expansion of z in z 1.044 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.044 * [taylor]: Taking taylor expansion of 0.5 in z 1.044 * [taylor]: Taking taylor expansion of (/ z t) in z 1.044 * [taylor]: Taking taylor expansion of z in z 1.044 * [taylor]: Taking taylor expansion of t in z 1.044 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.044 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.044 * [taylor]: Taking taylor expansion of (/ y z) in z 1.044 * [taylor]: Taking taylor expansion of y in z 1.044 * [taylor]: Taking taylor expansion of z in z 1.044 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.044 * [taylor]: Taking taylor expansion of 0.5 in z 1.044 * [taylor]: Taking taylor expansion of (/ z t) in z 1.044 * [taylor]: Taking taylor expansion of z in z 1.044 * [taylor]: Taking taylor expansion of t in z 1.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.044 * [taylor]: Taking taylor expansion of y in y 1.044 * [taylor]: Taking taylor expansion of 0 in t 1.044 * [taylor]: Taking taylor expansion of 0 in y 1.044 * [taylor]: Taking taylor expansion of 0 in t 1.044 * [taylor]: Taking taylor expansion of 0 in t 1.044 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t (pow y 2)))) in y 1.044 * [taylor]: Taking taylor expansion of 0.5 in y 1.044 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow y 2))) in y 1.044 * [taylor]: Taking taylor expansion of (* t (pow y 2)) in y 1.045 * [taylor]: Taking taylor expansion of t in y 1.045 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.045 * [taylor]: Taking taylor expansion of y in y 1.045 * [taylor]: Taking taylor expansion of 0 in t 1.045 * [taylor]: Taking taylor expansion of 0 in t 1.045 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 1.045 * [approximate]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in (z y t) around 0 1.045 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in t 1.045 * [taylor]: Taking taylor expansion of (/ z y) in t 1.045 * [taylor]: Taking taylor expansion of z in t 1.045 * [taylor]: Taking taylor expansion of y in t 1.045 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.045 * [taylor]: Taking taylor expansion of 0.5 in t 1.045 * [taylor]: Taking taylor expansion of (/ t z) in t 1.045 * [taylor]: Taking taylor expansion of t in t 1.045 * [taylor]: Taking taylor expansion of z in t 1.045 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in y 1.045 * [taylor]: Taking taylor expansion of (/ z y) in y 1.045 * [taylor]: Taking taylor expansion of z in y 1.045 * [taylor]: Taking taylor expansion of y in y 1.045 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 1.045 * [taylor]: Taking taylor expansion of 0.5 in y 1.045 * [taylor]: Taking taylor expansion of (/ t z) in y 1.045 * [taylor]: Taking taylor expansion of t in y 1.045 * [taylor]: Taking taylor expansion of z in y 1.045 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.045 * [taylor]: Taking taylor expansion of (/ z y) in z 1.045 * [taylor]: Taking taylor expansion of z in z 1.045 * [taylor]: Taking taylor expansion of y in z 1.045 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.045 * [taylor]: Taking taylor expansion of 0.5 in z 1.046 * [taylor]: Taking taylor expansion of (/ t z) in z 1.046 * [taylor]: Taking taylor expansion of t in z 1.046 * [taylor]: Taking taylor expansion of z in z 1.046 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.046 * [taylor]: Taking taylor expansion of (/ z y) in z 1.046 * [taylor]: Taking taylor expansion of z in z 1.046 * [taylor]: Taking taylor expansion of y in z 1.046 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.046 * [taylor]: Taking taylor expansion of 0.5 in z 1.046 * [taylor]: Taking taylor expansion of (/ t z) in z 1.046 * [taylor]: Taking taylor expansion of t in z 1.046 * [taylor]: Taking taylor expansion of z in z 1.046 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in y 1.046 * [taylor]: Taking taylor expansion of (* 0.5 t) in y 1.046 * [taylor]: Taking taylor expansion of 0.5 in y 1.046 * [taylor]: Taking taylor expansion of t in y 1.046 * [taylor]: Taking taylor expansion of 0 in y 1.046 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in t 1.046 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 1.046 * [taylor]: Taking taylor expansion of 0.5 in t 1.046 * [taylor]: Taking taylor expansion of t in t 1.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.046 * [taylor]: Taking taylor expansion of y in y 1.046 * [taylor]: Taking taylor expansion of 1 in t 1.046 * [taylor]: Taking taylor expansion of 0 in t 1.046 * [taylor]: Taking taylor expansion of 0 in t 1.047 * [taylor]: Taking taylor expansion of 0 in y 1.047 * [taylor]: Taking taylor expansion of 0 in t 1.047 * [taylor]: Taking taylor expansion of 0 in t 1.047 * [taylor]: Taking taylor expansion of 0 in t 1.047 * [approximate]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in (z y t) around 0 1.047 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.047 * [taylor]: Taking taylor expansion of (/ y z) in t 1.047 * [taylor]: Taking taylor expansion of y in t 1.047 * [taylor]: Taking taylor expansion of z in t 1.047 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.047 * [taylor]: Taking taylor expansion of 0.5 in t 1.047 * [taylor]: Taking taylor expansion of (/ z t) in t 1.047 * [taylor]: Taking taylor expansion of z in t 1.047 * [taylor]: Taking taylor expansion of t in t 1.047 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.047 * [taylor]: Taking taylor expansion of (/ y z) in y 1.047 * [taylor]: Taking taylor expansion of y in y 1.047 * [taylor]: Taking taylor expansion of z in y 1.047 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.047 * [taylor]: Taking taylor expansion of 0.5 in y 1.047 * [taylor]: Taking taylor expansion of (/ z t) in y 1.047 * [taylor]: Taking taylor expansion of z in y 1.047 * [taylor]: Taking taylor expansion of t in y 1.047 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.047 * [taylor]: Taking taylor expansion of (/ y z) in z 1.047 * [taylor]: Taking taylor expansion of y in z 1.047 * [taylor]: Taking taylor expansion of z in z 1.048 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.048 * [taylor]: Taking taylor expansion of 0.5 in z 1.048 * [taylor]: Taking taylor expansion of (/ z t) in z 1.048 * [taylor]: Taking taylor expansion of z in z 1.048 * [taylor]: Taking taylor expansion of t in z 1.048 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.048 * [taylor]: Taking taylor expansion of (/ y z) in z 1.048 * [taylor]: Taking taylor expansion of y in z 1.048 * [taylor]: Taking taylor expansion of z in z 1.048 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.048 * [taylor]: Taking taylor expansion of 0.5 in z 1.048 * [taylor]: Taking taylor expansion of (/ z t) in z 1.048 * [taylor]: Taking taylor expansion of z in z 1.048 * [taylor]: Taking taylor expansion of t in z 1.048 * [taylor]: Taking taylor expansion of y in y 1.048 * [taylor]: Taking taylor expansion of 0 in t 1.048 * [taylor]: Taking taylor expansion of 0 in y 1.048 * [taylor]: Taking taylor expansion of 0 in t 1.048 * [taylor]: Taking taylor expansion of 1 in t 1.048 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in y 1.048 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y 1.048 * [taylor]: Taking taylor expansion of 0.5 in y 1.048 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.048 * [taylor]: Taking taylor expansion of t in y 1.048 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 1.048 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 1.048 * [taylor]: Taking taylor expansion of 0.5 in t 1.048 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.048 * [taylor]: Taking taylor expansion of t in t 1.048 * [taylor]: Taking taylor expansion of 0 in t 1.048 * [taylor]: Taking taylor expansion of 0 in t 1.049 * [taylor]: Taking taylor expansion of 0 in y 1.049 * [taylor]: Taking taylor expansion of 0 in t 1.049 * [taylor]: Taking taylor expansion of 0 in t 1.049 * [taylor]: Taking taylor expansion of 0 in t 1.049 * [taylor]: Taking taylor expansion of 0 in t 1.049 * [approximate]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in (z y t) around 0 1.049 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.049 * [taylor]: Taking taylor expansion of (/ y z) in t 1.049 * [taylor]: Taking taylor expansion of y in t 1.049 * [taylor]: Taking taylor expansion of z in t 1.049 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.049 * [taylor]: Taking taylor expansion of 0.5 in t 1.049 * [taylor]: Taking taylor expansion of (/ z t) in t 1.049 * [taylor]: Taking taylor expansion of z in t 1.049 * [taylor]: Taking taylor expansion of t in t 1.049 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.049 * [taylor]: Taking taylor expansion of (/ y z) in y 1.049 * [taylor]: Taking taylor expansion of y in y 1.049 * [taylor]: Taking taylor expansion of z in y 1.049 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.049 * [taylor]: Taking taylor expansion of 0.5 in y 1.050 * [taylor]: Taking taylor expansion of (/ z t) in y 1.050 * [taylor]: Taking taylor expansion of z in y 1.050 * [taylor]: Taking taylor expansion of t in y 1.050 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.050 * [taylor]: Taking taylor expansion of (/ y z) in z 1.050 * [taylor]: Taking taylor expansion of y in z 1.050 * [taylor]: Taking taylor expansion of z in z 1.050 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.050 * [taylor]: Taking taylor expansion of 0.5 in z 1.050 * [taylor]: Taking taylor expansion of (/ z t) in z 1.050 * [taylor]: Taking taylor expansion of z in z 1.050 * [taylor]: Taking taylor expansion of t in z 1.050 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.050 * [taylor]: Taking taylor expansion of (/ y z) in z 1.050 * [taylor]: Taking taylor expansion of y in z 1.050 * [taylor]: Taking taylor expansion of z in z 1.050 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.050 * [taylor]: Taking taylor expansion of 0.5 in z 1.050 * [taylor]: Taking taylor expansion of (/ z t) in z 1.050 * [taylor]: Taking taylor expansion of z in z 1.050 * [taylor]: Taking taylor expansion of t in z 1.050 * [taylor]: Taking taylor expansion of y in y 1.050 * [taylor]: Taking taylor expansion of 0 in t 1.050 * [taylor]: Taking taylor expansion of 0 in y 1.050 * [taylor]: Taking taylor expansion of 0 in t 1.050 * [taylor]: Taking taylor expansion of 1 in t 1.050 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in y 1.050 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y 1.050 * [taylor]: Taking taylor expansion of 0.5 in y 1.050 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.050 * [taylor]: Taking taylor expansion of t in y 1.050 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 1.050 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 1.050 * [taylor]: Taking taylor expansion of 0.5 in t 1.051 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.051 * [taylor]: Taking taylor expansion of t in t 1.051 * [taylor]: Taking taylor expansion of 0 in t 1.051 * [taylor]: Taking taylor expansion of 0 in t 1.051 * [taylor]: Taking taylor expansion of 0 in y 1.051 * [taylor]: Taking taylor expansion of 0 in t 1.051 * [taylor]: Taking taylor expansion of 0 in t 1.051 * [taylor]: Taking taylor expansion of 0 in t 1.051 * [taylor]: Taking taylor expansion of 0 in t 1.051 * * * [progress]: simplifying candidates 1.052 * [simplify]: Simplifying using # : (neg 1) (neg (log (- (/ z y) (/ t (* 2.0 z))))) (- 0 (log (- (/ z y) (/ t (* 2.0 z))))) (- (log 1) (log (- (/ z y) (/ t (* 2.0 z))))) (log (/ 1 (- (/ z y) (/ t (* 2.0 z))))) (exp (/ 1 (- (/ z y) (/ t (* 2.0 z))))) (/ (* (* 1 1) 1) (* (* (- (/ z y) (/ t (* 2.0 z))) (- (/ z y) (/ t (* 2.0 z)))) (- (/ z y) (/ t (* 2.0 z))))) (* (cbrt (/ 1 (- (/ z y) (/ t (* 2.0 z))))) (cbrt (/ 1 (- (/ z y) (/ t (* 2.0 z)))))) (cbrt (/ 1 (- (/ z y) (/ t (* 2.0 z))))) (* (* (/ 1 (- (/ z y) (/ t (* 2.0 z)))) (/ 1 (- (/ z y) (/ t (* 2.0 z))))) (/ 1 (- (/ z y) (/ t (* 2.0 z))))) (sqrt (/ 1 (- (/ z y) (/ t (* 2.0 z))))) (sqrt (/ 1 (- (/ z y) (/ t (* 2.0 z))))) (neg 1) (neg (- (/ z y) (/ t (* 2.0 z)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- (/ z y) (/ t (* 2.0 z)))) (cbrt (- (/ z y) (/ t (* 2.0 z)))))) (/ (cbrt 1) (cbrt (- (/ z y) (/ t (* 2.0 z))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- (/ z y) (/ t (* 2.0 z))))) (/ (cbrt 1) (sqrt (- (/ z y) (/ t (* 2.0 z))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- (/ z y) (/ t (* 2.0 z)))) (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt (/ z y)) (sqrt (/ t (* 2.0 z))))) (/ (cbrt 1) (- (sqrt (/ z y)) (sqrt (/ t (* 2.0 z))))) (/ (* (cbrt 1) (cbrt 1)) (+ (/ (sqrt z) (sqrt y)) (sqrt (/ t (* 2.0 z))))) (/ (cbrt 1) (- (/ (sqrt z) (sqrt y)) (sqrt (/ t (* 2.0 z))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- (/ z y) (/ t (* 2.0 z)))) (/ (sqrt 1) (* (cbrt (- (/ z y) (/ t (* 2.0 z)))) (cbrt (- (/ z y) (/ t (* 2.0 z)))))) (/ (sqrt 1) (cbrt (- (/ z y) (/ t (* 2.0 z))))) (/ (sqrt 1) (sqrt (- (/ z y) (/ t (* 2.0 z))))) (/ (sqrt 1) (sqrt (- (/ z y) (/ t (* 2.0 z))))) (/ (sqrt 1) 1) (/ (sqrt 1) (- (/ z y) (/ t (* 2.0 z)))) (/ (sqrt 1) (+ (sqrt (/ z y)) (sqrt (/ t (* 2.0 z))))) (/ (sqrt 1) (- (sqrt (/ z y)) (sqrt (/ t (* 2.0 z))))) (/ (sqrt 1) (+ (/ (sqrt z) (sqrt y)) (sqrt (/ t (* 2.0 z))))) (/ (sqrt 1) (- (/ (sqrt z) (sqrt y)) (sqrt (/ t (* 2.0 z))))) (/ (sqrt 1) 1) (/ (sqrt 1) (- (/ z y) (/ t (* 2.0 z)))) (/ 1 (* (cbrt (- (/ z y) (/ t (* 2.0 z)))) (cbrt (- (/ z y) (/ t (* 2.0 z)))))) (/ 1 (cbrt (- (/ z y) (/ t (* 2.0 z))))) (/ 1 (sqrt (- (/ z y) (/ t (* 2.0 z))))) (/ 1 (sqrt (- (/ z y) (/ t (* 2.0 z))))) (/ 1 1) (/ 1 (- (/ z y) (/ t (* 2.0 z)))) (/ 1 (+ (sqrt (/ z y)) (sqrt (/ t (* 2.0 z))))) (/ 1 (- (sqrt (/ z y)) (sqrt (/ t (* 2.0 z))))) (/ 1 (+ (/ (sqrt z) (sqrt y)) (sqrt (/ t (* 2.0 z))))) (/ 1 (- (/ (sqrt z) (sqrt y)) (sqrt (/ t (* 2.0 z))))) (/ 1 1) (/ 1 (- (/ z y) (/ t (* 2.0 z)))) (/ 1 (- (/ z y) (/ t (* 2.0 z)))) (/ (- (/ z y) (/ t (* 2.0 z))) 1) (/ 1 (* (cbrt (- (/ z y) (/ t (* 2.0 z)))) (cbrt (- (/ z y) (/ t (* 2.0 z)))))) (/ 1 (sqrt (- (/ z y) (/ t (* 2.0 z))))) (/ 1 1) (/ 1 (+ (sqrt (/ z y)) (sqrt (/ t (* 2.0 z))))) (/ 1 (+ (/ (sqrt z) (sqrt y)) (sqrt (/ t (* 2.0 z))))) (/ 1 1) (/ (- (/ z y) (/ t (* 2.0 z))) (cbrt 1)) (/ (- (/ z y) (/ t (* 2.0 z))) (sqrt 1)) (/ (- (/ z y) (/ t (* 2.0 z))) 1) (/ 1 (- (* z (* 2.0 z)) (* y t))) (/ 1 (- (pow (/ z y) 3) (pow (/ t (* 2.0 z)) 3))) (/ 1 (- (* (/ z y) (/ z y)) (* (/ t (* 2.0 z)) (/ t (* 2.0 z))))) (/ (exp (/ z y)) (exp (/ t (* 2.0 z)))) (log (- (/ z y) (/ t (* 2.0 z)))) (exp (- (/ z y) (/ t (* 2.0 z)))) (* (cbrt (- (/ z y) (/ t (* 2.0 z)))) (cbrt (- (/ z y) (/ t (* 2.0 z))))) (cbrt (- (/ z y) (/ t (* 2.0 z)))) (* (* (- (/ z y) (/ t (* 2.0 z))) (- (/ z y) (/ t (* 2.0 z)))) (- (/ z y) (/ t (* 2.0 z)))) (sqrt (- (/ z y) (/ t (* 2.0 z)))) (sqrt (- (/ z y) (/ t (* 2.0 z)))) (- (* z (* 2.0 z)) (* y t)) (* y (* 2.0 z)) (- (pow (/ z y) 3) (pow (/ t (* 2.0 z)) 3)) (+ (* (/ z y) (/ z y)) (+ (* (/ t (* 2.0 z)) (/ t (* 2.0 z))) (* (/ z y) (/ t (* 2.0 z))))) (neg (/ t (* 2.0 z))) (- (* (/ z y) (/ z y)) (* (/ t (* 2.0 z)) (/ t (* 2.0 z)))) (+ (/ z y) (/ t (* 2.0 z))) (+ (sqrt (/ z y)) (sqrt (/ t (* 2.0 z)))) (- (sqrt (/ z y)) (sqrt (/ t (* 2.0 z)))) (+ (/ (sqrt z) (sqrt y)) (sqrt (/ t (* 2.0 z)))) (- (/ (sqrt z) (sqrt y)) (sqrt (/ t (* 2.0 z)))) (- (/ z y) (/ t (* 2.0 z))) 0 0 0 (- (/ z y) (* 0.5 (/ t z))) (- (/ z y) (* 0.5 (/ t z))) (- (/ z y) (* 0.5 (/ t z))) 1.109 * * [simplify]: iteration 0 : 6363 enodes (cost 1018 ) 1.113 * [simplify]: Simplified to: -1 (neg (log (- (/ z y) (/ t (* z 2.0))))) (neg (log (- (/ z y) (/ t (* z 2.0))))) (neg (log (- (/ z y) (/ t (* z 2.0))))) (neg (log (- (/ z y) (/ t (* z 2.0))))) (exp (/ 1 (- (/ z y) (/ t (* z 2.0))))) (/ 1 (pow (- (/ z y) (/ t (* z 2.0))) 3)) (* (cbrt (/ 1 (- (/ z y) (/ t (* z 2.0))))) (cbrt (/ 1 (- (/ z y) (/ t (* z 2.0)))))) (cbrt (/ 1 (- (/ z y) (/ t (* z 2.0))))) (/ 1 (pow (- (/ z y) (/ t (* z 2.0))) 3)) (sqrt (/ 1 (- (/ z y) (/ t (* z 2.0))))) (sqrt (/ 1 (- (/ z y) (/ t (* z 2.0))))) -1 (neg (- (/ z y) (/ t (* z 2.0)))) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- (/ z y) (/ t (* z 2.0)))) (cbrt (- (/ z y) (/ t (* z 2.0))))))) (/ (cbrt 1) (cbrt (- (/ z y) (/ t (* z 2.0))))) (* (cbrt 1) (/ (cbrt 1) (sqrt (- (/ z y) (/ t (* z 2.0)))))) (/ (cbrt 1) (sqrt (- (/ z y) (/ t (* z 2.0))))) (* (cbrt 1) (cbrt 1)) (/ (cbrt 1) (- (/ z y) (/ t (* z 2.0)))) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt (/ z y)) (sqrt (/ t (* z 2.0)))))) (/ (cbrt 1) (- (sqrt (/ z y)) (sqrt (/ t (* z 2.0))))) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt (/ t (* z 2.0))) (/ (sqrt z) (sqrt y))))) (/ (cbrt 1) (- (/ (sqrt z) (sqrt y)) (sqrt (/ t (* z 2.0))))) (* (cbrt 1) (cbrt 1)) (/ (cbrt 1) (- (/ z y) (/ t (* z 2.0)))) (/ 1 (* (cbrt (- (/ z y) (/ t (* z 2.0)))) (cbrt (- (/ z y) (/ t (* z 2.0)))))) (/ 1 (cbrt (- (/ z y) (/ t (* z 2.0))))) (/ 1 (sqrt (- (/ z y) (/ t (* z 2.0))))) (/ 1 (sqrt (- (/ z y) (/ t (* z 2.0))))) 1 (/ 1 (- (/ z y) (/ t (* z 2.0)))) (/ 1 (+ (sqrt (/ z y)) (sqrt (/ t (* z 2.0))))) (/ 1 (- (sqrt (/ z y)) (sqrt (/ t (* z 2.0))))) (/ 1 (+ (sqrt (/ t (* z 2.0))) (/ (sqrt z) (sqrt y)))) (/ 1 (- (/ (sqrt z) (sqrt y)) (sqrt (/ t (* z 2.0))))) 1 (/ 1 (- (/ z y) (/ t (* z 2.0)))) (/ 1 (* (cbrt (- (/ z y) (/ t (* z 2.0)))) (cbrt (- (/ z y) (/ t (* z 2.0)))))) (/ 1 (cbrt (- (/ z y) (/ t (* z 2.0))))) (/ 1 (sqrt (- (/ z y) (/ t (* z 2.0))))) (/ 1 (sqrt (- (/ z y) (/ t (* z 2.0))))) 1 (/ 1 (- (/ z y) (/ t (* z 2.0)))) (/ 1 (+ (sqrt (/ z y)) (sqrt (/ t (* z 2.0))))) (/ 1 (- (sqrt (/ z y)) (sqrt (/ t (* z 2.0))))) (/ 1 (+ (sqrt (/ t (* z 2.0))) (/ (sqrt z) (sqrt y)))) (/ 1 (- (/ (sqrt z) (sqrt y)) (sqrt (/ t (* z 2.0))))) 1 (/ 1 (- (/ z y) (/ t (* z 2.0)))) (/ 1 (- (/ z y) (/ t (* z 2.0)))) (- (/ z y) (/ t (* z 2.0))) (/ 1 (* (cbrt (- (/ z y) (/ t (* z 2.0)))) (cbrt (- (/ z y) (/ t (* z 2.0)))))) (/ 1 (sqrt (- (/ z y) (/ t (* z 2.0))))) 1 (/ 1 (+ (sqrt (/ z y)) (sqrt (/ t (* z 2.0))))) (/ 1 (+ (sqrt (/ t (* z 2.0))) (/ (sqrt z) (sqrt y)))) 1 (/ (- (/ z y) (/ t (* z 2.0))) (cbrt 1)) (- (/ z y) (/ t (* z 2.0))) (- (/ z y) (/ t (* z 2.0))) (/ 1 (- (* z (* z 2.0)) (* y t))) (/ 1 (- (pow (/ z y) 3) (pow (/ t (* z 2.0)) 3))) (/ 1 (- (* z (/ z (* y y))) (* t (/ t (* z (* z (* 2.0 2.0))))))) (exp (- (/ z y) (/ t (* z 2.0)))) (log (- (/ z y) (/ t (* z 2.0)))) (exp (- (/ z y) (/ t (* z 2.0)))) (* (cbrt (- (/ z y) (/ t (* z 2.0)))) (cbrt (- (/ z y) (/ t (* z 2.0))))) (cbrt (- (/ z y) (/ t (* z 2.0)))) (pow (- (/ z y) (/ t (* z 2.0))) 3) (sqrt (- (/ z y) (/ t (* z 2.0)))) (sqrt (- (/ z y) (/ t (* z 2.0)))) (- (* z (* z 2.0)) (* y t)) (* z (* y 2.0)) (- (pow (/ z y) 3) (pow (/ t (* z 2.0)) 3)) (+ (* z (/ z (* y y))) (* t (/ (+ (/ z y) (/ t (* z 2.0))) (* z 2.0)))) (/ (neg t) (* z 2.0)) (- (* z (/ z (* y y))) (* t (/ t (* z (* z (* 2.0 2.0)))))) (+ (/ z y) (/ t (* z 2.0))) (+ (sqrt (/ z y)) (sqrt (/ t (* z 2.0)))) (- (sqrt (/ z y)) (sqrt (/ t (* z 2.0)))) (+ (sqrt (/ t (* z 2.0))) (/ (sqrt z) (sqrt y))) (- (/ (sqrt z) (sqrt y)) (sqrt (/ t (* z 2.0)))) (- (/ z y) (/ t (* z 2.0))) 0 0 0 (- (/ z y) (* t (/ 0.5 z))) (- (/ z y) (* t (/ 0.5 z))) (- (/ z y) (* t (/ 0.5 z))) 1.113 * * * [progress]: adding candidates to table 1.190 * * [progress]: iteration 3 / 4 1.190 * * * [progress]: picking best candidate 1.198 * * * * [pick]: Picked # 1.198 * * * [progress]: localizing error 1.206 * * * [progress]: generating rewritten candidates 1.207 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1.214 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2 2) 1.221 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 1.229 * * * [progress]: generating series expansions 1.229 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.229 * [approximate]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in (z y t) around 0 1.229 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in t 1.229 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in t 1.229 * [taylor]: Taking taylor expansion of (/ z y) in t 1.229 * [taylor]: Taking taylor expansion of z in t 1.229 * [taylor]: Taking taylor expansion of y in t 1.229 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.229 * [taylor]: Taking taylor expansion of 0.5 in t 1.230 * [taylor]: Taking taylor expansion of (/ t z) in t 1.230 * [taylor]: Taking taylor expansion of t in t 1.230 * [taylor]: Taking taylor expansion of z in t 1.230 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in y 1.230 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in y 1.230 * [taylor]: Taking taylor expansion of (/ z y) in y 1.230 * [taylor]: Taking taylor expansion of z in y 1.230 * [taylor]: Taking taylor expansion of y in y 1.230 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 1.230 * [taylor]: Taking taylor expansion of 0.5 in y 1.230 * [taylor]: Taking taylor expansion of (/ t z) in y 1.230 * [taylor]: Taking taylor expansion of t in y 1.230 * [taylor]: Taking taylor expansion of z in y 1.230 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in z 1.230 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.230 * [taylor]: Taking taylor expansion of (/ z y) in z 1.230 * [taylor]: Taking taylor expansion of z in z 1.230 * [taylor]: Taking taylor expansion of y in z 1.230 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.230 * [taylor]: Taking taylor expansion of 0.5 in z 1.230 * [taylor]: Taking taylor expansion of (/ t z) in z 1.230 * [taylor]: Taking taylor expansion of t in z 1.230 * [taylor]: Taking taylor expansion of z in z 1.230 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in z 1.230 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.230 * [taylor]: Taking taylor expansion of (/ z y) in z 1.230 * [taylor]: Taking taylor expansion of z in z 1.230 * [taylor]: Taking taylor expansion of y in z 1.230 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.230 * [taylor]: Taking taylor expansion of 0.5 in z 1.230 * [taylor]: Taking taylor expansion of (/ t z) in z 1.230 * [taylor]: Taking taylor expansion of t in z 1.230 * [taylor]: Taking taylor expansion of z in z 1.231 * [taylor]: Taking taylor expansion of (/ -2.0 t) in y 1.231 * [taylor]: Taking taylor expansion of -2.0 in y 1.231 * [taylor]: Taking taylor expansion of t in y 1.231 * [taylor]: Taking taylor expansion of 0 in t 1.231 * [taylor]: Taking taylor expansion of 0 in y 1.231 * [taylor]: Taking taylor expansion of 0 in t 1.231 * [taylor]: Taking taylor expansion of 0 in t 1.231 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* (pow t 2) y)))) in y 1.231 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) y))) in y 1.231 * [taylor]: Taking taylor expansion of 4.0 in y 1.231 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) y)) in y 1.231 * [taylor]: Taking taylor expansion of (* (pow t 2) y) in y 1.231 * [taylor]: Taking taylor expansion of (pow t 2) in y 1.231 * [taylor]: Taking taylor expansion of t in y 1.231 * [taylor]: Taking taylor expansion of y in y 1.232 * [taylor]: Taking taylor expansion of 0 in t 1.232 * [taylor]: Taking taylor expansion of 0 in t 1.232 * [approximate]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in (z y t) around 0 1.232 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in t 1.232 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.232 * [taylor]: Taking taylor expansion of (/ y z) in t 1.232 * [taylor]: Taking taylor expansion of y in t 1.232 * [taylor]: Taking taylor expansion of z in t 1.233 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.233 * [taylor]: Taking taylor expansion of 0.5 in t 1.233 * [taylor]: Taking taylor expansion of (/ z t) in t 1.233 * [taylor]: Taking taylor expansion of z in t 1.233 * [taylor]: Taking taylor expansion of t in t 1.233 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in y 1.233 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.233 * [taylor]: Taking taylor expansion of (/ y z) in y 1.233 * [taylor]: Taking taylor expansion of y in y 1.233 * [taylor]: Taking taylor expansion of z in y 1.233 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.233 * [taylor]: Taking taylor expansion of 0.5 in y 1.233 * [taylor]: Taking taylor expansion of (/ z t) in y 1.233 * [taylor]: Taking taylor expansion of z in y 1.233 * [taylor]: Taking taylor expansion of t in y 1.233 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.233 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.233 * [taylor]: Taking taylor expansion of (/ y z) in z 1.233 * [taylor]: Taking taylor expansion of y in z 1.233 * [taylor]: Taking taylor expansion of z in z 1.233 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.233 * [taylor]: Taking taylor expansion of 0.5 in z 1.233 * [taylor]: Taking taylor expansion of (/ z t) in z 1.233 * [taylor]: Taking taylor expansion of z in z 1.233 * [taylor]: Taking taylor expansion of t in z 1.233 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.233 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.233 * [taylor]: Taking taylor expansion of (/ y z) in z 1.233 * [taylor]: Taking taylor expansion of y in z 1.233 * [taylor]: Taking taylor expansion of z in z 1.233 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.233 * [taylor]: Taking taylor expansion of 0.5 in z 1.233 * [taylor]: Taking taylor expansion of (/ z t) in z 1.233 * [taylor]: Taking taylor expansion of z in z 1.233 * [taylor]: Taking taylor expansion of t in z 1.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.234 * [taylor]: Taking taylor expansion of y in y 1.234 * [taylor]: Taking taylor expansion of 0 in t 1.234 * [taylor]: Taking taylor expansion of 0 in y 1.234 * [taylor]: Taking taylor expansion of 0 in t 1.234 * [taylor]: Taking taylor expansion of 0 in t 1.234 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t (pow y 2)))) in y 1.234 * [taylor]: Taking taylor expansion of 0.5 in y 1.234 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow y 2))) in y 1.234 * [taylor]: Taking taylor expansion of (* t (pow y 2)) in y 1.234 * [taylor]: Taking taylor expansion of t in y 1.234 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.234 * [taylor]: Taking taylor expansion of y in y 1.234 * [taylor]: Taking taylor expansion of 0 in t 1.234 * [taylor]: Taking taylor expansion of 0 in t 1.235 * [approximate]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in (z y t) around 0 1.235 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in t 1.235 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.235 * [taylor]: Taking taylor expansion of (/ y z) in t 1.235 * [taylor]: Taking taylor expansion of y in t 1.235 * [taylor]: Taking taylor expansion of z in t 1.235 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.235 * [taylor]: Taking taylor expansion of 0.5 in t 1.235 * [taylor]: Taking taylor expansion of (/ z t) in t 1.235 * [taylor]: Taking taylor expansion of z in t 1.235 * [taylor]: Taking taylor expansion of t in t 1.235 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in y 1.235 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.235 * [taylor]: Taking taylor expansion of (/ y z) in y 1.235 * [taylor]: Taking taylor expansion of y in y 1.235 * [taylor]: Taking taylor expansion of z in y 1.235 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.235 * [taylor]: Taking taylor expansion of 0.5 in y 1.235 * [taylor]: Taking taylor expansion of (/ z t) in y 1.235 * [taylor]: Taking taylor expansion of z in y 1.235 * [taylor]: Taking taylor expansion of t in y 1.235 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.235 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.235 * [taylor]: Taking taylor expansion of (/ y z) in z 1.235 * [taylor]: Taking taylor expansion of y in z 1.235 * [taylor]: Taking taylor expansion of z in z 1.235 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.235 * [taylor]: Taking taylor expansion of 0.5 in z 1.235 * [taylor]: Taking taylor expansion of (/ z t) in z 1.235 * [taylor]: Taking taylor expansion of z in z 1.236 * [taylor]: Taking taylor expansion of t in z 1.236 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.236 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.236 * [taylor]: Taking taylor expansion of (/ y z) in z 1.236 * [taylor]: Taking taylor expansion of y in z 1.236 * [taylor]: Taking taylor expansion of z in z 1.236 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.236 * [taylor]: Taking taylor expansion of 0.5 in z 1.236 * [taylor]: Taking taylor expansion of (/ z t) in z 1.236 * [taylor]: Taking taylor expansion of z in z 1.236 * [taylor]: Taking taylor expansion of t in z 1.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.236 * [taylor]: Taking taylor expansion of y in y 1.236 * [taylor]: Taking taylor expansion of 0 in t 1.236 * [taylor]: Taking taylor expansion of 0 in y 1.236 * [taylor]: Taking taylor expansion of 0 in t 1.236 * [taylor]: Taking taylor expansion of 0 in t 1.236 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t (pow y 2)))) in y 1.236 * [taylor]: Taking taylor expansion of 0.5 in y 1.236 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow y 2))) in y 1.236 * [taylor]: Taking taylor expansion of (* t (pow y 2)) in y 1.236 * [taylor]: Taking taylor expansion of t in y 1.236 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.236 * [taylor]: Taking taylor expansion of y in y 1.237 * [taylor]: Taking taylor expansion of 0 in t 1.237 * [taylor]: Taking taylor expansion of 0 in t 1.237 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2 2) 1.237 * [approximate]: Taking taylor expansion of (* 0.5 (/ t z)) in (t z) around 0 1.237 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.237 * [taylor]: Taking taylor expansion of 0.5 in z 1.237 * [taylor]: Taking taylor expansion of (/ t z) in z 1.237 * [taylor]: Taking taylor expansion of t in z 1.237 * [taylor]: Taking taylor expansion of z in z 1.237 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.237 * [taylor]: Taking taylor expansion of 0.5 in t 1.237 * [taylor]: Taking taylor expansion of (/ t z) in t 1.237 * [taylor]: Taking taylor expansion of t in t 1.237 * [taylor]: Taking taylor expansion of z in t 1.237 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.237 * [taylor]: Taking taylor expansion of 0.5 in t 1.237 * [taylor]: Taking taylor expansion of (/ t z) in t 1.237 * [taylor]: Taking taylor expansion of t in t 1.237 * [taylor]: Taking taylor expansion of z in t 1.237 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z 1.237 * [taylor]: Taking taylor expansion of 0.5 in z 1.237 * [taylor]: Taking taylor expansion of z in z 1.237 * [taylor]: Taking taylor expansion of 0 in z 1.238 * [taylor]: Taking taylor expansion of 0 in z 1.238 * [taylor]: Taking taylor expansion of 0 in z 1.238 * [approximate]: Taking taylor expansion of (* 0.5 (/ z t)) in (t z) around 0 1.238 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.238 * [taylor]: Taking taylor expansion of 0.5 in z 1.238 * [taylor]: Taking taylor expansion of (/ z t) in z 1.238 * [taylor]: Taking taylor expansion of z in z 1.238 * [taylor]: Taking taylor expansion of t in z 1.238 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.238 * [taylor]: Taking taylor expansion of 0.5 in t 1.238 * [taylor]: Taking taylor expansion of (/ z t) in t 1.238 * [taylor]: Taking taylor expansion of z in t 1.238 * [taylor]: Taking taylor expansion of t in t 1.238 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.238 * [taylor]: Taking taylor expansion of 0.5 in t 1.238 * [taylor]: Taking taylor expansion of (/ z t) in t 1.238 * [taylor]: Taking taylor expansion of z in t 1.238 * [taylor]: Taking taylor expansion of t in t 1.238 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 1.238 * [taylor]: Taking taylor expansion of 0.5 in z 1.238 * [taylor]: Taking taylor expansion of z in z 1.238 * [taylor]: Taking taylor expansion of 0 in z 1.239 * [taylor]: Taking taylor expansion of 0 in z 1.239 * [taylor]: Taking taylor expansion of 0 in z 1.239 * [approximate]: Taking taylor expansion of (* 0.5 (/ z t)) in (t z) around 0 1.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.239 * [taylor]: Taking taylor expansion of 0.5 in z 1.239 * [taylor]: Taking taylor expansion of (/ z t) in z 1.239 * [taylor]: Taking taylor expansion of z in z 1.239 * [taylor]: Taking taylor expansion of t in z 1.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.239 * [taylor]: Taking taylor expansion of 0.5 in t 1.239 * [taylor]: Taking taylor expansion of (/ z t) in t 1.239 * [taylor]: Taking taylor expansion of z in t 1.239 * [taylor]: Taking taylor expansion of t in t 1.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.239 * [taylor]: Taking taylor expansion of 0.5 in t 1.239 * [taylor]: Taking taylor expansion of (/ z t) in t 1.239 * [taylor]: Taking taylor expansion of z in t 1.239 * [taylor]: Taking taylor expansion of t in t 1.239 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 1.239 * [taylor]: Taking taylor expansion of 0.5 in z 1.239 * [taylor]: Taking taylor expansion of z in z 1.239 * [taylor]: Taking taylor expansion of 0 in z 1.240 * [taylor]: Taking taylor expansion of 0 in z 1.240 * [taylor]: Taking taylor expansion of 0 in z 1.240 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 1.240 * [approximate]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in (z y t) around 0 1.240 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in t 1.240 * [taylor]: Taking taylor expansion of (/ z y) in t 1.240 * [taylor]: Taking taylor expansion of z in t 1.240 * [taylor]: Taking taylor expansion of y in t 1.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.240 * [taylor]: Taking taylor expansion of 0.5 in t 1.240 * [taylor]: Taking taylor expansion of (/ t z) in t 1.240 * [taylor]: Taking taylor expansion of t in t 1.240 * [taylor]: Taking taylor expansion of z in t 1.240 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in y 1.240 * [taylor]: Taking taylor expansion of (/ z y) in y 1.240 * [taylor]: Taking taylor expansion of z in y 1.240 * [taylor]: Taking taylor expansion of y in y 1.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 1.240 * [taylor]: Taking taylor expansion of 0.5 in y 1.240 * [taylor]: Taking taylor expansion of (/ t z) in y 1.240 * [taylor]: Taking taylor expansion of t in y 1.240 * [taylor]: Taking taylor expansion of z in y 1.240 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.240 * [taylor]: Taking taylor expansion of (/ z y) in z 1.240 * [taylor]: Taking taylor expansion of z in z 1.240 * [taylor]: Taking taylor expansion of y in z 1.240 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.240 * [taylor]: Taking taylor expansion of 0.5 in z 1.240 * [taylor]: Taking taylor expansion of (/ t z) in z 1.240 * [taylor]: Taking taylor expansion of t in z 1.240 * [taylor]: Taking taylor expansion of z in z 1.241 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.241 * [taylor]: Taking taylor expansion of (/ z y) in z 1.241 * [taylor]: Taking taylor expansion of z in z 1.241 * [taylor]: Taking taylor expansion of y in z 1.241 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.241 * [taylor]: Taking taylor expansion of 0.5 in z 1.241 * [taylor]: Taking taylor expansion of (/ t z) in z 1.241 * [taylor]: Taking taylor expansion of t in z 1.241 * [taylor]: Taking taylor expansion of z in z 1.241 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in y 1.241 * [taylor]: Taking taylor expansion of (* 0.5 t) in y 1.241 * [taylor]: Taking taylor expansion of 0.5 in y 1.241 * [taylor]: Taking taylor expansion of t in y 1.241 * [taylor]: Taking taylor expansion of 0 in y 1.241 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in t 1.241 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 1.241 * [taylor]: Taking taylor expansion of 0.5 in t 1.241 * [taylor]: Taking taylor expansion of t in t 1.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.241 * [taylor]: Taking taylor expansion of y in y 1.241 * [taylor]: Taking taylor expansion of 1 in t 1.241 * [taylor]: Taking taylor expansion of 0 in t 1.241 * [taylor]: Taking taylor expansion of 0 in t 1.242 * [taylor]: Taking taylor expansion of 0 in y 1.242 * [taylor]: Taking taylor expansion of 0 in t 1.242 * [taylor]: Taking taylor expansion of 0 in t 1.242 * [taylor]: Taking taylor expansion of 0 in t 1.242 * [approximate]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in (z y t) around 0 1.242 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.242 * [taylor]: Taking taylor expansion of (/ y z) in t 1.242 * [taylor]: Taking taylor expansion of y in t 1.242 * [taylor]: Taking taylor expansion of z in t 1.242 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.242 * [taylor]: Taking taylor expansion of 0.5 in t 1.242 * [taylor]: Taking taylor expansion of (/ z t) in t 1.242 * [taylor]: Taking taylor expansion of z in t 1.242 * [taylor]: Taking taylor expansion of t in t 1.242 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.242 * [taylor]: Taking taylor expansion of (/ y z) in y 1.242 * [taylor]: Taking taylor expansion of y in y 1.242 * [taylor]: Taking taylor expansion of z in y 1.242 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.242 * [taylor]: Taking taylor expansion of 0.5 in y 1.242 * [taylor]: Taking taylor expansion of (/ z t) in y 1.242 * [taylor]: Taking taylor expansion of z in y 1.242 * [taylor]: Taking taylor expansion of t in y 1.242 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.242 * [taylor]: Taking taylor expansion of (/ y z) in z 1.242 * [taylor]: Taking taylor expansion of y in z 1.242 * [taylor]: Taking taylor expansion of z in z 1.242 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.242 * [taylor]: Taking taylor expansion of 0.5 in z 1.242 * [taylor]: Taking taylor expansion of (/ z t) in z 1.243 * [taylor]: Taking taylor expansion of z in z 1.243 * [taylor]: Taking taylor expansion of t in z 1.243 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.243 * [taylor]: Taking taylor expansion of (/ y z) in z 1.243 * [taylor]: Taking taylor expansion of y in z 1.243 * [taylor]: Taking taylor expansion of z in z 1.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.243 * [taylor]: Taking taylor expansion of 0.5 in z 1.243 * [taylor]: Taking taylor expansion of (/ z t) in z 1.243 * [taylor]: Taking taylor expansion of z in z 1.243 * [taylor]: Taking taylor expansion of t in z 1.243 * [taylor]: Taking taylor expansion of y in y 1.243 * [taylor]: Taking taylor expansion of 0 in t 1.243 * [taylor]: Taking taylor expansion of 0 in y 1.243 * [taylor]: Taking taylor expansion of 0 in t 1.243 * [taylor]: Taking taylor expansion of 1 in t 1.243 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in y 1.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y 1.243 * [taylor]: Taking taylor expansion of 0.5 in y 1.243 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.243 * [taylor]: Taking taylor expansion of t in y 1.243 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 1.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 1.243 * [taylor]: Taking taylor expansion of 0.5 in t 1.243 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.243 * [taylor]: Taking taylor expansion of t in t 1.243 * [taylor]: Taking taylor expansion of 0 in t 1.243 * [taylor]: Taking taylor expansion of 0 in t 1.244 * [taylor]: Taking taylor expansion of 0 in y 1.244 * [taylor]: Taking taylor expansion of 0 in t 1.244 * [taylor]: Taking taylor expansion of 0 in t 1.244 * [taylor]: Taking taylor expansion of 0 in t 1.244 * [taylor]: Taking taylor expansion of 0 in t 1.244 * [approximate]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in (z y t) around 0 1.244 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.244 * [taylor]: Taking taylor expansion of (/ y z) in t 1.244 * [taylor]: Taking taylor expansion of y in t 1.244 * [taylor]: Taking taylor expansion of z in t 1.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.244 * [taylor]: Taking taylor expansion of 0.5 in t 1.244 * [taylor]: Taking taylor expansion of (/ z t) in t 1.244 * [taylor]: Taking taylor expansion of z in t 1.244 * [taylor]: Taking taylor expansion of t in t 1.244 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.244 * [taylor]: Taking taylor expansion of (/ y z) in y 1.244 * [taylor]: Taking taylor expansion of y in y 1.244 * [taylor]: Taking taylor expansion of z in y 1.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.244 * [taylor]: Taking taylor expansion of 0.5 in y 1.244 * [taylor]: Taking taylor expansion of (/ z t) in y 1.244 * [taylor]: Taking taylor expansion of z in y 1.244 * [taylor]: Taking taylor expansion of t in y 1.245 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.245 * [taylor]: Taking taylor expansion of (/ y z) in z 1.245 * [taylor]: Taking taylor expansion of y in z 1.245 * [taylor]: Taking taylor expansion of z in z 1.245 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.245 * [taylor]: Taking taylor expansion of 0.5 in z 1.245 * [taylor]: Taking taylor expansion of (/ z t) in z 1.245 * [taylor]: Taking taylor expansion of z in z 1.245 * [taylor]: Taking taylor expansion of t in z 1.245 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.245 * [taylor]: Taking taylor expansion of (/ y z) in z 1.245 * [taylor]: Taking taylor expansion of y in z 1.245 * [taylor]: Taking taylor expansion of z in z 1.245 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.245 * [taylor]: Taking taylor expansion of 0.5 in z 1.245 * [taylor]: Taking taylor expansion of (/ z t) in z 1.245 * [taylor]: Taking taylor expansion of z in z 1.245 * [taylor]: Taking taylor expansion of t in z 1.245 * [taylor]: Taking taylor expansion of y in y 1.245 * [taylor]: Taking taylor expansion of 0 in t 1.245 * [taylor]: Taking taylor expansion of 0 in y 1.245 * [taylor]: Taking taylor expansion of 0 in t 1.245 * [taylor]: Taking taylor expansion of 1 in t 1.245 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in y 1.245 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y 1.245 * [taylor]: Taking taylor expansion of 0.5 in y 1.245 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.245 * [taylor]: Taking taylor expansion of t in y 1.245 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 1.245 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 1.245 * [taylor]: Taking taylor expansion of 0.5 in t 1.245 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.245 * [taylor]: Taking taylor expansion of t in t 1.246 * [taylor]: Taking taylor expansion of 0 in t 1.246 * [taylor]: Taking taylor expansion of 0 in t 1.246 * [taylor]: Taking taylor expansion of 0 in y 1.246 * [taylor]: Taking taylor expansion of 0 in t 1.246 * [taylor]: Taking taylor expansion of 0 in t 1.246 * [taylor]: Taking taylor expansion of 0 in t 1.246 * [taylor]: Taking taylor expansion of 0 in t 1.246 * * * [progress]: simplifying candidates 1.248 * [simplify]: Simplifying using # : (neg 1) (neg (log (- (/ z y) (* t (/ 0.5 z))))) (- 0 (log (- (/ z y) (* t (/ 0.5 z))))) (- (log 1) (log (- (/ z y) (* t (/ 0.5 z))))) (log (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (exp (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (/ (* (* 1 1) 1) (* (* (- (/ z y) (* t (/ 0.5 z))) (- (/ z y) (* t (/ 0.5 z)))) (- (/ z y) (* t (/ 0.5 z))))) (* (cbrt (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (cbrt (/ 1 (- (/ z y) (* t (/ 0.5 z)))))) (cbrt (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (* (* (/ 1 (- (/ z y) (* t (/ 0.5 z)))) (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (sqrt (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (sqrt (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (neg 1) (neg (- (/ z y) (* t (/ 0.5 z)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- (/ z y) (* t (/ 0.5 z)))) (cbrt (- (/ z y) (* t (/ 0.5 z)))))) (/ (cbrt 1) (cbrt (- (/ z y) (* t (/ 0.5 z))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- (/ z y) (* t (/ 0.5 z))))) (/ (cbrt 1) (sqrt (- (/ z y) (* t (/ 0.5 z))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- (/ z y) (* t (/ 0.5 z)))) (/ (sqrt 1) (* (cbrt (- (/ z y) (* t (/ 0.5 z)))) (cbrt (- (/ z y) (* t (/ 0.5 z)))))) (/ (sqrt 1) (cbrt (- (/ z y) (* t (/ 0.5 z))))) (/ (sqrt 1) (sqrt (- (/ z y) (* t (/ 0.5 z))))) (/ (sqrt 1) (sqrt (- (/ z y) (* t (/ 0.5 z))))) (/ (sqrt 1) 1) (/ (sqrt 1) (- (/ z y) (* t (/ 0.5 z)))) (/ 1 (* (cbrt (- (/ z y) (* t (/ 0.5 z)))) (cbrt (- (/ z y) (* t (/ 0.5 z)))))) (/ 1 (cbrt (- (/ z y) (* t (/ 0.5 z))))) (/ 1 (sqrt (- (/ z y) (* t (/ 0.5 z))))) (/ 1 (sqrt (- (/ z y) (* t (/ 0.5 z))))) (/ 1 1) (/ 1 (- (/ z y) (* t (/ 0.5 z)))) (/ 1 (- (/ z y) (* t (/ 0.5 z)))) (/ (- (/ z y) (* t (/ 0.5 z))) 1) (/ 1 (* (cbrt (- (/ z y) (* t (/ 0.5 z)))) (cbrt (- (/ z y) (* t (/ 0.5 z)))))) (/ 1 (sqrt (- (/ z y) (* t (/ 0.5 z))))) (/ 1 1) (/ (- (/ z y) (* t (/ 0.5 z))) (cbrt 1)) (/ (- (/ z y) (* t (/ 0.5 z))) (sqrt 1)) (/ (- (/ z y) (* t (/ 0.5 z))) 1) (/ 1 (- (* z z) (* y (* t 0.5)))) (/ 1 (- (pow (/ z y) 3) (pow (* t (/ 0.5 z)) 3))) (/ 1 (- (* (/ z y) (/ z y)) (* (* t (/ 0.5 z)) (* t (/ 0.5 z))))) (* t (/ 0.5 z)) (+ (log t) (- (log 0.5) (log z))) (+ (log t) (log (/ 0.5 z))) (log (* t (/ 0.5 z))) (exp (* t (/ 0.5 z))) (* (* (* t t) t) (/ (* (* 0.5 0.5) 0.5) (* (* z z) z))) (* (* (* t t) t) (* (* (/ 0.5 z) (/ 0.5 z)) (/ 0.5 z))) (* (cbrt (* t (/ 0.5 z))) (cbrt (* t (/ 0.5 z)))) (cbrt (* t (/ 0.5 z))) (* (* (* t (/ 0.5 z)) (* t (/ 0.5 z))) (* t (/ 0.5 z))) (sqrt (* t (/ 0.5 z))) (sqrt (* t (/ 0.5 z))) (* (sqrt t) (sqrt (/ 0.5 z))) (* (sqrt t) (sqrt (/ 0.5 z))) (* (sqrt t) (/ (sqrt 0.5) (sqrt z))) (* (sqrt t) (/ (sqrt 0.5) (sqrt z))) (* t (* (cbrt (/ 0.5 z)) (cbrt (/ 0.5 z)))) (* t (sqrt (/ 0.5 z))) (* t (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt z) (cbrt z)))) (* t (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt z))) (* t (/ (* (cbrt 0.5) (cbrt 0.5)) 1)) (* t (/ (sqrt 0.5) (* (cbrt z) (cbrt z)))) (* t (/ (sqrt 0.5) (sqrt z))) (* t (/ (sqrt 0.5) 1)) (* t (/ 1 (* (cbrt z) (cbrt z)))) (* t (/ 1 (sqrt z))) (* t (/ 1 1)) (* t 1) (* t 0.5) (* (cbrt t) (/ 0.5 z)) (* (sqrt t) (/ 0.5 z)) (* t (/ 0.5 z)) (* t 0.5) (/ (exp (/ z y)) (exp (* t (/ 0.5 z)))) (log (- (/ z y) (* t (/ 0.5 z)))) (exp (- (/ z y) (* t (/ 0.5 z)))) (* (cbrt (- (/ z y) (* t (/ 0.5 z)))) (cbrt (- (/ z y) (* t (/ 0.5 z))))) (cbrt (- (/ z y) (* t (/ 0.5 z)))) (* (* (- (/ z y) (* t (/ 0.5 z))) (- (/ z y) (* t (/ 0.5 z)))) (- (/ z y) (* t (/ 0.5 z)))) (sqrt (- (/ z y) (* t (/ 0.5 z)))) (sqrt (- (/ z y) (* t (/ 0.5 z)))) (- (* z z) (* y (* t 0.5))) (* y z) (- (pow (/ z y) 3) (pow (* t (/ 0.5 z)) 3)) (+ (* (/ z y) (/ z y)) (+ (* (* t (/ 0.5 z)) (* t (/ 0.5 z))) (* (/ z y) (* t (/ 0.5 z))))) (neg (* t (/ 0.5 z))) (- (* (/ z y) (/ z y)) (* (* t (/ 0.5 z)) (* t (/ 0.5 z)))) (+ (/ z y) (* t (/ 0.5 z))) 0 0 0 (* 0.5 (/ t z)) (* 0.5 (/ t z)) (* 0.5 (/ t z)) (- (/ z y) (* 0.5 (/ t z))) (- (/ z y) (* 0.5 (/ t z))) (- (/ z y) (* 0.5 (/ t z))) 1.302 * * [simplify]: iteration 0 : 4973 enodes (cost 950 ) 1.302 * * [simplify]: iteration 1 : 4973 enodes (cost 950 ) 1.306 * [simplify]: Simplified to: -1 (neg (log (- (/ z y) (* t (/ 0.5 z))))) (neg (log (- (/ z y) (* t (/ 0.5 z))))) (neg (log (- (/ z y) (* t (/ 0.5 z))))) (neg (log (- (/ z y) (* t (/ 0.5 z))))) (exp (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (/ 1 (pow (- (/ z y) (* t (/ 0.5 z))) 3)) (* (cbrt (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (cbrt (/ 1 (- (/ z y) (* t (/ 0.5 z)))))) (cbrt (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (/ 1 (pow (- (/ z y) (* t (/ 0.5 z))) 3)) (sqrt (/ 1 (- (/ z y) (* t (/ 0.5 z))))) (sqrt (/ 1 (- (/ z y) (* t (/ 0.5 z))))) -1 (neg (- (/ z y) (* t (/ 0.5 z)))) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- (/ z y) (* t (/ 0.5 z)))) (cbrt (- (/ z y) (* t (/ 0.5 z))))))) (/ (cbrt 1) (cbrt (- (/ z y) (* t (/ 0.5 z))))) (* (cbrt 1) (/ (cbrt 1) (sqrt (- (/ z y) (* t (/ 0.5 z)))))) (/ (cbrt 1) (sqrt (- (/ z y) (* t (/ 0.5 z))))) (* (cbrt 1) (cbrt 1)) (/ (cbrt 1) (- (/ z y) (* t (/ 0.5 z)))) (/ 1 (* (cbrt (- (/ z y) (* t (/ 0.5 z)))) (cbrt (- (/ z y) (* t (/ 0.5 z)))))) (/ 1 (cbrt (- (/ z y) (* t (/ 0.5 z))))) (/ 1 (sqrt (- (/ z y) (* t (/ 0.5 z))))) (/ 1 (sqrt (- (/ z y) (* t (/ 0.5 z))))) 1 (/ 1 (- (/ z y) (* t (/ 0.5 z)))) (/ 1 (* (cbrt (- (/ z y) (* t (/ 0.5 z)))) (cbrt (- (/ z y) (* t (/ 0.5 z)))))) (/ 1 (cbrt (- (/ z y) (* t (/ 0.5 z))))) (/ 1 (sqrt (- (/ z y) (* t (/ 0.5 z))))) (/ 1 (sqrt (- (/ z y) (* t (/ 0.5 z))))) 1 (/ 1 (- (/ z y) (* t (/ 0.5 z)))) (/ 1 (- (/ z y) (* t (/ 0.5 z)))) (- (/ z y) (* t (/ 0.5 z))) (/ 1 (* (cbrt (- (/ z y) (* t (/ 0.5 z)))) (cbrt (- (/ z y) (* t (/ 0.5 z)))))) (/ 1 (sqrt (- (/ z y) (* t (/ 0.5 z))))) 1 (/ (- (/ z y) (* t (/ 0.5 z))) (cbrt 1)) (- (/ z y) (* t (/ 0.5 z))) (- (/ z y) (* t (/ 0.5 z))) (/ 1 (- (* z z) (* y (* t 0.5)))) (/ 1 (- (pow (/ z y) 3) (pow (* t (/ 0.5 z)) 3))) (/ 1 (- (* (/ z y) (/ z y)) (* t (* t (* (/ 0.5 z) (/ 0.5 z)))))) (* t (/ 0.5 z)) (log (* t (/ 0.5 z))) (log (* t (/ 0.5 z))) (log (* t (/ 0.5 z))) (pow (exp t) (/ 0.5 z)) (pow (* t (/ 0.5 z)) 3) (pow (* t (/ 0.5 z)) 3) (* (cbrt (* t (/ 0.5 z))) (cbrt (* t (/ 0.5 z)))) (cbrt (* t (/ 0.5 z))) (pow (* t (/ 0.5 z)) 3) (sqrt (* t (/ 0.5 z))) (sqrt (* t (/ 0.5 z))) (* (sqrt t) (sqrt (/ 0.5 z))) (* (sqrt t) (sqrt (/ 0.5 z))) (* (sqrt t) (/ (sqrt 0.5) (sqrt z))) (* (sqrt t) (/ (sqrt 0.5) (sqrt z))) (* t (* (cbrt (/ 0.5 z)) (cbrt (/ 0.5 z)))) (* t (sqrt (/ 0.5 z))) (* t (* (cbrt 0.5) (/ (cbrt 0.5) (* (cbrt z) (cbrt z))))) (* t (* (cbrt 0.5) (/ (cbrt 0.5) (sqrt z)))) (* t (* (cbrt 0.5) (cbrt 0.5))) (* t (/ (sqrt 0.5) (* (cbrt z) (cbrt z)))) (* t (/ (sqrt 0.5) (sqrt z))) (* t (sqrt 0.5)) (/ t (* (cbrt z) (cbrt z))) (/ t (sqrt z)) t t (* t 0.5) (* (/ 0.5 z) (cbrt t)) (* (/ 0.5 z) (sqrt t)) (* t (/ 0.5 z)) (* t 0.5) (exp (- (/ z y) (* t (/ 0.5 z)))) (log (- (/ z y) (* t (/ 0.5 z)))) (exp (- (/ z y) (* t (/ 0.5 z)))) (* (cbrt (- (/ z y) (* t (/ 0.5 z)))) (cbrt (- (/ z y) (* t (/ 0.5 z))))) (cbrt (- (/ z y) (* t (/ 0.5 z)))) (pow (- (/ z y) (* t (/ 0.5 z))) 3) (sqrt (- (/ z y) (* t (/ 0.5 z)))) (sqrt (- (/ z y) (* t (/ 0.5 z)))) (- (* z z) (* y (* t 0.5))) (* z y) (- (pow (/ z y) 3) (pow (* t (/ 0.5 z)) 3)) (+ (* (/ z y) (/ z y)) (* t (* (/ 0.5 z) (+ (/ z y) (* t (/ 0.5 z)))))) (* t (/ (neg 0.5) z)) (- (* (/ z y) (/ z y)) (* t (* t (* (/ 0.5 z) (/ 0.5 z))))) (+ (/ z y) (* t (/ 0.5 z))) 0 0 0 (* t (/ 0.5 z)) (* t (/ 0.5 z)) (* t (/ 0.5 z)) (- (/ z y) (* t (/ 0.5 z))) (- (/ z y) (* t (/ 0.5 z))) (- (/ z y) (* t (/ 0.5 z))) 1.307 * * * [progress]: adding candidates to table 1.398 * * [progress]: iteration 4 / 4 1.398 * * * [progress]: picking best candidate 1.401 * * * * [pick]: Picked # 1.401 * * * [progress]: localizing error 1.410 * * * [progress]: generating rewritten candidates 1.410 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1.417 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2 2) 1.422 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 1.428 * * * [progress]: generating series expansions 1.428 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.428 * [approximate]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in (y z t) around 0 1.428 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in t 1.428 * [taylor]: Taking taylor expansion of y in t 1.428 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in t 1.428 * [taylor]: Taking taylor expansion of z in t 1.428 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 1.428 * [taylor]: Taking taylor expansion of 0.5 in t 1.428 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 1.428 * [taylor]: Taking taylor expansion of (* t y) in t 1.429 * [taylor]: Taking taylor expansion of t in t 1.429 * [taylor]: Taking taylor expansion of y in t 1.429 * [taylor]: Taking taylor expansion of z in t 1.429 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in z 1.429 * [taylor]: Taking taylor expansion of y in z 1.429 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 1.429 * [taylor]: Taking taylor expansion of z in z 1.429 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 1.429 * [taylor]: Taking taylor expansion of 0.5 in z 1.429 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 1.429 * [taylor]: Taking taylor expansion of (* t y) in z 1.429 * [taylor]: Taking taylor expansion of t in z 1.429 * [taylor]: Taking taylor expansion of y in z 1.429 * [taylor]: Taking taylor expansion of z in z 1.429 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in y 1.429 * [taylor]: Taking taylor expansion of y in y 1.429 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 1.429 * [taylor]: Taking taylor expansion of z in y 1.429 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 1.429 * [taylor]: Taking taylor expansion of 0.5 in y 1.429 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 1.429 * [taylor]: Taking taylor expansion of (* t y) in y 1.429 * [taylor]: Taking taylor expansion of t in y 1.429 * [taylor]: Taking taylor expansion of y in y 1.429 * [taylor]: Taking taylor expansion of z in y 1.429 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in y 1.429 * [taylor]: Taking taylor expansion of y in y 1.429 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 1.429 * [taylor]: Taking taylor expansion of z in y 1.429 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 1.429 * [taylor]: Taking taylor expansion of 0.5 in y 1.429 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 1.429 * [taylor]: Taking taylor expansion of (* t y) in y 1.429 * [taylor]: Taking taylor expansion of t in y 1.429 * [taylor]: Taking taylor expansion of y in y 1.429 * [taylor]: Taking taylor expansion of z in y 1.430 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.430 * [taylor]: Taking taylor expansion of z in z 1.430 * [taylor]: Taking taylor expansion of 0 in t 1.430 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow z 3))) in z 1.430 * [taylor]: Taking taylor expansion of 0.5 in z 1.430 * [taylor]: Taking taylor expansion of (/ t (pow z 3)) in z 1.430 * [taylor]: Taking taylor expansion of t in z 1.430 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.430 * [taylor]: Taking taylor expansion of z in z 1.431 * [taylor]: Taking taylor expansion of 0 in t 1.431 * [taylor]: Taking taylor expansion of 0 in t 1.431 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow t 2) (pow z 5))) in z 1.431 * [taylor]: Taking taylor expansion of 0.25 in z 1.431 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 5)) in z 1.431 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.431 * [taylor]: Taking taylor expansion of t in z 1.431 * [taylor]: Taking taylor expansion of (pow z 5) in z 1.431 * [taylor]: Taking taylor expansion of z in z 1.433 * [taylor]: Taking taylor expansion of 0 in t 1.433 * [taylor]: Taking taylor expansion of 0 in t 1.433 * [approximate]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in (y z t) around 0 1.433 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in t 1.433 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in t 1.433 * [taylor]: Taking taylor expansion of y in t 1.434 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in t 1.434 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.434 * [taylor]: Taking taylor expansion of z in t 1.434 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 1.434 * [taylor]: Taking taylor expansion of 0.5 in t 1.434 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.434 * [taylor]: Taking taylor expansion of z in t 1.434 * [taylor]: Taking taylor expansion of (* t y) in t 1.434 * [taylor]: Taking taylor expansion of t in t 1.434 * [taylor]: Taking taylor expansion of y in t 1.434 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in z 1.434 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in z 1.434 * [taylor]: Taking taylor expansion of y in z 1.434 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 1.434 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.434 * [taylor]: Taking taylor expansion of z in z 1.434 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.434 * [taylor]: Taking taylor expansion of 0.5 in z 1.434 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.434 * [taylor]: Taking taylor expansion of z in z 1.434 * [taylor]: Taking taylor expansion of (* t y) in z 1.434 * [taylor]: Taking taylor expansion of t in z 1.434 * [taylor]: Taking taylor expansion of y in z 1.434 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in y 1.434 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in y 1.434 * [taylor]: Taking taylor expansion of y in y 1.434 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 1.434 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.434 * [taylor]: Taking taylor expansion of z in y 1.434 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.434 * [taylor]: Taking taylor expansion of 0.5 in y 1.434 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.434 * [taylor]: Taking taylor expansion of z in y 1.434 * [taylor]: Taking taylor expansion of (* t y) in y 1.434 * [taylor]: Taking taylor expansion of t in y 1.434 * [taylor]: Taking taylor expansion of y in y 1.435 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in y 1.435 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in y 1.435 * [taylor]: Taking taylor expansion of y in y 1.435 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 1.435 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.435 * [taylor]: Taking taylor expansion of z in y 1.435 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.435 * [taylor]: Taking taylor expansion of 0.5 in y 1.435 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.435 * [taylor]: Taking taylor expansion of z in y 1.435 * [taylor]: Taking taylor expansion of (* t y) in y 1.435 * [taylor]: Taking taylor expansion of t in y 1.435 * [taylor]: Taking taylor expansion of y in y 1.436 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z 1.436 * [taylor]: Taking taylor expansion of -2.0 in z 1.436 * [taylor]: Taking taylor expansion of (/ t z) in z 1.436 * [taylor]: Taking taylor expansion of t in z 1.436 * [taylor]: Taking taylor expansion of z in z 1.436 * [taylor]: Taking taylor expansion of 0 in t 1.436 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ (pow t 2) (pow z 3)))) in z 1.436 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z 1.436 * [taylor]: Taking taylor expansion of 4.0 in z 1.436 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z 1.436 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.436 * [taylor]: Taking taylor expansion of t in z 1.436 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.436 * [taylor]: Taking taylor expansion of z in z 1.437 * [taylor]: Taking taylor expansion of 0 in t 1.437 * [taylor]: Taking taylor expansion of 0 in t 1.438 * [taylor]: Taking taylor expansion of (neg (* 8.0 (/ (pow t 3) (pow z 5)))) in z 1.438 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z 1.438 * [taylor]: Taking taylor expansion of 8.0 in z 1.438 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z 1.438 * [taylor]: Taking taylor expansion of (pow t 3) in z 1.438 * [taylor]: Taking taylor expansion of t in z 1.438 * [taylor]: Taking taylor expansion of (pow z 5) in z 1.438 * [taylor]: Taking taylor expansion of z in z 1.440 * [taylor]: Taking taylor expansion of 0 in t 1.441 * [taylor]: Taking taylor expansion of 0 in t 1.441 * [approximate]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in (y z t) around 0 1.441 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in t 1.441 * [taylor]: Taking taylor expansion of -1 in t 1.441 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in t 1.441 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in t 1.441 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 1.441 * [taylor]: Taking taylor expansion of 0.5 in t 1.441 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.441 * [taylor]: Taking taylor expansion of z in t 1.441 * [taylor]: Taking taylor expansion of (* t y) in t 1.441 * [taylor]: Taking taylor expansion of t in t 1.441 * [taylor]: Taking taylor expansion of y in t 1.441 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.441 * [taylor]: Taking taylor expansion of z in t 1.441 * [taylor]: Taking taylor expansion of y in t 1.442 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in z 1.442 * [taylor]: Taking taylor expansion of -1 in z 1.442 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in z 1.442 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 1.442 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.442 * [taylor]: Taking taylor expansion of 0.5 in z 1.442 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.442 * [taylor]: Taking taylor expansion of z in z 1.442 * [taylor]: Taking taylor expansion of (* t y) in z 1.442 * [taylor]: Taking taylor expansion of t in z 1.442 * [taylor]: Taking taylor expansion of y in z 1.442 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.442 * [taylor]: Taking taylor expansion of z in z 1.442 * [taylor]: Taking taylor expansion of y in z 1.442 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in y 1.442 * [taylor]: Taking taylor expansion of -1 in y 1.442 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in y 1.442 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 1.442 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.442 * [taylor]: Taking taylor expansion of 0.5 in y 1.442 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.442 * [taylor]: Taking taylor expansion of z in y 1.442 * [taylor]: Taking taylor expansion of (* t y) in y 1.442 * [taylor]: Taking taylor expansion of t in y 1.442 * [taylor]: Taking taylor expansion of y in y 1.442 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.442 * [taylor]: Taking taylor expansion of z in y 1.442 * [taylor]: Taking taylor expansion of y in y 1.443 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in y 1.443 * [taylor]: Taking taylor expansion of -1 in y 1.443 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in y 1.443 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 1.443 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.443 * [taylor]: Taking taylor expansion of 0.5 in y 1.443 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.443 * [taylor]: Taking taylor expansion of z in y 1.443 * [taylor]: Taking taylor expansion of (* t y) in y 1.443 * [taylor]: Taking taylor expansion of t in y 1.443 * [taylor]: Taking taylor expansion of y in y 1.443 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.443 * [taylor]: Taking taylor expansion of z in y 1.443 * [taylor]: Taking taylor expansion of y in y 1.443 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z 1.443 * [taylor]: Taking taylor expansion of -2.0 in z 1.443 * [taylor]: Taking taylor expansion of (/ t z) in z 1.443 * [taylor]: Taking taylor expansion of t in z 1.443 * [taylor]: Taking taylor expansion of z in z 1.443 * [taylor]: Taking taylor expansion of 0 in t 1.444 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ (pow t 2) (pow z 3)))) in z 1.444 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z 1.444 * [taylor]: Taking taylor expansion of 4.0 in z 1.444 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z 1.444 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.444 * [taylor]: Taking taylor expansion of t in z 1.444 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.444 * [taylor]: Taking taylor expansion of z in z 1.445 * [taylor]: Taking taylor expansion of 0 in t 1.445 * [taylor]: Taking taylor expansion of 0 in t 1.446 * [taylor]: Taking taylor expansion of (neg (* 8.0 (/ (pow t 3) (pow z 5)))) in z 1.446 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z 1.446 * [taylor]: Taking taylor expansion of 8.0 in z 1.446 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z 1.446 * [taylor]: Taking taylor expansion of (pow t 3) in z 1.446 * [taylor]: Taking taylor expansion of t in z 1.446 * [taylor]: Taking taylor expansion of (pow z 5) in z 1.446 * [taylor]: Taking taylor expansion of z in z 1.448 * [taylor]: Taking taylor expansion of 0 in t 1.448 * [taylor]: Taking taylor expansion of 0 in t 1.449 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2 2) 1.449 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in (y t z) around 0 1.449 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 1.449 * [taylor]: Taking taylor expansion of 0.5 in z 1.449 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 1.449 * [taylor]: Taking taylor expansion of (* t y) in z 1.449 * [taylor]: Taking taylor expansion of t in z 1.449 * [taylor]: Taking taylor expansion of y in z 1.449 * [taylor]: Taking taylor expansion of z in z 1.449 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 1.449 * [taylor]: Taking taylor expansion of 0.5 in t 1.449 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 1.449 * [taylor]: Taking taylor expansion of (* t y) in t 1.449 * [taylor]: Taking taylor expansion of t in t 1.449 * [taylor]: Taking taylor expansion of y in t 1.449 * [taylor]: Taking taylor expansion of z in t 1.449 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 1.449 * [taylor]: Taking taylor expansion of 0.5 in y 1.449 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 1.449 * [taylor]: Taking taylor expansion of (* t y) in y 1.449 * [taylor]: Taking taylor expansion of t in y 1.449 * [taylor]: Taking taylor expansion of y in y 1.449 * [taylor]: Taking taylor expansion of z in y 1.449 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 1.449 * [taylor]: Taking taylor expansion of 0.5 in y 1.449 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 1.449 * [taylor]: Taking taylor expansion of (* t y) in y 1.449 * [taylor]: Taking taylor expansion of t in y 1.449 * [taylor]: Taking taylor expansion of y in y 1.449 * [taylor]: Taking taylor expansion of z in y 1.449 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.449 * [taylor]: Taking taylor expansion of 0.5 in t 1.449 * [taylor]: Taking taylor expansion of (/ t z) in t 1.450 * [taylor]: Taking taylor expansion of t in t 1.450 * [taylor]: Taking taylor expansion of z in t 1.450 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z 1.450 * [taylor]: Taking taylor expansion of 0.5 in z 1.450 * [taylor]: Taking taylor expansion of z in z 1.450 * [taylor]: Taking taylor expansion of 0 in t 1.450 * [taylor]: Taking taylor expansion of 0 in z 1.450 * [taylor]: Taking taylor expansion of 0 in z 1.450 * [taylor]: Taking taylor expansion of 0 in t 1.450 * [taylor]: Taking taylor expansion of 0 in z 1.450 * [taylor]: Taking taylor expansion of 0 in z 1.450 * [taylor]: Taking taylor expansion of 0 in z 1.450 * [taylor]: Taking taylor expansion of 0 in t 1.451 * [taylor]: Taking taylor expansion of 0 in z 1.451 * [taylor]: Taking taylor expansion of 0 in z 1.451 * [taylor]: Taking taylor expansion of 0 in z 1.451 * [taylor]: Taking taylor expansion of 0 in z 1.451 * [approximate]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in (y t z) around 0 1.451 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.451 * [taylor]: Taking taylor expansion of 0.5 in z 1.451 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.451 * [taylor]: Taking taylor expansion of z in z 1.451 * [taylor]: Taking taylor expansion of (* t y) in z 1.451 * [taylor]: Taking taylor expansion of t in z 1.451 * [taylor]: Taking taylor expansion of y in z 1.451 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 1.451 * [taylor]: Taking taylor expansion of 0.5 in t 1.451 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.451 * [taylor]: Taking taylor expansion of z in t 1.451 * [taylor]: Taking taylor expansion of (* t y) in t 1.451 * [taylor]: Taking taylor expansion of t in t 1.451 * [taylor]: Taking taylor expansion of y in t 1.451 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.451 * [taylor]: Taking taylor expansion of 0.5 in y 1.451 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.451 * [taylor]: Taking taylor expansion of z in y 1.451 * [taylor]: Taking taylor expansion of (* t y) in y 1.451 * [taylor]: Taking taylor expansion of t in y 1.451 * [taylor]: Taking taylor expansion of y in y 1.451 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.451 * [taylor]: Taking taylor expansion of 0.5 in y 1.451 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.451 * [taylor]: Taking taylor expansion of z in y 1.451 * [taylor]: Taking taylor expansion of (* t y) in y 1.451 * [taylor]: Taking taylor expansion of t in y 1.451 * [taylor]: Taking taylor expansion of y in y 1.452 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.452 * [taylor]: Taking taylor expansion of 0.5 in t 1.452 * [taylor]: Taking taylor expansion of (/ z t) in t 1.452 * [taylor]: Taking taylor expansion of z in t 1.452 * [taylor]: Taking taylor expansion of t in t 1.452 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 1.452 * [taylor]: Taking taylor expansion of 0.5 in z 1.452 * [taylor]: Taking taylor expansion of z in z 1.452 * [taylor]: Taking taylor expansion of 0 in t 1.452 * [taylor]: Taking taylor expansion of 0 in z 1.452 * [taylor]: Taking taylor expansion of 0 in t 1.452 * [taylor]: Taking taylor expansion of 0 in z 1.452 * [taylor]: Taking taylor expansion of 0 in z 1.453 * [approximate]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in (y t z) around 0 1.453 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in z 1.453 * [taylor]: Taking taylor expansion of -0.5 in z 1.453 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.453 * [taylor]: Taking taylor expansion of z in z 1.453 * [taylor]: Taking taylor expansion of (* t y) in z 1.453 * [taylor]: Taking taylor expansion of t in z 1.453 * [taylor]: Taking taylor expansion of y in z 1.453 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in t 1.453 * [taylor]: Taking taylor expansion of -0.5 in t 1.453 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.453 * [taylor]: Taking taylor expansion of z in t 1.453 * [taylor]: Taking taylor expansion of (* t y) in t 1.453 * [taylor]: Taking taylor expansion of t in t 1.453 * [taylor]: Taking taylor expansion of y in t 1.453 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in y 1.453 * [taylor]: Taking taylor expansion of -0.5 in y 1.453 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.453 * [taylor]: Taking taylor expansion of z in y 1.453 * [taylor]: Taking taylor expansion of (* t y) in y 1.453 * [taylor]: Taking taylor expansion of t in y 1.453 * [taylor]: Taking taylor expansion of y in y 1.453 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in y 1.453 * [taylor]: Taking taylor expansion of -0.5 in y 1.453 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.453 * [taylor]: Taking taylor expansion of z in y 1.453 * [taylor]: Taking taylor expansion of (* t y) in y 1.453 * [taylor]: Taking taylor expansion of t in y 1.453 * [taylor]: Taking taylor expansion of y in y 1.453 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in t 1.453 * [taylor]: Taking taylor expansion of -0.5 in t 1.453 * [taylor]: Taking taylor expansion of (/ z t) in t 1.453 * [taylor]: Taking taylor expansion of z in t 1.453 * [taylor]: Taking taylor expansion of t in t 1.453 * [taylor]: Taking taylor expansion of (* -0.5 z) in z 1.453 * [taylor]: Taking taylor expansion of -0.5 in z 1.453 * [taylor]: Taking taylor expansion of z in z 1.454 * [taylor]: Taking taylor expansion of 0 in t 1.454 * [taylor]: Taking taylor expansion of 0 in z 1.454 * [taylor]: Taking taylor expansion of 0 in t 1.454 * [taylor]: Taking taylor expansion of 0 in z 1.454 * [taylor]: Taking taylor expansion of 0 in z 1.454 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 1.456 * [approximate]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in (z y t) around 0 1.456 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in t 1.456 * [taylor]: Taking taylor expansion of z in t 1.456 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 1.456 * [taylor]: Taking taylor expansion of 0.5 in t 1.456 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 1.456 * [taylor]: Taking taylor expansion of (* t y) in t 1.456 * [taylor]: Taking taylor expansion of t in t 1.456 * [taylor]: Taking taylor expansion of y in t 1.456 * [taylor]: Taking taylor expansion of z in t 1.457 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 1.457 * [taylor]: Taking taylor expansion of z in y 1.457 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 1.457 * [taylor]: Taking taylor expansion of 0.5 in y 1.457 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 1.457 * [taylor]: Taking taylor expansion of (* t y) in y 1.457 * [taylor]: Taking taylor expansion of t in y 1.457 * [taylor]: Taking taylor expansion of y in y 1.457 * [taylor]: Taking taylor expansion of z in y 1.457 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 1.457 * [taylor]: Taking taylor expansion of z in z 1.457 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 1.457 * [taylor]: Taking taylor expansion of 0.5 in z 1.457 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 1.457 * [taylor]: Taking taylor expansion of (* t y) in z 1.457 * [taylor]: Taking taylor expansion of t in z 1.457 * [taylor]: Taking taylor expansion of y in z 1.457 * [taylor]: Taking taylor expansion of z in z 1.457 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 1.457 * [taylor]: Taking taylor expansion of z in z 1.457 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 1.457 * [taylor]: Taking taylor expansion of 0.5 in z 1.457 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 1.457 * [taylor]: Taking taylor expansion of (* t y) in z 1.457 * [taylor]: Taking taylor expansion of t in z 1.457 * [taylor]: Taking taylor expansion of y in z 1.457 * [taylor]: Taking taylor expansion of z in z 1.457 * [taylor]: Taking taylor expansion of (neg (* 0.5 (* t y))) in y 1.457 * [taylor]: Taking taylor expansion of (* 0.5 (* t y)) in y 1.457 * [taylor]: Taking taylor expansion of 0.5 in y 1.457 * [taylor]: Taking taylor expansion of (* t y) in y 1.457 * [taylor]: Taking taylor expansion of t in y 1.457 * [taylor]: Taking taylor expansion of y in y 1.457 * [taylor]: Taking taylor expansion of 0 in t 1.458 * [taylor]: Taking taylor expansion of 0 in y 1.458 * [taylor]: Taking taylor expansion of 0 in t 1.458 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in t 1.458 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 1.458 * [taylor]: Taking taylor expansion of 0.5 in t 1.458 * [taylor]: Taking taylor expansion of t in t 1.458 * [taylor]: Taking taylor expansion of 1 in y 1.458 * [taylor]: Taking taylor expansion of 1 in t 1.458 * [taylor]: Taking taylor expansion of 0 in t 1.458 * [taylor]: Taking taylor expansion of 0 in t 1.458 * [taylor]: Taking taylor expansion of 0 in y 1.458 * [taylor]: Taking taylor expansion of 0 in t 1.458 * [taylor]: Taking taylor expansion of 0 in t 1.458 * [taylor]: Taking taylor expansion of 0 in t 1.459 * [taylor]: Taking taylor expansion of 0 in t 1.459 * [approximate]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in (z y t) around 0 1.459 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in t 1.459 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.459 * [taylor]: Taking taylor expansion of z in t 1.459 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 1.459 * [taylor]: Taking taylor expansion of 0.5 in t 1.459 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.459 * [taylor]: Taking taylor expansion of z in t 1.459 * [taylor]: Taking taylor expansion of (* t y) in t 1.459 * [taylor]: Taking taylor expansion of t in t 1.459 * [taylor]: Taking taylor expansion of y in t 1.459 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 1.459 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.459 * [taylor]: Taking taylor expansion of z in y 1.459 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.459 * [taylor]: Taking taylor expansion of 0.5 in y 1.459 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.459 * [taylor]: Taking taylor expansion of z in y 1.459 * [taylor]: Taking taylor expansion of (* t y) in y 1.459 * [taylor]: Taking taylor expansion of t in y 1.459 * [taylor]: Taking taylor expansion of y in y 1.459 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 1.459 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.459 * [taylor]: Taking taylor expansion of z in z 1.459 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.459 * [taylor]: Taking taylor expansion of 0.5 in z 1.459 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.459 * [taylor]: Taking taylor expansion of z in z 1.459 * [taylor]: Taking taylor expansion of (* t y) in z 1.459 * [taylor]: Taking taylor expansion of t in z 1.459 * [taylor]: Taking taylor expansion of y in z 1.459 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 1.460 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.460 * [taylor]: Taking taylor expansion of z in z 1.460 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.460 * [taylor]: Taking taylor expansion of 0.5 in z 1.460 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.460 * [taylor]: Taking taylor expansion of z in z 1.460 * [taylor]: Taking taylor expansion of (* t y) in z 1.460 * [taylor]: Taking taylor expansion of t in z 1.460 * [taylor]: Taking taylor expansion of y in z 1.460 * [taylor]: Taking taylor expansion of 1 in y 1.460 * [taylor]: Taking taylor expansion of 0 in y 1.460 * [taylor]: Taking taylor expansion of 1 in t 1.460 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 (* t y)))) in y 1.460 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t y))) in y 1.460 * [taylor]: Taking taylor expansion of 0.5 in y 1.460 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 1.460 * [taylor]: Taking taylor expansion of (* t y) in y 1.460 * [taylor]: Taking taylor expansion of t in y 1.460 * [taylor]: Taking taylor expansion of y in y 1.460 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 1.460 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 1.460 * [taylor]: Taking taylor expansion of 0.5 in t 1.460 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.460 * [taylor]: Taking taylor expansion of t in t 1.460 * [taylor]: Taking taylor expansion of 0 in t 1.460 * [taylor]: Taking taylor expansion of 0 in t 1.461 * [taylor]: Taking taylor expansion of 0 in y 1.461 * [taylor]: Taking taylor expansion of 0 in t 1.461 * [taylor]: Taking taylor expansion of 0 in t 1.461 * [taylor]: Taking taylor expansion of 0 in t 1.461 * [taylor]: Taking taylor expansion of 0 in y 1.461 * [taylor]: Taking taylor expansion of 0 in t 1.461 * [taylor]: Taking taylor expansion of 0 in t 1.461 * [taylor]: Taking taylor expansion of 0 in t 1.461 * [taylor]: Taking taylor expansion of 0 in t 1.462 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in (z y t) around 0 1.462 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in t 1.462 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 1.462 * [taylor]: Taking taylor expansion of 0.5 in t 1.462 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.462 * [taylor]: Taking taylor expansion of z in t 1.462 * [taylor]: Taking taylor expansion of (* t y) in t 1.462 * [taylor]: Taking taylor expansion of t in t 1.462 * [taylor]: Taking taylor expansion of y in t 1.462 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.462 * [taylor]: Taking taylor expansion of z in t 1.462 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 1.462 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.462 * [taylor]: Taking taylor expansion of 0.5 in y 1.462 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.462 * [taylor]: Taking taylor expansion of z in y 1.462 * [taylor]: Taking taylor expansion of (* t y) in y 1.462 * [taylor]: Taking taylor expansion of t in y 1.462 * [taylor]: Taking taylor expansion of y in y 1.462 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.462 * [taylor]: Taking taylor expansion of z in y 1.462 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 1.462 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.462 * [taylor]: Taking taylor expansion of 0.5 in z 1.462 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.462 * [taylor]: Taking taylor expansion of z in z 1.462 * [taylor]: Taking taylor expansion of (* t y) in z 1.462 * [taylor]: Taking taylor expansion of t in z 1.462 * [taylor]: Taking taylor expansion of y in z 1.462 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.462 * [taylor]: Taking taylor expansion of z in z 1.462 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 1.462 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.462 * [taylor]: Taking taylor expansion of 0.5 in z 1.462 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.462 * [taylor]: Taking taylor expansion of z in z 1.462 * [taylor]: Taking taylor expansion of (* t y) in z 1.462 * [taylor]: Taking taylor expansion of t in z 1.462 * [taylor]: Taking taylor expansion of y in z 1.463 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.463 * [taylor]: Taking taylor expansion of z in z 1.463 * [taylor]: Taking taylor expansion of (neg 1) in y 1.463 * [taylor]: Taking taylor expansion of 1 in y 1.463 * [taylor]: Taking taylor expansion of 0 in y 1.463 * [taylor]: Taking taylor expansion of (neg 1) in t 1.463 * [taylor]: Taking taylor expansion of 1 in t 1.463 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t y))) in y 1.463 * [taylor]: Taking taylor expansion of 0.5 in y 1.463 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 1.463 * [taylor]: Taking taylor expansion of (* t y) in y 1.463 * [taylor]: Taking taylor expansion of t in y 1.463 * [taylor]: Taking taylor expansion of y in y 1.463 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t 1.463 * [taylor]: Taking taylor expansion of 0.5 in t 1.463 * [taylor]: Taking taylor expansion of t in t 1.463 * [taylor]: Taking taylor expansion of 0 in t 1.463 * [taylor]: Taking taylor expansion of 0 in t 1.464 * [taylor]: Taking taylor expansion of 0 in y 1.464 * [taylor]: Taking taylor expansion of 0 in t 1.464 * [taylor]: Taking taylor expansion of 0 in t 1.464 * [taylor]: Taking taylor expansion of 0 in t 1.464 * [taylor]: Taking taylor expansion of 0 in y 1.464 * [taylor]: Taking taylor expansion of 0 in t 1.464 * [taylor]: Taking taylor expansion of 0 in t 1.464 * [taylor]: Taking taylor expansion of 0 in t 1.464 * [taylor]: Taking taylor expansion of 0 in t 1.465 * * * [progress]: simplifying candidates 1.466 * [simplify]: Simplifying using # : (- (log y) (log (- z (/ (* y t) (* 2.0 z))))) (log (/ y (- z (/ (* y t) (* 2.0 z))))) (exp (/ y (- z (/ (* y t) (* 2.0 z))))) (/ (* (* y y) y) (* (* (- z (/ (* y t) (* 2.0 z))) (- z (/ (* y t) (* 2.0 z)))) (- z (/ (* y t) (* 2.0 z))))) (* (cbrt (/ y (- z (/ (* y t) (* 2.0 z))))) (cbrt (/ y (- z (/ (* y t) (* 2.0 z)))))) (cbrt (/ y (- z (/ (* y t) (* 2.0 z))))) (* (* (/ y (- z (/ (* y t) (* 2.0 z)))) (/ y (- z (/ (* y t) (* 2.0 z))))) (/ y (- z (/ (* y t) (* 2.0 z))))) (sqrt (/ y (- z (/ (* y t) (* 2.0 z))))) (sqrt (/ y (- z (/ (* y t) (* 2.0 z))))) (neg y) (neg (- z (/ (* y t) (* 2.0 z)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- z (/ (* y t) (* 2.0 z)))) (cbrt (- z (/ (* y t) (* 2.0 z)))))) (/ (cbrt y) (cbrt (- z (/ (* y t) (* 2.0 z))))) (/ (* (cbrt y) (cbrt y)) (sqrt (- z (/ (* y t) (* 2.0 z))))) (/ (cbrt y) (sqrt (- z (/ (* y t) (* 2.0 z))))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (- z (/ (* y t) (* 2.0 z)))) (/ (* (cbrt y) (cbrt y)) (+ (sqrt z) (sqrt (/ (* y t) (* 2.0 z))))) (/ (cbrt y) (- (sqrt z) (sqrt (/ (* y t) (* 2.0 z))))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (- z (/ (* y t) (* 2.0 z)))) (/ (sqrt y) (* (cbrt (- z (/ (* y t) (* 2.0 z)))) (cbrt (- z (/ (* y t) (* 2.0 z)))))) (/ (sqrt y) (cbrt (- z (/ (* y t) (* 2.0 z))))) (/ (sqrt y) (sqrt (- z (/ (* y t) (* 2.0 z))))) (/ (sqrt y) (sqrt (- z (/ (* y t) (* 2.0 z))))) (/ (sqrt y) 1) (/ (sqrt y) (- z (/ (* y t) (* 2.0 z)))) (/ (sqrt y) (+ (sqrt z) (sqrt (/ (* y t) (* 2.0 z))))) (/ (sqrt y) (- (sqrt z) (sqrt (/ (* y t) (* 2.0 z))))) (/ (sqrt y) 1) (/ (sqrt y) (- z (/ (* y t) (* 2.0 z)))) (/ 1 (* (cbrt (- z (/ (* y t) (* 2.0 z)))) (cbrt (- z (/ (* y t) (* 2.0 z)))))) (/ y (cbrt (- z (/ (* y t) (* 2.0 z))))) (/ 1 (sqrt (- z (/ (* y t) (* 2.0 z))))) (/ y (sqrt (- z (/ (* y t) (* 2.0 z))))) (/ 1 1) (/ y (- z (/ (* y t) (* 2.0 z)))) (/ 1 (+ (sqrt z) (sqrt (/ (* y t) (* 2.0 z))))) (/ y (- (sqrt z) (sqrt (/ (* y t) (* 2.0 z))))) (/ 1 1) (/ y (- z (/ (* y t) (* 2.0 z)))) (/ 1 (- z (/ (* y t) (* 2.0 z)))) (/ (- z (/ (* y t) (* 2.0 z))) y) (/ y (* (cbrt (- z (/ (* y t) (* 2.0 z)))) (cbrt (- z (/ (* y t) (* 2.0 z)))))) (/ y (sqrt (- z (/ (* y t) (* 2.0 z))))) (/ y 1) (/ y (+ (sqrt z) (sqrt (/ (* y t) (* 2.0 z))))) (/ y 1) (/ (- z (/ (* y t) (* 2.0 z))) (cbrt y)) (/ (- z (/ (* y t) (* 2.0 z))) (sqrt y)) (/ (- z (/ (* y t) (* 2.0 z))) y) (/ y (- (pow z 3) (pow (/ (* y t) (* 2.0 z)) 3))) (/ y (- (* z z) (* (/ (* y t) (* 2.0 z)) (/ (* y t) (* 2.0 z))))) (- (+ (log y) (log t)) (+ (log 2.0) (log z))) (- (+ (log y) (log t)) (log (* 2.0 z))) (- (log (* y t)) (+ (log 2.0) (log z))) (- (log (* y t)) (log (* 2.0 z))) (log (/ (* y t) (* 2.0 z))) (exp (/ (* y t) (* 2.0 z))) (/ (* (* (* y y) y) (* (* t t) t)) (* (* (* 2.0 2.0) 2.0) (* (* z z) z))) (/ (* (* (* y y) y) (* (* t t) t)) (* (* (* 2.0 z) (* 2.0 z)) (* 2.0 z))) (/ (* (* (* y t) (* y t)) (* y t)) (* (* (* 2.0 2.0) 2.0) (* (* z z) z))) (/ (* (* (* y t) (* y t)) (* y t)) (* (* (* 2.0 z) (* 2.0 z)) (* 2.0 z))) (* (cbrt (/ (* y t) (* 2.0 z))) (cbrt (/ (* y t) (* 2.0 z)))) (cbrt (/ (* y t) (* 2.0 z))) (* (* (/ (* y t) (* 2.0 z)) (/ (* y t) (* 2.0 z))) (/ (* y t) (* 2.0 z))) (sqrt (/ (* y t) (* 2.0 z))) (sqrt (/ (* y t) (* 2.0 z))) (neg (* y t)) (neg (* 2.0 z)) (/ y 2.0) (/ t z) (/ 1 (* 2.0 z)) (/ (* 2.0 z) (* y t)) (/ (* y t) 2.0) (/ (* 2.0 z) t) (/ (exp z) (exp (/ (* y t) (* 2.0 z)))) (log (- z (/ (* y t) (* 2.0 z)))) (exp (- z (/ (* y t) (* 2.0 z)))) (* (cbrt (- z (/ (* y t) (* 2.0 z)))) (cbrt (- z (/ (* y t) (* 2.0 z))))) (cbrt (- z (/ (* y t) (* 2.0 z)))) (* (* (- z (/ (* y t) (* 2.0 z))) (- z (/ (* y t) (* 2.0 z)))) (- z (/ (* y t) (* 2.0 z)))) (sqrt (- z (/ (* y t) (* 2.0 z)))) (sqrt (- z (/ (* y t) (* 2.0 z)))) (- (pow z 3) (pow (/ (* y t) (* 2.0 z)) 3)) (+ (* z z) (+ (* (/ (* y t) (* 2.0 z)) (/ (* y t) (* 2.0 z))) (* z (/ (* y t) (* 2.0 z))))) (neg (/ (* y t) (* 2.0 z))) (- (* z z) (* (/ (* y t) (* 2.0 z)) (/ (* y t) (* 2.0 z)))) (+ z (/ (* y t) (* 2.0 z))) (+ (sqrt z) (sqrt (/ (* y t) (* 2.0 z)))) (- (sqrt z) (sqrt (/ (* y t) (* 2.0 z)))) (- z (/ (* y t) (* 2.0 z))) 0 0 0 (* 0.5 (/ (* t y) z)) (* 0.5 (/ (* t y) z)) (* 0.5 (/ (* t y) z)) (- z (* 0.5 (/ (* t y) z))) (- z (* 0.5 (/ (* t y) z))) (- z (* 0.5 (/ (* t y) z))) 1.505 * * [simplify]: iteration 0 : 5004 enodes (cost 1054 ) 1.509 * [simplify]: Simplified to: (log (/ y (- z (* (/ y 2.0) (/ t z))))) (log (/ y (- z (* (/ y 2.0) (/ t z))))) (exp (/ y (- z (* (/ y 2.0) (/ t z))))) (pow (/ y (- z (* (/ y 2.0) (/ t z)))) 3) (* (cbrt (/ y (- z (* (/ y 2.0) (/ t z))))) (cbrt (/ y (- z (* (/ y 2.0) (/ t z)))))) (cbrt (/ y (- z (* (/ y 2.0) (/ t z))))) (pow (/ y (- z (* (/ y 2.0) (/ t z)))) 3) (sqrt (/ y (- z (* (/ y 2.0) (/ t z))))) (sqrt (/ y (- z (* (/ y 2.0) (/ t z))))) (neg y) (neg (- z (* (/ y 2.0) (/ t z)))) (* (/ (cbrt y) (cbrt (- z (* (/ y 2.0) (/ t z))))) (/ (cbrt y) (cbrt (- z (* (/ y 2.0) (/ t z)))))) (/ (cbrt y) (cbrt (- z (* (/ y 2.0) (/ t z))))) (* (/ (cbrt y) (sqrt (- z (* (/ y 2.0) (/ t z))))) (cbrt y)) (/ (cbrt y) (sqrt (- z (* (/ y 2.0) (/ t z))))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (- z (* (/ y 2.0) (/ t z)))) (* (/ (cbrt y) (+ (sqrt z) (sqrt (* (/ y 2.0) (/ t z))))) (cbrt y)) (/ (cbrt y) (- (sqrt z) (sqrt (* (/ y 2.0) (/ t z))))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (- z (* (/ y 2.0) (/ t z)))) (/ (sqrt y) (* (cbrt (- z (* (/ y 2.0) (/ t z)))) (cbrt (- z (* (/ y 2.0) (/ t z)))))) (/ (sqrt y) (cbrt (- z (* (/ y 2.0) (/ t z))))) (/ (sqrt y) (sqrt (- z (* (/ y 2.0) (/ t z))))) (/ (sqrt y) (sqrt (- z (* (/ y 2.0) (/ t z))))) (sqrt y) (/ (sqrt y) (- z (* (/ y 2.0) (/ t z)))) (/ (sqrt y) (+ (sqrt z) (sqrt (* (/ y 2.0) (/ t z))))) (/ (sqrt y) (- (sqrt z) (sqrt (* (/ y 2.0) (/ t z))))) (sqrt y) (/ (sqrt y) (- z (* (/ y 2.0) (/ t z)))) (/ 1 (* (cbrt (- z (* (/ y 2.0) (/ t z)))) (cbrt (- z (* (/ y 2.0) (/ t z)))))) (/ y (cbrt (- z (* (/ y 2.0) (/ t z))))) (/ 1 (sqrt (- z (* (/ y 2.0) (/ t z))))) (/ y (sqrt (- z (* (/ y 2.0) (/ t z))))) 1 (/ y (- z (* (/ y 2.0) (/ t z)))) (/ 1 (+ (sqrt z) (sqrt (* (/ y 2.0) (/ t z))))) (/ y (- (sqrt z) (sqrt (* (/ y 2.0) (/ t z))))) 1 (/ y (- z (* (/ y 2.0) (/ t z)))) (/ 1 (- z (* (/ y 2.0) (/ t z)))) (- (/ z y) (/ 1 (* z (/ 2.0 t)))) (/ y (* (cbrt (- z (* (/ y 2.0) (/ t z)))) (cbrt (- z (* (/ y 2.0) (/ t z)))))) (/ y (sqrt (- z (* (/ y 2.0) (/ t z))))) y (/ y (+ (sqrt z) (sqrt (* (/ y 2.0) (/ t z))))) y (/ (- z (* (/ y 2.0) (/ t z))) (cbrt y)) (/ (- z (* (/ y 2.0) (/ t z))) (sqrt y)) (- (/ z y) (/ 1 (* z (/ 2.0 t)))) (/ y (- (pow z 3) (pow (* (/ y 2.0) (/ t z)) 3))) (/ y (- (* z z) (* (* (/ y 2.0) (/ t z)) (* (/ y 2.0) (/ t z))))) (log (* (/ y 2.0) (/ t z))) (log (* (/ y 2.0) (/ t z))) (log (* (/ y 2.0) (/ t z))) (log (* (/ y 2.0) (/ t z))) (log (* (/ y 2.0) (/ t z))) (pow (exp (/ y 2.0)) (/ t z)) (pow (* (/ y 2.0) (/ t z)) 3) (pow (* (/ y 2.0) (/ t z)) 3) (pow (* (/ y 2.0) (/ t z)) 3) (pow (* (/ y 2.0) (/ t z)) 3) (* (cbrt (* (/ y 2.0) (/ t z))) (cbrt (* (/ y 2.0) (/ t z)))) (cbrt (* (/ y 2.0) (/ t z))) (pow (* (/ y 2.0) (/ t z)) 3) (sqrt (* (/ y 2.0) (/ t z))) (sqrt (* (/ y 2.0) (/ t z))) (* y (neg t)) (* z (neg 2.0)) (/ y 2.0) (/ t z) (/ 1 (* z 2.0)) (* (/ z y) (/ 2.0 t)) (* (/ y 2.0) t) (* z (/ 2.0 t)) (exp (- z (* (/ y 2.0) (/ t z)))) (log (- z (* (/ y 2.0) (/ t z)))) (exp (- z (* (/ y 2.0) (/ t z)))) (* (cbrt (- z (* (/ y 2.0) (/ t z)))) (cbrt (- z (* (/ y 2.0) (/ t z))))) (cbrt (- z (* (/ y 2.0) (/ t z)))) (pow (- z (* (/ y 2.0) (/ t z))) 3) (sqrt (- z (* (/ y 2.0) (/ t z)))) (sqrt (- z (* (/ y 2.0) (/ t z)))) (- (pow z 3) (pow (* (/ y 2.0) (/ t z)) 3)) (+ (* z z) (* (* (/ y 2.0) (/ t z)) (+ z (* (/ y 2.0) (/ t z))))) (* (/ y 2.0) (/ (neg t) z)) (- (* z z) (* (* (/ y 2.0) (/ t z)) (* (/ y 2.0) (/ t z)))) (+ z (* (/ y 2.0) (/ t z))) (+ (sqrt z) (sqrt (* (/ y 2.0) (/ t z)))) (- (sqrt z) (sqrt (* (/ y 2.0) (/ t z)))) (- z (* (/ y 2.0) (/ t z))) 0 0 0 (* (/ t z) (* y 0.5)) (* (/ t z) (* y 0.5)) (* (/ t z) (* y 0.5)) (- z (* (/ t z) (* y 0.5))) (- z (* (/ t z) (* y 0.5))) (- z (* (/ t z) (* y 0.5))) 1.510 * * * [progress]: adding candidates to table 1.591 * [progress]: [Phase 3 of 3] Extracting. 1.591 * * [regime]: Finding splitpoints for: (# # #) 1.592 * * * [regime-changes]: Trying 4 branch expressions: (t z y x) 1.592 * * * * [regimes]: Trying to branch on t from (# # #) 1.641 * * * * [regimes]: Trying to branch on z from (# # #) 1.690 * * * * [regimes]: Trying to branch on y from (# # #) 1.739 * * * * [regimes]: Trying to branch on x from (# # #) 1.789 * * * [regime]: Found split indices: #