28.728 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (* x (/ (* (/ y z) t) t)) 0.021 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.022 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 0.024 * * [simplify]: iteration 2 : 40 enodes (cost 7 ) 0.032 * * [simplify]: iteration 3 : 98 enodes (cost 5 ) 0.079 * * [simplify]: iteration 4 : 411 enodes (cost 5 ) 1.628 * * [simplify]: iteration 5 : 2432 enodes (cost 5 ) 8.701 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 8.701 * [simplify]: Simplified to: (* x (/ y z)) 8.705 * * [progress]: iteration 1 / 4 8.705 * * * [progress]: picking best candidate 8.708 * * * * [pick]: Picked # 8.708 * * * [progress]: localizing error 8.712 * * * [progress]: generating rewritten candidates 8.713 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.722 * * * [progress]: generating series expansions 8.722 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.722 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 8.722 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 8.722 * [taylor]: Taking taylor expansion of (* x y) in z 8.722 * [taylor]: Taking taylor expansion of x in z 8.722 * [taylor]: Taking taylor expansion of y in z 8.722 * [taylor]: Taking taylor expansion of z in z 8.722 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 8.722 * [taylor]: Taking taylor expansion of (* x y) in y 8.722 * [taylor]: Taking taylor expansion of x in y 8.722 * [taylor]: Taking taylor expansion of y in y 8.722 * [taylor]: Taking taylor expansion of z in y 8.723 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.723 * [taylor]: Taking taylor expansion of (* x y) in x 8.723 * [taylor]: Taking taylor expansion of x in x 8.723 * [taylor]: Taking taylor expansion of y in x 8.723 * [taylor]: Taking taylor expansion of z in x 8.723 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 8.723 * [taylor]: Taking taylor expansion of (* x y) in x 8.723 * [taylor]: Taking taylor expansion of x in x 8.723 * [taylor]: Taking taylor expansion of y in x 8.723 * [taylor]: Taking taylor expansion of z in x 8.724 * [taylor]: Taking taylor expansion of (/ y z) in y 8.724 * [taylor]: Taking taylor expansion of y in y 8.724 * [taylor]: Taking taylor expansion of z in y 8.724 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.724 * [taylor]: Taking taylor expansion of z in z 8.725 * [taylor]: Taking taylor expansion of 0 in y 8.725 * [taylor]: Taking taylor expansion of 0 in z 8.725 * [taylor]: Taking taylor expansion of 0 in z 8.727 * [taylor]: Taking taylor expansion of 0 in y 8.727 * [taylor]: Taking taylor expansion of 0 in z 8.727 * [taylor]: Taking taylor expansion of 0 in z 8.727 * [taylor]: Taking taylor expansion of 0 in z 8.729 * [taylor]: Taking taylor expansion of 0 in y 8.729 * [taylor]: Taking taylor expansion of 0 in z 8.729 * [taylor]: Taking taylor expansion of 0 in z 8.729 * [taylor]: Taking taylor expansion of 0 in z 8.729 * [taylor]: Taking taylor expansion of 0 in z 8.729 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 8.729 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.729 * [taylor]: Taking taylor expansion of z in z 8.729 * [taylor]: Taking taylor expansion of (* x y) in z 8.729 * [taylor]: Taking taylor expansion of x in z 8.729 * [taylor]: Taking taylor expansion of y in z 8.729 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.729 * [taylor]: Taking taylor expansion of z in y 8.729 * [taylor]: Taking taylor expansion of (* x y) in y 8.729 * [taylor]: Taking taylor expansion of x in y 8.729 * [taylor]: Taking taylor expansion of y in y 8.730 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.730 * [taylor]: Taking taylor expansion of z in x 8.730 * [taylor]: Taking taylor expansion of (* x y) in x 8.730 * [taylor]: Taking taylor expansion of x in x 8.730 * [taylor]: Taking taylor expansion of y in x 8.730 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.730 * [taylor]: Taking taylor expansion of z in x 8.730 * [taylor]: Taking taylor expansion of (* x y) in x 8.730 * [taylor]: Taking taylor expansion of x in x 8.730 * [taylor]: Taking taylor expansion of y in x 8.731 * [taylor]: Taking taylor expansion of (/ z y) in y 8.731 * [taylor]: Taking taylor expansion of z in y 8.731 * [taylor]: Taking taylor expansion of y in y 8.731 * [taylor]: Taking taylor expansion of z in z 8.732 * [taylor]: Taking taylor expansion of 0 in y 8.732 * [taylor]: Taking taylor expansion of 0 in z 8.733 * [taylor]: Taking taylor expansion of 0 in y 8.733 * [taylor]: Taking taylor expansion of 0 in z 8.734 * [taylor]: Taking taylor expansion of 0 in z 8.735 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 8.735 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 8.735 * [taylor]: Taking taylor expansion of -1 in z 8.735 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 8.735 * [taylor]: Taking taylor expansion of z in z 8.735 * [taylor]: Taking taylor expansion of (* x y) in z 8.735 * [taylor]: Taking taylor expansion of x in z 8.735 * [taylor]: Taking taylor expansion of y in z 8.735 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 8.735 * [taylor]: Taking taylor expansion of -1 in y 8.735 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 8.735 * [taylor]: Taking taylor expansion of z in y 8.735 * [taylor]: Taking taylor expansion of (* x y) in y 8.735 * [taylor]: Taking taylor expansion of x in y 8.735 * [taylor]: Taking taylor expansion of y in y 8.735 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 8.735 * [taylor]: Taking taylor expansion of -1 in x 8.735 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.735 * [taylor]: Taking taylor expansion of z in x 8.735 * [taylor]: Taking taylor expansion of (* x y) in x 8.735 * [taylor]: Taking taylor expansion of x in x 8.735 * [taylor]: Taking taylor expansion of y in x 8.736 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 8.736 * [taylor]: Taking taylor expansion of -1 in x 8.736 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 8.736 * [taylor]: Taking taylor expansion of z in x 8.736 * [taylor]: Taking taylor expansion of (* x y) in x 8.736 * [taylor]: Taking taylor expansion of x in x 8.736 * [taylor]: Taking taylor expansion of y in x 8.736 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 8.736 * [taylor]: Taking taylor expansion of -1 in y 8.736 * [taylor]: Taking taylor expansion of (/ z y) in y 8.736 * [taylor]: Taking taylor expansion of z in y 8.736 * [taylor]: Taking taylor expansion of y in y 8.736 * [taylor]: Taking taylor expansion of (* -1 z) in z 8.736 * [taylor]: Taking taylor expansion of -1 in z 8.736 * [taylor]: Taking taylor expansion of z in z 8.738 * [taylor]: Taking taylor expansion of 0 in y 8.739 * [taylor]: Taking taylor expansion of 0 in z 8.741 * [taylor]: Taking taylor expansion of 0 in y 8.741 * [taylor]: Taking taylor expansion of 0 in z 8.742 * [taylor]: Taking taylor expansion of 0 in z 8.743 * * * [progress]: simplifying candidates 8.744 * [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.746 * * [simplify]: iteration 0 : 71 enodes (cost 289 ) 8.763 * * [simplify]: iteration 1 : 168 enodes (cost 272 ) 8.799 * * [simplify]: iteration 2 : 449 enodes (cost 242 ) 9.008 * * [simplify]: iteration 3 : 1366 enodes (cost 242 ) 10.801 * * [simplify]: iteration 4 : 3721 enodes (cost 242 ) 12.734 * * [simplify]: iteration done : 5000 enodes (cost 242 ) 12.734 * [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.735 * * * [progress]: adding candidates to table 12.817 * * [progress]: iteration 2 / 4 12.817 * * * [progress]: picking best candidate 12.832 * * * * [pick]: Picked # 12.832 * * * [progress]: localizing error 12.844 * * * [progress]: generating rewritten candidates 12.844 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 12.865 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 12.866 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2) 12.866 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1) 12.871 * * * [progress]: generating series expansions 12.871 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 12.872 * [approximate]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in (x y z) around 0 12.872 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in z 12.872 * [taylor]: Taking taylor expansion of x in z 12.872 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in z 12.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in z 12.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in z 12.872 * [taylor]: Taking taylor expansion of 1/3 in z 12.872 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in z 12.872 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in z 12.872 * [taylor]: Taking taylor expansion of (pow y 2) in z 12.872 * [taylor]: Taking taylor expansion of y in z 12.872 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.872 * [taylor]: Taking taylor expansion of z in z 12.874 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in y 12.874 * [taylor]: Taking taylor expansion of x in y 12.874 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y 12.874 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y 12.874 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y 12.874 * [taylor]: Taking taylor expansion of 1/3 in y 12.874 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y 12.874 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y 12.874 * [taylor]: Taking taylor expansion of (pow y 2) in y 12.874 * [taylor]: Taking taylor expansion of y in y 12.874 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.874 * [taylor]: Taking taylor expansion of z in y 12.875 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x 12.875 * [taylor]: Taking taylor expansion of x in x 12.875 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x 12.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x 12.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x 12.875 * [taylor]: Taking taylor expansion of 1/3 in x 12.875 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x 12.875 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x 12.875 * [taylor]: Taking taylor expansion of (pow y 2) in x 12.875 * [taylor]: Taking taylor expansion of y in x 12.875 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.875 * [taylor]: Taking taylor expansion of z in x 12.876 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x 12.876 * [taylor]: Taking taylor expansion of x in x 12.876 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x 12.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x 12.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x 12.876 * [taylor]: Taking taylor expansion of 1/3 in x 12.876 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x 12.876 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x 12.876 * [taylor]: Taking taylor expansion of (pow y 2) in x 12.876 * [taylor]: Taking taylor expansion of y in x 12.876 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.876 * [taylor]: Taking taylor expansion of z in x 12.877 * [taylor]: Taking taylor expansion of 0 in y 12.877 * [taylor]: Taking taylor expansion of 0 in z 12.880 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y 12.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y 12.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y 12.880 * [taylor]: Taking taylor expansion of 1/3 in y 12.880 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y 12.880 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y 12.880 * [taylor]: Taking taylor expansion of (pow y 2) in y 12.880 * [taylor]: Taking taylor expansion of y in y 12.880 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.880 * [taylor]: Taking taylor expansion of z in y 12.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y))))) in z 12.881 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y)))) in z 12.881 * [taylor]: Taking taylor expansion of 1/3 in z 12.881 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (pow z 2))) (* 2 (log y))) in z 12.881 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 12.881 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 12.881 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.881 * [taylor]: Taking taylor expansion of z in z 12.882 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 12.882 * [taylor]: Taking taylor expansion of 2 in z 12.882 * [taylor]: Taking taylor expansion of (log y) in z 12.882 * [taylor]: Taking taylor expansion of y in z 12.883 * [taylor]: Taking taylor expansion of 0 in z 12.888 * [taylor]: Taking taylor expansion of 0 in y 12.888 * [taylor]: Taking taylor expansion of 0 in z 12.891 * [taylor]: Taking taylor expansion of 0 in z 12.891 * [taylor]: Taking taylor expansion of 0 in z 12.895 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in (x y z) around 0 12.895 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z 12.895 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.895 * [taylor]: Taking taylor expansion of x in z 12.895 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z 12.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z 12.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z 12.895 * [taylor]: Taking taylor expansion of 1/3 in z 12.895 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z 12.895 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z 12.895 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.895 * [taylor]: Taking taylor expansion of z in z 12.895 * [taylor]: Taking taylor expansion of (pow y 2) in z 12.895 * [taylor]: Taking taylor expansion of y in z 12.897 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y 12.897 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.897 * [taylor]: Taking taylor expansion of x in y 12.897 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 12.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 12.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 12.897 * [taylor]: Taking taylor expansion of 1/3 in y 12.897 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 12.897 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 12.897 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.897 * [taylor]: Taking taylor expansion of z in y 12.897 * [taylor]: Taking taylor expansion of (pow y 2) in y 12.897 * [taylor]: Taking taylor expansion of y in y 12.898 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 12.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.898 * [taylor]: Taking taylor expansion of x in x 12.898 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 12.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 12.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 12.899 * [taylor]: Taking taylor expansion of 1/3 in x 12.899 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 12.899 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 12.899 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.899 * [taylor]: Taking taylor expansion of z in x 12.899 * [taylor]: Taking taylor expansion of (pow y 2) in x 12.899 * [taylor]: Taking taylor expansion of y in x 12.899 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 12.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.899 * [taylor]: Taking taylor expansion of x in x 12.900 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 12.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 12.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 12.900 * [taylor]: Taking taylor expansion of 1/3 in x 12.900 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 12.900 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 12.900 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.900 * [taylor]: Taking taylor expansion of z in x 12.900 * [taylor]: Taking taylor expansion of (pow y 2) in x 12.900 * [taylor]: Taking taylor expansion of y in x 12.900 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 12.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 12.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 12.901 * [taylor]: Taking taylor expansion of 1/3 in y 12.901 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 12.901 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 12.901 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.901 * [taylor]: Taking taylor expansion of z in y 12.901 * [taylor]: Taking taylor expansion of (pow y 2) in y 12.901 * [taylor]: Taking taylor expansion of y in y 12.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z 12.902 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z 12.902 * [taylor]: Taking taylor expansion of 1/3 in z 12.902 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z 12.902 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 12.902 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.902 * [taylor]: Taking taylor expansion of z in z 12.903 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 12.903 * [taylor]: Taking taylor expansion of 2 in z 12.903 * [taylor]: Taking taylor expansion of (log y) in z 12.903 * [taylor]: Taking taylor expansion of y in z 12.907 * [taylor]: Taking taylor expansion of 0 in y 12.907 * [taylor]: Taking taylor expansion of 0 in z 12.910 * [taylor]: Taking taylor expansion of 0 in z 12.919 * [taylor]: Taking taylor expansion of 0 in y 12.919 * [taylor]: Taking taylor expansion of 0 in z 12.919 * [taylor]: Taking taylor expansion of 0 in z 12.924 * [taylor]: Taking taylor expansion of 0 in z 12.924 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in (x y z) around 0 12.924 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in z 12.924 * [taylor]: Taking taylor expansion of -1 in z 12.924 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z 12.925 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.925 * [taylor]: Taking taylor expansion of x in z 12.925 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z 12.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z 12.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z 12.925 * [taylor]: Taking taylor expansion of 1/3 in z 12.925 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z 12.925 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z 12.925 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.925 * [taylor]: Taking taylor expansion of z in z 12.925 * [taylor]: Taking taylor expansion of (pow y 2) in z 12.925 * [taylor]: Taking taylor expansion of y in z 12.926 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in y 12.926 * [taylor]: Taking taylor expansion of -1 in y 12.926 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y 12.926 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.926 * [taylor]: Taking taylor expansion of x in y 12.926 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 12.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 12.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 12.926 * [taylor]: Taking taylor expansion of 1/3 in y 12.926 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 12.926 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 12.926 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.926 * [taylor]: Taking taylor expansion of z in y 12.926 * [taylor]: Taking taylor expansion of (pow y 2) in y 12.926 * [taylor]: Taking taylor expansion of y in y 12.927 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x 12.928 * [taylor]: Taking taylor expansion of -1 in x 12.928 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 12.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.928 * [taylor]: Taking taylor expansion of x in x 12.928 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 12.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 12.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 12.928 * [taylor]: Taking taylor expansion of 1/3 in x 12.928 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 12.928 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 12.928 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.928 * [taylor]: Taking taylor expansion of z in x 12.928 * [taylor]: Taking taylor expansion of (pow y 2) in x 12.928 * [taylor]: Taking taylor expansion of y in x 12.929 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x 12.929 * [taylor]: Taking taylor expansion of -1 in x 12.929 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 12.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.929 * [taylor]: Taking taylor expansion of x in x 12.929 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 12.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 12.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 12.929 * [taylor]: Taking taylor expansion of 1/3 in x 12.930 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 12.930 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 12.930 * [taylor]: Taking taylor expansion of (pow z 2) in x 12.930 * [taylor]: Taking taylor expansion of z in x 12.930 * [taylor]: Taking taylor expansion of (pow y 2) in x 12.930 * [taylor]: Taking taylor expansion of y in x 12.931 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow z 2) (pow y 2)) 1/3)) in y 12.931 * [taylor]: Taking taylor expansion of -1 in y 12.931 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 12.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 12.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 12.931 * [taylor]: Taking taylor expansion of 1/3 in y 12.931 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 12.931 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 12.931 * [taylor]: Taking taylor expansion of (pow z 2) in y 12.931 * [taylor]: Taking taylor expansion of z in y 12.931 * [taylor]: Taking taylor expansion of (pow y 2) in y 12.931 * [taylor]: Taking taylor expansion of y in y 12.932 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y)))))) in z 12.932 * [taylor]: Taking taylor expansion of -1 in z 12.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z 12.932 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z 12.932 * [taylor]: Taking taylor expansion of 1/3 in z 12.932 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z 12.932 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 12.932 * [taylor]: Taking taylor expansion of (pow z 2) in z 12.932 * [taylor]: Taking taylor expansion of z in z 12.933 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 12.933 * [taylor]: Taking taylor expansion of 2 in z 12.933 * [taylor]: Taking taylor expansion of (log y) in z 12.933 * [taylor]: Taking taylor expansion of y in z 12.938 * [taylor]: Taking taylor expansion of 0 in y 12.938 * [taylor]: Taking taylor expansion of 0 in z 12.941 * [taylor]: Taking taylor expansion of 0 in z 12.951 * [taylor]: Taking taylor expansion of 0 in y 12.951 * [taylor]: Taking taylor expansion of 0 in z 12.951 * [taylor]: Taking taylor expansion of 0 in z 12.957 * [taylor]: Taking taylor expansion of 0 in z 12.957 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 12.957 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 12.958 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 12.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 12.958 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 12.958 * [taylor]: Taking taylor expansion of 1/3 in z 12.958 * [taylor]: Taking taylor expansion of (log z) in z 12.958 * [taylor]: Taking taylor expansion of z in z 12.958 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 12.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 12.958 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 12.958 * [taylor]: Taking taylor expansion of 1/3 in z 12.958 * [taylor]: Taking taylor expansion of (log z) in z 12.958 * [taylor]: Taking taylor expansion of z in z 13.014 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 13.014 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.014 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.014 * [taylor]: Taking taylor expansion of 1/3 in z 13.014 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.014 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.014 * [taylor]: Taking taylor expansion of z in z 13.015 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.015 * [taylor]: Taking taylor expansion of 1/3 in z 13.015 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.015 * [taylor]: Taking taylor expansion of z in z 13.075 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 13.075 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 13.075 * [taylor]: Taking taylor expansion of (cbrt -1) in z 13.075 * [taylor]: Taking taylor expansion of -1 in z 13.076 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.076 * [taylor]: Taking taylor expansion of 1/3 in z 13.076 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.076 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.076 * [taylor]: Taking taylor expansion of z in z 13.077 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 13.077 * [taylor]: Taking taylor expansion of (cbrt -1) in z 13.077 * [taylor]: Taking taylor expansion of -1 in z 13.078 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.078 * [taylor]: Taking taylor expansion of 1/3 in z 13.078 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.078 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.078 * [taylor]: Taking taylor expansion of z in z 13.149 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2) 13.149 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 13.149 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 13.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 13.149 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 13.149 * [taylor]: Taking taylor expansion of 1/3 in z 13.149 * [taylor]: Taking taylor expansion of (log z) in z 13.149 * [taylor]: Taking taylor expansion of z in z 13.150 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 13.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 13.150 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 13.150 * [taylor]: Taking taylor expansion of 1/3 in z 13.150 * [taylor]: Taking taylor expansion of (log z) in z 13.150 * [taylor]: Taking taylor expansion of z in z 13.202 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 13.202 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.202 * [taylor]: Taking taylor expansion of 1/3 in z 13.202 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.202 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.202 * [taylor]: Taking taylor expansion of z in z 13.203 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.203 * [taylor]: Taking taylor expansion of 1/3 in z 13.203 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.203 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.203 * [taylor]: Taking taylor expansion of z in z 13.265 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 13.265 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 13.265 * [taylor]: Taking taylor expansion of (cbrt -1) in z 13.265 * [taylor]: Taking taylor expansion of -1 in z 13.266 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.266 * [taylor]: Taking taylor expansion of 1/3 in z 13.266 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.266 * [taylor]: Taking taylor expansion of z in z 13.267 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 13.267 * [taylor]: Taking taylor expansion of (cbrt -1) in z 13.267 * [taylor]: Taking taylor expansion of -1 in z 13.268 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.268 * [taylor]: Taking taylor expansion of 1/3 in z 13.268 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.268 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.268 * [taylor]: Taking taylor expansion of z in z 13.342 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1) 13.342 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 13.342 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 13.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 13.343 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 13.343 * [taylor]: Taking taylor expansion of 1/3 in z 13.343 * [taylor]: Taking taylor expansion of (log z) in z 13.343 * [taylor]: Taking taylor expansion of z in z 13.343 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 13.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 13.343 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 13.343 * [taylor]: Taking taylor expansion of 1/3 in z 13.343 * [taylor]: Taking taylor expansion of (log z) in z 13.343 * [taylor]: Taking taylor expansion of z in z 13.402 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 13.402 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.402 * [taylor]: Taking taylor expansion of 1/3 in z 13.402 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.402 * [taylor]: Taking taylor expansion of z in z 13.404 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.404 * [taylor]: Taking taylor expansion of 1/3 in z 13.404 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.404 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.404 * [taylor]: Taking taylor expansion of z in z 13.465 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 13.466 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 13.466 * [taylor]: Taking taylor expansion of (cbrt -1) in z 13.466 * [taylor]: Taking taylor expansion of -1 in z 13.467 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.467 * [taylor]: Taking taylor expansion of 1/3 in z 13.467 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.467 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.467 * [taylor]: Taking taylor expansion of z in z 13.468 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 13.468 * [taylor]: Taking taylor expansion of (cbrt -1) in z 13.468 * [taylor]: Taking taylor expansion of -1 in z 13.469 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.469 * [taylor]: Taking taylor expansion of 1/3 in z 13.469 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.469 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.469 * [taylor]: Taking taylor expansion of z in z 13.536 * * * [progress]: simplifying candidates 13.538 * [simplify]: Simplifying using # : (expm1 (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (log1p (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (+ (log x) (- (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt z)) (log (cbrt z))))) (+ (log x) (- (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt z) (cbrt z))))) (+ (log x) (- (log (* (cbrt y) (cbrt y))) (+ (log (cbrt z)) (log (cbrt z))))) (+ (log x) (- (log (* (cbrt y) (cbrt y))) (log (* (cbrt z) (cbrt z))))) (+ (log x) (log (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (log (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (exp (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (* (* x x) x) (/ (* y y) (* z z))) (* (* (* x x) x) (/ (* y y) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* z z))) (* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (* (* (* x x) x) (* (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (sqrt x) (/ (cbrt y) (cbrt z))) (* (sqrt x) (/ (cbrt y) (cbrt z))) (* x (* (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (* x (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* x (/ (cbrt y) (cbrt z))) (* x 1) (* x (* (cbrt y) (cbrt y))) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* (sqrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (* (cbrt y) (cbrt y))) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (* (exp (* 1/3 (- (* 2 (log y)) (* 2 (log z))))) x) (* (exp (* 1/3 (- (* 2 (log (/ 1 z))) (* 2 (log (/ 1 y)))))) x) (* (exp (* 1/3 (- (* 2 (log (/ -1 z))) (* 2 (log (/ -1 y)))))) x) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) 13.548 * * [simplify]: iteration 0 : 119 enodes (cost 828 ) 13.572 * * [simplify]: iteration 1 : 310 enodes (cost 793 ) 13.646 * * [simplify]: iteration 2 : 1093 enodes (cost 599 ) 14.373 * * [simplify]: iteration done : 5001 enodes (cost 599 ) 14.375 * [simplify]: Simplified to: (expm1 (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (log1p (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x) (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (exp (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (* (/ (* y y) (* z z)) (pow x 3)) (/ (pow x 3) (/ (pow (pow z 2/3) 3) (* y y))) (* (/ (/ (pow (* (cbrt y) (cbrt y)) 3) z) z) (pow x 3)) (pow (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x) 3) (pow (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x) 3) (* (cbrt (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (cbrt (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))) (cbrt (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (pow (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x) 3) (sqrt (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (sqrt (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (* (fabs (/ (cbrt y) (cbrt z))) (sqrt x)) (* (fabs (/ (cbrt y) (cbrt z))) (sqrt x)) (* (sqrt x) (/ (cbrt y) (cbrt z))) (* (sqrt x) (/ (cbrt y) (cbrt z))) (* (cbrt (/ (* (cbrt y) (cbrt y)) (pow z 2/3))) (* (cbrt (/ (* (cbrt y) (cbrt y)) (pow z 2/3))) x)) (* (fabs (/ (cbrt y) (cbrt z))) x) (* x (/ (cbrt y) (cbrt z))) x (* x (* (cbrt y) (cbrt y))) (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) (cbrt x)) (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) (sqrt x)) (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x) (* x (* (cbrt y) (cbrt y))) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (pow (cbrt z) 3) (sqrt (cbrt z)) (sqrt (cbrt z)) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (pow (cbrt z) 3) (sqrt (cbrt z)) (sqrt (cbrt z)) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (pow (cbrt z) 3) (sqrt (cbrt z)) (sqrt (cbrt z)) (* (exp (* 2/3 (- (log y) (log z)))) x) (* x (exp (* 2/3 (- (- (log z)) (- (log y)))))) (* (exp (* 2/3 (- (log (/ -1 z)) (log (/ -1 y))))) x) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt (- z)) (cbrt -1)) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt (- z)) (cbrt -1)) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt (- z)) (cbrt -1)) 14.375 * * * [progress]: adding candidates to table 14.644 * * [progress]: iteration 3 / 4 14.644 * * * [progress]: picking best candidate 14.656 * * * * [pick]: Picked # 14.657 * * * [progress]: localizing error 14.661 * * * [progress]: generating rewritten candidates 14.661 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 14.669 * * * [progress]: generating series expansions 14.669 * * * * [progress]: [ 1 / 1 ] generating series at (2) 14.669 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 14.669 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 14.669 * [taylor]: Taking taylor expansion of (* x y) in z 14.669 * [taylor]: Taking taylor expansion of x in z 14.669 * [taylor]: Taking taylor expansion of y in z 14.669 * [taylor]: Taking taylor expansion of z in z 14.669 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 14.669 * [taylor]: Taking taylor expansion of (* x y) in y 14.669 * [taylor]: Taking taylor expansion of x in y 14.669 * [taylor]: Taking taylor expansion of y in y 14.669 * [taylor]: Taking taylor expansion of z in y 14.670 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 14.670 * [taylor]: Taking taylor expansion of (* x y) in x 14.670 * [taylor]: Taking taylor expansion of x in x 14.670 * [taylor]: Taking taylor expansion of y in x 14.670 * [taylor]: Taking taylor expansion of z in x 14.670 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 14.670 * [taylor]: Taking taylor expansion of (* x y) in x 14.670 * [taylor]: Taking taylor expansion of x in x 14.670 * [taylor]: Taking taylor expansion of y in x 14.670 * [taylor]: Taking taylor expansion of z in x 14.671 * [taylor]: Taking taylor expansion of (/ y z) in y 14.671 * [taylor]: Taking taylor expansion of y in y 14.671 * [taylor]: Taking taylor expansion of z in y 14.671 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.671 * [taylor]: Taking taylor expansion of z in z 14.672 * [taylor]: Taking taylor expansion of 0 in y 14.672 * [taylor]: Taking taylor expansion of 0 in z 14.672 * [taylor]: Taking taylor expansion of 0 in z 14.674 * [taylor]: Taking taylor expansion of 0 in y 14.674 * [taylor]: Taking taylor expansion of 0 in z 14.674 * [taylor]: Taking taylor expansion of 0 in z 14.674 * [taylor]: Taking taylor expansion of 0 in z 14.676 * [taylor]: Taking taylor expansion of 0 in y 14.676 * [taylor]: Taking taylor expansion of 0 in z 14.676 * [taylor]: Taking taylor expansion of 0 in z 14.676 * [taylor]: Taking taylor expansion of 0 in z 14.676 * [taylor]: Taking taylor expansion of 0 in z 14.676 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 14.676 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.676 * [taylor]: Taking taylor expansion of z in z 14.676 * [taylor]: Taking taylor expansion of (* x y) in z 14.676 * [taylor]: Taking taylor expansion of x in z 14.676 * [taylor]: Taking taylor expansion of y in z 14.677 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 14.677 * [taylor]: Taking taylor expansion of z in y 14.677 * [taylor]: Taking taylor expansion of (* x y) in y 14.677 * [taylor]: Taking taylor expansion of x in y 14.677 * [taylor]: Taking taylor expansion of y in y 14.677 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.677 * [taylor]: Taking taylor expansion of z in x 14.677 * [taylor]: Taking taylor expansion of (* x y) in x 14.677 * [taylor]: Taking taylor expansion of x in x 14.677 * [taylor]: Taking taylor expansion of y in x 14.677 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.678 * [taylor]: Taking taylor expansion of z in x 14.678 * [taylor]: Taking taylor expansion of (* x y) in x 14.678 * [taylor]: Taking taylor expansion of x in x 14.678 * [taylor]: Taking taylor expansion of y in x 14.678 * [taylor]: Taking taylor expansion of (/ z y) in y 14.678 * [taylor]: Taking taylor expansion of z in y 14.678 * [taylor]: Taking taylor expansion of y in y 14.678 * [taylor]: Taking taylor expansion of z in z 14.679 * [taylor]: Taking taylor expansion of 0 in y 14.679 * [taylor]: Taking taylor expansion of 0 in z 14.680 * [taylor]: Taking taylor expansion of 0 in y 14.681 * [taylor]: Taking taylor expansion of 0 in z 14.681 * [taylor]: Taking taylor expansion of 0 in z 14.682 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 14.682 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 14.682 * [taylor]: Taking taylor expansion of -1 in z 14.682 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 14.682 * [taylor]: Taking taylor expansion of z in z 14.682 * [taylor]: Taking taylor expansion of (* x y) in z 14.682 * [taylor]: Taking taylor expansion of x in z 14.682 * [taylor]: Taking taylor expansion of y in z 14.682 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 14.682 * [taylor]: Taking taylor expansion of -1 in y 14.682 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 14.682 * [taylor]: Taking taylor expansion of z in y 14.682 * [taylor]: Taking taylor expansion of (* x y) in y 14.682 * [taylor]: Taking taylor expansion of x in y 14.682 * [taylor]: Taking taylor expansion of y in y 14.683 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 14.683 * [taylor]: Taking taylor expansion of -1 in x 14.683 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.683 * [taylor]: Taking taylor expansion of z in x 14.683 * [taylor]: Taking taylor expansion of (* x y) in x 14.683 * [taylor]: Taking taylor expansion of x in x 14.683 * [taylor]: Taking taylor expansion of y in x 14.683 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 14.683 * [taylor]: Taking taylor expansion of -1 in x 14.683 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 14.683 * [taylor]: Taking taylor expansion of z in x 14.683 * [taylor]: Taking taylor expansion of (* x y) in x 14.683 * [taylor]: Taking taylor expansion of x in x 14.683 * [taylor]: Taking taylor expansion of y in x 14.684 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 14.684 * [taylor]: Taking taylor expansion of -1 in y 14.684 * [taylor]: Taking taylor expansion of (/ z y) in y 14.684 * [taylor]: Taking taylor expansion of z in y 14.684 * [taylor]: Taking taylor expansion of y in y 14.684 * [taylor]: Taking taylor expansion of (* -1 z) in z 14.684 * [taylor]: Taking taylor expansion of -1 in z 14.684 * [taylor]: Taking taylor expansion of z in z 14.685 * [taylor]: Taking taylor expansion of 0 in y 14.686 * [taylor]: Taking taylor expansion of 0 in z 14.688 * [taylor]: Taking taylor expansion of 0 in y 14.688 * [taylor]: Taking taylor expansion of 0 in z 14.690 * [taylor]: Taking taylor expansion of 0 in z 14.691 * * * [progress]: simplifying candidates 14.691 * [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.693 * * [simplify]: iteration 0 : 50 enodes (cost 198 ) 14.702 * * [simplify]: iteration 1 : 113 enodes (cost 191 ) 14.725 * * [simplify]: iteration 2 : 385 enodes (cost 161 ) 15.066 * * [simplify]: iteration 3 : 1802 enodes (cost 161 ) 16.900 * * [simplify]: iteration done : 5000 enodes (cost 161 ) 16.900 * [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.900 * * * [progress]: adding candidates to table 16.946 * * [progress]: iteration 4 / 4 16.946 * * * [progress]: picking best candidate 16.953 * * * * [pick]: Picked # 16.953 * * * [progress]: localizing error 16.959 * * * [progress]: generating rewritten candidates 16.959 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 16.965 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 16.999 * * * [progress]: generating series expansions 17.000 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 17.000 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 17.000 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 17.000 * [taylor]: Taking taylor expansion of z in y 17.000 * [taylor]: Taking taylor expansion of (* x y) in y 17.000 * [taylor]: Taking taylor expansion of x in y 17.000 * [taylor]: Taking taylor expansion of y in y 17.001 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 17.001 * [taylor]: Taking taylor expansion of z in x 17.001 * [taylor]: Taking taylor expansion of (* x y) in x 17.001 * [taylor]: Taking taylor expansion of x in x 17.001 * [taylor]: Taking taylor expansion of y in x 17.001 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.001 * [taylor]: Taking taylor expansion of z in z 17.001 * [taylor]: Taking taylor expansion of (* x y) in z 17.001 * [taylor]: Taking taylor expansion of x in z 17.001 * [taylor]: Taking taylor expansion of y in z 17.001 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.001 * [taylor]: Taking taylor expansion of z in z 17.001 * [taylor]: Taking taylor expansion of (* x y) in z 17.001 * [taylor]: Taking taylor expansion of x in z 17.001 * [taylor]: Taking taylor expansion of y in z 17.001 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.001 * [taylor]: Taking taylor expansion of (* x y) in x 17.001 * [taylor]: Taking taylor expansion of x in x 17.001 * [taylor]: Taking taylor expansion of y in x 17.002 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.002 * [taylor]: Taking taylor expansion of y in y 17.002 * [taylor]: Taking taylor expansion of 0 in x 17.003 * [taylor]: Taking taylor expansion of 0 in y 17.004 * [taylor]: Taking taylor expansion of 0 in x 17.004 * [taylor]: Taking taylor expansion of 0 in y 17.005 * [taylor]: Taking taylor expansion of 0 in y 17.007 * [taylor]: Taking taylor expansion of 0 in x 17.007 * [taylor]: Taking taylor expansion of 0 in y 17.007 * [taylor]: Taking taylor expansion of 0 in y 17.008 * [taylor]: Taking taylor expansion of 0 in y 17.008 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 17.008 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 17.008 * [taylor]: Taking taylor expansion of (* x y) in y 17.008 * [taylor]: Taking taylor expansion of x in y 17.008 * [taylor]: Taking taylor expansion of y in y 17.008 * [taylor]: Taking taylor expansion of z in y 17.009 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 17.009 * [taylor]: Taking taylor expansion of (* x y) in x 17.009 * [taylor]: Taking taylor expansion of x in x 17.009 * [taylor]: Taking taylor expansion of y in x 17.009 * [taylor]: Taking taylor expansion of z in x 17.009 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.009 * [taylor]: Taking taylor expansion of (* x y) in z 17.009 * [taylor]: Taking taylor expansion of x in z 17.009 * [taylor]: Taking taylor expansion of y in z 17.009 * [taylor]: Taking taylor expansion of z in z 17.009 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.009 * [taylor]: Taking taylor expansion of (* x y) in z 17.009 * [taylor]: Taking taylor expansion of x in z 17.009 * [taylor]: Taking taylor expansion of y in z 17.009 * [taylor]: Taking taylor expansion of z in z 17.010 * [taylor]: Taking taylor expansion of (* x y) in x 17.010 * [taylor]: Taking taylor expansion of x in x 17.010 * [taylor]: Taking taylor expansion of y in x 17.010 * [taylor]: Taking taylor expansion of y in y 17.011 * [taylor]: Taking taylor expansion of 0 in x 17.011 * [taylor]: Taking taylor expansion of 0 in y 17.011 * [taylor]: Taking taylor expansion of 0 in y 17.012 * [taylor]: Taking taylor expansion of 0 in x 17.013 * [taylor]: Taking taylor expansion of 0 in y 17.013 * [taylor]: Taking taylor expansion of 0 in y 17.013 * [taylor]: Taking taylor expansion of 0 in y 17.014 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0 17.014 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 17.014 * [taylor]: Taking taylor expansion of -1 in y 17.014 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 17.014 * [taylor]: Taking taylor expansion of (* x y) in y 17.014 * [taylor]: Taking taylor expansion of x in y 17.014 * [taylor]: Taking taylor expansion of y in y 17.014 * [taylor]: Taking taylor expansion of z in y 17.014 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 17.014 * [taylor]: Taking taylor expansion of -1 in x 17.014 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 17.014 * [taylor]: Taking taylor expansion of (* x y) in x 17.014 * [taylor]: Taking taylor expansion of x in x 17.014 * [taylor]: Taking taylor expansion of y in x 17.014 * [taylor]: Taking taylor expansion of z in x 17.015 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 17.015 * [taylor]: Taking taylor expansion of -1 in z 17.015 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.015 * [taylor]: Taking taylor expansion of (* x y) in z 17.015 * [taylor]: Taking taylor expansion of x in z 17.015 * [taylor]: Taking taylor expansion of y in z 17.015 * [taylor]: Taking taylor expansion of z in z 17.015 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 17.015 * [taylor]: Taking taylor expansion of -1 in z 17.015 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.015 * [taylor]: Taking taylor expansion of (* x y) in z 17.015 * [taylor]: Taking taylor expansion of x in z 17.015 * [taylor]: Taking taylor expansion of y in z 17.015 * [taylor]: Taking taylor expansion of z in z 17.015 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x 17.015 * [taylor]: Taking taylor expansion of -1 in x 17.015 * [taylor]: Taking taylor expansion of (* x y) in x 17.015 * [taylor]: Taking taylor expansion of x in x 17.015 * [taylor]: Taking taylor expansion of y in x 17.016 * [taylor]: Taking taylor expansion of (- y) in y 17.016 * [taylor]: Taking taylor expansion of y in y 17.017 * [taylor]: Taking taylor expansion of 0 in x 17.017 * [taylor]: Taking taylor expansion of 0 in y 17.018 * [taylor]: Taking taylor expansion of 0 in y 17.021 * [taylor]: Taking taylor expansion of 0 in x 17.021 * [taylor]: Taking taylor expansion of 0 in y 17.021 * [taylor]: Taking taylor expansion of 0 in y 17.022 * [taylor]: Taking taylor expansion of 0 in y 17.022 * * * * [progress]: [ 2 / 2 ] generating series at (2) 17.023 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0 17.023 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 17.023 * [taylor]: Taking taylor expansion of (* x y) in y 17.023 * [taylor]: Taking taylor expansion of x in y 17.023 * [taylor]: Taking taylor expansion of y in y 17.023 * [taylor]: Taking taylor expansion of z in y 17.023 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 17.023 * [taylor]: Taking taylor expansion of (* x y) in x 17.023 * [taylor]: Taking taylor expansion of x in x 17.023 * [taylor]: Taking taylor expansion of y in x 17.023 * [taylor]: Taking taylor expansion of z in x 17.023 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.023 * [taylor]: Taking taylor expansion of (* x y) in z 17.024 * [taylor]: Taking taylor expansion of x in z 17.024 * [taylor]: Taking taylor expansion of y in z 17.024 * [taylor]: Taking taylor expansion of z in z 17.024 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 17.024 * [taylor]: Taking taylor expansion of (* x y) in z 17.024 * [taylor]: Taking taylor expansion of x in z 17.024 * [taylor]: Taking taylor expansion of y in z 17.024 * [taylor]: Taking taylor expansion of z in z 17.024 * [taylor]: Taking taylor expansion of (* x y) in x 17.024 * [taylor]: Taking taylor expansion of x in x 17.024 * [taylor]: Taking taylor expansion of y in x 17.024 * [taylor]: Taking taylor expansion of y in y 17.025 * [taylor]: Taking taylor expansion of 0 in x 17.025 * [taylor]: Taking taylor expansion of 0 in y 17.025 * [taylor]: Taking taylor expansion of 0 in y 17.027 * [taylor]: Taking taylor expansion of 0 in x 17.027 * [taylor]: Taking taylor expansion of 0 in y 17.027 * [taylor]: Taking taylor expansion of 0 in y 17.028 * [taylor]: Taking taylor expansion of 0 in y 17.028 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0 17.028 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 17.028 * [taylor]: Taking taylor expansion of z in y 17.028 * [taylor]: Taking taylor expansion of (* x y) in y 17.028 * [taylor]: Taking taylor expansion of x in y 17.028 * [taylor]: Taking taylor expansion of y in y 17.029 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 17.029 * [taylor]: Taking taylor expansion of z in x 17.029 * [taylor]: Taking taylor expansion of (* x y) in x 17.029 * [taylor]: Taking taylor expansion of x in x 17.029 * [taylor]: Taking taylor expansion of y in x 17.029 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.029 * [taylor]: Taking taylor expansion of z in z 17.029 * [taylor]: Taking taylor expansion of (* x y) in z 17.029 * [taylor]: Taking taylor expansion of x in z 17.029 * [taylor]: Taking taylor expansion of y in z 17.029 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.029 * [taylor]: Taking taylor expansion of z in z 17.029 * [taylor]: Taking taylor expansion of (* x y) in z 17.029 * [taylor]: Taking taylor expansion of x in z 17.029 * [taylor]: Taking taylor expansion of y in z 17.029 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 17.029 * [taylor]: Taking taylor expansion of (* x y) in x 17.029 * [taylor]: Taking taylor expansion of x in x 17.029 * [taylor]: Taking taylor expansion of y in x 17.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.030 * [taylor]: Taking taylor expansion of y in y 17.030 * [taylor]: Taking taylor expansion of 0 in x 17.031 * [taylor]: Taking taylor expansion of 0 in y 17.032 * [taylor]: Taking taylor expansion of 0 in x 17.032 * [taylor]: Taking taylor expansion of 0 in y 17.033 * [taylor]: Taking taylor expansion of 0 in y 17.034 * [taylor]: Taking taylor expansion of 0 in x 17.034 * [taylor]: Taking taylor expansion of 0 in y 17.034 * [taylor]: Taking taylor expansion of 0 in y 17.035 * [taylor]: Taking taylor expansion of 0 in y 17.036 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0 17.036 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 17.036 * [taylor]: Taking taylor expansion of -1 in y 17.036 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 17.036 * [taylor]: Taking taylor expansion of z in y 17.036 * [taylor]: Taking taylor expansion of (* x y) in y 17.036 * [taylor]: Taking taylor expansion of x in y 17.036 * [taylor]: Taking taylor expansion of y in y 17.036 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 17.036 * [taylor]: Taking taylor expansion of -1 in x 17.036 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 17.036 * [taylor]: Taking taylor expansion of z in x 17.036 * [taylor]: Taking taylor expansion of (* x y) in x 17.036 * [taylor]: Taking taylor expansion of x in x 17.036 * [taylor]: Taking taylor expansion of y in x 17.037 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 17.037 * [taylor]: Taking taylor expansion of -1 in z 17.037 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.037 * [taylor]: Taking taylor expansion of z in z 17.037 * [taylor]: Taking taylor expansion of (* x y) in z 17.037 * [taylor]: Taking taylor expansion of x in z 17.037 * [taylor]: Taking taylor expansion of y in z 17.037 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 17.037 * [taylor]: Taking taylor expansion of -1 in z 17.037 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 17.037 * [taylor]: Taking taylor expansion of z in z 17.037 * [taylor]: Taking taylor expansion of (* x y) in z 17.037 * [taylor]: Taking taylor expansion of x in z 17.037 * [taylor]: Taking taylor expansion of y in z 17.037 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x 17.037 * [taylor]: Taking taylor expansion of -1 in x 17.037 * [taylor]: Taking taylor expansion of (* x y) in x 17.037 * [taylor]: Taking taylor expansion of x in x 17.037 * [taylor]: Taking taylor expansion of y in x 17.038 * [taylor]: Taking taylor expansion of (/ -1 y) in y 17.038 * [taylor]: Taking taylor expansion of -1 in y 17.038 * [taylor]: Taking taylor expansion of y in y 17.038 * [taylor]: Taking taylor expansion of 0 in x 17.039 * [taylor]: Taking taylor expansion of 0 in y 17.041 * [taylor]: Taking taylor expansion of 0 in x 17.041 * [taylor]: Taking taylor expansion of 0 in y 17.042 * [taylor]: Taking taylor expansion of 0 in y 17.044 * [taylor]: Taking taylor expansion of 0 in x 17.044 * [taylor]: Taking taylor expansion of 0 in y 17.044 * [taylor]: Taking taylor expansion of 0 in y 17.045 * [taylor]: Taking taylor expansion of 0 in y 17.046 * * * [progress]: simplifying candidates 17.049 * [simplify]: Simplifying using # : (expm1 (/ (/ z x) y)) (log1p (/ (/ z x) y)) (- (- (log z) (log x)) (log y)) (- (log (/ z x)) (log y)) (log (/ (/ z x) y)) (exp (/ (/ z x) y)) (/ (/ (* (* z z) z) (* (* x x) x)) (* (* y y) y)) (/ (* (* (/ z x) (/ z x)) (/ z x)) (* (* y y) y)) (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y))) (cbrt (/ (/ z x) y)) (* (* (/ (/ z x) y) (/ (/ z x) y)) (/ (/ z x) y)) (sqrt (/ (/ z x) y)) (sqrt (/ (/ z x) y)) (- (/ z x)) (- y) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (* (cbrt y) (cbrt y))) (/ (cbrt (/ z x)) (cbrt y)) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y)) (/ (cbrt (/ z x)) (sqrt y)) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) 1) (/ (cbrt (/ z x)) y) (/ (sqrt (/ z x)) (* (cbrt y) (cbrt y))) (/ (sqrt (/ z x)) (cbrt y)) (/ (sqrt (/ z x)) (sqrt y)) (/ (sqrt (/ z x)) (sqrt y)) (/ (sqrt (/ z x)) 1) (/ (sqrt (/ z x)) y) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (/ (/ (cbrt z) (cbrt x)) (cbrt y)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (sqrt y)) (/ (/ (cbrt z) (cbrt x)) (sqrt y)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) 1) (/ (/ (cbrt z) (cbrt x)) y) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (* (cbrt y) (cbrt y))) (/ (/ (cbrt z) (sqrt x)) (cbrt y)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (sqrt y)) (/ (/ (cbrt z) (sqrt x)) (sqrt y)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) 1) (/ (/ (cbrt z) (sqrt x)) y) (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y))) (/ (/ (cbrt z) x) (cbrt y)) (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y)) (/ (/ (cbrt z) x) (sqrt y)) (/ (/ (* (cbrt z) (cbrt z)) 1) 1) (/ (/ (cbrt z) x) y) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (/ (/ (sqrt z) (cbrt x)) (cbrt y)) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (sqrt y)) (/ (/ (sqrt z) (cbrt x)) (sqrt y)) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) 1) (/ (/ (sqrt z) (cbrt x)) y) (/ (/ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))) (/ (/ (sqrt z) (sqrt x)) (cbrt y)) (/ (/ (sqrt z) (sqrt x)) (sqrt y)) (/ (/ (sqrt z) (sqrt x)) (sqrt y)) (/ (/ (sqrt z) (sqrt x)) 1) (/ (/ (sqrt z) (sqrt x)) y) (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y))) (/ (/ (sqrt z) x) (cbrt y)) (/ (/ (sqrt z) 1) (sqrt y)) (/ (/ (sqrt z) x) (sqrt y)) (/ (/ (sqrt z) 1) 1) (/ (/ (sqrt z) x) y) (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))) (/ (/ z (cbrt x)) (cbrt y)) (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt y)) (/ (/ z (cbrt x)) (sqrt y)) (/ (/ 1 (* (cbrt x) (cbrt x))) 1) (/ (/ z (cbrt x)) y) (/ (/ 1 (sqrt x)) (* (cbrt y) (cbrt y))) (/ (/ z (sqrt x)) (cbrt y)) (/ (/ 1 (sqrt x)) (sqrt y)) (/ (/ z (sqrt x)) (sqrt y)) (/ (/ 1 (sqrt x)) 1) (/ (/ z (sqrt x)) y) (/ (/ 1 1) (* (cbrt y) (cbrt y))) (/ (/ z x) (cbrt y)) (/ (/ 1 1) (sqrt y)) (/ (/ z x) (sqrt y)) (/ (/ 1 1) 1) (/ (/ z x) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ z x) (cbrt y)) (/ 1 (sqrt y)) (/ (/ z x) (sqrt y)) (/ 1 1) (/ (/ z x) y) (/ z (* (cbrt y) (cbrt y))) (/ (/ 1 x) (cbrt y)) (/ z (sqrt y)) (/ (/ 1 x) (sqrt y)) (/ z 1) (/ (/ 1 x) y) (/ 1 y) (/ y (/ z x)) (/ (/ z x) (* (cbrt y) (cbrt y))) (/ (/ z x) (sqrt y)) (/ (/ z x) 1) (/ y (cbrt (/ z x))) (/ y (sqrt (/ z x))) (/ y (/ (cbrt z) (cbrt x))) (/ y (/ (cbrt z) (sqrt x))) (/ y (/ (cbrt z) x)) (/ y (/ (sqrt z) (cbrt x))) (/ y (/ (sqrt z) (sqrt x))) (/ y (/ (sqrt z) x)) (/ y (/ z (cbrt x))) (/ y (/ z (sqrt x))) (/ y (/ z x)) (/ y (/ z x)) (/ y (/ 1 x)) (* y x) (expm1 (/ 1 (/ (/ z x) y))) (log1p (/ 1 (/ (/ z x) y))) (- 1) (- (- (- (log z) (log x)) (log y))) (- (- (log (/ z x)) (log y))) (- (log (/ (/ z x) y))) (- 0 (- (- (log z) (log x)) (log y))) (- 0 (- (log (/ z x)) (log y))) (- 0 (log (/ (/ z x) y))) (- (log 1) (- (- (log z) (log x)) (log y))) (- (log 1) (- (log (/ z x)) (log y))) (- (log 1) (log (/ (/ z x) y))) (log (/ 1 (/ (/ z x) y))) (exp (/ 1 (/ (/ z x) y))) (/ (* (* 1 1) 1) (/ (/ (* (* z z) z) (* (* x x) x)) (* (* y y) y))) (/ (* (* 1 1) 1) (/ (* (* (/ z x) (/ z x)) (/ z x)) (* (* y y) y))) (/ (* (* 1 1) 1) (* (* (/ (/ z x) y) (/ (/ z x) y)) (/ (/ z x) y))) (* (cbrt (/ 1 (/ (/ z x) y))) (cbrt (/ 1 (/ (/ z x) y)))) (cbrt (/ 1 (/ (/ z x) y))) (* (* (/ 1 (/ (/ z x) y)) (/ 1 (/ (/ z x) y))) (/ 1 (/ (/ z x) y))) (sqrt (/ 1 (/ (/ z x) y))) (sqrt (/ 1 (/ (/ z x) y))) (- 1) (- (/ (/ z x) y)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y)))) (/ (cbrt 1) (cbrt (/ (/ z x) y))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (/ z x) y))) (/ (cbrt 1) (sqrt (/ (/ z x) y))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (cbrt (/ z x)) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y))) (/ (cbrt 1) (/ (cbrt (/ z x)) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) 1)) (/ (cbrt 1) (/ (cbrt (/ z x)) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z x)) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (sqrt (/ z x)) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z x)) (sqrt y))) (/ (cbrt 1) (/ (sqrt (/ z x)) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z x)) 1)) (/ (cbrt 1) (/ (sqrt (/ z x)) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (/ (cbrt z) (cbrt x)) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (sqrt y))) (/ (cbrt 1) (/ (/ (cbrt z) (cbrt x)) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) 1)) (/ (cbrt 1) (/ (/ (cbrt z) (cbrt x)) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (/ (cbrt z) (sqrt x)) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (sqrt y))) (/ (cbrt 1) (/ (/ (cbrt z) (sqrt x)) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) 1)) (/ (cbrt 1) (/ (/ (cbrt z) (sqrt x)) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (/ (cbrt z) x) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y))) (/ (cbrt 1) (/ (/ (cbrt z) x) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) 1)) (/ (cbrt 1) (/ (/ (cbrt z) x) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (/ (sqrt z) (cbrt x)) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (sqrt y))) (/ (cbrt 1) (/ (/ (sqrt z) (cbrt x)) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) 1)) (/ (cbrt 1) (/ (/ (sqrt z) (cbrt x)) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (/ (sqrt z) (sqrt x)) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt x)) (sqrt y))) (/ (cbrt 1) (/ (/ (sqrt z) (sqrt x)) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt x)) 1)) (/ (cbrt 1) (/ (/ (sqrt z) (sqrt x)) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (/ (sqrt z) x) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) (sqrt y))) (/ (cbrt 1) (/ (/ (sqrt z) x) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) 1)) (/ (cbrt 1) (/ (/ (sqrt z) x) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (/ z (cbrt x)) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt y))) (/ (cbrt 1) (/ (/ z (cbrt x)) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (/ (cbrt 1) (/ (/ z (cbrt x)) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt x)) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (/ z (sqrt x)) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt x)) (sqrt y))) (/ (cbrt 1) (/ (/ z (sqrt x)) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt x)) 1)) (/ (cbrt 1) (/ (/ z (sqrt x)) y)) (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (/ z x) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) (sqrt y))) (/ (cbrt 1) (/ (/ z x) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) 1)) (/ (cbrt 1) (/ (/ z x) y)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (/ z x) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt y))) (/ (cbrt 1) (/ (/ z x) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ 1 1)) (/ (cbrt 1) (/ (/ z x) y)) (/ (* (cbrt 1) (cbrt 1)) (/ z (* (cbrt y) (cbrt y)))) (/ (cbrt 1) (/ (/ 1 x) (cbrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ z (sqrt y))) (/ (cbrt 1) (/ (/ 1 x) (sqrt y))) (/ (* (cbrt 1) (cbrt 1)) (/ z 1)) (/ (cbrt 1) (/ (/ 1 x) y)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ (/ z x) y)) (/ (* (cbrt 1) (cbrt 1)) (/ z x)) (/ (cbrt 1) (/ 1 y)) (/ (sqrt 1) (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y)))) (/ (sqrt 1) (cbrt (/ (/ z x) y))) (/ (sqrt 1) (sqrt (/ (/ z x) y))) (/ (sqrt 1) (sqrt (/ (/ z x) y))) (/ (sqrt 1) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (cbrt (/ z x)) (cbrt y))) (/ (sqrt 1) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y))) (/ (sqrt 1) (/ (cbrt (/ z x)) (sqrt y))) (/ (sqrt 1) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) 1)) (/ (sqrt 1) (/ (cbrt (/ z x)) y)) (/ (sqrt 1) (/ (sqrt (/ z x)) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (sqrt (/ z x)) (cbrt y))) (/ (sqrt 1) (/ (sqrt (/ z x)) (sqrt y))) (/ (sqrt 1) (/ (sqrt (/ z x)) (sqrt y))) (/ (sqrt 1) (/ (sqrt (/ z x)) 1)) (/ (sqrt 1) (/ (sqrt (/ z x)) y)) (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (/ (cbrt z) (cbrt x)) (cbrt y))) (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (sqrt y))) (/ (sqrt 1) (/ (/ (cbrt z) (cbrt x)) (sqrt y))) (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) 1)) (/ (sqrt 1) (/ (/ (cbrt z) (cbrt x)) y)) (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (/ (cbrt z) (sqrt x)) (cbrt y))) (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (sqrt y))) (/ (sqrt 1) (/ (/ (cbrt z) (sqrt x)) (sqrt y))) (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) 1)) (/ (sqrt 1) (/ (/ (cbrt z) (sqrt x)) y)) (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (/ (cbrt z) x) (cbrt y))) (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y))) (/ (sqrt 1) (/ (/ (cbrt z) x) (sqrt y))) (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) 1)) (/ (sqrt 1) (/ (/ (cbrt z) x) y)) (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (/ (sqrt z) (cbrt x)) (cbrt y))) (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (sqrt y))) (/ (sqrt 1) (/ (/ (sqrt z) (cbrt x)) (sqrt y))) (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) 1)) (/ (sqrt 1) (/ (/ (sqrt z) (cbrt x)) y)) (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) (cbrt y))) (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) (sqrt y))) (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) (sqrt y))) (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) 1)) (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) y)) (/ (sqrt 1) (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (/ (sqrt z) x) (cbrt y))) (/ (sqrt 1) (/ (/ (sqrt z) 1) (sqrt y))) (/ (sqrt 1) (/ (/ (sqrt z) x) (sqrt y))) (/ (sqrt 1) (/ (/ (sqrt z) 1) 1)) (/ (sqrt 1) (/ (/ (sqrt z) x) y)) (/ (sqrt 1) (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (/ z (cbrt x)) (cbrt y))) (/ (sqrt 1) (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt y))) (/ (sqrt 1) (/ (/ z (cbrt x)) (sqrt y))) (/ (sqrt 1) (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (/ (sqrt 1) (/ (/ z (cbrt x)) y)) (/ (sqrt 1) (/ (/ 1 (sqrt x)) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (/ z (sqrt x)) (cbrt y))) (/ (sqrt 1) (/ (/ 1 (sqrt x)) (sqrt y))) (/ (sqrt 1) (/ (/ z (sqrt x)) (sqrt y))) (/ (sqrt 1) (/ (/ 1 (sqrt x)) 1)) (/ (sqrt 1) (/ (/ z (sqrt x)) y)) (/ (sqrt 1) (/ (/ 1 1) (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (/ z x) (cbrt y))) (/ (sqrt 1) (/ (/ 1 1) (sqrt y))) (/ (sqrt 1) (/ (/ z x) (sqrt y))) (/ (sqrt 1) (/ (/ 1 1) 1)) (/ (sqrt 1) (/ (/ z x) y)) (/ (sqrt 1) (/ 1 (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (/ z x) (cbrt y))) (/ (sqrt 1) (/ 1 (sqrt y))) (/ (sqrt 1) (/ (/ z x) (sqrt y))) (/ (sqrt 1) (/ 1 1)) (/ (sqrt 1) (/ (/ z x) y)) (/ (sqrt 1) (/ z (* (cbrt y) (cbrt y)))) (/ (sqrt 1) (/ (/ 1 x) (cbrt y))) (/ (sqrt 1) (/ z (sqrt y))) (/ (sqrt 1) (/ (/ 1 x) (sqrt y))) (/ (sqrt 1) (/ z 1)) (/ (sqrt 1) (/ (/ 1 x) y)) (/ (sqrt 1) 1) (/ (sqrt 1) (/ (/ z x) y)) (/ (sqrt 1) (/ z x)) (/ (sqrt 1) (/ 1 y)) (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y)))) (/ 1 (cbrt (/ (/ z x) y))) (/ 1 (sqrt (/ (/ z x) y))) (/ 1 (sqrt (/ (/ z x) y))) (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (* (cbrt y) (cbrt y)))) (/ 1 (/ (cbrt (/ z x)) (cbrt y))) (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y))) (/ 1 (/ (cbrt (/ z x)) (sqrt y))) (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) 1)) (/ 1 (/ (cbrt (/ z x)) y)) (/ 1 (/ (sqrt (/ z x)) (* (cbrt y) (cbrt y)))) (/ 1 (/ (sqrt (/ z x)) (cbrt y))) (/ 1 (/ (sqrt (/ z x)) (sqrt y))) (/ 1 (/ (sqrt (/ z x)) (sqrt y))) (/ 1 (/ (sqrt (/ z x)) 1)) (/ 1 (/ (sqrt (/ z x)) y)) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (cbrt z) (cbrt x)) (cbrt y))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (sqrt y))) (/ 1 (/ (/ (cbrt z) (cbrt x)) (sqrt y))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) 1)) (/ 1 (/ (/ (cbrt z) (cbrt x)) y)) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (cbrt z) (sqrt x)) (cbrt y))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (sqrt y))) (/ 1 (/ (/ (cbrt z) (sqrt x)) (sqrt y))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) 1)) (/ 1 (/ (/ (cbrt z) (sqrt x)) y)) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (cbrt z) x) (cbrt y))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y))) (/ 1 (/ (/ (cbrt z) x) (sqrt y))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) 1)) (/ 1 (/ (/ (cbrt z) x) y)) (/ 1 (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (sqrt z) (cbrt x)) (cbrt y))) (/ 1 (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (sqrt y))) (/ 1 (/ (/ (sqrt z) (cbrt x)) (sqrt y))) (/ 1 (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) 1)) (/ 1 (/ (/ (sqrt z) (cbrt x)) y)) (/ 1 (/ (/ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (sqrt z) (sqrt x)) (cbrt y))) (/ 1 (/ (/ (sqrt z) (sqrt x)) (sqrt y))) (/ 1 (/ (/ (sqrt z) (sqrt x)) (sqrt y))) (/ 1 (/ (/ (sqrt z) (sqrt x)) 1)) (/ 1 (/ (/ (sqrt z) (sqrt x)) y)) (/ 1 (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (sqrt z) x) (cbrt y))) (/ 1 (/ (/ (sqrt z) 1) (sqrt y))) (/ 1 (/ (/ (sqrt z) x) (sqrt y))) (/ 1 (/ (/ (sqrt z) 1) 1)) (/ 1 (/ (/ (sqrt z) x) y)) (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ z (cbrt x)) (cbrt y))) (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt y))) (/ 1 (/ (/ z (cbrt x)) (sqrt y))) (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (/ 1 (/ (/ z (cbrt x)) y)) (/ 1 (/ (/ 1 (sqrt x)) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ z (sqrt x)) (cbrt y))) (/ 1 (/ (/ 1 (sqrt x)) (sqrt y))) (/ 1 (/ (/ z (sqrt x)) (sqrt y))) (/ 1 (/ (/ 1 (sqrt x)) 1)) (/ 1 (/ (/ z (sqrt x)) y)) (/ 1 (/ (/ 1 1) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ z x) (cbrt y))) (/ 1 (/ (/ 1 1) (sqrt y))) (/ 1 (/ (/ z x) (sqrt y))) (/ 1 (/ (/ 1 1) 1)) (/ 1 (/ (/ z x) y)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ z x) (cbrt y))) (/ 1 (/ 1 (sqrt y))) (/ 1 (/ (/ z x) (sqrt y))) (/ 1 (/ 1 1)) (/ 1 (/ (/ z x) y)) (/ 1 (/ z (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ 1 x) (cbrt y))) (/ 1 (/ z (sqrt y))) (/ 1 (/ (/ 1 x) (sqrt y))) (/ 1 (/ z 1)) (/ 1 (/ (/ 1 x) y)) (/ 1 1) (/ 1 (/ (/ z x) y)) (/ 1 (/ z x)) (/ 1 (/ 1 y)) (/ 1 (/ (/ z x) y)) (/ (/ (/ z x) y) 1) (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y)))) (/ 1 (sqrt (/ (/ z x) y))) (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (* (cbrt y) (cbrt y)))) (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y))) (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) 1)) (/ 1 (/ (sqrt (/ z x)) (* (cbrt y) (cbrt y)))) (/ 1 (/ (sqrt (/ z x)) (sqrt y))) (/ 1 (/ (sqrt (/ z x)) 1)) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (sqrt y))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) 1)) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (sqrt y))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) 1)) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y))) (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) 1)) (/ 1 (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (sqrt y))) (/ 1 (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) 1)) (/ 1 (/ (/ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (sqrt z) (sqrt x)) (sqrt y))) (/ 1 (/ (/ (sqrt z) (sqrt x)) 1)) (/ 1 (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ (sqrt z) 1) (sqrt y))) (/ 1 (/ (/ (sqrt z) 1) 1)) (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt y))) (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (/ 1 (/ (/ 1 (sqrt x)) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ 1 (sqrt x)) (sqrt y))) (/ 1 (/ (/ 1 (sqrt x)) 1)) (/ 1 (/ (/ 1 1) (* (cbrt y) (cbrt y)))) (/ 1 (/ (/ 1 1) (sqrt y))) (/ 1 (/ (/ 1 1) 1)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ 1 (/ 1 (sqrt y))) (/ 1 (/ 1 1)) (/ 1 (/ z (* (cbrt y) (cbrt y)))) (/ 1 (/ z (sqrt y))) (/ 1 (/ z 1)) (/ 1 1) (/ 1 (/ z x)) (/ (/ (/ z x) y) (cbrt 1)) (/ (/ (/ z x) y) (sqrt 1)) (/ (/ (/ z x) y) 1) (/ 1 (/ z x)) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 17.070 * * [simplify]: iteration 0 : 426 enodes (cost 4467 ) 17.458 * * [simplify]: iteration 1 : 1027 enodes (cost 3910 ) 18.421 * * [simplify]: iteration 2 : 2367 enodes (cost 3302 ) 19.208 * * [simplify]: iteration done : 5000 enodes (cost 3202 ) 19.209 * [simplify]: Simplified to: (expm1 (/ (/ z x) y)) (log1p (/ (/ z x) y)) (log (/ (/ z x) y)) (log (/ (/ z x) y)) (log (/ (/ z x) y)) (exp (/ (/ z x) y)) (pow (/ z (* x y)) 3) (pow (/ z (* x y)) 3) (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y))) (cbrt (/ (/ z x) y)) (pow (/ z (* x y)) 3) (sqrt (/ (/ z x) y)) (sqrt (/ (/ z x) y)) (- (/ z x)) (- y) (* (/ (cbrt (/ z x)) (* (cbrt y) (cbrt y))) (cbrt (/ z x))) (/ (cbrt (/ z x)) (cbrt y)) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y)) (/ (cbrt (/ z x)) (sqrt y)) (* (cbrt (/ z x)) (cbrt (/ z x))) (/ (cbrt (/ z x)) y) (/ (/ (sqrt (/ z x)) (cbrt y)) (cbrt y)) (/ (sqrt (/ z x)) (cbrt y)) (/ (sqrt (/ z x)) (sqrt y)) (/ (sqrt (/ z x)) (sqrt y)) (sqrt (/ z x)) (/ (sqrt (/ z x)) y) (/ (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (cbrt y)) (cbrt y)) (/ (/ (cbrt z) (cbrt x)) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (* (sqrt y) (cbrt x)) (cbrt x))) (/ (/ (cbrt z) (cbrt x)) (sqrt y)) (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x))) (/ (/ (cbrt z) (cbrt x)) y) (/ (cbrt z) (* (* (cbrt y) (cbrt y)) (/ (sqrt x) (cbrt z)))) (/ (/ (cbrt z) (sqrt x)) (cbrt y)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt x)) (/ (/ (cbrt z) (sqrt x)) (sqrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x)) (/ (/ (cbrt z) (sqrt x)) y) (/ (cbrt z) (/ (* (cbrt y) (cbrt y)) (cbrt z))) (/ (/ (cbrt z) x) (cbrt y)) (* (/ (cbrt z) (sqrt y)) (cbrt z)) (/ (/ (cbrt z) x) (sqrt y)) (* (cbrt z) (cbrt z)) (/ (/ (cbrt z) x) y) (/ (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (cbrt y)) (cbrt y)) (/ (/ (sqrt z) (cbrt x)) (cbrt y)) (/ (/ (sqrt z) (sqrt y)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt z) (cbrt x)) (sqrt y)) (/ (/ (sqrt z) (cbrt x)) (cbrt x)) (/ (/ (sqrt z) (cbrt x)) y) (/ (/ (sqrt z) (cbrt y)) (* (cbrt y) (sqrt x))) (/ (/ (sqrt z) (sqrt x)) (cbrt y)) (/ (/ (sqrt z) (sqrt y)) (sqrt x)) (/ (/ (sqrt z) (sqrt y)) (sqrt x)) (/ (sqrt z) (sqrt x)) (/ (/ (sqrt z) (sqrt x)) y) (/ (/ (sqrt z) (cbrt y)) (cbrt y)) (/ (/ (sqrt z) x) (cbrt y)) (/ (sqrt z) (sqrt y)) (/ (/ (sqrt z) x) (sqrt y)) (sqrt z) (/ (/ (sqrt z) x) y) (/ (/ (/ 1 (* (cbrt x) (cbrt x))) (cbrt y)) (cbrt y)) (/ (/ z (cbrt x)) (cbrt y)) (/ (/ 1 (cbrt x)) (* (sqrt y) (cbrt x))) (/ (/ z (cbrt x)) (sqrt y)) (/ (/ 1 (cbrt x)) (cbrt x)) (/ (/ z (cbrt x)) y) (/ (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt x)) (/ (/ z (sqrt x)) (cbrt y)) (/ 1 (* (sqrt y) (sqrt x))) (/ (/ z (sqrt x)) (sqrt y)) (/ 1 (sqrt x)) (/ (/ z (sqrt x)) y) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (/ z x) (cbrt y)) (/ 1 (sqrt y)) (/ (/ z x) (sqrt y)) 1 (/ z (* x y)) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (/ z x) (cbrt y)) (/ 1 (sqrt y)) (/ (/ z x) (sqrt y)) 1 (/ z (* x y)) (/ z (* (cbrt y) (cbrt y))) (/ (/ 1 x) (cbrt y)) (/ z (sqrt y)) (/ (/ 1 x) (sqrt y)) z (/ (/ 1 x) y) (/ 1 y) (* y (/ x z)) (/ (/ z x) (* (cbrt y) (cbrt y))) (/ (/ z x) (sqrt y)) (/ z x) (/ y (cbrt (/ z x))) (/ y (sqrt (/ z x))) (/ y (/ (cbrt z) (cbrt x))) (/ y (/ (cbrt z) (sqrt x))) (/ y (/ (cbrt z) x)) (/ y (/ (sqrt z) (cbrt x))) (/ y (/ (sqrt z) (sqrt x))) (/ y (/ (sqrt z) x)) (/ y (/ z (cbrt x))) (/ y (/ z (sqrt x))) (* y (/ x z)) (* y (/ x z)) (* y x) (* y x) (expm1 (/ (* x y) z)) (log1p (/ (* x y) z)) -1 (log (* y (/ x z))) (log (* y (/ x z))) (log (* y (/ x z))) (log (* y (/ x z))) (log (* y (/ x z))) (log (* y (/ x z))) (log (* y (/ x z))) (log (* y (/ x z))) (log (* y (/ x z))) (log (* y (/ x z))) (exp (* y (/ x z))) (pow (* y (/ x z)) 3) (pow (* y (/ x z)) 3) (pow (* y (/ x z)) 3) (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z))) (pow (* y (/ x z)) 3) (sqrt (* y (/ x z))) (sqrt (* y (/ x z))) -1 (- (/ (/ z x) y)) (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y)))) (/ 1 (cbrt (/ (/ z x) y))) (/ 1 (sqrt (/ (/ z x) y))) (/ 1 (sqrt (/ (/ z x) y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ 1 (/ (cbrt (/ z x)) (cbrt y))) (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (sqrt y) (cbrt (/ z x))) (/ (/ 1 (cbrt (/ z x))) (cbrt (/ z x))) (/ y (cbrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x))) (/ 1 (/ (sqrt (/ z x)) (cbrt y))) (/ (sqrt y) (sqrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ 1 (sqrt (/ z x))) (/ y (sqrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ 1 (/ (/ (cbrt z) (cbrt x)) (cbrt y))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (cbrt z) (cbrt x))) (/ (/ (* (cbrt x) (cbrt x)) (cbrt z)) (cbrt z)) (/ y (/ (cbrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (* (cbrt y) (/ (sqrt x) (cbrt z))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ (* (sqrt y) (sqrt x)) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ y (/ (cbrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (cbrt y)) (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (/ (cbrt z) x)) (/ 1 (* (cbrt z) (cbrt z))) (/ y (/ (cbrt z) x)) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ 1 (/ (/ (sqrt z) (cbrt x)) (cbrt y))) (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (sqrt z) (cbrt x))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ y (/ (sqrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x))) (/ 1 (/ (/ (sqrt z) (sqrt x)) (cbrt y))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ 1 (/ (sqrt z) (sqrt x))) (/ y (/ (sqrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ 1 (/ (/ (sqrt z) x) (cbrt y))) (/ (sqrt y) (sqrt z)) (/ (sqrt y) (/ (sqrt z) x)) (/ 1 (sqrt z)) (/ y (/ (sqrt z) x)) (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ 1 (/ (/ z (cbrt x)) (cbrt y))) (* (* (sqrt y) (cbrt x)) (cbrt x)) (/ (sqrt y) (/ z (cbrt x))) (* (cbrt x) (cbrt x)) (/ y (/ z (cbrt x))) (* (* (cbrt y) (cbrt y)) (sqrt x)) (/ 1 (/ (/ z (sqrt x)) (cbrt y))) (* (sqrt y) (sqrt x)) (/ (sqrt y) (/ z (sqrt x))) (sqrt x) (/ y (/ z (sqrt x))) (* (cbrt y) (cbrt y)) (* (/ x z) (cbrt y)) (sqrt y) (/ (sqrt y) (/ z x)) 1 (* y (/ x z)) (* (cbrt y) (cbrt y)) (* (/ x z) (cbrt y)) (sqrt y) (/ (sqrt y) (/ z x)) 1 (* y (/ x z)) (/ (* (cbrt y) (cbrt y)) z) (* (cbrt y) x) (/ (sqrt y) z) (* x (sqrt y)) (/ 1 z) (* y x) 1 (* y (/ x z)) (/ x z) y (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y)))) (/ 1 (cbrt (/ (/ z x) y))) (/ 1 (sqrt (/ (/ z x) y))) (/ 1 (sqrt (/ (/ z x) y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ 1 (/ (cbrt (/ z x)) (cbrt y))) (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (sqrt y) (cbrt (/ z x))) (/ (/ 1 (cbrt (/ z x))) (cbrt (/ z x))) (/ y (cbrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x))) (/ 1 (/ (sqrt (/ z x)) (cbrt y))) (/ (sqrt y) (sqrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ 1 (sqrt (/ z x))) (/ y (sqrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ 1 (/ (/ (cbrt z) (cbrt x)) (cbrt y))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (cbrt z) (cbrt x))) (/ (/ (* (cbrt x) (cbrt x)) (cbrt z)) (cbrt z)) (/ y (/ (cbrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (* (cbrt y) (/ (sqrt x) (cbrt z))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ (* (sqrt y) (sqrt x)) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ y (/ (cbrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (cbrt y)) (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (/ (cbrt z) x)) (/ 1 (* (cbrt z) (cbrt z))) (/ y (/ (cbrt z) x)) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ 1 (/ (/ (sqrt z) (cbrt x)) (cbrt y))) (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (sqrt z) (cbrt x))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ y (/ (sqrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x))) (/ 1 (/ (/ (sqrt z) (sqrt x)) (cbrt y))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ 1 (/ (sqrt z) (sqrt x))) (/ y (/ (sqrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ 1 (/ (/ (sqrt z) x) (cbrt y))) (/ (sqrt y) (sqrt z)) (/ (sqrt y) (/ (sqrt z) x)) (/ 1 (sqrt z)) (/ y (/ (sqrt z) x)) (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ 1 (/ (/ z (cbrt x)) (cbrt y))) (* (* (sqrt y) (cbrt x)) (cbrt x)) (/ (sqrt y) (/ z (cbrt x))) (* (cbrt x) (cbrt x)) (/ y (/ z (cbrt x))) (* (* (cbrt y) (cbrt y)) (sqrt x)) (/ 1 (/ (/ z (sqrt x)) (cbrt y))) (* (sqrt y) (sqrt x)) (/ (sqrt y) (/ z (sqrt x))) (sqrt x) (/ y (/ z (sqrt x))) (* (cbrt y) (cbrt y)) (* (/ x z) (cbrt y)) (sqrt y) (/ (sqrt y) (/ z x)) 1 (* y (/ x z)) (* (cbrt y) (cbrt y)) (* (/ x z) (cbrt y)) (sqrt y) (/ (sqrt y) (/ z x)) 1 (* y (/ x z)) (/ (* (cbrt y) (cbrt y)) z) (* (cbrt y) x) (/ (sqrt y) z) (* x (sqrt y)) (/ 1 z) (* y x) 1 (* y (/ x z)) (/ x z) y (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y)))) (/ 1 (cbrt (/ (/ z x) y))) (/ 1 (sqrt (/ (/ z x) y))) (/ 1 (sqrt (/ (/ z x) y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ 1 (/ (cbrt (/ z x)) (cbrt y))) (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (sqrt y) (cbrt (/ z x))) (/ (/ 1 (cbrt (/ z x))) (cbrt (/ z x))) (/ y (cbrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x))) (/ 1 (/ (sqrt (/ z x)) (cbrt y))) (/ (sqrt y) (sqrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ 1 (sqrt (/ z x))) (/ y (sqrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ 1 (/ (/ (cbrt z) (cbrt x)) (cbrt y))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (cbrt z) (cbrt x))) (/ (/ (* (cbrt x) (cbrt x)) (cbrt z)) (cbrt z)) (/ y (/ (cbrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (* (cbrt y) (/ (sqrt x) (cbrt z))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ (* (sqrt y) (sqrt x)) (cbrt z)) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ y (/ (cbrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) (cbrt y)) (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (/ (cbrt z) x)) (/ 1 (* (cbrt z) (cbrt z))) (/ y (/ (cbrt z) x)) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ 1 (/ (/ (sqrt z) (cbrt x)) (cbrt y))) (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (sqrt z) (cbrt x))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ y (/ (sqrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x))) (/ 1 (/ (/ (sqrt z) (sqrt x)) (cbrt y))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ 1 (/ (sqrt z) (sqrt x))) (/ y (/ (sqrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ 1 (/ (/ (sqrt z) x) (cbrt y))) (/ (sqrt y) (sqrt z)) (/ (sqrt y) (/ (sqrt z) x)) (/ 1 (sqrt z)) (/ y (/ (sqrt z) x)) (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ 1 (/ (/ z (cbrt x)) (cbrt y))) (* (* (sqrt y) (cbrt x)) (cbrt x)) (/ (sqrt y) (/ z (cbrt x))) (* (cbrt x) (cbrt x)) (/ y (/ z (cbrt x))) (* (* (cbrt y) (cbrt y)) (sqrt x)) (/ 1 (/ (/ z (sqrt x)) (cbrt y))) (* (sqrt y) (sqrt x)) (/ (sqrt y) (/ z (sqrt x))) (sqrt x) (/ y (/ z (sqrt x))) (* (cbrt y) (cbrt y)) (* (/ x z) (cbrt y)) (sqrt y) (/ (sqrt y) (/ z x)) 1 (* y (/ x z)) (* (cbrt y) (cbrt y)) (* (/ x z) (cbrt y)) (sqrt y) (/ (sqrt y) (/ z x)) 1 (* y (/ x z)) (/ (* (cbrt y) (cbrt y)) z) (* (cbrt y) x) (/ (sqrt y) z) (* x (sqrt y)) (/ 1 z) (* y x) 1 (* y (/ x z)) (/ x z) y (* y (/ x z)) (/ z (* x y)) (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y)))) (/ 1 (sqrt (/ (/ z x) y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (/ 1 (cbrt (/ z x))) (cbrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ 1 (sqrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (/ (* (cbrt x) (cbrt x)) (cbrt z)) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ (/ (sqrt x) (cbrt z)) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ 1 (/ (sqrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (sqrt y) (sqrt z)) (/ 1 (sqrt z)) (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (* (sqrt y) (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (* (* (cbrt y) (cbrt y)) (sqrt x)) (* (sqrt y) (sqrt x)) (sqrt x) (* (cbrt y) (cbrt y)) (sqrt y) 1 (* (cbrt y) (cbrt y)) (sqrt y) 1 (/ (* (cbrt y) (cbrt y)) z) (/ (sqrt y) z) (/ 1 z) 1 (/ x z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ x z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (* y (/ x z)) (* y (/ x z)) (* y (/ x z)) 19.212 * * * [progress]: adding candidates to table 19.692 * [progress]: [Phase 3 of 3] Extracting. 19.693 * * [regime]: Finding splitpoints for: (# # # # # #) 19.693 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x) 19.694 * * * * [regimes]: Trying to branch on (/ y z) from (# # # # # #) 19.738 * * * * [regimes]: Trying to branch on t from (# # # # # #) 19.764 * * * * [regimes]: Trying to branch on z from (# # # # # #) 19.790 * * * * [regimes]: Trying to branch on y from (# # # # # #) 19.813 * * * * [regimes]: Trying to branch on x from (# # # # # #) 19.838 * * * [regime]: Found split indices: #