22.292 * [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.025 * * [simplify]: iteration 2 : 40 enodes (cost 7 ) 0.035 * * [simplify]: iteration 3 : 98 enodes (cost 5 ) 0.081 * * [simplify]: iteration 4 : 411 enodes (cost 5 ) 1.580 * * [simplify]: iteration 5 : 2432 enodes (cost 5 ) 7.940 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 7.940 * [simplify]: Simplified to: (* x (/ y z)) 7.943 * * [progress]: iteration 1 / 4 7.943 * * * [progress]: picking best candidate 7.945 * * * * [pick]: Picked # 7.945 * * * [progress]: localizing error 7.949 * * * [progress]: generating rewritten candidates 7.949 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 7.957 * * * [progress]: generating series expansions 7.957 * * * * [progress]: [ 1 / 1 ] generating series at (2) 7.957 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 7.957 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 7.957 * [taylor]: Taking taylor expansion of (* x y) in z 7.957 * [taylor]: Taking taylor expansion of x in z 7.957 * [taylor]: Taking taylor expansion of y in z 7.957 * [taylor]: Taking taylor expansion of z in z 7.957 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 7.958 * [taylor]: Taking taylor expansion of (* x y) in y 7.958 * [taylor]: Taking taylor expansion of x in y 7.958 * [taylor]: Taking taylor expansion of y in y 7.958 * [taylor]: Taking taylor expansion of z in y 7.958 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 7.958 * [taylor]: Taking taylor expansion of (* x y) in x 7.958 * [taylor]: Taking taylor expansion of x in x 7.958 * [taylor]: Taking taylor expansion of y in x 7.958 * [taylor]: Taking taylor expansion of z in x 7.958 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 7.958 * [taylor]: Taking taylor expansion of (* x y) in x 7.958 * [taylor]: Taking taylor expansion of x in x 7.958 * [taylor]: Taking taylor expansion of y in x 7.959 * [taylor]: Taking taylor expansion of z in x 7.959 * [taylor]: Taking taylor expansion of (/ y z) in y 7.959 * [taylor]: Taking taylor expansion of y in y 7.959 * [taylor]: Taking taylor expansion of z in y 7.959 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.959 * [taylor]: Taking taylor expansion of z in z 7.960 * [taylor]: Taking taylor expansion of 0 in y 7.960 * [taylor]: Taking taylor expansion of 0 in z 7.960 * [taylor]: Taking taylor expansion of 0 in z 7.961 * [taylor]: Taking taylor expansion of 0 in y 7.961 * [taylor]: Taking taylor expansion of 0 in z 7.961 * [taylor]: Taking taylor expansion of 0 in z 7.961 * [taylor]: Taking taylor expansion of 0 in z 7.963 * [taylor]: Taking taylor expansion of 0 in y 7.963 * [taylor]: Taking taylor expansion of 0 in z 7.963 * [taylor]: Taking taylor expansion of 0 in z 7.963 * [taylor]: Taking taylor expansion of 0 in z 7.963 * [taylor]: Taking taylor expansion of 0 in z 7.963 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 7.963 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 7.963 * [taylor]: Taking taylor expansion of z in z 7.964 * [taylor]: Taking taylor expansion of (* x y) in z 7.964 * [taylor]: Taking taylor expansion of x in z 7.964 * [taylor]: Taking taylor expansion of y in z 7.964 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 7.964 * [taylor]: Taking taylor expansion of z in y 7.964 * [taylor]: Taking taylor expansion of (* x y) in y 7.964 * [taylor]: Taking taylor expansion of x in y 7.964 * [taylor]: Taking taylor expansion of y in y 7.964 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.964 * [taylor]: Taking taylor expansion of z in x 7.964 * [taylor]: Taking taylor expansion of (* x y) in x 7.964 * [taylor]: Taking taylor expansion of x in x 7.964 * [taylor]: Taking taylor expansion of y in x 7.964 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.964 * [taylor]: Taking taylor expansion of z in x 7.964 * [taylor]: Taking taylor expansion of (* x y) in x 7.964 * [taylor]: Taking taylor expansion of x in x 7.964 * [taylor]: Taking taylor expansion of y in x 7.965 * [taylor]: Taking taylor expansion of (/ z y) in y 7.965 * [taylor]: Taking taylor expansion of z in y 7.965 * [taylor]: Taking taylor expansion of y in y 7.965 * [taylor]: Taking taylor expansion of z in z 7.965 * [taylor]: Taking taylor expansion of 0 in y 7.966 * [taylor]: Taking taylor expansion of 0 in z 7.967 * [taylor]: Taking taylor expansion of 0 in y 7.967 * [taylor]: Taking taylor expansion of 0 in z 7.972 * [taylor]: Taking taylor expansion of 0 in z 7.973 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 7.973 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 7.973 * [taylor]: Taking taylor expansion of -1 in z 7.973 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 7.973 * [taylor]: Taking taylor expansion of z in z 7.973 * [taylor]: Taking taylor expansion of (* x y) in z 7.973 * [taylor]: Taking taylor expansion of x in z 7.973 * [taylor]: Taking taylor expansion of y in z 7.973 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 7.973 * [taylor]: Taking taylor expansion of -1 in y 7.973 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 7.973 * [taylor]: Taking taylor expansion of z in y 7.973 * [taylor]: Taking taylor expansion of (* x y) in y 7.973 * [taylor]: Taking taylor expansion of x in y 7.973 * [taylor]: Taking taylor expansion of y in y 7.974 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 7.974 * [taylor]: Taking taylor expansion of -1 in x 7.974 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.974 * [taylor]: Taking taylor expansion of z in x 7.974 * [taylor]: Taking taylor expansion of (* x y) in x 7.974 * [taylor]: Taking taylor expansion of x in x 7.974 * [taylor]: Taking taylor expansion of y in x 7.974 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 7.974 * [taylor]: Taking taylor expansion of -1 in x 7.974 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.974 * [taylor]: Taking taylor expansion of z in x 7.974 * [taylor]: Taking taylor expansion of (* x y) in x 7.974 * [taylor]: Taking taylor expansion of x in x 7.974 * [taylor]: Taking taylor expansion of y in x 7.974 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 7.974 * [taylor]: Taking taylor expansion of -1 in y 7.975 * [taylor]: Taking taylor expansion of (/ z y) in y 7.975 * [taylor]: Taking taylor expansion of z in y 7.975 * [taylor]: Taking taylor expansion of y in y 7.975 * [taylor]: Taking taylor expansion of (* -1 z) in z 7.975 * [taylor]: Taking taylor expansion of -1 in z 7.975 * [taylor]: Taking taylor expansion of z in z 7.976 * [taylor]: Taking taylor expansion of 0 in y 7.977 * [taylor]: Taking taylor expansion of 0 in z 7.979 * [taylor]: Taking taylor expansion of 0 in y 7.979 * [taylor]: Taking taylor expansion of 0 in z 7.980 * [taylor]: Taking taylor expansion of 0 in z 7.981 * * * [progress]: simplifying candidates 7.981 * [simplify]: Simplifying using # : (* 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) 7.983 * * [simplify]: iteration 0 : 69 enodes (cost 277 ) 7.997 * * [simplify]: iteration 1 : 166 enodes (cost 260 ) 8.031 * * [simplify]: iteration 2 : 447 enodes (cost 230 ) 8.222 * * [simplify]: iteration 3 : 1371 enodes (cost 230 ) 9.859 * * [simplify]: iteration 4 : 3646 enodes (cost 230 ) 11.534 * * [simplify]: iteration done : 5000 enodes (cost 230 ) 11.534 * [simplify]: Simplified to: (/ (* 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))) (* x (* (cbrt y) (cbrt y))) (* x (/ (sqrt y) (* (cbrt z) (cbrt z)))) (* x (/ (sqrt y) (sqrt z))) (* x (sqrt y)) (/ 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) 11.535 * * * [progress]: adding candidates to table 11.598 * * [progress]: iteration 2 / 4 11.598 * * * [progress]: picking best candidate 11.611 * * * * [pick]: Picked # 11.612 * * * [progress]: localizing error 11.623 * * * [progress]: generating rewritten candidates 11.623 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 11.644 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 11.645 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2) 11.646 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1) 11.648 * * * [progress]: generating series expansions 11.648 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 11.648 * [approximate]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in (x y z) around 0 11.648 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in z 11.648 * [taylor]: Taking taylor expansion of x in z 11.648 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in z 11.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in z 11.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in z 11.648 * [taylor]: Taking taylor expansion of 1/3 in z 11.648 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in z 11.648 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in z 11.648 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.648 * [taylor]: Taking taylor expansion of y in z 11.648 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.648 * [taylor]: Taking taylor expansion of z in z 11.649 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in y 11.650 * [taylor]: Taking taylor expansion of x in y 11.650 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y 11.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y 11.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y 11.650 * [taylor]: Taking taylor expansion of 1/3 in y 11.650 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y 11.650 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y 11.650 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.650 * [taylor]: Taking taylor expansion of y in y 11.650 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.650 * [taylor]: Taking taylor expansion of z in y 11.651 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x 11.651 * [taylor]: Taking taylor expansion of x in x 11.651 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x 11.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x 11.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x 11.651 * [taylor]: Taking taylor expansion of 1/3 in x 11.651 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x 11.651 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x 11.651 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.651 * [taylor]: Taking taylor expansion of y in x 11.651 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.651 * [taylor]: Taking taylor expansion of z in x 11.651 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x 11.651 * [taylor]: Taking taylor expansion of x in x 11.652 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x 11.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x 11.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x 11.652 * [taylor]: Taking taylor expansion of 1/3 in x 11.652 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x 11.652 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x 11.652 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.652 * [taylor]: Taking taylor expansion of y in x 11.652 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.652 * [taylor]: Taking taylor expansion of z in x 11.652 * [taylor]: Taking taylor expansion of 0 in y 11.652 * [taylor]: Taking taylor expansion of 0 in z 11.655 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y 11.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y 11.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y 11.655 * [taylor]: Taking taylor expansion of 1/3 in y 11.655 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y 11.655 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y 11.655 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.655 * [taylor]: Taking taylor expansion of y in y 11.655 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.655 * [taylor]: Taking taylor expansion of z in y 11.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y))))) in z 11.656 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y)))) in z 11.656 * [taylor]: Taking taylor expansion of 1/3 in z 11.656 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (pow z 2))) (* 2 (log y))) in z 11.656 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 11.656 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.656 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.656 * [taylor]: Taking taylor expansion of z in z 11.657 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 11.657 * [taylor]: Taking taylor expansion of 2 in z 11.657 * [taylor]: Taking taylor expansion of (log y) in z 11.657 * [taylor]: Taking taylor expansion of y in z 11.658 * [taylor]: Taking taylor expansion of 0 in z 11.662 * [taylor]: Taking taylor expansion of 0 in y 11.663 * [taylor]: Taking taylor expansion of 0 in z 11.665 * [taylor]: Taking taylor expansion of 0 in z 11.665 * [taylor]: Taking taylor expansion of 0 in z 11.669 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in (x y z) around 0 11.669 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z 11.669 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.669 * [taylor]: Taking taylor expansion of x in z 11.669 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z 11.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z 11.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z 11.669 * [taylor]: Taking taylor expansion of 1/3 in z 11.670 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z 11.670 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z 11.670 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.670 * [taylor]: Taking taylor expansion of z in z 11.670 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.670 * [taylor]: Taking taylor expansion of y in z 11.671 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y 11.671 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.671 * [taylor]: Taking taylor expansion of x in y 11.671 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 11.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 11.671 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 11.671 * [taylor]: Taking taylor expansion of 1/3 in y 11.671 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 11.671 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 11.671 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.671 * [taylor]: Taking taylor expansion of z in y 11.671 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.671 * [taylor]: Taking taylor expansion of y in y 11.672 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 11.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.672 * [taylor]: Taking taylor expansion of x in x 11.672 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 11.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 11.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 11.672 * [taylor]: Taking taylor expansion of 1/3 in x 11.672 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 11.672 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 11.672 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.672 * [taylor]: Taking taylor expansion of z in x 11.672 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.672 * [taylor]: Taking taylor expansion of y in x 11.673 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 11.673 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.673 * [taylor]: Taking taylor expansion of x in x 11.673 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 11.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 11.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 11.673 * [taylor]: Taking taylor expansion of 1/3 in x 11.673 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 11.673 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 11.673 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.673 * [taylor]: Taking taylor expansion of z in x 11.673 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.673 * [taylor]: Taking taylor expansion of y in x 11.674 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 11.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 11.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 11.674 * [taylor]: Taking taylor expansion of 1/3 in y 11.674 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 11.674 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 11.674 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.674 * [taylor]: Taking taylor expansion of z in y 11.674 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.674 * [taylor]: Taking taylor expansion of y in y 11.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z 11.675 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z 11.675 * [taylor]: Taking taylor expansion of 1/3 in z 11.675 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z 11.675 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 11.675 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.675 * [taylor]: Taking taylor expansion of z in z 11.676 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 11.676 * [taylor]: Taking taylor expansion of 2 in z 11.676 * [taylor]: Taking taylor expansion of (log y) in z 11.676 * [taylor]: Taking taylor expansion of y in z 11.679 * [taylor]: Taking taylor expansion of 0 in y 11.679 * [taylor]: Taking taylor expansion of 0 in z 11.682 * [taylor]: Taking taylor expansion of 0 in z 11.690 * [taylor]: Taking taylor expansion of 0 in y 11.690 * [taylor]: Taking taylor expansion of 0 in z 11.690 * [taylor]: Taking taylor expansion of 0 in z 11.695 * [taylor]: Taking taylor expansion of 0 in z 11.695 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in (x y z) around 0 11.695 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in z 11.695 * [taylor]: Taking taylor expansion of -1 in z 11.695 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z 11.695 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.695 * [taylor]: Taking taylor expansion of x in z 11.695 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z 11.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z 11.695 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z 11.695 * [taylor]: Taking taylor expansion of 1/3 in z 11.695 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z 11.695 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z 11.695 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.696 * [taylor]: Taking taylor expansion of z in z 11.696 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.696 * [taylor]: Taking taylor expansion of y in z 11.697 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in y 11.697 * [taylor]: Taking taylor expansion of -1 in y 11.697 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y 11.697 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.697 * [taylor]: Taking taylor expansion of x in y 11.697 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 11.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 11.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 11.697 * [taylor]: Taking taylor expansion of 1/3 in y 11.697 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 11.697 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 11.697 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.697 * [taylor]: Taking taylor expansion of z in y 11.697 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.697 * [taylor]: Taking taylor expansion of y in y 11.698 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x 11.698 * [taylor]: Taking taylor expansion of -1 in x 11.698 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 11.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.698 * [taylor]: Taking taylor expansion of x in x 11.698 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 11.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 11.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 11.698 * [taylor]: Taking taylor expansion of 1/3 in x 11.698 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 11.698 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 11.698 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.698 * [taylor]: Taking taylor expansion of z in x 11.698 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.698 * [taylor]: Taking taylor expansion of y in x 11.699 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x 11.699 * [taylor]: Taking taylor expansion of -1 in x 11.699 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 11.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.699 * [taylor]: Taking taylor expansion of x in x 11.699 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 11.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 11.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 11.699 * [taylor]: Taking taylor expansion of 1/3 in x 11.699 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 11.699 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 11.699 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.699 * [taylor]: Taking taylor expansion of z in x 11.699 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.699 * [taylor]: Taking taylor expansion of y in x 11.700 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow z 2) (pow y 2)) 1/3)) in y 11.700 * [taylor]: Taking taylor expansion of -1 in y 11.700 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 11.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 11.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 11.700 * [taylor]: Taking taylor expansion of 1/3 in y 11.700 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 11.700 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 11.700 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.700 * [taylor]: Taking taylor expansion of z in y 11.700 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.700 * [taylor]: Taking taylor expansion of y in y 11.701 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y)))))) in z 11.701 * [taylor]: Taking taylor expansion of -1 in z 11.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z 11.701 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z 11.701 * [taylor]: Taking taylor expansion of 1/3 in z 11.701 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z 11.702 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 11.702 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.702 * [taylor]: Taking taylor expansion of z in z 11.702 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 11.702 * [taylor]: Taking taylor expansion of 2 in z 11.702 * [taylor]: Taking taylor expansion of (log y) in z 11.702 * [taylor]: Taking taylor expansion of y in z 11.706 * [taylor]: Taking taylor expansion of 0 in y 11.706 * [taylor]: Taking taylor expansion of 0 in z 11.710 * [taylor]: Taking taylor expansion of 0 in z 11.719 * [taylor]: Taking taylor expansion of 0 in y 11.719 * [taylor]: Taking taylor expansion of 0 in z 11.719 * [taylor]: Taking taylor expansion of 0 in z 11.724 * [taylor]: Taking taylor expansion of 0 in z 11.724 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 11.724 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 11.724 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 11.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 11.724 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 11.724 * [taylor]: Taking taylor expansion of 1/3 in z 11.724 * [taylor]: Taking taylor expansion of (log z) in z 11.724 * [taylor]: Taking taylor expansion of z in z 11.725 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 11.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 11.725 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 11.725 * [taylor]: Taking taylor expansion of 1/3 in z 11.725 * [taylor]: Taking taylor expansion of (log z) in z 11.725 * [taylor]: Taking taylor expansion of z in z 11.779 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 11.779 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 11.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 11.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 11.779 * [taylor]: Taking taylor expansion of 1/3 in z 11.779 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.779 * [taylor]: Taking taylor expansion of z in z 11.780 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 11.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 11.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 11.780 * [taylor]: Taking taylor expansion of 1/3 in z 11.780 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.780 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.780 * [taylor]: Taking taylor expansion of z in z 11.837 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 11.837 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 11.837 * [taylor]: Taking taylor expansion of (cbrt -1) in z 11.837 * [taylor]: Taking taylor expansion of -1 in z 11.838 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 11.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 11.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 11.838 * [taylor]: Taking taylor expansion of 1/3 in z 11.838 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.838 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.838 * [taylor]: Taking taylor expansion of z in z 11.839 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 11.839 * [taylor]: Taking taylor expansion of (cbrt -1) in z 11.839 * [taylor]: Taking taylor expansion of -1 in z 11.839 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 11.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 11.839 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 11.839 * [taylor]: Taking taylor expansion of 1/3 in z 11.839 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.839 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.839 * [taylor]: Taking taylor expansion of z in z 11.907 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2) 11.907 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 11.907 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 11.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 11.907 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 11.907 * [taylor]: Taking taylor expansion of 1/3 in z 11.907 * [taylor]: Taking taylor expansion of (log z) in z 11.907 * [taylor]: Taking taylor expansion of z in z 11.908 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 11.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 11.908 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 11.908 * [taylor]: Taking taylor expansion of 1/3 in z 11.908 * [taylor]: Taking taylor expansion of (log z) in z 11.908 * [taylor]: Taking taylor expansion of z in z 11.955 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 11.955 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 11.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 11.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 11.955 * [taylor]: Taking taylor expansion of 1/3 in z 11.955 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.955 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.955 * [taylor]: Taking taylor expansion of z in z 11.956 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 11.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 11.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 11.956 * [taylor]: Taking taylor expansion of 1/3 in z 11.956 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 11.956 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.956 * [taylor]: Taking taylor expansion of z in z 12.013 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 12.013 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 12.013 * [taylor]: Taking taylor expansion of (cbrt -1) in z 12.013 * [taylor]: Taking taylor expansion of -1 in z 12.014 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 12.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 12.014 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 12.014 * [taylor]: Taking taylor expansion of 1/3 in z 12.014 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 12.014 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.014 * [taylor]: Taking taylor expansion of z in z 12.015 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 12.015 * [taylor]: Taking taylor expansion of (cbrt -1) in z 12.015 * [taylor]: Taking taylor expansion of -1 in z 12.016 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 12.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 12.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 12.016 * [taylor]: Taking taylor expansion of 1/3 in z 12.016 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 12.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.016 * [taylor]: Taking taylor expansion of z in z 12.084 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1) 12.084 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 12.084 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 12.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 12.084 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 12.084 * [taylor]: Taking taylor expansion of 1/3 in z 12.084 * [taylor]: Taking taylor expansion of (log z) in z 12.084 * [taylor]: Taking taylor expansion of z in z 12.085 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 12.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 12.085 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 12.085 * [taylor]: Taking taylor expansion of 1/3 in z 12.085 * [taylor]: Taking taylor expansion of (log z) in z 12.085 * [taylor]: Taking taylor expansion of z in z 12.140 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 12.140 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 12.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 12.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 12.140 * [taylor]: Taking taylor expansion of 1/3 in z 12.140 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 12.140 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.140 * [taylor]: Taking taylor expansion of z in z 12.141 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 12.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 12.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 12.141 * [taylor]: Taking taylor expansion of 1/3 in z 12.141 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 12.141 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.141 * [taylor]: Taking taylor expansion of z in z 12.200 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 12.200 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 12.200 * [taylor]: Taking taylor expansion of (cbrt -1) in z 12.200 * [taylor]: Taking taylor expansion of -1 in z 12.201 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 12.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 12.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 12.201 * [taylor]: Taking taylor expansion of 1/3 in z 12.201 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 12.201 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.201 * [taylor]: Taking taylor expansion of z in z 12.202 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 12.202 * [taylor]: Taking taylor expansion of (cbrt -1) in z 12.202 * [taylor]: Taking taylor expansion of -1 in z 12.203 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 12.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 12.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 12.203 * [taylor]: Taking taylor expansion of 1/3 in z 12.203 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 12.203 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.203 * [taylor]: Taking taylor expansion of z in z 12.266 * * * [progress]: simplifying candidates 12.267 * [simplify]: Simplifying using # : (* 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))) (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)) (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)) (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)) 12.271 * * [simplify]: iteration 0 : 115 enodes (cost 782 ) 12.300 * * [simplify]: iteration 1 : 303 enodes (cost 747 ) 12.369 * * [simplify]: iteration 2 : 1072 enodes (cost 557 ) 13.069 * * [simplify]: iteration done : 5000 enodes (cost 557 ) 13.070 * [simplify]: Simplified to: (* (/ (* (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)) (* (/ y (/ (pow (pow z 2/3) 3) y)) (pow x 3)) (* (pow x 3) (/ (pow (* (cbrt y) (cbrt y)) 3) (* z z))) (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)) (* (sqrt x) (fabs (/ (cbrt y) (cbrt z)))) (* (sqrt x) (fabs (/ (cbrt y) (cbrt z)))) (* (sqrt x) (/ (cbrt y) (cbrt z))) (* (sqrt x) (/ (cbrt y) (cbrt z))) (* x (* (cbrt (/ (* (cbrt y) (cbrt y)) (pow z 2/3))) (cbrt (/ (* (cbrt y) (cbrt y)) (pow z 2/3))))) (* (fabs (/ (cbrt y) (cbrt z))) x) (* x (/ (cbrt y) (cbrt z))) x (* x (* (cbrt y) (cbrt y))) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (pow z 2/3))) (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) (sqrt x)) (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x) (* x (* (cbrt y) (cbrt y))) (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)) (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)) (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)) (* x (exp (* 2/3 (- (log y) (log z))))) (* (exp (* 2/3 (- (- (log z)) (- (log y))))) x) (* (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)) 13.070 * * * [progress]: adding candidates to table 13.287 * * [progress]: iteration 3 / 4 13.287 * * * [progress]: picking best candidate 13.302 * * * * [pick]: Picked # 13.302 * * * [progress]: localizing error 13.306 * * * [progress]: generating rewritten candidates 13.306 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 13.310 * * * [progress]: generating series expansions 13.310 * * * * [progress]: [ 1 / 1 ] generating series at (2) 13.310 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 13.310 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 13.310 * [taylor]: Taking taylor expansion of (* x y) in z 13.310 * [taylor]: Taking taylor expansion of x in z 13.310 * [taylor]: Taking taylor expansion of y in z 13.310 * [taylor]: Taking taylor expansion of z in z 13.310 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 13.310 * [taylor]: Taking taylor expansion of (* x y) in y 13.310 * [taylor]: Taking taylor expansion of x in y 13.310 * [taylor]: Taking taylor expansion of y in y 13.310 * [taylor]: Taking taylor expansion of z in y 13.311 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 13.311 * [taylor]: Taking taylor expansion of (* x y) in x 13.311 * [taylor]: Taking taylor expansion of x in x 13.311 * [taylor]: Taking taylor expansion of y in x 13.311 * [taylor]: Taking taylor expansion of z in x 13.312 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 13.312 * [taylor]: Taking taylor expansion of (* x y) in x 13.312 * [taylor]: Taking taylor expansion of x in x 13.312 * [taylor]: Taking taylor expansion of y in x 13.312 * [taylor]: Taking taylor expansion of z in x 13.312 * [taylor]: Taking taylor expansion of (/ y z) in y 13.312 * [taylor]: Taking taylor expansion of y in y 13.312 * [taylor]: Taking taylor expansion of z in y 13.312 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.312 * [taylor]: Taking taylor expansion of z in z 13.313 * [taylor]: Taking taylor expansion of 0 in y 13.313 * [taylor]: Taking taylor expansion of 0 in z 13.313 * [taylor]: Taking taylor expansion of 0 in z 13.315 * [taylor]: Taking taylor expansion of 0 in y 13.315 * [taylor]: Taking taylor expansion of 0 in z 13.315 * [taylor]: Taking taylor expansion of 0 in z 13.315 * [taylor]: Taking taylor expansion of 0 in z 13.316 * [taylor]: Taking taylor expansion of 0 in y 13.316 * [taylor]: Taking taylor expansion of 0 in z 13.316 * [taylor]: Taking taylor expansion of 0 in z 13.316 * [taylor]: Taking taylor expansion of 0 in z 13.317 * [taylor]: Taking taylor expansion of 0 in z 13.317 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 13.317 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 13.317 * [taylor]: Taking taylor expansion of z in z 13.317 * [taylor]: Taking taylor expansion of (* x y) in z 13.317 * [taylor]: Taking taylor expansion of x in z 13.317 * [taylor]: Taking taylor expansion of y in z 13.317 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 13.317 * [taylor]: Taking taylor expansion of z in y 13.317 * [taylor]: Taking taylor expansion of (* x y) in y 13.317 * [taylor]: Taking taylor expansion of x in y 13.317 * [taylor]: Taking taylor expansion of y in y 13.317 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 13.317 * [taylor]: Taking taylor expansion of z in x 13.317 * [taylor]: Taking taylor expansion of (* x y) in x 13.317 * [taylor]: Taking taylor expansion of x in x 13.317 * [taylor]: Taking taylor expansion of y in x 13.318 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 13.318 * [taylor]: Taking taylor expansion of z in x 13.318 * [taylor]: Taking taylor expansion of (* x y) in x 13.318 * [taylor]: Taking taylor expansion of x in x 13.318 * [taylor]: Taking taylor expansion of y in x 13.318 * [taylor]: Taking taylor expansion of (/ z y) in y 13.318 * [taylor]: Taking taylor expansion of z in y 13.318 * [taylor]: Taking taylor expansion of y in y 13.318 * [taylor]: Taking taylor expansion of z in z 13.319 * [taylor]: Taking taylor expansion of 0 in y 13.319 * [taylor]: Taking taylor expansion of 0 in z 13.320 * [taylor]: Taking taylor expansion of 0 in y 13.320 * [taylor]: Taking taylor expansion of 0 in z 13.321 * [taylor]: Taking taylor expansion of 0 in z 13.321 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 13.321 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 13.321 * [taylor]: Taking taylor expansion of -1 in z 13.321 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 13.321 * [taylor]: Taking taylor expansion of z in z 13.322 * [taylor]: Taking taylor expansion of (* x y) in z 13.322 * [taylor]: Taking taylor expansion of x in z 13.322 * [taylor]: Taking taylor expansion of y in z 13.322 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 13.322 * [taylor]: Taking taylor expansion of -1 in y 13.322 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 13.322 * [taylor]: Taking taylor expansion of z in y 13.322 * [taylor]: Taking taylor expansion of (* x y) in y 13.322 * [taylor]: Taking taylor expansion of x in y 13.322 * [taylor]: Taking taylor expansion of y in y 13.322 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 13.322 * [taylor]: Taking taylor expansion of -1 in x 13.322 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 13.322 * [taylor]: Taking taylor expansion of z in x 13.322 * [taylor]: Taking taylor expansion of (* x y) in x 13.322 * [taylor]: Taking taylor expansion of x in x 13.322 * [taylor]: Taking taylor expansion of y in x 13.322 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 13.322 * [taylor]: Taking taylor expansion of -1 in x 13.322 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 13.323 * [taylor]: Taking taylor expansion of z in x 13.323 * [taylor]: Taking taylor expansion of (* x y) in x 13.323 * [taylor]: Taking taylor expansion of x in x 13.323 * [taylor]: Taking taylor expansion of y in x 13.323 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 13.323 * [taylor]: Taking taylor expansion of -1 in y 13.323 * [taylor]: Taking taylor expansion of (/ z y) in y 13.323 * [taylor]: Taking taylor expansion of z in y 13.323 * [taylor]: Taking taylor expansion of y in y 13.323 * [taylor]: Taking taylor expansion of (* -1 z) in z 13.323 * [taylor]: Taking taylor expansion of -1 in z 13.323 * [taylor]: Taking taylor expansion of z in z 13.324 * [taylor]: Taking taylor expansion of 0 in y 13.325 * [taylor]: Taking taylor expansion of 0 in z 13.327 * [taylor]: Taking taylor expansion of 0 in y 13.327 * [taylor]: Taking taylor expansion of 0 in z 13.329 * [taylor]: Taking taylor expansion of 0 in z 13.329 * * * [progress]: simplifying candidates 13.330 * [simplify]: Simplifying using # : (- (+ (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) 13.331 * * [simplify]: iteration 0 : 48 enodes (cost 186 ) 13.340 * * [simplify]: iteration 1 : 111 enodes (cost 179 ) 13.366 * * [simplify]: iteration 2 : 383 enodes (cost 149 ) 13.708 * * [simplify]: iteration 3 : 1804 enodes (cost 149 ) 15.699 * * [simplify]: iteration done : 5000 enodes (cost 149 ) 15.699 * [simplify]: Simplified to: (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) 15.700 * * * [progress]: adding candidates to table 15.733 * * [progress]: iteration 4 / 4 15.733 * * * [progress]: picking best candidate 15.739 * * * * [pick]: Picked # 15.739 * * * [progress]: localizing error 15.744 * * * [progress]: generating rewritten candidates 15.744 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 15.756 * * * [progress]: generating series expansions 15.756 * * * * [progress]: [ 1 / 1 ] generating series at (2) 15.756 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 15.756 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 15.756 * [taylor]: Taking taylor expansion of (* x y) in z 15.756 * [taylor]: Taking taylor expansion of x in z 15.756 * [taylor]: Taking taylor expansion of y in z 15.756 * [taylor]: Taking taylor expansion of z in z 15.756 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 15.756 * [taylor]: Taking taylor expansion of (* x y) in y 15.756 * [taylor]: Taking taylor expansion of x in y 15.756 * [taylor]: Taking taylor expansion of y in y 15.756 * [taylor]: Taking taylor expansion of z in y 15.757 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 15.757 * [taylor]: Taking taylor expansion of (* x y) in x 15.757 * [taylor]: Taking taylor expansion of x in x 15.757 * [taylor]: Taking taylor expansion of y in x 15.757 * [taylor]: Taking taylor expansion of z in x 15.757 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 15.757 * [taylor]: Taking taylor expansion of (* x y) in x 15.757 * [taylor]: Taking taylor expansion of x in x 15.757 * [taylor]: Taking taylor expansion of y in x 15.757 * [taylor]: Taking taylor expansion of z in x 15.758 * [taylor]: Taking taylor expansion of (/ y z) in y 15.758 * [taylor]: Taking taylor expansion of y in y 15.758 * [taylor]: Taking taylor expansion of z in y 15.758 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.758 * [taylor]: Taking taylor expansion of z in z 15.759 * [taylor]: Taking taylor expansion of 0 in y 15.759 * [taylor]: Taking taylor expansion of 0 in z 15.759 * [taylor]: Taking taylor expansion of 0 in z 15.760 * [taylor]: Taking taylor expansion of 0 in y 15.760 * [taylor]: Taking taylor expansion of 0 in z 15.760 * [taylor]: Taking taylor expansion of 0 in z 15.760 * [taylor]: Taking taylor expansion of 0 in z 15.762 * [taylor]: Taking taylor expansion of 0 in y 15.762 * [taylor]: Taking taylor expansion of 0 in z 15.762 * [taylor]: Taking taylor expansion of 0 in z 15.762 * [taylor]: Taking taylor expansion of 0 in z 15.762 * [taylor]: Taking taylor expansion of 0 in z 15.762 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 15.762 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 15.762 * [taylor]: Taking taylor expansion of z in z 15.762 * [taylor]: Taking taylor expansion of (* x y) in z 15.762 * [taylor]: Taking taylor expansion of x in z 15.762 * [taylor]: Taking taylor expansion of y in z 15.763 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 15.763 * [taylor]: Taking taylor expansion of z in y 15.763 * [taylor]: Taking taylor expansion of (* x y) in y 15.763 * [taylor]: Taking taylor expansion of x in y 15.763 * [taylor]: Taking taylor expansion of y in y 15.763 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 15.763 * [taylor]: Taking taylor expansion of z in x 15.763 * [taylor]: Taking taylor expansion of (* x y) in x 15.763 * [taylor]: Taking taylor expansion of x in x 15.763 * [taylor]: Taking taylor expansion of y in x 15.763 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 15.763 * [taylor]: Taking taylor expansion of z in x 15.763 * [taylor]: Taking taylor expansion of (* x y) in x 15.763 * [taylor]: Taking taylor expansion of x in x 15.763 * [taylor]: Taking taylor expansion of y in x 15.764 * [taylor]: Taking taylor expansion of (/ z y) in y 15.764 * [taylor]: Taking taylor expansion of z in y 15.764 * [taylor]: Taking taylor expansion of y in y 15.764 * [taylor]: Taking taylor expansion of z in z 15.764 * [taylor]: Taking taylor expansion of 0 in y 15.765 * [taylor]: Taking taylor expansion of 0 in z 15.766 * [taylor]: Taking taylor expansion of 0 in y 15.766 * [taylor]: Taking taylor expansion of 0 in z 15.767 * [taylor]: Taking taylor expansion of 0 in z 15.767 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 15.767 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 15.767 * [taylor]: Taking taylor expansion of -1 in z 15.767 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 15.767 * [taylor]: Taking taylor expansion of z in z 15.767 * [taylor]: Taking taylor expansion of (* x y) in z 15.767 * [taylor]: Taking taylor expansion of x in z 15.767 * [taylor]: Taking taylor expansion of y in z 15.767 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 15.767 * [taylor]: Taking taylor expansion of -1 in y 15.767 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 15.767 * [taylor]: Taking taylor expansion of z in y 15.767 * [taylor]: Taking taylor expansion of (* x y) in y 15.767 * [taylor]: Taking taylor expansion of x in y 15.767 * [taylor]: Taking taylor expansion of y in y 15.768 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 15.768 * [taylor]: Taking taylor expansion of -1 in x 15.768 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 15.768 * [taylor]: Taking taylor expansion of z in x 15.768 * [taylor]: Taking taylor expansion of (* x y) in x 15.768 * [taylor]: Taking taylor expansion of x in x 15.768 * [taylor]: Taking taylor expansion of y in x 15.768 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 15.768 * [taylor]: Taking taylor expansion of -1 in x 15.768 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 15.768 * [taylor]: Taking taylor expansion of z in x 15.768 * [taylor]: Taking taylor expansion of (* x y) in x 15.768 * [taylor]: Taking taylor expansion of x in x 15.768 * [taylor]: Taking taylor expansion of y in x 15.769 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 15.769 * [taylor]: Taking taylor expansion of -1 in y 15.769 * [taylor]: Taking taylor expansion of (/ z y) in y 15.769 * [taylor]: Taking taylor expansion of z in y 15.769 * [taylor]: Taking taylor expansion of y in y 15.769 * [taylor]: Taking taylor expansion of (* -1 z) in z 15.769 * [taylor]: Taking taylor expansion of -1 in z 15.769 * [taylor]: Taking taylor expansion of z in z 15.770 * [taylor]: Taking taylor expansion of 0 in y 15.771 * [taylor]: Taking taylor expansion of 0 in z 15.773 * [taylor]: Taking taylor expansion of 0 in y 15.773 * [taylor]: Taking taylor expansion of 0 in z 15.774 * [taylor]: Taking taylor expansion of 0 in z 15.775 * * * [progress]: simplifying candidates 15.775 * [simplify]: Simplifying using # : (* (* x y) (/ 1 z)) (* (* x y) (/ 1 z)) (+ (+ (log x) (log y)) (- (log z))) (+ (+ (log x) (log y)) (- 0 (log z))) (+ (+ (log x) (log y)) (- (log 1) (log z))) (+ (+ (log x) (log y)) (log (/ 1 z))) (+ (log (* x y)) (- (log z))) (+ (log (* x y)) (- 0 (log z))) (+ (log (* x y)) (- (log 1) (log z))) (+ (log (* x y)) (log (/ 1 z))) (log (* (* x y) (/ 1 z))) (exp (* (* x y) (/ 1 z))) (* (* (* (* x x) x) (* (* y y) y)) (/ (* (* 1 1) 1) (* (* z z) z))) (* (* (* (* x x) x) (* (* y y) y)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z))) (* (* (* (* x y) (* x y)) (* x y)) (/ (* (* 1 1) 1) (* (* z z) z))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z))) (* (cbrt (* (* x y) (/ 1 z))) (cbrt (* (* x y) (/ 1 z)))) (cbrt (* (* x y) (/ 1 z))) (* (* (* (* x y) (/ 1 z)) (* (* x y) (/ 1 z))) (* (* x y) (/ 1 z))) (sqrt (* (* x y) (/ 1 z))) (sqrt (* (* x y) (/ 1 z))) (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (* (* x y) (sqrt (/ 1 z))) (* (* x y) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)))) (* (* x y) (/ (* (cbrt 1) (cbrt 1)) (sqrt z))) (* (* x y) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* x y) (/ (sqrt 1) (* (cbrt z) (cbrt z)))) (* (* x y) (/ (sqrt 1) (sqrt z))) (* (* x y) (/ (sqrt 1) 1)) (* (* x y) (/ 1 (* (cbrt z) (cbrt z)))) (* (* x y) (/ 1 (sqrt z))) (* (* x y) (/ 1 1)) (* (* x y) 1) (* (* x y) 1) (* y (/ 1 z)) (* (* x y) 1) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 15.778 * * [simplify]: iteration 0 : 83 enodes (cost 411 ) 15.802 * * [simplify]: iteration 1 : 243 enodes (cost 324 ) 15.912 * * [simplify]: iteration 2 : 816 enodes (cost 238 ) 17.323 * * [simplify]: iteration 3 : 3071 enodes (cost 238 ) 18.601 * * [simplify]: iteration done : 5000 enodes (cost 238 ) 18.601 * [simplify]: Simplified to: (/ (* x y) z) (/ (* x y) z) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (pow (/ (* x y) z) 3) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (pow (/ (* x y) z) 3) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (* (* x y) (sqrt (/ 1 z))) (/ (* y x) (* (cbrt z) (cbrt z))) (/ (* y x) (sqrt z)) (* x y) (/ (* y x) (* (cbrt z) (cbrt z))) (/ (* y x) (sqrt z)) (* x y) (/ (* y x) (* (cbrt z) (cbrt z))) (/ (* y x) (sqrt z)) (* x y) (* x y) (* x y) (/ y z) (* x y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 18.601 * * * [progress]: adding candidates to table 18.650 * [progress]: [Phase 3 of 3] Extracting. 18.650 * * [regime]: Finding splitpoints for: (# # # # # # # #) 18.651 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x) 18.651 * * * * [regimes]: Trying to branch on (/ y z) from (# # # # # # # #) 18.679 * * * * [regimes]: Trying to branch on t from (# # # # # # # #) 18.706 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 18.734 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 18.760 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 18.787 * * * [regime]: Found split indices: #