3.775 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.068 * * * [progress]: [2/2] Setting up program. 0.071 * [progress]: [Phase 2 of 3] Improving. 0.072 * [simplify]: Simplifying using # : (+ (* x (sin y)) (* z (cos y))) 0.072 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.073 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 0.075 * * [simplify]: iteration done : 11 enodes (cost 9 ) 0.075 * [simplify]: Simplified to: (+ (* x (sin y)) (* z (cos y))) 0.075 * * [progress]: iteration 1 / 4 0.075 * * * [progress]: picking best candidate 0.078 * * * * [pick]: Picked # 0.078 * * * [progress]: localizing error 0.087 * * * [progress]: generating rewritten candidates 0.087 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.092 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.096 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.102 * * * [progress]: generating series expansions 0.102 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.102 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.102 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.102 * [taylor]: Taking taylor expansion of (cos y) 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 (* (cos y) z) in z 0.102 * [taylor]: Taking taylor expansion of (cos y) 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 (* (cos y) z) in z 0.102 * [taylor]: Taking taylor expansion of (cos y) 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 0 in y 0.103 * [taylor]: Taking taylor expansion of (cos y) in y 0.103 * [taylor]: Taking taylor expansion of y in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.104 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.104 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.104 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.105 * [taylor]: Taking taylor expansion of y in y 0.105 * [taylor]: Taking taylor expansion of z in y 0.105 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.105 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.105 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.105 * [taylor]: Taking taylor expansion of y in z 0.105 * [taylor]: Taking taylor expansion of z in z 0.105 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.105 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.105 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.105 * [taylor]: Taking taylor expansion of y in z 0.105 * [taylor]: Taking taylor expansion of z in z 0.105 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.105 * [taylor]: Taking taylor expansion of y in y 0.106 * [taylor]: Taking taylor expansion of 0 in y 0.106 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.107 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.107 * [taylor]: Taking taylor expansion of -1 in y 0.107 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.107 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.107 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.107 * [taylor]: Taking taylor expansion of -1 in y 0.107 * [taylor]: Taking taylor expansion of y in y 0.107 * [taylor]: Taking taylor expansion of z in y 0.107 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.107 * [taylor]: Taking taylor expansion of -1 in z 0.107 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.107 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.107 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.107 * [taylor]: Taking taylor expansion of -1 in z 0.107 * [taylor]: Taking taylor expansion of y in z 0.107 * [taylor]: Taking taylor expansion of z in z 0.107 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.107 * [taylor]: Taking taylor expansion of -1 in z 0.107 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.107 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.108 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.108 * [taylor]: Taking taylor expansion of -1 in z 0.108 * [taylor]: Taking taylor expansion of y in z 0.108 * [taylor]: Taking taylor expansion of z in z 0.108 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.108 * [taylor]: Taking taylor expansion of -1 in y 0.108 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.108 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.108 * [taylor]: Taking taylor expansion of -1 in y 0.108 * [taylor]: Taking taylor expansion of y in y 0.108 * [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 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.110 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0 0.110 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.110 * [taylor]: Taking taylor expansion of x in y 0.110 * [taylor]: Taking taylor expansion of (sin y) in y 0.110 * [taylor]: Taking taylor expansion of y in y 0.110 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of (sin y) in x 0.110 * [taylor]: Taking taylor expansion of y in x 0.110 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of (sin y) in x 0.110 * [taylor]: Taking taylor expansion of y in x 0.110 * [taylor]: Taking taylor expansion of 0 in y 0.111 * [taylor]: Taking taylor expansion of (sin y) in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.111 * [taylor]: Taking taylor expansion of 0 in y 0.112 * [taylor]: Taking taylor expansion of 0 in y 0.112 * [taylor]: Taking taylor expansion of 0 in y 0.112 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0 0.113 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 0.113 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.113 * [taylor]: Taking taylor expansion of y in y 0.113 * [taylor]: Taking taylor expansion of x in y 0.113 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.113 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [taylor]: Taking taylor expansion of x in x 0.113 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.113 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [taylor]: Taking taylor expansion of x in x 0.113 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.113 * [taylor]: Taking taylor expansion of y in y 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.115 * [taylor]: Taking taylor expansion of 0 in y 0.115 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0 0.115 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y 0.115 * [taylor]: Taking taylor expansion of -1 in y 0.115 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 0.115 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.115 * [taylor]: Taking taylor expansion of -1 in y 0.115 * [taylor]: Taking taylor expansion of y in y 0.115 * [taylor]: Taking taylor expansion of x in y 0.115 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x 0.115 * [taylor]: Taking taylor expansion of -1 in x 0.115 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.115 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.115 * [taylor]: Taking taylor expansion of -1 in x 0.115 * [taylor]: Taking taylor expansion of y in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.116 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x 0.116 * [taylor]: Taking taylor expansion of -1 in x 0.116 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.116 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.116 * [taylor]: Taking taylor expansion of -1 in x 0.116 * [taylor]: Taking taylor expansion of y in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.116 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.116 * [taylor]: Taking taylor expansion of -1 in y 0.116 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.116 * [taylor]: Taking taylor expansion of -1 in y 0.116 * [taylor]: Taking taylor expansion of y in y 0.117 * [taylor]: Taking taylor expansion of 0 in y 0.117 * [taylor]: Taking taylor expansion of 0 in y 0.118 * [taylor]: Taking taylor expansion of 0 in y 0.118 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.118 * [approximate]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in (x y z) around 0 0.118 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in z 0.118 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.118 * [taylor]: Taking taylor expansion of (cos y) in z 0.118 * [taylor]: Taking taylor expansion of y in z 0.118 * [taylor]: Taking taylor expansion of z in z 0.118 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 0.118 * [taylor]: Taking taylor expansion of x in z 0.118 * [taylor]: Taking taylor expansion of (sin y) in z 0.118 * [taylor]: Taking taylor expansion of y in z 0.118 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in y 0.118 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.118 * [taylor]: Taking taylor expansion of (cos 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 (* x (sin y)) in y 0.118 * [taylor]: Taking taylor expansion of x in y 0.118 * [taylor]: Taking taylor expansion of (sin y) in y 0.118 * [taylor]: Taking taylor expansion of y in y 0.118 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in x 0.118 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.119 * [taylor]: Taking taylor expansion of (cos 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 (* x (sin y)) in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.119 * [taylor]: Taking taylor expansion of (sin y) in x 0.119 * [taylor]: Taking taylor expansion of y in x 0.119 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in x 0.119 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.119 * [taylor]: Taking taylor expansion of (cos 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 (* x (sin y)) in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.119 * [taylor]: Taking taylor expansion of (sin y) in x 0.119 * [taylor]: Taking taylor expansion of y in x 0.119 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.119 * [taylor]: Taking taylor expansion of (cos y) in y 0.119 * [taylor]: Taking taylor expansion of y in y 0.119 * [taylor]: Taking taylor expansion of z in y 0.119 * [taylor]: Taking taylor expansion of z in z 0.120 * [taylor]: Taking taylor expansion of (sin y) in y 0.120 * [taylor]: Taking taylor expansion of y in y 0.120 * [taylor]: Taking taylor expansion of 0 in z 0.120 * [taylor]: Taking taylor expansion of 0 in z 0.120 * [taylor]: Taking taylor expansion of 0 in y 0.120 * [taylor]: Taking taylor expansion of 0 in z 0.120 * [taylor]: Taking taylor expansion of 1 in z 0.121 * [taylor]: Taking taylor expansion of (neg (* 1/2 z)) in z 0.121 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.121 * [taylor]: Taking taylor expansion of 1/2 in z 0.121 * [taylor]: Taking taylor expansion of z in z 0.122 * [taylor]: Taking taylor expansion of 0 in y 0.122 * [taylor]: Taking taylor expansion of 0 in z 0.122 * [taylor]: Taking taylor expansion of 0 in z 0.122 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in (x y z) around 0 0.122 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in z 0.122 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.122 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.122 * [taylor]: Taking taylor expansion of y in z 0.122 * [taylor]: Taking taylor expansion of z in z 0.122 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in z 0.122 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.122 * [taylor]: Taking taylor expansion of y in z 0.122 * [taylor]: Taking taylor expansion of x in z 0.122 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in y 0.122 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.123 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.123 * [taylor]: Taking taylor expansion of y in y 0.123 * [taylor]: Taking taylor expansion of z in y 0.123 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 0.123 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.123 * [taylor]: Taking taylor expansion of y in y 0.123 * [taylor]: Taking taylor expansion of x in y 0.123 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in x 0.123 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.123 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.123 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.123 * [taylor]: Taking taylor expansion of y in x 0.123 * [taylor]: Taking taylor expansion of z in x 0.123 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.123 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.123 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.123 * [taylor]: Taking taylor expansion of y in x 0.124 * [taylor]: Taking taylor expansion of x in x 0.124 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in x 0.124 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.124 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.124 * [taylor]: Taking taylor expansion of y in x 0.124 * [taylor]: Taking taylor expansion of 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 y in x 0.124 * [taylor]: Taking taylor expansion of x in x 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 y in y 0.124 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.124 * [taylor]: Taking taylor expansion of y in z 0.125 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.125 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.125 * [taylor]: Taking taylor expansion of y in y 0.125 * [taylor]: Taking taylor expansion of z in y 0.125 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.125 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.125 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.125 * [taylor]: Taking taylor expansion of y in z 0.125 * [taylor]: Taking taylor expansion of z in z 0.125 * [taylor]: Taking taylor expansion of 0 in z 0.126 * [taylor]: Taking taylor expansion of 0 in y 0.126 * [taylor]: Taking taylor expansion of 0 in z 0.126 * [taylor]: Taking taylor expansion of 0 in z 0.126 * [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.128 * [taylor]: Taking taylor expansion of 0 in z 0.128 * [approximate]: Taking taylor expansion of (neg (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z))) in (x y z) around 0 0.128 * [taylor]: Taking taylor expansion of (neg (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z))) in z 0.128 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z)) in z 0.128 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in z 0.128 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.128 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.128 * [taylor]: Taking taylor expansion of -1 in z 0.128 * [taylor]: Taking taylor expansion of y in z 0.129 * [taylor]: Taking taylor expansion of x in z 0.129 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.129 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.129 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.129 * [taylor]: Taking taylor expansion of -1 in z 0.129 * [taylor]: Taking taylor expansion of y in z 0.129 * [taylor]: Taking taylor expansion of z in z 0.129 * [taylor]: Taking taylor expansion of (neg (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z))) in y 0.129 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z)) in y 0.129 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 0.129 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.129 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.129 * [taylor]: Taking taylor expansion of -1 in y 0.129 * [taylor]: Taking taylor expansion of y in y 0.129 * [taylor]: Taking taylor expansion of x in y 0.129 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.129 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.129 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.129 * [taylor]: Taking taylor expansion of -1 in y 0.129 * [taylor]: Taking taylor expansion of y in y 0.129 * [taylor]: Taking taylor expansion of z in y 0.129 * [taylor]: Taking taylor expansion of (neg (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z))) in x 0.129 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z)) in x 0.129 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) 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.130 * [taylor]: Taking taylor expansion of -1 in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.130 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.130 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.130 * [taylor]: Taking taylor expansion of -1 in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [taylor]: Taking taylor expansion of z in x 0.130 * [taylor]: Taking taylor expansion of (neg (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z))) in x 0.130 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 y)) x) (/ (cos (/ -1 y)) z)) in x 0.130 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.130 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.130 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.130 * [taylor]: Taking taylor expansion of -1 in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.130 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.130 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.130 * [taylor]: Taking taylor expansion of -1 in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.131 * [taylor]: Taking taylor expansion of z in x 0.131 * [taylor]: Taking taylor expansion of (neg (sin (/ -1 y))) in y 0.131 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.131 * [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.131 * [taylor]: Taking taylor expansion of (neg (sin (/ -1 y))) in z 0.131 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.131 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.131 * [taylor]: Taking taylor expansion of -1 in z 0.131 * [taylor]: Taking taylor expansion of y in z 0.131 * [taylor]: Taking taylor expansion of (neg (/ (cos (/ -1 y)) z)) in y 0.132 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.132 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.132 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.132 * [taylor]: Taking taylor expansion of -1 in y 0.132 * [taylor]: Taking taylor expansion of y in y 0.132 * [taylor]: Taking taylor expansion of z in y 0.132 * [taylor]: Taking taylor expansion of (neg (/ (cos (/ -1 y)) z)) in z 0.132 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.132 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.132 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.132 * [taylor]: Taking taylor expansion of -1 in z 0.132 * [taylor]: Taking taylor expansion of y in z 0.132 * [taylor]: Taking taylor expansion of z in z 0.132 * [taylor]: Taking taylor expansion of 0 in z 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [taylor]: Taking taylor expansion of 0 in z 0.133 * [taylor]: Taking taylor expansion of 0 in z 0.133 * [taylor]: Taking taylor expansion of 0 in z 0.135 * [taylor]: Taking taylor expansion of 0 in y 0.135 * [taylor]: Taking taylor expansion of 0 in z 0.135 * [taylor]: Taking taylor expansion of 0 in z 0.135 * [taylor]: Taking taylor expansion of 0 in z 0.135 * [taylor]: Taking taylor expansion of 0 in z 0.136 * * * [progress]: simplifying candidates 0.137 * [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.139 * * [simplify]: iteration 0 : 82 enodes (cost 458 ) 0.156 * * [simplify]: iteration 1 : 189 enodes (cost 430 ) 0.187 * * [simplify]: iteration 2 : 508 enodes (cost 396 ) 0.281 * * [simplify]: iteration 3 : 1074 enodes (cost 396 ) 0.526 * * [simplify]: iteration 4 : 2473 enodes (cost 396 ) 1.181 * * [simplify]: iteration done : 5000 enodes (cost 396 ) 1.182 * [simplify]: Simplified to: (* (cos y) z) (log (* z (cos y))) (log (* z (cos y))) (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.182 * * * [progress]: adding candidates to table 1.245 * * [progress]: iteration 2 / 4 1.245 * * * [progress]: picking best candidate 1.282 * * * * [pick]: Picked # 1.282 * * * [progress]: localizing error 1.298 * * * [progress]: generating rewritten candidates 1.298 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.300 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 1.302 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 1.304 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.313 * * * [progress]: generating series expansions 1.313 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.313 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.313 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.313 * [taylor]: Taking taylor expansion of 1/3 in y 1.313 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.313 * [taylor]: Taking taylor expansion of (sin y) in y 1.313 * [taylor]: Taking taylor expansion of y in y 1.313 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.313 * [taylor]: Taking taylor expansion of 1/3 in y 1.313 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.313 * [taylor]: Taking taylor expansion of (sin y) in y 1.313 * [taylor]: Taking taylor expansion of y in y 1.317 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.317 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.317 * [taylor]: Taking taylor expansion of 1/3 in y 1.317 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.317 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.317 * [taylor]: Taking taylor expansion of y in y 1.317 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.318 * [taylor]: Taking taylor expansion of 1/3 in y 1.318 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.318 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.318 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.318 * [taylor]: Taking taylor expansion of y in y 1.325 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.325 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.325 * [taylor]: Taking taylor expansion of 1/3 in y 1.325 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.325 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.325 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.325 * [taylor]: Taking taylor expansion of -1 in y 1.325 * [taylor]: Taking taylor expansion of y in y 1.325 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.325 * [taylor]: Taking taylor expansion of 1/3 in y 1.325 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.325 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.325 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.325 * [taylor]: Taking taylor expansion of -1 in y 1.325 * [taylor]: Taking taylor expansion of y in y 1.332 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 1.332 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.332 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.333 * [taylor]: Taking taylor expansion of 1/3 in y 1.333 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.333 * [taylor]: Taking taylor expansion of (sin y) in y 1.333 * [taylor]: Taking taylor expansion of y in y 1.333 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.333 * [taylor]: Taking taylor expansion of 1/3 in y 1.333 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.333 * [taylor]: Taking taylor expansion of (sin y) in y 1.333 * [taylor]: Taking taylor expansion of y in y 1.337 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.337 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.337 * [taylor]: Taking taylor expansion of 1/3 in y 1.337 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.337 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.337 * [taylor]: Taking taylor expansion of y in y 1.337 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.337 * [taylor]: Taking taylor expansion of 1/3 in y 1.337 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.337 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.337 * [taylor]: Taking taylor expansion of y in y 1.345 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.345 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.345 * [taylor]: Taking taylor expansion of 1/3 in y 1.345 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.345 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.345 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.345 * [taylor]: Taking taylor expansion of -1 in y 1.345 * [taylor]: Taking taylor expansion of y in y 1.345 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.345 * [taylor]: Taking taylor expansion of 1/3 in y 1.345 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.345 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.345 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.345 * [taylor]: Taking taylor expansion of -1 in y 1.345 * [taylor]: Taking taylor expansion of y in y 1.352 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 1.352 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.352 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.352 * [taylor]: Taking taylor expansion of 1/3 in y 1.352 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.352 * [taylor]: Taking taylor expansion of (sin y) in y 1.352 * [taylor]: Taking taylor expansion of y in y 1.353 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.353 * [taylor]: Taking taylor expansion of 1/3 in y 1.353 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.353 * [taylor]: Taking taylor expansion of (sin y) in y 1.353 * [taylor]: Taking taylor expansion of y in y 1.357 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.357 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.357 * [taylor]: Taking taylor expansion of 1/3 in y 1.357 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.357 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.357 * [taylor]: Taking taylor expansion of y in y 1.357 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.357 * [taylor]: Taking taylor expansion of 1/3 in y 1.357 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.357 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.357 * [taylor]: Taking taylor expansion of y in y 1.364 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.364 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.364 * [taylor]: Taking taylor expansion of 1/3 in y 1.365 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.365 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.365 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.365 * [taylor]: Taking taylor expansion of -1 in y 1.365 * [taylor]: Taking taylor expansion of y in y 1.365 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.365 * [taylor]: Taking taylor expansion of 1/3 in y 1.365 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.365 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.365 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.365 * [taylor]: Taking taylor expansion of -1 in y 1.365 * [taylor]: Taking taylor expansion of y in y 1.372 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 1.372 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0 1.372 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 1.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 1.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 1.372 * [taylor]: Taking taylor expansion of 1/3 in y 1.372 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 1.372 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.372 * [taylor]: Taking taylor expansion of (sin y) in y 1.372 * [taylor]: Taking taylor expansion of y in y 1.373 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 1.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 1.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 1.373 * [taylor]: Taking taylor expansion of 1/3 in y 1.373 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 1.373 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.373 * [taylor]: Taking taylor expansion of (sin y) in y 1.373 * [taylor]: Taking taylor expansion of y in y 1.377 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0 1.377 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 1.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 1.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 1.377 * [taylor]: Taking taylor expansion of 1/3 in y 1.377 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 1.377 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.377 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.377 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.377 * [taylor]: Taking taylor expansion of y in y 1.378 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 1.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 1.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 1.378 * [taylor]: Taking taylor expansion of 1/3 in y 1.378 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 1.378 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.378 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.378 * [taylor]: Taking taylor expansion of y in y 1.391 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0 1.391 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 1.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 1.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 1.391 * [taylor]: Taking taylor expansion of 1/3 in y 1.391 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 1.391 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.391 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.391 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.391 * [taylor]: Taking taylor expansion of -1 in y 1.392 * [taylor]: Taking taylor expansion of y in y 1.392 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 1.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 1.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 1.392 * [taylor]: Taking taylor expansion of 1/3 in y 1.392 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 1.392 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.392 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.392 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.392 * [taylor]: Taking taylor expansion of -1 in y 1.392 * [taylor]: Taking taylor expansion of y in y 1.402 * * * [progress]: simplifying candidates 1.403 * [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.406 * * [simplify]: iteration 0 : 76 enodes (cost 792 ) 1.417 * * [simplify]: iteration 1 : 164 enodes (cost 713 ) 1.443 * * [simplify]: iteration 2 : 488 enodes (cost 581 ) 1.568 * * [simplify]: iteration 3 : 1948 enodes (cost 515 ) 1.984 * * [simplify]: iteration done : 5001 enodes (cost 515 ) 1.985 * [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)))) (* (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 (sqrt (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)) (* (pow y 4) 1/3240)))) (cbrt (sin y)) (cbrt (sin y)) (- (cbrt y) (* (cbrt y) (+ (* 1/18 (pow y 2)) (* (pow y 4) 1/3240)))) (cbrt (sin y)) (cbrt (sin y)) (- (cbrt y) (* (cbrt y) (+ (* 1/18 (pow y 2)) (* (pow y 4) 1/3240)))) (cbrt (sin y)) (cbrt (sin y)) (* (pow y 2/3) (+ (* (pow y 2) -1/9) (+ (* 1/405 (pow y 4)) 1))) (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2)) 1.985 * * * [progress]: adding candidates to table 2.064 * * [progress]: iteration 3 / 4 2.064 * * * [progress]: picking best candidate 2.107 * * * * [pick]: Picked # 2.107 * * * [progress]: localizing error 2.123 * * * [progress]: generating rewritten candidates 2.124 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 2.125 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 2.126 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 2.128 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 2.136 * * * [progress]: generating series expansions 2.136 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 2.136 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.136 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.136 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.136 * [taylor]: Taking taylor expansion of 1/3 in x 2.136 * [taylor]: Taking taylor expansion of (log x) in x 2.136 * [taylor]: Taking taylor expansion of x in x 2.136 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.136 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.136 * [taylor]: Taking taylor expansion of 1/3 in x 2.136 * [taylor]: Taking taylor expansion of (log x) in x 2.136 * [taylor]: Taking taylor expansion of x in x 2.143 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.143 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.143 * [taylor]: Taking taylor expansion of 1/3 in x 2.143 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.143 * [taylor]: Taking taylor expansion of x in x 2.143 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.143 * [taylor]: Taking taylor expansion of 1/3 in x 2.143 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.143 * [taylor]: Taking taylor expansion of x in x 2.150 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 2.150 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.150 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.150 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.150 * [taylor]: Taking taylor expansion of 1/3 in x 2.150 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.150 * [taylor]: Taking taylor expansion of x in x 2.150 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.150 * [taylor]: Taking taylor expansion of -1 in x 2.150 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.150 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.150 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.151 * [taylor]: Taking taylor expansion of 1/3 in x 2.151 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.151 * [taylor]: Taking taylor expansion of x in x 2.151 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.151 * [taylor]: Taking taylor expansion of -1 in x 2.159 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 2.159 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.159 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.159 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.159 * [taylor]: Taking taylor expansion of 1/3 in x 2.159 * [taylor]: Taking taylor expansion of (log x) in x 2.160 * [taylor]: Taking taylor expansion of x in x 2.160 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.160 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.160 * [taylor]: Taking taylor expansion of 1/3 in x 2.160 * [taylor]: Taking taylor expansion of (log x) in x 2.160 * [taylor]: Taking taylor expansion of x in x 2.167 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.167 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.167 * [taylor]: Taking taylor expansion of 1/3 in x 2.167 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.167 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.167 * [taylor]: Taking taylor expansion of 1/3 in x 2.167 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.174 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 2.174 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.174 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.175 * [taylor]: Taking taylor expansion of 1/3 in x 2.175 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.175 * [taylor]: Taking taylor expansion of x in x 2.175 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.175 * [taylor]: Taking taylor expansion of -1 in x 2.175 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.175 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.175 * [taylor]: Taking taylor expansion of 1/3 in x 2.175 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.175 * [taylor]: Taking taylor expansion of x in x 2.175 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.175 * [taylor]: Taking taylor expansion of -1 in x 2.184 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 2.184 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.184 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.184 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.184 * [taylor]: Taking taylor expansion of 1/3 in x 2.184 * [taylor]: Taking taylor expansion of (log x) in x 2.184 * [taylor]: Taking taylor expansion of x in x 2.184 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.184 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.184 * [taylor]: Taking taylor expansion of 1/3 in x 2.184 * [taylor]: Taking taylor expansion of (log x) in x 2.184 * [taylor]: Taking taylor expansion of x in x 2.191 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.191 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.191 * [taylor]: Taking taylor expansion of 1/3 in x 2.191 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.191 * [taylor]: Taking taylor expansion of x in x 2.191 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.191 * [taylor]: Taking taylor expansion of 1/3 in x 2.191 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.191 * [taylor]: Taking taylor expansion of x in x 2.198 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 2.198 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.198 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.198 * [taylor]: Taking taylor expansion of 1/3 in x 2.198 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.198 * [taylor]: Taking taylor expansion of x in x 2.198 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.198 * [taylor]: Taking taylor expansion of -1 in x 2.198 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.199 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.199 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.199 * [taylor]: Taking taylor expansion of 1/3 in x 2.199 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.199 * [taylor]: Taking taylor expansion of x in x 2.199 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.199 * [taylor]: Taking taylor expansion of -1 in x 2.207 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 2.207 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 2.207 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 2.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 2.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 2.207 * [taylor]: Taking taylor expansion of 1/3 in x 2.207 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.207 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.207 * [taylor]: Taking taylor expansion of x in x 2.208 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 2.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 2.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 2.208 * [taylor]: Taking taylor expansion of 1/3 in x 2.208 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.208 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.208 * [taylor]: Taking taylor expansion of x in x 2.215 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 2.215 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.215 * [taylor]: Taking taylor expansion of 1/3 in x 2.215 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.215 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.215 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.215 * [taylor]: Taking taylor expansion of x in x 2.216 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.216 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.216 * [taylor]: Taking taylor expansion of 1/3 in x 2.216 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.216 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.216 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.216 * [taylor]: Taking taylor expansion of x in x 2.228 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in (x) around 0 2.228 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 2.228 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.228 * [taylor]: Taking taylor expansion of 1/3 in x 2.228 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.228 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.228 * [taylor]: Taking taylor expansion of x in x 2.228 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.228 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.228 * [taylor]: Taking taylor expansion of -1 in x 2.229 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 2.229 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.229 * [taylor]: Taking taylor expansion of 1/3 in x 2.229 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.229 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.229 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.229 * [taylor]: Taking taylor expansion of x in x 2.229 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.229 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.229 * [taylor]: Taking taylor expansion of -1 in x 2.239 * * * [progress]: simplifying candidates 2.240 * [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.243 * * [simplify]: iteration 0 : 76 enodes (cost 590 ) 2.253 * * [simplify]: iteration 1 : 151 enodes (cost 525 ) 2.275 * * [simplify]: iteration 2 : 383 enodes (cost 462 ) 2.346 * * [simplify]: iteration 3 : 1202 enodes (cost 382 ) 2.554 * * [simplify]: iteration 4 : 3193 enodes (cost 374 ) 3.080 * * [simplify]: iteration done : 5001 enodes (cost 374 ) 3.080 * [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 x) 2/3) (* (log 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))) (* (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 x) (cbrt x) 2/3 2 (* (cbrt x) (cbrt (pow x 2/3))) (* (cbrt x) (cbrt (sqrt x))) (cbrt x) (pow (cbrt (cbrt x)) 5) (pow (sqrt (cbrt x)) 3) (cbrt x) (pow (cbrt (cbrt x)) 4) (* (cbrt x) (cbrt (sqrt 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.081 * * * [progress]: adding candidates to table 3.160 * * [progress]: iteration 4 / 4 3.160 * * * [progress]: picking best candidate 3.203 * * * * [pick]: Picked # 3.203 * * * [progress]: localizing error 3.216 * * * [progress]: generating rewritten candidates 3.216 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 3.218 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 3.219 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 3.221 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 3.229 * * * [progress]: generating series expansions 3.229 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 3.229 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 3.229 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.229 * [taylor]: Taking taylor expansion of 1/3 in y 3.229 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.229 * [taylor]: Taking taylor expansion of (cos y) in y 3.229 * [taylor]: Taking taylor expansion of y in y 3.229 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.230 * [taylor]: Taking taylor expansion of 1/3 in y 3.230 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.230 * [taylor]: Taking taylor expansion of (cos y) in y 3.230 * [taylor]: Taking taylor expansion of y in y 3.233 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 3.233 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.233 * [taylor]: Taking taylor expansion of 1/3 in y 3.233 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.233 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.233 * [taylor]: Taking taylor expansion of y in y 3.233 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.233 * [taylor]: Taking taylor expansion of 1/3 in y 3.233 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.233 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.233 * [taylor]: Taking taylor expansion of y in y 3.241 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 3.241 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.241 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.241 * [taylor]: Taking taylor expansion of 1/3 in y 3.241 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.241 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.241 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.241 * [taylor]: Taking taylor expansion of -1 in y 3.241 * [taylor]: Taking taylor expansion of y in y 3.241 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.241 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.241 * [taylor]: Taking taylor expansion of 1/3 in y 3.241 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.241 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.241 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.241 * [taylor]: Taking taylor expansion of -1 in y 3.241 * [taylor]: Taking taylor expansion of y in y 3.248 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 3.248 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 3.248 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.248 * [taylor]: Taking taylor expansion of 1/3 in y 3.248 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.249 * [taylor]: Taking taylor expansion of (cos y) in y 3.249 * [taylor]: Taking taylor expansion of y in y 3.249 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.249 * [taylor]: Taking taylor expansion of 1/3 in y 3.249 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.249 * [taylor]: Taking taylor expansion of (cos y) in y 3.249 * [taylor]: Taking taylor expansion of y in y 3.252 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 3.252 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.252 * [taylor]: Taking taylor expansion of 1/3 in y 3.252 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.252 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.252 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.252 * [taylor]: Taking taylor expansion of y in y 3.252 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.252 * [taylor]: Taking taylor expansion of 1/3 in y 3.252 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.252 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.252 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.252 * [taylor]: Taking taylor expansion of y in y 3.259 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 3.259 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.259 * [taylor]: Taking taylor expansion of 1/3 in y 3.259 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.259 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.259 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.259 * [taylor]: Taking taylor expansion of -1 in y 3.259 * [taylor]: Taking taylor expansion of y in y 3.260 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.260 * [taylor]: Taking taylor expansion of 1/3 in y 3.260 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.260 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.260 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.260 * [taylor]: Taking taylor expansion of -1 in y 3.260 * [taylor]: Taking taylor expansion of y in y 3.271 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 3.271 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 3.271 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.271 * [taylor]: Taking taylor expansion of 1/3 in y 3.271 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.271 * [taylor]: Taking taylor expansion of (cos y) in y 3.271 * [taylor]: Taking taylor expansion of y in y 3.271 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.271 * [taylor]: Taking taylor expansion of 1/3 in y 3.271 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.271 * [taylor]: Taking taylor expansion of (cos y) in y 3.271 * [taylor]: Taking taylor expansion of y in y 3.274 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 3.274 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.274 * [taylor]: Taking taylor expansion of 1/3 in y 3.274 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.274 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.274 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.274 * [taylor]: Taking taylor expansion of y in y 3.275 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.275 * [taylor]: Taking taylor expansion of 1/3 in y 3.275 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.275 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.275 * [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.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.282 * [taylor]: Taking taylor expansion of 1/3 in y 3.282 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.282 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.282 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.282 * [taylor]: Taking taylor expansion of -1 in y 3.282 * [taylor]: Taking taylor expansion of y in y 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.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.282 * [taylor]: Taking taylor expansion of 1/3 in y 3.282 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.282 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.282 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.282 * [taylor]: Taking taylor expansion of -1 in y 3.282 * [taylor]: Taking taylor expansion of y in y 3.290 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 3.290 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 3.290 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 3.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 3.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 3.290 * [taylor]: Taking taylor expansion of 1/3 in y 3.290 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 3.290 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 3.290 * [taylor]: Taking taylor expansion of (cos y) in y 3.290 * [taylor]: Taking taylor expansion of y in y 3.290 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 3.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 3.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 3.290 * [taylor]: Taking taylor expansion of 1/3 in y 3.290 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 3.290 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 3.290 * [taylor]: Taking taylor expansion of (cos y) in y 3.290 * [taylor]: Taking taylor expansion of y in y 3.298 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 3.298 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 3.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 3.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 3.298 * [taylor]: Taking taylor expansion of 1/3 in y 3.298 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 3.298 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 3.298 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.298 * [taylor]: Taking taylor expansion of y in y 3.299 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 3.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 3.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 3.299 * [taylor]: Taking taylor expansion of 1/3 in y 3.299 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 3.299 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 3.299 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.299 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.299 * [taylor]: Taking taylor expansion of y in y 3.308 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 3.308 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 3.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 3.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 3.308 * [taylor]: Taking taylor expansion of 1/3 in y 3.308 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 3.308 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 3.308 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.308 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.308 * [taylor]: Taking taylor expansion of -1 in y 3.308 * [taylor]: Taking taylor expansion of y in y 3.309 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 3.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 3.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 3.309 * [taylor]: Taking taylor expansion of 1/3 in y 3.309 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 3.309 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) 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.318 * * * [progress]: simplifying candidates 3.320 * [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.322 * * [simplify]: iteration 0 : 65 enodes (cost 694 ) 3.331 * * [simplify]: iteration 1 : 129 enodes (cost 615 ) 3.354 * * [simplify]: iteration 2 : 392 enodes (cost 521 ) 3.444 * * [simplify]: iteration 3 : 1524 enodes (cost 499 ) 3.883 * * [simplify]: iteration done : 5000 enodes (cost 499 ) 3.883 * [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)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (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 (+ (* 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)) 3.884 * * * [progress]: adding candidates to table 3.965 * [progress]: [Phase 3 of 3] Extracting. 3.965 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # #) 3.968 * * * [regime-changes]: Trying 4 branch expressions: ((+ (* x (sin y)) (* z (cos y))) z y x) 3.968 * * * * [regimes]: Trying to branch on (+ (* x (sin y)) (* z (cos y))) from (# # # # # # # # # # # # #) 4.070 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # # # #) 4.161 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # #) 4.250 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # #) 4.341 * * * [regime]: Found split indices: #