32.085 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.043 * * * [progress]: [2/2] Setting up program. 0.045 * [progress]: [Phase 2 of 3] Improving. 0.046 * [simplify]: Simplifying using # : (+ (+ x (sin y)) (* z (cos y))) 0.047 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.048 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.049 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 0.052 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 0.054 * * [simplify]: iteration done : 25 enodes (cost 8 ) 0.054 * [simplify]: Simplified to: (fma (cos y) z (+ x (sin y))) 0.058 * * [progress]: iteration 1 / 4 0.058 * * * [progress]: picking best candidate 0.060 * * * * [pick]: Picked # 0.061 * * * [progress]: localizing error 0.070 * * * [progress]: generating rewritten candidates 0.070 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.074 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.077 * * * [progress]: generating series expansions 0.077 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.078 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.078 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.078 * [taylor]: Taking taylor expansion of (cos y) in y 0.078 * [taylor]: Taking taylor expansion of y in y 0.078 * [taylor]: Taking taylor expansion of z in y 0.078 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.078 * [taylor]: Taking taylor expansion of (cos y) in z 0.078 * [taylor]: Taking taylor expansion of y in z 0.078 * [taylor]: Taking taylor expansion of z in z 0.078 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.078 * [taylor]: Taking taylor expansion of (cos y) in z 0.078 * [taylor]: Taking taylor expansion of y in z 0.078 * [taylor]: Taking taylor expansion of z in z 0.079 * [taylor]: Taking taylor expansion of 0 in y 0.081 * [taylor]: Taking taylor expansion of (cos y) in y 0.081 * [taylor]: Taking taylor expansion of y in y 0.083 * [taylor]: Taking taylor expansion of 0 in y 0.086 * [taylor]: Taking taylor expansion of 0 in y 0.087 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.087 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.087 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.087 * [taylor]: Taking taylor expansion of y in y 0.087 * [taylor]: Taking taylor expansion of z in y 0.087 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.087 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.087 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.087 * [taylor]: Taking taylor expansion of y in z 0.087 * [taylor]: Taking taylor expansion of z in z 0.088 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.088 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.088 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.088 * [taylor]: Taking taylor expansion of y in z 0.088 * [taylor]: Taking taylor expansion of z in z 0.088 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.088 * [taylor]: Taking taylor expansion of y in y 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.094 * [taylor]: Taking taylor expansion of 0 in y 0.098 * [taylor]: Taking taylor expansion of 0 in y 0.098 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.098 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.098 * [taylor]: Taking taylor expansion of -1 in y 0.098 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.098 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.098 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.098 * [taylor]: Taking taylor expansion of -1 in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of z in y 0.098 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.098 * [taylor]: Taking taylor expansion of -1 in z 0.098 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.098 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.099 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.099 * [taylor]: Taking taylor expansion of -1 in z 0.099 * [taylor]: Taking taylor expansion of y in z 0.099 * [taylor]: Taking taylor expansion of z in z 0.099 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.099 * [taylor]: Taking taylor expansion of -1 in z 0.099 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.099 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.099 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.099 * [taylor]: Taking taylor expansion of -1 in z 0.099 * [taylor]: Taking taylor expansion of y in z 0.099 * [taylor]: Taking taylor expansion of z in z 0.100 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.100 * [taylor]: Taking taylor expansion of -1 in y 0.100 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.100 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.100 * [taylor]: Taking taylor expansion of -1 in y 0.100 * [taylor]: Taking taylor expansion of y in y 0.103 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.112 * [taylor]: Taking taylor expansion of 0 in y 0.113 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.113 * [approximate]: Taking taylor expansion of (+ x (sin y)) in (x y) around 0 0.113 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y 0.113 * [taylor]: Taking taylor expansion of x in y 0.113 * [taylor]: Taking taylor expansion of (sin y) in y 0.113 * [taylor]: Taking taylor expansion of y in y 0.113 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.113 * [taylor]: Taking taylor expansion of x in x 0.113 * [taylor]: Taking taylor expansion of (sin y) in x 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.113 * [taylor]: Taking taylor expansion of x in x 0.113 * [taylor]: Taking taylor expansion of (sin y) in x 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [taylor]: Taking taylor expansion of (sin y) in y 0.113 * [taylor]: Taking taylor expansion of y in y 0.115 * [taylor]: Taking taylor expansion of 1 in y 0.117 * [taylor]: Taking taylor expansion of 0 in y 0.125 * [taylor]: Taking taylor expansion of 0 in y 0.126 * [approximate]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in (x y) around 0 0.126 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in y 0.126 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.126 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.126 * [taylor]: Taking taylor expansion of y in y 0.126 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.126 * [taylor]: Taking taylor expansion of x in y 0.126 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 0.126 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.126 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.126 * [taylor]: Taking taylor expansion of y in x 0.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.126 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 0.127 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.127 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.127 * [taylor]: Taking taylor expansion of y in x 0.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.127 * [taylor]: Taking taylor expansion of x in x 0.127 * [taylor]: Taking taylor expansion of 1 in y 0.128 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.128 * [taylor]: Taking taylor expansion of y in y 0.131 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.134 * [approximate]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in (x y) around 0 0.134 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in y 0.134 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.134 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.134 * [taylor]: Taking taylor expansion of -1 in y 0.134 * [taylor]: Taking taylor expansion of y in y 0.134 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.134 * [taylor]: Taking taylor expansion of x in y 0.134 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 0.134 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.134 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.134 * [taylor]: Taking taylor expansion of -1 in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 0.135 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.135 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.135 * [taylor]: Taking taylor expansion of -1 in x 0.135 * [taylor]: Taking taylor expansion of y in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.136 * [taylor]: Taking taylor expansion of -1 in y 0.136 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.136 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.136 * [taylor]: Taking taylor expansion of -1 in y 0.137 * [taylor]: Taking taylor expansion of y in y 0.139 * [taylor]: Taking taylor expansion of 0 in y 0.142 * [taylor]: Taking taylor expansion of 0 in y 0.142 * * * [progress]: simplifying candidates 0.143 * [simplify]: Simplifying using # : (expm1 (* z (cos y))) (log1p (* z (cos y))) (* z (cos y)) (+ (log z) (log (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (* (* (* z (cos y)) (* z (cos y))) (* z (cos y))) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) (* z 1) (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (expm1 (+ x (sin y))) (log1p (+ x (sin y))) (* (exp x) (exp (sin y))) (log (+ x (sin y))) (exp (+ x (sin y))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (cbrt (+ x (sin y))) (* (* (+ x (sin y)) (+ x (sin y))) (+ x (sin y))) (sqrt (+ x (sin y))) (sqrt (+ x (sin y))) (+ (pow x 3) (pow (sin y) 3)) (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y)))) (- (* x x) (* (sin y) (sin y))) (- x (sin y)) (+ x (sin y)) z (* z (cos y)) (* z (cos y)) (+ x y) (+ x (sin y)) (+ x (sin y)) 0.145 * * [simplify]: iteration 0 : 60 enodes (cost 252 ) 0.155 * * [simplify]: iteration 1 : 133 enodes (cost 244 ) 0.175 * * [simplify]: iteration 2 : 255 enodes (cost 220 ) 0.224 * * [simplify]: iteration 3 : 423 enodes (cost 220 ) 0.328 * * [simplify]: iteration 4 : 847 enodes (cost 220 ) 0.690 * * [simplify]: iteration 5 : 2144 enodes (cost 220 ) 2.416 * * [simplify]: iteration done : 5000 enodes (cost 220 ) 2.417 * [simplify]: Simplified to: (expm1 (* z (cos y))) (log1p (* z (cos y))) (* z (cos y)) (log (* z (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (pow (* z (cos y)) 3) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (pow (* z (cos y)) 3) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) z (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (expm1 (+ x (sin y))) (log1p (+ x (sin y))) (exp (+ x (sin y))) (log (+ x (sin y))) (exp (+ x (sin y))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (cbrt (+ x (sin y))) (pow (+ x (sin y)) 3) (sqrt (+ x (sin y))) (sqrt (+ x (sin y))) (+ (pow x 3) (pow (sin y) 3)) (fma x x (* (sin y) (- (sin y) x))) (- (* x x) (* (sin y) (sin y))) (- x (sin y)) (+ x (sin y)) z (* z (cos y)) (* z (cos y)) (+ x y) (+ x (sin y)) (+ x (sin y)) 2.417 * * * [progress]: adding candidates to table 2.522 * * [progress]: iteration 2 / 4 2.522 * * * [progress]: picking best candidate 2.529 * * * * [pick]: Picked # 2.529 * * * [progress]: localizing error 2.542 * * * [progress]: generating rewritten candidates 2.542 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 2.543 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 2.543 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 2.544 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 2.551 * * * [progress]: generating series expansions 2.552 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 2.552 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 2.552 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.552 * [taylor]: Taking taylor expansion of 1/3 in y 2.552 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.552 * [taylor]: Taking taylor expansion of (cos y) in y 2.552 * [taylor]: Taking taylor expansion of y in y 2.556 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.556 * [taylor]: Taking taylor expansion of 1/3 in y 2.556 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.556 * [taylor]: Taking taylor expansion of (cos y) in y 2.556 * [taylor]: Taking taylor expansion of y in y 2.580 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 2.580 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.581 * [taylor]: Taking taylor expansion of 1/3 in y 2.581 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.581 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.581 * [taylor]: Taking taylor expansion of y in y 2.581 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.581 * [taylor]: Taking taylor expansion of 1/3 in y 2.581 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.581 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.581 * [taylor]: Taking taylor expansion of y in y 2.612 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.612 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.612 * [taylor]: Taking taylor expansion of 1/3 in y 2.612 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.612 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.612 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.613 * [taylor]: Taking taylor expansion of -1 in y 2.613 * [taylor]: Taking taylor expansion of y in y 2.613 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.613 * [taylor]: Taking taylor expansion of 1/3 in y 2.613 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.613 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.613 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.613 * [taylor]: Taking taylor expansion of -1 in y 2.613 * [taylor]: Taking taylor expansion of y in y 2.644 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 2.644 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 2.644 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.644 * [taylor]: Taking taylor expansion of 1/3 in y 2.645 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.645 * [taylor]: Taking taylor expansion of (cos y) in y 2.645 * [taylor]: Taking taylor expansion of y in y 2.654 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.654 * [taylor]: Taking taylor expansion of 1/3 in y 2.654 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.654 * [taylor]: Taking taylor expansion of (cos y) in y 2.654 * [taylor]: Taking taylor expansion of y in y 2.673 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 2.674 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.674 * [taylor]: Taking taylor expansion of 1/3 in y 2.674 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.674 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.674 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.674 * [taylor]: Taking taylor expansion of y in y 2.674 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.674 * [taylor]: Taking taylor expansion of 1/3 in y 2.674 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.674 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.674 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.674 * [taylor]: Taking taylor expansion of y in y 2.705 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.705 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.705 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.705 * [taylor]: Taking taylor expansion of 1/3 in y 2.705 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.705 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.705 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.705 * [taylor]: Taking taylor expansion of -1 in y 2.705 * [taylor]: Taking taylor expansion of y in y 2.706 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.706 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.706 * [taylor]: Taking taylor expansion of 1/3 in y 2.706 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.706 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.706 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.706 * [taylor]: Taking taylor expansion of -1 in y 2.706 * [taylor]: Taking taylor expansion of y in y 2.743 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 2.743 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 2.743 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.743 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.743 * [taylor]: Taking taylor expansion of 1/3 in y 2.743 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.743 * [taylor]: Taking taylor expansion of (cos y) in y 2.743 * [taylor]: Taking taylor expansion of y in y 2.747 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.747 * [taylor]: Taking taylor expansion of 1/3 in y 2.747 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.747 * [taylor]: Taking taylor expansion of (cos y) in y 2.747 * [taylor]: Taking taylor expansion of y in y 2.767 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 2.767 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.767 * [taylor]: Taking taylor expansion of 1/3 in y 2.767 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.767 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.767 * [taylor]: Taking taylor expansion of y in y 2.768 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.768 * [taylor]: Taking taylor expansion of 1/3 in y 2.768 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.768 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.768 * [taylor]: Taking taylor expansion of y in y 2.799 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.799 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.800 * [taylor]: Taking taylor expansion of 1/3 in y 2.800 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.800 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.800 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.800 * [taylor]: Taking taylor expansion of -1 in y 2.800 * [taylor]: Taking taylor expansion of y in y 2.800 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.800 * [taylor]: Taking taylor expansion of 1/3 in y 2.800 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.800 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.800 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.800 * [taylor]: Taking taylor expansion of -1 in y 2.800 * [taylor]: Taking taylor expansion of y in y 2.838 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.838 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 2.838 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.838 * [taylor]: Taking taylor expansion of 1/3 in y 2.839 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.839 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.839 * [taylor]: Taking taylor expansion of (cos y) in y 2.839 * [taylor]: Taking taylor expansion of y in y 2.844 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.844 * [taylor]: Taking taylor expansion of 1/3 in y 2.844 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.844 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.844 * [taylor]: Taking taylor expansion of (cos y) in y 2.844 * [taylor]: Taking taylor expansion of y in y 2.912 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 2.912 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.912 * [taylor]: Taking taylor expansion of 1/3 in y 2.912 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.912 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.912 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.912 * [taylor]: Taking taylor expansion of y in y 2.913 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.913 * [taylor]: Taking taylor expansion of 1/3 in y 2.913 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.913 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.913 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.913 * [taylor]: Taking taylor expansion of y in y 2.951 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 2.951 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.951 * [taylor]: Taking taylor expansion of 1/3 in y 2.951 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.951 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.951 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.951 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.951 * [taylor]: Taking taylor expansion of -1 in y 2.951 * [taylor]: Taking taylor expansion of y in y 2.952 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.952 * [taylor]: Taking taylor expansion of 1/3 in y 2.952 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.952 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.952 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.952 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.952 * [taylor]: Taking taylor expansion of -1 in y 2.952 * [taylor]: Taking taylor expansion of y in y 2.995 * * * [progress]: simplifying candidates 2.996 * [simplify]: Simplifying using # : (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (* (cbrt (cos y)) (cbrt (cos y)))) (log1p (* (cbrt (cos y)) (cbrt (cos y)))) (+ 1/3 1/3) (+ 1 1) (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) (+ 1 1) (+ (log (cbrt (cos y))) (log (cbrt (cos y)))) (log (* (cbrt (cos y)) (cbrt (cos y)))) (exp (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos y)) (cbrt (cos y))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 1 1) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 2 1/3) (* 2 1) (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* (cbrt (cos y)) (cbrt 1)) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (* (cbrt (cos y)) 1) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) 2.999 * * [simplify]: iteration 0 : 68 enodes (cost 726 ) 3.015 * * [simplify]: iteration 1 : 128 enodes (cost 651 ) 3.042 * * [simplify]: iteration 2 : 363 enodes (cost 551 ) 3.299 * * [simplify]: iteration 3 : 1342 enodes (cost 529 ) 4.847 * * [simplify]: iteration done : 5000 enodes (cost 523 ) 4.847 * [simplify]: Simplified to: (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (pow (cos y) 2/3)) (log1p (pow (cos y) 2/3)) 2/3 2 (pow (cos y) 2) (pow (cos y) 2/3) 2 (log (pow (cos y) 2/3)) (log (pow (cos y) 2/3)) (exp (pow (cos y) 2/3)) (pow (cos y) 2) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (cbrt (pow (cos y) 2/3)) (pow (cos y) 2) (fabs (cbrt (cos y))) (fabs (cbrt (cos y))) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) 1 (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 1 (pow (cos y) 2/3) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (pow (cos y) 2/3)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (cbrt (cos y)) (pow (cbrt (cbrt (cos y))) (+ 4 1)) (pow (sqrt (cbrt (cos y))) 3) (cbrt (cos y)) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 2/3) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (fma -1/3 (pow y 2) (fma -1/405 (pow y 6) 1)) (pow (cos y) 2/3) (pow (cos y) 2/3) 4.848 * * * [progress]: adding candidates to table 5.109 * * [progress]: iteration 3 / 4 5.109 * * * [progress]: picking best candidate 5.121 * * * * [pick]: Picked # 5.121 * * * [progress]: localizing error 5.139 * * * [progress]: generating rewritten candidates 5.139 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 5.139 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 5.140 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1) 5.141 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1) 5.141 * * * [progress]: generating series expansions 5.142 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 5.142 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 5.142 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 5.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 5.142 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 5.142 * [taylor]: Taking taylor expansion of 1/3 in y 5.142 * [taylor]: Taking taylor expansion of (log (cos y)) in y 5.142 * [taylor]: Taking taylor expansion of (cos y) in y 5.142 * [taylor]: Taking taylor expansion of y in y 5.146 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 5.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 5.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 5.146 * [taylor]: Taking taylor expansion of 1/3 in y 5.146 * [taylor]: Taking taylor expansion of (log (cos y)) in y 5.146 * [taylor]: Taking taylor expansion of (cos y) in y 5.146 * [taylor]: Taking taylor expansion of y in y 5.167 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 5.167 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 5.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 5.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 5.167 * [taylor]: Taking taylor expansion of 1/3 in y 5.167 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 5.167 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.167 * [taylor]: Taking taylor expansion of y in y 5.168 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 5.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 5.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 5.168 * [taylor]: Taking taylor expansion of 1/3 in y 5.168 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 5.168 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.168 * [taylor]: Taking taylor expansion of y in y 5.205 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 5.206 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 5.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 5.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 5.206 * [taylor]: Taking taylor expansion of 1/3 in y 5.206 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 5.206 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.206 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.206 * [taylor]: Taking taylor expansion of -1 in y 5.206 * [taylor]: Taking taylor expansion of y in y 5.206 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 5.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 5.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 5.206 * [taylor]: Taking taylor expansion of 1/3 in y 5.206 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 5.206 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.206 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.206 * [taylor]: Taking taylor expansion of -1 in y 5.206 * [taylor]: Taking taylor expansion of y in y 5.238 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 5.238 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 5.238 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 5.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 5.239 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 5.239 * [taylor]: Taking taylor expansion of 1/3 in y 5.239 * [taylor]: Taking taylor expansion of (log (cos y)) in y 5.239 * [taylor]: Taking taylor expansion of (cos y) in y 5.239 * [taylor]: Taking taylor expansion of y in y 5.243 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 5.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 5.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 5.243 * [taylor]: Taking taylor expansion of 1/3 in y 5.243 * [taylor]: Taking taylor expansion of (log (cos y)) in y 5.243 * [taylor]: Taking taylor expansion of (cos y) in y 5.243 * [taylor]: Taking taylor expansion of y in y 5.263 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 5.264 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 5.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 5.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 5.264 * [taylor]: Taking taylor expansion of 1/3 in y 5.264 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 5.264 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.264 * [taylor]: Taking taylor expansion of y in y 5.264 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 5.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 5.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 5.264 * [taylor]: Taking taylor expansion of 1/3 in y 5.264 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 5.264 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.264 * [taylor]: Taking taylor expansion of y in y 5.302 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 5.302 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 5.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 5.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 5.302 * [taylor]: Taking taylor expansion of 1/3 in y 5.302 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 5.302 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.302 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.302 * [taylor]: Taking taylor expansion of -1 in y 5.303 * [taylor]: Taking taylor expansion of y in y 5.303 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 5.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 5.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 5.303 * [taylor]: Taking taylor expansion of 1/3 in y 5.303 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 5.303 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.303 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.303 * [taylor]: Taking taylor expansion of -1 in y 5.303 * [taylor]: Taking taylor expansion of y in y 5.335 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1) 5.335 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 5.335 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 5.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 5.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 5.336 * [taylor]: Taking taylor expansion of 1/3 in y 5.336 * [taylor]: Taking taylor expansion of (log (cos y)) in y 5.336 * [taylor]: Taking taylor expansion of (cos y) in y 5.336 * [taylor]: Taking taylor expansion of y in y 5.340 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 5.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 5.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 5.340 * [taylor]: Taking taylor expansion of 1/3 in y 5.340 * [taylor]: Taking taylor expansion of (log (cos y)) in y 5.340 * [taylor]: Taking taylor expansion of (cos y) in y 5.340 * [taylor]: Taking taylor expansion of y in y 5.365 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 5.365 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 5.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 5.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 5.365 * [taylor]: Taking taylor expansion of 1/3 in y 5.365 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 5.365 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.365 * [taylor]: Taking taylor expansion of y in y 5.366 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 5.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 5.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 5.366 * [taylor]: Taking taylor expansion of 1/3 in y 5.366 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 5.366 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.366 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.366 * [taylor]: Taking taylor expansion of y in y 5.397 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 5.397 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 5.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 5.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 5.397 * [taylor]: Taking taylor expansion of 1/3 in y 5.397 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 5.398 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.398 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.398 * [taylor]: Taking taylor expansion of -1 in y 5.398 * [taylor]: Taking taylor expansion of y in y 5.398 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 5.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 5.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 5.398 * [taylor]: Taking taylor expansion of 1/3 in y 5.398 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 5.398 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.398 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.398 * [taylor]: Taking taylor expansion of -1 in y 5.398 * [taylor]: Taking taylor expansion of y in y 5.429 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1) 5.429 * [approximate]: Taking taylor expansion of (log1p (pow (cos y) 1/3)) in (y) around 0 5.429 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 1/3)) in y 5.429 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 1/3))) 5.429 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 1/3)) in y 5.429 * [taylor]: Taking taylor expansion of 1 in y 5.429 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 5.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 5.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 5.429 * [taylor]: Taking taylor expansion of 1/3 in y 5.429 * [taylor]: Taking taylor expansion of (log (cos y)) in y 5.429 * [taylor]: Taking taylor expansion of (cos y) in y 5.429 * [taylor]: Taking taylor expansion of y in y 5.439 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 1/3)) in y 5.440 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 1/3))) 5.440 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 1/3)) in y 5.440 * [taylor]: Taking taylor expansion of 1 in y 5.440 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 5.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 5.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 5.440 * [taylor]: Taking taylor expansion of 1/3 in y 5.440 * [taylor]: Taking taylor expansion of (log (cos y)) in y 5.440 * [taylor]: Taking taylor expansion of (cos y) in y 5.440 * [taylor]: Taking taylor expansion of y in y 5.471 * [approximate]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 1/3)) in (y) around 0 5.471 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 1/3)) in y 5.471 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 1/3))) 5.471 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 1/3)) in y 5.471 * [taylor]: Taking taylor expansion of 1 in y 5.471 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 5.471 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 5.471 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 5.471 * [taylor]: Taking taylor expansion of 1/3 in y 5.471 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 5.471 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.471 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.471 * [taylor]: Taking taylor expansion of y in y 5.472 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 1/3)) in y 5.472 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 1/3))) 5.472 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 1/3)) in y 5.472 * [taylor]: Taking taylor expansion of 1 in y 5.472 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 5.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 5.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 5.472 * [taylor]: Taking taylor expansion of 1/3 in y 5.472 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 5.472 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.472 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.472 * [taylor]: Taking taylor expansion of y in y 5.529 * [approximate]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 1/3)) in (y) around 0 5.529 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 1/3)) in y 5.529 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 1/3))) 5.529 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 1/3)) in y 5.529 * [taylor]: Taking taylor expansion of 1 in y 5.529 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 5.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 5.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 5.529 * [taylor]: Taking taylor expansion of 1/3 in y 5.529 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 5.529 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.529 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.529 * [taylor]: Taking taylor expansion of -1 in y 5.529 * [taylor]: Taking taylor expansion of y in y 5.530 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 1/3)) in y 5.530 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 1/3))) 5.530 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 1/3)) in y 5.530 * [taylor]: Taking taylor expansion of 1 in y 5.530 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 5.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 5.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 5.530 * [taylor]: Taking taylor expansion of 1/3 in y 5.530 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 5.530 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.530 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.530 * [taylor]: Taking taylor expansion of -1 in y 5.530 * [taylor]: Taking taylor expansion of y in y 5.582 * * * [progress]: simplifying candidates 5.583 * [simplify]: Simplifying using # : (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (+ 1 (cbrt (cos y))) (expm1 (log1p (cbrt (cos y)))) (log1p (log1p (cbrt (cos y)))) (log (log1p (cbrt (cos y)))) (exp (log1p (cbrt (cos y)))) (* (cbrt (log1p (cbrt (cos y)))) (cbrt (log1p (cbrt (cos y))))) (cbrt (log1p (cbrt (cos y)))) (* (* (log1p (cbrt (cos y))) (log1p (cbrt (cos y)))) (log1p (cbrt (cos y)))) (sqrt (log1p (cbrt (cos y)))) (sqrt (log1p (cbrt (cos y)))) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (log 2) (+ (* 1/12 (pow y 2)) (* 1/96 (pow y 4)))) (log (+ (pow (cos y) 1/3) 1)) (log (+ (pow (cos y) 1/3) 1)) 5.585 * * [simplify]: iteration 0 : 48 enodes (cost 375 ) 5.598 * * [simplify]: iteration 1 : 80 enodes (cost 358 ) 5.610 * * [simplify]: iteration 2 : 177 enodes (cost 319 ) 5.650 * * [simplify]: iteration 3 : 451 enodes (cost 310 ) 5.913 * * [simplify]: iteration 4 : 1583 enodes (cost 306 ) 6.948 * * [simplify]: iteration done : 5000 enodes (cost 306 ) 6.948 * [simplify]: Simplified to: (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (exp (log1p (cbrt (cos y)))) (cbrt (cos y)) (log1p (log1p (cbrt (cos y)))) (log (log1p (cbrt (cos y)))) (exp (log1p (cbrt (cos y)))) (* (cbrt (log1p (cbrt (cos y)))) (cbrt (log1p (cbrt (cos y))))) (cbrt (log1p (cbrt (cos y)))) (pow (log1p (cbrt (cos y))) 3) (sqrt (log1p (cbrt (cos y)))) (sqrt (log1p (cbrt (cos y)))) (fma (* -1/6 y) y (fma -1/72 (pow y 4) 1)) (cbrt (cos y)) (cbrt (cos y)) (fma (* -1/6 y) y (fma -1/72 (pow y 4) 1)) (cbrt (cos y)) (cbrt (cos y)) (fma (* -1/6 y) y (fma -1/72 (pow y 4) 1)) (cbrt (cos y)) (cbrt (cos y)) (fma -1/96 (pow y 4) (fma -1/12 (pow y 2) (log 2))) (log1p (cbrt (cos y))) (log1p (cbrt (cos y))) 6.949 * * * [progress]: adding candidates to table 7.161 * * [progress]: iteration 4 / 4 7.161 * * * [progress]: picking best candidate 7.167 * * * * [pick]: Picked # 7.167 * * * [progress]: localizing error 7.189 * * * [progress]: generating rewritten candidates 7.189 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 7.190 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 7.190 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 7.197 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 7.201 * * * [progress]: generating series expansions 7.202 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 7.202 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 7.202 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 7.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 7.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 7.202 * [taylor]: Taking taylor expansion of 1/3 in y 7.202 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.202 * [taylor]: Taking taylor expansion of (cos y) in y 7.202 * [taylor]: Taking taylor expansion of y in y 7.206 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 7.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 7.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 7.206 * [taylor]: Taking taylor expansion of 1/3 in y 7.206 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.206 * [taylor]: Taking taylor expansion of (cos y) in y 7.206 * [taylor]: Taking taylor expansion of y in y 7.227 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 7.227 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 7.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 7.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 7.227 * [taylor]: Taking taylor expansion of 1/3 in y 7.227 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.227 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.227 * [taylor]: Taking taylor expansion of y in y 7.227 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 7.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 7.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 7.227 * [taylor]: Taking taylor expansion of 1/3 in y 7.227 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.227 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.228 * [taylor]: Taking taylor expansion of y in y 7.266 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 7.266 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 7.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 7.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 7.266 * [taylor]: Taking taylor expansion of 1/3 in y 7.266 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.266 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.266 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.266 * [taylor]: Taking taylor expansion of -1 in y 7.266 * [taylor]: Taking taylor expansion of y in y 7.266 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 7.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 7.267 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 7.267 * [taylor]: Taking taylor expansion of 1/3 in y 7.267 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.267 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.267 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.267 * [taylor]: Taking taylor expansion of -1 in y 7.267 * [taylor]: Taking taylor expansion of y in y 7.298 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 7.298 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in (y) around 0 7.298 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in y 7.298 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.299 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in y 7.299 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in y 7.299 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.299 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in y 7.299 * [taylor]: Taking taylor expansion of 1 in y 7.299 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in y 7.299 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in y 7.299 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in y 7.299 * [taylor]: Taking taylor expansion of 2/3 in y 7.299 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.299 * [taylor]: Taking taylor expansion of (cos y) in y 7.299 * [taylor]: Taking taylor expansion of y in y 7.304 * [taylor]: Taking taylor expansion of 1 in y 7.304 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in y 7.304 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.304 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in y 7.304 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in y 7.304 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.304 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in y 7.304 * [taylor]: Taking taylor expansion of 1 in y 7.304 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in y 7.304 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in y 7.304 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in y 7.304 * [taylor]: Taking taylor expansion of 2/3 in y 7.304 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.304 * [taylor]: Taking taylor expansion of (cos y) in y 7.304 * [taylor]: Taking taylor expansion of y in y 7.309 * [taylor]: Taking taylor expansion of 1 in y 7.437 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in (y) around 0 7.437 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.437 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.437 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.437 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in y 7.437 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.437 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in y 7.437 * [taylor]: Taking taylor expansion of 1 in y 7.437 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in y 7.437 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in y 7.437 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in y 7.437 * [taylor]: Taking taylor expansion of 2/3 in y 7.437 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.437 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.437 * [taylor]: Taking taylor expansion of y in y 7.438 * [taylor]: Taking taylor expansion of 1 in y 7.438 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.438 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.438 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.438 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in y 7.438 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.438 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in y 7.438 * [taylor]: Taking taylor expansion of 1 in y 7.438 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in y 7.438 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in y 7.438 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in y 7.438 * [taylor]: Taking taylor expansion of 2/3 in y 7.438 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.438 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.438 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.438 * [taylor]: Taking taylor expansion of y in y 7.439 * [taylor]: Taking taylor expansion of 1 in y 7.510 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in (y) around 0 7.510 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.510 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.510 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.510 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in y 7.510 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.510 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in y 7.510 * [taylor]: Taking taylor expansion of 1 in y 7.510 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in y 7.510 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in y 7.510 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in y 7.510 * [taylor]: Taking taylor expansion of 2/3 in y 7.510 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.510 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.510 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.510 * [taylor]: Taking taylor expansion of -1 in y 7.510 * [taylor]: Taking taylor expansion of y in y 7.511 * [taylor]: Taking taylor expansion of 1 in y 7.511 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.511 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.511 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.511 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in y 7.511 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.511 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in y 7.511 * [taylor]: Taking taylor expansion of 1 in y 7.511 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in y 7.511 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in y 7.511 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in y 7.511 * [taylor]: Taking taylor expansion of 2/3 in y 7.511 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.511 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.511 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.511 * [taylor]: Taking taylor expansion of -1 in y 7.511 * [taylor]: Taking taylor expansion of y in y 7.512 * [taylor]: Taking taylor expansion of 1 in y 7.581 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 7.582 * [approximate]: Taking taylor expansion of (* (pow (cos y) 1/3) (* z (expm1 (log1p (pow (cos y) 2/3))))) in (z y) around 0 7.582 * [taylor]: Taking taylor expansion of (* (pow (cos y) 1/3) (* z (expm1 (log1p (pow (cos y) 2/3))))) in y 7.582 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 7.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 7.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 7.582 * [taylor]: Taking taylor expansion of 1/3 in y 7.582 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.582 * [taylor]: Taking taylor expansion of (cos y) in y 7.582 * [taylor]: Taking taylor expansion of y in y 7.586 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in y 7.586 * [taylor]: Taking taylor expansion of z in y 7.586 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in y 7.586 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.587 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in y 7.587 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in y 7.587 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.587 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in y 7.587 * [taylor]: Taking taylor expansion of 1 in y 7.587 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in y 7.587 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in y 7.587 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in y 7.587 * [taylor]: Taking taylor expansion of 2/3 in y 7.587 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.587 * [taylor]: Taking taylor expansion of (cos y) in y 7.587 * [taylor]: Taking taylor expansion of y in y 7.592 * [taylor]: Taking taylor expansion of 1 in y 7.592 * [taylor]: Taking taylor expansion of (* (pow (cos y) 1/3) (* z (expm1 (log1p (pow (cos y) 2/3))))) in z 7.592 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in z 7.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in z 7.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in z 7.592 * [taylor]: Taking taylor expansion of 1/3 in z 7.592 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.592 * [taylor]: Taking taylor expansion of (cos y) in z 7.592 * [taylor]: Taking taylor expansion of y in z 7.593 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in z 7.593 * [taylor]: Taking taylor expansion of z in z 7.593 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in z 7.593 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.593 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in z 7.593 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in z 7.593 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.593 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in z 7.593 * [taylor]: Taking taylor expansion of 1 in z 7.593 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in z 7.593 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in z 7.593 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in z 7.593 * [taylor]: Taking taylor expansion of 2/3 in z 7.593 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.593 * [taylor]: Taking taylor expansion of (cos y) in z 7.593 * [taylor]: Taking taylor expansion of y in z 7.594 * [taylor]: Taking taylor expansion of 1 in z 7.594 * [taylor]: Taking taylor expansion of (* (pow (cos y) 1/3) (* z (expm1 (log1p (pow (cos y) 2/3))))) in z 7.594 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in z 7.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in z 7.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in z 7.594 * [taylor]: Taking taylor expansion of 1/3 in z 7.594 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.594 * [taylor]: Taking taylor expansion of (cos y) in z 7.594 * [taylor]: Taking taylor expansion of y in z 7.594 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in z 7.594 * [taylor]: Taking taylor expansion of z in z 7.594 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in z 7.594 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.594 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in z 7.594 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in z 7.594 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.594 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in z 7.594 * [taylor]: Taking taylor expansion of 1 in z 7.595 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in z 7.595 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in z 7.595 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in z 7.595 * [taylor]: Taking taylor expansion of 2/3 in z 7.595 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.595 * [taylor]: Taking taylor expansion of (cos y) in z 7.595 * [taylor]: Taking taylor expansion of y in z 7.595 * [taylor]: Taking taylor expansion of 1 in z 7.596 * [taylor]: Taking taylor expansion of 0 in y 7.605 * [taylor]: Taking taylor expansion of (cos y) in y 7.605 * [taylor]: Taking taylor expansion of y in y 7.617 * [taylor]: Taking taylor expansion of 0 in y 7.634 * [taylor]: Taking taylor expansion of 0 in y 7.635 * [approximate]: Taking taylor expansion of (* (pow (cos (/ 1 y)) 1/3) (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z)) in (z y) around 0 7.635 * [taylor]: Taking taylor expansion of (* (pow (cos (/ 1 y)) 1/3) (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z)) in y 7.635 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 7.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 7.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 7.635 * [taylor]: Taking taylor expansion of 1/3 in y 7.635 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.635 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.635 * [taylor]: Taking taylor expansion of y in y 7.635 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in y 7.636 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.636 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.636 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.636 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in y 7.636 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.636 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in y 7.636 * [taylor]: Taking taylor expansion of 1 in y 7.636 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in y 7.636 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in y 7.636 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in y 7.636 * [taylor]: Taking taylor expansion of 2/3 in y 7.636 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.636 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.636 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.636 * [taylor]: Taking taylor expansion of y in y 7.637 * [taylor]: Taking taylor expansion of 1 in y 7.637 * [taylor]: Taking taylor expansion of z in y 7.637 * [taylor]: Taking taylor expansion of (* (pow (cos (/ 1 y)) 1/3) (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z)) in z 7.637 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in z 7.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in z 7.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in z 7.637 * [taylor]: Taking taylor expansion of 1/3 in z 7.637 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.637 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.637 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.637 * [taylor]: Taking taylor expansion of y in z 7.638 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in z 7.638 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.638 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.638 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.638 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in z 7.638 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.638 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in z 7.638 * [taylor]: Taking taylor expansion of 1 in z 7.638 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in z 7.638 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in z 7.638 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in z 7.638 * [taylor]: Taking taylor expansion of 2/3 in z 7.638 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.638 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.638 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.638 * [taylor]: Taking taylor expansion of y in z 7.639 * [taylor]: Taking taylor expansion of 1 in z 7.639 * [taylor]: Taking taylor expansion of z in z 7.639 * [taylor]: Taking taylor expansion of (* (pow (cos (/ 1 y)) 1/3) (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z)) in z 7.640 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in z 7.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in z 7.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in z 7.640 * [taylor]: Taking taylor expansion of 1/3 in z 7.640 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.640 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.640 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.640 * [taylor]: Taking taylor expansion of y in z 7.640 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in z 7.640 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.640 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.640 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.640 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in z 7.640 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.640 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in z 7.640 * [taylor]: Taking taylor expansion of 1 in z 7.640 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in z 7.640 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in z 7.640 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in z 7.641 * [taylor]: Taking taylor expansion of 2/3 in z 7.641 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.641 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.641 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.641 * [taylor]: Taking taylor expansion of y in z 7.641 * [taylor]: Taking taylor expansion of 1 in z 7.641 * [taylor]: Taking taylor expansion of z in z 7.642 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.642 * [taylor]: Taking taylor expansion of y in y 7.652 * [taylor]: Taking taylor expansion of 0 in y 7.671 * [taylor]: Taking taylor expansion of 0 in y 7.689 * [taylor]: Taking taylor expansion of 0 in y 7.689 * [approximate]: Taking taylor expansion of (* -1 (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3))) in (z y) around 0 7.689 * [taylor]: Taking taylor expansion of (* -1 (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3))) in y 7.689 * [taylor]: Taking taylor expansion of -1 in y 7.689 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3)) in y 7.689 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in y 7.689 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.690 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.690 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.690 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in y 7.690 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.690 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in y 7.690 * [taylor]: Taking taylor expansion of 1 in y 7.690 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in y 7.690 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in y 7.690 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in y 7.690 * [taylor]: Taking taylor expansion of 2/3 in y 7.690 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.690 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.690 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.690 * [taylor]: Taking taylor expansion of -1 in y 7.690 * [taylor]: Taking taylor expansion of y in y 7.691 * [taylor]: Taking taylor expansion of 1 in y 7.691 * [taylor]: Taking taylor expansion of z in y 7.691 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 7.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 7.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 7.691 * [taylor]: Taking taylor expansion of 1/3 in y 7.691 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.691 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.691 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.691 * [taylor]: Taking taylor expansion of -1 in y 7.691 * [taylor]: Taking taylor expansion of y in y 7.692 * [taylor]: Taking taylor expansion of (* -1 (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3))) in z 7.692 * [taylor]: Taking taylor expansion of -1 in z 7.692 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3)) in z 7.692 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in z 7.692 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.692 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.692 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.692 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in z 7.692 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.692 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in z 7.692 * [taylor]: Taking taylor expansion of 1 in z 7.692 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in z 7.692 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in z 7.692 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in z 7.692 * [taylor]: Taking taylor expansion of 2/3 in z 7.692 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.692 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.692 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.692 * [taylor]: Taking taylor expansion of -1 in z 7.692 * [taylor]: Taking taylor expansion of y in z 7.693 * [taylor]: Taking taylor expansion of 1 in z 7.693 * [taylor]: Taking taylor expansion of z in z 7.694 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in z 7.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in z 7.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in z 7.694 * [taylor]: Taking taylor expansion of 1/3 in z 7.694 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.694 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.694 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.694 * [taylor]: Taking taylor expansion of -1 in z 7.694 * [taylor]: Taking taylor expansion of y in z 7.695 * [taylor]: Taking taylor expansion of (* -1 (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3))) in z 7.695 * [taylor]: Taking taylor expansion of -1 in z 7.695 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3)) in z 7.695 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in z 7.695 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.695 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.695 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.695 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in z 7.695 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.695 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in z 7.695 * [taylor]: Taking taylor expansion of 1 in z 7.695 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in z 7.695 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in z 7.695 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in z 7.695 * [taylor]: Taking taylor expansion of 2/3 in z 7.695 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.695 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.695 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.695 * [taylor]: Taking taylor expansion of -1 in z 7.695 * [taylor]: Taking taylor expansion of y in z 7.696 * [taylor]: Taking taylor expansion of 1 in z 7.696 * [taylor]: Taking taylor expansion of z in z 7.697 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in z 7.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in z 7.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in z 7.697 * [taylor]: Taking taylor expansion of 1/3 in z 7.697 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.697 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.697 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.697 * [taylor]: Taking taylor expansion of -1 in z 7.697 * [taylor]: Taking taylor expansion of y in z 7.698 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 7.698 * [taylor]: Taking taylor expansion of -1 in y 7.698 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.698 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.698 * [taylor]: Taking taylor expansion of -1 in y 7.698 * [taylor]: Taking taylor expansion of y in y 7.707 * [taylor]: Taking taylor expansion of 0 in y 7.721 * [taylor]: Taking taylor expansion of 0 in y 7.741 * [taylor]: Taking taylor expansion of 0 in y 7.741 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 7.742 * [approximate]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in (z y) around 0 7.742 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in y 7.742 * [taylor]: Taking taylor expansion of z in y 7.742 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in y 7.742 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.742 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in y 7.742 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in y 7.742 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.742 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in y 7.742 * [taylor]: Taking taylor expansion of 1 in y 7.742 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in y 7.742 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in y 7.742 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in y 7.742 * [taylor]: Taking taylor expansion of 2/3 in y 7.742 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.742 * [taylor]: Taking taylor expansion of (cos y) in y 7.742 * [taylor]: Taking taylor expansion of y in y 7.747 * [taylor]: Taking taylor expansion of 1 in y 7.747 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in z 7.747 * [taylor]: Taking taylor expansion of z in z 7.747 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in z 7.747 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.747 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in z 7.747 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in z 7.747 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.748 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in z 7.748 * [taylor]: Taking taylor expansion of 1 in z 7.748 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in z 7.748 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in z 7.748 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in z 7.748 * [taylor]: Taking taylor expansion of 2/3 in z 7.748 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.748 * [taylor]: Taking taylor expansion of (cos y) in z 7.748 * [taylor]: Taking taylor expansion of y in z 7.748 * [taylor]: Taking taylor expansion of 1 in z 7.748 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in z 7.748 * [taylor]: Taking taylor expansion of z in z 7.748 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in z 7.748 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.749 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in z 7.749 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in z 7.749 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.749 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in z 7.749 * [taylor]: Taking taylor expansion of 1 in z 7.749 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in z 7.749 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in z 7.749 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in z 7.749 * [taylor]: Taking taylor expansion of 2/3 in z 7.749 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.749 * [taylor]: Taking taylor expansion of (cos y) in z 7.749 * [taylor]: Taking taylor expansion of y in z 7.749 * [taylor]: Taking taylor expansion of 1 in z 7.750 * [taylor]: Taking taylor expansion of 0 in y 7.760 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 7.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 7.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 7.760 * [taylor]: Taking taylor expansion of 1/3 in y 7.760 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 7.760 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 7.760 * [taylor]: Taking taylor expansion of (cos y) in y 7.760 * [taylor]: Taking taylor expansion of y in y 7.773 * [taylor]: Taking taylor expansion of 0 in y 7.784 * [taylor]: Taking taylor expansion of 0 in y 7.785 * [approximate]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in (z y) around 0 7.785 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in y 7.785 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.785 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.785 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.785 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in y 7.785 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.785 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in y 7.785 * [taylor]: Taking taylor expansion of 1 in y 7.785 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in y 7.785 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in y 7.785 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in y 7.785 * [taylor]: Taking taylor expansion of 2/3 in y 7.785 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.785 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.785 * [taylor]: Taking taylor expansion of y in y 7.786 * [taylor]: Taking taylor expansion of 1 in y 7.786 * [taylor]: Taking taylor expansion of z in y 7.786 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in z 7.787 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.787 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.787 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.787 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in z 7.787 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.787 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in z 7.787 * [taylor]: Taking taylor expansion of 1 in z 7.787 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in z 7.787 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in z 7.787 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in z 7.787 * [taylor]: Taking taylor expansion of 2/3 in z 7.787 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.787 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.787 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.787 * [taylor]: Taking taylor expansion of y in z 7.788 * [taylor]: Taking taylor expansion of 1 in z 7.788 * [taylor]: Taking taylor expansion of z in z 7.789 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in z 7.789 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.789 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.789 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.789 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in z 7.789 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.789 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in z 7.789 * [taylor]: Taking taylor expansion of 1 in z 7.789 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in z 7.789 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in z 7.789 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in z 7.789 * [taylor]: Taking taylor expansion of 2/3 in z 7.789 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.789 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.789 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.789 * [taylor]: Taking taylor expansion of y in z 7.790 * [taylor]: Taking taylor expansion of 1 in z 7.790 * [taylor]: Taking taylor expansion of z in z 7.790 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 7.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 7.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 7.790 * [taylor]: Taking taylor expansion of 1/3 in y 7.790 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 7.790 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 7.790 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.790 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.790 * [taylor]: Taking taylor expansion of y in y 7.797 * [taylor]: Taking taylor expansion of 0 in y 7.806 * [taylor]: Taking taylor expansion of 0 in y 7.820 * [taylor]: Taking taylor expansion of 0 in y 7.821 * [approximate]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z)) in (z y) around 0 7.821 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z)) in y 7.821 * [taylor]: Taking taylor expansion of -1 in y 7.821 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in y 7.821 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.821 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.821 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.821 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in y 7.821 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.821 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in y 7.821 * [taylor]: Taking taylor expansion of 1 in y 7.821 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in y 7.821 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in y 7.821 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in y 7.821 * [taylor]: Taking taylor expansion of 2/3 in y 7.821 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.821 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.821 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.821 * [taylor]: Taking taylor expansion of -1 in y 7.821 * [taylor]: Taking taylor expansion of y in y 7.822 * [taylor]: Taking taylor expansion of 1 in y 7.822 * [taylor]: Taking taylor expansion of z in y 7.822 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z)) in z 7.822 * [taylor]: Taking taylor expansion of -1 in z 7.822 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in z 7.822 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.822 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.822 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.822 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in z 7.822 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.822 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in z 7.822 * [taylor]: Taking taylor expansion of 1 in z 7.822 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in z 7.822 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in z 7.822 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in z 7.822 * [taylor]: Taking taylor expansion of 2/3 in z 7.822 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.822 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.822 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.823 * [taylor]: Taking taylor expansion of -1 in z 7.823 * [taylor]: Taking taylor expansion of y in z 7.823 * [taylor]: Taking taylor expansion of 1 in z 7.823 * [taylor]: Taking taylor expansion of z in z 7.824 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z)) in z 7.824 * [taylor]: Taking taylor expansion of -1 in z 7.824 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in z 7.824 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.824 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.824 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.824 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in z 7.824 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.824 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in z 7.824 * [taylor]: Taking taylor expansion of 1 in z 7.824 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in z 7.824 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in z 7.824 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in z 7.824 * [taylor]: Taking taylor expansion of 2/3 in z 7.824 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.824 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.824 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.824 * [taylor]: Taking taylor expansion of -1 in z 7.824 * [taylor]: Taking taylor expansion of y in z 7.825 * [taylor]: Taking taylor expansion of 1 in z 7.825 * [taylor]: Taking taylor expansion of z in z 7.826 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 7.826 * [taylor]: Taking taylor expansion of -1 in y 7.826 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 7.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 7.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 7.826 * [taylor]: Taking taylor expansion of 1/3 in y 7.826 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 7.826 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 7.826 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.826 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.826 * [taylor]: Taking taylor expansion of -1 in y 7.826 * [taylor]: Taking taylor expansion of y in y 7.833 * [taylor]: Taking taylor expansion of 0 in y 7.844 * [taylor]: Taking taylor expansion of 0 in y 7.865 * [taylor]: Taking taylor expansion of 0 in y 7.865 * * * [progress]: simplifying candidates 7.866 * [simplify]: Simplifying using # : (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (exp (log1p (pow (cos y) 2/3))) (expm1 (expm1 (log1p (pow (cos y) 2/3)))) (log1p (expm1 (log1p (pow (cos y) 2/3)))) (log (expm1 (log1p (pow (cos y) 2/3)))) (exp (expm1 (log1p (pow (cos y) 2/3)))) (* (cbrt (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (expm1 (log1p (pow (cos y) 2/3))))) (cbrt (expm1 (log1p (pow (cos y) 2/3)))) (* (* (expm1 (log1p (pow (cos y) 2/3))) (expm1 (log1p (pow (cos y) 2/3)))) (expm1 (log1p (pow (cos y) 2/3)))) (sqrt (expm1 (log1p (pow (cos y) 2/3)))) (sqrt (expm1 (log1p (pow (cos y) 2/3)))) (expm1 (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y)))) (log1p (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y)))) (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y))) (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y))) (+ (+ (log z) (log (expm1 (log1p (pow (cos y) 2/3))))) (log (cbrt (cos y)))) (+ (log (* z (expm1 (log1p (pow (cos y) 2/3))))) (log (cbrt (cos y)))) (log (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y)))) (exp (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y)))) (* (* (* (* z z) z) (* (* (expm1 (log1p (pow (cos y) 2/3))) (expm1 (log1p (pow (cos y) 2/3)))) (expm1 (log1p (pow (cos y) 2/3))))) (cos y)) (* (* (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (* z (expm1 (log1p (pow (cos y) 2/3))))) (* z (expm1 (log1p (pow (cos y) 2/3))))) (cos y)) (* (cbrt (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y)))) (cbrt (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y))))) (cbrt (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y)))) (* (* (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y))) (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y)))) (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y)))) (sqrt (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y)))) (sqrt (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (cos y)))) (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (sqrt (cos y)))) (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (cbrt 1)) (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (sqrt (cbrt (cos y)))) (* (* z (expm1 (log1p (pow (cos y) 2/3)))) 1) (* (expm1 (log1p (pow (cos y) 2/3))) (cbrt (cos y))) (expm1 (* z (expm1 (log1p (pow (cos y) 2/3))))) (log1p (* z (expm1 (log1p (pow (cos y) 2/3))))) (* z (expm1 (log1p (pow (cos y) 2/3)))) (+ (log z) (log (expm1 (log1p (pow (cos y) 2/3))))) (log (* z (expm1 (log1p (pow (cos y) 2/3))))) (exp (* z (expm1 (log1p (pow (cos y) 2/3))))) (* (* (* z z) z) (* (* (expm1 (log1p (pow (cos y) 2/3))) (expm1 (log1p (pow (cos y) 2/3)))) (expm1 (log1p (pow (cos y) 2/3))))) (* (cbrt (* z (expm1 (log1p (pow (cos y) 2/3))))) (cbrt (* z (expm1 (log1p (pow (cos y) 2/3)))))) (cbrt (* z (expm1 (log1p (pow (cos y) 2/3))))) (* (* (* z (expm1 (log1p (pow (cos y) 2/3)))) (* z (expm1 (log1p (pow (cos y) 2/3))))) (* z (expm1 (log1p (pow (cos y) 2/3))))) (sqrt (* z (expm1 (log1p (pow (cos y) 2/3))))) (sqrt (* z (expm1 (log1p (pow (cos y) 2/3))))) (* (sqrt z) (sqrt (expm1 (log1p (pow (cos y) 2/3))))) (* (sqrt z) (sqrt (expm1 (log1p (pow (cos y) 2/3))))) (* z (* (cbrt (expm1 (log1p (pow (cos y) 2/3)))) (cbrt (expm1 (log1p (pow (cos y) 2/3)))))) (* z (sqrt (expm1 (log1p (pow (cos y) 2/3))))) (* z 1) (* (cbrt z) (expm1 (log1p (pow (cos y) 2/3)))) (* (sqrt z) (expm1 (log1p (pow (cos y) 2/3)))) (* z (expm1 (log1p (pow (cos y) 2/3)))) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (cos y) 2/3) (pow (cos y) 2/3) z (* z (cos y)) (* z (cos y)) z (* z (pow (pow (cos y) 2) 1/3)) (* z (pow (pow (cos y) 2) 1/3)) 7.869 * * [simplify]: iteration 0 : 99 enodes (cost 817 ) 7.891 * * [simplify]: iteration 1 : 212 enodes (cost 655 ) 7.946 * * [simplify]: iteration 2 : 655 enodes (cost 577 ) 8.437 * * [simplify]: iteration 3 : 2597 enodes (cost 529 ) 10.083 * * [simplify]: iteration done : 5000 enodes (cost 529 ) 10.083 * [simplify]: Simplified to: (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (pow (cbrt (cos y)) 3) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (exp (log1p (pow (cos y) 2/3))) (expm1 (pow (cos y) 2/3)) (log1p (pow (cos y) 2/3)) (log (pow (cos y) 2/3)) (exp (pow (cos y) 2/3)) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (cbrt (pow (cos y) 2/3)) (pow (pow (cos y) 2/3) 3) (fabs (cbrt (cos y))) (fabs (cbrt (cos y))) (expm1 (* z (pow (cbrt (cos y)) 3))) (log1p (* z (pow (cbrt (cos y)) 3))) (* z (pow (cbrt (cos y)) 3)) (* z (pow (cbrt (cos y)) 3)) (+ (* (log (cos y)) 1) (log z)) (+ (* (log (cos y)) 1) (log z)) (+ (* (log (cos y)) 1) (log z)) (pow (exp z) (pow (cbrt (cos y)) 3)) (* (pow (* (pow (cos y) 2/3) z) 3) (cos y)) (* (pow (* (pow (cos y) 2/3) z) 3) (cos y)) (* (cbrt (* z (pow (cbrt (cos y)) 3))) (cbrt (* z (pow (cbrt (cos y)) 3)))) (cbrt (* z (pow (cbrt (cos y)) 3))) (pow (* z (pow (cbrt (cos y)) 3)) 3) (sqrt (* z (pow (cbrt (cos y)) 3))) (sqrt (* z (pow (cbrt (cos y)) 3))) (* (cbrt (pow (cos y) 2/3)) (* (pow (cos y) 2/3) z)) (* (cbrt (sqrt (cos y))) (* (pow (cos y) 2/3) z)) (* (pow (cos y) 2/3) z) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (pow (cos y) 2/3) z)) (* (* (pow (cos y) 2/3) z) (sqrt (cbrt (cos y)))) (* (pow (cos y) 2/3) z) (pow (cbrt (cos y)) 3) (expm1 (* (pow (cos y) 2/3) z)) (log1p (* (pow (cos y) 2/3) z)) (* (pow (cos y) 2/3) z) (log (* (pow (cos y) 2/3) z)) (log (* (pow (cos y) 2/3) z)) (exp (* (pow (cos y) 2/3) z)) (pow (* (pow (cos y) 2/3) z) 3) (* (cbrt (* (pow (cos y) 2/3) z)) (cbrt (* (pow (cos y) 2/3) z))) (cbrt (* (pow (cos y) 2/3) z)) (pow (* (pow (cos y) 2/3) z) 3) (sqrt (* (pow (cos y) 2/3) z)) (sqrt (* (pow (cos y) 2/3) z)) (* (sqrt z) (fabs (cbrt (cos y)))) (* (sqrt z) (fabs (cbrt (cos y)))) (* z (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3)))) (* z (fabs (cbrt (cos y)))) z (* (cbrt z) (pow (cos y) 2/3)) (* (sqrt z) (pow (cos y) 2/3)) (* (pow (cos y) 2/3) z) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6)))) (pow (cos y) 2/3) (pow (cos y) 2/3) z (* z (cos y)) (* z (cos y)) z (* z (cbrt (pow (cos y) 2))) (* z (cbrt (pow (cos y) 2))) 10.084 * * * [progress]: adding candidates to table 10.357 * [progress]: [Phase 3 of 3] Extracting. 10.357 * * [regime]: Finding splitpoints for: (# # # # #) 10.358 * * * [regime-changes]: Trying 4 branch expressions: ((+ (+ x (sin y)) (* z (cos y))) z y x) 10.358 * * * * [regimes]: Trying to branch on (+ (+ x (sin y)) (* z (cos y))) from (# # # # #) 10.393 * * * * [regimes]: Trying to branch on z from (# # # # #) 10.418 * * * * [regimes]: Trying to branch on y from (# # # # #) 10.445 * * * * [regimes]: Trying to branch on x from (# # # # #) 10.469 * * * [regime]: Found split indices: #