26.777 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (* x (/ (* (/ y z) t) t)) 0.021 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.023 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 0.025 * * [simplify]: iteration 2 : 40 enodes (cost 7 ) 0.033 * * [simplify]: iteration 3 : 98 enodes (cost 5 ) 0.083 * * [simplify]: iteration 4 : 411 enodes (cost 5 ) 1.649 * * [simplify]: iteration 5 : 2432 enodes (cost 5 ) 8.675 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 8.675 * [simplify]: Simplified to: (* x (/ y z)) 8.678 * * [progress]: iteration 1 / 4 8.678 * * * [progress]: picking best candidate 8.681 * * * * [pick]: Picked # 8.681 * * * [progress]: localizing error 8.685 * * * [progress]: generating rewritten candidates 8.685 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.694 * * * [progress]: generating series expansions 8.694 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.694 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 8.694 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 8.694 * [taylor]: Taking taylor expansion of (* x y) in z 8.694 * [taylor]: Taking taylor expansion of x in z 8.694 * [taylor]: Taking taylor expansion of y in z 8.694 * [taylor]: Taking taylor expansion of z in z 8.694 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 8.694 * [taylor]: Taking taylor expansion of (* x y) in y 8.694 * [taylor]: Taking taylor expansion of x in y 8.694 * [taylor]: Taking taylor expansion of y in y 8.694 * [taylor]: Taking taylor expansion of z in y 8.695 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.695 * [taylor]: Taking taylor expansion of (* x y) in x 8.695 * [taylor]: Taking taylor expansion of x in x 8.695 * [taylor]: Taking taylor expansion of y in x 8.695 * [taylor]: Taking taylor expansion of z in x 8.695 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.695 * [taylor]: Taking taylor expansion of (* x y) in x 8.695 * [taylor]: Taking taylor expansion of x in x 8.695 * [taylor]: Taking taylor expansion of y in x 8.695 * [taylor]: Taking taylor expansion of z in x 8.696 * [taylor]: Taking taylor expansion of (/ y z) in y 8.696 * [taylor]: Taking taylor expansion of y in y 8.696 * [taylor]: Taking taylor expansion of z in y 8.696 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.696 * [taylor]: Taking taylor expansion of z in z 8.697 * [taylor]: Taking taylor expansion of 0 in y 8.697 * [taylor]: Taking taylor expansion of 0 in z 8.697 * [taylor]: Taking taylor expansion of 0 in z 8.698 * [taylor]: Taking taylor expansion of 0 in y 8.698 * [taylor]: Taking taylor expansion of 0 in z 8.698 * [taylor]: Taking taylor expansion of 0 in z 8.699 * [taylor]: Taking taylor expansion of 0 in z 8.700 * [taylor]: Taking taylor expansion of 0 in y 8.700 * [taylor]: Taking taylor expansion of 0 in z 8.700 * [taylor]: Taking taylor expansion of 0 in z 8.700 * [taylor]: Taking taylor expansion of 0 in z 8.701 * [taylor]: Taking taylor expansion of 0 in z 8.701 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 8.701 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.701 * [taylor]: Taking taylor expansion of z in z 8.701 * [taylor]: Taking taylor expansion of (* x y) in z 8.701 * [taylor]: Taking taylor expansion of x in z 8.701 * [taylor]: Taking taylor expansion of y in z 8.701 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.701 * [taylor]: Taking taylor expansion of z in y 8.701 * [taylor]: Taking taylor expansion of (* x y) in y 8.701 * [taylor]: Taking taylor expansion of x in y 8.701 * [taylor]: Taking taylor expansion of y in y 8.702 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.702 * [taylor]: Taking taylor expansion of z in x 8.702 * [taylor]: Taking taylor expansion of (* x y) in x 8.702 * [taylor]: Taking taylor expansion of x in x 8.702 * [taylor]: Taking taylor expansion of y in x 8.702 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.702 * [taylor]: Taking taylor expansion of z in x 8.702 * [taylor]: Taking taylor expansion of (* x y) in x 8.702 * [taylor]: Taking taylor expansion of x in x 8.702 * [taylor]: Taking taylor expansion of y in x 8.703 * [taylor]: Taking taylor expansion of (/ z y) in y 8.703 * [taylor]: Taking taylor expansion of z in y 8.703 * [taylor]: Taking taylor expansion of y in y 8.703 * [taylor]: Taking taylor expansion of z in z 8.704 * [taylor]: Taking taylor expansion of 0 in y 8.704 * [taylor]: Taking taylor expansion of 0 in z 8.705 * [taylor]: Taking taylor expansion of 0 in y 8.705 * [taylor]: Taking taylor expansion of 0 in z 8.706 * [taylor]: Taking taylor expansion of 0 in z 8.707 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 8.707 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 8.707 * [taylor]: Taking taylor expansion of -1 in z 8.707 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.707 * [taylor]: Taking taylor expansion of z in z 8.707 * [taylor]: Taking taylor expansion of (* x y) in z 8.707 * [taylor]: Taking taylor expansion of x in z 8.707 * [taylor]: Taking taylor expansion of y in z 8.707 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 8.707 * [taylor]: Taking taylor expansion of -1 in y 8.707 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.707 * [taylor]: Taking taylor expansion of z in y 8.707 * [taylor]: Taking taylor expansion of (* x y) in y 8.707 * [taylor]: Taking taylor expansion of x in y 8.707 * [taylor]: Taking taylor expansion of y in y 8.708 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 8.708 * [taylor]: Taking taylor expansion of -1 in x 8.708 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.708 * [taylor]: Taking taylor expansion of z in x 8.708 * [taylor]: Taking taylor expansion of (* x y) in x 8.708 * [taylor]: Taking taylor expansion of x in x 8.708 * [taylor]: Taking taylor expansion of y in x 8.709 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 8.709 * [taylor]: Taking taylor expansion of -1 in x 8.709 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.709 * [taylor]: Taking taylor expansion of z in x 8.709 * [taylor]: Taking taylor expansion of (* x y) in x 8.709 * [taylor]: Taking taylor expansion of x in x 8.709 * [taylor]: Taking taylor expansion of y in x 8.709 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 8.709 * [taylor]: Taking taylor expansion of -1 in y 8.709 * [taylor]: Taking taylor expansion of (/ z y) in y 8.709 * [taylor]: Taking taylor expansion of z in y 8.709 * [taylor]: Taking taylor expansion of y in y 8.710 * [taylor]: Taking taylor expansion of (* -1 z) in z 8.710 * [taylor]: Taking taylor expansion of -1 in z 8.710 * [taylor]: Taking taylor expansion of z in z 8.712 * [taylor]: Taking taylor expansion of 0 in y 8.712 * [taylor]: Taking taylor expansion of 0 in z 8.715 * [taylor]: Taking taylor expansion of 0 in y 8.715 * [taylor]: Taking taylor expansion of 0 in z 8.716 * [taylor]: Taking taylor expansion of 0 in z 8.717 * * * [progress]: simplifying candidates 8.718 * [simplify]: Simplifying using # : (expm1 (* x (/ y z))) (log1p (* x (/ y z))) (* x (/ y z)) (+ (log x) (- (log y) (log z))) (+ (log x) (log (/ y z))) (log (* x (/ y z))) (exp (* x (/ y z))) (* (* (* x x) x) (/ (* (* y y) y) (* (* z z) z))) (* (* (* x x) x) (* (* (/ y z) (/ y z)) (/ y z))) (* (cbrt (* x (/ y z))) (cbrt (* x (/ y z)))) (cbrt (* x (/ y z))) (* (* (* x (/ y z)) (* x (/ y z))) (* x (/ y z))) (sqrt (* x (/ y z))) (sqrt (* x (/ y z))) (* (sqrt x) (sqrt (/ y z))) (* (sqrt x) (sqrt (/ y z))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (* x (sqrt (/ y z))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (sqrt z))) (* x (/ (* (cbrt y) (cbrt y)) 1)) (* x (/ (sqrt y) (* (cbrt z) (cbrt z)))) (* x (/ (sqrt y) (sqrt z))) (* x (/ (sqrt y) 1)) (* x (/ 1 (* (cbrt z) (cbrt z)))) (* x (/ 1 (sqrt z))) (* x (/ 1 1)) (* x 1) (* x y) (* (cbrt x) (/ y z)) (* (sqrt x) (/ y z)) (* x (/ y z)) (* x y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 8.720 * * [simplify]: iteration 0 : 71 enodes (cost 289 ) 8.741 * * [simplify]: iteration 1 : 168 enodes (cost 272 ) 8.775 * * [simplify]: iteration 2 : 449 enodes (cost 242 ) 8.978 * * [simplify]: iteration 3 : 1366 enodes (cost 242 ) 10.771 * * [simplify]: iteration 4 : 3721 enodes (cost 242 ) 12.650 * * [simplify]: iteration done : 5000 enodes (cost 242 ) 12.650 * [simplify]: Simplified to: (expm1 (* x (/ y z))) (log1p (* x (/ y z))) (/ (* x y) z) (log (* x (/ y z))) (log (* x (/ y z))) (log (* x (/ y z))) (exp (* x (/ y z))) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (* x (/ y z))) (cbrt (* x (/ y z)))) (cbrt (* x (/ y z))) (pow (/ (* x y) z) 3) (sqrt (* x (/ y z))) (sqrt (* x (/ y z))) (* (sqrt x) (sqrt (/ y z))) (* (sqrt x) (sqrt (/ y z))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (* x (sqrt (/ y z))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (sqrt z))) (* (* (cbrt y) (cbrt y)) x) (* x (/ (sqrt y) (* (cbrt z) (cbrt z)))) (* x (/ (sqrt y) (sqrt z))) (* (sqrt y) x) (/ x (* (cbrt z) (cbrt z))) (/ x (sqrt z)) x x (* x y) (* (cbrt x) (/ y z)) (* (sqrt x) (/ y z)) (/ (* x y) z) (* x y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 12.650 * * * [progress]: adding candidates to table 12.727 * * [progress]: iteration 2 / 4 12.727 * * * [progress]: picking best candidate 12.745 * * * * [pick]: Picked # 12.745 * * * [progress]: localizing error 12.754 * * * [progress]: generating rewritten candidates 12.754 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 12.806 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 12.807 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 12.808 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 12.811 * * * [progress]: generating series expansions 12.811 * * * * [progress]: [ 1 / 4 ] generating series at (2) 12.812 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0 12.812 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 12.812 * [taylor]: Taking taylor expansion of (* x y) in z 12.812 * [taylor]: Taking taylor expansion of x in z 12.812 * [taylor]: Taking taylor expansion of y in z 12.812 * [taylor]: Taking taylor expansion of z in z 12.812 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 12.812 * [taylor]: Taking taylor expansion of (* x y) in x 12.812 * [taylor]: Taking taylor expansion of x in x 12.812 * [taylor]: Taking taylor expansion of y in x 12.812 * [taylor]: Taking taylor expansion of z in x 12.813 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 12.813 * [taylor]: Taking taylor expansion of (* x y) in y 12.813 * [taylor]: Taking taylor expansion of x in y 12.813 * [taylor]: Taking taylor expansion of y in y 12.813 * [taylor]: Taking taylor expansion of z in y 12.813 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 12.813 * [taylor]: Taking taylor expansion of (* x y) in y 12.813 * [taylor]: Taking taylor expansion of x in y 12.813 * [taylor]: Taking taylor expansion of y in y 12.813 * [taylor]: Taking taylor expansion of z in y 12.814 * [taylor]: Taking taylor expansion of (/ x z) in x 12.814 * [taylor]: Taking taylor expansion of x in x 12.814 * [taylor]: Taking taylor expansion of z in x 12.814 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.814 * [taylor]: Taking taylor expansion of z in z 12.815 * [taylor]: Taking taylor expansion of 0 in x 12.815 * [taylor]: Taking taylor expansion of 0 in z 12.815 * [taylor]: Taking taylor expansion of 0 in z 12.816 * [taylor]: Taking taylor expansion of 0 in x 12.816 * [taylor]: Taking taylor expansion of 0 in z 12.816 * [taylor]: Taking taylor expansion of 0 in z 12.816 * [taylor]: Taking taylor expansion of 0 in z 12.818 * [taylor]: Taking taylor expansion of 0 in x 12.818 * [taylor]: Taking taylor expansion of 0 in z 12.818 * [taylor]: Taking taylor expansion of 0 in z 12.818 * [taylor]: Taking taylor expansion of 0 in z 12.818 * [taylor]: Taking taylor expansion of 0 in z 12.818 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0 12.818 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 12.818 * [taylor]: Taking taylor expansion of z in z 12.818 * [taylor]: Taking taylor expansion of (* x y) in z 12.818 * [taylor]: Taking taylor expansion of x in z 12.819 * [taylor]: Taking taylor expansion of y in z 12.819 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 12.819 * [taylor]: Taking taylor expansion of z in x 12.819 * [taylor]: Taking taylor expansion of (* x y) in x 12.819 * [taylor]: Taking taylor expansion of x in x 12.819 * [taylor]: Taking taylor expansion of y in x 12.819 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 12.819 * [taylor]: Taking taylor expansion of z in y 12.819 * [taylor]: Taking taylor expansion of (* x y) in y 12.819 * [taylor]: Taking taylor expansion of x in y 12.819 * [taylor]: Taking taylor expansion of y in y 12.820 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 12.820 * [taylor]: Taking taylor expansion of z in y 12.820 * [taylor]: Taking taylor expansion of (* x y) in y 12.820 * [taylor]: Taking taylor expansion of x in y 12.820 * [taylor]: Taking taylor expansion of y in y 12.820 * [taylor]: Taking taylor expansion of (/ z x) in x 12.820 * [taylor]: Taking taylor expansion of z in x 12.820 * [taylor]: Taking taylor expansion of x in x 12.820 * [taylor]: Taking taylor expansion of z in z 12.821 * [taylor]: Taking taylor expansion of 0 in x 12.821 * [taylor]: Taking taylor expansion of 0 in z 12.822 * [taylor]: Taking taylor expansion of 0 in x 12.822 * [taylor]: Taking taylor expansion of 0 in z 12.823 * [taylor]: Taking taylor expansion of 0 in z 12.824 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in (y x z) around 0 12.824 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in z 12.824 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z 12.824 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 12.824 * [taylor]: Taking taylor expansion of (cbrt -1) in z 12.824 * [taylor]: Taking taylor expansion of -1 in z 12.825 * [taylor]: Taking taylor expansion of z in z 12.825 * [taylor]: Taking taylor expansion of (* x y) in z 12.825 * [taylor]: Taking taylor expansion of x in z 12.825 * [taylor]: Taking taylor expansion of y in z 12.832 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in x 12.832 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x 12.832 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 12.832 * [taylor]: Taking taylor expansion of (cbrt -1) in x 12.832 * [taylor]: Taking taylor expansion of -1 in x 12.833 * [taylor]: Taking taylor expansion of z in x 12.833 * [taylor]: Taking taylor expansion of (* x y) in x 12.833 * [taylor]: Taking taylor expansion of x in x 12.833 * [taylor]: Taking taylor expansion of y in x 12.836 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in y 12.836 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y 12.836 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 12.836 * [taylor]: Taking taylor expansion of (cbrt -1) in y 12.836 * [taylor]: Taking taylor expansion of -1 in y 12.837 * [taylor]: Taking taylor expansion of z in y 12.837 * [taylor]: Taking taylor expansion of (* x y) in y 12.837 * [taylor]: Taking taylor expansion of x in y 12.837 * [taylor]: Taking taylor expansion of y in y 12.841 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* x y)) in y 12.841 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y 12.841 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 12.841 * [taylor]: Taking taylor expansion of (cbrt -1) in y 12.841 * [taylor]: Taking taylor expansion of -1 in y 12.842 * [taylor]: Taking taylor expansion of z in y 12.842 * [taylor]: Taking taylor expansion of (* x y) in y 12.842 * [taylor]: Taking taylor expansion of x in y 12.842 * [taylor]: Taking taylor expansion of y in y 12.845 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in x 12.845 * [taylor]: Taking taylor expansion of -1 in x 12.846 * [taylor]: Taking taylor expansion of (/ z x) in x 12.846 * [taylor]: Taking taylor expansion of z in x 12.846 * [taylor]: Taking taylor expansion of x in x 12.846 * [taylor]: Taking taylor expansion of (* -1 z) in z 12.846 * [taylor]: Taking taylor expansion of -1 in z 12.846 * [taylor]: Taking taylor expansion of z in z 12.848 * [taylor]: Taking taylor expansion of 0 in x 12.849 * [taylor]: Taking taylor expansion of 0 in z 12.854 * [taylor]: Taking taylor expansion of 0 in x 12.854 * [taylor]: Taking taylor expansion of 0 in z 12.855 * [taylor]: Taking taylor expansion of 0 in z 12.856 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 12.856 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 12.857 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.857 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.857 * [taylor]: Taking taylor expansion of 1/3 in y 12.857 * [taylor]: Taking taylor expansion of (log y) in y 12.857 * [taylor]: Taking taylor expansion of y in y 12.857 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 12.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 12.857 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 12.857 * [taylor]: Taking taylor expansion of 1/3 in y 12.857 * [taylor]: Taking taylor expansion of (log y) in y 12.857 * [taylor]: Taking taylor expansion of y in y 12.915 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 12.915 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.915 * [taylor]: Taking taylor expansion of 1/3 in y 12.915 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.915 * [taylor]: Taking taylor expansion of y in y 12.916 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.916 * [taylor]: Taking taylor expansion of 1/3 in y 12.916 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.916 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.916 * [taylor]: Taking taylor expansion of y in y 12.974 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 12.974 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 12.974 * [taylor]: Taking taylor expansion of (cbrt -1) in y 12.974 * [taylor]: Taking taylor expansion of -1 in y 12.975 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.975 * [taylor]: Taking taylor expansion of 1/3 in y 12.975 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.975 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.975 * [taylor]: Taking taylor expansion of y in y 12.976 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 12.976 * [taylor]: Taking taylor expansion of (cbrt -1) in y 12.976 * [taylor]: Taking taylor expansion of -1 in y 12.976 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 12.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 12.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 12.977 * [taylor]: Taking taylor expansion of 1/3 in y 12.977 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 12.977 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.977 * [taylor]: Taking taylor expansion of y in y 13.045 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 13.045 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 13.045 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.045 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.045 * [taylor]: Taking taylor expansion of 1/3 in y 13.045 * [taylor]: Taking taylor expansion of (log y) in y 13.045 * [taylor]: Taking taylor expansion of y in y 13.046 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.046 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.046 * [taylor]: Taking taylor expansion of 1/3 in y 13.046 * [taylor]: Taking taylor expansion of (log y) in y 13.046 * [taylor]: Taking taylor expansion of y in y 13.099 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 13.099 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.099 * [taylor]: Taking taylor expansion of 1/3 in y 13.099 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.099 * [taylor]: Taking taylor expansion of y in y 13.100 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.100 * [taylor]: Taking taylor expansion of 1/3 in y 13.100 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.100 * [taylor]: Taking taylor expansion of y in y 13.153 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 13.153 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.153 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.153 * [taylor]: Taking taylor expansion of -1 in y 13.154 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.154 * [taylor]: Taking taylor expansion of 1/3 in y 13.154 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.154 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.154 * [taylor]: Taking taylor expansion of y in y 13.155 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.155 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.155 * [taylor]: Taking taylor expansion of -1 in y 13.156 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.156 * [taylor]: Taking taylor expansion of 1/3 in y 13.156 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.156 * [taylor]: Taking taylor expansion of y in y 13.225 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 13.225 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 13.225 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.225 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.225 * [taylor]: Taking taylor expansion of 1/3 in y 13.225 * [taylor]: Taking taylor expansion of (log y) in y 13.225 * [taylor]: Taking taylor expansion of y in y 13.226 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.226 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.226 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.226 * [taylor]: Taking taylor expansion of 1/3 in y 13.226 * [taylor]: Taking taylor expansion of (log y) in y 13.226 * [taylor]: Taking taylor expansion of y in y 13.282 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 13.282 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.282 * [taylor]: Taking taylor expansion of 1/3 in y 13.282 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.282 * [taylor]: Taking taylor expansion of y in y 13.283 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.283 * [taylor]: Taking taylor expansion of 1/3 in y 13.283 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.283 * [taylor]: Taking taylor expansion of y in y 13.341 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 13.341 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.341 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.341 * [taylor]: Taking taylor expansion of -1 in y 13.342 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.342 * [taylor]: Taking taylor expansion of 1/3 in y 13.342 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.342 * [taylor]: Taking taylor expansion of y in y 13.343 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.343 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.343 * [taylor]: Taking taylor expansion of -1 in y 13.344 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.344 * [taylor]: Taking taylor expansion of 1/3 in y 13.344 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.344 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.344 * [taylor]: Taking taylor expansion of y in y 13.416 * * * [progress]: simplifying candidates 13.418 * [simplify]: Simplifying using # : (expm1 (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (log1p (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)) (+ (+ (+ (log (cbrt y)) (log (cbrt y))) (log x)) (- (log (cbrt y)) (log z))) (+ (+ (+ (log (cbrt y)) (log (cbrt y))) (log x)) (log (/ (cbrt y) z))) (+ (+ (log (* (cbrt y) (cbrt y))) (log x)) (- (log (cbrt y)) (log z))) (+ (+ (log (* (cbrt y) (cbrt y))) (log x)) (log (/ (cbrt y) z))) (+ (log (* (* (cbrt y) (cbrt y)) x)) (- (log (cbrt y)) (log z))) (+ (log (* (* (cbrt y) (cbrt y)) x)) (log (/ (cbrt y) z))) (log (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (exp (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (* (* (* y y) (* (* x x) x)) (/ y (* (* z z) z))) (* (* (* y y) (* (* x x) x)) (* (* (/ (cbrt y) z) (/ (cbrt y) z)) (/ (cbrt y) z))) (* (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* x x) x)) (/ y (* (* z z) z))) (* (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* x x) x)) (* (* (/ (cbrt y) z) (/ (cbrt y) z)) (/ (cbrt y) z))) (* (* (* (* (* (cbrt y) (cbrt y)) x) (* (* (cbrt y) (cbrt y)) x)) (* (* (cbrt y) (cbrt y)) x)) (/ y (* (* z z) z))) (* (* (* (* (* (cbrt y) (cbrt y)) x) (* (* (cbrt y) (cbrt y)) x)) (* (* (cbrt y) (cbrt y)) x)) (* (* (/ (cbrt y) z) (/ (cbrt y) z)) (/ (cbrt y) z))) (* (cbrt (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (cbrt (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)))) (cbrt (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (* (* (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z)) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (sqrt (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (sqrt (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt y) z))) (* (* (* (cbrt y) (cbrt y)) x) (* (cbrt (/ (cbrt y) z)) (cbrt (/ (cbrt y) z)))) (* (* (* (cbrt y) (cbrt y)) x) (sqrt (/ (cbrt y) z))) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (* (cbrt y) (cbrt y))) (* (cbrt z) (cbrt z)))) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (* (cbrt y) (cbrt y))) (sqrt z))) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (* (cbrt y) (cbrt y))) 1)) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (sqrt y)) (* (cbrt z) (cbrt z)))) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (sqrt y)) (sqrt z))) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt (sqrt y)) 1)) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt 1) (* (cbrt z) (cbrt z)))) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt 1) (sqrt z))) (* (* (* (cbrt y) (cbrt y)) x) (/ (cbrt 1) 1)) (* (* (* (cbrt y) (cbrt y)) x) (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt z) (cbrt z)))) (* (* (* (cbrt y) (cbrt y)) x) (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) (sqrt z))) (* (* (* (cbrt y) (cbrt y)) x) (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) 1)) (* (* (* (cbrt y) (cbrt y)) x) (/ (sqrt (cbrt y)) (* (cbrt z) (cbrt z)))) (* (* (* (cbrt y) (cbrt y)) x) (/ (sqrt (cbrt y)) (sqrt z))) (* (* (* (cbrt y) (cbrt y)) x) (/ (sqrt (cbrt y)) 1)) (* (* (* (cbrt y) (cbrt y)) x) (/ 1 (* (cbrt z) (cbrt z)))) (* (* (* (cbrt y) (cbrt y)) x) (/ 1 (sqrt z))) (* (* (* (cbrt y) (cbrt y)) x) (/ 1 1)) (* (* (* (cbrt y) (cbrt y)) x) 1) (* (* (* (cbrt y) (cbrt y)) x) (cbrt y)) (* x (/ (cbrt y) z)) (* (* (* (cbrt y) (cbrt y)) x) (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 13.422 * * [simplify]: iteration 0 : 124 enodes (cost 1035 ) 13.454 * * [simplify]: iteration 1 : 362 enodes (cost 985 ) 13.677 * * [simplify]: iteration 2 : 1679 enodes (cost 699 ) 14.284 * * [simplify]: iteration done : 5000 enodes (cost 699 ) 14.285 * [simplify]: Simplified to: (expm1 (/ (* (pow (cbrt y) 3) x) z)) (log1p (/ (* (pow (cbrt y) 3) x) z)) (/ (* (pow (cbrt y) 3) x) z) (/ (* (pow (cbrt y) 3) x) z) (/ (* (pow (cbrt y) 3) x) z) (log (/ (* (pow (cbrt y) 3) x) z)) (log (/ (* (pow (cbrt y) 3) x) z)) (log (/ (* (pow (cbrt y) 3) x) z)) (log (/ (* (pow (cbrt y) 3) x) z)) (log (/ (* (pow (cbrt y) 3) x) z)) (log (/ (* (pow (cbrt y) 3) x) z)) (log (/ (* (pow (cbrt y) 3) x) z)) (exp (/ (* (pow (cbrt y) 3) x) z)) (* (* y y) (/ (* (pow x 3) y) (pow z 3))) (* (pow x 3) (* (* y y) (pow (/ (cbrt y) z) 3))) (* (pow (* (pow y 2/3) x) 3) (/ y (pow z 3))) (pow (/ (* (pow (cbrt y) 3) x) z) 3) (* (pow (* (pow y 2/3) x) 3) (/ y (pow z 3))) (pow (/ (* (pow (cbrt y) 3) x) z) 3) (* (cbrt (/ (* (pow (cbrt y) 3) x) z)) (cbrt (/ (* (pow (cbrt y) 3) x) z))) (cbrt (/ (* (pow (cbrt y) 3) x) z)) (pow (/ (* (pow (cbrt y) 3) x) z) 3) (sqrt (/ (* (pow (cbrt y) 3) x) z)) (sqrt (/ (* (pow (cbrt y) 3) x) z)) (* (* (* (cbrt (/ (cbrt y) z)) (cbrt (/ (cbrt y) z))) (pow y 2/3)) x) (* (* x (sqrt (/ (cbrt y) z))) (pow y 2/3)) (* (pow y 2/3) (/ (* x (/ (cbrt (pow y 2/3)) (cbrt z))) (cbrt z))) (/ (* (pow y 2/3) x) (/ (sqrt z) (cbrt (pow y 2/3)))) (* (* (pow y 2/3) x) (cbrt (pow y 2/3))) (* (pow y 2/3) (* x (/ (cbrt (sqrt y)) (* (cbrt z) (cbrt z))))) (/ (* (pow y 2/3) (* x (cbrt (sqrt y)))) (sqrt z)) (* (pow y 2/3) (* x (cbrt (sqrt y)))) (/ (pow y 2/3) (/ (* (cbrt z) (cbrt z)) x)) (/ (pow y 2/3) (/ (sqrt z) x)) (* (pow y 2/3) x) (* (pow y 2/3) (* x (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt z) (cbrt z))))) (* (* x (/ (* (cbrt (cbrt y)) (cbrt (cbrt y))) (sqrt z))) (pow y 2/3)) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (pow y 2/3)) x) (* (pow y 2/3) (* x (/ (sqrt (cbrt y)) (* (cbrt z) (cbrt z))))) (/ (pow y 2/3) (/ (sqrt z) (* x (sqrt (cbrt y))))) (* (* x (sqrt (cbrt y))) (pow y 2/3)) (/ (pow y 2/3) (/ (* (cbrt z) (cbrt z)) x)) (/ (pow y 2/3) (/ (sqrt z) x)) (* (pow y 2/3) x) (* (pow y 2/3) x) (* (pow (cbrt y) 3) x) (* x (/ (cbrt y) z)) (* (pow (cbrt y) 3) x) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) 14.285 * * * [progress]: adding candidates to table 14.557 * * [progress]: iteration 3 / 4 14.557 * * * [progress]: picking best candidate 14.576 * * * * [pick]: Picked # 14.576 * * * [progress]: localizing error 14.580 * * * [progress]: generating rewritten candidates 14.580 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 14.584 * * * [progress]: generating series expansions 14.584 * * * * [progress]: [ 1 / 1 ] generating series at (2) 14.584 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 14.584 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 14.584 * [taylor]: Taking taylor expansion of (* x y) in z 14.584 * [taylor]: Taking taylor expansion of x in z 14.585 * [taylor]: Taking taylor expansion of y in z 14.585 * [taylor]: Taking taylor expansion of z in z 14.585 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 14.585 * [taylor]: Taking taylor expansion of (* x y) in y 14.585 * [taylor]: Taking taylor expansion of x in y 14.585 * [taylor]: Taking taylor expansion of y in y 14.585 * [taylor]: Taking taylor expansion of z in y 14.585 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 14.585 * [taylor]: Taking taylor expansion of (* x y) in x 14.585 * [taylor]: Taking taylor expansion of x in x 14.585 * [taylor]: Taking taylor expansion of y in x 14.585 * [taylor]: Taking taylor expansion of z in x 14.586 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 14.586 * [taylor]: Taking taylor expansion of (* x y) in x 14.586 * [taylor]: Taking taylor expansion of x in x 14.586 * [taylor]: Taking taylor expansion of y in x 14.586 * [taylor]: Taking taylor expansion of z in x 14.586 * [taylor]: Taking taylor expansion of (/ y z) in y 14.586 * [taylor]: Taking taylor expansion of y in y 14.586 * [taylor]: Taking taylor expansion of z in y 14.586 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.586 * [taylor]: Taking taylor expansion of z in z 14.588 * [taylor]: Taking taylor expansion of 0 in y 14.588 * [taylor]: Taking taylor expansion of 0 in z 14.588 * [taylor]: Taking taylor expansion of 0 in z 14.589 * [taylor]: Taking taylor expansion of 0 in y 14.589 * [taylor]: Taking taylor expansion of 0 in z 14.589 * [taylor]: Taking taylor expansion of 0 in z 14.589 * [taylor]: Taking taylor expansion of 0 in z 14.591 * [taylor]: Taking taylor expansion of 0 in y 14.591 * [taylor]: Taking taylor expansion of 0 in z 14.591 * [taylor]: Taking taylor expansion of 0 in z 14.591 * [taylor]: Taking taylor expansion of 0 in z 14.591 * [taylor]: Taking taylor expansion of 0 in z 14.592 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 14.592 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.592 * [taylor]: Taking taylor expansion of z in z 14.592 * [taylor]: Taking taylor expansion of (* x y) in z 14.592 * [taylor]: Taking taylor expansion of x in z 14.592 * [taylor]: Taking taylor expansion of y in z 14.592 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 14.592 * [taylor]: Taking taylor expansion of z in y 14.592 * [taylor]: Taking taylor expansion of (* x y) in y 14.592 * [taylor]: Taking taylor expansion of x in y 14.592 * [taylor]: Taking taylor expansion of y in y 14.592 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.592 * [taylor]: Taking taylor expansion of z in x 14.592 * [taylor]: Taking taylor expansion of (* x y) in x 14.592 * [taylor]: Taking taylor expansion of x in x 14.592 * [taylor]: Taking taylor expansion of y in x 14.593 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.593 * [taylor]: Taking taylor expansion of z in x 14.593 * [taylor]: Taking taylor expansion of (* x y) in x 14.593 * [taylor]: Taking taylor expansion of x in x 14.593 * [taylor]: Taking taylor expansion of y in x 14.593 * [taylor]: Taking taylor expansion of (/ z y) in y 14.593 * [taylor]: Taking taylor expansion of z in y 14.593 * [taylor]: Taking taylor expansion of y in y 14.593 * [taylor]: Taking taylor expansion of z in z 14.594 * [taylor]: Taking taylor expansion of 0 in y 14.595 * [taylor]: Taking taylor expansion of 0 in z 14.596 * [taylor]: Taking taylor expansion of 0 in y 14.596 * [taylor]: Taking taylor expansion of 0 in z 14.597 * [taylor]: Taking taylor expansion of 0 in z 14.597 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 14.597 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 14.597 * [taylor]: Taking taylor expansion of -1 in z 14.597 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.597 * [taylor]: Taking taylor expansion of z in z 14.597 * [taylor]: Taking taylor expansion of (* x y) in z 14.597 * [taylor]: Taking taylor expansion of x in z 14.597 * [taylor]: Taking taylor expansion of y in z 14.597 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 14.597 * [taylor]: Taking taylor expansion of -1 in y 14.597 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 14.597 * [taylor]: Taking taylor expansion of z in y 14.597 * [taylor]: Taking taylor expansion of (* x y) in y 14.597 * [taylor]: Taking taylor expansion of x in y 14.597 * [taylor]: Taking taylor expansion of y in y 14.598 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 14.598 * [taylor]: Taking taylor expansion of -1 in x 14.598 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.598 * [taylor]: Taking taylor expansion of z in x 14.598 * [taylor]: Taking taylor expansion of (* x y) in x 14.598 * [taylor]: Taking taylor expansion of x in x 14.598 * [taylor]: Taking taylor expansion of y in x 14.598 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 14.598 * [taylor]: Taking taylor expansion of -1 in x 14.598 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.598 * [taylor]: Taking taylor expansion of z in x 14.598 * [taylor]: Taking taylor expansion of (* x y) in x 14.598 * [taylor]: Taking taylor expansion of x in x 14.598 * [taylor]: Taking taylor expansion of y in x 14.599 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 14.599 * [taylor]: Taking taylor expansion of -1 in y 14.599 * [taylor]: Taking taylor expansion of (/ z y) in y 14.599 * [taylor]: Taking taylor expansion of z in y 14.599 * [taylor]: Taking taylor expansion of y in y 14.599 * [taylor]: Taking taylor expansion of (* -1 z) in z 14.599 * [taylor]: Taking taylor expansion of -1 in z 14.599 * [taylor]: Taking taylor expansion of z in z 14.601 * [taylor]: Taking taylor expansion of 0 in y 14.602 * [taylor]: Taking taylor expansion of 0 in z 14.604 * [taylor]: Taking taylor expansion of 0 in y 14.604 * [taylor]: Taking taylor expansion of 0 in z 14.605 * [taylor]: Taking taylor expansion of 0 in z 14.606 * * * [progress]: simplifying candidates 14.607 * [simplify]: Simplifying using # : (expm1 (/ (* x y) z)) (log1p (/ (* x y) z)) (- (+ (log x) (log y)) (log z)) (- (log (* x y)) (log z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z)) (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z)) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) (- (* x y)) (- z) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) (/ x 1) (/ y z) (/ 1 z) (/ z (* x y)) (/ (* x y) (* (cbrt z) (cbrt z))) (/ (* x y) (sqrt z)) (/ (* x y) 1) (/ z y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 14.608 * * [simplify]: iteration 0 : 50 enodes (cost 198 ) 14.617 * * [simplify]: iteration 1 : 113 enodes (cost 191 ) 14.643 * * [simplify]: iteration 2 : 385 enodes (cost 161 ) 14.978 * * [simplify]: iteration 3 : 1802 enodes (cost 161 ) 16.783 * * [simplify]: iteration done : 5000 enodes (cost 161 ) 16.783 * [simplify]: Simplified to: (expm1 (/ (* x y) z)) (log1p (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (pow (/ (* x y) z) 3) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) (- (* x y)) (- z) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) (/ 1 z) (/ (/ z x) y) (/ (* x y) (* (cbrt z) (cbrt z))) (/ (* x y) (sqrt z)) (* x y) (/ z y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 16.783 * * * [progress]: adding candidates to table 16.824 * * [progress]: iteration 4 / 4 16.824 * * * [progress]: picking best candidate 16.834 * * * * [pick]: Picked # 16.834 * * * [progress]: localizing error 16.840 * * * [progress]: generating rewritten candidates 16.840 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 16.857 * * * [progress]: generating series expansions 16.857 * * * * [progress]: [ 1 / 1 ] generating series at (2) 16.857 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 16.857 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 16.857 * [taylor]: Taking taylor expansion of (* x y) in z 16.857 * [taylor]: Taking taylor expansion of x in z 16.857 * [taylor]: Taking taylor expansion of y in z 16.857 * [taylor]: Taking taylor expansion of z in z 16.857 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 16.857 * [taylor]: Taking taylor expansion of (* x y) in y 16.857 * [taylor]: Taking taylor expansion of x in y 16.857 * [taylor]: Taking taylor expansion of y in y 16.857 * [taylor]: Taking taylor expansion of z in y 16.858 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 16.858 * [taylor]: Taking taylor expansion of (* x y) in x 16.858 * [taylor]: Taking taylor expansion of x in x 16.858 * [taylor]: Taking taylor expansion of y in x 16.858 * [taylor]: Taking taylor expansion of z in x 16.859 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 16.859 * [taylor]: Taking taylor expansion of (* x y) in x 16.859 * [taylor]: Taking taylor expansion of x in x 16.859 * [taylor]: Taking taylor expansion of y in x 16.859 * [taylor]: Taking taylor expansion of z in x 16.859 * [taylor]: Taking taylor expansion of (/ y z) in y 16.859 * [taylor]: Taking taylor expansion of y in y 16.859 * [taylor]: Taking taylor expansion of z in y 16.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.859 * [taylor]: Taking taylor expansion of z in z 16.860 * [taylor]: Taking taylor expansion of 0 in y 16.860 * [taylor]: Taking taylor expansion of 0 in z 16.861 * [taylor]: Taking taylor expansion of 0 in z 16.862 * [taylor]: Taking taylor expansion of 0 in y 16.862 * [taylor]: Taking taylor expansion of 0 in z 16.862 * [taylor]: Taking taylor expansion of 0 in z 16.862 * [taylor]: Taking taylor expansion of 0 in z 16.864 * [taylor]: Taking taylor expansion of 0 in y 16.864 * [taylor]: Taking taylor expansion of 0 in z 16.864 * [taylor]: Taking taylor expansion of 0 in z 16.864 * [taylor]: Taking taylor expansion of 0 in z 16.864 * [taylor]: Taking taylor expansion of 0 in z 16.865 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 16.865 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.865 * [taylor]: Taking taylor expansion of z in z 16.865 * [taylor]: Taking taylor expansion of (* x y) in z 16.865 * [taylor]: Taking taylor expansion of x in z 16.865 * [taylor]: Taking taylor expansion of y in z 16.865 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 16.865 * [taylor]: Taking taylor expansion of z in y 16.865 * [taylor]: Taking taylor expansion of (* x y) in y 16.865 * [taylor]: Taking taylor expansion of x in y 16.865 * [taylor]: Taking taylor expansion of y in y 16.865 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 16.865 * [taylor]: Taking taylor expansion of z in x 16.865 * [taylor]: Taking taylor expansion of (* x y) in x 16.865 * [taylor]: Taking taylor expansion of x in x 16.865 * [taylor]: Taking taylor expansion of y in x 16.866 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 16.866 * [taylor]: Taking taylor expansion of z in x 16.866 * [taylor]: Taking taylor expansion of (* x y) in x 16.866 * [taylor]: Taking taylor expansion of x in x 16.866 * [taylor]: Taking taylor expansion of y in x 16.866 * [taylor]: Taking taylor expansion of (/ z y) in y 16.866 * [taylor]: Taking taylor expansion of z in y 16.866 * [taylor]: Taking taylor expansion of y in y 16.866 * [taylor]: Taking taylor expansion of z in z 16.867 * [taylor]: Taking taylor expansion of 0 in y 16.868 * [taylor]: Taking taylor expansion of 0 in z 16.869 * [taylor]: Taking taylor expansion of 0 in y 16.869 * [taylor]: Taking taylor expansion of 0 in z 16.870 * [taylor]: Taking taylor expansion of 0 in z 16.870 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 16.870 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 16.870 * [taylor]: Taking taylor expansion of -1 in z 16.870 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 16.870 * [taylor]: Taking taylor expansion of z in z 16.870 * [taylor]: Taking taylor expansion of (* x y) in z 16.870 * [taylor]: Taking taylor expansion of x in z 16.870 * [taylor]: Taking taylor expansion of y in z 16.870 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 16.870 * [taylor]: Taking taylor expansion of -1 in y 16.871 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 16.871 * [taylor]: Taking taylor expansion of z in y 16.871 * [taylor]: Taking taylor expansion of (* x y) in y 16.871 * [taylor]: Taking taylor expansion of x in y 16.871 * [taylor]: Taking taylor expansion of y in y 16.871 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 16.871 * [taylor]: Taking taylor expansion of -1 in x 16.871 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 16.871 * [taylor]: Taking taylor expansion of z in x 16.871 * [taylor]: Taking taylor expansion of (* x y) in x 16.871 * [taylor]: Taking taylor expansion of x in x 16.871 * [taylor]: Taking taylor expansion of y in x 16.871 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 16.872 * [taylor]: Taking taylor expansion of -1 in x 16.872 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 16.872 * [taylor]: Taking taylor expansion of z in x 16.872 * [taylor]: Taking taylor expansion of (* x y) in x 16.872 * [taylor]: Taking taylor expansion of x in x 16.872 * [taylor]: Taking taylor expansion of y in x 16.872 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 16.872 * [taylor]: Taking taylor expansion of -1 in y 16.872 * [taylor]: Taking taylor expansion of (/ z y) in y 16.872 * [taylor]: Taking taylor expansion of z in y 16.872 * [taylor]: Taking taylor expansion of y in y 16.872 * [taylor]: Taking taylor expansion of (* -1 z) in z 16.872 * [taylor]: Taking taylor expansion of -1 in z 16.872 * [taylor]: Taking taylor expansion of z in z 16.874 * [taylor]: Taking taylor expansion of 0 in y 16.875 * [taylor]: Taking taylor expansion of 0 in z 16.877 * [taylor]: Taking taylor expansion of 0 in y 16.877 * [taylor]: Taking taylor expansion of 0 in z 16.879 * [taylor]: Taking taylor expansion of 0 in z 16.880 * * * [progress]: simplifying candidates 16.880 * [simplify]: Simplifying using # : (expm1 (* (* x y) (/ 1 z))) (log1p (* (* x y) (/ 1 z))) (* (* x y) (/ 1 z)) (* (* x y) (/ 1 z)) (+ (+ (log x) (log y)) (- (log z))) (+ (+ (log x) (log y)) (- 0 (log z))) (+ (+ (log x) (log y)) (- (log 1) (log z))) (+ (+ (log x) (log y)) (log (/ 1 z))) (+ (log (* x y)) (- (log z))) (+ (log (* x y)) (- 0 (log z))) (+ (log (* x y)) (- (log 1) (log z))) (+ (log (* x y)) (log (/ 1 z))) (log (* (* x y) (/ 1 z))) (exp (* (* x y) (/ 1 z))) (* (* (* (* x x) x) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* z z) z))) (* (* (* (* x x) x) (* (* y y) y)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z))) (* (* (* (* x y) (* x y)) (* x y)) (/ (* (* 1 1) 1) (* (* z z) z))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z))) (* (cbrt (* (* x y) (/ 1 z))) (cbrt (* (* x y) (/ 1 z)))) (cbrt (* (* x y) (/ 1 z))) (* (* (* (* x y) (/ 1 z)) (* (* x y) (/ 1 z))) (* (* x y) (/ 1 z))) (sqrt (* (* x y) (/ 1 z))) (sqrt (* (* x y) (/ 1 z))) (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (* (* x y) (sqrt (/ 1 z))) (* (* x y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)))) (* (* x y) (/ (* (cbrt 1) (cbrt 1)) (sqrt z))) (* (* x y) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* x y) (/ (sqrt 1) (* (cbrt z) (cbrt z)))) (* (* x y) (/ (sqrt 1) (sqrt z))) (* (* x y) (/ (sqrt 1) 1)) (* (* x y) (/ 1 (* (cbrt z) (cbrt z)))) (* (* x y) (/ 1 (sqrt z))) (* (* x y) (/ 1 1)) (* (* x y) 1) (* (* x y) 1) (* y (/ 1 z)) (* (* x y) 1) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 16.883 * * [simplify]: iteration 0 : 85 enodes (cost 427 ) 16.904 * * [simplify]: iteration 1 : 245 enodes (cost 336 ) 17.029 * * [simplify]: iteration 2 : 823 enodes (cost 250 ) 18.575 * * [simplify]: iteration 3 : 3083 enodes (cost 250 ) 20.176 * * [simplify]: iteration done : 5000 enodes (cost 250 ) 20.177 * [simplify]: Simplified to: (expm1 (/ (* y x) z)) (log1p (/ (* y x) z)) (/ (* x y) z) (/ (* x y) z) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (pow (/ (* x y) z) 3) (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z)) (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (* (* x y) (sqrt (/ 1 z))) (/ (* y x) (* (cbrt z) (cbrt z))) (* x (/ y (sqrt z))) (* y x) (/ (* y x) (* (cbrt z) (cbrt z))) (* x (/ y (sqrt z))) (* y x) (/ (* y x) (* (cbrt z) (cbrt z))) (* x (/ y (sqrt z))) (* y x) (* y x) (* y x) (/ y z) (* y x) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 20.177 * * * [progress]: adding candidates to table 20.243 * [progress]: [Phase 3 of 3] Extracting. 20.243 * * [regime]: Finding splitpoints for: (# # # # # # # #) 20.244 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x) 20.244 * * * * [regimes]: Trying to branch on (/ y z) from (# # # # # # # #) 20.295 * * * * [regimes]: Trying to branch on (/ y z) from (# #) 20.309 * * * * [regimes]: Trying to branch on t from (# # # # # # # #) 20.340 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 20.375 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 20.416 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 20.452 * * * [regime]: Found split indices: #