15.426 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) 0.030 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.032 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 0.035 * * [simplify]: iteration 2 : 73 enodes (cost 11 ) 0.047 * * [simplify]: iteration 3 : 194 enodes (cost 9 ) 0.087 * * [simplify]: iteration 4 : 378 enodes (cost 7 ) 0.250 * * [simplify]: iteration 5 : 723 enodes (cost 5 ) 0.590 * * [simplify]: iteration 6 : 1980 enodes (cost 5 ) 1.783 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 1.783 * [simplify]: Simplified to: (* (- x z) y) 1.786 * * [progress]: iteration 1 / 4 1.786 * * * [progress]: picking best candidate 1.787 * * * * [pick]: Picked # 1.787 * * * [progress]: localizing error 1.791 * * * [progress]: generating rewritten candidates 1.791 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.801 * * * [progress]: generating series expansions 1.801 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.802 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0 1.802 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 1.802 * [taylor]: Taking taylor expansion of y in y 1.802 * [taylor]: Taking taylor expansion of (- x z) in y 1.802 * [taylor]: Taking taylor expansion of x in y 1.802 * [taylor]: Taking taylor expansion of z in y 1.802 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 1.802 * [taylor]: Taking taylor expansion of y in z 1.802 * [taylor]: Taking taylor expansion of (- x z) in z 1.802 * [taylor]: Taking taylor expansion of x in z 1.802 * [taylor]: Taking taylor expansion of z in z 1.802 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 1.802 * [taylor]: Taking taylor expansion of y in x 1.802 * [taylor]: Taking taylor expansion of (- x z) in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.802 * [taylor]: Taking taylor expansion of z in x 1.802 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 1.802 * [taylor]: Taking taylor expansion of y in x 1.802 * [taylor]: Taking taylor expansion of (- x z) in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.802 * [taylor]: Taking taylor expansion of z in x 1.802 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 1.802 * [taylor]: Taking taylor expansion of -1 in z 1.802 * [taylor]: Taking taylor expansion of (* z y) in z 1.802 * [taylor]: Taking taylor expansion of z in z 1.802 * [taylor]: Taking taylor expansion of y in z 1.803 * [taylor]: Taking taylor expansion of 0 in y 1.803 * [taylor]: Taking taylor expansion of y in z 1.803 * [taylor]: Taking taylor expansion of y in y 1.804 * [taylor]: Taking taylor expansion of (- y) in y 1.804 * [taylor]: Taking taylor expansion of y in y 1.805 * [taylor]: Taking taylor expansion of 0 in z 1.805 * [taylor]: Taking taylor expansion of 0 in y 1.805 * [taylor]: Taking taylor expansion of 0 in y 1.805 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 1.805 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 1.805 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 1.805 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.805 * [taylor]: Taking taylor expansion of x in y 1.805 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.805 * [taylor]: Taking taylor expansion of z in y 1.805 * [taylor]: Taking taylor expansion of y in y 1.805 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 1.805 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 1.805 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.805 * [taylor]: Taking taylor expansion of x in z 1.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.805 * [taylor]: Taking taylor expansion of z in z 1.806 * [taylor]: Taking taylor expansion of y in z 1.806 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 1.806 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 1.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.806 * [taylor]: Taking taylor expansion of x in x 1.807 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.807 * [taylor]: Taking taylor expansion of z in x 1.807 * [taylor]: Taking taylor expansion of y in x 1.807 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 1.807 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 1.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.807 * [taylor]: Taking taylor expansion of x in x 1.807 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.807 * [taylor]: Taking taylor expansion of z in x 1.807 * [taylor]: Taking taylor expansion of y in x 1.808 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.808 * [taylor]: Taking taylor expansion of y in z 1.808 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 1.808 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.808 * [taylor]: Taking taylor expansion of (* z y) in z 1.808 * [taylor]: Taking taylor expansion of z in z 1.809 * [taylor]: Taking taylor expansion of y in z 1.809 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.809 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.809 * [taylor]: Taking taylor expansion of y in y 1.809 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.809 * [taylor]: Taking taylor expansion of y in y 1.811 * [taylor]: Taking taylor expansion of 0 in z 1.812 * [taylor]: Taking taylor expansion of 0 in y 1.812 * [taylor]: Taking taylor expansion of 0 in y 1.814 * [taylor]: Taking taylor expansion of 0 in z 1.814 * [taylor]: Taking taylor expansion of 0 in y 1.815 * [taylor]: Taking taylor expansion of 0 in y 1.815 * [taylor]: Taking taylor expansion of 0 in y 1.817 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 1.817 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 1.817 * [taylor]: Taking taylor expansion of -1 in y 1.817 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 1.817 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 1.817 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.817 * [taylor]: Taking taylor expansion of z in y 1.817 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.817 * [taylor]: Taking taylor expansion of x in y 1.817 * [taylor]: Taking taylor expansion of y in y 1.817 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 1.817 * [taylor]: Taking taylor expansion of -1 in z 1.817 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 1.817 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 1.817 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.817 * [taylor]: Taking taylor expansion of z in z 1.818 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.818 * [taylor]: Taking taylor expansion of x in z 1.818 * [taylor]: Taking taylor expansion of y in z 1.818 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 1.818 * [taylor]: Taking taylor expansion of -1 in x 1.818 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 1.818 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 1.818 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.818 * [taylor]: Taking taylor expansion of z in x 1.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.818 * [taylor]: Taking taylor expansion of x in x 1.818 * [taylor]: Taking taylor expansion of y in x 1.819 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 1.819 * [taylor]: Taking taylor expansion of -1 in x 1.819 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 1.819 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 1.819 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.819 * [taylor]: Taking taylor expansion of z in x 1.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.819 * [taylor]: Taking taylor expansion of x in x 1.819 * [taylor]: Taking taylor expansion of y in x 1.820 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.820 * [taylor]: Taking taylor expansion of y in z 1.821 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 1.821 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.821 * [taylor]: Taking taylor expansion of (* z y) in z 1.821 * [taylor]: Taking taylor expansion of z in z 1.821 * [taylor]: Taking taylor expansion of y in z 1.821 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.821 * [taylor]: Taking taylor expansion of y in y 1.822 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.822 * [taylor]: Taking taylor expansion of y in y 1.823 * [taylor]: Taking taylor expansion of 0 in z 1.824 * [taylor]: Taking taylor expansion of 0 in y 1.824 * [taylor]: Taking taylor expansion of 0 in y 1.827 * [taylor]: Taking taylor expansion of 0 in z 1.827 * [taylor]: Taking taylor expansion of 0 in y 1.828 * [taylor]: Taking taylor expansion of 0 in y 1.828 * [taylor]: Taking taylor expansion of 0 in y 1.830 * * * [progress]: simplifying candidates 1.830 * [simplify]: Simplifying using # : (expm1 (* (- x z) y)) (log1p (* (- x z) y)) (* (- x z) y) (+ (log (- x z)) (log y)) (log (* (- x z) y)) (exp (* (- x z) y)) (* (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (* (* (* (- x z) y) (* (- x z) y)) (* (- x z) y)) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (* (- x z) 1) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (- (* x y) (* z y)) (- (* x y) (* z y)) 1.832 * * [simplify]: iteration 0 : 51 enodes (cost 197 ) 1.840 * * [simplify]: iteration 1 : 109 enodes (cost 190 ) 1.863 * * [simplify]: iteration 2 : 351 enodes (cost 170 ) 2.013 * * [simplify]: iteration 3 : 1249 enodes (cost 170 ) 2.778 * * [simplify]: iteration 4 : 3327 enodes (cost 170 ) 3.806 * * [simplify]: iteration done : 5001 enodes (cost 170 ) 3.806 * [simplify]: Simplified to: (expm1 (* (- x z) y)) (log1p (* (- x z) y)) (* (- x z) y) (log (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (pow (* (- x z) y) 3) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) (sqrt y)) (* (- x z) (* (cbrt y) (cbrt y))) (* (- x z) (sqrt y)) (- x z) (* (cbrt (- x z)) y) (* (sqrt (- x z)) y) (* (- x z) y) (* (- (sqrt x) (sqrt z)) y) (* (- x z) y) (* (- (pow x 3) (pow z 3)) y) (* (- (* x x) (* z z)) y) 0 (* (- x z) y) (* (- x z) y) 3.807 * * * [progress]: adding candidates to table 3.850 * * [progress]: iteration 2 / 4 3.850 * * * [progress]: picking best candidate 3.853 * * * * [pick]: Picked # 3.853 * * * [progress]: localizing error 3.861 * * * [progress]: generating rewritten candidates 3.861 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.862 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 3.862 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 3.863 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 3.870 * * * [progress]: generating series expansions 3.870 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.870 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 3.870 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.870 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.870 * [taylor]: Taking taylor expansion of 1/3 in y 3.870 * [taylor]: Taking taylor expansion of (log y) in y 3.870 * [taylor]: Taking taylor expansion of y in y 3.871 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.871 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.871 * [taylor]: Taking taylor expansion of 1/3 in y 3.871 * [taylor]: Taking taylor expansion of (log y) in y 3.871 * [taylor]: Taking taylor expansion of y in y 3.922 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 3.922 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.922 * [taylor]: Taking taylor expansion of 1/3 in y 3.922 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.922 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.922 * [taylor]: Taking taylor expansion of y in y 3.923 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.923 * [taylor]: Taking taylor expansion of 1/3 in y 3.923 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.923 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.923 * [taylor]: Taking taylor expansion of y in y 3.976 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 3.976 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.976 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.976 * [taylor]: Taking taylor expansion of -1 in y 3.977 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.977 * [taylor]: Taking taylor expansion of 1/3 in y 3.977 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.977 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.977 * [taylor]: Taking taylor expansion of y in y 3.978 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.978 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.978 * [taylor]: Taking taylor expansion of -1 in y 3.979 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.979 * [taylor]: Taking taylor expansion of 1/3 in y 3.979 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.979 * [taylor]: Taking taylor expansion of y in y 4.040 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 4.040 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.040 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.040 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.040 * [taylor]: Taking taylor expansion of 1/3 in y 4.040 * [taylor]: Taking taylor expansion of (log y) in y 4.040 * [taylor]: Taking taylor expansion of y in y 4.041 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.041 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.041 * [taylor]: Taking taylor expansion of 1/3 in y 4.041 * [taylor]: Taking taylor expansion of (log y) in y 4.041 * [taylor]: Taking taylor expansion of y in y 4.091 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.091 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.091 * [taylor]: Taking taylor expansion of 1/3 in y 4.091 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.091 * [taylor]: Taking taylor expansion of y in y 4.092 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.092 * [taylor]: Taking taylor expansion of 1/3 in y 4.092 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.092 * [taylor]: Taking taylor expansion of y in y 4.146 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 4.146 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.146 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.146 * [taylor]: Taking taylor expansion of -1 in y 4.147 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.147 * [taylor]: Taking taylor expansion of 1/3 in y 4.147 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.147 * [taylor]: Taking taylor expansion of y in y 4.148 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.148 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.148 * [taylor]: Taking taylor expansion of -1 in y 4.148 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.148 * [taylor]: Taking taylor expansion of 1/3 in y 4.149 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.149 * [taylor]: Taking taylor expansion of y in y 4.213 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 4.214 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.214 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.214 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.214 * [taylor]: Taking taylor expansion of 1/3 in y 4.214 * [taylor]: Taking taylor expansion of (log y) in y 4.214 * [taylor]: Taking taylor expansion of y in y 4.214 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.214 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.214 * [taylor]: Taking taylor expansion of 1/3 in y 4.214 * [taylor]: Taking taylor expansion of (log y) in y 4.214 * [taylor]: Taking taylor expansion of y in y 4.263 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.263 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.263 * [taylor]: Taking taylor expansion of 1/3 in y 4.263 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.263 * [taylor]: Taking taylor expansion of y in y 4.264 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.264 * [taylor]: Taking taylor expansion of 1/3 in y 4.264 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.264 * [taylor]: Taking taylor expansion of y in y 4.318 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 4.319 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.319 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.319 * [taylor]: Taking taylor expansion of -1 in y 4.319 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.319 * [taylor]: Taking taylor expansion of 1/3 in y 4.319 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.319 * [taylor]: Taking taylor expansion of y in y 4.320 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.320 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.320 * [taylor]: Taking taylor expansion of -1 in y 4.321 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.321 * [taylor]: Taking taylor expansion of 1/3 in y 4.321 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.321 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.321 * [taylor]: Taking taylor expansion of y in y 4.386 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 4.387 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0 4.387 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 4.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 4.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 4.387 * [taylor]: Taking taylor expansion of 1/3 in y 4.387 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 4.387 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.387 * [taylor]: Taking taylor expansion of y in y 4.388 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 4.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 4.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 4.388 * [taylor]: Taking taylor expansion of 1/3 in y 4.388 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 4.388 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.388 * [taylor]: Taking taylor expansion of y in y 4.441 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0 4.441 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 4.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 4.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 4.441 * [taylor]: Taking taylor expansion of 1/3 in y 4.441 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 4.441 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.441 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.441 * [taylor]: Taking taylor expansion of y in y 4.442 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 4.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 4.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 4.442 * [taylor]: Taking taylor expansion of 1/3 in y 4.442 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 4.442 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.442 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.442 * [taylor]: Taking taylor expansion of y in y 4.499 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in (y) around 0 4.499 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 4.499 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 4.500 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.500 * [taylor]: Taking taylor expansion of -1 in y 4.500 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 4.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 4.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 4.500 * [taylor]: Taking taylor expansion of 1/3 in y 4.500 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 4.500 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.500 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.500 * [taylor]: Taking taylor expansion of y in y 4.501 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 4.501 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 4.502 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.502 * [taylor]: Taking taylor expansion of -1 in y 4.502 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 4.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 4.502 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 4.502 * [taylor]: Taking taylor expansion of 1/3 in y 4.502 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 4.502 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 4.502 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.502 * [taylor]: Taking taylor expansion of y in y 4.577 * * * [progress]: simplifying candidates 4.578 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (* (cbrt y) (cbrt y))) (log1p (* (cbrt y) (cbrt y))) (+ 1/3 1/3) (+ 1 1) (* y y) (* (cbrt y) (cbrt y)) (+ 1 1) (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt y) (cbrt y))) (exp (* (cbrt y) (cbrt y))) (* y y) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y)) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* 1 1) (* (cbrt y) (cbrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* 2 1/3) (* 2 1) (* (cbrt y) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (cbrt (sqrt y))) (* (cbrt y) (cbrt 1)) (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (* (cbrt y) (sqrt (cbrt y))) (* (cbrt y) 1) (* (cbrt (cbrt y)) (cbrt y)) (* (cbrt (sqrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt (cbrt y)) (cbrt y)) (* (sqrt (cbrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 2/3) (pow (/ 1 y) -2/3) (* (pow (cbrt -1) 2) (pow (pow y 2) 1/3)) 4.580 * * [simplify]: iteration 0 : 65 enodes (cost 554 ) 4.595 * * [simplify]: iteration 1 : 119 enodes (cost 443 ) 4.633 * * [simplify]: iteration 2 : 383 enodes (cost 423 ) 4.897 * * [simplify]: iteration 3 : 1868 enodes (cost 405 ) 5.930 * * [simplify]: iteration done : 5000 enodes (cost 405 ) 5.931 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (pow y 2/3)) (log1p (pow y 2/3)) 2/3 2 (* y y) (pow y 2/3) 2 (log (pow y 2/3)) (log (pow y 2/3)) (exp (pow y 2/3)) (* y y) (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3))) (cbrt (pow y 2/3)) (* y y) (fabs (cbrt y)) (fabs (cbrt y)) (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) 1 (pow y 2/3) (pow (cbrt (cbrt y)) 4) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt y) (cbrt y) 1 (pow y 2/3) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (cbrt y) (cbrt y) 2/3 2 (* (cbrt (pow y 2/3)) (cbrt y)) (* (cbrt y) (cbrt (sqrt y))) (cbrt y) (* (pow (cbrt (cbrt y)) 4) (cbrt (cbrt y))) (pow (sqrt (cbrt y)) 3) (cbrt y) (pow (cbrt (cbrt y)) 4) (* (cbrt y) (cbrt (sqrt y))) (pow y 2/3) (pow (cbrt (cbrt y)) 4) (pow (sqrt (cbrt y)) 3) (pow y 2/3) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (pow y 2/3) (pow (/ 1 y) -2/3) (* (cbrt (* y y)) (pow (cbrt -1) 2)) 5.931 * * * [progress]: adding candidates to table 6.107 * * [progress]: iteration 3 / 4 6.107 * * * [progress]: picking best candidate 6.111 * * * * [pick]: Picked # 6.111 * * * [progress]: localizing error 6.122 * * * [progress]: generating rewritten candidates 6.122 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 6.123 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 6.124 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 6.125 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 6.126 * * * [progress]: generating series expansions 6.126 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.126 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 6.126 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.126 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.126 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.126 * [taylor]: Taking taylor expansion of 1/9 in y 6.126 * [taylor]: Taking taylor expansion of (log y) in y 6.126 * [taylor]: Taking taylor expansion of y in y 6.127 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.127 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.127 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.127 * [taylor]: Taking taylor expansion of 1/9 in y 6.127 * [taylor]: Taking taylor expansion of (log y) in y 6.127 * [taylor]: Taking taylor expansion of y in y 6.178 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 6.178 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.178 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.178 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.178 * [taylor]: Taking taylor expansion of 1/9 in y 6.178 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.178 * [taylor]: Taking taylor expansion of y in y 6.179 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.179 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.179 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.179 * [taylor]: Taking taylor expansion of 1/9 in y 6.179 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.179 * [taylor]: Taking taylor expansion of y in y 6.235 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 6.235 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.235 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.235 * [taylor]: Taking taylor expansion of 1/3 in y 6.235 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.235 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.235 * [taylor]: Taking taylor expansion of -1 in y 6.239 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.239 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.239 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.239 * [taylor]: Taking taylor expansion of 1/9 in y 6.239 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.239 * [taylor]: Taking taylor expansion of y in y 6.240 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.240 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.240 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.240 * [taylor]: Taking taylor expansion of 1/3 in y 6.240 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.240 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.240 * [taylor]: Taking taylor expansion of -1 in y 6.243 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.243 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.243 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.243 * [taylor]: Taking taylor expansion of 1/9 in y 6.243 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.244 * [taylor]: Taking taylor expansion of y in y 6.372 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 6.373 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 6.373 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.373 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.373 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.373 * [taylor]: Taking taylor expansion of 1/9 in y 6.373 * [taylor]: Taking taylor expansion of (log y) in y 6.373 * [taylor]: Taking taylor expansion of y in y 6.373 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.373 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.373 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.373 * [taylor]: Taking taylor expansion of 1/9 in y 6.373 * [taylor]: Taking taylor expansion of (log y) in y 6.374 * [taylor]: Taking taylor expansion of y in y 6.421 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 6.421 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.421 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.421 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.421 * [taylor]: Taking taylor expansion of 1/9 in y 6.421 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.421 * [taylor]: Taking taylor expansion of y in y 6.422 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.422 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.422 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.422 * [taylor]: Taking taylor expansion of 1/9 in y 6.422 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.422 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.422 * [taylor]: Taking taylor expansion of y in y 6.479 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 6.479 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.479 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.479 * [taylor]: Taking taylor expansion of 1/3 in y 6.479 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.479 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.479 * [taylor]: Taking taylor expansion of -1 in y 6.483 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.483 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.483 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.483 * [taylor]: Taking taylor expansion of 1/9 in y 6.483 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.483 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.483 * [taylor]: Taking taylor expansion of y in y 6.484 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.484 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.484 * [taylor]: Taking taylor expansion of 1/3 in y 6.484 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.484 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.484 * [taylor]: Taking taylor expansion of -1 in y 6.487 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.487 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.487 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.487 * [taylor]: Taking taylor expansion of 1/9 in y 6.487 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.487 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.487 * [taylor]: Taking taylor expansion of y in y 6.612 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 6.613 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 6.613 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.613 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.613 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.613 * [taylor]: Taking taylor expansion of 1/9 in y 6.613 * [taylor]: Taking taylor expansion of (log y) in y 6.613 * [taylor]: Taking taylor expansion of y in y 6.613 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.613 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.613 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.613 * [taylor]: Taking taylor expansion of 1/9 in y 6.613 * [taylor]: Taking taylor expansion of (log y) in y 6.613 * [taylor]: Taking taylor expansion of y in y 6.667 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 6.667 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.667 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.667 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.667 * [taylor]: Taking taylor expansion of 1/9 in y 6.667 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.667 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.667 * [taylor]: Taking taylor expansion of y in y 6.668 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.668 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.668 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.668 * [taylor]: Taking taylor expansion of 1/9 in y 6.668 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.668 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.668 * [taylor]: Taking taylor expansion of y in y 6.718 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 6.718 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.718 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.718 * [taylor]: Taking taylor expansion of 1/3 in y 6.718 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.718 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.718 * [taylor]: Taking taylor expansion of -1 in y 6.722 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.722 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.722 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.722 * [taylor]: Taking taylor expansion of 1/9 in y 6.722 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.722 * [taylor]: Taking taylor expansion of y in y 6.723 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.723 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.723 * [taylor]: Taking taylor expansion of 1/3 in y 6.723 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.723 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.723 * [taylor]: Taking taylor expansion of -1 in y 6.727 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.727 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.727 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.727 * [taylor]: Taking taylor expansion of 1/9 in y 6.727 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.727 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.727 * [taylor]: Taking taylor expansion of y in y 6.858 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 6.858 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 6.858 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.858 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.858 * [taylor]: Taking taylor expansion of 1/3 in y 6.858 * [taylor]: Taking taylor expansion of (log y) in y 6.858 * [taylor]: Taking taylor expansion of y in y 6.858 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.858 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.858 * [taylor]: Taking taylor expansion of 1/3 in y 6.858 * [taylor]: Taking taylor expansion of (log y) in y 6.858 * [taylor]: Taking taylor expansion of y in y 6.913 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 6.913 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.913 * [taylor]: Taking taylor expansion of 1/3 in y 6.913 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.913 * [taylor]: Taking taylor expansion of y in y 6.914 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.914 * [taylor]: Taking taylor expansion of 1/3 in y 6.914 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.914 * [taylor]: Taking taylor expansion of y in y 6.967 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 6.967 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 6.967 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.967 * [taylor]: Taking taylor expansion of -1 in y 6.968 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.968 * [taylor]: Taking taylor expansion of 1/3 in y 6.968 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.968 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.968 * [taylor]: Taking taylor expansion of y in y 6.969 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 6.969 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.969 * [taylor]: Taking taylor expansion of -1 in y 6.975 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.975 * [taylor]: Taking taylor expansion of 1/3 in y 6.975 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.975 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.976 * [taylor]: Taking taylor expansion of y in y 7.038 * * * [progress]: simplifying candidates 7.039 * [simplify]: Simplifying using # : (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 7.041 * * [simplify]: iteration 0 : 46 enodes (cost 419 ) 7.054 * * [simplify]: iteration 1 : 79 enodes (cost 400 ) 7.067 * * [simplify]: iteration 2 : 151 enodes (cost 370 ) 7.098 * * [simplify]: iteration 3 : 335 enodes (cost 358 ) 7.221 * * [simplify]: iteration 4 : 1129 enodes (cost 358 ) 7.568 * * [simplify]: iteration done : 5001 enodes (cost 358 ) 7.568 * [simplify]: Simplified to: (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) 7.569 * * * [progress]: adding candidates to table 7.770 * * [progress]: iteration 4 / 4 7.770 * * * [progress]: picking best candidate 7.771 * * * * [pick]: Picked # 7.771 * * * [progress]: localizing error 7.777 * * * [progress]: generating rewritten candidates 7.777 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 7.804 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 7.816 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 7.821 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 7.828 * * * [progress]: generating series expansions 7.828 * * * * [progress]: [ 1 / 4 ] generating series at (2) 7.829 * [approximate]: Taking taylor expansion of (* y (- x z)) in (x z y) around 0 7.829 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 7.829 * [taylor]: Taking taylor expansion of y in y 7.829 * [taylor]: Taking taylor expansion of (- x z) in y 7.829 * [taylor]: Taking taylor expansion of x in y 7.829 * [taylor]: Taking taylor expansion of z in y 7.829 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 7.829 * [taylor]: Taking taylor expansion of y in z 7.829 * [taylor]: Taking taylor expansion of (- x z) in z 7.829 * [taylor]: Taking taylor expansion of x in z 7.829 * [taylor]: Taking taylor expansion of z in z 7.829 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 7.829 * [taylor]: Taking taylor expansion of y in x 7.829 * [taylor]: Taking taylor expansion of (- x z) in x 7.829 * [taylor]: Taking taylor expansion of x in x 7.829 * [taylor]: Taking taylor expansion of z in x 7.829 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 7.829 * [taylor]: Taking taylor expansion of y in x 7.829 * [taylor]: Taking taylor expansion of (- x z) in x 7.829 * [taylor]: Taking taylor expansion of x in x 7.829 * [taylor]: Taking taylor expansion of z in x 7.829 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in z 7.829 * [taylor]: Taking taylor expansion of -1 in z 7.829 * [taylor]: Taking taylor expansion of (* z y) in z 7.829 * [taylor]: Taking taylor expansion of z in z 7.829 * [taylor]: Taking taylor expansion of y in z 7.830 * [taylor]: Taking taylor expansion of 0 in y 7.830 * [taylor]: Taking taylor expansion of y in z 7.830 * [taylor]: Taking taylor expansion of y in y 7.831 * [taylor]: Taking taylor expansion of (- y) in y 7.831 * [taylor]: Taking taylor expansion of y in y 7.832 * [taylor]: Taking taylor expansion of 0 in z 7.832 * [taylor]: Taking taylor expansion of 0 in y 7.832 * [taylor]: Taking taylor expansion of 0 in y 7.832 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (x z y) around 0 7.832 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 7.832 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.832 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.832 * [taylor]: Taking taylor expansion of x in y 7.832 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.832 * [taylor]: Taking taylor expansion of z in y 7.832 * [taylor]: Taking taylor expansion of y in y 7.833 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 7.833 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 7.833 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.833 * [taylor]: Taking taylor expansion of x in z 7.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.833 * [taylor]: Taking taylor expansion of z in z 7.833 * [taylor]: Taking taylor expansion of y in z 7.834 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 7.834 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.834 * [taylor]: Taking taylor expansion of x in x 7.834 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.834 * [taylor]: Taking taylor expansion of z in x 7.834 * [taylor]: Taking taylor expansion of y in x 7.834 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 7.834 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.834 * [taylor]: Taking taylor expansion of x in x 7.835 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.835 * [taylor]: Taking taylor expansion of z in x 7.835 * [taylor]: Taking taylor expansion of y in x 7.835 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.835 * [taylor]: Taking taylor expansion of y in z 7.836 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 7.836 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.836 * [taylor]: Taking taylor expansion of (* z y) in z 7.836 * [taylor]: Taking taylor expansion of z in z 7.836 * [taylor]: Taking taylor expansion of y in z 7.836 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 7.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.836 * [taylor]: Taking taylor expansion of y in y 7.837 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.837 * [taylor]: Taking taylor expansion of y in y 7.838 * [taylor]: Taking taylor expansion of 0 in z 7.839 * [taylor]: Taking taylor expansion of 0 in y 7.839 * [taylor]: Taking taylor expansion of 0 in y 7.842 * [taylor]: Taking taylor expansion of 0 in z 7.842 * [taylor]: Taking taylor expansion of 0 in y 7.843 * [taylor]: Taking taylor expansion of 0 in y 7.843 * [taylor]: Taking taylor expansion of 0 in y 7.845 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (x z y) around 0 7.845 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 7.845 * [taylor]: Taking taylor expansion of -1 in y 7.845 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 7.845 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.845 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.845 * [taylor]: Taking taylor expansion of z in y 7.845 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.845 * [taylor]: Taking taylor expansion of x in y 7.845 * [taylor]: Taking taylor expansion of y in y 7.845 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 7.845 * [taylor]: Taking taylor expansion of -1 in z 7.845 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 7.845 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 7.845 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.845 * [taylor]: Taking taylor expansion of z in z 7.845 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.845 * [taylor]: Taking taylor expansion of x in z 7.845 * [taylor]: Taking taylor expansion of y in z 7.846 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 7.846 * [taylor]: Taking taylor expansion of -1 in x 7.846 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 7.846 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.846 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.846 * [taylor]: Taking taylor expansion of z in x 7.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.846 * [taylor]: Taking taylor expansion of x in x 7.846 * [taylor]: Taking taylor expansion of y in x 7.847 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 7.847 * [taylor]: Taking taylor expansion of -1 in x 7.847 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 7.847 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.847 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.847 * [taylor]: Taking taylor expansion of z in x 7.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.847 * [taylor]: Taking taylor expansion of x in x 7.847 * [taylor]: Taking taylor expansion of y in x 7.848 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.848 * [taylor]: Taking taylor expansion of y in z 7.849 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in z 7.849 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.849 * [taylor]: Taking taylor expansion of (* z y) in z 7.849 * [taylor]: Taking taylor expansion of z in z 7.849 * [taylor]: Taking taylor expansion of y in z 7.849 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 7.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.849 * [taylor]: Taking taylor expansion of y in y 7.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.850 * [taylor]: Taking taylor expansion of y in y 7.851 * [taylor]: Taking taylor expansion of 0 in z 7.852 * [taylor]: Taking taylor expansion of 0 in y 7.852 * [taylor]: Taking taylor expansion of 0 in y 7.855 * [taylor]: Taking taylor expansion of 0 in z 7.855 * [taylor]: Taking taylor expansion of 0 in y 7.856 * [taylor]: Taking taylor expansion of 0 in y 7.856 * [taylor]: Taking taylor expansion of 0 in y 7.858 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 7.858 * [approximate]: Taking taylor expansion of (* y (sqrt (- x z))) in (x z y) around 0 7.858 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in y 7.858 * [taylor]: Taking taylor expansion of y in y 7.858 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in y 7.858 * [taylor]: Taking taylor expansion of (- x z) in y 7.858 * [taylor]: Taking taylor expansion of x in y 7.858 * [taylor]: Taking taylor expansion of z in y 7.859 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in z 7.859 * [taylor]: Taking taylor expansion of y in z 7.859 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in z 7.859 * [taylor]: Taking taylor expansion of (- x z) in z 7.859 * [taylor]: Taking taylor expansion of x in z 7.859 * [taylor]: Taking taylor expansion of z in z 7.860 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in x 7.860 * [taylor]: Taking taylor expansion of y in x 7.860 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 7.860 * [taylor]: Taking taylor expansion of (- x z) in x 7.860 * [taylor]: Taking taylor expansion of x in x 7.860 * [taylor]: Taking taylor expansion of z in x 7.860 * [taylor]: Taking taylor expansion of (* y (sqrt (- x z))) in x 7.860 * [taylor]: Taking taylor expansion of y in x 7.860 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 7.860 * [taylor]: Taking taylor expansion of (- x z) in x 7.860 * [taylor]: Taking taylor expansion of x in x 7.860 * [taylor]: Taking taylor expansion of z in x 7.861 * [taylor]: Taking taylor expansion of (* (sqrt (- z)) y) in z 7.861 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 7.861 * [taylor]: Taking taylor expansion of (- z) in z 7.861 * [taylor]: Taking taylor expansion of z in z 7.863 * [taylor]: Taking taylor expansion of y in z 7.863 * [taylor]: Taking taylor expansion of 0 in y 7.863 * [taylor]: Taking taylor expansion of (* 1/2 (/ y (sqrt (- z)))) in z 7.863 * [taylor]: Taking taylor expansion of 1/2 in z 7.863 * [taylor]: Taking taylor expansion of (/ y (sqrt (- z))) in z 7.863 * [taylor]: Taking taylor expansion of y in z 7.863 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 7.863 * [taylor]: Taking taylor expansion of (- z) in z 7.863 * [taylor]: Taking taylor expansion of z in z 7.872 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y 7.872 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 7.872 * [taylor]: Taking taylor expansion of +nan.0 in y 7.872 * [taylor]: Taking taylor expansion of y in y 7.873 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y 7.873 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 7.873 * [taylor]: Taking taylor expansion of +nan.0 in y 7.873 * [taylor]: Taking taylor expansion of y in y 7.874 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ y (pow (sqrt (- z)) 3)))) in z 7.875 * [taylor]: Taking taylor expansion of (* 1/8 (/ y (pow (sqrt (- z)) 3))) in z 7.875 * [taylor]: Taking taylor expansion of 1/8 in z 7.875 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt (- z)) 3)) in z 7.875 * [taylor]: Taking taylor expansion of y in z 7.875 * [taylor]: Taking taylor expansion of (pow (sqrt (- z)) 3) in z 7.875 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 7.875 * [taylor]: Taking taylor expansion of (- z) in z 7.875 * [taylor]: Taking taylor expansion of z in z 7.899 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y 7.899 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 7.899 * [taylor]: Taking taylor expansion of +nan.0 in y 7.899 * [taylor]: Taking taylor expansion of y in y 7.903 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y 7.903 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y 7.903 * [taylor]: Taking taylor expansion of +nan.0 in y 7.903 * [taylor]: Taking taylor expansion of y in y 7.903 * [approximate]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in (x z y) around 0 7.903 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in y 7.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.903 * [taylor]: Taking taylor expansion of y in y 7.904 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in y 7.904 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.904 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.904 * [taylor]: Taking taylor expansion of x in y 7.904 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.904 * [taylor]: Taking taylor expansion of z in y 7.905 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in z 7.905 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.905 * [taylor]: Taking taylor expansion of y in z 7.905 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in z 7.905 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 7.905 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.905 * [taylor]: Taking taylor expansion of x in z 7.905 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.905 * [taylor]: Taking taylor expansion of z in z 7.907 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in x 7.907 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.907 * [taylor]: Taking taylor expansion of y in x 7.907 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 7.907 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.907 * [taylor]: Taking taylor expansion of x in x 7.907 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.907 * [taylor]: Taking taylor expansion of z in x 7.908 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 x) (/ 1 z)))) in x 7.908 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.908 * [taylor]: Taking taylor expansion of y in x 7.908 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 7.908 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.908 * [taylor]: Taking taylor expansion of x in x 7.909 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.909 * [taylor]: Taking taylor expansion of z in x 7.910 * [taylor]: Taking taylor expansion of 0 in z 7.910 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in z 7.911 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in z 7.911 * [taylor]: Taking taylor expansion of +nan.0 in z 7.911 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.911 * [taylor]: Taking taylor expansion of y in z 7.911 * [taylor]: Taking taylor expansion of 0 in y 7.913 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* z y))) (- (* +nan.0 (/ 1 y))))) in z 7.913 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* z y))) (- (* +nan.0 (/ 1 y)))) in z 7.913 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* z y))) in z 7.913 * [taylor]: Taking taylor expansion of +nan.0 in z 7.913 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.913 * [taylor]: Taking taylor expansion of (* z y) in z 7.913 * [taylor]: Taking taylor expansion of z in z 7.913 * [taylor]: Taking taylor expansion of y in z 7.913 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in z 7.913 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in z 7.913 * [taylor]: Taking taylor expansion of +nan.0 in z 7.913 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.913 * [taylor]: Taking taylor expansion of y in z 7.914 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 7.914 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 7.914 * [taylor]: Taking taylor expansion of +nan.0 in y 7.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.914 * [taylor]: Taking taylor expansion of y in y 7.915 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 7.915 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 7.915 * [taylor]: Taking taylor expansion of +nan.0 in y 7.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.915 * [taylor]: Taking taylor expansion of y in y 7.916 * [taylor]: Taking taylor expansion of 0 in y 7.919 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* z y))) (- (* +nan.0 (/ 1 y))))) in z 7.919 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* z y))) (- (* +nan.0 (/ 1 y)))) in z 7.919 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* z y))) in z 7.919 * [taylor]: Taking taylor expansion of +nan.0 in z 7.919 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.919 * [taylor]: Taking taylor expansion of (* z y) in z 7.919 * [taylor]: Taking taylor expansion of z in z 7.919 * [taylor]: Taking taylor expansion of y in z 7.919 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in z 7.919 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in z 7.919 * [taylor]: Taking taylor expansion of +nan.0 in z 7.919 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.919 * [taylor]: Taking taylor expansion of y in z 7.919 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 7.919 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 7.919 * [taylor]: Taking taylor expansion of +nan.0 in y 7.919 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.919 * [taylor]: Taking taylor expansion of y in y 7.922 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in (x z y) around 0 7.922 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in y 7.922 * [taylor]: Taking taylor expansion of -1 in y 7.922 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in y 7.922 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.922 * [taylor]: Taking taylor expansion of y in y 7.922 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in y 7.922 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.922 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.922 * [taylor]: Taking taylor expansion of z in y 7.922 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.922 * [taylor]: Taking taylor expansion of x in y 7.923 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in z 7.923 * [taylor]: Taking taylor expansion of -1 in z 7.923 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in z 7.923 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.923 * [taylor]: Taking taylor expansion of y in z 7.923 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in z 7.923 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 7.923 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.923 * [taylor]: Taking taylor expansion of z in z 7.924 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.924 * [taylor]: Taking taylor expansion of x in z 7.925 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in x 7.925 * [taylor]: Taking taylor expansion of -1 in x 7.925 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in x 7.925 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.925 * [taylor]: Taking taylor expansion of y in x 7.925 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 7.925 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.925 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.925 * [taylor]: Taking taylor expansion of z in x 7.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.925 * [taylor]: Taking taylor expansion of x in x 7.927 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x))))) in x 7.927 * [taylor]: Taking taylor expansion of -1 in x 7.927 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (- (/ 1 z) (/ 1 x)))) in x 7.927 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.927 * [taylor]: Taking taylor expansion of y in x 7.927 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 7.927 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.927 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.927 * [taylor]: Taking taylor expansion of z in x 7.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.927 * [taylor]: Taking taylor expansion of x in x 7.929 * [taylor]: Taking taylor expansion of 0 in z 7.930 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in z 7.930 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in z 7.930 * [taylor]: Taking taylor expansion of +nan.0 in z 7.930 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.930 * [taylor]: Taking taylor expansion of y in z 7.930 * [taylor]: Taking taylor expansion of 0 in y 7.933 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* z y))) (- (* +nan.0 (/ 1 y))))) in z 7.933 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* z y))) (- (* +nan.0 (/ 1 y)))) in z 7.933 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* z y))) in z 7.933 * [taylor]: Taking taylor expansion of +nan.0 in z 7.933 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.933 * [taylor]: Taking taylor expansion of (* z y) in z 7.933 * [taylor]: Taking taylor expansion of z in z 7.933 * [taylor]: Taking taylor expansion of y in z 7.933 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in z 7.933 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in z 7.933 * [taylor]: Taking taylor expansion of +nan.0 in z 7.933 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.933 * [taylor]: Taking taylor expansion of y in z 7.934 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 7.934 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 7.934 * [taylor]: Taking taylor expansion of +nan.0 in y 7.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.934 * [taylor]: Taking taylor expansion of y in y 7.935 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 7.935 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 7.935 * [taylor]: Taking taylor expansion of +nan.0 in y 7.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.935 * [taylor]: Taking taylor expansion of y in y 7.936 * [taylor]: Taking taylor expansion of 0 in y 7.939 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* z y))) (- (* +nan.0 (/ 1 y))))) in z 7.939 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* z y))) (- (* +nan.0 (/ 1 y)))) in z 7.939 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* z y))) in z 7.939 * [taylor]: Taking taylor expansion of +nan.0 in z 7.939 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.939 * [taylor]: Taking taylor expansion of (* z y) in z 7.939 * [taylor]: Taking taylor expansion of z in z 7.939 * [taylor]: Taking taylor expansion of y in z 7.939 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in z 7.940 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in z 7.940 * [taylor]: Taking taylor expansion of +nan.0 in z 7.940 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.940 * [taylor]: Taking taylor expansion of y in z 7.940 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 7.940 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 7.940 * [taylor]: Taking taylor expansion of +nan.0 in y 7.940 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.940 * [taylor]: Taking taylor expansion of y in y 7.942 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 7.942 * [approximate]: Taking taylor expansion of (sqrt (- x z)) in (x z) around 0 7.942 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in z 7.942 * [taylor]: Taking taylor expansion of (- x z) in z 7.942 * [taylor]: Taking taylor expansion of x in z 7.942 * [taylor]: Taking taylor expansion of z in z 7.943 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 7.943 * [taylor]: Taking taylor expansion of (- x z) in x 7.943 * [taylor]: Taking taylor expansion of x in x 7.943 * [taylor]: Taking taylor expansion of z in x 7.944 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 7.944 * [taylor]: Taking taylor expansion of (- x z) in x 7.944 * [taylor]: Taking taylor expansion of x in x 7.944 * [taylor]: Taking taylor expansion of z in x 7.945 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 7.945 * [taylor]: Taking taylor expansion of (- z) in z 7.945 * [taylor]: Taking taylor expansion of z in z 7.946 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- z))) in z 7.946 * [taylor]: Taking taylor expansion of 1/2 in z 7.946 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 7.946 * [taylor]: Taking taylor expansion of (- z) in z 7.946 * [taylor]: Taking taylor expansion of z in z 7.953 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (- z)) 3)) in z 7.953 * [taylor]: Taking taylor expansion of -1/8 in z 7.953 * [taylor]: Taking taylor expansion of (pow (sqrt (- z)) 3) in z 7.953 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 7.953 * [taylor]: Taking taylor expansion of (- z) in z 7.953 * [taylor]: Taking taylor expansion of z in z 7.990 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in (x z) around 0 7.990 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in z 7.990 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 7.990 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.990 * [taylor]: Taking taylor expansion of x in z 7.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.990 * [taylor]: Taking taylor expansion of z in z 7.992 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 7.992 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.992 * [taylor]: Taking taylor expansion of x in x 7.992 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.992 * [taylor]: Taking taylor expansion of z in x 7.994 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 7.994 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.994 * [taylor]: Taking taylor expansion of x in x 7.994 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.994 * [taylor]: Taking taylor expansion of z in x 7.995 * [taylor]: Taking taylor expansion of 0 in z 7.995 * [taylor]: Taking taylor expansion of +nan.0 in z 7.997 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 z) (- +nan.0))) in z 7.997 * [taylor]: Taking taylor expansion of +nan.0 in z 7.997 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (- +nan.0)) in z 7.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.997 * [taylor]: Taking taylor expansion of z in z 7.997 * [taylor]: Taking taylor expansion of (- +nan.0) in z 7.997 * [taylor]: Taking taylor expansion of +nan.0 in z 7.999 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 7.999 * [taylor]: Taking taylor expansion of +nan.0 in z 7.999 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 7.999 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 7.999 * [taylor]: Taking taylor expansion of +nan.0 in z 7.999 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.999 * [taylor]: Taking taylor expansion of z in z 8.000 * [taylor]: Taking taylor expansion of (- +nan.0) in z 8.000 * [taylor]: Taking taylor expansion of +nan.0 in z 8.001 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in (x z) around 0 8.001 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in z 8.001 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.001 * [taylor]: Taking taylor expansion of z in z 8.001 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.001 * [taylor]: Taking taylor expansion of x in z 8.003 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 8.003 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.003 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.003 * [taylor]: Taking taylor expansion of z in x 8.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.003 * [taylor]: Taking taylor expansion of x in x 8.005 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 8.005 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.005 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.005 * [taylor]: Taking taylor expansion of z in x 8.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.005 * [taylor]: Taking taylor expansion of x in x 8.007 * [taylor]: Taking taylor expansion of 0 in z 8.007 * [taylor]: Taking taylor expansion of +nan.0 in z 8.008 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 z) +nan.0)) in z 8.008 * [taylor]: Taking taylor expansion of +nan.0 in z 8.008 * [taylor]: Taking taylor expansion of (- (/ 1 z) +nan.0) in z 8.008 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.008 * [taylor]: Taking taylor expansion of z in z 8.008 * [taylor]: Taking taylor expansion of +nan.0 in z 8.010 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 8.010 * [taylor]: Taking taylor expansion of +nan.0 in z 8.010 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 8.010 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 8.011 * [taylor]: Taking taylor expansion of +nan.0 in z 8.011 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.011 * [taylor]: Taking taylor expansion of z in z 8.011 * [taylor]: Taking taylor expansion of (- +nan.0) in z 8.011 * [taylor]: Taking taylor expansion of +nan.0 in z 8.012 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 8.012 * [approximate]: Taking taylor expansion of (sqrt (- x z)) in (x z) around 0 8.012 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in z 8.012 * [taylor]: Taking taylor expansion of (- x z) in z 8.012 * [taylor]: Taking taylor expansion of x in z 8.012 * [taylor]: Taking taylor expansion of z in z 8.013 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 8.013 * [taylor]: Taking taylor expansion of (- x z) in x 8.013 * [taylor]: Taking taylor expansion of x in x 8.013 * [taylor]: Taking taylor expansion of z in x 8.014 * [taylor]: Taking taylor expansion of (sqrt (- x z)) in x 8.014 * [taylor]: Taking taylor expansion of (- x z) in x 8.014 * [taylor]: Taking taylor expansion of x in x 8.014 * [taylor]: Taking taylor expansion of z in x 8.015 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 8.015 * [taylor]: Taking taylor expansion of (- z) in z 8.015 * [taylor]: Taking taylor expansion of z in z 8.017 * [taylor]: Taking taylor expansion of (/ 1/2 (sqrt (- z))) in z 8.017 * [taylor]: Taking taylor expansion of 1/2 in z 8.017 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 8.017 * [taylor]: Taking taylor expansion of (- z) in z 8.017 * [taylor]: Taking taylor expansion of z in z 8.023 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (- z)) 3)) in z 8.023 * [taylor]: Taking taylor expansion of -1/8 in z 8.023 * [taylor]: Taking taylor expansion of (pow (sqrt (- z)) 3) in z 8.023 * [taylor]: Taking taylor expansion of (sqrt (- z)) in z 8.023 * [taylor]: Taking taylor expansion of (- z) in z 8.023 * [taylor]: Taking taylor expansion of z in z 8.060 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in (x z) around 0 8.060 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in z 8.060 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.060 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.060 * [taylor]: Taking taylor expansion of x in z 8.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.060 * [taylor]: Taking taylor expansion of z in z 8.062 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 8.062 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.062 * [taylor]: Taking taylor expansion of x in x 8.062 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.062 * [taylor]: Taking taylor expansion of z in x 8.063 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) (/ 1 z))) in x 8.063 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.063 * [taylor]: Taking taylor expansion of x in x 8.064 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.064 * [taylor]: Taking taylor expansion of z in x 8.065 * [taylor]: Taking taylor expansion of 0 in z 8.065 * [taylor]: Taking taylor expansion of +nan.0 in z 8.067 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 z) (- +nan.0))) in z 8.067 * [taylor]: Taking taylor expansion of +nan.0 in z 8.067 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (- +nan.0)) in z 8.067 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.067 * [taylor]: Taking taylor expansion of z in z 8.067 * [taylor]: Taking taylor expansion of (- +nan.0) in z 8.067 * [taylor]: Taking taylor expansion of +nan.0 in z 8.069 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 8.069 * [taylor]: Taking taylor expansion of +nan.0 in z 8.069 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 8.069 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 8.069 * [taylor]: Taking taylor expansion of +nan.0 in z 8.069 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.069 * [taylor]: Taking taylor expansion of z in z 8.070 * [taylor]: Taking taylor expansion of (- +nan.0) in z 8.070 * [taylor]: Taking taylor expansion of +nan.0 in z 8.071 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in (x z) around 0 8.071 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in z 8.071 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.071 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.071 * [taylor]: Taking taylor expansion of z in z 8.072 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.072 * [taylor]: Taking taylor expansion of x in z 8.073 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 8.073 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.073 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.073 * [taylor]: Taking taylor expansion of z in x 8.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.073 * [taylor]: Taking taylor expansion of x in x 8.075 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 z) (/ 1 x))) in x 8.075 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.075 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.075 * [taylor]: Taking taylor expansion of z in x 8.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.075 * [taylor]: Taking taylor expansion of x in x 8.077 * [taylor]: Taking taylor expansion of 0 in z 8.077 * [taylor]: Taking taylor expansion of +nan.0 in z 8.078 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 z) +nan.0)) in z 8.078 * [taylor]: Taking taylor expansion of +nan.0 in z 8.078 * [taylor]: Taking taylor expansion of (- (/ 1 z) +nan.0) in z 8.078 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.078 * [taylor]: Taking taylor expansion of z in z 8.079 * [taylor]: Taking taylor expansion of +nan.0 in z 8.081 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 z)) (- +nan.0))) in z 8.081 * [taylor]: Taking taylor expansion of +nan.0 in z 8.081 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 z)) (- +nan.0)) in z 8.081 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 z)) in z 8.081 * [taylor]: Taking taylor expansion of +nan.0 in z 8.081 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.081 * [taylor]: Taking taylor expansion of z in z 8.081 * [taylor]: Taking taylor expansion of (- +nan.0) in z 8.081 * [taylor]: Taking taylor expansion of +nan.0 in z 8.083 * * * [progress]: simplifying candidates 8.084 * [simplify]: Simplifying using # : (expm1 (* (sqrt (- x z)) (* (sqrt (- x z)) y))) (log1p (* (sqrt (- x z)) (* (sqrt (- x z)) y))) (* (sqrt (- x z)) (* (sqrt (- x z)) y)) (* (sqrt (- x z)) (* (sqrt (- x z)) y)) (+ (log (sqrt (- x z))) (+ (log (sqrt (- x z))) (log y))) (+ (log (sqrt (- x z))) (log (* (sqrt (- x z)) y))) (log (* (sqrt (- x z)) (* (sqrt (- x z)) y))) (exp (* (sqrt (- x z)) (* (sqrt (- x z)) y))) (* (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z))) (* (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z))) (* (* y y) y))) (* (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z))) (* (* (* (sqrt (- x z)) y) (* (sqrt (- x z)) y)) (* (sqrt (- x z)) y))) (* (cbrt (* (sqrt (- x z)) (* (sqrt (- x z)) y))) (cbrt (* (sqrt (- x z)) (* (sqrt (- x z)) y)))) (cbrt (* (sqrt (- x z)) (* (sqrt (- x z)) y))) (* (* (* (sqrt (- x z)) (* (sqrt (- x z)) y)) (* (sqrt (- x z)) (* (sqrt (- x z)) y))) (* (sqrt (- x z)) (* (sqrt (- x z)) y))) (sqrt (* (sqrt (- x z)) (* (sqrt (- x z)) y))) (sqrt (* (sqrt (- x z)) (* (sqrt (- x z)) y))) (* (sqrt (- (pow x 3) (pow z 3))) (* (sqrt (- (pow x 3) (pow z 3))) y)) (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (+ (* x x) (+ (* z z) (* x z))))) (* (sqrt (- (pow x 3) (pow z 3))) (* (sqrt (- (* x x) (* z z))) y)) (* (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (+ x z))) (* (sqrt (- (* x x) (* z z))) (* (sqrt (- (pow x 3) (pow z 3))) y)) (* (sqrt (+ x z)) (sqrt (+ (* x x) (+ (* z z) (* x z))))) (* (sqrt (- (* x x) (* z z))) (* (sqrt (- (* x x) (* z z))) y)) (* (sqrt (+ x z)) (sqrt (+ x z))) (* (sqrt (- x z)) (sqrt (- x z))) (* (cbrt (sqrt (- x z))) (* (sqrt (- x z)) y)) (* (sqrt (cbrt (- x z))) (* (sqrt (- x z)) y)) (* (sqrt (sqrt (- x z))) (* (sqrt (- x z)) y)) (* (sqrt (- x z)) (* (sqrt (- x z)) y)) (* (sqrt (- (sqrt x) (sqrt z))) (* (sqrt (- x z)) y)) (* (sqrt (- x z)) (* (sqrt (- x z)) y)) (* (sqrt (sqrt (- x z))) (* (sqrt (- x z)) y)) (* (sqrt (- x z)) (* (sqrt (- x z)) y)) (* (sqrt (- x z)) (* (sqrt (- (pow x 3) (pow z 3))) y)) (* (sqrt (- x z)) (* (sqrt (- (* x x) (* z z))) y)) (* (sqrt (- (pow x 3) (pow z 3))) (* (sqrt (- x z)) y)) (* (sqrt (- (* x x) (* z z))) (* (sqrt (- x z)) y)) (expm1 (* (sqrt (- x z)) y)) (log1p (* (sqrt (- x z)) y)) (* (sqrt (- x z)) y) (+ (log (sqrt (- x z))) (log y)) (log (* (sqrt (- x z)) y)) (exp (* (sqrt (- x z)) y)) (* (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z))) (* (* y y) y)) (* (cbrt (* (sqrt (- x z)) y)) (cbrt (* (sqrt (- x z)) y))) (cbrt (* (sqrt (- x z)) y)) (* (* (* (sqrt (- x z)) y) (* (sqrt (- x z)) y)) (* (sqrt (- x z)) y)) (sqrt (* (sqrt (- x z)) y)) (sqrt (* (sqrt (- x z)) y)) (* (sqrt (sqrt (- x z))) (sqrt y)) (* (sqrt (sqrt (- x z))) (sqrt y)) (* (sqrt (sqrt (- x z))) (sqrt y)) (* (sqrt (sqrt (- x z))) (sqrt y)) (* (sqrt (- x z)) (* (cbrt y) (cbrt y))) (* (sqrt (- x z)) (sqrt y)) (* (sqrt (- x z)) 1) (* (cbrt (sqrt (- x z))) y) (* (sqrt (cbrt (- x z))) y) (* (sqrt (sqrt (- x z))) y) (* (sqrt (- x z)) y) (* (sqrt (- (sqrt x) (sqrt z))) y) (* (sqrt (- x z)) y) (* (sqrt (sqrt (- x z))) y) (* (sqrt (- x z)) y) (* (sqrt (- (pow x 3) (pow z 3))) y) (* (sqrt (- (* x x) (* z z))) y) (expm1 (sqrt (- x z))) (log1p (sqrt (- x z))) (log (sqrt (- x z))) (exp (sqrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (cbrt (sqrt (- x z))) (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z))) (sqrt (* (cbrt (- x z)) (cbrt (- x z)))) (sqrt (cbrt (- x z))) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) (sqrt 1) (sqrt (- x z)) (sqrt (+ (sqrt x) (sqrt z))) (sqrt (- (sqrt x) (sqrt z))) (sqrt 1) (sqrt (- x z)) (sqrt (- (pow x 3) (pow z 3))) (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (- (* x x) (* z z))) (sqrt (+ x z)) (/ 1 2) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) (expm1 (sqrt (- x z))) (log1p (sqrt (- x z))) (log (sqrt (- x z))) (exp (sqrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (cbrt (sqrt (- x z))) (* (* (sqrt (- x z)) (sqrt (- x z))) (sqrt (- x z))) (sqrt (* (cbrt (- x z)) (cbrt (- x z)))) (sqrt (cbrt (- x z))) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) (sqrt 1) (sqrt (- x z)) (sqrt (+ (sqrt x) (sqrt z))) (sqrt (- (sqrt x) (sqrt z))) (sqrt 1) (sqrt (- x z)) (sqrt (- (pow x 3) (pow z 3))) (sqrt (+ (* x x) (+ (* z z) (* x z)))) (sqrt (- (* x x) (* z z))) (sqrt (+ x z)) (/ 1 2) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) 0 (- (* x y) (* z y)) (- (* x y) (* z y)) 0 (- (+ (* +nan.0 (/ (* z y) x)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* z y) (pow x 2)))))))) (- (+ (* +nan.0 (/ (* z y) x)) (- (+ (* +nan.0 y) (- (* +nan.0 (/ (* z y) (pow x 2)))))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 z)))))) (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 z)))))) (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) (- (+ (* +nan.0 (/ z (pow x 2))) (- (+ (* +nan.0 (/ z x)) (- +nan.0))))) 8.088 * * [simplify]: iteration 0 : 134 enodes (cost 1273 ) 8.110 * * [simplify]: iteration 1 : 324 enodes (cost 1026 ) 8.181 * * [simplify]: iteration 2 : 860 enodes (cost 940 ) 8.534 * * [simplify]: iteration 3 : 2897 enodes (cost 914 ) 9.256 * * [simplify]: iteration done : 5001 enodes (cost 912 ) 9.256 * [simplify]: Simplified to: (expm1 (* (- x z) y)) (log1p (* (- x z) y)) (* (- x z) y) (* (- x z) y) (log (* (- x z) y)) (log (* (- x z) y)) (log (* (- x z) y)) (exp (* (- x z) y)) (pow (* (- x z) y) 3) (pow (* (- x z) y) 3) (* (cbrt (* (- x z) y)) (cbrt (* (- x z) y))) (cbrt (* (- x z) y)) (pow (* (- x z) y) 3) (sqrt (* (- x z) y)) (sqrt (* (- x z) y)) (* (- (pow x 3) (pow z 3)) y) (fma x x (* z (+ x z))) (* (sqrt (- (* x x) (* z z))) (* (sqrt (- (pow x 3) (pow z 3))) y)) (* (sqrt (+ x z)) (sqrt (fma x x (* z (+ x z))))) (* (sqrt (- (* x x) (* z z))) (* (sqrt (- (pow x 3) (pow z 3))) y)) (* (sqrt (+ x z)) (sqrt (fma x x (* z (+ x z))))) (* (* (- x z) (+ x z)) y) (+ x z) (- x z) (* (cbrt (sqrt (- x z))) (* (sqrt (- x z)) y)) (* (sqrt (cbrt (- x z))) (* (sqrt (- x z)) y)) (* (sqrt (sqrt (- x z))) (* (sqrt (- x z)) y)) (* (- x z) y) (* (sqrt (- (sqrt x) (sqrt z))) (* (sqrt (- x z)) y)) (* (- x z) y) (* (sqrt (sqrt (- x z))) (* (sqrt (- x z)) y)) (* (- x z) y) (* (sqrt (- x z)) (* (sqrt (- (pow x 3) (pow z 3))) y)) (* (sqrt (- (* x x) (* z z))) (* (sqrt (- x z)) y)) (* (sqrt (- x z)) (* (sqrt (- (pow x 3) (pow z 3))) y)) (* (sqrt (- (* x x) (* z z))) (* (sqrt (- x z)) y)) (expm1 (* (sqrt (- x z)) y)) (log1p (* (sqrt (- x z)) y)) (* (sqrt (- x z)) y) (log (* (sqrt (- x z)) y)) (log (* (sqrt (- x z)) y)) (exp (* (sqrt (- x z)) y)) (pow (* (sqrt (- x z)) y) 3) (* (cbrt (* (sqrt (- x z)) y)) (cbrt (* (sqrt (- x z)) y))) (cbrt (* (sqrt (- x z)) y)) (pow (* (sqrt (- x z)) y) 3) (sqrt (* (sqrt (- x z)) y)) (sqrt (* (sqrt (- x z)) y)) (* (sqrt (sqrt (- x z))) (sqrt y)) (* (sqrt (sqrt (- x z))) (sqrt y)) (* (sqrt (sqrt (- x z))) (sqrt y)) (* (sqrt (sqrt (- x z))) (sqrt y)) (* (sqrt (- x z)) (* (cbrt y) (cbrt y))) (* (sqrt (- x z)) (sqrt y)) (sqrt (- x z)) (* (cbrt (sqrt (- x z))) y) (* (sqrt (cbrt (- x z))) y) (* (sqrt (sqrt (- x z))) y) (* (sqrt (- x z)) y) (* (sqrt (- (sqrt x) (sqrt z))) y) (* (sqrt (- x z)) y) (* (sqrt (sqrt (- x z))) y) (* (sqrt (- x z)) y) (* (sqrt (- (pow x 3) (pow z 3))) y) (* (sqrt (- (* x x) (* z z))) y) (expm1 (sqrt (- x z))) (log1p (sqrt (- x z))) (log (sqrt (- x z))) (exp (sqrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (cbrt (sqrt (- x z))) (pow (sqrt (- x z)) 3) (fabs (cbrt (- x z))) (sqrt (cbrt (- x z))) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) 1 (sqrt (- x z)) (sqrt (+ (sqrt x) (sqrt z))) (sqrt (- (sqrt x) (sqrt z))) 1 (sqrt (- x z)) (sqrt (- (pow x 3) (pow z 3))) (sqrt (fma x x (* z (+ x z)))) (sqrt (- (* x x) (* z z))) (sqrt (+ x z)) 1/2 (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) (expm1 (sqrt (- x z))) (log1p (sqrt (- x z))) (log (sqrt (- x z))) (exp (sqrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (cbrt (sqrt (- x z))) (pow (sqrt (- x z)) 3) (fabs (cbrt (- x z))) (sqrt (cbrt (- x z))) (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) 1 (sqrt (- x z)) (sqrt (+ (sqrt x) (sqrt z))) (sqrt (- (sqrt x) (sqrt z))) 1 (sqrt (- x z)) (sqrt (- (pow x 3) (pow z 3))) (sqrt (fma x x (* z (+ x z)))) (sqrt (- (* x x) (* z z))) (sqrt (+ x z)) 1/2 (sqrt (sqrt (- x z))) (sqrt (sqrt (- x z))) 0 (* (- x z) y) (* (- x z) y) 0 (- (* y +nan.0) (* (+ (/ +nan.0 x) +nan.0) (/ (* z y) x))) (- (* y +nan.0) (* (+ (/ +nan.0 x) +nan.0) (/ (* z y) x))) (fma +nan.0 (- (* x x)) (* +nan.0 (- x z))) (- (+ (* (/ z x) (- (/ +nan.0 x) +nan.0)) +nan.0)) (- (+ (* (/ z x) (- (/ +nan.0 x) +nan.0)) +nan.0)) (fma +nan.0 (- (* x x)) (* +nan.0 (- x z))) (- (+ (* (/ z x) (- (/ +nan.0 x) +nan.0)) +nan.0)) (- (+ (* (/ z x) (- (/ +nan.0 x) +nan.0)) +nan.0)) 9.257 * * * [progress]: adding candidates to table 9.484 * [progress]: [Phase 3 of 3] Extracting. 9.484 * * [regime]: Finding splitpoints for: (# # # #) 9.485 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 9.485 * * * * [regimes]: Trying to branch on z from (# # # #) 9.502 * * * * [regimes]: Trying to branch on y from (# # # #) 9.521 * * * * [regimes]: Trying to branch on x from (# # # #) 9.538 * * * [regime]: Found split indices: #