46.055 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.670 * * * [progress]: [2/2] Setting up program. 0.673 * [progress]: [Phase 2 of 3] Improving. 0.673 * [simplify]: Simplifying using # : (- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))) 0.723 * * [simplify]: iteration 0 : 5085 enodes (cost 13 ) 0.723 * [simplify]: Simplified to: (- x (/ y (- z (* y (/ t (* 2.0 z)))))) 0.728 * * [progress]: iteration 1 / 4 0.728 * * * [progress]: picking best candidate 0.734 * * * * [pick]: Picked # 0.734 * * * [progress]: localizing error 0.742 * * * [progress]: generating rewritten candidates 0.742 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2 2) 0.749 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.753 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 0.760 * * * [progress]: generating series expansions 0.760 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2 2) 0.761 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in (y t z) around 0 0.761 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 0.761 * [taylor]: Taking taylor expansion of 0.5 in z 0.761 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 0.761 * [taylor]: Taking taylor expansion of (* t y) in z 0.761 * [taylor]: Taking taylor expansion of t in z 0.761 * [taylor]: Taking taylor expansion of y in z 0.761 * [taylor]: Taking taylor expansion of z in z 0.761 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 0.761 * [taylor]: Taking taylor expansion of 0.5 in t 0.761 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 0.761 * [taylor]: Taking taylor expansion of (* t y) in t 0.761 * [taylor]: Taking taylor expansion of t in t 0.761 * [taylor]: Taking taylor expansion of y in t 0.761 * [taylor]: Taking taylor expansion of z in t 0.761 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 0.761 * [taylor]: Taking taylor expansion of 0.5 in y 0.761 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 0.761 * [taylor]: Taking taylor expansion of (* t y) in y 0.761 * [taylor]: Taking taylor expansion of t in y 0.761 * [taylor]: Taking taylor expansion of y in y 0.761 * [taylor]: Taking taylor expansion of z in y 0.761 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 0.761 * [taylor]: Taking taylor expansion of 0.5 in y 0.761 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 0.761 * [taylor]: Taking taylor expansion of (* t y) in y 0.761 * [taylor]: Taking taylor expansion of t in y 0.761 * [taylor]: Taking taylor expansion of y in y 0.761 * [taylor]: Taking taylor expansion of z in y 0.761 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 0.761 * [taylor]: Taking taylor expansion of 0.5 in t 0.761 * [taylor]: Taking taylor expansion of (/ t z) in t 0.761 * [taylor]: Taking taylor expansion of t in t 0.761 * [taylor]: Taking taylor expansion of z in t 0.762 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z 0.762 * [taylor]: Taking taylor expansion of 0.5 in z 0.762 * [taylor]: Taking taylor expansion of z in z 0.762 * [taylor]: Taking taylor expansion of 0 in t 0.762 * [taylor]: Taking taylor expansion of 0 in z 0.762 * [taylor]: Taking taylor expansion of 0 in z 0.762 * [taylor]: Taking taylor expansion of 0 in t 0.762 * [taylor]: Taking taylor expansion of 0 in z 0.762 * [taylor]: Taking taylor expansion of 0 in z 0.762 * [taylor]: Taking taylor expansion of 0 in z 0.763 * [taylor]: Taking taylor expansion of 0 in t 0.763 * [taylor]: Taking taylor expansion of 0 in z 0.763 * [taylor]: Taking taylor expansion of 0 in z 0.763 * [taylor]: Taking taylor expansion of 0 in z 0.763 * [taylor]: Taking taylor expansion of 0 in z 0.763 * [approximate]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in (y t z) around 0 0.763 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.763 * [taylor]: Taking taylor expansion of 0.5 in z 0.763 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.763 * [taylor]: Taking taylor expansion of z in z 0.763 * [taylor]: Taking taylor expansion of (* t y) in z 0.763 * [taylor]: Taking taylor expansion of t in z 0.763 * [taylor]: Taking taylor expansion of y in z 0.763 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 0.763 * [taylor]: Taking taylor expansion of 0.5 in t 0.763 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.763 * [taylor]: Taking taylor expansion of z in t 0.763 * [taylor]: Taking taylor expansion of (* t y) in t 0.763 * [taylor]: Taking taylor expansion of t in t 0.763 * [taylor]: Taking taylor expansion of y in t 0.763 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.763 * [taylor]: Taking taylor expansion of 0.5 in y 0.763 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.763 * [taylor]: Taking taylor expansion of z in y 0.763 * [taylor]: Taking taylor expansion of (* t y) in y 0.763 * [taylor]: Taking taylor expansion of t in y 0.763 * [taylor]: Taking taylor expansion of y in y 0.764 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.764 * [taylor]: Taking taylor expansion of 0.5 in y 0.764 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.764 * [taylor]: Taking taylor expansion of z in y 0.764 * [taylor]: Taking taylor expansion of (* t y) in y 0.764 * [taylor]: Taking taylor expansion of t in y 0.764 * [taylor]: Taking taylor expansion of y in y 0.764 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 0.764 * [taylor]: Taking taylor expansion of 0.5 in t 0.764 * [taylor]: Taking taylor expansion of (/ z t) in t 0.764 * [taylor]: Taking taylor expansion of z in t 0.764 * [taylor]: Taking taylor expansion of t in t 0.764 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 0.764 * [taylor]: Taking taylor expansion of 0.5 in z 0.764 * [taylor]: Taking taylor expansion of z in z 0.764 * [taylor]: Taking taylor expansion of 0 in t 0.764 * [taylor]: Taking taylor expansion of 0 in z 0.764 * [taylor]: Taking taylor expansion of 0 in t 0.764 * [taylor]: Taking taylor expansion of 0 in z 0.765 * [taylor]: Taking taylor expansion of 0 in z 0.765 * [approximate]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in (y t z) around 0 0.765 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in z 0.765 * [taylor]: Taking taylor expansion of -0.5 in z 0.765 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.765 * [taylor]: Taking taylor expansion of z in z 0.765 * [taylor]: Taking taylor expansion of (* t y) in z 0.765 * [taylor]: Taking taylor expansion of t in z 0.765 * [taylor]: Taking taylor expansion of y in z 0.765 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in t 0.765 * [taylor]: Taking taylor expansion of -0.5 in t 0.765 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.765 * [taylor]: Taking taylor expansion of z in t 0.765 * [taylor]: Taking taylor expansion of (* t y) in t 0.765 * [taylor]: Taking taylor expansion of t in t 0.765 * [taylor]: Taking taylor expansion of y in t 0.765 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in y 0.765 * [taylor]: Taking taylor expansion of -0.5 in y 0.765 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.765 * [taylor]: Taking taylor expansion of z in y 0.765 * [taylor]: Taking taylor expansion of (* t y) in y 0.765 * [taylor]: Taking taylor expansion of t in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.765 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in y 0.765 * [taylor]: Taking taylor expansion of -0.5 in y 0.765 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.765 * [taylor]: Taking taylor expansion of z in y 0.765 * [taylor]: Taking taylor expansion of (* t y) in y 0.765 * [taylor]: Taking taylor expansion of t in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.766 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in t 0.766 * [taylor]: Taking taylor expansion of -0.5 in t 0.766 * [taylor]: Taking taylor expansion of (/ z t) in t 0.766 * [taylor]: Taking taylor expansion of z in t 0.766 * [taylor]: Taking taylor expansion of t in t 0.766 * [taylor]: Taking taylor expansion of (* -0.5 z) in z 0.766 * [taylor]: Taking taylor expansion of -0.5 in z 0.766 * [taylor]: Taking taylor expansion of z in z 0.766 * [taylor]: Taking taylor expansion of 0 in t 0.766 * [taylor]: Taking taylor expansion of 0 in z 0.766 * [taylor]: Taking taylor expansion of 0 in t 0.766 * [taylor]: Taking taylor expansion of 0 in z 0.766 * [taylor]: Taking taylor expansion of 0 in z 0.767 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.767 * [approximate]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in (y z t) around 0 0.767 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in t 0.767 * [taylor]: Taking taylor expansion of y in t 0.767 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in t 0.767 * [taylor]: Taking taylor expansion of z in t 0.767 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 0.767 * [taylor]: Taking taylor expansion of 0.5 in t 0.767 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 0.767 * [taylor]: Taking taylor expansion of (* t y) in t 0.767 * [taylor]: Taking taylor expansion of t in t 0.767 * [taylor]: Taking taylor expansion of y in t 0.767 * [taylor]: Taking taylor expansion of z in t 0.767 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in z 0.767 * [taylor]: Taking taylor expansion of y in z 0.767 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 0.767 * [taylor]: Taking taylor expansion of z in z 0.767 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 0.767 * [taylor]: Taking taylor expansion of 0.5 in z 0.767 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 0.767 * [taylor]: Taking taylor expansion of (* t y) in z 0.767 * [taylor]: Taking taylor expansion of t in z 0.767 * [taylor]: Taking taylor expansion of y in z 0.767 * [taylor]: Taking taylor expansion of z in z 0.767 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in y 0.767 * [taylor]: Taking taylor expansion of y in y 0.767 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 0.767 * [taylor]: Taking taylor expansion of z in y 0.767 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 0.767 * [taylor]: Taking taylor expansion of 0.5 in y 0.768 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 0.768 * [taylor]: Taking taylor expansion of (* t y) in y 0.768 * [taylor]: Taking taylor expansion of t in y 0.768 * [taylor]: Taking taylor expansion of y in y 0.768 * [taylor]: Taking taylor expansion of z in y 0.768 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in y 0.768 * [taylor]: Taking taylor expansion of y in y 0.768 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 0.768 * [taylor]: Taking taylor expansion of z in y 0.768 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 0.768 * [taylor]: Taking taylor expansion of 0.5 in y 0.768 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 0.768 * [taylor]: Taking taylor expansion of (* t y) in y 0.768 * [taylor]: Taking taylor expansion of t in y 0.768 * [taylor]: Taking taylor expansion of y in y 0.768 * [taylor]: Taking taylor expansion of z in y 0.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.768 * [taylor]: Taking taylor expansion of z in z 0.768 * [taylor]: Taking taylor expansion of 0 in t 0.768 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow z 3))) in z 0.768 * [taylor]: Taking taylor expansion of 0.5 in z 0.768 * [taylor]: Taking taylor expansion of (/ t (pow z 3)) in z 0.768 * [taylor]: Taking taylor expansion of t in z 0.768 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.768 * [taylor]: Taking taylor expansion of z in z 0.769 * [taylor]: Taking taylor expansion of 0 in t 0.769 * [taylor]: Taking taylor expansion of 0 in t 0.770 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow t 2) (pow z 5))) in z 0.770 * [taylor]: Taking taylor expansion of 0.25 in z 0.770 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 5)) in z 0.770 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.770 * [taylor]: Taking taylor expansion of t in z 0.770 * [taylor]: Taking taylor expansion of (pow z 5) in z 0.770 * [taylor]: Taking taylor expansion of z in z 0.772 * [taylor]: Taking taylor expansion of 0 in t 0.772 * [taylor]: Taking taylor expansion of 0 in t 0.772 * [approximate]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in (y z t) around 0 0.772 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in t 0.772 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in t 0.772 * [taylor]: Taking taylor expansion of y in t 0.772 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in t 0.772 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.772 * [taylor]: Taking taylor expansion of z in t 0.772 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 0.772 * [taylor]: Taking taylor expansion of 0.5 in t 0.772 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.772 * [taylor]: Taking taylor expansion of z in t 0.772 * [taylor]: Taking taylor expansion of (* t y) in t 0.772 * [taylor]: Taking taylor expansion of t in t 0.772 * [taylor]: Taking taylor expansion of y in t 0.773 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in z 0.773 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in z 0.773 * [taylor]: Taking taylor expansion of y in z 0.773 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 0.773 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.773 * [taylor]: Taking taylor expansion of z in z 0.773 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.773 * [taylor]: Taking taylor expansion of 0.5 in z 0.773 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.773 * [taylor]: Taking taylor expansion of z in z 0.773 * [taylor]: Taking taylor expansion of (* t y) in z 0.773 * [taylor]: Taking taylor expansion of t in z 0.773 * [taylor]: Taking taylor expansion of y in z 0.773 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in y 0.773 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in y 0.773 * [taylor]: Taking taylor expansion of y in y 0.773 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 0.773 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.773 * [taylor]: Taking taylor expansion of z in y 0.773 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.773 * [taylor]: Taking taylor expansion of 0.5 in y 0.773 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.773 * [taylor]: Taking taylor expansion of z in y 0.773 * [taylor]: Taking taylor expansion of (* t y) in y 0.773 * [taylor]: Taking taylor expansion of t in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in y 0.774 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.774 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.774 * [taylor]: Taking taylor expansion of z in y 0.774 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.774 * [taylor]: Taking taylor expansion of 0.5 in y 0.774 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.774 * [taylor]: Taking taylor expansion of z in y 0.774 * [taylor]: Taking taylor expansion of (* t y) in y 0.774 * [taylor]: Taking taylor expansion of t in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.775 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z 0.775 * [taylor]: Taking taylor expansion of -2.0 in z 0.775 * [taylor]: Taking taylor expansion of (/ t z) in z 0.775 * [taylor]: Taking taylor expansion of t in z 0.775 * [taylor]: Taking taylor expansion of z in z 0.775 * [taylor]: Taking taylor expansion of 0 in t 0.776 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ (pow t 2) (pow z 3)))) in z 0.776 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z 0.776 * [taylor]: Taking taylor expansion of 4.0 in z 0.776 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z 0.776 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.776 * [taylor]: Taking taylor expansion of t in z 0.776 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.776 * [taylor]: Taking taylor expansion of z in z 0.777 * [taylor]: Taking taylor expansion of 0 in t 0.777 * [taylor]: Taking taylor expansion of 0 in t 0.778 * [taylor]: Taking taylor expansion of (neg (* 8.0 (/ (pow t 3) (pow z 5)))) in z 0.778 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z 0.778 * [taylor]: Taking taylor expansion of 8.0 in z 0.778 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z 0.778 * [taylor]: Taking taylor expansion of (pow t 3) in z 0.778 * [taylor]: Taking taylor expansion of t in z 0.778 * [taylor]: Taking taylor expansion of (pow z 5) in z 0.778 * [taylor]: Taking taylor expansion of z in z 0.780 * [taylor]: Taking taylor expansion of 0 in t 0.781 * [taylor]: Taking taylor expansion of 0 in t 0.781 * [approximate]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in (y z t) around 0 0.781 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in t 0.781 * [taylor]: Taking taylor expansion of -1 in t 0.781 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in t 0.781 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in t 0.781 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 0.781 * [taylor]: Taking taylor expansion of 0.5 in t 0.781 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.781 * [taylor]: Taking taylor expansion of z in t 0.781 * [taylor]: Taking taylor expansion of (* t y) in t 0.781 * [taylor]: Taking taylor expansion of t in t 0.781 * [taylor]: Taking taylor expansion of y in t 0.781 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.781 * [taylor]: Taking taylor expansion of z in t 0.781 * [taylor]: Taking taylor expansion of y in t 0.781 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in z 0.781 * [taylor]: Taking taylor expansion of -1 in z 0.781 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in z 0.781 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 0.781 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.781 * [taylor]: Taking taylor expansion of 0.5 in z 0.781 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.781 * [taylor]: Taking taylor expansion of z in z 0.781 * [taylor]: Taking taylor expansion of (* t y) in z 0.781 * [taylor]: Taking taylor expansion of t in z 0.782 * [taylor]: Taking taylor expansion of y in z 0.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.782 * [taylor]: Taking taylor expansion of z in z 0.782 * [taylor]: Taking taylor expansion of y in z 0.782 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in y 0.782 * [taylor]: Taking taylor expansion of -1 in y 0.782 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in y 0.782 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 0.782 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.782 * [taylor]: Taking taylor expansion of 0.5 in y 0.782 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.782 * [taylor]: Taking taylor expansion of z in y 0.782 * [taylor]: Taking taylor expansion of (* t y) in y 0.782 * [taylor]: Taking taylor expansion of t in y 0.782 * [taylor]: Taking taylor expansion of y in y 0.782 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.782 * [taylor]: Taking taylor expansion of z in y 0.782 * [taylor]: Taking taylor expansion of y in y 0.782 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in y 0.782 * [taylor]: Taking taylor expansion of -1 in y 0.782 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in y 0.782 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 0.782 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.782 * [taylor]: Taking taylor expansion of 0.5 in y 0.782 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.783 * [taylor]: Taking taylor expansion of z in y 0.783 * [taylor]: Taking taylor expansion of (* t y) in y 0.783 * [taylor]: Taking taylor expansion of t in y 0.783 * [taylor]: Taking taylor expansion of y in y 0.783 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.783 * [taylor]: Taking taylor expansion of z in y 0.783 * [taylor]: Taking taylor expansion of y in y 0.783 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z 0.783 * [taylor]: Taking taylor expansion of -2.0 in z 0.783 * [taylor]: Taking taylor expansion of (/ t z) in z 0.783 * [taylor]: Taking taylor expansion of t in z 0.783 * [taylor]: Taking taylor expansion of z in z 0.783 * [taylor]: Taking taylor expansion of 0 in t 0.784 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ (pow t 2) (pow z 3)))) in z 0.784 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z 0.784 * [taylor]: Taking taylor expansion of 4.0 in z 0.784 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z 0.784 * [taylor]: Taking taylor expansion of (pow t 2) in z 0.784 * [taylor]: Taking taylor expansion of t in z 0.784 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.784 * [taylor]: Taking taylor expansion of z in z 0.785 * [taylor]: Taking taylor expansion of 0 in t 0.785 * [taylor]: Taking taylor expansion of 0 in t 0.786 * [taylor]: Taking taylor expansion of (neg (* 8.0 (/ (pow t 3) (pow z 5)))) in z 0.786 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z 0.786 * [taylor]: Taking taylor expansion of 8.0 in z 0.786 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z 0.786 * [taylor]: Taking taylor expansion of (pow t 3) in z 0.786 * [taylor]: Taking taylor expansion of t in z 0.786 * [taylor]: Taking taylor expansion of (pow z 5) in z 0.786 * [taylor]: Taking taylor expansion of z in z 0.788 * [taylor]: Taking taylor expansion of 0 in t 0.789 * [taylor]: Taking taylor expansion of 0 in t 0.789 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 0.789 * [approximate]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in (z y t) around 0 0.789 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in t 0.789 * [taylor]: Taking taylor expansion of z in t 0.789 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 0.789 * [taylor]: Taking taylor expansion of 0.5 in t 0.789 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 0.789 * [taylor]: Taking taylor expansion of (* t y) in t 0.789 * [taylor]: Taking taylor expansion of t in t 0.789 * [taylor]: Taking taylor expansion of y in t 0.789 * [taylor]: Taking taylor expansion of z in t 0.789 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 0.789 * [taylor]: Taking taylor expansion of z in y 0.789 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 0.789 * [taylor]: Taking taylor expansion of 0.5 in y 0.789 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 0.789 * [taylor]: Taking taylor expansion of (* t y) in y 0.789 * [taylor]: Taking taylor expansion of t in y 0.789 * [taylor]: Taking taylor expansion of y in y 0.789 * [taylor]: Taking taylor expansion of z in y 0.790 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 0.790 * [taylor]: Taking taylor expansion of z in z 0.790 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 0.790 * [taylor]: Taking taylor expansion of 0.5 in z 0.790 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 0.790 * [taylor]: Taking taylor expansion of (* t y) in z 0.790 * [taylor]: Taking taylor expansion of t in z 0.790 * [taylor]: Taking taylor expansion of y in z 0.790 * [taylor]: Taking taylor expansion of z in z 0.790 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 0.790 * [taylor]: Taking taylor expansion of z in z 0.790 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 0.790 * [taylor]: Taking taylor expansion of 0.5 in z 0.790 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 0.790 * [taylor]: Taking taylor expansion of (* t y) in z 0.790 * [taylor]: Taking taylor expansion of t in z 0.790 * [taylor]: Taking taylor expansion of y in z 0.790 * [taylor]: Taking taylor expansion of z in z 0.790 * [taylor]: Taking taylor expansion of (neg (* 0.5 (* t y))) in y 0.790 * [taylor]: Taking taylor expansion of (* 0.5 (* t y)) in y 0.790 * [taylor]: Taking taylor expansion of 0.5 in y 0.790 * [taylor]: Taking taylor expansion of (* t y) in y 0.790 * [taylor]: Taking taylor expansion of t in y 0.790 * [taylor]: Taking taylor expansion of y in y 0.790 * [taylor]: Taking taylor expansion of 0 in t 0.790 * [taylor]: Taking taylor expansion of 0 in y 0.790 * [taylor]: Taking taylor expansion of 0 in t 0.790 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in t 0.791 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 0.791 * [taylor]: Taking taylor expansion of 0.5 in t 0.791 * [taylor]: Taking taylor expansion of t in t 0.791 * [taylor]: Taking taylor expansion of 1 in y 0.791 * [taylor]: Taking taylor expansion of 1 in t 0.791 * [taylor]: Taking taylor expansion of 0 in t 0.791 * [taylor]: Taking taylor expansion of 0 in t 0.791 * [taylor]: Taking taylor expansion of 0 in y 0.791 * [taylor]: Taking taylor expansion of 0 in t 0.791 * [taylor]: Taking taylor expansion of 0 in t 0.791 * [taylor]: Taking taylor expansion of 0 in t 0.791 * [taylor]: Taking taylor expansion of 0 in t 0.792 * [approximate]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in (z y t) around 0 0.792 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in t 0.792 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.792 * [taylor]: Taking taylor expansion of z in t 0.792 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 0.792 * [taylor]: Taking taylor expansion of 0.5 in t 0.792 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.792 * [taylor]: Taking taylor expansion of z in t 0.792 * [taylor]: Taking taylor expansion of (* t y) in t 0.792 * [taylor]: Taking taylor expansion of t in t 0.792 * [taylor]: Taking taylor expansion of y in t 0.792 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 0.792 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.792 * [taylor]: Taking taylor expansion of z in y 0.792 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.792 * [taylor]: Taking taylor expansion of 0.5 in y 0.792 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.792 * [taylor]: Taking taylor expansion of z in y 0.792 * [taylor]: Taking taylor expansion of (* t y) in y 0.792 * [taylor]: Taking taylor expansion of t in y 0.792 * [taylor]: Taking taylor expansion of y in y 0.792 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 0.792 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.792 * [taylor]: Taking taylor expansion of z in z 0.792 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.792 * [taylor]: Taking taylor expansion of 0.5 in z 0.792 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.792 * [taylor]: Taking taylor expansion of z in z 0.792 * [taylor]: Taking taylor expansion of (* t y) in z 0.792 * [taylor]: Taking taylor expansion of t in z 0.792 * [taylor]: Taking taylor expansion of y in z 0.792 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 0.792 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.792 * [taylor]: Taking taylor expansion of z in z 0.792 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.792 * [taylor]: Taking taylor expansion of 0.5 in z 0.792 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.793 * [taylor]: Taking taylor expansion of z in z 0.793 * [taylor]: Taking taylor expansion of (* t y) in z 0.793 * [taylor]: Taking taylor expansion of t in z 0.793 * [taylor]: Taking taylor expansion of y in z 0.793 * [taylor]: Taking taylor expansion of 1 in y 0.793 * [taylor]: Taking taylor expansion of 0 in y 0.793 * [taylor]: Taking taylor expansion of 1 in t 0.793 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 (* t y)))) in y 0.793 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t y))) in y 0.793 * [taylor]: Taking taylor expansion of 0.5 in y 0.793 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 0.793 * [taylor]: Taking taylor expansion of (* t y) in y 0.793 * [taylor]: Taking taylor expansion of t in y 0.793 * [taylor]: Taking taylor expansion of y in y 0.793 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 0.793 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 0.793 * [taylor]: Taking taylor expansion of 0.5 in t 0.793 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.793 * [taylor]: Taking taylor expansion of t in t 0.793 * [taylor]: Taking taylor expansion of 0 in t 0.793 * [taylor]: Taking taylor expansion of 0 in t 0.794 * [taylor]: Taking taylor expansion of 0 in y 0.794 * [taylor]: Taking taylor expansion of 0 in t 0.794 * [taylor]: Taking taylor expansion of 0 in t 0.794 * [taylor]: Taking taylor expansion of 0 in t 0.794 * [taylor]: Taking taylor expansion of 0 in y 0.794 * [taylor]: Taking taylor expansion of 0 in t 0.794 * [taylor]: Taking taylor expansion of 0 in t 0.794 * [taylor]: Taking taylor expansion of 0 in t 0.794 * [taylor]: Taking taylor expansion of 0 in t 0.795 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in (z y t) around 0 0.795 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in t 0.795 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 0.795 * [taylor]: Taking taylor expansion of 0.5 in t 0.795 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 0.795 * [taylor]: Taking taylor expansion of z in t 0.795 * [taylor]: Taking taylor expansion of (* t y) in t 0.795 * [taylor]: Taking taylor expansion of t in t 0.795 * [taylor]: Taking taylor expansion of y in t 0.795 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.795 * [taylor]: Taking taylor expansion of z in t 0.795 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 0.795 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 0.795 * [taylor]: Taking taylor expansion of 0.5 in y 0.795 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 0.795 * [taylor]: Taking taylor expansion of z in y 0.795 * [taylor]: Taking taylor expansion of (* t y) in y 0.795 * [taylor]: Taking taylor expansion of t in y 0.795 * [taylor]: Taking taylor expansion of y in y 0.795 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.795 * [taylor]: Taking taylor expansion of z in y 0.795 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 0.795 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.795 * [taylor]: Taking taylor expansion of 0.5 in z 0.795 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.795 * [taylor]: Taking taylor expansion of z in z 0.795 * [taylor]: Taking taylor expansion of (* t y) in z 0.795 * [taylor]: Taking taylor expansion of t in z 0.796 * [taylor]: Taking taylor expansion of y in z 0.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.796 * [taylor]: Taking taylor expansion of z in z 0.796 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 0.796 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 0.796 * [taylor]: Taking taylor expansion of 0.5 in z 0.796 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 0.796 * [taylor]: Taking taylor expansion of z in z 0.796 * [taylor]: Taking taylor expansion of (* t y) in z 0.796 * [taylor]: Taking taylor expansion of t in z 0.796 * [taylor]: Taking taylor expansion of y in z 0.796 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.796 * [taylor]: Taking taylor expansion of z in z 0.796 * [taylor]: Taking taylor expansion of (neg 1) in y 0.796 * [taylor]: Taking taylor expansion of 1 in y 0.796 * [taylor]: Taking taylor expansion of 0 in y 0.796 * [taylor]: Taking taylor expansion of (neg 1) in t 0.796 * [taylor]: Taking taylor expansion of 1 in t 0.796 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t y))) in y 0.796 * [taylor]: Taking taylor expansion of 0.5 in y 0.796 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 0.796 * [taylor]: Taking taylor expansion of (* t y) in y 0.796 * [taylor]: Taking taylor expansion of t in y 0.796 * [taylor]: Taking taylor expansion of y in y 0.796 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t 0.796 * [taylor]: Taking taylor expansion of 0.5 in t 0.796 * [taylor]: Taking taylor expansion of t in t 0.796 * [taylor]: Taking taylor expansion of 0 in t 0.796 * [taylor]: Taking taylor expansion of 0 in t 0.797 * [taylor]: Taking taylor expansion of 0 in y 0.797 * [taylor]: Taking taylor expansion of 0 in t 0.797 * [taylor]: Taking taylor expansion of 0 in t 0.797 * [taylor]: Taking taylor expansion of 0 in t 0.797 * [taylor]: Taking taylor expansion of 0 in y 0.797 * [taylor]: Taking taylor expansion of 0 in t 0.798 * [taylor]: Taking taylor expansion of 0 in t 0.798 * [taylor]: Taking taylor expansion of 0 in t 0.798 * [taylor]: Taking taylor expansion of 0 in t 0.798 * * * [progress]: simplifying candidates 0.799 * [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.843 * * [simplify]: iteration 0 : 4977 enodes (cost 918 ) 0.843 * * [simplify]: iteration 1 : 4977 enodes (cost 918 ) 0.847 * [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.847 * * * [progress]: adding candidates to table 0.938 * * [progress]: iteration 2 / 4 0.938 * * * [progress]: picking best candidate 0.948 * * * * [pick]: Picked # 0.948 * * * [progress]: localizing error 0.956 * * * [progress]: generating rewritten candidates 0.956 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.969 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.981 * * * [progress]: generating series expansions 0.981 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.981 * [approximate]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in (z y t) around 0 0.981 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in t 0.981 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in t 0.981 * [taylor]: Taking taylor expansion of (/ z y) in t 0.981 * [taylor]: Taking taylor expansion of z in t 0.981 * [taylor]: Taking taylor expansion of y in t 0.981 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 0.981 * [taylor]: Taking taylor expansion of 0.5 in t 0.981 * [taylor]: Taking taylor expansion of (/ t z) in t 0.981 * [taylor]: Taking taylor expansion of t in t 0.981 * [taylor]: Taking taylor expansion of z in t 0.982 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in y 0.982 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in y 0.982 * [taylor]: Taking taylor expansion of (/ z y) in y 0.982 * [taylor]: Taking taylor expansion of z in y 0.982 * [taylor]: Taking taylor expansion of y in y 0.982 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 0.982 * [taylor]: Taking taylor expansion of 0.5 in y 0.982 * [taylor]: Taking taylor expansion of (/ t z) in y 0.982 * [taylor]: Taking taylor expansion of t in y 0.982 * [taylor]: Taking taylor expansion of z in y 0.982 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in z 0.982 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 0.982 * [taylor]: Taking taylor expansion of (/ z y) in z 0.982 * [taylor]: Taking taylor expansion of z in z 0.982 * [taylor]: Taking taylor expansion of y in z 0.982 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 0.982 * [taylor]: Taking taylor expansion of 0.5 in z 0.982 * [taylor]: Taking taylor expansion of (/ t z) in z 0.982 * [taylor]: Taking taylor expansion of t in z 0.982 * [taylor]: Taking taylor expansion of z in z 0.982 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in z 0.982 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 0.982 * [taylor]: Taking taylor expansion of (/ z y) in z 0.982 * [taylor]: Taking taylor expansion of z in z 0.982 * [taylor]: Taking taylor expansion of y in z 0.982 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 0.982 * [taylor]: Taking taylor expansion of 0.5 in z 0.982 * [taylor]: Taking taylor expansion of (/ t z) in z 0.982 * [taylor]: Taking taylor expansion of t in z 0.982 * [taylor]: Taking taylor expansion of z in z 0.982 * [taylor]: Taking taylor expansion of (/ -2.0 t) in y 0.982 * [taylor]: Taking taylor expansion of -2.0 in y 0.982 * [taylor]: Taking taylor expansion of t in y 0.983 * [taylor]: Taking taylor expansion of 0 in t 0.983 * [taylor]: Taking taylor expansion of 0 in y 0.983 * [taylor]: Taking taylor expansion of 0 in t 0.983 * [taylor]: Taking taylor expansion of 0 in t 0.983 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* (pow t 2) y)))) in y 0.983 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) y))) in y 0.983 * [taylor]: Taking taylor expansion of 4.0 in y 0.983 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) y)) in y 0.983 * [taylor]: Taking taylor expansion of (* (pow t 2) y) in y 0.983 * [taylor]: Taking taylor expansion of (pow t 2) in y 0.983 * [taylor]: Taking taylor expansion of t in y 0.983 * [taylor]: Taking taylor expansion of y in y 0.984 * [taylor]: Taking taylor expansion of 0 in t 0.984 * [taylor]: Taking taylor expansion of 0 in t 0.984 * [approximate]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in (z y t) around 0 0.984 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in t 0.984 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 0.984 * [taylor]: Taking taylor expansion of (/ y z) in t 0.984 * [taylor]: Taking taylor expansion of y in t 0.984 * [taylor]: Taking taylor expansion of z in t 0.984 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 0.984 * [taylor]: Taking taylor expansion of 0.5 in t 0.985 * [taylor]: Taking taylor expansion of (/ z t) in t 0.985 * [taylor]: Taking taylor expansion of z in t 0.985 * [taylor]: Taking taylor expansion of t in t 0.985 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in y 0.985 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 0.985 * [taylor]: Taking taylor expansion of (/ y z) in y 0.985 * [taylor]: Taking taylor expansion of y in y 0.985 * [taylor]: Taking taylor expansion of z in y 0.985 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 0.985 * [taylor]: Taking taylor expansion of 0.5 in y 0.985 * [taylor]: Taking taylor expansion of (/ z t) in y 0.985 * [taylor]: Taking taylor expansion of z in y 0.985 * [taylor]: Taking taylor expansion of t in y 0.985 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 0.985 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 0.985 * [taylor]: Taking taylor expansion of (/ y z) in z 0.985 * [taylor]: Taking taylor expansion of y in z 0.985 * [taylor]: Taking taylor expansion of z in z 0.985 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 0.985 * [taylor]: Taking taylor expansion of 0.5 in z 0.985 * [taylor]: Taking taylor expansion of (/ z t) in z 0.985 * [taylor]: Taking taylor expansion of z in z 0.985 * [taylor]: Taking taylor expansion of t in z 0.985 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 0.985 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 0.985 * [taylor]: Taking taylor expansion of (/ y z) in z 0.985 * [taylor]: Taking taylor expansion of y in z 0.985 * [taylor]: Taking taylor expansion of z in z 0.985 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 0.985 * [taylor]: Taking taylor expansion of 0.5 in z 0.985 * [taylor]: Taking taylor expansion of (/ z t) in z 0.985 * [taylor]: Taking taylor expansion of z in z 0.985 * [taylor]: Taking taylor expansion of t in z 0.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.986 * [taylor]: Taking taylor expansion of y in y 0.986 * [taylor]: Taking taylor expansion of 0 in t 0.986 * [taylor]: Taking taylor expansion of 0 in y 0.986 * [taylor]: Taking taylor expansion of 0 in t 0.986 * [taylor]: Taking taylor expansion of 0 in t 0.986 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t (pow y 2)))) in y 0.986 * [taylor]: Taking taylor expansion of 0.5 in y 0.986 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow y 2))) in y 0.986 * [taylor]: Taking taylor expansion of (* t (pow y 2)) in y 0.986 * [taylor]: Taking taylor expansion of t in y 0.986 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.986 * [taylor]: Taking taylor expansion of y in y 0.987 * [taylor]: Taking taylor expansion of 0 in t 0.987 * [taylor]: Taking taylor expansion of 0 in t 0.987 * [approximate]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in (z y t) around 0 0.987 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in t 0.987 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 0.987 * [taylor]: Taking taylor expansion of (/ y z) in t 0.987 * [taylor]: Taking taylor expansion of y in t 0.987 * [taylor]: Taking taylor expansion of z in t 0.987 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 0.987 * [taylor]: Taking taylor expansion of 0.5 in t 0.987 * [taylor]: Taking taylor expansion of (/ z t) in t 0.987 * [taylor]: Taking taylor expansion of z in t 0.987 * [taylor]: Taking taylor expansion of t in t 0.987 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in y 0.987 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 0.987 * [taylor]: Taking taylor expansion of (/ y z) in y 0.987 * [taylor]: Taking taylor expansion of y in y 0.987 * [taylor]: Taking taylor expansion of z in y 0.987 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 0.987 * [taylor]: Taking taylor expansion of 0.5 in y 0.987 * [taylor]: Taking taylor expansion of (/ z t) in y 0.987 * [taylor]: Taking taylor expansion of z in y 0.987 * [taylor]: Taking taylor expansion of t in y 0.987 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 0.987 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 0.988 * [taylor]: Taking taylor expansion of (/ y z) in z 0.988 * [taylor]: Taking taylor expansion of y in z 0.988 * [taylor]: Taking taylor expansion of z in z 0.988 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 0.988 * [taylor]: Taking taylor expansion of 0.5 in z 0.988 * [taylor]: Taking taylor expansion of (/ z t) in z 0.988 * [taylor]: Taking taylor expansion of z in z 0.988 * [taylor]: Taking taylor expansion of t in z 0.988 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 0.988 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 0.988 * [taylor]: Taking taylor expansion of (/ y z) in z 0.988 * [taylor]: Taking taylor expansion of y in z 0.988 * [taylor]: Taking taylor expansion of z in z 0.988 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 0.988 * [taylor]: Taking taylor expansion of 0.5 in z 0.988 * [taylor]: Taking taylor expansion of (/ z t) in z 0.988 * [taylor]: Taking taylor expansion of z in z 0.988 * [taylor]: Taking taylor expansion of t in z 0.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.988 * [taylor]: Taking taylor expansion of y in y 0.988 * [taylor]: Taking taylor expansion of 0 in t 0.988 * [taylor]: Taking taylor expansion of 0 in y 0.988 * [taylor]: Taking taylor expansion of 0 in t 0.988 * [taylor]: Taking taylor expansion of 0 in t 0.989 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t (pow y 2)))) in y 0.989 * [taylor]: Taking taylor expansion of 0.5 in y 0.989 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow y 2))) in y 0.989 * [taylor]: Taking taylor expansion of (* t (pow y 2)) in y 0.989 * [taylor]: Taking taylor expansion of t in y 0.989 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.989 * [taylor]: Taking taylor expansion of y in y 0.989 * [taylor]: Taking taylor expansion of 0 in t 0.989 * [taylor]: Taking taylor expansion of 0 in t 0.989 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 0.989 * [approximate]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in (z y t) around 0 0.989 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in t 0.989 * [taylor]: Taking taylor expansion of (/ z y) in t 0.989 * [taylor]: Taking taylor expansion of z in t 0.989 * [taylor]: Taking taylor expansion of y in t 0.989 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 0.989 * [taylor]: Taking taylor expansion of 0.5 in t 0.989 * [taylor]: Taking taylor expansion of (/ t z) in t 0.989 * [taylor]: Taking taylor expansion of t in t 0.989 * [taylor]: Taking taylor expansion of z in t 0.989 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in y 0.989 * [taylor]: Taking taylor expansion of (/ z y) in y 0.989 * [taylor]: Taking taylor expansion of z in y 0.989 * [taylor]: Taking taylor expansion of y in y 0.989 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 0.989 * [taylor]: Taking taylor expansion of 0.5 in y 0.989 * [taylor]: Taking taylor expansion of (/ t z) in y 0.990 * [taylor]: Taking taylor expansion of t in y 0.990 * [taylor]: Taking taylor expansion of z in y 0.990 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 0.990 * [taylor]: Taking taylor expansion of (/ z y) in z 0.990 * [taylor]: Taking taylor expansion of z in z 0.990 * [taylor]: Taking taylor expansion of y in z 0.990 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 0.990 * [taylor]: Taking taylor expansion of 0.5 in z 0.990 * [taylor]: Taking taylor expansion of (/ t z) in z 0.990 * [taylor]: Taking taylor expansion of t in z 0.990 * [taylor]: Taking taylor expansion of z in z 0.990 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 0.990 * [taylor]: Taking taylor expansion of (/ z y) in z 0.990 * [taylor]: Taking taylor expansion of z in z 0.990 * [taylor]: Taking taylor expansion of y in z 0.990 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 0.990 * [taylor]: Taking taylor expansion of 0.5 in z 0.990 * [taylor]: Taking taylor expansion of (/ t z) in z 0.990 * [taylor]: Taking taylor expansion of t in z 0.990 * [taylor]: Taking taylor expansion of z in z 0.990 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in y 0.990 * [taylor]: Taking taylor expansion of (* 0.5 t) in y 0.990 * [taylor]: Taking taylor expansion of 0.5 in y 0.990 * [taylor]: Taking taylor expansion of t in y 0.990 * [taylor]: Taking taylor expansion of 0 in y 0.990 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in t 0.990 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 0.990 * [taylor]: Taking taylor expansion of 0.5 in t 0.990 * [taylor]: Taking taylor expansion of t in t 0.990 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.990 * [taylor]: Taking taylor expansion of y in y 0.991 * [taylor]: Taking taylor expansion of 1 in t 0.991 * [taylor]: Taking taylor expansion of 0 in t 0.991 * [taylor]: Taking taylor expansion of 0 in t 0.991 * [taylor]: Taking taylor expansion of 0 in y 0.991 * [taylor]: Taking taylor expansion of 0 in t 0.991 * [taylor]: Taking taylor expansion of 0 in t 0.991 * [taylor]: Taking taylor expansion of 0 in t 0.991 * [approximate]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in (z y t) around 0 0.991 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 0.991 * [taylor]: Taking taylor expansion of (/ y z) in t 0.991 * [taylor]: Taking taylor expansion of y in t 0.991 * [taylor]: Taking taylor expansion of z in t 0.991 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 0.991 * [taylor]: Taking taylor expansion of 0.5 in t 0.991 * [taylor]: Taking taylor expansion of (/ z t) in t 0.991 * [taylor]: Taking taylor expansion of z in t 0.992 * [taylor]: Taking taylor expansion of t in t 0.992 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 0.992 * [taylor]: Taking taylor expansion of (/ y z) in y 0.992 * [taylor]: Taking taylor expansion of y in y 0.992 * [taylor]: Taking taylor expansion of z in y 0.992 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 0.992 * [taylor]: Taking taylor expansion of 0.5 in y 0.992 * [taylor]: Taking taylor expansion of (/ z t) in y 0.992 * [taylor]: Taking taylor expansion of z in y 0.992 * [taylor]: Taking taylor expansion of t in y 0.992 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 0.992 * [taylor]: Taking taylor expansion of (/ y z) in z 0.992 * [taylor]: Taking taylor expansion of y in z 0.992 * [taylor]: Taking taylor expansion of z in z 0.992 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 0.992 * [taylor]: Taking taylor expansion of 0.5 in z 0.992 * [taylor]: Taking taylor expansion of (/ z t) in z 0.992 * [taylor]: Taking taylor expansion of z in z 0.992 * [taylor]: Taking taylor expansion of t in z 0.992 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 0.992 * [taylor]: Taking taylor expansion of (/ y z) in z 0.992 * [taylor]: Taking taylor expansion of y in z 0.992 * [taylor]: Taking taylor expansion of z in z 0.992 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 0.992 * [taylor]: Taking taylor expansion of 0.5 in z 0.992 * [taylor]: Taking taylor expansion of (/ z t) in z 0.992 * [taylor]: Taking taylor expansion of z in z 0.992 * [taylor]: Taking taylor expansion of t in z 0.992 * [taylor]: Taking taylor expansion of y in y 0.992 * [taylor]: Taking taylor expansion of 0 in t 0.992 * [taylor]: Taking taylor expansion of 0 in y 0.992 * [taylor]: Taking taylor expansion of 0 in t 0.992 * [taylor]: Taking taylor expansion of 1 in t 0.992 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in y 0.993 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y 0.993 * [taylor]: Taking taylor expansion of 0.5 in y 0.993 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.993 * [taylor]: Taking taylor expansion of t in y 0.993 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 0.993 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 0.993 * [taylor]: Taking taylor expansion of 0.5 in t 0.993 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.993 * [taylor]: Taking taylor expansion of t in t 0.993 * [taylor]: Taking taylor expansion of 0 in t 0.993 * [taylor]: Taking taylor expansion of 0 in t 0.993 * [taylor]: Taking taylor expansion of 0 in y 0.993 * [taylor]: Taking taylor expansion of 0 in t 0.993 * [taylor]: Taking taylor expansion of 0 in t 0.993 * [taylor]: Taking taylor expansion of 0 in t 0.993 * [taylor]: Taking taylor expansion of 0 in t 0.994 * [approximate]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in (z y t) around 0 0.994 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 0.994 * [taylor]: Taking taylor expansion of (/ y z) in t 0.994 * [taylor]: Taking taylor expansion of y in t 0.994 * [taylor]: Taking taylor expansion of z in t 0.994 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 0.994 * [taylor]: Taking taylor expansion of 0.5 in t 0.994 * [taylor]: Taking taylor expansion of (/ z t) in t 0.994 * [taylor]: Taking taylor expansion of z in t 0.994 * [taylor]: Taking taylor expansion of t in t 0.994 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 0.994 * [taylor]: Taking taylor expansion of (/ y z) in y 0.994 * [taylor]: Taking taylor expansion of y in y 0.994 * [taylor]: Taking taylor expansion of z in y 0.994 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 0.994 * [taylor]: Taking taylor expansion of 0.5 in y 0.994 * [taylor]: Taking taylor expansion of (/ z t) in y 0.994 * [taylor]: Taking taylor expansion of z in y 0.994 * [taylor]: Taking taylor expansion of t in y 0.994 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 0.994 * [taylor]: Taking taylor expansion of (/ y z) in z 0.994 * [taylor]: Taking taylor expansion of y in z 0.994 * [taylor]: Taking taylor expansion of z in z 0.994 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 0.994 * [taylor]: Taking taylor expansion of 0.5 in z 0.994 * [taylor]: Taking taylor expansion of (/ z t) in z 0.994 * [taylor]: Taking taylor expansion of z in z 0.994 * [taylor]: Taking taylor expansion of t in z 0.994 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 0.994 * [taylor]: Taking taylor expansion of (/ y z) in z 0.994 * [taylor]: Taking taylor expansion of y in z 0.994 * [taylor]: Taking taylor expansion of z in z 0.994 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 0.995 * [taylor]: Taking taylor expansion of 0.5 in z 0.995 * [taylor]: Taking taylor expansion of (/ z t) in z 0.995 * [taylor]: Taking taylor expansion of z in z 0.995 * [taylor]: Taking taylor expansion of t in z 0.995 * [taylor]: Taking taylor expansion of y in y 0.995 * [taylor]: Taking taylor expansion of 0 in t 0.995 * [taylor]: Taking taylor expansion of 0 in y 0.995 * [taylor]: Taking taylor expansion of 0 in t 0.995 * [taylor]: Taking taylor expansion of 1 in t 0.995 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in y 0.995 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y 0.995 * [taylor]: Taking taylor expansion of 0.5 in y 0.995 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.995 * [taylor]: Taking taylor expansion of t in y 0.995 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 0.995 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 0.995 * [taylor]: Taking taylor expansion of 0.5 in t 0.995 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.995 * [taylor]: Taking taylor expansion of t in t 0.995 * [taylor]: Taking taylor expansion of 0 in t 0.995 * [taylor]: Taking taylor expansion of 0 in t 0.996 * [taylor]: Taking taylor expansion of 0 in y 0.996 * [taylor]: Taking taylor expansion of 0 in t 0.996 * [taylor]: Taking taylor expansion of 0 in t 0.996 * [taylor]: Taking taylor expansion of 0 in t 0.996 * [taylor]: Taking taylor expansion of 0 in t 0.996 * * * [progress]: simplifying candidates 0.997 * [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.050 * * [simplify]: iteration 0 : 6363 enodes (cost 1018 ) 1.054 * [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.054 * * * [progress]: adding candidates to table 1.124 * * [progress]: iteration 3 / 4 1.124 * * * [progress]: picking best candidate 1.130 * * * * [pick]: Picked # 1.130 * * * [progress]: localizing error 1.138 * * * [progress]: generating rewritten candidates 1.138 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1.147 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2 2) 1.154 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 1.162 * * * [progress]: generating series expansions 1.162 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.162 * [approximate]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in (z y t) around 0 1.162 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in t 1.162 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in t 1.162 * [taylor]: Taking taylor expansion of (/ z y) in t 1.162 * [taylor]: Taking taylor expansion of z in t 1.162 * [taylor]: Taking taylor expansion of y in t 1.162 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.162 * [taylor]: Taking taylor expansion of 0.5 in t 1.162 * [taylor]: Taking taylor expansion of (/ t z) in t 1.162 * [taylor]: Taking taylor expansion of t in t 1.162 * [taylor]: Taking taylor expansion of z in t 1.162 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in y 1.162 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in y 1.162 * [taylor]: Taking taylor expansion of (/ z y) in y 1.163 * [taylor]: Taking taylor expansion of z in y 1.163 * [taylor]: Taking taylor expansion of y in y 1.163 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 1.163 * [taylor]: Taking taylor expansion of 0.5 in y 1.163 * [taylor]: Taking taylor expansion of (/ t z) in y 1.163 * [taylor]: Taking taylor expansion of t in y 1.163 * [taylor]: Taking taylor expansion of z in y 1.163 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in z 1.163 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.163 * [taylor]: Taking taylor expansion of (/ z y) in z 1.163 * [taylor]: Taking taylor expansion of z in z 1.163 * [taylor]: Taking taylor expansion of y in z 1.163 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.163 * [taylor]: Taking taylor expansion of 0.5 in z 1.163 * [taylor]: Taking taylor expansion of (/ t z) in z 1.163 * [taylor]: Taking taylor expansion of t in z 1.163 * [taylor]: Taking taylor expansion of z in z 1.163 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z y) (* 0.5 (/ t z)))) in z 1.163 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.163 * [taylor]: Taking taylor expansion of (/ z y) in z 1.163 * [taylor]: Taking taylor expansion of z in z 1.163 * [taylor]: Taking taylor expansion of y in z 1.163 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.163 * [taylor]: Taking taylor expansion of 0.5 in z 1.163 * [taylor]: Taking taylor expansion of (/ t z) in z 1.163 * [taylor]: Taking taylor expansion of t in z 1.163 * [taylor]: Taking taylor expansion of z in z 1.163 * [taylor]: Taking taylor expansion of (/ -2.0 t) in y 1.163 * [taylor]: Taking taylor expansion of -2.0 in y 1.163 * [taylor]: Taking taylor expansion of t in y 1.163 * [taylor]: Taking taylor expansion of 0 in t 1.164 * [taylor]: Taking taylor expansion of 0 in y 1.164 * [taylor]: Taking taylor expansion of 0 in t 1.164 * [taylor]: Taking taylor expansion of 0 in t 1.164 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ 1 (* (pow t 2) y)))) in y 1.164 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) y))) in y 1.164 * [taylor]: Taking taylor expansion of 4.0 in y 1.164 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) y)) in y 1.164 * [taylor]: Taking taylor expansion of (* (pow t 2) y) in y 1.164 * [taylor]: Taking taylor expansion of (pow t 2) in y 1.164 * [taylor]: Taking taylor expansion of t in y 1.164 * [taylor]: Taking taylor expansion of y in y 1.165 * [taylor]: Taking taylor expansion of 0 in t 1.165 * [taylor]: Taking taylor expansion of 0 in t 1.165 * [approximate]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in (z y t) around 0 1.165 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in t 1.165 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.165 * [taylor]: Taking taylor expansion of (/ y z) in t 1.165 * [taylor]: Taking taylor expansion of y in t 1.165 * [taylor]: Taking taylor expansion of z in t 1.165 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.165 * [taylor]: Taking taylor expansion of 0.5 in t 1.165 * [taylor]: Taking taylor expansion of (/ z t) in t 1.165 * [taylor]: Taking taylor expansion of z in t 1.165 * [taylor]: Taking taylor expansion of t in t 1.166 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in y 1.166 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.166 * [taylor]: Taking taylor expansion of (/ y z) in y 1.166 * [taylor]: Taking taylor expansion of y in y 1.166 * [taylor]: Taking taylor expansion of z in y 1.166 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.166 * [taylor]: Taking taylor expansion of 0.5 in y 1.166 * [taylor]: Taking taylor expansion of (/ z t) in y 1.166 * [taylor]: Taking taylor expansion of z in y 1.166 * [taylor]: Taking taylor expansion of t in y 1.166 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.166 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.166 * [taylor]: Taking taylor expansion of (/ y z) in z 1.166 * [taylor]: Taking taylor expansion of y in z 1.166 * [taylor]: Taking taylor expansion of z in z 1.166 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.166 * [taylor]: Taking taylor expansion of 0.5 in z 1.166 * [taylor]: Taking taylor expansion of (/ z t) in z 1.166 * [taylor]: Taking taylor expansion of z in z 1.166 * [taylor]: Taking taylor expansion of t in z 1.166 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.166 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.166 * [taylor]: Taking taylor expansion of (/ y z) in z 1.166 * [taylor]: Taking taylor expansion of y in z 1.166 * [taylor]: Taking taylor expansion of z in z 1.166 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.166 * [taylor]: Taking taylor expansion of 0.5 in z 1.166 * [taylor]: Taking taylor expansion of (/ z t) in z 1.166 * [taylor]: Taking taylor expansion of z in z 1.166 * [taylor]: Taking taylor expansion of t in z 1.166 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.166 * [taylor]: Taking taylor expansion of y in y 1.167 * [taylor]: Taking taylor expansion of 0 in t 1.167 * [taylor]: Taking taylor expansion of 0 in y 1.167 * [taylor]: Taking taylor expansion of 0 in t 1.167 * [taylor]: Taking taylor expansion of 0 in t 1.167 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t (pow y 2)))) in y 1.167 * [taylor]: Taking taylor expansion of 0.5 in y 1.167 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow y 2))) in y 1.167 * [taylor]: Taking taylor expansion of (* t (pow y 2)) in y 1.167 * [taylor]: Taking taylor expansion of t in y 1.167 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.167 * [taylor]: Taking taylor expansion of y in y 1.167 * [taylor]: Taking taylor expansion of 0 in t 1.167 * [taylor]: Taking taylor expansion of 0 in t 1.168 * [approximate]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in (z y t) around 0 1.168 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in t 1.168 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.168 * [taylor]: Taking taylor expansion of (/ y z) in t 1.168 * [taylor]: Taking taylor expansion of y in t 1.168 * [taylor]: Taking taylor expansion of z in t 1.168 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.168 * [taylor]: Taking taylor expansion of 0.5 in t 1.168 * [taylor]: Taking taylor expansion of (/ z t) in t 1.168 * [taylor]: Taking taylor expansion of z in t 1.168 * [taylor]: Taking taylor expansion of t in t 1.168 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in y 1.168 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.168 * [taylor]: Taking taylor expansion of (/ y z) in y 1.168 * [taylor]: Taking taylor expansion of y in y 1.168 * [taylor]: Taking taylor expansion of z in y 1.168 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.168 * [taylor]: Taking taylor expansion of 0.5 in y 1.168 * [taylor]: Taking taylor expansion of (/ z t) in y 1.168 * [taylor]: Taking taylor expansion of z in y 1.168 * [taylor]: Taking taylor expansion of t in y 1.168 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.168 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.168 * [taylor]: Taking taylor expansion of (/ y z) in z 1.168 * [taylor]: Taking taylor expansion of y in z 1.168 * [taylor]: Taking taylor expansion of z in z 1.168 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.168 * [taylor]: Taking taylor expansion of 0.5 in z 1.169 * [taylor]: Taking taylor expansion of (/ z t) in z 1.169 * [taylor]: Taking taylor expansion of z in z 1.169 * [taylor]: Taking taylor expansion of t in z 1.169 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (* 0.5 (/ z t)))) in z 1.169 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.169 * [taylor]: Taking taylor expansion of (/ y z) in z 1.169 * [taylor]: Taking taylor expansion of y in z 1.169 * [taylor]: Taking taylor expansion of z in z 1.169 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.169 * [taylor]: Taking taylor expansion of 0.5 in z 1.169 * [taylor]: Taking taylor expansion of (/ z t) in z 1.169 * [taylor]: Taking taylor expansion of z in z 1.169 * [taylor]: Taking taylor expansion of t in z 1.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.169 * [taylor]: Taking taylor expansion of y in y 1.169 * [taylor]: Taking taylor expansion of 0 in t 1.169 * [taylor]: Taking taylor expansion of 0 in y 1.169 * [taylor]: Taking taylor expansion of 0 in t 1.169 * [taylor]: Taking taylor expansion of 0 in t 1.169 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t (pow y 2)))) in y 1.169 * [taylor]: Taking taylor expansion of 0.5 in y 1.169 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow y 2))) in y 1.169 * [taylor]: Taking taylor expansion of (* t (pow y 2)) in y 1.170 * [taylor]: Taking taylor expansion of t in y 1.170 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.170 * [taylor]: Taking taylor expansion of y in y 1.170 * [taylor]: Taking taylor expansion of 0 in t 1.170 * [taylor]: Taking taylor expansion of 0 in t 1.170 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2 2) 1.170 * [approximate]: Taking taylor expansion of (* 0.5 (/ t z)) in (t z) around 0 1.170 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.170 * [taylor]: Taking taylor expansion of 0.5 in z 1.170 * [taylor]: Taking taylor expansion of (/ t z) in z 1.170 * [taylor]: Taking taylor expansion of t in z 1.170 * [taylor]: Taking taylor expansion of z in z 1.170 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.170 * [taylor]: Taking taylor expansion of 0.5 in t 1.170 * [taylor]: Taking taylor expansion of (/ t z) in t 1.170 * [taylor]: Taking taylor expansion of t in t 1.170 * [taylor]: Taking taylor expansion of z in t 1.170 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.170 * [taylor]: Taking taylor expansion of 0.5 in t 1.170 * [taylor]: Taking taylor expansion of (/ t z) in t 1.170 * [taylor]: Taking taylor expansion of t in t 1.170 * [taylor]: Taking taylor expansion of z in t 1.170 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z 1.170 * [taylor]: Taking taylor expansion of 0.5 in z 1.170 * [taylor]: Taking taylor expansion of z in z 1.171 * [taylor]: Taking taylor expansion of 0 in z 1.171 * [taylor]: Taking taylor expansion of 0 in z 1.171 * [taylor]: Taking taylor expansion of 0 in z 1.171 * [approximate]: Taking taylor expansion of (* 0.5 (/ z t)) in (t z) around 0 1.171 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.171 * [taylor]: Taking taylor expansion of 0.5 in z 1.171 * [taylor]: Taking taylor expansion of (/ z t) in z 1.171 * [taylor]: Taking taylor expansion of z in z 1.171 * [taylor]: Taking taylor expansion of t in z 1.171 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.171 * [taylor]: Taking taylor expansion of 0.5 in t 1.171 * [taylor]: Taking taylor expansion of (/ z t) in t 1.171 * [taylor]: Taking taylor expansion of z in t 1.171 * [taylor]: Taking taylor expansion of t in t 1.171 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.171 * [taylor]: Taking taylor expansion of 0.5 in t 1.171 * [taylor]: Taking taylor expansion of (/ z t) in t 1.171 * [taylor]: Taking taylor expansion of z in t 1.171 * [taylor]: Taking taylor expansion of t in t 1.172 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 1.172 * [taylor]: Taking taylor expansion of 0.5 in z 1.172 * [taylor]: Taking taylor expansion of z in z 1.172 * [taylor]: Taking taylor expansion of 0 in z 1.172 * [taylor]: Taking taylor expansion of 0 in z 1.172 * [taylor]: Taking taylor expansion of 0 in z 1.172 * [approximate]: Taking taylor expansion of (* 0.5 (/ z t)) in (t z) around 0 1.172 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.172 * [taylor]: Taking taylor expansion of 0.5 in z 1.172 * [taylor]: Taking taylor expansion of (/ z t) in z 1.172 * [taylor]: Taking taylor expansion of z in z 1.172 * [taylor]: Taking taylor expansion of t in z 1.172 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.172 * [taylor]: Taking taylor expansion of 0.5 in t 1.172 * [taylor]: Taking taylor expansion of (/ z t) in t 1.172 * [taylor]: Taking taylor expansion of z in t 1.172 * [taylor]: Taking taylor expansion of t in t 1.172 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.172 * [taylor]: Taking taylor expansion of 0.5 in t 1.172 * [taylor]: Taking taylor expansion of (/ z t) in t 1.172 * [taylor]: Taking taylor expansion of z in t 1.172 * [taylor]: Taking taylor expansion of t in t 1.173 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 1.173 * [taylor]: Taking taylor expansion of 0.5 in z 1.173 * [taylor]: Taking taylor expansion of z in z 1.173 * [taylor]: Taking taylor expansion of 0 in z 1.173 * [taylor]: Taking taylor expansion of 0 in z 1.173 * [taylor]: Taking taylor expansion of 0 in z 1.173 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 1.173 * [approximate]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in (z y t) around 0 1.173 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in t 1.173 * [taylor]: Taking taylor expansion of (/ z y) in t 1.173 * [taylor]: Taking taylor expansion of z in t 1.173 * [taylor]: Taking taylor expansion of y in t 1.173 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.173 * [taylor]: Taking taylor expansion of 0.5 in t 1.173 * [taylor]: Taking taylor expansion of (/ t z) in t 1.173 * [taylor]: Taking taylor expansion of t in t 1.173 * [taylor]: Taking taylor expansion of z in t 1.173 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in y 1.173 * [taylor]: Taking taylor expansion of (/ z y) in y 1.174 * [taylor]: Taking taylor expansion of z in y 1.174 * [taylor]: Taking taylor expansion of y in y 1.174 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y 1.174 * [taylor]: Taking taylor expansion of 0.5 in y 1.174 * [taylor]: Taking taylor expansion of (/ t z) in y 1.174 * [taylor]: Taking taylor expansion of t in y 1.174 * [taylor]: Taking taylor expansion of z in y 1.174 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.174 * [taylor]: Taking taylor expansion of (/ z y) in z 1.174 * [taylor]: Taking taylor expansion of z in z 1.174 * [taylor]: Taking taylor expansion of y in z 1.174 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.174 * [taylor]: Taking taylor expansion of 0.5 in z 1.174 * [taylor]: Taking taylor expansion of (/ t z) in z 1.174 * [taylor]: Taking taylor expansion of t in z 1.174 * [taylor]: Taking taylor expansion of z in z 1.174 * [taylor]: Taking taylor expansion of (- (/ z y) (* 0.5 (/ t z))) in z 1.174 * [taylor]: Taking taylor expansion of (/ z y) in z 1.174 * [taylor]: Taking taylor expansion of z in z 1.174 * [taylor]: Taking taylor expansion of y in z 1.174 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z 1.174 * [taylor]: Taking taylor expansion of 0.5 in z 1.174 * [taylor]: Taking taylor expansion of (/ t z) in z 1.174 * [taylor]: Taking taylor expansion of t in z 1.174 * [taylor]: Taking taylor expansion of z in z 1.174 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in y 1.174 * [taylor]: Taking taylor expansion of (* 0.5 t) in y 1.174 * [taylor]: Taking taylor expansion of 0.5 in y 1.174 * [taylor]: Taking taylor expansion of t in y 1.174 * [taylor]: Taking taylor expansion of 0 in y 1.174 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in t 1.174 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 1.174 * [taylor]: Taking taylor expansion of 0.5 in t 1.174 * [taylor]: Taking taylor expansion of t in t 1.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.175 * [taylor]: Taking taylor expansion of y in y 1.175 * [taylor]: Taking taylor expansion of 1 in t 1.175 * [taylor]: Taking taylor expansion of 0 in t 1.175 * [taylor]: Taking taylor expansion of 0 in t 1.175 * [taylor]: Taking taylor expansion of 0 in y 1.175 * [taylor]: Taking taylor expansion of 0 in t 1.175 * [taylor]: Taking taylor expansion of 0 in t 1.175 * [taylor]: Taking taylor expansion of 0 in t 1.175 * [approximate]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in (z y t) around 0 1.175 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.175 * [taylor]: Taking taylor expansion of (/ y z) in t 1.175 * [taylor]: Taking taylor expansion of y in t 1.175 * [taylor]: Taking taylor expansion of z in t 1.176 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.176 * [taylor]: Taking taylor expansion of 0.5 in t 1.176 * [taylor]: Taking taylor expansion of (/ z t) in t 1.176 * [taylor]: Taking taylor expansion of z in t 1.176 * [taylor]: Taking taylor expansion of t in t 1.176 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.176 * [taylor]: Taking taylor expansion of (/ y z) in y 1.176 * [taylor]: Taking taylor expansion of y in y 1.176 * [taylor]: Taking taylor expansion of z in y 1.176 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.176 * [taylor]: Taking taylor expansion of 0.5 in y 1.176 * [taylor]: Taking taylor expansion of (/ z t) in y 1.176 * [taylor]: Taking taylor expansion of z in y 1.176 * [taylor]: Taking taylor expansion of t in y 1.176 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.176 * [taylor]: Taking taylor expansion of (/ y z) in z 1.176 * [taylor]: Taking taylor expansion of y in z 1.176 * [taylor]: Taking taylor expansion of z in z 1.176 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.176 * [taylor]: Taking taylor expansion of 0.5 in z 1.176 * [taylor]: Taking taylor expansion of (/ z t) in z 1.176 * [taylor]: Taking taylor expansion of z in z 1.176 * [taylor]: Taking taylor expansion of t in z 1.176 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.176 * [taylor]: Taking taylor expansion of (/ y z) in z 1.176 * [taylor]: Taking taylor expansion of y in z 1.176 * [taylor]: Taking taylor expansion of z in z 1.176 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.176 * [taylor]: Taking taylor expansion of 0.5 in z 1.176 * [taylor]: Taking taylor expansion of (/ z t) in z 1.176 * [taylor]: Taking taylor expansion of z in z 1.176 * [taylor]: Taking taylor expansion of t in z 1.176 * [taylor]: Taking taylor expansion of y in y 1.176 * [taylor]: Taking taylor expansion of 0 in t 1.176 * [taylor]: Taking taylor expansion of 0 in y 1.176 * [taylor]: Taking taylor expansion of 0 in t 1.176 * [taylor]: Taking taylor expansion of 1 in t 1.177 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in y 1.177 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y 1.177 * [taylor]: Taking taylor expansion of 0.5 in y 1.177 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.177 * [taylor]: Taking taylor expansion of t in y 1.177 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 1.177 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 1.177 * [taylor]: Taking taylor expansion of 0.5 in t 1.177 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.177 * [taylor]: Taking taylor expansion of t in t 1.177 * [taylor]: Taking taylor expansion of 0 in t 1.177 * [taylor]: Taking taylor expansion of 0 in t 1.177 * [taylor]: Taking taylor expansion of 0 in y 1.177 * [taylor]: Taking taylor expansion of 0 in t 1.177 * [taylor]: Taking taylor expansion of 0 in t 1.177 * [taylor]: Taking taylor expansion of 0 in t 1.177 * [taylor]: Taking taylor expansion of 0 in t 1.178 * [approximate]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in (z y t) around 0 1.178 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in t 1.178 * [taylor]: Taking taylor expansion of (/ y z) in t 1.178 * [taylor]: Taking taylor expansion of y in t 1.178 * [taylor]: Taking taylor expansion of z in t 1.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.178 * [taylor]: Taking taylor expansion of 0.5 in t 1.178 * [taylor]: Taking taylor expansion of (/ z t) in t 1.178 * [taylor]: Taking taylor expansion of z in t 1.178 * [taylor]: Taking taylor expansion of t in t 1.178 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in y 1.178 * [taylor]: Taking taylor expansion of (/ y z) in y 1.178 * [taylor]: Taking taylor expansion of y in y 1.178 * [taylor]: Taking taylor expansion of z in y 1.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y 1.178 * [taylor]: Taking taylor expansion of 0.5 in y 1.178 * [taylor]: Taking taylor expansion of (/ z t) in y 1.178 * [taylor]: Taking taylor expansion of z in y 1.178 * [taylor]: Taking taylor expansion of t in y 1.178 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.178 * [taylor]: Taking taylor expansion of (/ y z) in z 1.178 * [taylor]: Taking taylor expansion of y in z 1.178 * [taylor]: Taking taylor expansion of z in z 1.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.178 * [taylor]: Taking taylor expansion of 0.5 in z 1.178 * [taylor]: Taking taylor expansion of (/ z t) in z 1.178 * [taylor]: Taking taylor expansion of z in z 1.178 * [taylor]: Taking taylor expansion of t in z 1.178 * [taylor]: Taking taylor expansion of (- (/ y z) (* 0.5 (/ z t))) in z 1.178 * [taylor]: Taking taylor expansion of (/ y z) in z 1.178 * [taylor]: Taking taylor expansion of y in z 1.178 * [taylor]: Taking taylor expansion of z in z 1.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z 1.178 * [taylor]: Taking taylor expansion of 0.5 in z 1.178 * [taylor]: Taking taylor expansion of (/ z t) in z 1.178 * [taylor]: Taking taylor expansion of z in z 1.178 * [taylor]: Taking taylor expansion of t in z 1.178 * [taylor]: Taking taylor expansion of y in y 1.178 * [taylor]: Taking taylor expansion of 0 in t 1.179 * [taylor]: Taking taylor expansion of 0 in y 1.179 * [taylor]: Taking taylor expansion of 0 in t 1.179 * [taylor]: Taking taylor expansion of 1 in t 1.179 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in y 1.179 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y 1.179 * [taylor]: Taking taylor expansion of 0.5 in y 1.179 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.179 * [taylor]: Taking taylor expansion of t in y 1.179 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 1.179 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 1.179 * [taylor]: Taking taylor expansion of 0.5 in t 1.179 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.179 * [taylor]: Taking taylor expansion of t in t 1.179 * [taylor]: Taking taylor expansion of 0 in t 1.179 * [taylor]: Taking taylor expansion of 0 in t 1.179 * [taylor]: Taking taylor expansion of 0 in y 1.179 * [taylor]: Taking taylor expansion of 0 in t 1.179 * [taylor]: Taking taylor expansion of 0 in t 1.179 * [taylor]: Taking taylor expansion of 0 in t 1.180 * [taylor]: Taking taylor expansion of 0 in t 1.180 * * * [progress]: simplifying candidates 1.181 * [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.231 * * [simplify]: iteration 0 : 4973 enodes (cost 950 ) 1.232 * * [simplify]: iteration 1 : 4973 enodes (cost 950 ) 1.235 * [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.236 * * * [progress]: adding candidates to table 1.319 * * [progress]: iteration 4 / 4 1.319 * * * [progress]: picking best candidate 1.322 * * * * [pick]: Picked # 1.322 * * * [progress]: localizing error 1.330 * * * [progress]: generating rewritten candidates 1.330 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 1.336 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2 2) 1.341 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 1.348 * * * [progress]: generating series expansions 1.348 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 1.348 * [approximate]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in (y z t) around 0 1.348 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in t 1.348 * [taylor]: Taking taylor expansion of y in t 1.348 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in t 1.348 * [taylor]: Taking taylor expansion of z in t 1.348 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 1.348 * [taylor]: Taking taylor expansion of 0.5 in t 1.348 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 1.348 * [taylor]: Taking taylor expansion of (* t y) in t 1.348 * [taylor]: Taking taylor expansion of t in t 1.348 * [taylor]: Taking taylor expansion of y in t 1.348 * [taylor]: Taking taylor expansion of z in t 1.348 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in z 1.348 * [taylor]: Taking taylor expansion of y in z 1.348 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 1.348 * [taylor]: Taking taylor expansion of z in z 1.348 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 1.348 * [taylor]: Taking taylor expansion of 0.5 in z 1.348 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 1.348 * [taylor]: Taking taylor expansion of (* t y) in z 1.348 * [taylor]: Taking taylor expansion of t in z 1.348 * [taylor]: Taking taylor expansion of y in z 1.348 * [taylor]: Taking taylor expansion of z in z 1.349 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in y 1.349 * [taylor]: Taking taylor expansion of y in y 1.349 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 1.349 * [taylor]: Taking taylor expansion of z in y 1.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 1.349 * [taylor]: Taking taylor expansion of 0.5 in y 1.349 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 1.349 * [taylor]: Taking taylor expansion of (* t y) in y 1.349 * [taylor]: Taking taylor expansion of t in y 1.349 * [taylor]: Taking taylor expansion of y in y 1.349 * [taylor]: Taking taylor expansion of z in y 1.349 * [taylor]: Taking taylor expansion of (/ y (- z (* 0.5 (/ (* t y) z)))) in y 1.349 * [taylor]: Taking taylor expansion of y in y 1.349 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 1.349 * [taylor]: Taking taylor expansion of z in y 1.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 1.349 * [taylor]: Taking taylor expansion of 0.5 in y 1.349 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 1.349 * [taylor]: Taking taylor expansion of (* t y) in y 1.349 * [taylor]: Taking taylor expansion of t in y 1.349 * [taylor]: Taking taylor expansion of y in y 1.349 * [taylor]: Taking taylor expansion of z in y 1.349 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.349 * [taylor]: Taking taylor expansion of z in z 1.349 * [taylor]: Taking taylor expansion of 0 in t 1.350 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow z 3))) in z 1.350 * [taylor]: Taking taylor expansion of 0.5 in z 1.350 * [taylor]: Taking taylor expansion of (/ t (pow z 3)) in z 1.350 * [taylor]: Taking taylor expansion of t in z 1.350 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.350 * [taylor]: Taking taylor expansion of z in z 1.350 * [taylor]: Taking taylor expansion of 0 in t 1.350 * [taylor]: Taking taylor expansion of 0 in t 1.351 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow t 2) (pow z 5))) in z 1.351 * [taylor]: Taking taylor expansion of 0.25 in z 1.351 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 5)) in z 1.351 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.351 * [taylor]: Taking taylor expansion of t in z 1.351 * [taylor]: Taking taylor expansion of (pow z 5) in z 1.351 * [taylor]: Taking taylor expansion of z in z 1.353 * [taylor]: Taking taylor expansion of 0 in t 1.353 * [taylor]: Taking taylor expansion of 0 in t 1.353 * [approximate]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in (y z t) around 0 1.353 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in t 1.353 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in t 1.353 * [taylor]: Taking taylor expansion of y in t 1.353 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in t 1.353 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.354 * [taylor]: Taking taylor expansion of z in t 1.354 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 1.354 * [taylor]: Taking taylor expansion of 0.5 in t 1.354 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.354 * [taylor]: Taking taylor expansion of z in t 1.354 * [taylor]: Taking taylor expansion of (* t y) in t 1.354 * [taylor]: Taking taylor expansion of t in t 1.354 * [taylor]: Taking taylor expansion of y in t 1.354 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in z 1.354 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in z 1.354 * [taylor]: Taking taylor expansion of y in z 1.354 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 1.354 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.354 * [taylor]: Taking taylor expansion of z in z 1.354 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.354 * [taylor]: Taking taylor expansion of 0.5 in z 1.354 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.354 * [taylor]: Taking taylor expansion of z in z 1.354 * [taylor]: Taking taylor expansion of (* t y) in z 1.354 * [taylor]: Taking taylor expansion of t in z 1.354 * [taylor]: Taking taylor expansion of y in z 1.354 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in y 1.354 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in y 1.354 * [taylor]: Taking taylor expansion of y in y 1.354 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 1.354 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.354 * [taylor]: Taking taylor expansion of z in y 1.354 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.354 * [taylor]: Taking taylor expansion of 0.5 in y 1.354 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.354 * [taylor]: Taking taylor expansion of z in y 1.354 * [taylor]: Taking taylor expansion of (* t y) in y 1.354 * [taylor]: Taking taylor expansion of t in y 1.354 * [taylor]: Taking taylor expansion of y in y 1.355 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 z) (* 0.5 (/ z (* t y)))))) in y 1.355 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (* 0.5 (/ z (* t y))))) in y 1.355 * [taylor]: Taking taylor expansion of y in y 1.355 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 1.355 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.355 * [taylor]: Taking taylor expansion of z in y 1.355 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.355 * [taylor]: Taking taylor expansion of 0.5 in y 1.355 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.355 * [taylor]: Taking taylor expansion of z in y 1.355 * [taylor]: Taking taylor expansion of (* t y) in y 1.355 * [taylor]: Taking taylor expansion of t in y 1.355 * [taylor]: Taking taylor expansion of y in y 1.356 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z 1.356 * [taylor]: Taking taylor expansion of -2.0 in z 1.356 * [taylor]: Taking taylor expansion of (/ t z) in z 1.356 * [taylor]: Taking taylor expansion of t in z 1.356 * [taylor]: Taking taylor expansion of z in z 1.356 * [taylor]: Taking taylor expansion of 0 in t 1.356 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ (pow t 2) (pow z 3)))) in z 1.356 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z 1.357 * [taylor]: Taking taylor expansion of 4.0 in z 1.357 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z 1.357 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.357 * [taylor]: Taking taylor expansion of t in z 1.357 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.357 * [taylor]: Taking taylor expansion of z in z 1.358 * [taylor]: Taking taylor expansion of 0 in t 1.358 * [taylor]: Taking taylor expansion of 0 in t 1.358 * [taylor]: Taking taylor expansion of (neg (* 8.0 (/ (pow t 3) (pow z 5)))) in z 1.359 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z 1.359 * [taylor]: Taking taylor expansion of 8.0 in z 1.359 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z 1.359 * [taylor]: Taking taylor expansion of (pow t 3) in z 1.359 * [taylor]: Taking taylor expansion of t in z 1.359 * [taylor]: Taking taylor expansion of (pow z 5) in z 1.359 * [taylor]: Taking taylor expansion of z in z 1.361 * [taylor]: Taking taylor expansion of 0 in t 1.362 * [taylor]: Taking taylor expansion of 0 in t 1.362 * [approximate]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in (y z t) around 0 1.362 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in t 1.362 * [taylor]: Taking taylor expansion of -1 in t 1.362 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in t 1.362 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in t 1.362 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 1.362 * [taylor]: Taking taylor expansion of 0.5 in t 1.362 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.362 * [taylor]: Taking taylor expansion of z in t 1.362 * [taylor]: Taking taylor expansion of (* t y) in t 1.362 * [taylor]: Taking taylor expansion of t in t 1.362 * [taylor]: Taking taylor expansion of y in t 1.362 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.362 * [taylor]: Taking taylor expansion of z in t 1.362 * [taylor]: Taking taylor expansion of y in t 1.362 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in z 1.362 * [taylor]: Taking taylor expansion of -1 in z 1.362 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in z 1.362 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 1.362 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.362 * [taylor]: Taking taylor expansion of 0.5 in z 1.362 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.362 * [taylor]: Taking taylor expansion of z in z 1.362 * [taylor]: Taking taylor expansion of (* t y) in z 1.362 * [taylor]: Taking taylor expansion of t in z 1.362 * [taylor]: Taking taylor expansion of y in z 1.362 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.363 * [taylor]: Taking taylor expansion of z in z 1.363 * [taylor]: Taking taylor expansion of y in z 1.363 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in y 1.363 * [taylor]: Taking taylor expansion of -1 in y 1.363 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in y 1.363 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 1.363 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.363 * [taylor]: Taking taylor expansion of 0.5 in y 1.363 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.363 * [taylor]: Taking taylor expansion of z in y 1.363 * [taylor]: Taking taylor expansion of (* t y) in y 1.363 * [taylor]: Taking taylor expansion of t in y 1.363 * [taylor]: Taking taylor expansion of y in y 1.363 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.363 * [taylor]: Taking taylor expansion of z in y 1.363 * [taylor]: Taking taylor expansion of y in y 1.363 * [taylor]: Taking taylor expansion of (/ -1 (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y)) in y 1.363 * [taylor]: Taking taylor expansion of -1 in y 1.363 * [taylor]: Taking taylor expansion of (* (- (* 0.5 (/ z (* t y))) (/ 1 z)) y) in y 1.363 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 1.363 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.363 * [taylor]: Taking taylor expansion of 0.5 in y 1.363 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.363 * [taylor]: Taking taylor expansion of z in y 1.363 * [taylor]: Taking taylor expansion of (* t y) in y 1.363 * [taylor]: Taking taylor expansion of t in y 1.363 * [taylor]: Taking taylor expansion of y in y 1.364 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.364 * [taylor]: Taking taylor expansion of z in y 1.364 * [taylor]: Taking taylor expansion of y in y 1.364 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z 1.364 * [taylor]: Taking taylor expansion of -2.0 in z 1.364 * [taylor]: Taking taylor expansion of (/ t z) in z 1.364 * [taylor]: Taking taylor expansion of t in z 1.364 * [taylor]: Taking taylor expansion of z in z 1.364 * [taylor]: Taking taylor expansion of 0 in t 1.365 * [taylor]: Taking taylor expansion of (neg (* 4.0 (/ (pow t 2) (pow z 3)))) in z 1.365 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z 1.365 * [taylor]: Taking taylor expansion of 4.0 in z 1.365 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z 1.365 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.365 * [taylor]: Taking taylor expansion of t in z 1.365 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.365 * [taylor]: Taking taylor expansion of z in z 1.366 * [taylor]: Taking taylor expansion of 0 in t 1.366 * [taylor]: Taking taylor expansion of 0 in t 1.367 * [taylor]: Taking taylor expansion of (neg (* 8.0 (/ (pow t 3) (pow z 5)))) in z 1.367 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z 1.367 * [taylor]: Taking taylor expansion of 8.0 in z 1.367 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z 1.367 * [taylor]: Taking taylor expansion of (pow t 3) in z 1.367 * [taylor]: Taking taylor expansion of t in z 1.367 * [taylor]: Taking taylor expansion of (pow z 5) in z 1.367 * [taylor]: Taking taylor expansion of z in z 1.369 * [taylor]: Taking taylor expansion of 0 in t 1.370 * [taylor]: Taking taylor expansion of 0 in t 1.370 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2 2) 1.370 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in (y t z) around 0 1.370 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 1.370 * [taylor]: Taking taylor expansion of 0.5 in z 1.370 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 1.370 * [taylor]: Taking taylor expansion of (* t y) in z 1.370 * [taylor]: Taking taylor expansion of t in z 1.370 * [taylor]: Taking taylor expansion of y in z 1.370 * [taylor]: Taking taylor expansion of z in z 1.370 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 1.370 * [taylor]: Taking taylor expansion of 0.5 in t 1.370 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 1.370 * [taylor]: Taking taylor expansion of (* t y) in t 1.370 * [taylor]: Taking taylor expansion of t in t 1.370 * [taylor]: Taking taylor expansion of y in t 1.370 * [taylor]: Taking taylor expansion of z in t 1.370 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 1.370 * [taylor]: Taking taylor expansion of 0.5 in y 1.370 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 1.370 * [taylor]: Taking taylor expansion of (* t y) in y 1.370 * [taylor]: Taking taylor expansion of t in y 1.370 * [taylor]: Taking taylor expansion of y in y 1.370 * [taylor]: Taking taylor expansion of z in y 1.371 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 1.371 * [taylor]: Taking taylor expansion of 0.5 in y 1.371 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 1.371 * [taylor]: Taking taylor expansion of (* t y) in y 1.371 * [taylor]: Taking taylor expansion of t in y 1.371 * [taylor]: Taking taylor expansion of y in y 1.371 * [taylor]: Taking taylor expansion of z in y 1.371 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t 1.371 * [taylor]: Taking taylor expansion of 0.5 in t 1.371 * [taylor]: Taking taylor expansion of (/ t z) in t 1.371 * [taylor]: Taking taylor expansion of t in t 1.371 * [taylor]: Taking taylor expansion of z in t 1.371 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z 1.371 * [taylor]: Taking taylor expansion of 0.5 in z 1.371 * [taylor]: Taking taylor expansion of z in z 1.371 * [taylor]: Taking taylor expansion of 0 in t 1.371 * [taylor]: Taking taylor expansion of 0 in z 1.371 * [taylor]: Taking taylor expansion of 0 in z 1.371 * [taylor]: Taking taylor expansion of 0 in t 1.371 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [taylor]: Taking taylor expansion of 0 in t 1.372 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [approximate]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in (y t z) around 0 1.372 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.372 * [taylor]: Taking taylor expansion of 0.5 in z 1.372 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.372 * [taylor]: Taking taylor expansion of z in z 1.372 * [taylor]: Taking taylor expansion of (* t y) in z 1.372 * [taylor]: Taking taylor expansion of t in z 1.372 * [taylor]: Taking taylor expansion of y in z 1.373 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 1.373 * [taylor]: Taking taylor expansion of 0.5 in t 1.373 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.373 * [taylor]: Taking taylor expansion of z in t 1.373 * [taylor]: Taking taylor expansion of (* t y) in t 1.373 * [taylor]: Taking taylor expansion of t in t 1.373 * [taylor]: Taking taylor expansion of y in t 1.373 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.373 * [taylor]: Taking taylor expansion of 0.5 in y 1.373 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.373 * [taylor]: Taking taylor expansion of z in y 1.373 * [taylor]: Taking taylor expansion of (* t y) in y 1.373 * [taylor]: Taking taylor expansion of t in y 1.373 * [taylor]: Taking taylor expansion of y in y 1.373 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.373 * [taylor]: Taking taylor expansion of 0.5 in y 1.373 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.373 * [taylor]: Taking taylor expansion of z in y 1.373 * [taylor]: Taking taylor expansion of (* t y) in y 1.373 * [taylor]: Taking taylor expansion of t in y 1.373 * [taylor]: Taking taylor expansion of y in y 1.373 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t 1.373 * [taylor]: Taking taylor expansion of 0.5 in t 1.373 * [taylor]: Taking taylor expansion of (/ z t) in t 1.373 * [taylor]: Taking taylor expansion of z in t 1.373 * [taylor]: Taking taylor expansion of t in t 1.373 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 1.373 * [taylor]: Taking taylor expansion of 0.5 in z 1.373 * [taylor]: Taking taylor expansion of z in z 1.373 * [taylor]: Taking taylor expansion of 0 in t 1.374 * [taylor]: Taking taylor expansion of 0 in z 1.374 * [taylor]: Taking taylor expansion of 0 in t 1.374 * [taylor]: Taking taylor expansion of 0 in z 1.374 * [taylor]: Taking taylor expansion of 0 in z 1.374 * [approximate]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in (y t z) around 0 1.374 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in z 1.374 * [taylor]: Taking taylor expansion of -0.5 in z 1.374 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.374 * [taylor]: Taking taylor expansion of z in z 1.374 * [taylor]: Taking taylor expansion of (* t y) in z 1.374 * [taylor]: Taking taylor expansion of t in z 1.374 * [taylor]: Taking taylor expansion of y in z 1.374 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in t 1.374 * [taylor]: Taking taylor expansion of -0.5 in t 1.374 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.374 * [taylor]: Taking taylor expansion of z in t 1.374 * [taylor]: Taking taylor expansion of (* t y) in t 1.374 * [taylor]: Taking taylor expansion of t in t 1.374 * [taylor]: Taking taylor expansion of y in t 1.375 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in y 1.375 * [taylor]: Taking taylor expansion of -0.5 in y 1.375 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.375 * [taylor]: Taking taylor expansion of z in y 1.375 * [taylor]: Taking taylor expansion of (* t y) in y 1.375 * [taylor]: Taking taylor expansion of t in y 1.375 * [taylor]: Taking taylor expansion of y in y 1.375 * [taylor]: Taking taylor expansion of (* -0.5 (/ z (* t y))) in y 1.375 * [taylor]: Taking taylor expansion of -0.5 in y 1.375 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.375 * [taylor]: Taking taylor expansion of z in y 1.375 * [taylor]: Taking taylor expansion of (* t y) in y 1.375 * [taylor]: Taking taylor expansion of t in y 1.375 * [taylor]: Taking taylor expansion of y in y 1.375 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in t 1.375 * [taylor]: Taking taylor expansion of -0.5 in t 1.375 * [taylor]: Taking taylor expansion of (/ z t) in t 1.375 * [taylor]: Taking taylor expansion of z in t 1.375 * [taylor]: Taking taylor expansion of t in t 1.375 * [taylor]: Taking taylor expansion of (* -0.5 z) in z 1.375 * [taylor]: Taking taylor expansion of -0.5 in z 1.375 * [taylor]: Taking taylor expansion of z in z 1.375 * [taylor]: Taking taylor expansion of 0 in t 1.375 * [taylor]: Taking taylor expansion of 0 in z 1.376 * [taylor]: Taking taylor expansion of 0 in t 1.376 * [taylor]: Taking taylor expansion of 0 in z 1.376 * [taylor]: Taking taylor expansion of 0 in z 1.376 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 1.376 * [approximate]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in (z y t) around 0 1.376 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in t 1.376 * [taylor]: Taking taylor expansion of z in t 1.376 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in t 1.376 * [taylor]: Taking taylor expansion of 0.5 in t 1.376 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t 1.376 * [taylor]: Taking taylor expansion of (* t y) in t 1.376 * [taylor]: Taking taylor expansion of t in t 1.376 * [taylor]: Taking taylor expansion of y in t 1.376 * [taylor]: Taking taylor expansion of z in t 1.376 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in y 1.376 * [taylor]: Taking taylor expansion of z in y 1.376 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in y 1.376 * [taylor]: Taking taylor expansion of 0.5 in y 1.376 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y 1.376 * [taylor]: Taking taylor expansion of (* t y) in y 1.376 * [taylor]: Taking taylor expansion of t in y 1.376 * [taylor]: Taking taylor expansion of y in y 1.376 * [taylor]: Taking taylor expansion of z in y 1.377 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 1.377 * [taylor]: Taking taylor expansion of z in z 1.377 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 1.377 * [taylor]: Taking taylor expansion of 0.5 in z 1.377 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 1.377 * [taylor]: Taking taylor expansion of (* t y) in z 1.377 * [taylor]: Taking taylor expansion of t in z 1.377 * [taylor]: Taking taylor expansion of y in z 1.377 * [taylor]: Taking taylor expansion of z in z 1.377 * [taylor]: Taking taylor expansion of (- z (* 0.5 (/ (* t y) z))) in z 1.377 * [taylor]: Taking taylor expansion of z in z 1.377 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* t y) z)) in z 1.377 * [taylor]: Taking taylor expansion of 0.5 in z 1.377 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z 1.377 * [taylor]: Taking taylor expansion of (* t y) in z 1.377 * [taylor]: Taking taylor expansion of t in z 1.377 * [taylor]: Taking taylor expansion of y in z 1.377 * [taylor]: Taking taylor expansion of z in z 1.377 * [taylor]: Taking taylor expansion of (neg (* 0.5 (* t y))) in y 1.377 * [taylor]: Taking taylor expansion of (* 0.5 (* t y)) in y 1.377 * [taylor]: Taking taylor expansion of 0.5 in y 1.377 * [taylor]: Taking taylor expansion of (* t y) in y 1.377 * [taylor]: Taking taylor expansion of t in y 1.377 * [taylor]: Taking taylor expansion of y in y 1.377 * [taylor]: Taking taylor expansion of 0 in t 1.377 * [taylor]: Taking taylor expansion of 0 in y 1.377 * [taylor]: Taking taylor expansion of 0 in t 1.377 * [taylor]: Taking taylor expansion of (neg (* 0.5 t)) in t 1.377 * [taylor]: Taking taylor expansion of (* 0.5 t) in t 1.377 * [taylor]: Taking taylor expansion of 0.5 in t 1.377 * [taylor]: Taking taylor expansion of t in t 1.378 * [taylor]: Taking taylor expansion of 1 in y 1.378 * [taylor]: Taking taylor expansion of 1 in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of 0 in y 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.379 * [approximate]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in (z y t) around 0 1.379 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in t 1.379 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.379 * [taylor]: Taking taylor expansion of z in t 1.379 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 1.379 * [taylor]: Taking taylor expansion of 0.5 in t 1.379 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.379 * [taylor]: Taking taylor expansion of z in t 1.379 * [taylor]: Taking taylor expansion of (* t y) in t 1.379 * [taylor]: Taking taylor expansion of t in t 1.379 * [taylor]: Taking taylor expansion of y in t 1.379 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in y 1.379 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.379 * [taylor]: Taking taylor expansion of z in y 1.379 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.379 * [taylor]: Taking taylor expansion of 0.5 in y 1.379 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.379 * [taylor]: Taking taylor expansion of z in y 1.379 * [taylor]: Taking taylor expansion of (* t y) in y 1.379 * [taylor]: Taking taylor expansion of t in y 1.379 * [taylor]: Taking taylor expansion of y in y 1.379 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 1.379 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.379 * [taylor]: Taking taylor expansion of z in z 1.379 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.379 * [taylor]: Taking taylor expansion of 0.5 in z 1.379 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.379 * [taylor]: Taking taylor expansion of z in z 1.379 * [taylor]: Taking taylor expansion of (* t y) in z 1.379 * [taylor]: Taking taylor expansion of t in z 1.379 * [taylor]: Taking taylor expansion of y in z 1.379 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 0.5 (/ z (* t y)))) in z 1.379 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.379 * [taylor]: Taking taylor expansion of z in z 1.379 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.379 * [taylor]: Taking taylor expansion of 0.5 in z 1.379 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.379 * [taylor]: Taking taylor expansion of z in z 1.379 * [taylor]: Taking taylor expansion of (* t y) in z 1.379 * [taylor]: Taking taylor expansion of t in z 1.379 * [taylor]: Taking taylor expansion of y in z 1.380 * [taylor]: Taking taylor expansion of 1 in y 1.380 * [taylor]: Taking taylor expansion of 0 in y 1.380 * [taylor]: Taking taylor expansion of 1 in t 1.380 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 (* t y)))) in y 1.380 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t y))) in y 1.380 * [taylor]: Taking taylor expansion of 0.5 in y 1.380 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 1.380 * [taylor]: Taking taylor expansion of (* t y) in y 1.380 * [taylor]: Taking taylor expansion of t in y 1.380 * [taylor]: Taking taylor expansion of y in y 1.380 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 t))) in t 1.380 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t 1.380 * [taylor]: Taking taylor expansion of 0.5 in t 1.380 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.380 * [taylor]: Taking taylor expansion of t in t 1.380 * [taylor]: Taking taylor expansion of 0 in t 1.380 * [taylor]: Taking taylor expansion of 0 in t 1.380 * [taylor]: Taking taylor expansion of 0 in y 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in y 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.382 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in (z y t) around 0 1.382 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in t 1.382 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in t 1.382 * [taylor]: Taking taylor expansion of 0.5 in t 1.382 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t 1.382 * [taylor]: Taking taylor expansion of z in t 1.382 * [taylor]: Taking taylor expansion of (* t y) in t 1.382 * [taylor]: Taking taylor expansion of t in t 1.382 * [taylor]: Taking taylor expansion of y in t 1.382 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.382 * [taylor]: Taking taylor expansion of z in t 1.382 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in y 1.382 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in y 1.382 * [taylor]: Taking taylor expansion of 0.5 in y 1.382 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 1.382 * [taylor]: Taking taylor expansion of z in y 1.382 * [taylor]: Taking taylor expansion of (* t y) in y 1.382 * [taylor]: Taking taylor expansion of t in y 1.382 * [taylor]: Taking taylor expansion of y in y 1.382 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.382 * [taylor]: Taking taylor expansion of z in y 1.382 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 1.382 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.382 * [taylor]: Taking taylor expansion of 0.5 in z 1.382 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.382 * [taylor]: Taking taylor expansion of z in z 1.382 * [taylor]: Taking taylor expansion of (* t y) in z 1.382 * [taylor]: Taking taylor expansion of t in z 1.382 * [taylor]: Taking taylor expansion of y in z 1.383 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.383 * [taylor]: Taking taylor expansion of z in z 1.383 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z (* t y))) (/ 1 z)) in z 1.383 * [taylor]: Taking taylor expansion of (* 0.5 (/ z (* t y))) in z 1.383 * [taylor]: Taking taylor expansion of 0.5 in z 1.383 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z 1.383 * [taylor]: Taking taylor expansion of z in z 1.383 * [taylor]: Taking taylor expansion of (* t y) in z 1.383 * [taylor]: Taking taylor expansion of t in z 1.383 * [taylor]: Taking taylor expansion of y in z 1.383 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.383 * [taylor]: Taking taylor expansion of z in z 1.383 * [taylor]: Taking taylor expansion of (neg 1) in y 1.383 * [taylor]: Taking taylor expansion of 1 in y 1.383 * [taylor]: Taking taylor expansion of 0 in y 1.383 * [taylor]: Taking taylor expansion of (neg 1) in t 1.383 * [taylor]: Taking taylor expansion of 1 in t 1.383 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t y))) in y 1.383 * [taylor]: Taking taylor expansion of 0.5 in y 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 1.383 * [taylor]: Taking taylor expansion of (* t y) in y 1.383 * [taylor]: Taking taylor expansion of t in y 1.383 * [taylor]: Taking taylor expansion of y in y 1.383 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t 1.383 * [taylor]: Taking taylor expansion of 0.5 in t 1.383 * [taylor]: Taking taylor expansion of t in t 1.383 * [taylor]: Taking taylor expansion of 0 in t 1.383 * [taylor]: Taking taylor expansion of 0 in t 1.384 * [taylor]: Taking taylor expansion of 0 in y 1.384 * [taylor]: Taking taylor expansion of 0 in t 1.384 * [taylor]: Taking taylor expansion of 0 in t 1.384 * [taylor]: Taking taylor expansion of 0 in t 1.384 * [taylor]: Taking taylor expansion of 0 in y 1.384 * [taylor]: Taking taylor expansion of 0 in t 1.384 * [taylor]: Taking taylor expansion of 0 in t 1.384 * [taylor]: Taking taylor expansion of 0 in t 1.384 * [taylor]: Taking taylor expansion of 0 in t 1.385 * * * [progress]: simplifying candidates 1.386 * [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.424 * * [simplify]: iteration 0 : 5004 enodes (cost 1054 ) 1.430 * [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.431 * * * [progress]: adding candidates to table 1.508 * [progress]: [Phase 3 of 3] Extracting. 1.508 * * [regime]: Finding splitpoints for: (# # #) 1.509 * * * [regime-changes]: Trying 4 branch expressions: (t z y x) 1.509 * * * * [regimes]: Trying to branch on t from (# # #) 1.558 * * * * [regimes]: Trying to branch on z from (# # #) 1.607 * * * * [regimes]: Trying to branch on y from (# # #) 1.655 * * * * [regimes]: Trying to branch on x from (# # #) 1.705 * * * [regime]: Found split indices: #