314.234 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.061 * * * [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.066 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.067 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 0.069 * * [simplify]: iteration done : 11 enodes (cost 9 ) 0.069 * [simplify]: Simplified to: (+ (* x (sin y)) (* z (cos y))) 0.069 * * [progress]: iteration 1 / 4 0.069 * * * [progress]: picking best candidate 0.073 * * * * [pick]: Picked # 0.073 * * * [progress]: localizing error 0.083 * * * [progress]: generating rewritten candidates 0.083 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.087 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.092 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.097 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.100 * * * [progress]: generating series expansions 0.100 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.100 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0 0.100 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.100 * [taylor]: Taking taylor expansion of x in y 0.100 * [taylor]: Taking taylor expansion of (sin y) in y 0.100 * [taylor]: Taking taylor expansion of y in y 0.100 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of (sin y) in x 0.100 * [taylor]: Taking taylor expansion of y in x 0.100 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of (sin y) in x 0.100 * [taylor]: Taking taylor expansion of y in x 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.100 * [taylor]: Taking taylor expansion of (sin y) in y 0.100 * [taylor]: Taking taylor expansion of y in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0 0.102 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 0.102 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.102 * [taylor]: Taking taylor expansion of y in y 0.102 * [taylor]: Taking taylor expansion of x in y 0.103 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.103 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.103 * [taylor]: Taking taylor expansion of y in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.103 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.103 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.103 * [taylor]: Taking taylor expansion of y in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.104 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.104 * [taylor]: Taking taylor expansion of y in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.105 * [taylor]: Taking taylor expansion of 0 in y 0.105 * [taylor]: Taking taylor expansion of 0 in y 0.105 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0 0.105 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y 0.105 * [taylor]: Taking taylor expansion of -1 in y 0.105 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 0.105 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.105 * [taylor]: Taking taylor expansion of -1 in y 0.105 * [taylor]: Taking taylor expansion of y in y 0.106 * [taylor]: Taking taylor expansion of x in y 0.106 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x 0.106 * [taylor]: Taking taylor expansion of -1 in x 0.106 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.106 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.106 * [taylor]: Taking taylor expansion of -1 in x 0.106 * [taylor]: Taking taylor expansion of y in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x 0.106 * [taylor]: Taking taylor expansion of -1 in x 0.106 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.106 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.106 * [taylor]: Taking taylor expansion of -1 in x 0.106 * [taylor]: Taking taylor expansion of y in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.106 * [taylor]: Taking taylor expansion of -1 in y 0.106 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.106 * [taylor]: Taking taylor expansion of -1 in y 0.106 * [taylor]: Taking taylor expansion of y in y 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [taylor]: Taking taylor expansion of 0 in y 0.108 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.109 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.109 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.109 * [taylor]: Taking taylor expansion of (cos y) in y 0.109 * [taylor]: Taking taylor expansion of y in y 0.109 * [taylor]: Taking taylor expansion of z in y 0.109 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.109 * [taylor]: Taking taylor expansion of (cos y) in z 0.109 * [taylor]: Taking taylor expansion of y in z 0.109 * [taylor]: Taking taylor expansion of z in z 0.109 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.109 * [taylor]: Taking taylor expansion of (cos y) in z 0.109 * [taylor]: Taking taylor expansion of y in z 0.109 * [taylor]: Taking taylor expansion of z in z 0.109 * [taylor]: Taking taylor expansion of 0 in y 0.109 * [taylor]: Taking taylor expansion of (cos y) in y 0.109 * [taylor]: Taking taylor expansion of y in y 0.110 * [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 (/ (cos (/ 1 y)) z) in (z y) around 0 0.110 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.110 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.110 * [taylor]: Taking taylor expansion of y in y 0.110 * [taylor]: Taking taylor expansion of z in y 0.110 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.110 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.110 * [taylor]: Taking taylor expansion of y in z 0.111 * [taylor]: Taking taylor expansion of z in z 0.111 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.111 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.111 * [taylor]: Taking taylor expansion of y in z 0.111 * [taylor]: Taking taylor expansion of z in z 0.111 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.111 * [taylor]: Taking taylor expansion of (/ 1 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.113 * [taylor]: Taking taylor expansion of 0 in y 0.113 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.113 * [taylor]: Taking taylor expansion of -1 in y 0.113 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.113 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.113 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.113 * [taylor]: Taking taylor expansion of -1 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 (* -1 (/ (cos (/ -1 y)) z)) in z 0.113 * [taylor]: Taking taylor expansion of -1 in z 0.113 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.113 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.113 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.113 * [taylor]: Taking taylor expansion of -1 in z 0.113 * [taylor]: Taking taylor expansion of y in z 0.113 * [taylor]: Taking taylor expansion of z in z 0.114 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.114 * [taylor]: Taking taylor expansion of -1 in z 0.114 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.114 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.114 * [taylor]: Taking taylor expansion of -1 in z 0.114 * [taylor]: Taking taylor expansion of y in z 0.114 * [taylor]: Taking taylor expansion of z in z 0.114 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.114 * [taylor]: Taking taylor expansion of -1 in y 0.114 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.114 * [taylor]: Taking taylor expansion of -1 in y 0.114 * [taylor]: Taking taylor expansion of y in y 0.115 * [taylor]: Taking taylor expansion of 0 in y 0.115 * [taylor]: Taking taylor expansion of 0 in y 0.116 * [taylor]: Taking taylor expansion of 0 in y 0.116 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.117 * [approximate]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in (x y z) around 0 0.117 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in z 0.117 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.117 * [taylor]: Taking taylor expansion of (cos 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 (* x (sin y)) in z 0.117 * [taylor]: Taking taylor expansion of x in z 0.117 * [taylor]: Taking taylor expansion of (sin y) in z 0.117 * [taylor]: Taking taylor expansion of y in z 0.117 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in y 0.117 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.117 * [taylor]: Taking taylor expansion of (cos y) in y 0.117 * [taylor]: Taking taylor expansion of y in y 0.117 * [taylor]: Taking taylor expansion of z in y 0.117 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.117 * [taylor]: Taking taylor expansion of x in y 0.117 * [taylor]: Taking taylor expansion of (sin y) in y 0.117 * [taylor]: Taking taylor expansion of y in y 0.117 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in x 0.117 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.117 * [taylor]: Taking taylor expansion of (cos y) in x 0.117 * [taylor]: Taking taylor expansion of y in x 0.117 * [taylor]: Taking taylor expansion of z in x 0.117 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.117 * [taylor]: Taking taylor expansion of (sin y) in x 0.117 * [taylor]: Taking taylor expansion of y in x 0.117 * [taylor]: Taking taylor expansion of (+ (* (cos y) z) (* x (sin y))) in x 0.117 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.117 * [taylor]: Taking taylor expansion of (cos y) in x 0.117 * [taylor]: Taking taylor expansion of y in x 0.117 * [taylor]: Taking taylor expansion of z in x 0.117 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.117 * [taylor]: Taking taylor expansion of (sin y) in x 0.117 * [taylor]: Taking taylor expansion of y in x 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 z in z 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 0 in z 0.118 * [taylor]: Taking taylor expansion of 0 in z 0.119 * [taylor]: Taking taylor expansion of 0 in y 0.119 * [taylor]: Taking taylor expansion of 0 in z 0.119 * [taylor]: Taking taylor expansion of 1 in z 0.120 * [taylor]: Taking taylor expansion of (neg (* 1/2 z)) in z 0.120 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.120 * [taylor]: Taking taylor expansion of 1/2 in z 0.120 * [taylor]: Taking taylor expansion of z 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 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in (x y z) around 0 0.121 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in z 0.121 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.121 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.121 * [taylor]: Taking taylor expansion of y in z 0.121 * [taylor]: Taking taylor expansion of z in z 0.121 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in z 0.121 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.121 * [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.122 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.122 * [taylor]: Taking taylor expansion of y in y 0.122 * [taylor]: Taking taylor expansion of z in y 0.122 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 0.122 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.122 * [taylor]: Taking taylor expansion of y in y 0.122 * [taylor]: Taking taylor expansion of x in y 0.122 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in x 0.122 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.122 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.122 * [taylor]: Taking taylor expansion of y in x 0.122 * [taylor]: Taking taylor expansion of z in x 0.122 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.122 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.122 * [taylor]: Taking taylor expansion of y in x 0.123 * [taylor]: Taking taylor expansion of x in x 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.123 * [taylor]: Taking taylor expansion of x in x 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.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.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 y in y 0.124 * [taylor]: Taking taylor expansion of z in y 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 y in z 0.124 * [taylor]: Taking taylor expansion of z in z 0.125 * [taylor]: Taking taylor expansion of 0 in z 0.125 * [taylor]: Taking taylor expansion of 0 in y 0.125 * [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.127 * [taylor]: Taking taylor expansion of 0 in y 0.127 * [taylor]: Taking taylor expansion of 0 in z 0.127 * [taylor]: Taking taylor expansion of 0 in z 0.127 * [taylor]: Taking taylor expansion of 0 in z 0.127 * [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.128 * [taylor]: Taking taylor expansion of x in z 0.128 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.128 * [taylor]: Taking taylor expansion of (cos (/ -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.128 * [taylor]: Taking taylor expansion of z in z 0.128 * [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.129 * [taylor]: Taking taylor expansion of -1 in x 0.129 * [taylor]: Taking taylor expansion of y in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.129 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.129 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.129 * [taylor]: Taking taylor expansion of -1 in x 0.129 * [taylor]: Taking taylor expansion of y in x 0.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.130 * [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.131 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.131 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.131 * [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.140 * [taylor]: Taking taylor expansion of 0 in z 0.140 * [taylor]: Taking taylor expansion of 0 in z 0.140 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.140 * [approximate]: Taking taylor expansion of (sin y) in (y) around 0 0.140 * [taylor]: Taking taylor expansion of (sin y) in y 0.140 * [taylor]: Taking taylor expansion of y in y 0.141 * [taylor]: Taking taylor expansion of (sin y) in y 0.141 * [taylor]: Taking taylor expansion of y in y 0.142 * [approximate]: Taking taylor expansion of (sin (/ 1 y)) in (y) around 0 0.142 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.142 * [taylor]: Taking taylor expansion of y in y 0.142 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.142 * [taylor]: Taking taylor expansion of y in y 0.143 * [approximate]: Taking taylor expansion of (sin (/ -1 y)) in (y) around 0 0.143 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.143 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.143 * [taylor]: Taking taylor expansion of -1 in y 0.143 * [taylor]: Taking taylor expansion of y in y 0.143 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.143 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.143 * [taylor]: Taking taylor expansion of -1 in y 0.143 * [taylor]: Taking taylor expansion of y in y 0.143 * * * [progress]: simplifying candidates 0.144 * [simplify]: Simplifying using # : (* 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)) (* 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)) (* (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))) (log (sin y)) (exp (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (* (* (sin y) (sin y)) (sin y)) (sqrt (sin y)) (sqrt (sin y)) (* x y) (* x (sin y)) (* x (sin y)) z (* (cos y) z) (* (cos y) z) (+ (* x y) z) (+ (* (cos y) z) (* x (sin y))) (+ (* (cos y) z) (* x (sin y))) (- (+ (* 1/120 (pow y 5)) y) (* 1/6 (pow y 3))) (sin y) (sin y) 0.144 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.145 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 0.145 * * [simplify]: iteration done : 5 enodes (cost 4 ) 0.146 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.147 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 0.147 * * [simplify]: iteration done : 7 enodes (cost 6 ) 0.148 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.148 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.149 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.150 * * [simplify]: iteration done : 10 enodes (cost 5 ) 0.151 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.152 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.152 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.154 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 0.157 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 0.164 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 0.197 * * [simplify]: iteration 6 : 240 enodes (cost 5 ) 0.351 * * [simplify]: iteration 7 : 694 enodes (cost 5 ) 1.440 * * [simplify]: iteration 8 : 2697 enodes (cost 5 ) 3.415 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 3.416 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 3.417 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 3.419 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 3.435 * * [simplify]: iteration 3 : 79 enodes (cost 8 ) 3.456 * * [simplify]: iteration 4 : 137 enodes (cost 6 ) 3.508 * * [simplify]: iteration 5 : 259 enodes (cost 6 ) 3.662 * * [simplify]: iteration 6 : 654 enodes (cost 6 ) 4.647 * * [simplify]: iteration 7 : 2457 enodes (cost 6 ) 6.544 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 6.545 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 6.546 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 6.546 * * [simplify]: iteration done : 7 enodes (cost 11 ) 6.547 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 6.548 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 6.548 * * [simplify]: iteration done : 6 enodes (cost 5 ) 6.549 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 6.550 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 6.553 * * [simplify]: iteration 2 : 46 enodes (cost 6 ) 6.565 * * [simplify]: iteration 3 : 89 enodes (cost 6 ) 6.592 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 6.621 * * [simplify]: iteration 5 : 151 enodes (cost 6 ) 6.682 * * [simplify]: iteration 6 : 283 enodes (cost 6 ) 6.850 * * [simplify]: iteration 7 : 735 enodes (cost 6 ) 7.903 * * [simplify]: iteration 8 : 2697 enodes (cost 6 ) 10.140 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 10.141 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.141 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.142 * * [simplify]: iteration done : 6 enodes (cost 5 ) 10.142 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.143 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.143 * * [simplify]: iteration done : 6 enodes (cost 5 ) 10.144 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 10.145 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 10.145 * * [simplify]: iteration done : 7 enodes (cost 6 ) 10.146 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 10.146 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 10.147 * * [simplify]: iteration done : 7 enodes (cost 6 ) 10.148 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 10.148 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 10.149 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 10.151 * * [simplify]: iteration done : 11 enodes (cost 9 ) 10.151 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.152 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.152 * * [simplify]: iteration done : 6 enodes (cost 5 ) 10.153 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 10.153 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 10.154 * * [simplify]: iteration done : 6 enodes (cost 1 ) 10.154 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.155 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.155 * * [simplify]: iteration done : 6 enodes (cost 5 ) 10.156 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.156 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.157 * * [simplify]: iteration done : 6 enodes (cost 5 ) 10.157 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 10.158 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 10.158 * * [simplify]: iteration done : 5 enodes (cost 4 ) 10.159 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 10.159 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 10.160 * * [simplify]: iteration done : 5 enodes (cost 4 ) 10.160 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 10.161 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 10.162 * * [simplify]: iteration done : 7 enodes (cost 6 ) 10.162 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.163 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 10.164 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 10.165 * * [simplify]: iteration done : 10 enodes (cost 5 ) 10.166 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.167 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 10.168 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 10.169 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 10.172 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 10.179 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 10.214 * * [simplify]: iteration 6 : 240 enodes (cost 5 ) 10.356 * * [simplify]: iteration 7 : 694 enodes (cost 5 ) 11.423 * * [simplify]: iteration 8 : 2697 enodes (cost 5 ) 13.375 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 13.375 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 13.376 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 13.379 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 13.388 * * [simplify]: iteration 3 : 79 enodes (cost 8 ) 13.408 * * [simplify]: iteration 4 : 137 enodes (cost 6 ) 13.461 * * [simplify]: iteration 5 : 259 enodes (cost 6 ) 13.607 * * [simplify]: iteration 6 : 654 enodes (cost 6 ) 14.554 * * [simplify]: iteration 7 : 2457 enodes (cost 6 ) 16.425 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 16.426 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 16.426 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 16.427 * * [simplify]: iteration done : 7 enodes (cost 11 ) 16.428 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.428 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 16.429 * * [simplify]: iteration done : 6 enodes (cost 5 ) 16.429 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 16.433 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 16.436 * * [simplify]: iteration 2 : 46 enodes (cost 6 ) 16.448 * * [simplify]: iteration 3 : 89 enodes (cost 6 ) 16.471 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 16.502 * * [simplify]: iteration 5 : 151 enodes (cost 6 ) 16.561 * * [simplify]: iteration 6 : 283 enodes (cost 6 ) 16.723 * * [simplify]: iteration 7 : 735 enodes (cost 6 ) 17.772 * * [simplify]: iteration 8 : 2697 enodes (cost 6 ) 19.812 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 19.813 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.815 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.816 * * [simplify]: iteration done : 6 enodes (cost 5 ) 19.816 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.817 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.817 * * [simplify]: iteration done : 6 enodes (cost 5 ) 19.818 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 19.818 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 19.819 * * [simplify]: iteration done : 7 enodes (cost 6 ) 19.820 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 19.820 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 19.821 * * [simplify]: iteration done : 7 enodes (cost 6 ) 19.821 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 19.822 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 19.823 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 19.824 * * [simplify]: iteration done : 11 enodes (cost 9 ) 19.825 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.826 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.826 * * [simplify]: iteration done : 6 enodes (cost 5 ) 19.827 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 19.827 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 19.827 * * [simplify]: iteration done : 6 enodes (cost 1 ) 19.828 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.828 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.829 * * [simplify]: iteration done : 6 enodes (cost 5 ) 19.830 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.830 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.831 * * [simplify]: iteration done : 6 enodes (cost 5 ) 19.832 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 19.832 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 19.833 * * [simplify]: iteration done : 5 enodes (cost 4 ) 19.833 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 19.834 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 19.837 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 19.841 * * [simplify]: iteration 3 : 59 enodes (cost 10 ) 19.857 * * [simplify]: iteration 4 : 179 enodes (cost 10 ) 19.932 * * [simplify]: iteration 5 : 632 enodes (cost 10 ) 20.802 * * [simplify]: iteration 6 : 2841 enodes (cost 10 ) 22.296 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 22.297 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 22.298 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 22.299 * * [simplify]: iteration done : 12 enodes (cost 10 ) 22.300 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 22.301 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 22.303 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 22.306 * * [simplify]: iteration 3 : 37 enodes (cost 10 ) 22.311 * * [simplify]: iteration 4 : 89 enodes (cost 10 ) 22.332 * * [simplify]: iteration 5 : 283 enodes (cost 10 ) 22.508 * * [simplify]: iteration 6 : 1039 enodes (cost 10 ) 24.198 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 24.199 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 24.200 * * [simplify]: iteration 1 : 13 enodes (cost 21 ) 24.201 * * [simplify]: iteration done : 13 enodes (cost 21 ) 24.202 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 24.203 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 24.204 * * [simplify]: iteration done : 12 enodes (cost 10 ) 24.205 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 24.206 * * [simplify]: iteration 1 : 26 enodes (cost 29 ) 24.212 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 24.238 * * [simplify]: iteration 3 : 329 enodes (cost 11 ) 24.405 * * [simplify]: iteration 4 : 1015 enodes (cost 11 ) 25.192 * * [simplify]: iteration 5 : 2586 enodes (cost 11 ) 27.363 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 27.363 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 27.364 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 27.366 * * [simplify]: iteration done : 12 enodes (cost 10 ) 27.366 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 27.367 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 27.369 * * [simplify]: iteration done : 12 enodes (cost 10 ) 27.370 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 27.376 * * [simplify]: iteration 1 : 33 enodes (cost 13 ) 27.382 * * [simplify]: iteration 2 : 100 enodes (cost 13 ) 27.407 * * [simplify]: iteration 3 : 256 enodes (cost 13 ) 27.507 * * [simplify]: iteration 4 : 496 enodes (cost 13 ) 27.947 * * [simplify]: iteration 5 : 1243 enodes (cost 13 ) 29.523 * * [simplify]: iteration 6 : 4731 enodes (cost 13 ) 31.011 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 31.012 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 31.014 * * [simplify]: iteration 1 : 40 enodes (cost 24 ) 31.022 * * [simplify]: iteration 2 : 110 enodes (cost 24 ) 31.051 * * [simplify]: iteration 3 : 236 enodes (cost 24 ) 31.149 * * [simplify]: iteration 4 : 427 enodes (cost 24 ) 31.314 * * [simplify]: iteration 5 : 557 enodes (cost 24 ) 31.561 * * [simplify]: iteration 6 : 724 enodes (cost 24 ) 31.762 * * [simplify]: iteration 7 : 857 enodes (cost 24 ) 32.132 * * [simplify]: iteration 8 : 1146 enodes (cost 24 ) 33.061 * * [simplify]: iteration 9 : 1683 enodes (cost 24 ) 33.514 * * [simplify]: iteration done : 1683 enodes (cost 24 ) 33.515 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 33.516 * * [simplify]: iteration 1 : 31 enodes (cost 19 ) 33.521 * * [simplify]: iteration 2 : 72 enodes (cost 19 ) 33.538 * * [simplify]: iteration 3 : 131 enodes (cost 19 ) 33.572 * * [simplify]: iteration 4 : 196 enodes (cost 19 ) 33.623 * * [simplify]: iteration 5 : 329 enodes (cost 19 ) 33.736 * * [simplify]: iteration 6 : 527 enodes (cost 19 ) 33.955 * * [simplify]: iteration 7 : 897 enodes (cost 19 ) 35.074 * * [simplify]: iteration 8 : 2705 enodes (cost 19 ) 37.415 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 37.416 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 37.417 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 37.419 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 37.426 * * [simplify]: iteration done : 19 enodes (cost 9 ) 37.427 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 37.427 * * [simplify]: iteration done : 3 enodes (cost 3 ) 37.428 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 37.428 * * [simplify]: iteration done : 3 enodes (cost 3 ) 37.428 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 37.429 * * [simplify]: iteration done : 4 enodes (cost 7 ) 37.430 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 37.430 * * [simplify]: iteration done : 3 enodes (cost 3 ) 37.431 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 37.431 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 37.432 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 37.433 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 37.434 * * [simplify]: iteration 4 : 18 enodes (cost 4 ) 37.437 * * [simplify]: iteration 5 : 28 enodes (cost 4 ) 37.440 * * [simplify]: iteration 6 : 49 enodes (cost 4 ) 37.449 * * [simplify]: iteration 7 : 108 enodes (cost 4 ) 37.496 * * [simplify]: iteration 8 : 316 enodes (cost 4 ) 37.955 * * [simplify]: iteration 9 : 1236 enodes (cost 4 ) 40.370 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 40.370 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 40.371 * * [simplify]: iteration done : 3 enodes (cost 3 ) 40.371 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 40.371 * * [simplify]: iteration done : 3 enodes (cost 3 ) 40.372 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 40.372 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 40.373 * * [simplify]: iteration done : 4 enodes (cost 3 ) 40.373 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 40.374 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 40.374 * * [simplify]: iteration done : 5 enodes (cost 4 ) 40.375 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 40.375 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 40.376 * * [simplify]: iteration done : 5 enodes (cost 4 ) 40.377 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 40.377 * * [simplify]: iteration done : 1 enodes (cost 1 ) 40.377 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 40.378 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 40.378 * * [simplify]: iteration done : 5 enodes (cost 4 ) 40.379 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 40.379 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 40.380 * * [simplify]: iteration done : 5 enodes (cost 4 ) 40.380 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 40.381 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 40.381 * * [simplify]: iteration done : 7 enodes (cost 5 ) 40.382 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 40.383 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 40.384 * * [simplify]: iteration done : 11 enodes (cost 9 ) 40.385 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 40.386 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 40.387 * * [simplify]: iteration done : 11 enodes (cost 9 ) 40.388 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 40.390 * * [simplify]: iteration 1 : 30 enodes (cost 13 ) 40.394 * * [simplify]: iteration 2 : 72 enodes (cost 13 ) 40.406 * * [simplify]: iteration 3 : 158 enodes (cost 13 ) 40.455 * * [simplify]: iteration 4 : 346 enodes (cost 13 ) 40.608 * * [simplify]: iteration 5 : 880 enodes (cost 13 ) 41.762 * * [simplify]: iteration 6 : 3259 enodes (cost 13 ) 43.775 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 43.776 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 43.776 * * [simplify]: iteration done : 2 enodes (cost 2 ) 43.777 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 43.777 * * [simplify]: iteration done : 2 enodes (cost 2 ) 43.778 * [simplify]: Simplified to: (* x (sin y)) (+ (log x) (log (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)) (* z (cos y)) (+ (log z) (log (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (pow (* z (cos y)) 3) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (pow (* z (cos y)) 3) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) z (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (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 (+ (* x (sin y)) (* z (cos 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)) (+ (* (* z (cos y)) (- (* z (cos y)) (* x (sin y)))) (* (* x (sin y)) (* x (sin y)))) (* (+ (* x (sin y)) (* z (cos y))) (- (* x (sin y)) (* z (cos y)))) (- (* x (sin y)) (* z (cos y))) (log (sin y)) (exp (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (pow (sin y) 3) (sqrt (sin y)) (sqrt (sin y)) (* x y) (* x (sin y)) (* x (sin y)) z (* (cos y) z) (* (cos y) z) (+ (* x y) z) (+ (* (cos y) z) (* x (sin y))) (+ (* (cos y) z) (* x (sin y))) (- (+ (* 1/120 (pow y 5)) y) (* 1/6 (pow y 3))) (sin y) (sin y) 43.778 * * * [progress]: adding candidates to table 43.856 * * [progress]: iteration 2 / 4 43.856 * * * [progress]: picking best candidate 43.901 * * * * [pick]: Picked # 43.901 * * * [progress]: localizing error 43.914 * * * [progress]: generating rewritten candidates 43.914 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 43.916 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 43.918 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 43.920 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 43.929 * * * [progress]: generating series expansions 43.929 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 43.929 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 43.929 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 43.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 43.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 43.929 * [taylor]: Taking taylor expansion of 1/3 in y 43.930 * [taylor]: Taking taylor expansion of (log (cos y)) in y 43.930 * [taylor]: Taking taylor expansion of (cos y) in y 43.930 * [taylor]: Taking taylor expansion of y in y 43.930 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 43.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 43.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 43.930 * [taylor]: Taking taylor expansion of 1/3 in y 43.930 * [taylor]: Taking taylor expansion of (log (cos y)) in y 43.930 * [taylor]: Taking taylor expansion of (cos y) in y 43.930 * [taylor]: Taking taylor expansion of y in y 43.933 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 43.933 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 43.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 43.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 43.933 * [taylor]: Taking taylor expansion of 1/3 in y 43.933 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 43.934 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 43.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.934 * [taylor]: Taking taylor expansion of y in y 43.934 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 43.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 43.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 43.934 * [taylor]: Taking taylor expansion of 1/3 in y 43.934 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 43.934 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 43.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.934 * [taylor]: Taking taylor expansion of y in y 43.942 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 43.942 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 43.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 43.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 43.942 * [taylor]: Taking taylor expansion of 1/3 in y 43.942 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 43.942 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 43.942 * [taylor]: Taking taylor expansion of (/ -1 y) in y 43.942 * [taylor]: Taking taylor expansion of -1 in y 43.942 * [taylor]: Taking taylor expansion of y in y 43.943 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 43.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 43.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 43.943 * [taylor]: Taking taylor expansion of 1/3 in y 43.943 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 43.943 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 43.943 * [taylor]: Taking taylor expansion of (/ -1 y) in y 43.943 * [taylor]: Taking taylor expansion of -1 in y 43.943 * [taylor]: Taking taylor expansion of y in y 43.951 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 43.951 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 43.951 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 43.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 43.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 43.951 * [taylor]: Taking taylor expansion of 1/3 in y 43.951 * [taylor]: Taking taylor expansion of (log (cos y)) in y 43.951 * [taylor]: Taking taylor expansion of (cos y) in y 43.951 * [taylor]: Taking taylor expansion of y in y 43.951 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 43.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 43.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 43.951 * [taylor]: Taking taylor expansion of 1/3 in y 43.951 * [taylor]: Taking taylor expansion of (log (cos y)) in y 43.951 * [taylor]: Taking taylor expansion of (cos y) in y 43.951 * [taylor]: Taking taylor expansion of y in y 43.954 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 43.954 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 43.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 43.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 43.954 * [taylor]: Taking taylor expansion of 1/3 in y 43.954 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 43.954 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 43.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.954 * [taylor]: Taking taylor expansion of y in y 43.955 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 43.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 43.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 43.955 * [taylor]: Taking taylor expansion of 1/3 in y 43.955 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 43.955 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 43.955 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.955 * [taylor]: Taking taylor expansion of y in y 43.962 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 43.962 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 43.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 43.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 43.962 * [taylor]: Taking taylor expansion of 1/3 in y 43.962 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 43.962 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 43.963 * [taylor]: Taking taylor expansion of (/ -1 y) in y 43.963 * [taylor]: Taking taylor expansion of -1 in y 43.963 * [taylor]: Taking taylor expansion of y in y 43.963 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 43.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 43.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 43.963 * [taylor]: Taking taylor expansion of 1/3 in y 43.963 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 43.963 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 43.963 * [taylor]: Taking taylor expansion of (/ -1 y) in y 43.963 * [taylor]: Taking taylor expansion of -1 in y 43.963 * [taylor]: Taking taylor expansion of y in y 43.971 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 43.971 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 43.971 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 43.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 43.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 43.971 * [taylor]: Taking taylor expansion of 1/3 in y 43.971 * [taylor]: Taking taylor expansion of (log (cos y)) in y 43.971 * [taylor]: Taking taylor expansion of (cos y) in y 43.971 * [taylor]: Taking taylor expansion of y in y 43.971 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 43.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 43.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 43.971 * [taylor]: Taking taylor expansion of 1/3 in y 43.971 * [taylor]: Taking taylor expansion of (log (cos y)) in y 43.971 * [taylor]: Taking taylor expansion of (cos y) in y 43.971 * [taylor]: Taking taylor expansion of y in y 43.974 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 43.974 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 43.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 43.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 43.974 * [taylor]: Taking taylor expansion of 1/3 in y 43.974 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 43.974 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 43.974 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.974 * [taylor]: Taking taylor expansion of y in y 43.974 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 43.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 43.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 43.975 * [taylor]: Taking taylor expansion of 1/3 in y 43.975 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 43.975 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 43.975 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.975 * [taylor]: Taking taylor expansion of y in y 43.983 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 43.983 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 43.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 43.983 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 43.983 * [taylor]: Taking taylor expansion of 1/3 in y 43.983 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 43.983 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 43.983 * [taylor]: Taking taylor expansion of (/ -1 y) in y 43.983 * [taylor]: Taking taylor expansion of -1 in y 43.983 * [taylor]: Taking taylor expansion of y in y 43.983 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 43.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 43.983 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 43.983 * [taylor]: Taking taylor expansion of 1/3 in y 43.983 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 43.983 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 43.983 * [taylor]: Taking taylor expansion of (/ -1 y) in y 43.983 * [taylor]: Taking taylor expansion of -1 in y 43.983 * [taylor]: Taking taylor expansion of y in y 43.991 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 43.991 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 43.991 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 43.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 43.991 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 43.991 * [taylor]: Taking taylor expansion of 1/3 in y 43.991 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 43.991 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 43.991 * [taylor]: Taking taylor expansion of (cos y) in y 43.991 * [taylor]: Taking taylor expansion of y in y 43.991 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 43.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 43.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 43.992 * [taylor]: Taking taylor expansion of 1/3 in y 43.992 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 43.992 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 43.992 * [taylor]: Taking taylor expansion of (cos y) in y 43.992 * [taylor]: Taking taylor expansion of y in y 44.005 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 44.005 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 44.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 44.005 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 44.005 * [taylor]: Taking taylor expansion of 1/3 in y 44.005 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 44.005 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 44.005 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 44.005 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.005 * [taylor]: Taking taylor expansion of y in y 44.005 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 44.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 44.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 44.006 * [taylor]: Taking taylor expansion of 1/3 in y 44.006 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 44.006 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 44.006 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 44.006 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.006 * [taylor]: Taking taylor expansion of y in y 44.016 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 44.016 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 44.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 44.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 44.016 * [taylor]: Taking taylor expansion of 1/3 in y 44.016 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 44.016 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 44.016 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 44.016 * [taylor]: Taking taylor expansion of (/ -1 y) in y 44.016 * [taylor]: Taking taylor expansion of -1 in y 44.016 * [taylor]: Taking taylor expansion of y in y 44.016 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 44.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 44.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 44.016 * [taylor]: Taking taylor expansion of 1/3 in y 44.016 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 44.016 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 44.016 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 44.016 * [taylor]: Taking taylor expansion of (/ -1 y) in y 44.016 * [taylor]: Taking taylor expansion of -1 in y 44.016 * [taylor]: Taking taylor expansion of y in y 44.026 * * * [progress]: simplifying candidates 44.028 * [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) 44.028 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.029 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.029 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.030 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.030 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 44.031 * * [simplify]: iteration done : 5 enodes (cost 8 ) 44.031 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.032 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.032 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.032 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.033 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.033 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.034 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 44.034 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 44.034 * * [simplify]: iteration done : 4 enodes (cost 1 ) 44.035 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 44.035 * * [simplify]: iteration done : 3 enodes (cost 3 ) 44.036 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 44.037 * * [simplify]: iteration done : 5 enodes (cost 9 ) 44.037 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.038 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.038 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 44.039 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 44.040 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 44.041 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 44.042 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 44.044 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 44.047 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 44.057 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 44.104 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 44.554 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 46.956 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 46.956 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 46.957 * * [simplify]: iteration done : 4 enodes (cost 4 ) 46.957 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 46.958 * * [simplify]: iteration done : 4 enodes (cost 4 ) 46.958 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 46.959 * * [simplify]: iteration done : 4 enodes (cost 4 ) 46.959 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 46.960 * * [simplify]: iteration done : 4 enodes (cost 4 ) 46.961 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 46.961 * * [simplify]: iteration done : 5 enodes (cost 8 ) 46.962 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 46.962 * * [simplify]: iteration done : 4 enodes (cost 4 ) 46.963 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 46.963 * * [simplify]: iteration done : 4 enodes (cost 4 ) 46.964 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 46.964 * * [simplify]: iteration done : 4 enodes (cost 4 ) 46.965 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 46.965 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 46.965 * * [simplify]: iteration done : 4 enodes (cost 1 ) 46.966 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 46.966 * * [simplify]: iteration done : 3 enodes (cost 3 ) 46.967 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 46.967 * * [simplify]: iteration done : 5 enodes (cost 9 ) 46.968 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 46.968 * * [simplify]: iteration done : 4 enodes (cost 4 ) 46.969 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 46.969 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 46.970 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 46.971 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 46.973 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 46.974 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 46.978 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 46.988 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 47.035 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 47.484 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 50.077 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 50.077 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.078 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.078 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.079 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.079 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.080 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.080 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.081 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.081 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 50.082 * * [simplify]: iteration done : 5 enodes (cost 8 ) 50.082 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.083 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.083 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.084 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.084 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.085 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.085 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 50.086 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 50.086 * * [simplify]: iteration done : 4 enodes (cost 1 ) 50.086 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.087 * * [simplify]: iteration done : 3 enodes (cost 3 ) 50.088 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 50.088 * * [simplify]: iteration done : 5 enodes (cost 9 ) 50.089 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.089 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.090 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 50.090 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 50.091 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 50.092 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 50.094 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 50.096 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 50.099 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 50.108 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 50.158 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 50.609 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 53.027 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 53.028 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 53.028 * * [simplify]: iteration done : 4 enodes (cost 4 ) 53.029 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 53.029 * * [simplify]: iteration done : 4 enodes (cost 4 ) 53.030 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 53.030 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 53.031 * * [simplify]: iteration done : 5 enodes (cost 1 ) 53.031 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 53.031 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 53.032 * * [simplify]: iteration done : 6 enodes (cost 1 ) 53.032 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 53.033 * * [simplify]: iteration done : 3 enodes (cost 5 ) 53.033 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 53.034 * * [simplify]: iteration done : 4 enodes (cost 7 ) 53.034 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 53.034 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 53.035 * * [simplify]: iteration done : 6 enodes (cost 1 ) 53.035 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 53.036 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 53.037 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 53.037 * * [simplify]: iteration done : 8 enodes (cost 6 ) 53.038 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 53.039 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 53.039 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 53.040 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 53.041 * * [simplify]: iteration done : 10 enodes (cost 6 ) 53.042 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 53.042 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 53.044 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 53.045 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 53.047 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 53.057 * * [simplify]: iteration 5 : 74 enodes (cost 8 ) 53.078 * * [simplify]: iteration 6 : 183 enodes (cost 8 ) 53.177 * * [simplify]: iteration 7 : 561 enodes (cost 8 ) 54.051 * * [simplify]: iteration 8 : 2246 enodes (cost 8 ) 56.232 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 56.232 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 56.233 * * [simplify]: iteration done : 3 enodes (cost 5 ) 56.233 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 56.234 * * [simplify]: iteration done : 6 enodes (cost 17 ) 56.235 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 56.235 * * [simplify]: iteration done : 5 enodes (cost 8 ) 56.236 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 56.237 * * [simplify]: iteration 1 : 14 enodes (cost 23 ) 56.244 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 56.248 * * [simplify]: iteration 3 : 35 enodes (cost 5 ) 56.254 * * [simplify]: iteration 4 : 69 enodes (cost 5 ) 56.270 * * [simplify]: iteration 5 : 154 enodes (cost 5 ) 56.325 * * [simplify]: iteration 6 : 392 enodes (cost 5 ) 56.708 * * [simplify]: iteration 7 : 1360 enodes (cost 5 ) 58.695 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 58.696 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 58.696 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 58.697 * * [simplify]: iteration done : 6 enodes (cost 4 ) 58.698 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 58.698 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 58.699 * * [simplify]: iteration done : 6 enodes (cost 4 ) 58.699 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 58.700 * * [simplify]: iteration done : 6 enodes (cost 17 ) 58.700 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 58.701 * * [simplify]: iteration done : 5 enodes (cost 9 ) 58.701 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 58.702 * * [simplify]: iteration done : 5 enodes (cost 9 ) 58.702 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 58.703 * * [simplify]: iteration done : 5 enodes (cost 9 ) 58.703 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 58.704 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 58.704 * * [simplify]: iteration done : 5 enodes (cost 1 ) 58.705 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 58.705 * * [simplify]: iteration done : 4 enodes (cost 7 ) 58.706 * * [simplify]: iteration 0 : 6 enodes (cost 19 ) 58.707 * * [simplify]: iteration 1 : 10 enodes (cost 19 ) 58.708 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 58.710 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 58.712 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 58.717 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 58.731 * * [simplify]: iteration 6 : 135 enodes (cost 6 ) 58.771 * * [simplify]: iteration 7 : 352 enodes (cost 6 ) 59.128 * * [simplify]: iteration 8 : 1262 enodes (cost 6 ) 60.780 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 60.780 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 60.781 * * [simplify]: iteration done : 5 enodes (cost 9 ) 60.781 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 60.782 * * [simplify]: iteration done : 5 enodes (cost 3 ) 60.783 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 60.783 * * [simplify]: iteration done : 5 enodes (cost 3 ) 60.784 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 60.784 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 60.784 * * [simplify]: iteration done : 4 enodes (cost 1 ) 60.785 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 60.785 * * [simplify]: iteration done : 4 enodes (cost 7 ) 60.786 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 60.786 * * [simplify]: iteration done : 5 enodes (cost 9 ) 60.787 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 60.788 * * [simplify]: iteration done : 5 enodes (cost 9 ) 60.788 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 60.789 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 60.789 * * [simplify]: iteration done : 8 enodes (cost 9 ) 60.790 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 60.791 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 60.791 * * [simplify]: iteration done : 8 enodes (cost 9 ) 60.792 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 60.793 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 60.793 * * [simplify]: iteration done : 8 enodes (cost 9 ) 60.794 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 60.795 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 60.795 * * [simplify]: iteration done : 8 enodes (cost 9 ) 60.796 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 60.796 * * [simplify]: iteration done : 5 enodes (cost 3 ) 60.797 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 60.797 * * [simplify]: iteration done : 5 enodes (cost 3 ) 60.798 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 60.798 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 60.799 * * [simplify]: iteration done : 5 enodes (cost 1 ) 60.799 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 60.800 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 60.800 * * [simplify]: iteration done : 6 enodes (cost 1 ) 60.800 * * [simplify]: iteration 0 : 6 enodes (cost 12 ) 60.801 * * [simplify]: iteration 1 : 7 enodes (cost 12 ) 60.802 * * [simplify]: iteration done : 7 enodes (cost 12 ) 60.802 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 60.803 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 60.804 * * [simplify]: iteration done : 7 enodes (cost 8 ) 60.804 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 60.805 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 60.805 * * [simplify]: iteration done : 9 enodes (cost 5 ) 60.806 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 60.807 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 60.808 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 60.809 * * [simplify]: iteration done : 11 enodes (cost 13 ) 60.810 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 60.810 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 60.811 * * [simplify]: iteration done : 6 enodes (cost 8 ) 60.811 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 60.812 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 60.813 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 60.813 * * [simplify]: iteration done : 11 enodes (cost 3 ) 60.814 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 60.815 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 60.815 * * [simplify]: iteration done : 6 enodes (cost 8 ) 60.816 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 60.816 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 60.817 * * [simplify]: iteration done : 7 enodes (cost 8 ) 60.818 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 60.818 * * [simplify]: iteration done : 4 enodes (cost 7 ) 60.819 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 60.819 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 60.820 * * [simplify]: iteration done : 6 enodes (cost 8 ) 60.820 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 60.821 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 60.821 * * [simplify]: iteration done : 6 enodes (cost 8 ) 60.822 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 60.823 * * [simplify]: iteration done : 4 enodes (cost 7 ) 60.823 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 60.825 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 60.831 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 60.850 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 60.982 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 61.459 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 63.561 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 63.562 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 63.563 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 63.564 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 63.565 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 63.568 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 63.577 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 63.625 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 64.080 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 66.466 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 66.467 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 66.468 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 66.469 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 66.470 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 66.473 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 66.482 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 66.530 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 66.985 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 69.366 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 69.366 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 69.369 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 69.374 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 69.389 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 69.524 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 69.994 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 72.096 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 72.097 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 72.098 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 72.098 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 72.100 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 72.103 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 72.111 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 72.158 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 72.610 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 75.226 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 75.227 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.228 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 75.229 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 75.230 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 75.233 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 75.242 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 75.288 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 75.747 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 78.135 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 78.136 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 78.138 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 78.144 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 78.159 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 78.294 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 78.765 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 80.871 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 80.871 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 80.872 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 80.873 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 80.881 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 80.884 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 80.892 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 80.939 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 81.390 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 83.775 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 83.775 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 83.776 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 83.783 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 83.784 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 83.788 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 83.796 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 83.843 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 84.302 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 86.700 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 86.706 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 86.708 * * [simplify]: iteration 1 : 35 enodes (cost 13 ) 86.713 * * [simplify]: iteration 2 : 74 enodes (cost 13 ) 86.726 * * [simplify]: iteration 3 : 192 enodes (cost 13 ) 86.846 * * [simplify]: iteration 4 : 760 enodes (cost 13 ) 87.995 * * [simplify]: iteration 5 : 3249 enodes (cost 13 ) 89.826 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 89.827 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.828 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 89.829 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 89.832 * * [simplify]: iteration 3 : 51 enodes (cost 5 ) 89.838 * * [simplify]: iteration 4 : 99 enodes (cost 5 ) 89.857 * * [simplify]: iteration 5 : 226 enodes (cost 5 ) 89.952 * * [simplify]: iteration 6 : 649 enodes (cost 5 ) 90.902 * * [simplify]: iteration 7 : 2582 enodes (cost 5 ) 92.751 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 92.752 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 92.753 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 92.754 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 92.757 * * [simplify]: iteration 3 : 51 enodes (cost 5 ) 92.763 * * [simplify]: iteration 4 : 99 enodes (cost 5 ) 92.786 * * [simplify]: iteration 5 : 226 enodes (cost 5 ) 92.883 * * [simplify]: iteration 6 : 649 enodes (cost 5 ) 93.837 * * [simplify]: iteration 7 : 2582 enodes (cost 5 ) 95.666 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 95.666 * [simplify]: Simplified to: (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))) 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 (* (cbrt (cos y)) (cbrt (cos y)))) (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 (* (cbrt (cos y)) (cbrt (cos y)))) (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 (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) 2 (* 2 (log (cbrt (cos y)))) (* 2 (log (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)))) (* (cos y) (cos y)) (fabs (cbrt (cos y))) (fabs (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)))) 1 (* (cbrt (cos y)) (cbrt (cos y))) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 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)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* 1 (cbrt (cos y))) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- 1 (+ (* 1/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)) 95.667 * * * [progress]: adding candidates to table 95.749 * * [progress]: iteration 3 / 4 95.749 * * * [progress]: picking best candidate 95.795 * * * * [pick]: Picked # 95.795 * * * [progress]: localizing error 95.811 * * * [progress]: generating rewritten candidates 95.811 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 95.813 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 95.818 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 95.828 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 95.837 * * * [progress]: generating series expansions 95.837 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 95.837 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 95.837 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 95.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 95.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 95.838 * [taylor]: Taking taylor expansion of 1/3 in y 95.838 * [taylor]: Taking taylor expansion of (log (cos y)) in y 95.838 * [taylor]: Taking taylor expansion of (cos y) in y 95.838 * [taylor]: Taking taylor expansion of y in y 95.838 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 95.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 95.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 95.838 * [taylor]: Taking taylor expansion of 1/3 in y 95.838 * [taylor]: Taking taylor expansion of (log (cos y)) in y 95.838 * [taylor]: Taking taylor expansion of (cos y) in y 95.838 * [taylor]: Taking taylor expansion of y in y 95.841 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 95.841 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 95.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 95.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 95.841 * [taylor]: Taking taylor expansion of 1/3 in y 95.841 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 95.841 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 95.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y 95.841 * [taylor]: Taking taylor expansion of y in y 95.841 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 95.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 95.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 95.841 * [taylor]: Taking taylor expansion of 1/3 in y 95.841 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 95.841 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 95.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y 95.842 * [taylor]: Taking taylor expansion of y in y 95.849 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 95.849 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 95.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 95.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 95.850 * [taylor]: Taking taylor expansion of 1/3 in y 95.850 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 95.850 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 95.850 * [taylor]: Taking taylor expansion of (/ -1 y) in y 95.850 * [taylor]: Taking taylor expansion of -1 in y 95.850 * [taylor]: Taking taylor expansion of y in y 95.850 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 95.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 95.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 95.850 * [taylor]: Taking taylor expansion of 1/3 in y 95.850 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 95.850 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 95.850 * [taylor]: Taking taylor expansion of (/ -1 y) in y 95.850 * [taylor]: Taking taylor expansion of -1 in y 95.850 * [taylor]: Taking taylor expansion of y in y 95.858 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 95.858 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 95.858 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 95.858 * [taylor]: Taking taylor expansion of (cos y) in y 95.858 * [taylor]: Taking taylor expansion of y in y 95.858 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 95.858 * [taylor]: Taking taylor expansion of (cos y) in y 95.858 * [taylor]: Taking taylor expansion of y in y 95.859 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 95.859 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 95.859 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 95.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y 95.859 * [taylor]: Taking taylor expansion of y in y 95.859 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 95.859 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 95.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y 95.859 * [taylor]: Taking taylor expansion of y in y 95.860 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 95.860 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 95.860 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 95.860 * [taylor]: Taking taylor expansion of (/ -1 y) in y 95.860 * [taylor]: Taking taylor expansion of -1 in y 95.860 * [taylor]: Taking taylor expansion of y in y 95.860 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 95.860 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 95.860 * [taylor]: Taking taylor expansion of (/ -1 y) in y 95.860 * [taylor]: Taking taylor expansion of -1 in y 95.860 * [taylor]: Taking taylor expansion of y in y 95.861 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 95.861 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 95.861 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 95.861 * [taylor]: Taking taylor expansion of (cos y) in y 95.861 * [taylor]: Taking taylor expansion of y in y 95.861 * [taylor]: Taking taylor expansion of z in y 95.861 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 95.861 * [taylor]: Taking taylor expansion of (cos y) in z 95.861 * [taylor]: Taking taylor expansion of y in z 95.862 * [taylor]: Taking taylor expansion of z in z 95.862 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 95.862 * [taylor]: Taking taylor expansion of (cos y) in z 95.862 * [taylor]: Taking taylor expansion of y in z 95.862 * [taylor]: Taking taylor expansion of z in z 95.862 * [taylor]: Taking taylor expansion of 0 in y 95.862 * [taylor]: Taking taylor expansion of (cos y) in y 95.862 * [taylor]: Taking taylor expansion of y in y 95.863 * [taylor]: Taking taylor expansion of 0 in y 95.863 * [taylor]: Taking taylor expansion of 0 in y 95.863 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 95.863 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 95.863 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 95.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y 95.864 * [taylor]: Taking taylor expansion of y in y 95.864 * [taylor]: Taking taylor expansion of z in y 95.864 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 95.864 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 95.864 * [taylor]: Taking taylor expansion of (/ 1 y) in z 95.864 * [taylor]: Taking taylor expansion of y in z 95.864 * [taylor]: Taking taylor expansion of z in z 95.864 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 95.864 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 95.864 * [taylor]: Taking taylor expansion of (/ 1 y) in z 95.864 * [taylor]: Taking taylor expansion of y in z 95.864 * [taylor]: Taking taylor expansion of z in z 95.864 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 95.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y 95.864 * [taylor]: Taking taylor expansion of y in y 95.865 * [taylor]: Taking taylor expansion of 0 in y 95.865 * [taylor]: Taking taylor expansion of 0 in y 95.866 * [taylor]: Taking taylor expansion of 0 in y 95.866 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 95.866 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 95.866 * [taylor]: Taking taylor expansion of -1 in y 95.866 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 95.866 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 95.866 * [taylor]: Taking taylor expansion of (/ -1 y) in y 95.866 * [taylor]: Taking taylor expansion of -1 in y 95.866 * [taylor]: Taking taylor expansion of y in y 95.866 * [taylor]: Taking taylor expansion of z in y 95.866 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 95.866 * [taylor]: Taking taylor expansion of -1 in z 95.866 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 95.866 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 95.866 * [taylor]: Taking taylor expansion of (/ -1 y) in z 95.866 * [taylor]: Taking taylor expansion of -1 in z 95.866 * [taylor]: Taking taylor expansion of y in z 95.867 * [taylor]: Taking taylor expansion of z in z 95.867 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 95.867 * [taylor]: Taking taylor expansion of -1 in z 95.867 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 95.867 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 95.867 * [taylor]: Taking taylor expansion of (/ -1 y) in z 95.867 * [taylor]: Taking taylor expansion of -1 in z 95.867 * [taylor]: Taking taylor expansion of y in z 95.867 * [taylor]: Taking taylor expansion of z in z 95.867 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 95.867 * [taylor]: Taking taylor expansion of -1 in y 95.867 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 95.867 * [taylor]: Taking taylor expansion of (/ -1 y) in y 95.867 * [taylor]: Taking taylor expansion of -1 in y 95.867 * [taylor]: Taking taylor expansion of y in y 95.868 * [taylor]: Taking taylor expansion of 0 in y 95.868 * [taylor]: Taking taylor expansion of 0 in y 95.869 * [taylor]: Taking taylor expansion of 0 in y 95.869 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 95.869 * [approximate]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in (z y) around 0 95.869 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in y 95.869 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 95.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 95.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 95.869 * [taylor]: Taking taylor expansion of 1/3 in y 95.869 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 95.869 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 95.869 * [taylor]: Taking taylor expansion of (cos y) in y 95.869 * [taylor]: Taking taylor expansion of y in y 95.870 * [taylor]: Taking taylor expansion of z in y 95.870 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z 95.870 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z 95.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z 95.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z 95.870 * [taylor]: Taking taylor expansion of 1/3 in z 95.870 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z 95.870 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 95.870 * [taylor]: Taking taylor expansion of (cos y) in z 95.870 * [taylor]: Taking taylor expansion of y in z 95.870 * [taylor]: Taking taylor expansion of z in z 95.870 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z 95.870 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z 95.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z 95.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z 95.870 * [taylor]: Taking taylor expansion of 1/3 in z 95.870 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z 95.870 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 95.870 * [taylor]: Taking taylor expansion of (cos y) in z 95.870 * [taylor]: Taking taylor expansion of y in z 95.871 * [taylor]: Taking taylor expansion of z in z 95.871 * [taylor]: Taking taylor expansion of 0 in y 95.871 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 95.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 95.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 95.872 * [taylor]: Taking taylor expansion of 1/3 in y 95.872 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 95.872 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 95.872 * [taylor]: Taking taylor expansion of (cos y) in y 95.872 * [taylor]: Taking taylor expansion of y in y 95.873 * [taylor]: Taking taylor expansion of 0 in y 95.874 * [taylor]: Taking taylor expansion of 0 in y 95.875 * [approximate]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in (z y) around 0 95.875 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in y 95.875 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 95.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 95.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 95.875 * [taylor]: Taking taylor expansion of 1/3 in y 95.875 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 95.875 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 95.875 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 95.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y 95.875 * [taylor]: Taking taylor expansion of y in y 95.875 * [taylor]: Taking taylor expansion of (/ 1 z) in y 95.875 * [taylor]: Taking taylor expansion of z in y 95.875 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z 95.875 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z 95.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z 95.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z 95.875 * [taylor]: Taking taylor expansion of 1/3 in z 95.875 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z 95.875 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 95.875 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 95.875 * [taylor]: Taking taylor expansion of (/ 1 y) in z 95.875 * [taylor]: Taking taylor expansion of y in z 95.876 * [taylor]: Taking taylor expansion of (/ 1 z) in z 95.876 * [taylor]: Taking taylor expansion of z in z 95.876 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z 95.876 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z 95.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z 95.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z 95.876 * [taylor]: Taking taylor expansion of 1/3 in z 95.876 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z 95.876 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 95.876 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 95.876 * [taylor]: Taking taylor expansion of (/ 1 y) in z 95.876 * [taylor]: Taking taylor expansion of y in z 95.877 * [taylor]: Taking taylor expansion of (/ 1 z) in z 95.877 * [taylor]: Taking taylor expansion of z in z 95.877 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 95.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 95.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 95.877 * [taylor]: Taking taylor expansion of 1/3 in y 95.877 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 95.877 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 95.877 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 95.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y 95.877 * [taylor]: Taking taylor expansion of y in y 95.878 * [taylor]: Taking taylor expansion of 0 in y 95.880 * [taylor]: Taking taylor expansion of 0 in y 95.883 * [taylor]: Taking taylor expansion of 0 in y 95.883 * [approximate]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in (z y) around 0 95.883 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in y 95.883 * [taylor]: Taking taylor expansion of -1 in y 95.883 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in y 95.883 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 95.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 95.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 95.883 * [taylor]: Taking taylor expansion of 1/3 in y 95.883 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 95.883 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 95.883 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 95.883 * [taylor]: Taking taylor expansion of (/ -1 y) in y 95.883 * [taylor]: Taking taylor expansion of -1 in y 95.883 * [taylor]: Taking taylor expansion of y in y 95.884 * [taylor]: Taking taylor expansion of (/ 1 z) in y 95.884 * [taylor]: Taking taylor expansion of z in y 95.884 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z 95.884 * [taylor]: Taking taylor expansion of -1 in z 95.884 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z 95.884 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z 95.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z 95.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z 95.884 * [taylor]: Taking taylor expansion of 1/3 in z 95.884 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z 95.884 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 95.884 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 95.884 * [taylor]: Taking taylor expansion of (/ -1 y) in z 95.884 * [taylor]: Taking taylor expansion of -1 in z 95.884 * [taylor]: Taking taylor expansion of y in z 95.884 * [taylor]: Taking taylor expansion of (/ 1 z) in z 95.884 * [taylor]: Taking taylor expansion of z in z 95.884 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z 95.885 * [taylor]: Taking taylor expansion of -1 in z 95.885 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z 95.885 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z 95.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z 95.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z 95.885 * [taylor]: Taking taylor expansion of 1/3 in z 95.885 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z 95.885 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 95.885 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 95.885 * [taylor]: Taking taylor expansion of (/ -1 y) in z 95.885 * [taylor]: Taking taylor expansion of -1 in z 95.885 * [taylor]: Taking taylor expansion of y in z 95.885 * [taylor]: Taking taylor expansion of (/ 1 z) in z 95.885 * [taylor]: Taking taylor expansion of z in z 95.886 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 95.886 * [taylor]: Taking taylor expansion of -1 in y 95.886 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 95.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 95.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 95.886 * [taylor]: Taking taylor expansion of 1/3 in y 95.886 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 95.886 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 95.886 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 95.886 * [taylor]: Taking taylor expansion of (/ -1 y) in y 95.886 * [taylor]: Taking taylor expansion of -1 in y 95.886 * [taylor]: Taking taylor expansion of y in y 95.888 * [taylor]: Taking taylor expansion of 0 in y 95.894 * [taylor]: Taking taylor expansion of 0 in y 95.896 * [taylor]: Taking taylor expansion of 0 in y 95.897 * * * [progress]: simplifying candidates 95.898 * [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))) (* 1/2 (cos (* 2 y))) (+ (cos (+ y y)) (cos (- y y))) (+ 1 1) (* (cos y) (cos y)) (+ 1 1) (+ (log (cos y)) (log (cos y))) (log (* (cos y) (cos y))) (exp (* (cos y) (cos y))) (* (* (* (cos y) (cos y)) (cos y)) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* (cos y) (cos y))) (cbrt (* (cos y) (cos y)))) (cbrt (* (cos y) (cos y))) (* (* (* (cos y) (cos y)) (* (cos y) (cos y))) (* (cos y) (cos y))) (sqrt (* (cos y) (cos y))) (sqrt (* (cos y) (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* 1 1) (* (cos y) (cos y)) (* (sqrt (cos y)) (sqrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* 2 1) (* (cos y) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (sqrt (cos y))) (* (cos y) 1) (* (cbrt (cos y)) (cos y)) (* (sqrt (cos y)) (cos y)) (* (cos y) (cos y)) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y))) (+ (+ (log z) (* (+ (log (cos y)) (log (cos y))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (* (log (* (cos y) (cos y))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (* (log (* (cos y) (cos y))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (log (pow (* (cos y) (cos y)) 1/3))) (log (cbrt (cos y)))) (+ (log (* z (pow (* (cos y) (cos y)) 1/3))) (log (cbrt (cos y)))) (log (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (exp (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* (* (* z z) z) (* (cos y) (cos y))) (cos y)) (* (* (* (* z z) z) (* (* (pow (* (cos y) (cos y)) 1/3) (pow (* (cos y) (cos y)) 1/3)) (pow (* (cos y) (cos y)) 1/3))) (cos y)) (* (* (* (* z (pow (* (cos y) (cos y)) 1/3)) (* z (pow (* (cos y) (cos y)) 1/3))) (* z (pow (* (cos y) (cos y)) 1/3))) (cos y)) (* (cbrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (cbrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y))))) (cbrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (sqrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (sqrt (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (sqrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt 1)) (* (* z (pow (* (cos y) (cos y)) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* z (pow (* (cos y) (cos y)) 1/3)) (sqrt (cbrt (cos y)))) (* (* z (pow (* (cos y) (cos y)) 1/3)) 1) (* (pow (* (cos y) (cos y)) 1/3) (cbrt (cos y))) (+ (log z) (* (+ (log (cos y)) (log (cos y))) 1/3)) (+ (log z) (* (log (* (cos y) (cos y))) 1/3)) (+ (log z) (* (log (* (cos y) (cos y))) 1/3)) (+ (log z) (log (pow (* (cos y) (cos y)) 1/3))) (log (* z (pow (* (cos y) (cos y)) 1/3))) (exp (* z (pow (* (cos y) (cos y)) 1/3))) (* (* (* z z) z) (* (cos y) (cos y))) (* (* (* z z) z) (* (* (pow (* (cos y) (cos y)) 1/3) (pow (* (cos y) (cos y)) 1/3)) (pow (* (cos y) (cos y)) 1/3))) (* (cbrt (* z (pow (* (cos y) (cos y)) 1/3))) (cbrt (* z (pow (* (cos y) (cos y)) 1/3)))) (cbrt (* z (pow (* (cos y) (cos y)) 1/3))) (* (* (* z (pow (* (cos y) (cos y)) 1/3)) (* z (pow (* (cos y) (cos y)) 1/3))) (* z (pow (* (cos y) (cos y)) 1/3))) (sqrt (* z (pow (* (cos y) (cos y)) 1/3))) (sqrt (* z (pow (* (cos y) (cos y)) 1/3))) (* (sqrt z) (pow (cos y) 1/3)) (* (sqrt z) (pow (cos y) 1/3)) (* (sqrt z) (sqrt (pow (* (cos y) (cos y)) 1/3))) (* (sqrt z) (sqrt (pow (* (cos y) (cos y)) 1/3))) (* (sqrt z) (pow (* (cos y) (cos y)) (/ 1/3 2))) (* (sqrt z) (pow (* (cos y) (cos y)) (/ 1/3 2))) (* z (pow (cos y) 1/3)) (* z (* (cbrt (pow (* (cos y) (cos y)) 1/3)) (cbrt (pow (* (cos y) (cos y)) 1/3)))) (* z (sqrt (pow (* (cos y) (cos y)) 1/3))) (* z 1) (* z (pow (* (cos y) (cos y)) (/ 1/3 2))) (* (cbrt z) (pow (* (cos y) (cos y)) 1/3)) (* (sqrt z) (pow (* (cos y) (cos y)) 1/3)) (* z (pow (* (cos y) (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) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) z (* (cos y) z) (* (cos y) z) z (* (pow (pow (cos y) 2) 1/3) z) (* (pow (pow (cos y) 2) 1/3) z) 95.899 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.899 * * [simplify]: iteration done : 4 enodes (cost 4 ) 95.900 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.900 * * [simplify]: iteration done : 4 enodes (cost 4 ) 95.900 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 95.901 * * [simplify]: iteration done : 5 enodes (cost 8 ) 95.902 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.902 * * [simplify]: iteration done : 4 enodes (cost 4 ) 95.902 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.903 * * [simplify]: iteration done : 4 enodes (cost 4 ) 95.903 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.904 * * [simplify]: iteration done : 4 enodes (cost 4 ) 95.904 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 95.904 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 95.905 * * [simplify]: iteration done : 4 enodes (cost 1 ) 95.905 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 95.905 * * [simplify]: iteration done : 3 enodes (cost 3 ) 95.906 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 95.906 * * [simplify]: iteration done : 5 enodes (cost 9 ) 95.907 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 95.908 * * [simplify]: iteration done : 4 enodes (cost 4 ) 95.908 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 95.909 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 95.909 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 95.910 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 95.912 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 95.914 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 95.917 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 95.926 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 95.974 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 96.419 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 99.062 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 99.062 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 99.063 * * [simplify]: iteration done : 4 enodes (cost 4 ) 99.063 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 99.064 * * [simplify]: iteration done : 4 enodes (cost 4 ) 99.064 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 99.065 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 99.066 * * [simplify]: iteration done : 8 enodes (cost 6 ) 99.067 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 99.067 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 99.068 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 99.069 * * [simplify]: iteration done : 15 enodes (cost 6 ) 99.070 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 99.070 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 99.071 * * [simplify]: iteration done : 6 enodes (cost 1 ) 99.071 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 99.071 * * [simplify]: iteration done : 3 enodes (cost 5 ) 99.072 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 99.072 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 99.073 * * [simplify]: iteration done : 6 enodes (cost 1 ) 99.074 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 99.074 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 99.075 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 99.075 * * [simplify]: iteration done : 7 enodes (cost 5 ) 99.076 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 99.076 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 99.077 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 99.078 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 99.079 * * [simplify]: iteration done : 9 enodes (cost 5 ) 99.079 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 99.080 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 99.081 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 99.082 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 99.084 * * [simplify]: iteration 4 : 33 enodes (cost 6 ) 99.089 * * [simplify]: iteration 5 : 73 enodes (cost 6 ) 99.109 * * [simplify]: iteration 6 : 177 enodes (cost 6 ) 99.209 * * [simplify]: iteration 7 : 560 enodes (cost 6 ) 100.110 * * [simplify]: iteration 8 : 2247 enodes (cost 6 ) 102.281 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 102.282 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 102.282 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 102.285 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 102.288 * * [simplify]: iteration 3 : 34 enodes (cost 4 ) 102.294 * * [simplify]: iteration 4 : 67 enodes (cost 4 ) 102.314 * * [simplify]: iteration 5 : 147 enodes (cost 4 ) 102.361 * * [simplify]: iteration 6 : 370 enodes (cost 4 ) 102.728 * * [simplify]: iteration 7 : 1337 enodes (cost 4 ) 104.949 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 104.950 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 104.950 * * [simplify]: iteration done : 5 enodes (cost 13 ) 104.951 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 104.951 * * [simplify]: iteration done : 4 enodes (cost 6 ) 104.952 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 104.953 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 104.955 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 104.959 * * [simplify]: iteration 3 : 34 enodes (cost 4 ) 104.965 * * [simplify]: iteration 4 : 68 enodes (cost 4 ) 104.987 * * [simplify]: iteration 5 : 153 enodes (cost 4 ) 105.041 * * [simplify]: iteration 6 : 379 enodes (cost 4 ) 105.426 * * [simplify]: iteration 7 : 1358 enodes (cost 4 ) 107.553 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 107.554 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 107.554 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 107.555 * * [simplify]: iteration done : 5 enodes (cost 3 ) 107.555 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 107.556 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 107.556 * * [simplify]: iteration done : 5 enodes (cost 3 ) 107.557 * * [simplify]: iteration 0 : 5 enodes (cost 15 ) 107.558 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 107.559 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 107.560 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 107.563 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 107.568 * * [simplify]: iteration 5 : 61 enodes (cost 5 ) 107.578 * * [simplify]: iteration 6 : 131 enodes (cost 5 ) 107.624 * * [simplify]: iteration 7 : 348 enodes (cost 5 ) 107.988 * * [simplify]: iteration 8 : 1255 enodes (cost 5 ) 109.609 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 109.609 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 109.610 * * [simplify]: iteration done : 4 enodes (cost 7 ) 109.610 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 109.611 * * [simplify]: iteration done : 4 enodes (cost 2 ) 109.611 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 109.612 * * [simplify]: iteration done : 4 enodes (cost 2 ) 109.613 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 109.613 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 109.613 * * [simplify]: iteration done : 4 enodes (cost 1 ) 109.614 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 109.614 * * [simplify]: iteration done : 3 enodes (cost 5 ) 109.615 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 109.615 * * [simplify]: iteration done : 4 enodes (cost 2 ) 109.616 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 109.616 * * [simplify]: iteration done : 4 enodes (cost 2 ) 109.617 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 109.617 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 109.618 * * [simplify]: iteration done : 6 enodes (cost 1 ) 109.618 * * [simplify]: iteration 0 : 5 enodes (cost 10 ) 109.619 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 109.620 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 109.621 * * [simplify]: iteration done : 10 enodes (cost 10 ) 109.622 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 109.622 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 109.623 * * [simplify]: iteration done : 5 enodes (cost 6 ) 109.623 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 109.624 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 109.625 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 109.625 * * [simplify]: iteration done : 10 enodes (cost 2 ) 109.626 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 109.626 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 109.627 * * [simplify]: iteration done : 5 enodes (cost 6 ) 109.627 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 109.628 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 109.628 * * [simplify]: iteration done : 5 enodes (cost 6 ) 109.629 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 109.629 * * [simplify]: iteration done : 3 enodes (cost 5 ) 109.630 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 109.631 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 109.639 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 109.644 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 109.660 * * [simplify]: iteration 4 : 183 enodes (cost 12 ) 109.763 * * [simplify]: iteration 5 : 570 enodes (cost 12 ) 110.627 * * [simplify]: iteration 6 : 1962 enodes (cost 12 ) 113.874 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 113.875 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 113.877 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 113.879 * * [simplify]: iteration 2 : 34 enodes (cost 13 ) 113.885 * * [simplify]: iteration 3 : 52 enodes (cost 13 ) 113.892 * * [simplify]: iteration 4 : 62 enodes (cost 13 ) 113.900 * * [simplify]: iteration done : 62 enodes (cost 13 ) 113.901 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 113.902 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 113.905 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 113.909 * * [simplify]: iteration 3 : 50 enodes (cost 13 ) 113.916 * * [simplify]: iteration 4 : 62 enodes (cost 13 ) 113.925 * * [simplify]: iteration done : 62 enodes (cost 13 ) 113.926 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 113.927 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 113.932 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 113.937 * * [simplify]: iteration 3 : 50 enodes (cost 13 ) 113.945 * * [simplify]: iteration 4 : 62 enodes (cost 13 ) 113.954 * * [simplify]: iteration done : 62 enodes (cost 13 ) 113.954 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 113.956 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 113.958 * * [simplify]: iteration 2 : 41 enodes (cost 15 ) 113.963 * * [simplify]: iteration 3 : 72 enodes (cost 15 ) 113.977 * * [simplify]: iteration 4 : 172 enodes (cost 13 ) 114.035 * * [simplify]: iteration 5 : 458 enodes (cost 13 ) 114.376 * * [simplify]: iteration 6 : 1388 enodes (cost 13 ) 117.087 * * [simplify]: iteration 7 : 4914 enodes (cost 13 ) 118.252 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 118.253 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 118.254 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 118.257 * * [simplify]: iteration 2 : 41 enodes (cost 14 ) 118.262 * * [simplify]: iteration 3 : 81 enodes (cost 14 ) 118.281 * * [simplify]: iteration 4 : 201 enodes (cost 14 ) 118.362 * * [simplify]: iteration 5 : 628 enodes (cost 13 ) 118.901 * * [simplify]: iteration 6 : 1984 enodes (cost 13 ) 121.450 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 121.451 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 121.452 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 121.455 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 121.462 * * [simplify]: iteration 3 : 105 enodes (cost 13 ) 121.490 * * [simplify]: iteration 4 : 274 enodes (cost 13 ) 121.626 * * [simplify]: iteration 5 : 828 enodes (cost 13 ) 122.653 * * [simplify]: iteration 6 : 2837 enodes (cost 12 ) 125.240 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 125.241 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 125.242 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 125.246 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 125.253 * * [simplify]: iteration 3 : 115 enodes (cost 13 ) 125.283 * * [simplify]: iteration 4 : 335 enodes (cost 13 ) 125.429 * * [simplify]: iteration 5 : 1139 enodes (cost 13 ) 127.004 * * [simplify]: iteration 6 : 4953 enodes (cost 13 ) 128.158 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 128.158 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 128.159 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 128.168 * * [simplify]: iteration 2 : 46 enodes (cost 12 ) 128.179 * * [simplify]: iteration 3 : 87 enodes (cost 8 ) 128.202 * * [simplify]: iteration 4 : 117 enodes (cost 6 ) 128.240 * * [simplify]: iteration 5 : 193 enodes (cost 6 ) 128.332 * * [simplify]: iteration 6 : 438 enodes (cost 6 ) 128.755 * * [simplify]: iteration 7 : 1401 enodes (cost 6 ) 130.623 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 130.624 * * [simplify]: iteration 0 : 12 enodes (cost 32 ) 130.626 * * [simplify]: iteration 1 : 31 enodes (cost 23 ) 130.631 * * [simplify]: iteration 2 : 98 enodes (cost 15 ) 130.667 * * [simplify]: iteration 3 : 348 enodes (cost 12 ) 131.035 * * [simplify]: iteration 4 : 1645 enodes (cost 8 ) 133.023 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 133.024 * * [simplify]: iteration 0 : 10 enodes (cost 32 ) 133.025 * * [simplify]: iteration 1 : 30 enodes (cost 29 ) 133.031 * * [simplify]: iteration 2 : 103 enodes (cost 13 ) 133.079 * * [simplify]: iteration 3 : 429 enodes (cost 13 ) 133.702 * * [simplify]: iteration 4 : 2005 enodes (cost 12 ) 136.147 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 136.148 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 136.149 * * [simplify]: iteration 1 : 21 enodes (cost 27 ) 136.152 * * [simplify]: iteration 2 : 39 enodes (cost 27 ) 136.158 * * [simplify]: iteration 3 : 75 enodes (cost 27 ) 136.181 * * [simplify]: iteration 4 : 187 enodes (cost 27 ) 136.285 * * [simplify]: iteration 5 : 566 enodes (cost 27 ) 137.167 * * [simplify]: iteration 6 : 2024 enodes (cost 27 ) 140.122 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 140.123 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 140.124 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 140.127 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 140.133 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 140.150 * * [simplify]: iteration 4 : 187 enodes (cost 13 ) 140.252 * * [simplify]: iteration 5 : 562 enodes (cost 13 ) 141.345 * * [simplify]: iteration 6 : 2013 enodes (cost 13 ) 144.361 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 144.362 * * [simplify]: iteration 0 : 11 enodes (cost 41 ) 144.364 * * [simplify]: iteration 1 : 31 enodes (cost 38 ) 144.370 * * [simplify]: iteration 2 : 113 enodes (cost 14 ) 144.438 * * [simplify]: iteration 3 : 588 enodes (cost 14 ) 145.810 * * [simplify]: iteration 4 : 3434 enodes (cost 12 ) 147.948 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 147.949 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 147.950 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 147.952 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 147.958 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 147.979 * * [simplify]: iteration 4 : 187 enodes (cost 13 ) 148.083 * * [simplify]: iteration 5 : 562 enodes (cost 13 ) 148.988 * * [simplify]: iteration 6 : 2013 enodes (cost 13 ) 152.021 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 152.022 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 152.023 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 152.026 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 152.031 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 152.048 * * [simplify]: iteration 4 : 187 enodes (cost 13 ) 152.149 * * [simplify]: iteration 5 : 562 enodes (cost 13 ) 153.022 * * [simplify]: iteration 6 : 2013 enodes (cost 13 ) 155.998 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 155.999 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 156.000 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 156.002 * * [simplify]: iteration 2 : 39 enodes (cost 17 ) 156.008 * * [simplify]: iteration 3 : 75 enodes (cost 17 ) 156.025 * * [simplify]: iteration 4 : 181 enodes (cost 17 ) 156.124 * * [simplify]: iteration 5 : 548 enodes (cost 17 ) 156.935 * * [simplify]: iteration 6 : 1943 enodes (cost 17 ) 159.966 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 159.966 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 159.968 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 159.970 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 159.981 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 159.998 * * [simplify]: iteration 4 : 193 enodes (cost 13 ) 160.106 * * [simplify]: iteration 5 : 592 enodes (cost 13 ) 160.989 * * [simplify]: iteration 6 : 2038 enodes (cost 13 ) 163.802 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 163.803 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 163.809 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 163.811 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 163.818 * * [simplify]: iteration 3 : 78 enodes (cost 8 ) 163.838 * * [simplify]: iteration 4 : 170 enodes (cost 8 ) 163.916 * * [simplify]: iteration 5 : 409 enodes (cost 8 ) 164.318 * * [simplify]: iteration 6 : 1105 enodes (cost 8 ) 167.739 * * [simplify]: iteration 7 : 3792 enodes (cost 8 ) 170.603 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 170.604 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 170.605 * * [simplify]: iteration 1 : 23 enodes (cost 18 ) 170.608 * * [simplify]: iteration 2 : 50 enodes (cost 18 ) 170.617 * * [simplify]: iteration 3 : 118 enodes (cost 18 ) 170.659 * * [simplify]: iteration 4 : 316 enodes (cost 18 ) 170.914 * * [simplify]: iteration 5 : 986 enodes (cost 18 ) 173.168 * * [simplify]: iteration 6 : 3504 enodes (cost 18 ) 176.286 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 176.287 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 176.288 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 176.295 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 176.300 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 176.318 * * [simplify]: iteration 4 : 193 enodes (cost 13 ) 176.425 * * [simplify]: iteration 5 : 592 enodes (cost 13 ) 177.306 * * [simplify]: iteration 6 : 2038 enodes (cost 13 ) 180.078 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 180.079 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 180.080 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 180.083 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 180.092 * * [simplify]: iteration 3 : 95 enodes (cost 8 ) 180.113 * * [simplify]: iteration 4 : 176 enodes (cost 8 ) 180.179 * * [simplify]: iteration 5 : 397 enodes (cost 8 ) 180.545 * * [simplify]: iteration 6 : 1097 enodes (cost 8 ) 183.664 * * [simplify]: iteration 7 : 3821 enodes (cost 8 ) 186.648 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 186.649 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 186.650 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 186.651 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 186.659 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 186.666 * * [simplify]: iteration 4 : 87 enodes (cost 10 ) 186.690 * * [simplify]: iteration 5 : 230 enodes (cost 10 ) 186.875 * * [simplify]: iteration 6 : 753 enodes (cost 10 ) 188.844 * * [simplify]: iteration 7 : 3060 enodes (cost 10 ) 193.007 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 193.008 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 193.009 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 193.010 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 193.013 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 193.017 * * [simplify]: iteration done : 32 enodes (cost 8 ) 193.017 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 193.018 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 193.020 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 193.022 * * [simplify]: iteration 3 : 30 enodes (cost 8 ) 193.026 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 193.030 * * [simplify]: iteration done : 34 enodes (cost 8 ) 193.031 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 193.032 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 193.033 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 193.036 * * [simplify]: iteration 3 : 30 enodes (cost 8 ) 193.039 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 193.043 * * [simplify]: iteration done : 34 enodes (cost 8 ) 193.043 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 193.044 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 193.047 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 193.050 * * [simplify]: iteration 3 : 52 enodes (cost 10 ) 193.058 * * [simplify]: iteration 4 : 118 enodes (cost 8 ) 193.090 * * [simplify]: iteration 5 : 299 enodes (cost 8 ) 193.247 * * [simplify]: iteration 6 : 878 enodes (cost 8 ) 194.356 * * [simplify]: iteration 7 : 3029 enodes (cost 8 ) 196.062 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 196.068 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 196.069 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 196.071 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 196.076 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 196.086 * * [simplify]: iteration 4 : 158 enodes (cost 9 ) 196.143 * * [simplify]: iteration 5 : 462 enodes (cost 8 ) 196.477 * * [simplify]: iteration 6 : 1423 enodes (cost 8 ) 198.953 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 198.954 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 198.955 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 198.957 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 198.960 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 198.971 * * [simplify]: iteration 4 : 168 enodes (cost 9 ) 199.020 * * [simplify]: iteration 5 : 557 enodes (cost 9 ) 199.550 * * [simplify]: iteration 6 : 2391 enodes (cost 9 ) 200.678 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 200.679 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 200.680 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 200.682 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 200.692 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 200.701 * * [simplify]: iteration 4 : 67 enodes (cost 9 ) 200.716 * * [simplify]: iteration 5 : 99 enodes (cost 9 ) 200.746 * * [simplify]: iteration 6 : 184 enodes (cost 9 ) 200.852 * * [simplify]: iteration 7 : 462 enodes (cost 9 ) 201.502 * * [simplify]: iteration 8 : 1493 enodes (cost 9 ) 204.068 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 204.069 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 204.071 * * [simplify]: iteration 1 : 27 enodes (cost 20 ) 204.075 * * [simplify]: iteration 2 : 73 enodes (cost 12 ) 204.097 * * [simplify]: iteration 3 : 220 enodes (cost 9 ) 204.250 * * [simplify]: iteration 4 : 864 enodes (cost 9 ) 206.616 * * [simplify]: iteration 5 : 4119 enodes (cost 9 ) 209.208 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 209.209 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 209.210 * * [simplify]: iteration 1 : 16 enodes (cost 19 ) 209.212 * * [simplify]: iteration 2 : 26 enodes (cost 19 ) 209.214 * * [simplify]: iteration 3 : 44 enodes (cost 19 ) 209.221 * * [simplify]: iteration 4 : 90 enodes (cost 19 ) 209.252 * * [simplify]: iteration 5 : 237 enodes (cost 19 ) 209.440 * * [simplify]: iteration 6 : 767 enodes (cost 19 ) 211.431 * * [simplify]: iteration 7 : 3060 enodes (cost 19 ) 213.975 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 213.976 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 213.980 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 213.982 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 213.985 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 213.991 * * [simplify]: iteration 4 : 92 enodes (cost 9 ) 214.016 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 214.209 * * [simplify]: iteration 6 : 783 enodes (cost 9 ) 216.548 * * [simplify]: iteration 7 : 3094 enodes (cost 9 ) 220.132 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 220.133 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 220.134 * * [simplify]: iteration 1 : 26 enodes (cost 26 ) 220.139 * * [simplify]: iteration 2 : 78 enodes (cost 10 ) 220.163 * * [simplify]: iteration 3 : 255 enodes (cost 10 ) 220.413 * * [simplify]: iteration 4 : 971 enodes (cost 9 ) 223.183 * * [simplify]: iteration 5 : 4017 enodes (cost 9 ) 226.163 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 226.164 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 226.165 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 226.167 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 226.170 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 226.177 * * [simplify]: iteration 4 : 92 enodes (cost 9 ) 226.206 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 226.400 * * [simplify]: iteration 6 : 783 enodes (cost 9 ) 228.543 * * [simplify]: iteration 7 : 3094 enodes (cost 9 ) 232.154 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 232.155 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 232.156 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 232.158 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 232.161 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 232.168 * * [simplify]: iteration 4 : 92 enodes (cost 9 ) 232.198 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 232.398 * * [simplify]: iteration 6 : 783 enodes (cost 9 ) 234.542 * * [simplify]: iteration 7 : 3094 enodes (cost 9 ) 238.151 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 238.152 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 238.158 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 238.159 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 238.162 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 238.168 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 238.199 * * [simplify]: iteration 5 : 238 enodes (cost 6 ) 238.388 * * [simplify]: iteration 6 : 770 enodes (cost 6 ) 240.489 * * [simplify]: iteration 7 : 3081 enodes (cost 6 ) 243.589 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 243.590 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 243.591 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 243.592 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 243.595 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 243.602 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 243.632 * * [simplify]: iteration 5 : 238 enodes (cost 6 ) 243.824 * * [simplify]: iteration 6 : 770 enodes (cost 6 ) 245.964 * * [simplify]: iteration 7 : 3081 enodes (cost 6 ) 248.822 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 248.823 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 248.824 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 248.826 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 248.829 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 248.832 * * [simplify]: iteration 4 : 55 enodes (cost 10 ) 248.841 * * [simplify]: iteration 5 : 115 enodes (cost 10 ) 248.890 * * [simplify]: iteration 6 : 337 enodes (cost 10 ) 249.345 * * [simplify]: iteration 7 : 1266 enodes (cost 10 ) 251.706 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 251.706 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 251.707 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 251.709 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 251.711 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 251.715 * * [simplify]: iteration 4 : 55 enodes (cost 10 ) 251.724 * * [simplify]: iteration 5 : 115 enodes (cost 10 ) 251.774 * * [simplify]: iteration 6 : 337 enodes (cost 10 ) 252.222 * * [simplify]: iteration 7 : 1266 enodes (cost 10 ) 254.589 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 254.589 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 254.591 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 254.593 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 254.596 * * [simplify]: iteration 3 : 46 enodes (cost 10 ) 254.602 * * [simplify]: iteration 4 : 94 enodes (cost 10 ) 254.630 * * [simplify]: iteration 5 : 241 enodes (cost 10 ) 254.819 * * [simplify]: iteration 6 : 772 enodes (cost 10 ) 256.928 * * [simplify]: iteration 7 : 3097 enodes (cost 10 ) 259.655 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 259.656 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 259.657 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 259.659 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 259.661 * * [simplify]: iteration 3 : 46 enodes (cost 10 ) 259.673 * * [simplify]: iteration 4 : 94 enodes (cost 10 ) 259.698 * * [simplify]: iteration 5 : 241 enodes (cost 10 ) 259.887 * * [simplify]: iteration 6 : 772 enodes (cost 10 ) 261.992 * * [simplify]: iteration 7 : 3097 enodes (cost 10 ) 264.772 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 264.773 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 264.774 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 264.775 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 264.778 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 264.785 * * [simplify]: iteration 4 : 91 enodes (cost 5 ) 264.813 * * [simplify]: iteration 5 : 234 enodes (cost 5 ) 265.008 * * [simplify]: iteration 6 : 770 enodes (cost 5 ) 267.141 * * [simplify]: iteration 7 : 3065 enodes (cost 5 ) 270.094 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 270.095 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 270.096 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 270.098 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 270.101 * * [simplify]: iteration 3 : 36 enodes (cost 17 ) 270.109 * * [simplify]: iteration 4 : 58 enodes (cost 17 ) 270.120 * * [simplify]: iteration 5 : 118 enodes (cost 17 ) 270.168 * * [simplify]: iteration 6 : 329 enodes (cost 17 ) 270.846 * * [simplify]: iteration 7 : 1260 enodes (cost 17 ) 273.227 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 273.228 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 273.230 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 273.232 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 273.234 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 273.238 * * [simplify]: iteration 4 : 54 enodes (cost 9 ) 273.247 * * [simplify]: iteration 5 : 119 enodes (cost 9 ) 273.297 * * [simplify]: iteration 6 : 332 enodes (cost 9 ) 273.760 * * [simplify]: iteration 7 : 1255 enodes (cost 9 ) 276.110 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 276.111 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 276.111 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 276.111 * * [simplify]: iteration done : 6 enodes (cost 1 ) 276.112 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 276.113 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 276.115 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 276.118 * * [simplify]: iteration 3 : 45 enodes (cost 9 ) 276.125 * * [simplify]: iteration 4 : 95 enodes (cost 9 ) 276.157 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 276.351 * * [simplify]: iteration 6 : 772 enodes (cost 9 ) 278.491 * * [simplify]: iteration 7 : 3071 enodes (cost 9 ) 282.108 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 282.109 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 282.110 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 282.112 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 282.114 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 282.121 * * [simplify]: iteration 4 : 91 enodes (cost 9 ) 282.147 * * [simplify]: iteration 5 : 239 enodes (cost 9 ) 282.342 * * [simplify]: iteration 6 : 764 enodes (cost 9 ) 284.337 * * [simplify]: iteration 7 : 3053 enodes (cost 9 ) 287.167 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 287.168 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 287.169 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 287.170 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 287.179 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 287.186 * * [simplify]: iteration 4 : 91 enodes (cost 9 ) 287.211 * * [simplify]: iteration 5 : 239 enodes (cost 9 ) 287.405 * * [simplify]: iteration 6 : 764 enodes (cost 9 ) 289.409 * * [simplify]: iteration 7 : 3053 enodes (cost 9 ) 292.269 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 292.270 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 292.271 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 292.273 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 292.275 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 292.287 * * [simplify]: iteration 4 : 87 enodes (cost 8 ) 292.311 * * [simplify]: iteration 5 : 238 enodes (cost 8 ) 292.501 * * [simplify]: iteration 6 : 768 enodes (cost 8 ) 294.696 * * [simplify]: iteration 7 : 3075 enodes (cost 8 ) 297.093 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 297.093 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 297.096 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 297.101 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 297.116 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 297.253 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 297.956 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 300.115 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 300.116 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 300.116 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 300.117 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 300.119 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 300.121 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 300.130 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 300.178 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 300.652 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 303.102 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 303.102 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 303.103 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 303.104 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 303.105 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 303.108 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 303.117 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 303.165 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 303.636 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 306.046 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 306.047 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 306.049 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 306.053 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 306.067 * * [simplify]: iteration 3 : 145 enodes (cost 11 ) 306.144 * * [simplify]: iteration 4 : 414 enodes (cost 11 ) 306.319 * * [simplify]: iteration 5 : 967 enodes (cost 11 ) 308.274 * * [simplify]: iteration 6 : 4256 enodes (cost 11 ) 311.421 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 311.422 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 311.423 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 311.424 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 311.425 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 311.428 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 311.437 * * [simplify]: iteration 5 : 117 enodes (cost 4 ) 311.488 * * [simplify]: iteration 6 : 333 enodes (cost 4 ) 311.978 * * [simplify]: iteration 7 : 1365 enodes (cost 4 ) 314.102 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 314.102 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 314.103 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 314.104 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 314.106 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 314.109 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 314.118 * * [simplify]: iteration 5 : 117 enodes (cost 4 ) 314.168 * * [simplify]: iteration 6 : 333 enodes (cost 4 ) 314.646 * * [simplify]: iteration 7 : 1365 enodes (cost 4 ) 316.739 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 316.739 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 316.740 * * [simplify]: iteration done : 1 enodes (cost 1 ) 316.740 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 316.741 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 316.741 * * [simplify]: iteration done : 5 enodes (cost 4 ) 316.742 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 316.742 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 316.743 * * [simplify]: iteration done : 5 enodes (cost 4 ) 316.743 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 316.743 * * [simplify]: iteration done : 1 enodes (cost 1 ) 316.744 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 316.745 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 316.747 * * [simplify]: iteration 2 : 37 enodes (cost 7 ) 316.751 * * [simplify]: iteration 3 : 66 enodes (cost 7 ) 316.766 * * [simplify]: iteration 4 : 135 enodes (cost 7 ) 316.801 * * [simplify]: iteration 5 : 346 enodes (cost 7 ) 317.051 * * [simplify]: iteration 6 : 1089 enodes (cost 7 ) 319.570 * * [simplify]: iteration 7 : 4387 enodes (cost 7 ) 322.315 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 322.315 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 322.316 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 322.319 * * [simplify]: iteration 2 : 37 enodes (cost 7 ) 322.323 * * [simplify]: iteration 3 : 66 enodes (cost 7 ) 322.332 * * [simplify]: iteration 4 : 135 enodes (cost 7 ) 322.371 * * [simplify]: iteration 5 : 346 enodes (cost 7 ) 322.623 * * [simplify]: iteration 6 : 1089 enodes (cost 7 ) 325.123 * * [simplify]: iteration 7 : 4387 enodes (cost 7 ) 327.616 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 327.617 * [simplify]: Simplified to: (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))) 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))) (* 1/2 (cos (* 2 y))) (+ 1 (cos (+ y y))) 2 (* (cos y) (cos y)) 2 (* 2 (log (cos y))) (* 2 (log (cos y))) (exp (* (cos y) (cos y))) (pow (cos y) 6) (* (cbrt (* (cos y) (cos y))) (cbrt (* (cos y) (cos y)))) (cbrt (* (cos y) (cos y))) (pow (cos y) 6) (fabs (cos y)) (fabs (cos y)) (pow (cbrt (cos y)) 4) (* (cbrt (cos y)) (cbrt (cos y))) (cos y) (cos y) 1 (* (cos y) (cos y)) (cos y) (cos y) 2 (* (cos y) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (sqrt (cos y))) (cos y) (* (cbrt (cos y)) (cos y)) (* (sqrt (cos y)) (cos y)) (* (cos y) (cos y)) (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z)) (+ (* 2/3 (log (cos y))) (+ (log z) (log (cbrt (cos y))))) (+ (+ (log (cbrt (cos y))) (log z)) (* 2/3 (log (cos y)))) (+ (+ (log (cbrt (cos y))) (log z)) (* 2/3 (log (cos y)))) (+ (log (cbrt (cos y))) (+ (* (log (cos y)) 2/3) (log z))) (+ (log (cbrt (cos y))) (+ (log z) (* 2/3 (log (cos y))))) (+ (log (* z (cbrt (cos y)))) (* (log (cos y)) 2/3)) (exp (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (pow (* z (cos y)) 3) (* (pow z 3) (pow (cos y) 3)) (* (* (* (cos y) (cos y)) (pow z 3)) (cos y)) (* (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z)))) (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (* (* (cos y) (cos y)) (* (cos y) (pow z 3))) (sqrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (sqrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) z))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (sqrt (cos y))) (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (* (cos y) (cos y))) z) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (* (cos y) (cos y))) z)) (* (sqrt (cbrt (cos y))) (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (* (cos y) (cos y))) z) (* (cbrt (cos y)) (cbrt (* (cos y) (cos y)))) (+ (* 2/3 (log (cos y))) (log z)) (+ (* 2/3 (log (cos y))) (log z)) (+ (* 2/3 (log (cos y))) (log z)) (+ (* (log (cos y)) 2/3) (log z)) (+ (log z) (* 2/3 (log (cos y)))) (exp (* (cbrt (* (cos y) (cos y))) z)) (* (* (cos y) (cos y)) (pow z 3)) (* (pow z 3) (* (cos y) (cos y))) (* (cbrt (* (cbrt (* (cos y) (cos y))) z)) (cbrt (* (cbrt (* (cos y) (cos y))) z))) (cbrt (* (cbrt (* (cos y) (cos y))) z)) (* (* (cos y) (cos y)) (pow z 3)) (sqrt (* (cbrt (* (cos y) (cos y))) z)) (sqrt (* (cbrt (* (cos y) (cos y))) z)) (* (cbrt (cos y)) (sqrt z)) (* (cbrt (cos y)) (sqrt z)) (* (sqrt (cbrt (* (cos y) (cos y)))) (sqrt z)) (* (sqrt (cbrt (* (cos y) (cos y)))) (sqrt z)) (* (pow (* (cos y) (cos y)) 1/6) (sqrt z)) (* (pow (* (cos y) (cos y)) 1/6) (sqrt z)) (* (cbrt (cos y)) z) (* (* (cbrt (cbrt (* (cos y) (cos y)))) (cbrt (cbrt (* (cos y) (cos y))))) z) (* (sqrt (cbrt (* (cos y) (cos y)))) z) z (* (pow (* (cos y) (cos y)) 1/6) z) (* (cbrt z) (cbrt (* (cos y) (cos y)))) (* (sqrt z) (cbrt (* (cos y) (cos y)))) (* (cbrt (* (cos y) (cos y))) z) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) z (* (cos y) z) (* (cos y) z) z (* (cbrt (pow (cos y) 2)) z) (* (cbrt (pow (cos y) 2)) z) 327.618 * * * [progress]: adding candidates to table 327.732 * * [progress]: iteration 4 / 4 327.732 * * * [progress]: picking best candidate 327.773 * * * * [pick]: Picked # 327.773 * * * [progress]: localizing error 327.790 * * * [progress]: generating rewritten candidates 327.790 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 327.792 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 327.794 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 327.796 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 327.808 * * * [progress]: generating series expansions 327.808 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 327.808 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 327.808 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 327.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 327.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 327.808 * [taylor]: Taking taylor expansion of 1/3 in y 327.808 * [taylor]: Taking taylor expansion of (log (cos y)) in y 327.808 * [taylor]: Taking taylor expansion of (cos y) in y 327.808 * [taylor]: Taking taylor expansion of y in y 327.808 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 327.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 327.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 327.808 * [taylor]: Taking taylor expansion of 1/3 in y 327.808 * [taylor]: Taking taylor expansion of (log (cos y)) in y 327.808 * [taylor]: Taking taylor expansion of (cos y) in y 327.808 * [taylor]: Taking taylor expansion of y in y 327.811 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 327.811 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 327.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 327.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 327.811 * [taylor]: Taking taylor expansion of 1/3 in y 327.811 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 327.811 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.812 * [taylor]: Taking taylor expansion of y in y 327.812 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 327.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 327.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 327.812 * [taylor]: Taking taylor expansion of 1/3 in y 327.812 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 327.812 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.812 * [taylor]: Taking taylor expansion of y in y 327.820 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 327.820 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 327.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 327.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 327.820 * [taylor]: Taking taylor expansion of 1/3 in y 327.820 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 327.820 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.820 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.820 * [taylor]: Taking taylor expansion of -1 in y 327.820 * [taylor]: Taking taylor expansion of y in y 327.820 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 327.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 327.821 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 327.821 * [taylor]: Taking taylor expansion of 1/3 in y 327.821 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 327.821 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.821 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.821 * [taylor]: Taking taylor expansion of -1 in y 327.821 * [taylor]: Taking taylor expansion of y in y 327.829 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 327.829 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 327.829 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 327.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 327.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 327.829 * [taylor]: Taking taylor expansion of 1/3 in y 327.829 * [taylor]: Taking taylor expansion of (log (cos y)) in y 327.829 * [taylor]: Taking taylor expansion of (cos y) in y 327.829 * [taylor]: Taking taylor expansion of y in y 327.829 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 327.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 327.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 327.829 * [taylor]: Taking taylor expansion of 1/3 in y 327.829 * [taylor]: Taking taylor expansion of (log (cos y)) in y 327.829 * [taylor]: Taking taylor expansion of (cos y) in y 327.829 * [taylor]: Taking taylor expansion of y in y 327.832 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 327.832 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 327.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 327.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 327.833 * [taylor]: Taking taylor expansion of 1/3 in y 327.833 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 327.833 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.833 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.833 * [taylor]: Taking taylor expansion of y in y 327.833 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 327.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 327.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 327.833 * [taylor]: Taking taylor expansion of 1/3 in y 327.833 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 327.833 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.833 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.833 * [taylor]: Taking taylor expansion of y in y 327.841 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 327.841 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 327.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 327.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 327.841 * [taylor]: Taking taylor expansion of 1/3 in y 327.841 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 327.841 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.841 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.841 * [taylor]: Taking taylor expansion of -1 in y 327.841 * [taylor]: Taking taylor expansion of y in y 327.841 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 327.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 327.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 327.841 * [taylor]: Taking taylor expansion of 1/3 in y 327.842 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 327.842 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.842 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.842 * [taylor]: Taking taylor expansion of -1 in y 327.842 * [taylor]: Taking taylor expansion of y in y 327.849 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 327.850 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 327.850 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 327.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 327.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 327.850 * [taylor]: Taking taylor expansion of 1/3 in y 327.850 * [taylor]: Taking taylor expansion of (log (cos y)) in y 327.850 * [taylor]: Taking taylor expansion of (cos y) in y 327.850 * [taylor]: Taking taylor expansion of y in y 327.850 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 327.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 327.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 327.850 * [taylor]: Taking taylor expansion of 1/3 in y 327.850 * [taylor]: Taking taylor expansion of (log (cos y)) in y 327.850 * [taylor]: Taking taylor expansion of (cos y) in y 327.850 * [taylor]: Taking taylor expansion of y in y 327.853 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 327.853 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 327.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 327.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 327.853 * [taylor]: Taking taylor expansion of 1/3 in y 327.853 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 327.853 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.853 * [taylor]: Taking taylor expansion of y in y 327.853 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 327.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 327.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 327.854 * [taylor]: Taking taylor expansion of 1/3 in y 327.854 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 327.854 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.854 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.854 * [taylor]: Taking taylor expansion of y in y 327.861 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 327.861 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 327.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 327.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 327.862 * [taylor]: Taking taylor expansion of 1/3 in y 327.862 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 327.862 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.862 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.862 * [taylor]: Taking taylor expansion of -1 in y 327.862 * [taylor]: Taking taylor expansion of y in y 327.862 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 327.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 327.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 327.862 * [taylor]: Taking taylor expansion of 1/3 in y 327.862 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 327.862 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.862 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.862 * [taylor]: Taking taylor expansion of -1 in y 327.862 * [taylor]: Taking taylor expansion of y in y 327.870 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 327.870 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 327.870 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 327.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 327.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 327.870 * [taylor]: Taking taylor expansion of 1/3 in y 327.870 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 327.870 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 327.870 * [taylor]: Taking taylor expansion of (cos y) in y 327.870 * [taylor]: Taking taylor expansion of y in y 327.870 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 327.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 327.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 327.870 * [taylor]: Taking taylor expansion of 1/3 in y 327.870 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 327.870 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 327.870 * [taylor]: Taking taylor expansion of (cos y) in y 327.870 * [taylor]: Taking taylor expansion of y in y 327.880 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 327.880 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 327.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 327.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 327.880 * [taylor]: Taking taylor expansion of 1/3 in y 327.880 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 327.880 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 327.880 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.880 * [taylor]: Taking taylor expansion of y in y 327.880 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 327.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 327.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 327.880 * [taylor]: Taking taylor expansion of 1/3 in y 327.880 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 327.880 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 327.880 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.880 * [taylor]: Taking taylor expansion of y in y 327.891 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 327.891 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 327.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 327.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 327.891 * [taylor]: Taking taylor expansion of 1/3 in y 327.891 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 327.891 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 327.891 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.891 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.891 * [taylor]: Taking taylor expansion of -1 in y 327.891 * [taylor]: Taking taylor expansion of y in y 327.891 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 327.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 327.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 327.891 * [taylor]: Taking taylor expansion of 1/3 in y 327.891 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 327.891 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 327.891 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.891 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.891 * [taylor]: Taking taylor expansion of -1 in y 327.891 * [taylor]: Taking taylor expansion of y in y 327.901 * * * [progress]: simplifying candidates 327.902 * [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) 327.903 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 327.903 * * [simplify]: iteration done : 4 enodes (cost 4 ) 327.904 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 327.904 * * [simplify]: iteration done : 4 enodes (cost 4 ) 327.905 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 327.905 * * [simplify]: iteration done : 5 enodes (cost 8 ) 327.906 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 327.906 * * [simplify]: iteration done : 4 enodes (cost 4 ) 327.907 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 327.911 * * [simplify]: iteration done : 4 enodes (cost 4 ) 327.911 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 327.912 * * [simplify]: iteration done : 4 enodes (cost 4 ) 327.912 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 327.913 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 327.913 * * [simplify]: iteration done : 4 enodes (cost 1 ) 327.913 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 327.914 * * [simplify]: iteration done : 3 enodes (cost 3 ) 327.914 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 327.915 * * [simplify]: iteration done : 5 enodes (cost 9 ) 327.915 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 327.916 * * [simplify]: iteration done : 4 enodes (cost 4 ) 327.916 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 327.917 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 327.918 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 327.919 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 327.920 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 327.922 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 327.925 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 327.935 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 327.981 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 328.415 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 330.749 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 330.750 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 330.750 * * [simplify]: iteration done : 4 enodes (cost 4 ) 330.751 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 330.751 * * [simplify]: iteration done : 4 enodes (cost 4 ) 330.752 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 330.752 * * [simplify]: iteration done : 4 enodes (cost 4 ) 330.753 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 330.753 * * [simplify]: iteration done : 4 enodes (cost 4 ) 330.754 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 330.754 * * [simplify]: iteration done : 5 enodes (cost 8 ) 330.755 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 330.755 * * [simplify]: iteration done : 4 enodes (cost 4 ) 330.756 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 330.756 * * [simplify]: iteration done : 4 enodes (cost 4 ) 330.757 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 330.757 * * [simplify]: iteration done : 4 enodes (cost 4 ) 330.757 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 330.758 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 330.758 * * [simplify]: iteration done : 4 enodes (cost 1 ) 330.758 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 330.759 * * [simplify]: iteration done : 3 enodes (cost 3 ) 330.759 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 330.760 * * [simplify]: iteration done : 5 enodes (cost 9 ) 330.760 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 330.761 * * [simplify]: iteration done : 4 enodes (cost 4 ) 330.761 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 330.762 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 330.763 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 330.764 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 330.765 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 330.767 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 330.770 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 330.780 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 330.826 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 331.259 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 333.607 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 333.608 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 333.608 * * [simplify]: iteration done : 4 enodes (cost 4 ) 333.609 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 333.609 * * [simplify]: iteration done : 4 enodes (cost 4 ) 333.609 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 333.610 * * [simplify]: iteration done : 4 enodes (cost 4 ) 333.610 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 333.611 * * [simplify]: iteration done : 4 enodes (cost 4 ) 333.611 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 333.612 * * [simplify]: iteration done : 5 enodes (cost 8 ) 333.612 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 333.613 * * [simplify]: iteration done : 4 enodes (cost 4 ) 333.613 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 333.614 * * [simplify]: iteration done : 4 enodes (cost 4 ) 333.614 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 333.615 * * [simplify]: iteration done : 4 enodes (cost 4 ) 333.615 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 333.615 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 333.615 * * [simplify]: iteration done : 4 enodes (cost 1 ) 333.616 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 333.616 * * [simplify]: iteration done : 3 enodes (cost 3 ) 333.617 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 333.618 * * [simplify]: iteration done : 5 enodes (cost 9 ) 333.618 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 333.619 * * [simplify]: iteration done : 4 enodes (cost 4 ) 333.619 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 333.620 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 333.621 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 333.622 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 333.624 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 333.626 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 333.629 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 333.638 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 333.684 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 334.121 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 336.470 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 336.471 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 336.471 * * [simplify]: iteration done : 4 enodes (cost 4 ) 336.472 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 336.472 * * [simplify]: iteration done : 4 enodes (cost 4 ) 336.473 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 336.473 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 336.473 * * [simplify]: iteration done : 5 enodes (cost 1 ) 336.474 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 336.474 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 336.475 * * [simplify]: iteration done : 6 enodes (cost 1 ) 336.475 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 336.476 * * [simplify]: iteration done : 3 enodes (cost 5 ) 336.476 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 336.477 * * [simplify]: iteration done : 4 enodes (cost 7 ) 336.477 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 336.478 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 336.478 * * [simplify]: iteration done : 6 enodes (cost 1 ) 336.479 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 336.479 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 336.480 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 336.481 * * [simplify]: iteration done : 8 enodes (cost 6 ) 336.481 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 336.482 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 336.482 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 336.483 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 336.485 * * [simplify]: iteration done : 10 enodes (cost 6 ) 336.485 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 336.486 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 336.486 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 336.488 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 336.490 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 336.495 * * [simplify]: iteration 5 : 74 enodes (cost 8 ) 336.520 * * [simplify]: iteration 6 : 183 enodes (cost 8 ) 336.616 * * [simplify]: iteration 7 : 561 enodes (cost 8 ) 337.474 * * [simplify]: iteration 8 : 2246 enodes (cost 8 ) 339.610 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 339.611 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 339.611 * * [simplify]: iteration done : 3 enodes (cost 5 ) 339.612 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 339.612 * * [simplify]: iteration done : 6 enodes (cost 17 ) 339.613 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 339.614 * * [simplify]: iteration done : 5 enodes (cost 8 ) 339.614 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 339.615 * * [simplify]: iteration 1 : 14 enodes (cost 23 ) 339.617 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 339.621 * * [simplify]: iteration 3 : 35 enodes (cost 5 ) 339.628 * * [simplify]: iteration 4 : 69 enodes (cost 5 ) 339.648 * * [simplify]: iteration 5 : 154 enodes (cost 5 ) 339.702 * * [simplify]: iteration 6 : 392 enodes (cost 5 ) 340.074 * * [simplify]: iteration 7 : 1360 enodes (cost 5 ) 342.024 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 342.024 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 342.025 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 342.025 * * [simplify]: iteration done : 6 enodes (cost 4 ) 342.026 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 342.026 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 342.027 * * [simplify]: iteration done : 6 enodes (cost 4 ) 342.028 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 342.028 * * [simplify]: iteration done : 6 enodes (cost 17 ) 342.029 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 342.029 * * [simplify]: iteration done : 5 enodes (cost 9 ) 342.030 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 342.030 * * [simplify]: iteration done : 5 enodes (cost 9 ) 342.031 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 342.031 * * [simplify]: iteration done : 5 enodes (cost 9 ) 342.032 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 342.032 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 342.033 * * [simplify]: iteration done : 5 enodes (cost 1 ) 342.033 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 342.034 * * [simplify]: iteration done : 4 enodes (cost 7 ) 342.034 * * [simplify]: iteration 0 : 6 enodes (cost 19 ) 342.035 * * [simplify]: iteration 1 : 10 enodes (cost 19 ) 342.036 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 342.038 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 342.041 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 342.045 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 342.056 * * [simplify]: iteration 6 : 135 enodes (cost 6 ) 342.100 * * [simplify]: iteration 7 : 352 enodes (cost 6 ) 342.460 * * [simplify]: iteration 8 : 1262 enodes (cost 6 ) 344.120 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 344.121 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 344.121 * * [simplify]: iteration done : 5 enodes (cost 9 ) 344.127 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 344.128 * * [simplify]: iteration done : 5 enodes (cost 3 ) 344.128 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 344.129 * * [simplify]: iteration done : 5 enodes (cost 3 ) 344.129 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 344.130 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 344.130 * * [simplify]: iteration done : 4 enodes (cost 1 ) 344.131 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 344.131 * * [simplify]: iteration done : 4 enodes (cost 7 ) 344.132 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 344.132 * * [simplify]: iteration done : 5 enodes (cost 9 ) 344.133 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 344.133 * * [simplify]: iteration done : 5 enodes (cost 9 ) 344.134 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 344.134 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 344.135 * * [simplify]: iteration done : 8 enodes (cost 9 ) 344.136 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 344.136 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 344.137 * * [simplify]: iteration done : 8 enodes (cost 9 ) 344.138 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 344.139 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 344.139 * * [simplify]: iteration done : 8 enodes (cost 9 ) 344.140 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 344.141 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 344.142 * * [simplify]: iteration done : 8 enodes (cost 9 ) 344.142 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 344.143 * * [simplify]: iteration done : 5 enodes (cost 3 ) 344.144 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 344.144 * * [simplify]: iteration done : 5 enodes (cost 3 ) 344.145 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 344.145 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 344.145 * * [simplify]: iteration done : 5 enodes (cost 1 ) 344.146 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 344.146 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 344.147 * * [simplify]: iteration done : 6 enodes (cost 1 ) 344.147 * * [simplify]: iteration 0 : 6 enodes (cost 12 ) 344.148 * * [simplify]: iteration 1 : 7 enodes (cost 12 ) 344.148 * * [simplify]: iteration done : 7 enodes (cost 12 ) 344.149 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 344.150 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 344.150 * * [simplify]: iteration done : 7 enodes (cost 8 ) 344.151 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 344.151 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 344.152 * * [simplify]: iteration done : 9 enodes (cost 5 ) 344.153 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 344.153 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 344.154 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 344.156 * * [simplify]: iteration done : 11 enodes (cost 13 ) 344.156 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 344.157 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 344.157 * * [simplify]: iteration done : 6 enodes (cost 8 ) 344.158 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 344.159 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 344.159 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 344.160 * * [simplify]: iteration done : 11 enodes (cost 3 ) 344.161 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 344.161 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 344.162 * * [simplify]: iteration done : 6 enodes (cost 8 ) 344.162 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 344.163 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 344.164 * * [simplify]: iteration done : 7 enodes (cost 8 ) 344.165 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 344.166 * * [simplify]: iteration done : 4 enodes (cost 7 ) 344.166 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 344.167 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 344.167 * * [simplify]: iteration done : 6 enodes (cost 8 ) 344.168 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 344.168 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 344.169 * * [simplify]: iteration done : 6 enodes (cost 8 ) 344.169 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 344.170 * * [simplify]: iteration done : 4 enodes (cost 7 ) 344.170 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 344.172 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 344.177 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 344.193 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 344.327 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 344.803 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 346.893 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 346.893 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 346.894 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 346.895 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 346.897 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 346.900 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 346.908 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 346.955 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 347.418 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 350.072 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 350.072 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 350.073 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 350.074 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 350.076 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 350.078 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 350.087 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 350.134 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 350.597 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 353.018 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 353.019 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 353.021 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 353.026 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 353.041 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 353.178 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 353.653 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 355.759 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 355.760 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 355.760 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 355.761 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 355.763 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 355.772 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 355.780 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 355.828 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 356.283 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 358.679 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 358.680 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 358.681 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 358.682 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 358.689 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 358.692 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 358.700 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 358.747 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 359.203 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 361.589 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 361.590 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 361.598 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 361.603 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 361.619 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 361.751 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 362.228 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 364.350 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 364.350 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 364.351 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 364.352 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 364.353 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 364.356 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 364.365 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 364.413 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 364.868 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 367.274 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 367.275 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 367.275 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 367.276 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 367.278 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 367.281 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 367.289 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 367.339 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 367.797 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 370.193 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 370.193 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 370.195 * * [simplify]: iteration 1 : 35 enodes (cost 13 ) 370.200 * * [simplify]: iteration 2 : 74 enodes (cost 13 ) 370.219 * * [simplify]: iteration 3 : 192 enodes (cost 13 ) 370.340 * * [simplify]: iteration 4 : 760 enodes (cost 13 ) 371.494 * * [simplify]: iteration 5 : 3249 enodes (cost 13 ) 373.319 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 373.319 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 373.320 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 373.322 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 373.325 * * [simplify]: iteration 3 : 51 enodes (cost 5 ) 373.336 * * [simplify]: iteration 4 : 99 enodes (cost 5 ) 373.355 * * [simplify]: iteration 5 : 226 enodes (cost 5 ) 373.452 * * [simplify]: iteration 6 : 649 enodes (cost 5 ) 374.418 * * [simplify]: iteration 7 : 2582 enodes (cost 5 ) 376.519 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 376.520 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 376.520 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 376.523 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 376.525 * * [simplify]: iteration 3 : 51 enodes (cost 5 ) 376.531 * * [simplify]: iteration 4 : 99 enodes (cost 5 ) 376.548 * * [simplify]: iteration 5 : 226 enodes (cost 5 ) 376.648 * * [simplify]: iteration 6 : 649 enodes (cost 5 ) 377.606 * * [simplify]: iteration 7 : 2582 enodes (cost 5 ) 379.468 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 379.468 * [simplify]: Simplified to: (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))) 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 (* (cbrt (cos y)) (cbrt (cos y)))) (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 (* (cbrt (cos y)) (cbrt (cos y)))) (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 (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) 2 (* 2 (log (cbrt (cos y)))) (* 2 (log (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)))) (* (cos y) (cos y)) (fabs (cbrt (cos y))) (fabs (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)))) 1 (* (cbrt (cos y)) (cbrt (cos y))) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 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)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* 1 (cbrt (cos y))) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- 1 (+ (* 1/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)) 379.469 * * * [progress]: adding candidates to table 379.551 * [progress]: [Phase 3 of 3] Extracting. 379.551 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 379.554 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 379.554 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # #) 379.642 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 379.729 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 379.818 * * * [regime]: Found split indices: #