8.596 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.058 * * * [progress]: [2/2] Setting up program. 0.066 * [progress]: [Phase 2 of 3] Improving. 0.066 * [simplify]: Simplifying using # : (+ (* x (sin y)) (* z (cos y))) 0.067 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.068 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 0.069 * * [simplify]: iteration done : 11 enodes (cost 9 ) 0.070 * [simplify]: Simplified to: (+ (* x (sin y)) (* z (cos y))) 0.070 * * [progress]: iteration 1 / 4 0.070 * * * [progress]: picking best candidate 0.073 * * * * [pick]: Picked # 0.073 * * * [progress]: localizing error 0.082 * * * [progress]: generating rewritten candidates 0.082 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.087 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.092 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.097 * * * [progress]: generating series expansions 0.098 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.098 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.098 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.098 * [taylor]: Taking taylor expansion of (cos y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of z in y 0.098 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.098 * [taylor]: Taking taylor expansion of (cos y) in z 0.098 * [taylor]: Taking taylor expansion of y in z 0.098 * [taylor]: Taking taylor expansion of z in z 0.098 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.098 * [taylor]: Taking taylor expansion of (cos y) in z 0.098 * [taylor]: Taking taylor expansion of y in z 0.098 * [taylor]: Taking taylor expansion of z in z 0.098 * [taylor]: Taking taylor expansion of 0 in y 0.098 * [taylor]: Taking taylor expansion of (cos y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.099 * [taylor]: Taking taylor expansion of 0 in y 0.099 * [taylor]: Taking taylor expansion of 0 in y 0.099 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.099 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.099 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.099 * [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 (/ (cos (/ 1 y)) z) in z 0.099 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.100 * [taylor]: Taking taylor expansion of y in z 0.100 * [taylor]: Taking taylor expansion of z in z 0.100 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.100 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.100 * [taylor]: Taking taylor expansion of y in z 0.100 * [taylor]: Taking taylor expansion of z in z 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 y in y 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.102 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.102 * [taylor]: Taking taylor expansion of -1 in y 0.102 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.102 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.102 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.102 * [taylor]: Taking taylor expansion of -1 in y 0.102 * [taylor]: Taking taylor expansion of y in y 0.102 * [taylor]: Taking taylor expansion of z in y 0.102 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.102 * [taylor]: Taking taylor expansion of -1 in z 0.102 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.102 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.102 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.102 * [taylor]: Taking taylor expansion of -1 in z 0.102 * [taylor]: Taking taylor expansion of y in z 0.102 * [taylor]: Taking taylor expansion of z in z 0.102 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.102 * [taylor]: Taking taylor expansion of -1 in z 0.102 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.102 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.102 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.102 * [taylor]: Taking taylor expansion of -1 in z 0.102 * [taylor]: Taking taylor expansion of y in z 0.102 * [taylor]: Taking taylor expansion of z in z 0.103 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.103 * [taylor]: Taking taylor expansion of -1 in y 0.103 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.103 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.103 * [taylor]: Taking taylor expansion of -1 in y 0.103 * [taylor]: Taking taylor expansion of y in y 0.103 * [taylor]: Taking taylor expansion of 0 in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.105 * [taylor]: Taking taylor expansion of 0 in y 0.105 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.105 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0 0.105 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.105 * [taylor]: Taking taylor expansion of x in y 0.105 * [taylor]: Taking taylor expansion of (sin y) in y 0.105 * [taylor]: Taking taylor expansion of y in y 0.105 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.105 * [taylor]: Taking taylor expansion of x in x 0.105 * [taylor]: Taking taylor expansion of (sin y) in x 0.105 * [taylor]: Taking taylor expansion of y in x 0.105 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.105 * [taylor]: Taking taylor expansion of x in x 0.105 * [taylor]: Taking taylor expansion of (sin y) in x 0.105 * [taylor]: Taking taylor expansion of y in x 0.106 * [taylor]: Taking taylor expansion of 0 in y 0.106 * [taylor]: Taking taylor expansion of (sin y) in y 0.106 * [taylor]: Taking taylor expansion of y in y 0.106 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0 0.108 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 0.108 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.108 * [taylor]: Taking taylor expansion of y in y 0.108 * [taylor]: Taking taylor expansion of x in y 0.108 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.108 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.108 * [taylor]: Taking taylor expansion of y in x 0.108 * [taylor]: Taking taylor expansion of x in x 0.108 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.108 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.108 * [taylor]: Taking taylor expansion of y in x 0.108 * [taylor]: Taking taylor expansion of x in x 0.109 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.109 * [taylor]: Taking taylor expansion of y in y 0.109 * [taylor]: Taking taylor expansion of 0 in y 0.109 * [taylor]: Taking taylor expansion of 0 in y 0.110 * [taylor]: Taking taylor expansion of 0 in y 0.110 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0 0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y 0.110 * [taylor]: Taking taylor expansion of -1 in y 0.110 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 0.110 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.110 * [taylor]: Taking taylor expansion of -1 in y 0.110 * [taylor]: Taking taylor expansion of y in y 0.110 * [taylor]: Taking taylor expansion of x in y 0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x 0.110 * [taylor]: Taking taylor expansion of -1 in x 0.110 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.110 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.110 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.110 * [taylor]: Taking taylor expansion of -1 in x 0.110 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x 0.111 * [taylor]: Taking taylor expansion of -1 in x 0.111 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.111 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.111 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.111 * [taylor]: Taking taylor expansion of -1 in x 0.111 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.111 * [taylor]: Taking taylor expansion of -1 in y 0.111 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.111 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.111 * [taylor]: Taking taylor expansion of -1 in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.112 * [taylor]: Taking taylor expansion of 0 in y 0.112 * [taylor]: Taking taylor expansion of 0 in y 0.113 * [taylor]: Taking taylor expansion of 0 in y 0.113 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.113 * [approximate]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in (x y z) around 0 0.113 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in z 0.113 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.113 * [taylor]: Taking taylor expansion of (cos y) in z 0.113 * [taylor]: Taking taylor expansion of y in z 0.113 * [taylor]: Taking taylor expansion of z in z 0.113 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 0.113 * [taylor]: Taking taylor expansion of x in z 0.113 * [taylor]: Taking taylor expansion of (sin y) in z 0.113 * [taylor]: Taking taylor expansion of y in z 0.113 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in y 0.113 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.113 * [taylor]: Taking taylor expansion of (cos y) in y 0.113 * [taylor]: Taking taylor expansion of y in y 0.113 * [taylor]: Taking taylor expansion of z in y 0.113 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.113 * [taylor]: Taking taylor expansion of x in y 0.114 * [taylor]: Taking taylor expansion of (sin y) in y 0.114 * [taylor]: Taking taylor expansion of y in y 0.114 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in x 0.114 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.114 * [taylor]: Taking taylor expansion of (cos y) in x 0.114 * [taylor]: Taking taylor expansion of y in x 0.114 * [taylor]: Taking taylor expansion of z in x 0.114 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.114 * [taylor]: Taking taylor expansion of x in x 0.114 * [taylor]: Taking taylor expansion of (sin y) in x 0.114 * [taylor]: Taking taylor expansion of y in x 0.114 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in x 0.114 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.114 * [taylor]: Taking taylor expansion of (cos y) in x 0.114 * [taylor]: Taking taylor expansion of y in x 0.114 * [taylor]: Taking taylor expansion of z in x 0.114 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.114 * [taylor]: Taking taylor expansion of x in x 0.114 * [taylor]: Taking taylor expansion of (sin y) in x 0.114 * [taylor]: Taking taylor expansion of y in x 0.114 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.114 * [taylor]: Taking taylor expansion of (cos y) in y 0.114 * [taylor]: Taking taylor expansion of y in y 0.114 * [taylor]: Taking taylor expansion of z in y 0.114 * [taylor]: Taking taylor expansion of z in z 0.115 * [taylor]: Taking taylor expansion of (sin y) in y 0.115 * [taylor]: Taking taylor expansion of y in y 0.115 * [taylor]: Taking taylor expansion of 0 in z 0.115 * [taylor]: Taking taylor expansion of 0 in z 0.115 * [taylor]: Taking taylor expansion of 0 in y 0.115 * [taylor]: Taking taylor expansion of 0 in z 0.116 * [taylor]: Taking taylor expansion of 1 in z 0.116 * [taylor]: Taking taylor expansion of (neg (* 1/2 z)) in z 0.116 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.116 * [taylor]: Taking taylor expansion of 1/2 in z 0.116 * [taylor]: Taking taylor expansion of z in z 0.117 * [taylor]: Taking taylor expansion of 0 in y 0.117 * [taylor]: Taking taylor expansion of 0 in z 0.117 * [taylor]: Taking taylor expansion of 0 in z 0.117 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in (x y z) around 0 0.117 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in z 0.117 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.117 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.117 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.117 * [taylor]: Taking taylor expansion of y in z 0.117 * [taylor]: Taking taylor expansion of z in z 0.117 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in z 0.117 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.117 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.117 * [taylor]: Taking taylor expansion of y in z 0.117 * [taylor]: Taking taylor expansion of x in z 0.118 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in y 0.118 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.118 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.118 * [taylor]: Taking taylor expansion of y in y 0.118 * [taylor]: Taking taylor expansion of z in y 0.118 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 0.118 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.118 * [taylor]: Taking taylor expansion of y in y 0.118 * [taylor]: Taking taylor expansion of x in y 0.118 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in x 0.118 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.118 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.118 * [taylor]: Taking taylor expansion of y in x 0.118 * [taylor]: Taking taylor expansion of z in x 0.118 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.118 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.118 * [taylor]: Taking taylor expansion of y in x 0.118 * [taylor]: Taking taylor expansion of x in x 0.119 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in x 0.119 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.119 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.119 * [taylor]: Taking taylor expansion of y in x 0.119 * [taylor]: Taking taylor expansion of z in x 0.119 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.119 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.119 * [taylor]: Taking taylor expansion of y in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.119 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.119 * [taylor]: Taking taylor expansion of y in y 0.119 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.119 * [taylor]: Taking taylor expansion of y in z 0.120 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.120 * [taylor]: Taking taylor expansion of (cos (/ 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.120 * [taylor]: Taking taylor expansion of z in y 0.120 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.120 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.120 * [taylor]: Taking taylor expansion of y in z 0.120 * [taylor]: Taking taylor expansion of z in z 0.120 * [taylor]: Taking taylor expansion of 0 in z 0.121 * [taylor]: Taking taylor expansion of 0 in y 0.121 * [taylor]: Taking taylor expansion of 0 in z 0.121 * [taylor]: Taking taylor expansion of 0 in z 0.121 * [taylor]: Taking taylor expansion of 0 in z 0.123 * [taylor]: Taking taylor expansion of 0 in y 0.123 * [taylor]: Taking taylor expansion of 0 in z 0.123 * [taylor]: Taking taylor expansion of 0 in z 0.123 * [taylor]: Taking taylor expansion of 0 in z 0.123 * [taylor]: Taking taylor expansion of 0 in z 0.123 * [approximate]: Taking taylor expansion of (neg (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z))) in (x y z) around 0 0.123 * [taylor]: Taking taylor expansion of (neg (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z))) in z 0.123 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z)) in z 0.123 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in z 0.123 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.123 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.123 * [taylor]: Taking taylor expansion of -1 in z 0.123 * [taylor]: Taking taylor expansion of y in z 0.124 * [taylor]: Taking taylor expansion of x in z 0.124 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.124 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.124 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.124 * [taylor]: Taking taylor expansion of -1 in z 0.124 * [taylor]: Taking taylor expansion of y in z 0.124 * [taylor]: Taking taylor expansion of z in z 0.124 * [taylor]: Taking taylor expansion of (neg (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z))) in y 0.124 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z)) in y 0.124 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 0.124 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.124 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.124 * [taylor]: Taking taylor expansion of -1 in y 0.124 * [taylor]: Taking taylor expansion of y in y 0.124 * [taylor]: Taking taylor expansion of x in y 0.124 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.124 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.124 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.124 * [taylor]: Taking taylor expansion of -1 in y 0.124 * [taylor]: Taking taylor expansion of y in y 0.124 * [taylor]: Taking taylor expansion of z in y 0.124 * [taylor]: Taking taylor expansion of (neg (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z))) in x 0.124 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z)) in x 0.124 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.124 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.124 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.124 * [taylor]: Taking taylor expansion of -1 in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.125 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.125 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.125 * [taylor]: Taking taylor expansion of -1 in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of z in x 0.125 * [taylor]: Taking taylor expansion of (neg (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z))) in x 0.125 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z)) in x 0.125 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.125 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.125 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.125 * [taylor]: Taking taylor expansion of -1 in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.125 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.125 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.125 * [taylor]: Taking taylor expansion of -1 in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.126 * [taylor]: Taking taylor expansion of z in x 0.126 * [taylor]: Taking taylor expansion of (neg (sin (/ -1 y))) in y 0.126 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.126 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.126 * [taylor]: Taking taylor expansion of -1 in y 0.126 * [taylor]: Taking taylor expansion of y in y 0.126 * [taylor]: Taking taylor expansion of (neg (sin (/ -1 y))) in z 0.126 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.126 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.126 * [taylor]: Taking taylor expansion of -1 in z 0.126 * [taylor]: Taking taylor expansion of y in z 0.126 * [taylor]: Taking taylor expansion of (neg (/ (cos (/ -1 y)) z)) in y 0.127 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.127 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.127 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.127 * [taylor]: Taking taylor expansion of -1 in y 0.127 * [taylor]: Taking taylor expansion of y in y 0.127 * [taylor]: Taking taylor expansion of z in y 0.127 * [taylor]: Taking taylor expansion of (neg (/ (cos (/ -1 y)) z)) in z 0.127 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.127 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.127 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.127 * [taylor]: Taking taylor expansion of -1 in z 0.127 * [taylor]: Taking taylor expansion of y in z 0.127 * [taylor]: Taking taylor expansion of z in z 0.127 * [taylor]: Taking taylor expansion of 0 in z 0.128 * [taylor]: Taking taylor expansion of 0 in y 0.128 * [taylor]: Taking taylor expansion of 0 in z 0.128 * [taylor]: Taking taylor expansion of 0 in z 0.128 * [taylor]: Taking taylor expansion of 0 in z 0.130 * [taylor]: Taking taylor expansion of 0 in y 0.130 * [taylor]: Taking taylor expansion of 0 in z 0.130 * [taylor]: Taking taylor expansion of 0 in z 0.130 * [taylor]: Taking taylor expansion of 0 in z 0.130 * [taylor]: Taking taylor expansion of 0 in z 0.130 * * * [progress]: simplifying candidates 0.131 * [simplify]: Simplifying using # : (* 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)) (* x (sin y)) (+ (log x) (log (sin y))) (log (* x (sin y))) (exp (* x (sin y))) (* (* (* x x) x) (* (* (sin y) (sin y)) (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))) (* (sqrt x) (sqrt (sin y))) (* (sqrt x) (sqrt (sin y))) (* x (* (cbrt (sin y)) (cbrt (sin y)))) (* x (sqrt (sin y))) (* x 1) (* (cbrt x) (sin y)) (* (sqrt x) (sin y)) (* x (sin y)) (* (exp (* x (sin y))) (exp (* z (cos y)))) (log (+ (* x (sin y)) (* z (cos y)))) (exp (+ (* x (sin y)) (* z (cos y)))) (* (cbrt (+ (* x (sin y)) (* z (cos y)))) (cbrt (+ (* x (sin y)) (* z (cos y))))) (cbrt (+ (* x (sin y)) (* z (cos y)))) (* (* (+ (* x (sin y)) (* z (cos y))) (+ (* x (sin y)) (* z (cos y)))) (+ (* x (sin y)) (* z (cos y)))) (sqrt (+ (* x (sin y)) (* z (cos y)))) (sqrt (+ (* x (sin y)) (* z (cos y)))) (+ (pow (* x (sin y)) 3) (pow (* z (cos y)) 3)) (+ (* (* x (sin y)) (* x (sin y))) (- (* (* z (cos y)) (* z (cos y))) (* (* x (sin y)) (* z (cos y))))) (- (* (* x (sin y)) (* x (sin y))) (* (* z (cos y)) (* z (cos y)))) (- (* x (sin y)) (* z (cos y))) z (* (cos y) z) (* (cos y) z) (* x y) (* x (sin y)) (* x (sin y)) (+ (* x y) z) (+ (* (cos y) z) (* x (sin y))) (+ (* (cos y) z) (* x (sin y))) 0.133 * * [simplify]: iteration 0 : 82 enodes (cost 458 ) 0.144 * * [simplify]: iteration 1 : 189 enodes (cost 432 ) 0.176 * * [simplify]: iteration 2 : 455 enodes (cost 396 ) 0.265 * * [simplify]: iteration 3 : 1042 enodes (cost 396 ) 0.494 * * [simplify]: iteration 4 : 2460 enodes (cost 396 ) 1.155 * * [simplify]: iteration done : 5000 enodes (cost 396 ) 1.155 * [simplify]: Simplified to: (* (cos y) z) (log (* (cos y) z)) (log (* (cos y) z)) (exp (* z (cos y))) (pow (* (cos y) z) 3) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (pow (* (cos y) z) 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)) (* (cos y) z) (* x (sin y)) (log (* x (sin y))) (log (* x (sin y))) (exp (* x (sin y))) (pow (* x (sin y)) 3) (* (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))) (* (sqrt x) (sqrt (sin y))) (* (sqrt x) (sqrt (sin y))) (* x (* (cbrt (sin y)) (cbrt (sin y)))) (* x (sqrt (sin y))) x (* (cbrt x) (sin y)) (* (sqrt x) (sin y)) (* x (sin y)) (exp (+ (* x (sin y)) (* z (cos y)))) (log (+ (* x (sin y)) (* z (cos y)))) (exp (+ (* x (sin y)) (* z (cos y)))) (* (cbrt (+ (* x (sin y)) (* z (cos y)))) (cbrt (+ (* x (sin y)) (* z (cos y))))) (cbrt (+ (* x (sin y)) (* z (cos y)))) (pow (+ (* (cos y) z) (* x (sin y))) 3) (sqrt (+ (* x (sin y)) (* z (cos y)))) (sqrt (+ (* x (sin y)) (* z (cos y)))) (+ (pow (* x (sin y)) 3) (pow (* z (cos y)) 3)) (+ (* (* x (sin y)) (* x (sin y))) (* (* (cos y) z) (- (* (cos y) z) (* x (sin y))))) (- (* (* x (sin y)) (* x (sin y))) (* (* z (cos y)) (* z (cos y)))) (- (* x (sin y)) (* z (cos y))) z (* (cos y) z) (* (cos y) z) (* x y) (* x (sin y)) (* x (sin y)) (+ (* x y) z) (+ (* (cos y) z) (* x (sin y))) (+ (* (cos y) z) (* x (sin y))) 1.156 * * * [progress]: adding candidates to table 1.218 * * [progress]: iteration 2 / 4 1.218 * * * [progress]: picking best candidate 1.253 * * * * [pick]: Picked # 1.253 * * * [progress]: localizing error 1.269 * * * [progress]: generating rewritten candidates 1.269 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.271 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 1.273 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 1.275 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.283 * * * [progress]: generating series expansions 1.283 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.283 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.283 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.283 * [taylor]: Taking taylor expansion of 1/3 in y 1.283 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.284 * [taylor]: Taking taylor expansion of (sin y) in y 1.284 * [taylor]: Taking taylor expansion of y in y 1.284 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.284 * [taylor]: Taking taylor expansion of 1/3 in y 1.284 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.284 * [taylor]: Taking taylor expansion of (sin y) in y 1.284 * [taylor]: Taking taylor expansion of y in y 1.288 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.288 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.288 * [taylor]: Taking taylor expansion of 1/3 in y 1.288 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.288 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.288 * [taylor]: Taking taylor expansion of y in y 1.288 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.288 * [taylor]: Taking taylor expansion of 1/3 in y 1.288 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.288 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.288 * [taylor]: Taking taylor expansion of y in y 1.296 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.296 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.296 * [taylor]: Taking taylor expansion of 1/3 in y 1.296 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.296 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.296 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.296 * [taylor]: Taking taylor expansion of -1 in y 1.296 * [taylor]: Taking taylor expansion of y in y 1.296 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.296 * [taylor]: Taking taylor expansion of 1/3 in y 1.296 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.296 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.296 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.296 * [taylor]: Taking taylor expansion of -1 in y 1.296 * [taylor]: Taking taylor expansion of y in y 1.303 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 1.303 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.303 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.304 * [taylor]: Taking taylor expansion of 1/3 in y 1.304 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.304 * [taylor]: Taking taylor expansion of (sin y) in y 1.304 * [taylor]: Taking taylor expansion of y in y 1.304 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.304 * [taylor]: Taking taylor expansion of 1/3 in y 1.304 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.304 * [taylor]: Taking taylor expansion of (sin y) in y 1.304 * [taylor]: Taking taylor expansion of y in y 1.308 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.308 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.308 * [taylor]: Taking taylor expansion of 1/3 in y 1.308 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.308 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.308 * [taylor]: Taking taylor expansion of y in y 1.308 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.308 * [taylor]: Taking taylor expansion of 1/3 in y 1.308 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.308 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.308 * [taylor]: Taking taylor expansion of y in y 1.316 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.316 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.316 * [taylor]: Taking taylor expansion of 1/3 in y 1.316 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.316 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.316 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.316 * [taylor]: Taking taylor expansion of -1 in y 1.316 * [taylor]: Taking taylor expansion of y in y 1.316 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.316 * [taylor]: Taking taylor expansion of 1/3 in y 1.316 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.316 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.316 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.316 * [taylor]: Taking taylor expansion of -1 in y 1.316 * [taylor]: Taking taylor expansion of y in y 1.323 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 1.323 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.324 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.324 * [taylor]: Taking taylor expansion of 1/3 in y 1.324 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.324 * [taylor]: Taking taylor expansion of (sin y) in y 1.324 * [taylor]: Taking taylor expansion of y in y 1.324 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.324 * [taylor]: Taking taylor expansion of 1/3 in y 1.324 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.324 * [taylor]: Taking taylor expansion of (sin y) in y 1.324 * [taylor]: Taking taylor expansion of y in y 1.328 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.328 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.328 * [taylor]: Taking taylor expansion of 1/3 in y 1.328 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.328 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.328 * [taylor]: Taking taylor expansion of y in y 1.328 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.328 * [taylor]: Taking taylor expansion of 1/3 in y 1.328 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.328 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.328 * [taylor]: Taking taylor expansion of y in y 1.336 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.336 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.336 * [taylor]: Taking taylor expansion of 1/3 in y 1.336 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.336 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.336 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.336 * [taylor]: Taking taylor expansion of -1 in y 1.336 * [taylor]: Taking taylor expansion of y in y 1.336 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.336 * [taylor]: Taking taylor expansion of 1/3 in y 1.336 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.336 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.336 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.336 * [taylor]: Taking taylor expansion of -1 in y 1.336 * [taylor]: Taking taylor expansion of y in y 1.344 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 1.344 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0 1.344 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 1.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 1.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 1.344 * [taylor]: Taking taylor expansion of 1/3 in y 1.344 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 1.344 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.344 * [taylor]: Taking taylor expansion of (sin y) in y 1.344 * [taylor]: Taking taylor expansion of y in y 1.344 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 1.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 1.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 1.344 * [taylor]: Taking taylor expansion of 1/3 in y 1.344 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 1.344 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.344 * [taylor]: Taking taylor expansion of (sin y) in y 1.344 * [taylor]: Taking taylor expansion of y in y 1.349 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0 1.349 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 1.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 1.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 1.349 * [taylor]: Taking taylor expansion of 1/3 in y 1.349 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 1.349 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.349 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.349 * [taylor]: Taking taylor expansion of y in y 1.349 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 1.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 1.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 1.349 * [taylor]: Taking taylor expansion of 1/3 in y 1.349 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 1.349 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.349 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.350 * [taylor]: Taking taylor expansion of y in y 1.359 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0 1.359 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 1.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 1.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 1.359 * [taylor]: Taking taylor expansion of 1/3 in y 1.359 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 1.359 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.359 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.359 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.359 * [taylor]: Taking taylor expansion of -1 in y 1.359 * [taylor]: Taking taylor expansion of y in y 1.359 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 1.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 1.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 1.359 * [taylor]: Taking taylor expansion of 1/3 in y 1.359 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 1.359 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.359 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.359 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.359 * [taylor]: Taking taylor expansion of -1 in y 1.359 * [taylor]: Taking taylor expansion of y in y 1.373 * * * [progress]: simplifying candidates 1.374 * [simplify]: Simplifying using # : (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (+ 1/3 1/3) (+ 1 1) (* (sin y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (+ 1 1) (+ (log (cbrt (sin y))) (log (cbrt (sin y)))) (log (* (cbrt (sin y)) (cbrt (sin y)))) (exp (* (cbrt (sin y)) (cbrt (sin y)))) (* (sin y) (sin y)) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* 1 1) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* 2 1/3) (* 2 1) (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (* (cbrt (sin y)) (cbrt 1)) (* (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (cbrt (sin y)) (sqrt (cbrt (sin y)))) (* (cbrt (sin y)) 1) (* (cbrt (cbrt (sin y))) (cbrt (sin y))) (* (cbrt (sqrt (sin y))) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (cbrt (sin y))) (cbrt (sin y))) (* (sqrt (cbrt (sin y))) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4))))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4))))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4))))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (+ (* 1/405 (* (pow y 4) (exp (* 1/3 (+ (* 2 (log y)) (log 1)))))) (exp (* 1/3 (+ (* 2 (log y)) (log 1))))) (* 1/9 (* (pow y 2) (exp (* 1/3 (+ (* 2 (log y)) (log 1))))))) (pow (pow (sin y) 2) 1/3) (pow (pow (sin y) 2) 1/3) 1.376 * * [simplify]: iteration 0 : 76 enodes (cost 792 ) 1.387 * * [simplify]: iteration 1 : 164 enodes (cost 715 ) 1.412 * * [simplify]: iteration 2 : 507 enodes (cost 586 ) 1.528 * * [simplify]: iteration 3 : 2000 enodes (cost 521 ) 2.139 * * [simplify]: iteration done : 5001 enodes (cost 515 ) 2.140 * [simplify]: Simplified to: (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) 2/3 2 (pow (sin y) 2) (pow (sin y) 2/3) 2 (log (pow (sin y) 2/3)) (log (pow (sin y) 2/3)) (exp (pow (sin y) 2/3)) (pow (sin y) 2) (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3))) (cbrt (pow (sin y) 2/3)) (pow (sin y) 2) (fabs (cbrt (sin y))) (fabs (cbrt (sin y))) (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) 1 (pow (sin y) 2/3) (pow (cbrt (cbrt (sin y))) 4) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (sin y)) (cbrt (sin y)) 1 (pow (sin y) 2/3) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (cbrt (sin y)) (cbrt (sin y)) 2/3 2 (* (cbrt (pow (sin y) 2/3)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (cbrt (sin y)) (* (pow (cbrt (cbrt (sin y))) 4) (cbrt (cbrt (sin y)))) (pow (sqrt (cbrt (sin y))) 3) (cbrt (sin y)) (pow (cbrt (cbrt (sin y))) 4) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (pow (sin y) 2/3) (pow (cbrt (cbrt (sin y))) 4) (pow (sqrt (cbrt (sin y))) 3) (pow (sin y) 2/3) (- (cbrt y) (* (cbrt y) (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4))))) (cbrt (sin y)) (cbrt (sin y)) (- (cbrt y) (* (cbrt y) (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4))))) (cbrt (sin y)) (cbrt (sin y)) (- (cbrt y) (* (cbrt y) (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4))))) (cbrt (sin y)) (cbrt (sin y)) (* (pow y 2/3) (- (+ (* 1/405 (pow y 4)) 1) (* 1/9 (pow y 2)))) (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2)) 2.141 * * * [progress]: adding candidates to table 2.218 * * [progress]: iteration 3 / 4 2.218 * * * [progress]: picking best candidate 2.261 * * * * [pick]: Picked # 2.262 * * * [progress]: localizing error 2.275 * * * [progress]: generating rewritten candidates 2.275 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 2.277 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 2.278 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 2.280 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 2.288 * * * [progress]: generating series expansions 2.288 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 2.288 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.288 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.288 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.288 * [taylor]: Taking taylor expansion of 1/3 in x 2.288 * [taylor]: Taking taylor expansion of (log x) in x 2.288 * [taylor]: Taking taylor expansion of x in x 2.288 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.288 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.288 * [taylor]: Taking taylor expansion of 1/3 in x 2.288 * [taylor]: Taking taylor expansion of (log x) in x 2.288 * [taylor]: Taking taylor expansion of x in x 2.295 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.295 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.295 * [taylor]: Taking taylor expansion of 1/3 in x 2.295 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.295 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.295 * [taylor]: Taking taylor expansion of 1/3 in x 2.295 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.302 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 2.302 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.302 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.302 * [taylor]: Taking taylor expansion of 1/3 in x 2.302 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.302 * [taylor]: Taking taylor expansion of x in x 2.302 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.302 * [taylor]: Taking taylor expansion of -1 in x 2.303 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.303 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.303 * [taylor]: Taking taylor expansion of 1/3 in x 2.303 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.303 * [taylor]: Taking taylor expansion of x in x 2.303 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.303 * [taylor]: Taking taylor expansion of -1 in x 2.311 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 2.311 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.311 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.311 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.312 * [taylor]: Taking taylor expansion of 1/3 in x 2.312 * [taylor]: Taking taylor expansion of (log x) in x 2.312 * [taylor]: Taking taylor expansion of x in x 2.312 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.312 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.312 * [taylor]: Taking taylor expansion of 1/3 in x 2.312 * [taylor]: Taking taylor expansion of (log x) in x 2.312 * [taylor]: Taking taylor expansion of x in x 2.318 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.318 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.318 * [taylor]: Taking taylor expansion of 1/3 in x 2.318 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.318 * [taylor]: Taking taylor expansion of x in x 2.319 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.319 * [taylor]: Taking taylor expansion of 1/3 in x 2.319 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.319 * [taylor]: Taking taylor expansion of x in x 2.326 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 2.326 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.326 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.326 * [taylor]: Taking taylor expansion of 1/3 in x 2.326 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.326 * [taylor]: Taking taylor expansion of x in x 2.326 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.326 * [taylor]: Taking taylor expansion of -1 in x 2.326 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.326 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.326 * [taylor]: Taking taylor expansion of 1/3 in x 2.326 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.326 * [taylor]: Taking taylor expansion of x in x 2.326 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.326 * [taylor]: Taking taylor expansion of -1 in x 2.339 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 2.339 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.339 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.339 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.339 * [taylor]: Taking taylor expansion of 1/3 in x 2.339 * [taylor]: Taking taylor expansion of (log x) in x 2.339 * [taylor]: Taking taylor expansion of x in x 2.339 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.339 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.339 * [taylor]: Taking taylor expansion of 1/3 in x 2.339 * [taylor]: Taking taylor expansion of (log x) in x 2.339 * [taylor]: Taking taylor expansion of x in x 2.346 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.346 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.346 * [taylor]: Taking taylor expansion of 1/3 in x 2.346 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.346 * [taylor]: Taking taylor expansion of x in x 2.346 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.346 * [taylor]: Taking taylor expansion of 1/3 in x 2.346 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.346 * [taylor]: Taking taylor expansion of x in x 2.353 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 2.353 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.353 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.353 * [taylor]: Taking taylor expansion of 1/3 in x 2.353 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.353 * [taylor]: Taking taylor expansion of x in x 2.353 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.353 * [taylor]: Taking taylor expansion of -1 in x 2.353 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.353 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.353 * [taylor]: Taking taylor expansion of 1/3 in x 2.353 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.353 * [taylor]: Taking taylor expansion of x in x 2.354 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.354 * [taylor]: Taking taylor expansion of -1 in x 2.362 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 2.362 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 2.362 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 2.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 2.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 2.362 * [taylor]: Taking taylor expansion of 1/3 in x 2.362 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.362 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.362 * [taylor]: Taking taylor expansion of x in x 2.363 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 2.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 2.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 2.363 * [taylor]: Taking taylor expansion of 1/3 in x 2.363 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.363 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.363 * [taylor]: Taking taylor expansion of x in x 2.370 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 2.370 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.370 * [taylor]: Taking taylor expansion of 1/3 in x 2.370 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.370 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.370 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.370 * [taylor]: Taking taylor expansion of x in x 2.370 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.370 * [taylor]: Taking taylor expansion of 1/3 in x 2.370 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.370 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.370 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.370 * [taylor]: Taking taylor expansion of x in x 2.378 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in (x) around 0 2.378 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 2.378 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.378 * [taylor]: Taking taylor expansion of 1/3 in x 2.378 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.378 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.378 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.378 * [taylor]: Taking taylor expansion of x in x 2.379 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.379 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.379 * [taylor]: Taking taylor expansion of -1 in x 2.379 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 2.379 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.379 * [taylor]: Taking taylor expansion of 1/3 in x 2.379 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.379 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.379 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.379 * [taylor]: Taking taylor expansion of x in x 2.379 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.379 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.379 * [taylor]: Taking taylor expansion of -1 in x 2.390 * * * [progress]: simplifying candidates 2.391 * [simplify]: Simplifying using # : (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (+ 1/3 1/3) (+ 1 1) (* x x) (* (cbrt x) (cbrt x)) (+ 1 1) (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))) (* x x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 1 1) (* (cbrt x) (cbrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 2 1/3) (* 2 1) (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (* (cbrt x) (cbrt 1)) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt x) (sqrt (cbrt x))) (* (cbrt x) 1) (* (cbrt (cbrt x)) (cbrt x)) (* (cbrt (sqrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt (cbrt x)) (cbrt x)) (* (sqrt (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (* 2 (log x))))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x)))))) (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))) (pow (cbrt -1) 2)) 2.393 * * [simplify]: iteration 0 : 76 enodes (cost 590 ) 2.403 * * [simplify]: iteration 1 : 151 enodes (cost 526 ) 2.427 * * [simplify]: iteration 2 : 449 enodes (cost 466 ) 2.520 * * [simplify]: iteration 3 : 1164 enodes (cost 417 ) 2.696 * * [simplify]: iteration 4 : 2497 enodes (cost 378 ) 3.114 * * [simplify]: iteration done : 5001 enodes (cost 378 ) 3.115 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) 2/3 2 (* x x) (pow x 2/3) 2 (log (pow x 2/3)) (log (pow x 2/3)) (exp (pow x 2/3)) (* x x) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (cbrt (pow x 2/3)) (* x x) (fabs (cbrt x)) (fabs (cbrt x)) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) 1 (pow x 2/3) (pow (cbrt (cbrt x)) 4) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt x) (cbrt x) 1 (pow x 2/3) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (cbrt x) (cbrt x) 2/3 2 (* (cbrt x) (cbrt (pow x 2/3))) (* (cbrt (sqrt x)) (cbrt x)) (cbrt x) (* (cbrt (cbrt x)) (pow (cbrt (cbrt x)) 4)) (pow (sqrt (cbrt x)) 3) (cbrt x) (pow (cbrt (cbrt x)) 4) (* (cbrt (sqrt x)) (cbrt x)) (pow x 2/3) (pow (cbrt (cbrt x)) 4) (pow (sqrt (cbrt x)) 3) (pow x 2/3) (cbrt x) (cbrt x) (* (cbrt (/ 1 (/ -1 x))) (cbrt -1)) (cbrt x) (cbrt x) (* (cbrt (/ 1 (/ -1 x))) (cbrt -1)) (cbrt x) (cbrt x) (* (cbrt (/ 1 (/ -1 x))) (cbrt -1)) (pow x 2/3) (pow x 2/3) (* (pow (cbrt -1) 2) (pow (/ -1 x) -2/3)) 3.115 * * * [progress]: adding candidates to table 3.190 * * [progress]: iteration 4 / 4 3.190 * * * [progress]: picking best candidate 3.231 * * * * [pick]: Picked # 3.232 * * * [progress]: localizing error 3.244 * * * [progress]: generating rewritten candidates 3.244 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 3.246 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 3.247 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 3.249 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 3.260 * * * [progress]: generating series expansions 3.260 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 3.260 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 3.260 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.260 * [taylor]: Taking taylor expansion of 1/3 in y 3.260 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.260 * [taylor]: Taking taylor expansion of (cos y) in y 3.260 * [taylor]: Taking taylor expansion of y in y 3.260 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.260 * [taylor]: Taking taylor expansion of 1/3 in y 3.261 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.261 * [taylor]: Taking taylor expansion of (cos y) in y 3.261 * [taylor]: Taking taylor expansion of y in y 3.264 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 3.264 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.264 * [taylor]: Taking taylor expansion of 1/3 in y 3.264 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.264 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.264 * [taylor]: Taking taylor expansion of y in y 3.264 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.264 * [taylor]: Taking taylor expansion of 1/3 in y 3.264 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.264 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.264 * [taylor]: Taking taylor expansion of y in y 3.271 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 3.271 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.271 * [taylor]: Taking taylor expansion of 1/3 in y 3.271 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.271 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.271 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.271 * [taylor]: Taking taylor expansion of -1 in y 3.271 * [taylor]: Taking taylor expansion of y in y 3.272 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.272 * [taylor]: Taking taylor expansion of 1/3 in y 3.272 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.272 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.272 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.272 * [taylor]: Taking taylor expansion of -1 in y 3.272 * [taylor]: Taking taylor expansion of y in y 3.279 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 3.279 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 3.279 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.279 * [taylor]: Taking taylor expansion of 1/3 in y 3.279 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.279 * [taylor]: Taking taylor expansion of (cos y) in y 3.279 * [taylor]: Taking taylor expansion of y in y 3.279 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.279 * [taylor]: Taking taylor expansion of 1/3 in y 3.279 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.279 * [taylor]: Taking taylor expansion of (cos y) in y 3.280 * [taylor]: Taking taylor expansion of y in y 3.282 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 3.282 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.283 * [taylor]: Taking taylor expansion of 1/3 in y 3.283 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.283 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.283 * [taylor]: Taking taylor expansion of y in y 3.283 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.283 * [taylor]: Taking taylor expansion of 1/3 in y 3.283 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.283 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.283 * [taylor]: Taking taylor expansion of y in y 3.290 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 3.290 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.290 * [taylor]: Taking taylor expansion of 1/3 in y 3.290 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.290 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.290 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.290 * [taylor]: Taking taylor expansion of -1 in y 3.290 * [taylor]: Taking taylor expansion of y in y 3.290 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.290 * [taylor]: Taking taylor expansion of 1/3 in y 3.291 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.291 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.291 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.291 * [taylor]: Taking taylor expansion of -1 in y 3.291 * [taylor]: Taking taylor expansion of y in y 3.298 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 3.298 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 3.298 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.298 * [taylor]: Taking taylor expansion of 1/3 in y 3.298 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.298 * [taylor]: Taking taylor expansion of (cos y) in y 3.298 * [taylor]: Taking taylor expansion of y in y 3.298 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.298 * [taylor]: Taking taylor expansion of 1/3 in y 3.298 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.298 * [taylor]: Taking taylor expansion of (cos y) in y 3.298 * [taylor]: Taking taylor expansion of y in y 3.301 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 3.301 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.301 * [taylor]: Taking taylor expansion of 1/3 in y 3.301 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.301 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.301 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.301 * [taylor]: Taking taylor expansion of y in y 3.302 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.302 * [taylor]: Taking taylor expansion of 1/3 in y 3.302 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.302 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.302 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.302 * [taylor]: Taking taylor expansion of y in y 3.309 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 3.309 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.309 * [taylor]: Taking taylor expansion of 1/3 in y 3.309 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.309 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.309 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.309 * [taylor]: Taking taylor expansion of -1 in y 3.309 * [taylor]: Taking taylor expansion of y in y 3.309 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.309 * [taylor]: Taking taylor expansion of 1/3 in y 3.309 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.309 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.309 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.309 * [taylor]: Taking taylor expansion of -1 in y 3.309 * [taylor]: Taking taylor expansion of y in y 3.316 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 3.317 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 3.317 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 3.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 3.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 3.317 * [taylor]: Taking taylor expansion of 1/3 in y 3.317 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 3.317 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 3.317 * [taylor]: Taking taylor expansion of (cos y) in y 3.317 * [taylor]: Taking taylor expansion of y in y 3.317 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 3.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 3.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 3.317 * [taylor]: Taking taylor expansion of 1/3 in y 3.317 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 3.317 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 3.317 * [taylor]: Taking taylor expansion of (cos y) in y 3.317 * [taylor]: Taking taylor expansion of y in y 3.325 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 3.325 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 3.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 3.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 3.325 * [taylor]: Taking taylor expansion of 1/3 in y 3.325 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 3.325 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 3.325 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.325 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.325 * [taylor]: Taking taylor expansion of y in y 3.325 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 3.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 3.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 3.326 * [taylor]: Taking taylor expansion of 1/3 in y 3.326 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 3.326 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 3.326 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.326 * [taylor]: Taking taylor expansion of y in y 3.335 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 3.335 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 3.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 3.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 3.335 * [taylor]: Taking taylor expansion of 1/3 in y 3.335 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 3.335 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 3.335 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.335 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.335 * [taylor]: Taking taylor expansion of -1 in y 3.335 * [taylor]: Taking taylor expansion of y in y 3.335 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 3.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 3.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 3.336 * [taylor]: Taking taylor expansion of 1/3 in y 3.336 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 3.336 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 3.336 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.336 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.336 * [taylor]: Taking taylor expansion of -1 in y 3.336 * [taylor]: Taking taylor expansion of y in y 3.345 * * * [progress]: simplifying candidates 3.346 * [simplify]: Simplifying using # : (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))) (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))) (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/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))) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/405 (pow y 6)) (* 1/3 (pow y 2)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) 3.348 * * [simplify]: iteration 0 : 65 enodes (cost 694 ) 3.360 * * [simplify]: iteration 1 : 129 enodes (cost 621 ) 3.379 * * [simplify]: iteration 2 : 414 enodes (cost 521 ) 3.473 * * [simplify]: iteration 3 : 1623 enodes (cost 505 ) 4.312 * * [simplify]: iteration done : 5000 enodes (cost 499 ) 4.313 * [simplify]: Simplified to: (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))) (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))) (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))) 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)) (* (cbrt (cbrt (cos y))) (pow (cbrt (cbrt (cos y))) 4)) (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 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/405 (pow y 6)) (* 1/3 (pow y 2)))) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) 4.313 * * * [progress]: adding candidates to table 4.389 * [progress]: [Phase 3 of 3] Extracting. 4.390 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # #) 4.392 * * * [regime-changes]: Trying 4 branch expressions: ((+ (* x (sin y)) (* z (cos y))) z y x) 4.392 * * * * [regimes]: Trying to branch on (+ (* x (sin y)) (* z (cos y))) from (# # # # # # # # # # # # #) 4.494 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # # # #) 4.582 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # #) 4.673 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # #) 4.761 * * * [regime]: Found split indices: #