14.951 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.040 * [progress]: [Phase 2 of 3] Improving. 0.041 * [simplify]: Simplifying using # : (+ (+ x (sin y)) (* z (cos y))) 0.042 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.043 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.044 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 0.047 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 0.049 * * [simplify]: iteration done : 25 enodes (cost 8 ) 0.049 * [simplify]: Simplified to: (fma (cos y) z (+ x (sin y))) 0.052 * * [progress]: iteration 1 / 4 0.053 * * * [progress]: picking best candidate 0.054 * * * * [pick]: Picked # 0.055 * * * [progress]: localizing error 0.063 * * * [progress]: generating rewritten candidates 0.063 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.067 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.071 * * * [progress]: generating series expansions 0.071 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.071 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.071 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.071 * [taylor]: Taking taylor expansion of (cos y) in y 0.071 * [taylor]: Taking taylor expansion of y in y 0.071 * [taylor]: Taking taylor expansion of z in y 0.071 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.071 * [taylor]: Taking taylor expansion of (cos y) in z 0.071 * [taylor]: Taking taylor expansion of y in z 0.071 * [taylor]: Taking taylor expansion of z in z 0.071 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.071 * [taylor]: Taking taylor expansion of (cos y) in z 0.072 * [taylor]: Taking taylor expansion of y in z 0.072 * [taylor]: Taking taylor expansion of z in z 0.072 * [taylor]: Taking taylor expansion of 0 in y 0.075 * [taylor]: Taking taylor expansion of (cos y) in y 0.075 * [taylor]: Taking taylor expansion of y in y 0.077 * [taylor]: Taking taylor expansion of 0 in y 0.081 * [taylor]: Taking taylor expansion of 0 in y 0.081 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.081 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.081 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.081 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.081 * [taylor]: Taking taylor expansion of y in y 0.081 * [taylor]: Taking taylor expansion of z in y 0.081 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.081 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.081 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.081 * [taylor]: Taking taylor expansion of y in z 0.082 * [taylor]: Taking taylor expansion of z in z 0.082 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.082 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.082 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.082 * [taylor]: Taking taylor expansion of y in z 0.082 * [taylor]: Taking taylor expansion of z in z 0.083 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.083 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.083 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of 0 in y 0.088 * [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.099 * [taylor]: Taking taylor expansion of z in y 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.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.112 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.112 * [approximate]: Taking taylor expansion of (+ x (sin y)) in (x y) around 0 0.112 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y 0.112 * [taylor]: Taking taylor expansion of x in y 0.112 * [taylor]: Taking taylor expansion of (sin y) in y 0.112 * [taylor]: Taking taylor expansion of y in y 0.112 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.112 * [taylor]: Taking taylor expansion of x in x 0.112 * [taylor]: Taking taylor expansion of (sin y) in x 0.112 * [taylor]: Taking taylor expansion of y in x 0.112 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.112 * [taylor]: Taking taylor expansion of x in x 0.112 * [taylor]: Taking taylor expansion of (sin y) in x 0.112 * [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.120 * [taylor]: Taking taylor expansion of 0 in y 0.120 * [approximate]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in (x y) around 0 0.120 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in y 0.120 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.120 * [taylor]: Taking taylor expansion of y in y 0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.121 * [taylor]: Taking taylor expansion of x in y 0.121 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 0.121 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.121 * [taylor]: Taking taylor expansion of y in x 0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.121 * [taylor]: Taking taylor expansion of x in x 0.121 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in x 0.121 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.121 * [taylor]: Taking taylor expansion of y in x 0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.121 * [taylor]: Taking taylor expansion of x in x 0.122 * [taylor]: Taking taylor expansion of 1 in y 0.122 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.122 * [taylor]: Taking taylor expansion of y in y 0.125 * [taylor]: Taking taylor expansion of 0 in y 0.127 * [taylor]: Taking taylor expansion of 0 in y 0.128 * [approximate]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in (x y) around 0 0.128 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) 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 -1 in y 0.128 * [taylor]: Taking taylor expansion of y in y 0.128 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.128 * [taylor]: Taking taylor expansion of x in y 0.128 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 0.128 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.128 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.128 * [taylor]: Taking taylor expansion of -1 in x 0.128 * [taylor]: Taking taylor expansion of y in x 0.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.128 * [taylor]: Taking taylor expansion of x in x 0.129 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 0.129 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.129 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.129 * [taylor]: Taking taylor expansion of -1 in x 0.129 * [taylor]: Taking taylor expansion of y in x 0.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of -1 in y 0.130 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.130 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.131 * [taylor]: Taking taylor expansion of -1 in y 0.131 * [taylor]: Taking taylor expansion of y in y 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.136 * [taylor]: Taking taylor expansion of 0 in y 0.136 * * * [progress]: simplifying candidates 0.137 * [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.139 * * [simplify]: iteration 0 : 60 enodes (cost 252 ) 0.149 * * [simplify]: iteration 1 : 133 enodes (cost 244 ) 0.175 * * [simplify]: iteration 2 : 304 enodes (cost 220 ) 0.247 * * [simplify]: iteration 3 : 596 enodes (cost 220 ) 0.408 * * [simplify]: iteration 4 : 1139 enodes (cost 220 ) 0.821 * * [simplify]: iteration 5 : 3112 enodes (cost 220 ) 1.770 * * [simplify]: iteration done : 5001 enodes (cost 220 ) 1.771 * [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)) 1.771 * * * [progress]: adding candidates to table 1.881 * * [progress]: iteration 2 / 4 1.881 * * * [progress]: picking best candidate 1.887 * * * * [pick]: Picked # 1.887 * * * [progress]: localizing error 1.899 * * * [progress]: generating rewritten candidates 1.899 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.900 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 1.901 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 1.901 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 1.910 * * * [progress]: generating series expansions 1.910 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.910 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.910 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.910 * [taylor]: Taking taylor expansion of 1/3 in y 1.910 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.910 * [taylor]: Taking taylor expansion of (cos y) in y 1.910 * [taylor]: Taking taylor expansion of y in y 1.914 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.914 * [taylor]: Taking taylor expansion of 1/3 in y 1.914 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.914 * [taylor]: Taking taylor expansion of (cos y) in y 1.914 * [taylor]: Taking taylor expansion of y in y 1.938 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.938 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.938 * [taylor]: Taking taylor expansion of 1/3 in y 1.938 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.938 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.938 * [taylor]: Taking taylor expansion of y in y 1.939 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.939 * [taylor]: Taking taylor expansion of 1/3 in y 1.939 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.939 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.939 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.939 * [taylor]: Taking taylor expansion of y in y 1.970 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.970 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.970 * [taylor]: Taking taylor expansion of 1/3 in y 1.970 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.970 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.970 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.970 * [taylor]: Taking taylor expansion of -1 in y 1.970 * [taylor]: Taking taylor expansion of y in y 1.971 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.971 * [taylor]: Taking taylor expansion of 1/3 in y 1.971 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.971 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.971 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.971 * [taylor]: Taking taylor expansion of -1 in y 1.971 * [taylor]: Taking taylor expansion of y in y 2.009 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 2.009 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 2.009 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.009 * [taylor]: Taking taylor expansion of 1/3 in y 2.009 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.009 * [taylor]: Taking taylor expansion of (cos y) in y 2.009 * [taylor]: Taking taylor expansion of y in y 2.014 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.014 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.014 * [taylor]: Taking taylor expansion of 1/3 in y 2.014 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.014 * [taylor]: Taking taylor expansion of (cos y) in y 2.014 * [taylor]: Taking taylor expansion of y in y 2.034 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 2.034 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.034 * [taylor]: Taking taylor expansion of 1/3 in y 2.034 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.034 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.034 * [taylor]: Taking taylor expansion of y in y 2.035 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.035 * [taylor]: Taking taylor expansion of 1/3 in y 2.035 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.035 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.035 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.035 * [taylor]: Taking taylor expansion of y in y 2.067 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.067 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.067 * [taylor]: Taking taylor expansion of 1/3 in y 2.067 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.067 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.067 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.067 * [taylor]: Taking taylor expansion of -1 in y 2.067 * [taylor]: Taking taylor expansion of y in y 2.068 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.068 * [taylor]: Taking taylor expansion of 1/3 in y 2.068 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.068 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.068 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.068 * [taylor]: Taking taylor expansion of -1 in y 2.068 * [taylor]: Taking taylor expansion of y in y 2.105 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 2.105 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 2.105 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.106 * [taylor]: Taking taylor expansion of 1/3 in y 2.106 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.106 * [taylor]: Taking taylor expansion of (cos y) in y 2.106 * [taylor]: Taking taylor expansion of y in y 2.110 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.110 * [taylor]: Taking taylor expansion of 1/3 in y 2.110 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.110 * [taylor]: Taking taylor expansion of (cos y) in y 2.110 * [taylor]: Taking taylor expansion of y in y 2.131 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 2.131 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.131 * [taylor]: Taking taylor expansion of 1/3 in y 2.131 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.131 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.131 * [taylor]: Taking taylor expansion of y in y 2.131 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.132 * [taylor]: Taking taylor expansion of 1/3 in y 2.132 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.132 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.132 * [taylor]: Taking taylor expansion of y in y 2.169 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.169 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.169 * [taylor]: Taking taylor expansion of 1/3 in y 2.169 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.169 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.169 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.169 * [taylor]: Taking taylor expansion of -1 in y 2.169 * [taylor]: Taking taylor expansion of y in y 2.170 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.170 * [taylor]: Taking taylor expansion of 1/3 in y 2.170 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.170 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.170 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.170 * [taylor]: Taking taylor expansion of -1 in y 2.170 * [taylor]: Taking taylor expansion of y in y 2.202 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.202 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 2.203 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.203 * [taylor]: Taking taylor expansion of 1/3 in y 2.203 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.203 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.203 * [taylor]: Taking taylor expansion of (cos y) in y 2.203 * [taylor]: Taking taylor expansion of y in y 2.208 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.208 * [taylor]: Taking taylor expansion of 1/3 in y 2.208 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.208 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.208 * [taylor]: Taking taylor expansion of (cos y) in y 2.208 * [taylor]: Taking taylor expansion of y in y 2.280 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 2.280 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.280 * [taylor]: Taking taylor expansion of 1/3 in y 2.280 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.280 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.280 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.280 * [taylor]: Taking taylor expansion of y in y 2.281 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.281 * [taylor]: Taking taylor expansion of 1/3 in y 2.281 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.281 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.281 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.281 * [taylor]: Taking taylor expansion of y in y 2.319 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 2.319 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.319 * [taylor]: Taking taylor expansion of 1/3 in y 2.319 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.319 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.319 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.319 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.319 * [taylor]: Taking taylor expansion of -1 in y 2.319 * [taylor]: Taking taylor expansion of y in y 2.320 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.320 * [taylor]: Taking taylor expansion of 1/3 in y 2.320 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.320 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.320 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.320 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.320 * [taylor]: Taking taylor expansion of -1 in y 2.320 * [taylor]: Taking taylor expansion of y in y 2.363 * * * [progress]: simplifying candidates 2.364 * [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.367 * * [simplify]: iteration 0 : 68 enodes (cost 726 ) 2.383 * * [simplify]: iteration 1 : 128 enodes (cost 651 ) 2.424 * * [simplify]: iteration 2 : 425 enodes (cost 551 ) 2.711 * * [simplify]: iteration 3 : 2165 enodes (cost 529 ) 3.721 * * [simplify]: iteration done : 5001 enodes (cost 529 ) 3.722 * [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)))) (* (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 (sqrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (cos y)) (cbrt (pow (cos y) 2/3))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (cbrt (cos y)) (* (pow (cbrt (cbrt (cos y))) 4) (cbrt (cbrt (cos y)))) (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)) (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6)))) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) 3.722 * * * [progress]: adding candidates to table 3.974 * * [progress]: iteration 3 / 4 3.974 * * * [progress]: picking best candidate 3.982 * * * * [pick]: Picked # 3.982 * * * [progress]: localizing error 4.003 * * * [progress]: generating rewritten candidates 4.003 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.004 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 4.005 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1) 4.005 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1) 4.006 * * * [progress]: generating series expansions 4.006 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 4.006 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 4.006 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.006 * [taylor]: Taking taylor expansion of 1/3 in y 4.006 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.006 * [taylor]: Taking taylor expansion of (cos y) in y 4.006 * [taylor]: Taking taylor expansion of y in y 4.011 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.011 * [taylor]: Taking taylor expansion of 1/3 in y 4.011 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.011 * [taylor]: Taking taylor expansion of (cos y) in y 4.011 * [taylor]: Taking taylor expansion of y in y 4.031 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 4.031 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.031 * [taylor]: Taking taylor expansion of 1/3 in y 4.031 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.031 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.031 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.031 * [taylor]: Taking taylor expansion of y in y 4.031 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.031 * [taylor]: Taking taylor expansion of 1/3 in y 4.031 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.032 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.032 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.032 * [taylor]: Taking taylor expansion of y in y 4.063 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 4.063 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.063 * [taylor]: Taking taylor expansion of 1/3 in y 4.063 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.063 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.063 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.063 * [taylor]: Taking taylor expansion of -1 in y 4.063 * [taylor]: Taking taylor expansion of y in y 4.064 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.064 * [taylor]: Taking taylor expansion of 1/3 in y 4.064 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.064 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.064 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.064 * [taylor]: Taking taylor expansion of -1 in y 4.064 * [taylor]: Taking taylor expansion of y in y 4.102 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 4.103 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 4.103 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.103 * [taylor]: Taking taylor expansion of 1/3 in y 4.103 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.103 * [taylor]: Taking taylor expansion of (cos y) in y 4.103 * [taylor]: Taking taylor expansion of y in y 4.107 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.107 * [taylor]: Taking taylor expansion of 1/3 in y 4.107 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.107 * [taylor]: Taking taylor expansion of (cos y) in y 4.107 * [taylor]: Taking taylor expansion of y in y 4.127 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 4.127 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.127 * [taylor]: Taking taylor expansion of 1/3 in y 4.127 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.127 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.127 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.127 * [taylor]: Taking taylor expansion of y in y 4.127 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.127 * [taylor]: Taking taylor expansion of 1/3 in y 4.128 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.128 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.128 * [taylor]: Taking taylor expansion of y in y 4.165 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 4.165 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.165 * [taylor]: Taking taylor expansion of 1/3 in y 4.165 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.165 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.165 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.165 * [taylor]: Taking taylor expansion of -1 in y 4.165 * [taylor]: Taking taylor expansion of y in y 4.165 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.166 * [taylor]: Taking taylor expansion of 1/3 in y 4.166 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.166 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.166 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.166 * [taylor]: Taking taylor expansion of -1 in y 4.166 * [taylor]: Taking taylor expansion of y in y 4.197 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1) 4.197 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 4.197 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.197 * [taylor]: Taking taylor expansion of 1/3 in y 4.197 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.197 * [taylor]: Taking taylor expansion of (cos y) in y 4.197 * [taylor]: Taking taylor expansion of y in y 4.202 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.202 * [taylor]: Taking taylor expansion of 1/3 in y 4.202 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.202 * [taylor]: Taking taylor expansion of (cos y) in y 4.202 * [taylor]: Taking taylor expansion of y in y 4.222 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 4.222 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.222 * [taylor]: Taking taylor expansion of 1/3 in y 4.222 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.222 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.222 * [taylor]: Taking taylor expansion of y in y 4.222 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.222 * [taylor]: Taking taylor expansion of 1/3 in y 4.222 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.222 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.223 * [taylor]: Taking taylor expansion of y in y 4.260 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 4.260 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.260 * [taylor]: Taking taylor expansion of 1/3 in y 4.260 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.260 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.260 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.260 * [taylor]: Taking taylor expansion of -1 in y 4.260 * [taylor]: Taking taylor expansion of y in y 4.260 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.260 * [taylor]: Taking taylor expansion of 1/3 in y 4.260 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.260 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.260 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.260 * [taylor]: Taking taylor expansion of -1 in y 4.261 * [taylor]: Taking taylor expansion of y in y 4.292 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1) 4.292 * [approximate]: Taking taylor expansion of (log1p (pow (cos y) 1/3)) in (y) around 0 4.292 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 1/3)) in y 4.292 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 1/3))) 4.292 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 1/3)) in y 4.292 * [taylor]: Taking taylor expansion of 1 in y 4.292 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.292 * [taylor]: Taking taylor expansion of 1/3 in y 4.292 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.292 * [taylor]: Taking taylor expansion of (cos y) in y 4.292 * [taylor]: Taking taylor expansion of y in y 4.297 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 1/3)) in y 4.297 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 1/3))) 4.297 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 1/3)) in y 4.297 * [taylor]: Taking taylor expansion of 1 in y 4.297 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.297 * [taylor]: Taking taylor expansion of 1/3 in y 4.297 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.297 * [taylor]: Taking taylor expansion of (cos y) in y 4.297 * [taylor]: Taking taylor expansion of y in y 4.334 * [approximate]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 1/3)) in (y) around 0 4.334 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 1/3)) in y 4.334 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 1/3))) 4.334 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 1/3)) in y 4.334 * [taylor]: Taking taylor expansion of 1 in y 4.335 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.335 * [taylor]: Taking taylor expansion of 1/3 in y 4.335 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.335 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.335 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.335 * [taylor]: Taking taylor expansion of y in y 4.335 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 1/3)) in y 4.335 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 1/3))) 4.335 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 1/3)) in y 4.335 * [taylor]: Taking taylor expansion of 1 in y 4.335 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.335 * [taylor]: Taking taylor expansion of 1/3 in y 4.335 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.335 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.335 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.336 * [taylor]: Taking taylor expansion of y in y 4.387 * [approximate]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 1/3)) in (y) around 0 4.387 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 1/3)) in y 4.387 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 1/3))) 4.387 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 1/3)) in y 4.387 * [taylor]: Taking taylor expansion of 1 in y 4.387 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.387 * [taylor]: Taking taylor expansion of 1/3 in y 4.387 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.388 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.388 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.388 * [taylor]: Taking taylor expansion of -1 in y 4.388 * [taylor]: Taking taylor expansion of y in y 4.388 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 1/3)) in y 4.388 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 1/3))) 4.388 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 1/3)) in y 4.388 * [taylor]: Taking taylor expansion of 1 in y 4.388 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.388 * [taylor]: Taking taylor expansion of 1/3 in y 4.388 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.388 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.388 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.388 * [taylor]: Taking taylor expansion of -1 in y 4.388 * [taylor]: Taking taylor expansion of y in y 4.447 * * * [progress]: simplifying candidates 4.448 * [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)) 4.450 * * [simplify]: iteration 0 : 48 enodes (cost 375 ) 4.458 * * [simplify]: iteration 1 : 80 enodes (cost 358 ) 4.480 * * [simplify]: iteration 2 : 190 enodes (cost 319 ) 4.535 * * [simplify]: iteration 3 : 599 enodes (cost 310 ) 5.093 * * [simplify]: iteration 4 : 3282 enodes (cost 306 ) 6.708 * * [simplify]: iteration done : 5001 enodes (cost 306 ) 6.708 * [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 (pow y 4) -1/72 (fma -1/6 (pow y 2) 1)) (cbrt (cos y)) (cbrt (cos y)) (fma (pow y 4) -1/72 (fma -1/6 (pow y 2) 1)) (cbrt (cos y)) (cbrt (cos y)) (fma (pow y 4) -1/72 (fma -1/6 (pow y 2) 1)) (cbrt (cos y)) (cbrt (cos y)) (fma (* y y) -1/12 (fma (pow y 4) -1/96 (log 2))) (log1p (cbrt (cos y))) (log1p (cbrt (cos y))) 6.708 * * * [progress]: adding candidates to table 6.913 * * [progress]: iteration 4 / 4 6.913 * * * [progress]: picking best candidate 6.918 * * * * [pick]: Picked # 6.918 * * * [progress]: localizing error 6.936 * * * [progress]: generating rewritten candidates 6.937 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 6.937 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 6.938 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 6.946 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 6.950 * * * [progress]: generating series expansions 6.950 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.950 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 6.950 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 6.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 6.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 6.950 * [taylor]: Taking taylor expansion of 1/3 in y 6.950 * [taylor]: Taking taylor expansion of (log (cos y)) in y 6.950 * [taylor]: Taking taylor expansion of (cos y) in y 6.950 * [taylor]: Taking taylor expansion of y in y 6.955 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 6.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 6.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 6.955 * [taylor]: Taking taylor expansion of 1/3 in y 6.955 * [taylor]: Taking taylor expansion of (log (cos y)) in y 6.955 * [taylor]: Taking taylor expansion of (cos y) in y 6.955 * [taylor]: Taking taylor expansion of y in y 6.978 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 6.978 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 6.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 6.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 6.978 * [taylor]: Taking taylor expansion of 1/3 in y 6.978 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 6.979 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.979 * [taylor]: Taking taylor expansion of y in y 6.979 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 6.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 6.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 6.979 * [taylor]: Taking taylor expansion of 1/3 in y 6.979 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 6.979 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.979 * [taylor]: Taking taylor expansion of y in y 7.011 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 7.011 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 7.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 7.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 7.011 * [taylor]: Taking taylor expansion of 1/3 in y 7.011 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.011 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.011 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.011 * [taylor]: Taking taylor expansion of -1 in y 7.011 * [taylor]: Taking taylor expansion of y in y 7.012 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 7.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 7.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 7.012 * [taylor]: Taking taylor expansion of 1/3 in y 7.012 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.012 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.012 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.012 * [taylor]: Taking taylor expansion of -1 in y 7.012 * [taylor]: Taking taylor expansion of y in y 7.047 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 7.047 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in (y) around 0 7.047 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in y 7.047 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.047 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in y 7.047 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in y 7.047 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.047 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in y 7.047 * [taylor]: Taking taylor expansion of 1 in y 7.047 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in y 7.047 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in y 7.047 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in y 7.047 * [taylor]: Taking taylor expansion of 2/3 in y 7.047 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.047 * [taylor]: Taking taylor expansion of (cos y) in y 7.047 * [taylor]: Taking taylor expansion of y in y 7.052 * [taylor]: Taking taylor expansion of 1 in y 7.052 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in y 7.052 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.053 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in y 7.053 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in y 7.053 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.053 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in y 7.053 * [taylor]: Taking taylor expansion of 1 in y 7.053 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in y 7.053 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in y 7.053 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in y 7.053 * [taylor]: Taking taylor expansion of 2/3 in y 7.053 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.053 * [taylor]: Taking taylor expansion of (cos y) in y 7.053 * [taylor]: Taking taylor expansion of y in y 7.058 * [taylor]: Taking taylor expansion of 1 in y 7.175 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in (y) around 0 7.175 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.175 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.175 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.175 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in y 7.175 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.175 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in y 7.175 * [taylor]: Taking taylor expansion of 1 in y 7.175 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in y 7.175 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in y 7.175 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in y 7.175 * [taylor]: Taking taylor expansion of 2/3 in y 7.175 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.175 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.175 * [taylor]: Taking taylor expansion of y in y 7.176 * [taylor]: Taking taylor expansion of 1 in y 7.176 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.176 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.176 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.176 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in y 7.176 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.176 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in y 7.176 * [taylor]: Taking taylor expansion of 1 in y 7.176 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in y 7.176 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in y 7.176 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in y 7.176 * [taylor]: Taking taylor expansion of 2/3 in y 7.176 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.176 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.176 * [taylor]: Taking taylor expansion of y in y 7.177 * [taylor]: Taking taylor expansion of 1 in y 7.245 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in (y) around 0 7.245 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.245 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.245 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.245 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in y 7.246 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.246 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in y 7.246 * [taylor]: Taking taylor expansion of 1 in y 7.246 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in y 7.246 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in y 7.246 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in y 7.246 * [taylor]: Taking taylor expansion of 2/3 in y 7.246 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.246 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.246 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.246 * [taylor]: Taking taylor expansion of -1 in y 7.246 * [taylor]: Taking taylor expansion of y in y 7.247 * [taylor]: Taking taylor expansion of 1 in y 7.247 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.247 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.247 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.247 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in y 7.247 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.247 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in y 7.247 * [taylor]: Taking taylor expansion of 1 in y 7.247 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in y 7.247 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in y 7.247 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in y 7.247 * [taylor]: Taking taylor expansion of 2/3 in y 7.247 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.247 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.247 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.247 * [taylor]: Taking taylor expansion of -1 in y 7.247 * [taylor]: Taking taylor expansion of y in y 7.248 * [taylor]: Taking taylor expansion of 1 in y 7.316 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 7.316 * [approximate]: Taking taylor expansion of (* (pow (cos y) 1/3) (* z (expm1 (log1p (pow (cos y) 2/3))))) in (z y) around 0 7.316 * [taylor]: Taking taylor expansion of (* (pow (cos y) 1/3) (* z (expm1 (log1p (pow (cos y) 2/3))))) in y 7.316 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 7.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 7.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 7.316 * [taylor]: Taking taylor expansion of 1/3 in y 7.316 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.316 * [taylor]: Taking taylor expansion of (cos y) in y 7.316 * [taylor]: Taking taylor expansion of y in y 7.320 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in y 7.321 * [taylor]: Taking taylor expansion of z in y 7.321 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in y 7.321 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.321 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in y 7.321 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in y 7.321 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.321 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in y 7.321 * [taylor]: Taking taylor expansion of 1 in y 7.321 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in y 7.321 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in y 7.321 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in y 7.321 * [taylor]: Taking taylor expansion of 2/3 in y 7.321 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.321 * [taylor]: Taking taylor expansion of (cos y) in y 7.321 * [taylor]: Taking taylor expansion of y in y 7.326 * [taylor]: Taking taylor expansion of 1 in y 7.326 * [taylor]: Taking taylor expansion of (* (pow (cos y) 1/3) (* z (expm1 (log1p (pow (cos y) 2/3))))) in z 7.326 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in z 7.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in z 7.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in z 7.326 * [taylor]: Taking taylor expansion of 1/3 in z 7.326 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.326 * [taylor]: Taking taylor expansion of (cos y) in z 7.326 * [taylor]: Taking taylor expansion of y in z 7.327 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in z 7.327 * [taylor]: Taking taylor expansion of z in z 7.327 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in z 7.327 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.327 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in z 7.327 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in z 7.327 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.327 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in z 7.327 * [taylor]: Taking taylor expansion of 1 in z 7.327 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in z 7.327 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in z 7.327 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in z 7.327 * [taylor]: Taking taylor expansion of 2/3 in z 7.327 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.327 * [taylor]: Taking taylor expansion of (cos y) in z 7.327 * [taylor]: Taking taylor expansion of y in z 7.328 * [taylor]: Taking taylor expansion of 1 in z 7.328 * [taylor]: Taking taylor expansion of (* (pow (cos y) 1/3) (* z (expm1 (log1p (pow (cos y) 2/3))))) in z 7.328 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in z 7.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in z 7.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in z 7.328 * [taylor]: Taking taylor expansion of 1/3 in z 7.328 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.328 * [taylor]: Taking taylor expansion of (cos y) in z 7.328 * [taylor]: Taking taylor expansion of y in z 7.329 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in z 7.329 * [taylor]: Taking taylor expansion of z in z 7.329 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in z 7.329 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.329 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in z 7.329 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in z 7.329 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.329 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in z 7.329 * [taylor]: Taking taylor expansion of 1 in z 7.329 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in z 7.329 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in z 7.329 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in z 7.329 * [taylor]: Taking taylor expansion of 2/3 in z 7.329 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.329 * [taylor]: Taking taylor expansion of (cos y) in z 7.329 * [taylor]: Taking taylor expansion of y in z 7.330 * [taylor]: Taking taylor expansion of 1 in z 7.330 * [taylor]: Taking taylor expansion of 0 in y 7.339 * [taylor]: Taking taylor expansion of (cos y) in y 7.339 * [taylor]: Taking taylor expansion of y in y 7.351 * [taylor]: Taking taylor expansion of 0 in y 7.372 * [taylor]: Taking taylor expansion of 0 in y 7.372 * [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.372 * [taylor]: Taking taylor expansion of (* (pow (cos (/ 1 y)) 1/3) (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z)) in y 7.372 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 7.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 7.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 7.372 * [taylor]: Taking taylor expansion of 1/3 in y 7.372 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.372 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.372 * [taylor]: Taking taylor expansion of y in y 7.373 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in y 7.373 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.373 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.373 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.373 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in y 7.373 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.373 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in y 7.373 * [taylor]: Taking taylor expansion of 1 in y 7.373 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in y 7.373 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in y 7.373 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in y 7.373 * [taylor]: Taking taylor expansion of 2/3 in y 7.373 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.373 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.373 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.373 * [taylor]: Taking taylor expansion of y in y 7.374 * [taylor]: Taking taylor expansion of 1 in y 7.374 * [taylor]: Taking taylor expansion of z in y 7.375 * [taylor]: Taking taylor expansion of (* (pow (cos (/ 1 y)) 1/3) (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z)) in z 7.375 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in z 7.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in z 7.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in z 7.375 * [taylor]: Taking taylor expansion of 1/3 in z 7.375 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.375 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.375 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.375 * [taylor]: Taking taylor expansion of y in z 7.375 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in z 7.375 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.375 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.375 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.375 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in z 7.376 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.376 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in z 7.376 * [taylor]: Taking taylor expansion of 1 in z 7.376 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in z 7.376 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in z 7.376 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in z 7.376 * [taylor]: Taking taylor expansion of 2/3 in z 7.376 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.376 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.376 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.376 * [taylor]: Taking taylor expansion of y in z 7.377 * [taylor]: Taking taylor expansion of 1 in z 7.377 * [taylor]: Taking taylor expansion of z in z 7.377 * [taylor]: Taking taylor expansion of (* (pow (cos (/ 1 y)) 1/3) (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z)) in z 7.377 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in z 7.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in z 7.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in z 7.377 * [taylor]: Taking taylor expansion of 1/3 in z 7.377 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.377 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.377 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.377 * [taylor]: Taking taylor expansion of y in z 7.378 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in z 7.378 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.378 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.378 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.378 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in z 7.378 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.378 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in z 7.378 * [taylor]: Taking taylor expansion of 1 in z 7.378 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in z 7.378 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in z 7.378 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in z 7.378 * [taylor]: Taking taylor expansion of 2/3 in z 7.378 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.378 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.378 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.378 * [taylor]: Taking taylor expansion of y in z 7.379 * [taylor]: Taking taylor expansion of 1 in z 7.379 * [taylor]: Taking taylor expansion of z in z 7.380 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.380 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.380 * [taylor]: Taking taylor expansion of y in y 7.389 * [taylor]: Taking taylor expansion of 0 in y 7.402 * [taylor]: Taking taylor expansion of 0 in y 7.420 * [taylor]: Taking taylor expansion of 0 in y 7.421 * [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.421 * [taylor]: Taking taylor expansion of (* -1 (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3))) in y 7.421 * [taylor]: Taking taylor expansion of -1 in y 7.421 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3)) in y 7.421 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in y 7.421 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.421 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.421 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.421 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in y 7.421 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.421 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in y 7.421 * [taylor]: Taking taylor expansion of 1 in y 7.421 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in y 7.421 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in y 7.421 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in y 7.421 * [taylor]: Taking taylor expansion of 2/3 in y 7.421 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.421 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.421 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.421 * [taylor]: Taking taylor expansion of -1 in y 7.421 * [taylor]: Taking taylor expansion of y in y 7.422 * [taylor]: Taking taylor expansion of 1 in y 7.422 * [taylor]: Taking taylor expansion of z in y 7.422 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 7.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 7.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 7.423 * [taylor]: Taking taylor expansion of 1/3 in y 7.423 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.423 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.423 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.423 * [taylor]: Taking taylor expansion of -1 in y 7.423 * [taylor]: Taking taylor expansion of y in y 7.423 * [taylor]: Taking taylor expansion of (* -1 (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3))) in z 7.423 * [taylor]: Taking taylor expansion of -1 in z 7.423 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3)) in z 7.423 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in z 7.423 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.423 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.423 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.423 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in z 7.423 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.423 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in z 7.423 * [taylor]: Taking taylor expansion of 1 in z 7.423 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in z 7.423 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in z 7.423 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in z 7.423 * [taylor]: Taking taylor expansion of 2/3 in z 7.424 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.424 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.424 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.424 * [taylor]: Taking taylor expansion of -1 in z 7.424 * [taylor]: Taking taylor expansion of y in z 7.425 * [taylor]: Taking taylor expansion of 1 in z 7.425 * [taylor]: Taking taylor expansion of z in z 7.425 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in z 7.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in z 7.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in z 7.425 * [taylor]: Taking taylor expansion of 1/3 in z 7.425 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.425 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.425 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.425 * [taylor]: Taking taylor expansion of -1 in z 7.425 * [taylor]: Taking taylor expansion of y in z 7.426 * [taylor]: Taking taylor expansion of (* -1 (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3))) in z 7.426 * [taylor]: Taking taylor expansion of -1 in z 7.426 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) (pow (cos (/ -1 y)) 1/3)) in z 7.426 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in z 7.426 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.426 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.426 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.426 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in z 7.426 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.426 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in z 7.426 * [taylor]: Taking taylor expansion of 1 in z 7.426 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in z 7.426 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in z 7.426 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in z 7.426 * [taylor]: Taking taylor expansion of 2/3 in z 7.426 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.426 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.426 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.426 * [taylor]: Taking taylor expansion of -1 in z 7.426 * [taylor]: Taking taylor expansion of y in z 7.427 * [taylor]: Taking taylor expansion of 1 in z 7.427 * [taylor]: Taking taylor expansion of z in z 7.428 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in z 7.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in z 7.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in z 7.428 * [taylor]: Taking taylor expansion of 1/3 in z 7.428 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.428 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.428 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.428 * [taylor]: Taking taylor expansion of -1 in z 7.428 * [taylor]: Taking taylor expansion of y in z 7.429 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 7.429 * [taylor]: Taking taylor expansion of -1 in y 7.429 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.429 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.429 * [taylor]: Taking taylor expansion of -1 in y 7.429 * [taylor]: Taking taylor expansion of y in y 7.439 * [taylor]: Taking taylor expansion of 0 in y 7.459 * [taylor]: Taking taylor expansion of 0 in y 7.479 * [taylor]: Taking taylor expansion of 0 in y 7.479 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 7.479 * [approximate]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in (z y) around 0 7.479 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in y 7.479 * [taylor]: Taking taylor expansion of z in y 7.479 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in y 7.479 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.479 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in y 7.479 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in y 7.479 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.479 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in y 7.479 * [taylor]: Taking taylor expansion of 1 in y 7.479 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in y 7.479 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in y 7.479 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in y 7.479 * [taylor]: Taking taylor expansion of 2/3 in y 7.479 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.479 * [taylor]: Taking taylor expansion of (cos y) in y 7.479 * [taylor]: Taking taylor expansion of y in y 7.485 * [taylor]: Taking taylor expansion of 1 in y 7.485 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in z 7.485 * [taylor]: Taking taylor expansion of z in z 7.485 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in z 7.485 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.485 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in z 7.485 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in z 7.485 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.485 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in z 7.485 * [taylor]: Taking taylor expansion of 1 in z 7.485 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in z 7.485 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in z 7.485 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in z 7.485 * [taylor]: Taking taylor expansion of 2/3 in z 7.485 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.485 * [taylor]: Taking taylor expansion of (cos y) in z 7.485 * [taylor]: Taking taylor expansion of y in z 7.486 * [taylor]: Taking taylor expansion of 1 in z 7.486 * [taylor]: Taking taylor expansion of (* z (expm1 (log1p (pow (cos y) 2/3)))) in z 7.486 * [taylor]: Taking taylor expansion of z in z 7.486 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2/3))) in z 7.486 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2/3))) 1) 7.486 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2/3))) in z 7.486 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2/3)) in z 7.486 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2/3))) 7.486 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2/3)) in z 7.486 * [taylor]: Taking taylor expansion of 1 in z 7.486 * [taylor]: Taking taylor expansion of (pow (cos y) 2/3) in z 7.486 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos y)))) in z 7.486 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos y))) in z 7.486 * [taylor]: Taking taylor expansion of 2/3 in z 7.486 * [taylor]: Taking taylor expansion of (log (cos y)) in z 7.486 * [taylor]: Taking taylor expansion of (cos y) in z 7.486 * [taylor]: Taking taylor expansion of y in z 7.487 * [taylor]: Taking taylor expansion of 1 in z 7.488 * [taylor]: Taking taylor expansion of 0 in y 7.493 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 7.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 7.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 7.493 * [taylor]: Taking taylor expansion of 1/3 in y 7.493 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 7.493 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 7.493 * [taylor]: Taking taylor expansion of (cos y) in y 7.493 * [taylor]: Taking taylor expansion of y in y 7.507 * [taylor]: Taking taylor expansion of 0 in y 7.518 * [taylor]: Taking taylor expansion of 0 in y 7.518 * [approximate]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in (z y) around 0 7.518 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in y 7.518 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.518 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.518 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in y 7.518 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in y 7.519 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.519 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in y 7.519 * [taylor]: Taking taylor expansion of 1 in y 7.519 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in y 7.519 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in y 7.519 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in y 7.519 * [taylor]: Taking taylor expansion of 2/3 in y 7.519 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.519 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.519 * [taylor]: Taking taylor expansion of y in y 7.519 * [taylor]: Taking taylor expansion of 1 in y 7.519 * [taylor]: Taking taylor expansion of z in y 7.520 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in z 7.520 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.520 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.520 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.520 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in z 7.520 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.520 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in z 7.520 * [taylor]: Taking taylor expansion of 1 in z 7.520 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in z 7.520 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in z 7.520 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in z 7.520 * [taylor]: Taking taylor expansion of 2/3 in z 7.520 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.520 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.520 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.520 * [taylor]: Taking taylor expansion of y in z 7.521 * [taylor]: Taking taylor expansion of 1 in z 7.521 * [taylor]: Taking taylor expansion of z in z 7.522 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) z) in z 7.522 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.522 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2/3))) 1) 7.522 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2/3))) in z 7.522 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2/3)) in z 7.522 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2/3))) 7.522 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2/3)) in z 7.522 * [taylor]: Taking taylor expansion of 1 in z 7.522 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2/3) in z 7.522 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ 1 y))))) in z 7.522 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ 1 y)))) in z 7.522 * [taylor]: Taking taylor expansion of 2/3 in z 7.522 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in z 7.522 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.522 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.522 * [taylor]: Taking taylor expansion of y in z 7.523 * [taylor]: Taking taylor expansion of 1 in z 7.523 * [taylor]: Taking taylor expansion of z in z 7.524 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 7.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 7.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 7.524 * [taylor]: Taking taylor expansion of 1/3 in y 7.524 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 7.524 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 7.524 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.524 * [taylor]: Taking taylor expansion of y in y 7.530 * [taylor]: Taking taylor expansion of 0 in y 7.547 * [taylor]: Taking taylor expansion of 0 in y 7.561 * [taylor]: Taking taylor expansion of 0 in y 7.561 * [approximate]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z)) in (z y) around 0 7.561 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z)) in y 7.562 * [taylor]: Taking taylor expansion of -1 in y 7.562 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in y 7.562 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.562 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.562 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in y 7.562 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in y 7.562 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.562 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in y 7.562 * [taylor]: Taking taylor expansion of 1 in y 7.562 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in y 7.562 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in y 7.562 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in y 7.562 * [taylor]: Taking taylor expansion of 2/3 in y 7.562 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.562 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.562 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.562 * [taylor]: Taking taylor expansion of -1 in y 7.562 * [taylor]: Taking taylor expansion of y in y 7.563 * [taylor]: Taking taylor expansion of 1 in y 7.563 * [taylor]: Taking taylor expansion of z in y 7.563 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z)) in z 7.564 * [taylor]: Taking taylor expansion of -1 in z 7.564 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in z 7.564 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.564 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.564 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.564 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in z 7.564 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.564 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in z 7.564 * [taylor]: Taking taylor expansion of 1 in z 7.564 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in z 7.564 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in z 7.564 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in z 7.564 * [taylor]: Taking taylor expansion of 2/3 in z 7.564 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.564 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.564 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.564 * [taylor]: Taking taylor expansion of -1 in z 7.564 * [taylor]: Taking taylor expansion of y in z 7.565 * [taylor]: Taking taylor expansion of 1 in z 7.565 * [taylor]: Taking taylor expansion of z in z 7.566 * [taylor]: Taking taylor expansion of (* -1 (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z)) in z 7.566 * [taylor]: Taking taylor expansion of -1 in z 7.566 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) z) in z 7.566 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.566 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2/3))) 1) 7.566 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2/3))) in z 7.566 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2/3)) in z 7.566 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2/3))) 7.566 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2/3)) in z 7.566 * [taylor]: Taking taylor expansion of 1 in z 7.566 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2/3) in z 7.566 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (cos (/ -1 y))))) in z 7.566 * [taylor]: Taking taylor expansion of (* 2/3 (log (cos (/ -1 y)))) in z 7.566 * [taylor]: Taking taylor expansion of 2/3 in z 7.566 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in z 7.566 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.566 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.566 * [taylor]: Taking taylor expansion of -1 in z 7.566 * [taylor]: Taking taylor expansion of y in z 7.567 * [taylor]: Taking taylor expansion of 1 in z 7.567 * [taylor]: Taking taylor expansion of z in z 7.568 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 7.568 * [taylor]: Taking taylor expansion of -1 in y 7.568 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 7.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 7.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 7.568 * [taylor]: Taking taylor expansion of 1/3 in y 7.568 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 7.568 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 7.568 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.568 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.568 * [taylor]: Taking taylor expansion of -1 in y 7.568 * [taylor]: Taking taylor expansion of y in y 7.575 * [taylor]: Taking taylor expansion of 0 in y 7.586 * [taylor]: Taking taylor expansion of 0 in y 7.602 * [taylor]: Taking taylor expansion of 0 in y 7.602 * * * [progress]: simplifying candidates 7.603 * [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.607 * * [simplify]: iteration 0 : 99 enodes (cost 817 ) 7.632 * * [simplify]: iteration 1 : 212 enodes (cost 655 ) 7.695 * * [simplify]: iteration 2 : 739 enodes (cost 577 ) 8.264 * * [simplify]: iteration 3 : 3841 enodes (cost 529 ) 10.001 * * [simplify]: iteration done : 5000 enodes (cost 529 ) 10.001 * [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 (* (pow (cbrt (cos y)) 3) z)) (log1p (* (pow (cbrt (cos y)) 3) z)) (* (pow (cbrt (cos y)) 3) z) (* (pow (cbrt (cos y)) 3) z) (+ (* (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 (* (pow (cbrt (cos y)) 3) z)) (cbrt (* (pow (cbrt (cos y)) 3) z))) (cbrt (* (pow (cbrt (cos y)) 3) z)) (pow (* (pow (cbrt (cos y)) 3) z) 3) (sqrt (* (pow (cbrt (cos y)) 3) z)) (sqrt (* (pow (cbrt (cos y)) 3) z)) (* (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.002 * * * [progress]: adding candidates to table 10.274 * [progress]: [Phase 3 of 3] Extracting. 10.274 * * [regime]: Finding splitpoints for: (# # # # #) 10.275 * * * [regime-changes]: Trying 4 branch expressions: ((+ (+ x (sin y)) (* z (cos y))) z y x) 10.275 * * * * [regimes]: Trying to branch on (+ (+ x (sin y)) (* z (cos y))) from (# # # # #) 10.311 * * * * [regimes]: Trying to branch on z from (# # # # #) 10.336 * * * * [regimes]: Trying to branch on y from (# # # # #) 10.363 * * * * [regimes]: Trying to branch on x from (# # # # #) 10.391 * * * [regime]: Found split indices: #