23.120 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.085 * * * [progress]: [2/2] Setting up program. 0.087 * [progress]: [Phase 2 of 3] Improving. 0.088 * [simplify]: Simplifying using # : (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 0.089 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 0.090 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 0.091 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 0.093 * * [simplify]: iteration done : 13 enodes (cost 13 ) 0.093 * [simplify]: Simplified to: (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 0.093 * * [progress]: iteration 1 / 4 0.093 * * * [progress]: picking best candidate 0.095 * * * * [pick]: Picked # 0.096 * * * [progress]: localizing error 0.106 * * * [progress]: generating rewritten candidates 0.106 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.108 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.109 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.115 * * * [progress]: generating series expansions 0.115 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.115 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 0.115 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 0.115 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.115 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.115 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.115 * [taylor]: Taking taylor expansion of 0.5 in y 0.115 * [taylor]: Taking taylor expansion of (/ x y) in y 0.115 * [taylor]: Taking taylor expansion of x in y 0.115 * [taylor]: Taking taylor expansion of y in y 0.116 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 0.116 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.116 * [taylor]: Taking taylor expansion of 0.5 in y 0.116 * [taylor]: Taking taylor expansion of (/ x y) in y 0.116 * [taylor]: Taking taylor expansion of x in y 0.116 * [taylor]: Taking taylor expansion of y in y 0.116 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.116 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.116 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.116 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.116 * [taylor]: Taking taylor expansion of 0.5 in x 0.116 * [taylor]: Taking taylor expansion of (/ x y) in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.116 * [taylor]: Taking taylor expansion of y in x 0.116 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 0.116 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.116 * [taylor]: Taking taylor expansion of 0.5 in x 0.116 * [taylor]: Taking taylor expansion of (/ x y) in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.116 * [taylor]: Taking taylor expansion of y in x 0.117 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.117 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.117 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.117 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.117 * [taylor]: Taking taylor expansion of 0.5 in x 0.117 * [taylor]: Taking taylor expansion of (/ x y) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.117 * [taylor]: Taking taylor expansion of y in x 0.117 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 0.117 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.117 * [taylor]: Taking taylor expansion of 0.5 in x 0.117 * [taylor]: Taking taylor expansion of (/ x y) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.117 * [taylor]: Taking taylor expansion of y in x 0.118 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 0.118 * [taylor]: Taking taylor expansion of 0.5 in y 0.118 * [taylor]: Taking taylor expansion of y in y 0.121 * [taylor]: Taking taylor expansion of 0 in y 0.125 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 0.125 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 0.125 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.125 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.125 * [taylor]: Taking taylor expansion of y in y 0.131 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 0.131 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.131 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.132 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.132 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.132 * [taylor]: Taking taylor expansion of 0.5 in y 0.132 * [taylor]: Taking taylor expansion of (/ y x) in y 0.132 * [taylor]: Taking taylor expansion of y in y 0.132 * [taylor]: Taking taylor expansion of x in y 0.132 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.132 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.132 * [taylor]: Taking taylor expansion of 0.5 in y 0.132 * [taylor]: Taking taylor expansion of (/ y x) in y 0.132 * [taylor]: Taking taylor expansion of y in y 0.132 * [taylor]: Taking taylor expansion of x in y 0.132 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.132 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.132 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.132 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.132 * [taylor]: Taking taylor expansion of 0.5 in x 0.132 * [taylor]: Taking taylor expansion of (/ y x) in x 0.132 * [taylor]: Taking taylor expansion of y in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.133 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.133 * [taylor]: Taking taylor expansion of 0.5 in x 0.133 * [taylor]: Taking taylor expansion of (/ y x) in x 0.133 * [taylor]: Taking taylor expansion of y in x 0.133 * [taylor]: Taking taylor expansion of x in x 0.133 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.133 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.133 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.133 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.133 * [taylor]: Taking taylor expansion of 0.5 in x 0.133 * [taylor]: Taking taylor expansion of (/ y x) in x 0.133 * [taylor]: Taking taylor expansion of y in x 0.133 * [taylor]: Taking taylor expansion of x in x 0.133 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.133 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.133 * [taylor]: Taking taylor expansion of 0.5 in x 0.133 * [taylor]: Taking taylor expansion of (/ y x) in x 0.133 * [taylor]: Taking taylor expansion of y in x 0.133 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 0.134 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.134 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.134 * [taylor]: Taking taylor expansion of 0.5 in y 0.134 * [taylor]: Taking taylor expansion of (/ y x) in y 0.134 * [taylor]: Taking taylor expansion of y in y 0.134 * [taylor]: Taking taylor expansion of x in y 0.134 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.134 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.134 * [taylor]: Taking taylor expansion of 0.5 in y 0.134 * [taylor]: Taking taylor expansion of (/ y x) in y 0.134 * [taylor]: Taking taylor expansion of y in y 0.134 * [taylor]: Taking taylor expansion of x in y 0.134 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.140 * [taylor]: Taking taylor expansion of 0 in y 0.145 * [taylor]: Taking taylor expansion of 0 in y 0.145 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 0.145 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.146 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.146 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.146 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.146 * [taylor]: Taking taylor expansion of 0.5 in y 0.146 * [taylor]: Taking taylor expansion of (/ y x) in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [taylor]: Taking taylor expansion of x in y 0.146 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.146 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.146 * [taylor]: Taking taylor expansion of 0.5 in y 0.146 * [taylor]: Taking taylor expansion of (/ y x) in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [taylor]: Taking taylor expansion of x in y 0.146 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.146 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.146 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.146 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.146 * [taylor]: Taking taylor expansion of 0.5 in x 0.146 * [taylor]: Taking taylor expansion of (/ y x) in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.146 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.146 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.146 * [taylor]: Taking taylor expansion of 0.5 in x 0.146 * [taylor]: Taking taylor expansion of (/ y x) in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.147 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.147 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.147 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.147 * [taylor]: Taking taylor expansion of 0.5 in x 0.147 * [taylor]: Taking taylor expansion of (/ y x) in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.147 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.147 * [taylor]: Taking taylor expansion of 0.5 in x 0.147 * [taylor]: Taking taylor expansion of (/ y x) in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 0.147 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.147 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.147 * [taylor]: Taking taylor expansion of 0.5 in y 0.147 * [taylor]: Taking taylor expansion of (/ y x) in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.147 * [taylor]: Taking taylor expansion of x in y 0.147 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.147 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.147 * [taylor]: Taking taylor expansion of 0.5 in y 0.147 * [taylor]: Taking taylor expansion of (/ y x) in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.147 * [taylor]: Taking taylor expansion of x in y 0.148 * [taylor]: Taking taylor expansion of 0 in y 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.165 * [taylor]: Taking taylor expansion of 0 in y 0.166 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.166 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0 0.166 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.166 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.166 * [taylor]: Taking taylor expansion of 0.5 in y 0.166 * [taylor]: Taking taylor expansion of (/ x y) in y 0.166 * [taylor]: Taking taylor expansion of x in y 0.166 * [taylor]: Taking taylor expansion of y in y 0.166 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.166 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.166 * [taylor]: Taking taylor expansion of 0.5 in x 0.166 * [taylor]: Taking taylor expansion of (/ x y) in x 0.166 * [taylor]: Taking taylor expansion of x in x 0.166 * [taylor]: Taking taylor expansion of y in x 0.166 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.167 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.167 * [taylor]: Taking taylor expansion of 0.5 in x 0.167 * [taylor]: Taking taylor expansion of (/ x y) in x 0.167 * [taylor]: Taking taylor expansion of x in x 0.167 * [taylor]: Taking taylor expansion of y in x 0.167 * [taylor]: Taking taylor expansion of 0 in y 0.167 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.167 * [taylor]: Taking taylor expansion of 0.5 in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.169 * [taylor]: Taking taylor expansion of 0 in y 0.171 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 0.171 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.171 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.171 * [taylor]: Taking taylor expansion of 0.5 in y 0.171 * [taylor]: Taking taylor expansion of (/ y x) in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.171 * [taylor]: Taking taylor expansion of x in y 0.171 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.171 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.171 * [taylor]: Taking taylor expansion of 0.5 in x 0.171 * [taylor]: Taking taylor expansion of (/ y x) in x 0.171 * [taylor]: Taking taylor expansion of y in x 0.171 * [taylor]: Taking taylor expansion of x in x 0.171 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.171 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.171 * [taylor]: Taking taylor expansion of 0.5 in x 0.171 * [taylor]: Taking taylor expansion of (/ y x) in x 0.171 * [taylor]: Taking taylor expansion of y in x 0.171 * [taylor]: Taking taylor expansion of x in x 0.172 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.172 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.172 * [taylor]: Taking taylor expansion of 0.5 in y 0.172 * [taylor]: Taking taylor expansion of (/ y x) in y 0.172 * [taylor]: Taking taylor expansion of y in y 0.172 * [taylor]: Taking taylor expansion of x in y 0.172 * [taylor]: Taking taylor expansion of 0 in y 0.172 * [taylor]: Taking taylor expansion of 0 in y 0.173 * [taylor]: Taking taylor expansion of 0 in y 0.173 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 0.173 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.174 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.174 * [taylor]: Taking taylor expansion of 0.5 in y 0.174 * [taylor]: Taking taylor expansion of (/ y x) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of x in y 0.174 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.174 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.174 * [taylor]: Taking taylor expansion of 0.5 in x 0.174 * [taylor]: Taking taylor expansion of (/ y x) in x 0.174 * [taylor]: Taking taylor expansion of y in x 0.174 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.174 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.174 * [taylor]: Taking taylor expansion of 0.5 in x 0.174 * [taylor]: Taking taylor expansion of (/ y x) in x 0.174 * [taylor]: Taking taylor expansion of y in x 0.174 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.174 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.174 * [taylor]: Taking taylor expansion of 0.5 in y 0.174 * [taylor]: Taking taylor expansion of (/ y x) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of x in y 0.174 * [taylor]: Taking taylor expansion of 0 in y 0.175 * [taylor]: Taking taylor expansion of 0 in y 0.176 * [taylor]: Taking taylor expansion of 0 in y 0.176 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.176 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in (x y) around 0 0.176 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in y 0.176 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 0.176 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.176 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.176 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.176 * [taylor]: Taking taylor expansion of 0.5 in y 0.176 * [taylor]: Taking taylor expansion of (/ x y) in y 0.176 * [taylor]: Taking taylor expansion of x in y 0.176 * [taylor]: Taking taylor expansion of y in y 0.176 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 0.176 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.176 * [taylor]: Taking taylor expansion of 0.5 in y 0.176 * [taylor]: Taking taylor expansion of (/ x y) in y 0.176 * [taylor]: Taking taylor expansion of x in y 0.177 * [taylor]: Taking taylor expansion of y in y 0.177 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.177 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.177 * [taylor]: Taking taylor expansion of 0.5 in y 0.177 * [taylor]: Taking taylor expansion of (/ x y) in y 0.177 * [taylor]: Taking taylor expansion of x in y 0.177 * [taylor]: Taking taylor expansion of y in y 0.177 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 0.177 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.177 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.177 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.177 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.177 * [taylor]: Taking taylor expansion of 0.5 in x 0.177 * [taylor]: Taking taylor expansion of (/ x y) in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of y in x 0.177 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 0.177 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.177 * [taylor]: Taking taylor expansion of 0.5 in x 0.177 * [taylor]: Taking taylor expansion of (/ x y) in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of y in x 0.178 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.178 * [taylor]: Taking taylor expansion of 0.5 in x 0.178 * [taylor]: Taking taylor expansion of (/ x y) in x 0.178 * [taylor]: Taking taylor expansion of x in x 0.178 * [taylor]: Taking taylor expansion of y in x 0.178 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 0.178 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.178 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.178 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.178 * [taylor]: Taking taylor expansion of 0.5 in x 0.178 * [taylor]: Taking taylor expansion of (/ x y) in x 0.178 * [taylor]: Taking taylor expansion of x in x 0.178 * [taylor]: Taking taylor expansion of y in x 0.178 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 0.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.178 * [taylor]: Taking taylor expansion of 0.5 in x 0.178 * [taylor]: Taking taylor expansion of (/ x y) in x 0.178 * [taylor]: Taking taylor expansion of x in x 0.178 * [taylor]: Taking taylor expansion of y in x 0.179 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.179 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.179 * [taylor]: Taking taylor expansion of 0.5 in x 0.179 * [taylor]: Taking taylor expansion of (/ x y) in x 0.179 * [taylor]: Taking taylor expansion of x in x 0.179 * [taylor]: Taking taylor expansion of y in x 0.179 * [taylor]: Taking taylor expansion of 1.0 in y 0.182 * [taylor]: Taking taylor expansion of 0 in y 0.186 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 (pow y 2))) in y 0.186 * [taylor]: Taking taylor expansion of 0.125 in y 0.186 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.186 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.186 * [taylor]: Taking taylor expansion of y in y 0.195 * [taylor]: Taking taylor expansion of 0 in y 0.196 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 0.196 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 0.196 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.196 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.196 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.196 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.196 * [taylor]: Taking taylor expansion of 0.5 in y 0.196 * [taylor]: Taking taylor expansion of (/ y x) in y 0.196 * [taylor]: Taking taylor expansion of y in y 0.196 * [taylor]: Taking taylor expansion of x in y 0.196 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.196 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.196 * [taylor]: Taking taylor expansion of 0.5 in y 0.196 * [taylor]: Taking taylor expansion of (/ y x) in y 0.196 * [taylor]: Taking taylor expansion of y in y 0.196 * [taylor]: Taking taylor expansion of x in y 0.196 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.196 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.196 * [taylor]: Taking taylor expansion of 0.5 in y 0.196 * [taylor]: Taking taylor expansion of (/ y x) in y 0.196 * [taylor]: Taking taylor expansion of y in y 0.196 * [taylor]: Taking taylor expansion of x in y 0.197 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.197 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.197 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.197 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.197 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.197 * [taylor]: Taking taylor expansion of 0.5 in x 0.197 * [taylor]: Taking taylor expansion of (/ y x) in x 0.197 * [taylor]: Taking taylor expansion of y in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.197 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.197 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.197 * [taylor]: Taking taylor expansion of 0.5 in x 0.197 * [taylor]: Taking taylor expansion of (/ y x) in x 0.197 * [taylor]: Taking taylor expansion of y in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.197 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.197 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.197 * [taylor]: Taking taylor expansion of 0.5 in x 0.197 * [taylor]: Taking taylor expansion of (/ y x) in x 0.197 * [taylor]: Taking taylor expansion of y in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.198 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.198 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.198 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.198 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.198 * [taylor]: Taking taylor expansion of 0.5 in x 0.198 * [taylor]: Taking taylor expansion of (/ y x) in x 0.198 * [taylor]: Taking taylor expansion of y in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.198 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.198 * [taylor]: Taking taylor expansion of 0.5 in x 0.198 * [taylor]: Taking taylor expansion of (/ y x) in x 0.198 * [taylor]: Taking taylor expansion of y in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.198 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.198 * [taylor]: Taking taylor expansion of 0.5 in x 0.198 * [taylor]: Taking taylor expansion of (/ y x) in x 0.198 * [taylor]: Taking taylor expansion of y in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.199 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 0.199 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.199 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.199 * [taylor]: Taking taylor expansion of 0.5 in y 0.199 * [taylor]: Taking taylor expansion of (/ y x) in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.199 * [taylor]: Taking taylor expansion of x in y 0.200 * [taylor]: Taking taylor expansion of 0 in y 0.201 * [taylor]: Taking taylor expansion of 0 in y 0.203 * [taylor]: Taking taylor expansion of 0 in y 0.206 * [taylor]: Taking taylor expansion of 0 in y 0.207 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 0.207 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 0.207 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.207 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.207 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.207 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.207 * [taylor]: Taking taylor expansion of 0.5 in y 0.207 * [taylor]: Taking taylor expansion of (/ y x) in y 0.207 * [taylor]: Taking taylor expansion of y in y 0.207 * [taylor]: Taking taylor expansion of x in y 0.207 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.207 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.207 * [taylor]: Taking taylor expansion of 0.5 in y 0.207 * [taylor]: Taking taylor expansion of (/ y x) in y 0.207 * [taylor]: Taking taylor expansion of y in y 0.207 * [taylor]: Taking taylor expansion of x in y 0.207 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.207 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.207 * [taylor]: Taking taylor expansion of 0.5 in y 0.207 * [taylor]: Taking taylor expansion of (/ y x) in y 0.207 * [taylor]: Taking taylor expansion of y in y 0.207 * [taylor]: Taking taylor expansion of x in y 0.208 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.208 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.208 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.208 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.208 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.208 * [taylor]: Taking taylor expansion of 0.5 in x 0.208 * [taylor]: Taking taylor expansion of (/ y x) in x 0.208 * [taylor]: Taking taylor expansion of y in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.208 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.208 * [taylor]: Taking taylor expansion of 0.5 in x 0.208 * [taylor]: Taking taylor expansion of (/ y x) in x 0.208 * [taylor]: Taking taylor expansion of y in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.208 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.208 * [taylor]: Taking taylor expansion of 0.5 in x 0.208 * [taylor]: Taking taylor expansion of (/ y x) in x 0.208 * [taylor]: Taking taylor expansion of y in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.208 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.209 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.209 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.209 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.209 * [taylor]: Taking taylor expansion of 0.5 in x 0.209 * [taylor]: Taking taylor expansion of (/ y x) in x 0.209 * [taylor]: Taking taylor expansion of y in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.209 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.209 * [taylor]: Taking taylor expansion of 0.5 in x 0.209 * [taylor]: Taking taylor expansion of (/ y x) in x 0.209 * [taylor]: Taking taylor expansion of y in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.209 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.209 * [taylor]: Taking taylor expansion of 0.5 in x 0.209 * [taylor]: Taking taylor expansion of (/ y x) in x 0.209 * [taylor]: Taking taylor expansion of y in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 0.209 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.209 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.209 * [taylor]: Taking taylor expansion of 0.5 in y 0.209 * [taylor]: Taking taylor expansion of (/ y x) in y 0.210 * [taylor]: Taking taylor expansion of y in y 0.210 * [taylor]: Taking taylor expansion of x in y 0.211 * [taylor]: Taking taylor expansion of 0 in y 0.212 * [taylor]: Taking taylor expansion of 0 in y 0.214 * [taylor]: Taking taylor expansion of 0 in y 0.217 * [taylor]: Taking taylor expansion of 0 in y 0.217 * * * [progress]: simplifying candidates 0.218 * [simplify]: Simplifying using # : (expm1 (tan (/ x (* y 2.0)))) (log1p (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))) (log (tan (/ x (* y 2.0)))) (exp (tan (/ x (* y 2.0)))) (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (cbrt (tan (/ x (* y 2.0)))) (* (* (tan (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (tan (/ x (* y 2.0)))) (sqrt (tan (/ x (* y 2.0)))) (sqrt (tan (/ x (* y 2.0)))) (expm1 (sin (/ x (* y 2.0)))) (log1p (sin (/ x (* y 2.0)))) (log (sin (/ x (* y 2.0)))) (exp (sin (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (cbrt (sin (/ x (* y 2.0)))) (* (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))) (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (log1p (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (- (log (tan (/ x (* y 2.0)))) (log (sin (/ x (* y 2.0))))) (log (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (exp (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (/ (* (* (tan (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (tan (/ x (* y 2.0)))) (* (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))) (* (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (* (* (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (- (tan (/ x (* y 2.0)))) (- (sin (/ x (* y 2.0)))) (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (sqrt (sin (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) 1) (/ (cbrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (/ (sqrt (tan (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (sqrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (/ (sqrt (tan (/ x (* y 2.0)))) 1) (/ (sqrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (/ 1 (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (cbrt (sin (/ x (* y 2.0))))) (/ 1 (sqrt (sin (/ x (* y 2.0))))) (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0))))) (/ 1 1) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (/ 1 (sin (/ x (* y 2.0)))) (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (/ (tan (/ x (* y 2.0))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0))))) (/ (tan (/ x (* y 2.0))) 1) (/ (sin (/ x (* y 2.0))) (cbrt (tan (/ x (* y 2.0))))) (/ (sin (/ x (* y 2.0))) (sqrt (tan (/ x (* y 2.0))))) (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) 0 (+ (* 0.04166666666666667 (/ (pow x 3) (pow y 3))) (* 0.5 (/ x y))) (+ (* 0.04166666666666667 (/ (pow x 3) (pow y 3))) (* 0.5 (/ x y))) 0 (* 0.5 (/ x y)) (* 0.5 (/ x y)) 1.0 (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1) (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1) 0.221 * * [simplify]: iteration 0 : 83 enodes (cost 878 ) 0.234 * * [simplify]: iteration 1 : 147 enodes (cost 865 ) 0.266 * * [simplify]: iteration 2 : 351 enodes (cost 789 ) 0.387 * * [simplify]: iteration 3 : 1205 enodes (cost 785 ) 1.503 * * [simplify]: iteration done : 5000 enodes (cost 785 ) 1.504 * [simplify]: Simplified to: (expm1 (tan (/ x (* y 2.0)))) (log1p (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))) (log (tan (/ x (* y 2.0)))) (exp (tan (/ x (* y 2.0)))) (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (cbrt (tan (/ x (* y 2.0)))) (pow (tan (/ x (* y 2.0))) 3) (sqrt (tan (/ x (* y 2.0)))) (sqrt (tan (/ x (* y 2.0)))) (expm1 (sin (/ x (* y 2.0)))) (log1p (sin (/ x (* y 2.0)))) (log (sin (/ x (* y 2.0)))) (exp (sin (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (cbrt (sin (/ x (* y 2.0)))) (pow (sin (/ x (* y 2.0))) 3) (sqrt (sin (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))) (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (log1p (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (log (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (log (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (exp (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (pow (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 3) (* (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (pow (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 3) (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (- (tan (/ x (* y 2.0)))) (- (sin (/ x (* y 2.0)))) (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (sqrt (sin (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (/ (sqrt (tan (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (sqrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (sqrt (tan (/ x (* y 2.0)))) (/ (sqrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (/ 1 (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (cbrt (sin (/ x (* y 2.0))))) (/ 1 (sqrt (sin (/ x (* y 2.0))))) (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0))))) 1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (/ 1 (sin (/ x (* y 2.0)))) (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (/ (tan (/ x (* y 2.0))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0))))) (tan (/ x (* y 2.0))) (/ (sin (/ x (* y 2.0))) (cbrt (tan (/ x (* y 2.0))))) (/ (sin (/ x (* y 2.0))) (sqrt (tan (/ x (* y 2.0))))) (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) 0 (fma (pow (/ x y) 3) 0.04166666666666667 (* 0.5 (/ x y))) (fma (pow (/ x y) 3) 0.04166666666666667 (* 0.5 (/ x y))) 0 (* 0.5 (/ x y)) (* 0.5 (/ x y)) 1.0 (fma 0.125 (/ (pow x 2) (pow y 2)) 1) (fma 0.125 (/ (pow x 2) (pow y 2)) 1) 1.504 * * * [progress]: adding candidates to table 1.697 * * [progress]: iteration 2 / 4 1.697 * * * [progress]: picking best candidate 1.735 * * * * [pick]: Picked # 1.735 * * * [progress]: localizing error 1.735 * * * [progress]: generating rewritten candidates 1.735 * * * [progress]: generating series expansions 1.735 * * * [progress]: simplifying candidates 1.736 * [simplify]: Simplifying using # : 1.737 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 1.737 * * [simplify]: iteration done : 0 enodes (cost 0 ) 1.737 * [simplify]: Simplified to: 1.737 * * * [progress]: adding candidates to table 1.737 * * [progress]: iteration 3 / 4 1.737 * * * [progress]: picking best candidate 1.771 * * * * [pick]: Picked # 1.771 * * * [progress]: localizing error 1.785 * * * [progress]: generating rewritten candidates 1.785 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1.787 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.789 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.793 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.795 * * * [progress]: generating series expansions 1.795 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1.795 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 1.795 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 1.795 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.795 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.795 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.795 * [taylor]: Taking taylor expansion of 0.5 in y 1.795 * [taylor]: Taking taylor expansion of (/ x y) in y 1.795 * [taylor]: Taking taylor expansion of x in y 1.795 * [taylor]: Taking taylor expansion of y in y 1.795 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 1.795 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.795 * [taylor]: Taking taylor expansion of 0.5 in y 1.795 * [taylor]: Taking taylor expansion of (/ x y) in y 1.796 * [taylor]: Taking taylor expansion of x in y 1.796 * [taylor]: Taking taylor expansion of y in y 1.796 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.796 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.796 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.796 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.796 * [taylor]: Taking taylor expansion of 0.5 in x 1.796 * [taylor]: Taking taylor expansion of (/ x y) in x 1.796 * [taylor]: Taking taylor expansion of x in x 1.796 * [taylor]: Taking taylor expansion of y in x 1.796 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.796 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.796 * [taylor]: Taking taylor expansion of 0.5 in x 1.796 * [taylor]: Taking taylor expansion of (/ x y) in x 1.796 * [taylor]: Taking taylor expansion of x in x 1.796 * [taylor]: Taking taylor expansion of y in x 1.796 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.796 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.796 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.796 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.796 * [taylor]: Taking taylor expansion of 0.5 in x 1.797 * [taylor]: Taking taylor expansion of (/ x y) in x 1.797 * [taylor]: Taking taylor expansion of x in x 1.797 * [taylor]: Taking taylor expansion of y in x 1.797 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.797 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.797 * [taylor]: Taking taylor expansion of 0.5 in x 1.797 * [taylor]: Taking taylor expansion of (/ x y) in x 1.797 * [taylor]: Taking taylor expansion of x in x 1.797 * [taylor]: Taking taylor expansion of y in x 1.797 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 1.797 * [taylor]: Taking taylor expansion of 0.5 in y 1.797 * [taylor]: Taking taylor expansion of y in y 1.800 * [taylor]: Taking taylor expansion of 0 in y 1.803 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 1.803 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 1.803 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.803 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.803 * [taylor]: Taking taylor expansion of y in y 1.810 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 1.810 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.811 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.811 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.811 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.811 * [taylor]: Taking taylor expansion of 0.5 in y 1.811 * [taylor]: Taking taylor expansion of (/ y x) in y 1.811 * [taylor]: Taking taylor expansion of y in y 1.811 * [taylor]: Taking taylor expansion of x in y 1.811 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.811 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.811 * [taylor]: Taking taylor expansion of 0.5 in y 1.811 * [taylor]: Taking taylor expansion of (/ y x) in y 1.811 * [taylor]: Taking taylor expansion of y in y 1.811 * [taylor]: Taking taylor expansion of x in y 1.811 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.811 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.811 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.811 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.811 * [taylor]: Taking taylor expansion of 0.5 in x 1.811 * [taylor]: Taking taylor expansion of (/ y x) in x 1.811 * [taylor]: Taking taylor expansion of y in x 1.811 * [taylor]: Taking taylor expansion of x in x 1.812 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.812 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.812 * [taylor]: Taking taylor expansion of 0.5 in x 1.812 * [taylor]: Taking taylor expansion of (/ y x) in x 1.812 * [taylor]: Taking taylor expansion of y in x 1.812 * [taylor]: Taking taylor expansion of x in x 1.812 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.812 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.812 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.812 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.812 * [taylor]: Taking taylor expansion of 0.5 in x 1.812 * [taylor]: Taking taylor expansion of (/ y x) in x 1.812 * [taylor]: Taking taylor expansion of y in x 1.812 * [taylor]: Taking taylor expansion of x in x 1.812 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.812 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.812 * [taylor]: Taking taylor expansion of 0.5 in x 1.812 * [taylor]: Taking taylor expansion of (/ y x) in x 1.812 * [taylor]: Taking taylor expansion of y in x 1.812 * [taylor]: Taking taylor expansion of x in x 1.812 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 1.812 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.812 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.813 * [taylor]: Taking taylor expansion of 0.5 in y 1.813 * [taylor]: Taking taylor expansion of (/ y x) in y 1.813 * [taylor]: Taking taylor expansion of y in y 1.813 * [taylor]: Taking taylor expansion of x in y 1.813 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.813 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.813 * [taylor]: Taking taylor expansion of 0.5 in y 1.813 * [taylor]: Taking taylor expansion of (/ y x) in y 1.813 * [taylor]: Taking taylor expansion of y in y 1.813 * [taylor]: Taking taylor expansion of x in y 1.813 * [taylor]: Taking taylor expansion of 0 in y 1.816 * [taylor]: Taking taylor expansion of 0 in y 1.819 * [taylor]: Taking taylor expansion of 0 in y 1.827 * [taylor]: Taking taylor expansion of 0 in y 1.828 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 1.828 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.828 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.828 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.828 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.828 * [taylor]: Taking taylor expansion of 0.5 in y 1.828 * [taylor]: Taking taylor expansion of (/ y x) in y 1.828 * [taylor]: Taking taylor expansion of y in y 1.828 * [taylor]: Taking taylor expansion of x in y 1.828 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.828 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.828 * [taylor]: Taking taylor expansion of 0.5 in y 1.828 * [taylor]: Taking taylor expansion of (/ y x) in y 1.828 * [taylor]: Taking taylor expansion of y in y 1.828 * [taylor]: Taking taylor expansion of x in y 1.829 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.829 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.829 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.829 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.829 * [taylor]: Taking taylor expansion of 0.5 in x 1.829 * [taylor]: Taking taylor expansion of (/ y x) in x 1.829 * [taylor]: Taking taylor expansion of y in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.829 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.829 * [taylor]: Taking taylor expansion of 0.5 in x 1.829 * [taylor]: Taking taylor expansion of (/ y x) in x 1.829 * [taylor]: Taking taylor expansion of y in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.829 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.829 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.829 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.829 * [taylor]: Taking taylor expansion of 0.5 in x 1.829 * [taylor]: Taking taylor expansion of (/ y x) in x 1.829 * [taylor]: Taking taylor expansion of y in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.829 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.829 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.829 * [taylor]: Taking taylor expansion of 0.5 in x 1.829 * [taylor]: Taking taylor expansion of (/ y x) in x 1.829 * [taylor]: Taking taylor expansion of y in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.830 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 1.830 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.830 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.830 * [taylor]: Taking taylor expansion of 0.5 in y 1.830 * [taylor]: Taking taylor expansion of (/ y x) in y 1.830 * [taylor]: Taking taylor expansion of y in y 1.830 * [taylor]: Taking taylor expansion of x in y 1.830 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.830 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.830 * [taylor]: Taking taylor expansion of 0.5 in y 1.830 * [taylor]: Taking taylor expansion of (/ y x) in y 1.830 * [taylor]: Taking taylor expansion of y in y 1.830 * [taylor]: Taking taylor expansion of x in y 1.830 * [taylor]: Taking taylor expansion of 0 in y 1.833 * [taylor]: Taking taylor expansion of 0 in y 1.836 * [taylor]: Taking taylor expansion of 0 in y 1.841 * [taylor]: Taking taylor expansion of 0 in y 1.842 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.842 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0 1.842 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.842 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.842 * [taylor]: Taking taylor expansion of 0.5 in y 1.842 * [taylor]: Taking taylor expansion of (/ x y) in y 1.842 * [taylor]: Taking taylor expansion of x in y 1.842 * [taylor]: Taking taylor expansion of y in y 1.842 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.842 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.842 * [taylor]: Taking taylor expansion of 0.5 in x 1.842 * [taylor]: Taking taylor expansion of (/ x y) in x 1.842 * [taylor]: Taking taylor expansion of x in x 1.842 * [taylor]: Taking taylor expansion of y in x 1.842 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.842 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.842 * [taylor]: Taking taylor expansion of 0.5 in x 1.842 * [taylor]: Taking taylor expansion of (/ x y) in x 1.842 * [taylor]: Taking taylor expansion of x in x 1.842 * [taylor]: Taking taylor expansion of y in x 1.842 * [taylor]: Taking taylor expansion of 0 in y 1.843 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.843 * [taylor]: Taking taylor expansion of 0.5 in y 1.843 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.843 * [taylor]: Taking taylor expansion of y in y 1.845 * [taylor]: Taking taylor expansion of 0 in y 1.846 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 1.846 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.846 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.846 * [taylor]: Taking taylor expansion of 0.5 in y 1.846 * [taylor]: Taking taylor expansion of (/ y x) in y 1.846 * [taylor]: Taking taylor expansion of y in y 1.846 * [taylor]: Taking taylor expansion of x in y 1.847 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.847 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.847 * [taylor]: Taking taylor expansion of 0.5 in x 1.847 * [taylor]: Taking taylor expansion of (/ y x) in x 1.847 * [taylor]: Taking taylor expansion of y in x 1.847 * [taylor]: Taking taylor expansion of x in x 1.847 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.847 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.847 * [taylor]: Taking taylor expansion of 0.5 in x 1.847 * [taylor]: Taking taylor expansion of (/ y x) in x 1.847 * [taylor]: Taking taylor expansion of y in x 1.847 * [taylor]: Taking taylor expansion of x in x 1.847 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.847 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.847 * [taylor]: Taking taylor expansion of 0.5 in y 1.847 * [taylor]: Taking taylor expansion of (/ y x) in y 1.847 * [taylor]: Taking taylor expansion of y in y 1.847 * [taylor]: Taking taylor expansion of x in y 1.847 * [taylor]: Taking taylor expansion of 0 in y 1.847 * [taylor]: Taking taylor expansion of 0 in y 1.849 * [taylor]: Taking taylor expansion of 0 in y 1.849 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 1.849 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.849 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.849 * [taylor]: Taking taylor expansion of 0.5 in y 1.849 * [taylor]: Taking taylor expansion of (/ y x) in y 1.849 * [taylor]: Taking taylor expansion of y in y 1.849 * [taylor]: Taking taylor expansion of x in y 1.849 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.849 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.849 * [taylor]: Taking taylor expansion of 0.5 in x 1.849 * [taylor]: Taking taylor expansion of (/ y x) in x 1.849 * [taylor]: Taking taylor expansion of y in x 1.849 * [taylor]: Taking taylor expansion of x in x 1.849 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.849 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.849 * [taylor]: Taking taylor expansion of 0.5 in x 1.849 * [taylor]: Taking taylor expansion of (/ y x) in x 1.849 * [taylor]: Taking taylor expansion of y in x 1.849 * [taylor]: Taking taylor expansion of x in x 1.850 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.850 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.850 * [taylor]: Taking taylor expansion of 0.5 in y 1.850 * [taylor]: Taking taylor expansion of (/ y x) in y 1.850 * [taylor]: Taking taylor expansion of y in y 1.850 * [taylor]: Taking taylor expansion of x in y 1.850 * [taylor]: Taking taylor expansion of 0 in y 1.850 * [taylor]: Taking taylor expansion of 0 in y 1.851 * [taylor]: Taking taylor expansion of 0 in y 1.851 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.851 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in (x y) around 0 1.852 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in y 1.852 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 1.852 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.852 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.852 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.852 * [taylor]: Taking taylor expansion of 0.5 in y 1.852 * [taylor]: Taking taylor expansion of (/ x y) in y 1.852 * [taylor]: Taking taylor expansion of x in y 1.852 * [taylor]: Taking taylor expansion of y in y 1.852 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 1.852 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.852 * [taylor]: Taking taylor expansion of 0.5 in y 1.852 * [taylor]: Taking taylor expansion of (/ x y) in y 1.852 * [taylor]: Taking taylor expansion of x in y 1.852 * [taylor]: Taking taylor expansion of y in y 1.852 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.852 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.852 * [taylor]: Taking taylor expansion of 0.5 in y 1.852 * [taylor]: Taking taylor expansion of (/ x y) in y 1.852 * [taylor]: Taking taylor expansion of x in y 1.852 * [taylor]: Taking taylor expansion of y in y 1.853 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 1.853 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.853 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.853 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.853 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.853 * [taylor]: Taking taylor expansion of 0.5 in x 1.853 * [taylor]: Taking taylor expansion of (/ x y) in x 1.853 * [taylor]: Taking taylor expansion of x in x 1.853 * [taylor]: Taking taylor expansion of y in x 1.853 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.853 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.853 * [taylor]: Taking taylor expansion of 0.5 in x 1.853 * [taylor]: Taking taylor expansion of (/ x y) in x 1.853 * [taylor]: Taking taylor expansion of x in x 1.853 * [taylor]: Taking taylor expansion of y in x 1.853 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.853 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.853 * [taylor]: Taking taylor expansion of 0.5 in x 1.853 * [taylor]: Taking taylor expansion of (/ x y) in x 1.853 * [taylor]: Taking taylor expansion of x in x 1.853 * [taylor]: Taking taylor expansion of y in x 1.853 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 1.853 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.854 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.854 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.854 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.854 * [taylor]: Taking taylor expansion of 0.5 in x 1.854 * [taylor]: Taking taylor expansion of (/ x y) in x 1.854 * [taylor]: Taking taylor expansion of x in x 1.854 * [taylor]: Taking taylor expansion of y in x 1.854 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.854 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.854 * [taylor]: Taking taylor expansion of 0.5 in x 1.854 * [taylor]: Taking taylor expansion of (/ x y) in x 1.854 * [taylor]: Taking taylor expansion of x in x 1.854 * [taylor]: Taking taylor expansion of y in x 1.854 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.854 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.854 * [taylor]: Taking taylor expansion of 0.5 in x 1.854 * [taylor]: Taking taylor expansion of (/ x y) in x 1.854 * [taylor]: Taking taylor expansion of x in x 1.854 * [taylor]: Taking taylor expansion of y in x 1.854 * [taylor]: Taking taylor expansion of 1.0 in y 1.858 * [taylor]: Taking taylor expansion of 0 in y 1.862 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 (pow y 2))) in y 1.862 * [taylor]: Taking taylor expansion of 0.125 in y 1.862 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.862 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.862 * [taylor]: Taking taylor expansion of y in y 1.872 * [taylor]: Taking taylor expansion of 0 in y 1.872 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 1.872 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 1.872 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.872 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.872 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.872 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.872 * [taylor]: Taking taylor expansion of 0.5 in y 1.872 * [taylor]: Taking taylor expansion of (/ y x) in y 1.872 * [taylor]: Taking taylor expansion of y in y 1.872 * [taylor]: Taking taylor expansion of x in y 1.872 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.872 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.872 * [taylor]: Taking taylor expansion of 0.5 in y 1.872 * [taylor]: Taking taylor expansion of (/ y x) in y 1.872 * [taylor]: Taking taylor expansion of y in y 1.872 * [taylor]: Taking taylor expansion of x in y 1.873 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.873 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.873 * [taylor]: Taking taylor expansion of 0.5 in y 1.873 * [taylor]: Taking taylor expansion of (/ y x) in y 1.873 * [taylor]: Taking taylor expansion of y in y 1.873 * [taylor]: Taking taylor expansion of x in y 1.873 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.873 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.873 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.873 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.873 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.873 * [taylor]: Taking taylor expansion of 0.5 in x 1.873 * [taylor]: Taking taylor expansion of (/ y x) in x 1.873 * [taylor]: Taking taylor expansion of y in x 1.873 * [taylor]: Taking taylor expansion of x in x 1.873 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.873 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.873 * [taylor]: Taking taylor expansion of 0.5 in x 1.873 * [taylor]: Taking taylor expansion of (/ y x) in x 1.873 * [taylor]: Taking taylor expansion of y in x 1.873 * [taylor]: Taking taylor expansion of x in x 1.873 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.873 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.873 * [taylor]: Taking taylor expansion of 0.5 in x 1.874 * [taylor]: Taking taylor expansion of (/ y x) in x 1.874 * [taylor]: Taking taylor expansion of y in x 1.874 * [taylor]: Taking taylor expansion of x in x 1.874 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.874 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.874 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.874 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.874 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.874 * [taylor]: Taking taylor expansion of 0.5 in x 1.874 * [taylor]: Taking taylor expansion of (/ y x) in x 1.874 * [taylor]: Taking taylor expansion of y in x 1.874 * [taylor]: Taking taylor expansion of x in x 1.874 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.874 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.874 * [taylor]: Taking taylor expansion of 0.5 in x 1.874 * [taylor]: Taking taylor expansion of (/ y x) in x 1.874 * [taylor]: Taking taylor expansion of y in x 1.874 * [taylor]: Taking taylor expansion of x in x 1.874 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.874 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.874 * [taylor]: Taking taylor expansion of 0.5 in x 1.874 * [taylor]: Taking taylor expansion of (/ y x) in x 1.874 * [taylor]: Taking taylor expansion of y in x 1.874 * [taylor]: Taking taylor expansion of x in x 1.875 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 1.875 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.875 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.875 * [taylor]: Taking taylor expansion of 0.5 in y 1.875 * [taylor]: Taking taylor expansion of (/ y x) in y 1.875 * [taylor]: Taking taylor expansion of y in y 1.875 * [taylor]: Taking taylor expansion of x in y 1.876 * [taylor]: Taking taylor expansion of 0 in y 1.877 * [taylor]: Taking taylor expansion of 0 in y 1.879 * [taylor]: Taking taylor expansion of 0 in y 1.882 * [taylor]: Taking taylor expansion of 0 in y 1.883 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 1.883 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 1.883 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.883 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.883 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.883 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.883 * [taylor]: Taking taylor expansion of 0.5 in y 1.883 * [taylor]: Taking taylor expansion of (/ y x) in y 1.883 * [taylor]: Taking taylor expansion of y in y 1.883 * [taylor]: Taking taylor expansion of x in y 1.883 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.883 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.883 * [taylor]: Taking taylor expansion of 0.5 in y 1.883 * [taylor]: Taking taylor expansion of (/ y x) in y 1.883 * [taylor]: Taking taylor expansion of y in y 1.883 * [taylor]: Taking taylor expansion of x in y 1.883 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.883 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.883 * [taylor]: Taking taylor expansion of 0.5 in y 1.883 * [taylor]: Taking taylor expansion of (/ y x) in y 1.883 * [taylor]: Taking taylor expansion of y in y 1.883 * [taylor]: Taking taylor expansion of x in y 1.884 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.884 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.884 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.884 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.884 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.884 * [taylor]: Taking taylor expansion of 0.5 in x 1.884 * [taylor]: Taking taylor expansion of (/ y x) in x 1.884 * [taylor]: Taking taylor expansion of y in x 1.884 * [taylor]: Taking taylor expansion of x in x 1.884 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.884 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.884 * [taylor]: Taking taylor expansion of 0.5 in x 1.884 * [taylor]: Taking taylor expansion of (/ y x) in x 1.884 * [taylor]: Taking taylor expansion of y in x 1.884 * [taylor]: Taking taylor expansion of x in x 1.884 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.884 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.884 * [taylor]: Taking taylor expansion of 0.5 in x 1.884 * [taylor]: Taking taylor expansion of (/ y x) in x 1.884 * [taylor]: Taking taylor expansion of y in x 1.884 * [taylor]: Taking taylor expansion of x in x 1.885 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.885 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.885 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.885 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.885 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.885 * [taylor]: Taking taylor expansion of 0.5 in x 1.885 * [taylor]: Taking taylor expansion of (/ y x) in x 1.885 * [taylor]: Taking taylor expansion of y in x 1.885 * [taylor]: Taking taylor expansion of x in x 1.885 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.885 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.885 * [taylor]: Taking taylor expansion of 0.5 in x 1.885 * [taylor]: Taking taylor expansion of (/ y x) in x 1.885 * [taylor]: Taking taylor expansion of y in x 1.885 * [taylor]: Taking taylor expansion of x in x 1.885 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.885 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.885 * [taylor]: Taking taylor expansion of 0.5 in x 1.885 * [taylor]: Taking taylor expansion of (/ y x) in x 1.885 * [taylor]: Taking taylor expansion of y in x 1.885 * [taylor]: Taking taylor expansion of x in x 1.885 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 1.886 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.886 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.886 * [taylor]: Taking taylor expansion of 0.5 in y 1.886 * [taylor]: Taking taylor expansion of (/ y x) in y 1.886 * [taylor]: Taking taylor expansion of y in y 1.886 * [taylor]: Taking taylor expansion of x in y 1.887 * [taylor]: Taking taylor expansion of 0 in y 1.888 * [taylor]: Taking taylor expansion of 0 in y 1.890 * [taylor]: Taking taylor expansion of 0 in y 1.893 * [taylor]: Taking taylor expansion of 0 in y 1.894 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.894 * [approximate]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in (x y) around 0 1.894 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in y 1.894 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) 1) 1.894 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in y 1.894 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in y 1.894 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 1.894 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.894 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.894 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.894 * [taylor]: Taking taylor expansion of 0.5 in y 1.894 * [taylor]: Taking taylor expansion of (/ x y) in y 1.894 * [taylor]: Taking taylor expansion of x in y 1.894 * [taylor]: Taking taylor expansion of y in y 1.894 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 1.894 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.894 * [taylor]: Taking taylor expansion of 0.5 in y 1.894 * [taylor]: Taking taylor expansion of (/ x y) in y 1.894 * [taylor]: Taking taylor expansion of x in y 1.894 * [taylor]: Taking taylor expansion of y in y 1.895 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.895 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.895 * [taylor]: Taking taylor expansion of 0.5 in y 1.895 * [taylor]: Taking taylor expansion of (/ x y) in y 1.895 * [taylor]: Taking taylor expansion of x in y 1.895 * [taylor]: Taking taylor expansion of y in y 1.895 * [taylor]: Taking taylor expansion of 1 in y 1.895 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in x 1.895 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) 1) 1.895 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in x 1.895 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 1.895 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.895 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.895 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.895 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.895 * [taylor]: Taking taylor expansion of 0.5 in x 1.895 * [taylor]: Taking taylor expansion of (/ x y) in x 1.895 * [taylor]: Taking taylor expansion of x in x 1.895 * [taylor]: Taking taylor expansion of y in x 1.895 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.895 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.896 * [taylor]: Taking taylor expansion of 0.5 in x 1.896 * [taylor]: Taking taylor expansion of (/ x y) in x 1.896 * [taylor]: Taking taylor expansion of x in x 1.896 * [taylor]: Taking taylor expansion of y in x 1.896 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.896 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.896 * [taylor]: Taking taylor expansion of 0.5 in x 1.896 * [taylor]: Taking taylor expansion of (/ x y) in x 1.896 * [taylor]: Taking taylor expansion of x in x 1.896 * [taylor]: Taking taylor expansion of y in x 1.897 * [taylor]: Taking taylor expansion of 1 in x 1.897 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in x 1.897 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) 1) 1.897 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in x 1.897 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 1.897 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.897 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.897 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.897 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.897 * [taylor]: Taking taylor expansion of 0.5 in x 1.897 * [taylor]: Taking taylor expansion of (/ x y) in x 1.897 * [taylor]: Taking taylor expansion of x in x 1.897 * [taylor]: Taking taylor expansion of y in x 1.897 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.897 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.897 * [taylor]: Taking taylor expansion of 0.5 in x 1.897 * [taylor]: Taking taylor expansion of (/ x y) in x 1.897 * [taylor]: Taking taylor expansion of x in x 1.897 * [taylor]: Taking taylor expansion of y in x 1.897 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.897 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.897 * [taylor]: Taking taylor expansion of 0.5 in x 1.897 * [taylor]: Taking taylor expansion of (/ x y) in x 1.897 * [taylor]: Taking taylor expansion of x in x 1.898 * [taylor]: Taking taylor expansion of y in x 1.898 * [taylor]: Taking taylor expansion of 1 in x 1.899 * [taylor]: Taking taylor expansion of (- (exp 1.0) 1) in y 1.899 * [taylor]: Taking taylor expansion of (exp 1.0) in y 1.899 * [taylor]: Taking taylor expansion of 1.0 in y 1.900 * [taylor]: Taking taylor expansion of 1 in y 1.905 * [taylor]: Taking taylor expansion of 0 in y 1.912 * [taylor]: Taking taylor expansion of (* 0.125 (/ (exp 1.0) (pow y 2))) in y 1.912 * [taylor]: Taking taylor expansion of 0.125 in y 1.912 * [taylor]: Taking taylor expansion of (/ (exp 1.0) (pow y 2)) in y 1.912 * [taylor]: Taking taylor expansion of (exp 1.0) in y 1.912 * [taylor]: Taking taylor expansion of 1.0 in y 1.912 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.912 * [taylor]: Taking taylor expansion of y in y 1.932 * [taylor]: Taking taylor expansion of 0 in y 1.933 * [approximate]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in (x y) around 0 1.933 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in y 1.933 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.933 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in y 1.933 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 1.933 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.933 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.933 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.933 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.933 * [taylor]: Taking taylor expansion of 0.5 in y 1.933 * [taylor]: Taking taylor expansion of (/ y x) in y 1.933 * [taylor]: Taking taylor expansion of y in y 1.933 * [taylor]: Taking taylor expansion of x in y 1.933 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.933 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.933 * [taylor]: Taking taylor expansion of 0.5 in y 1.933 * [taylor]: Taking taylor expansion of (/ y x) in y 1.934 * [taylor]: Taking taylor expansion of y in y 1.934 * [taylor]: Taking taylor expansion of x in y 1.934 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.934 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.934 * [taylor]: Taking taylor expansion of 0.5 in y 1.934 * [taylor]: Taking taylor expansion of (/ y x) in y 1.934 * [taylor]: Taking taylor expansion of y in y 1.934 * [taylor]: Taking taylor expansion of x in y 1.935 * [taylor]: Taking taylor expansion of 1 in y 1.935 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.935 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.935 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.935 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.935 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.935 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.935 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.935 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.935 * [taylor]: Taking taylor expansion of 0.5 in x 1.935 * [taylor]: Taking taylor expansion of (/ y x) in x 1.935 * [taylor]: Taking taylor expansion of y in x 1.935 * [taylor]: Taking taylor expansion of x in x 1.935 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.935 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.935 * [taylor]: Taking taylor expansion of 0.5 in x 1.935 * [taylor]: Taking taylor expansion of (/ y x) in x 1.935 * [taylor]: Taking taylor expansion of y in x 1.935 * [taylor]: Taking taylor expansion of x in x 1.935 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.935 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.935 * [taylor]: Taking taylor expansion of 0.5 in x 1.935 * [taylor]: Taking taylor expansion of (/ y x) in x 1.935 * [taylor]: Taking taylor expansion of y in x 1.935 * [taylor]: Taking taylor expansion of x in x 1.936 * [taylor]: Taking taylor expansion of 1 in x 1.936 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.936 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.936 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.936 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.936 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.936 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.936 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.936 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.936 * [taylor]: Taking taylor expansion of 0.5 in x 1.936 * [taylor]: Taking taylor expansion of (/ y x) in x 1.936 * [taylor]: Taking taylor expansion of y in x 1.936 * [taylor]: Taking taylor expansion of x in x 1.936 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.936 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.936 * [taylor]: Taking taylor expansion of 0.5 in x 1.936 * [taylor]: Taking taylor expansion of (/ y x) in x 1.936 * [taylor]: Taking taylor expansion of y in x 1.936 * [taylor]: Taking taylor expansion of x in x 1.936 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.936 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.936 * [taylor]: Taking taylor expansion of 0.5 in x 1.936 * [taylor]: Taking taylor expansion of (/ y x) in x 1.937 * [taylor]: Taking taylor expansion of y in x 1.937 * [taylor]: Taking taylor expansion of x in x 1.937 * [taylor]: Taking taylor expansion of 1 in x 1.937 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (cos (* 0.5 (/ y x))))) 1) in y 1.938 * [taylor]: Taking taylor expansion of (exp (/ 1 (cos (* 0.5 (/ y x))))) in y 1.938 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 1.938 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.938 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.938 * [taylor]: Taking taylor expansion of 0.5 in y 1.938 * [taylor]: Taking taylor expansion of (/ y x) in y 1.938 * [taylor]: Taking taylor expansion of y in y 1.938 * [taylor]: Taking taylor expansion of x in y 1.938 * [taylor]: Taking taylor expansion of 1 in y 1.941 * [taylor]: Taking taylor expansion of 0 in y 1.945 * [taylor]: Taking taylor expansion of 0 in y 1.950 * [taylor]: Taking taylor expansion of 0 in y 1.957 * [taylor]: Taking taylor expansion of 0 in y 1.958 * [approximate]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in (x y) around 0 1.958 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in y 1.958 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.958 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in y 1.958 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 1.958 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.958 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.958 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.958 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.958 * [taylor]: Taking taylor expansion of 0.5 in y 1.958 * [taylor]: Taking taylor expansion of (/ y x) in y 1.958 * [taylor]: Taking taylor expansion of y in y 1.958 * [taylor]: Taking taylor expansion of x in y 1.958 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.958 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.959 * [taylor]: Taking taylor expansion of 0.5 in y 1.959 * [taylor]: Taking taylor expansion of (/ y x) in y 1.959 * [taylor]: Taking taylor expansion of y in y 1.959 * [taylor]: Taking taylor expansion of x in y 1.959 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.959 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.959 * [taylor]: Taking taylor expansion of 0.5 in y 1.959 * [taylor]: Taking taylor expansion of (/ y x) in y 1.959 * [taylor]: Taking taylor expansion of y in y 1.959 * [taylor]: Taking taylor expansion of x in y 1.960 * [taylor]: Taking taylor expansion of 1 in y 1.960 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.960 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.960 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.960 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.960 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.960 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.960 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.960 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.960 * [taylor]: Taking taylor expansion of 0.5 in x 1.960 * [taylor]: Taking taylor expansion of (/ y x) in x 1.960 * [taylor]: Taking taylor expansion of y in x 1.960 * [taylor]: Taking taylor expansion of x in x 1.960 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.960 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.960 * [taylor]: Taking taylor expansion of 0.5 in x 1.960 * [taylor]: Taking taylor expansion of (/ y x) in x 1.960 * [taylor]: Taking taylor expansion of y in x 1.960 * [taylor]: Taking taylor expansion of x in x 1.960 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.960 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.960 * [taylor]: Taking taylor expansion of 0.5 in x 1.960 * [taylor]: Taking taylor expansion of (/ y x) in x 1.960 * [taylor]: Taking taylor expansion of y in x 1.960 * [taylor]: Taking taylor expansion of x in x 1.961 * [taylor]: Taking taylor expansion of 1 in x 1.961 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.961 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.961 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.961 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.961 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.961 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.961 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.961 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.961 * [taylor]: Taking taylor expansion of 0.5 in x 1.961 * [taylor]: Taking taylor expansion of (/ y x) in x 1.961 * [taylor]: Taking taylor expansion of y in x 1.961 * [taylor]: Taking taylor expansion of x in x 1.961 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.961 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.961 * [taylor]: Taking taylor expansion of 0.5 in x 1.961 * [taylor]: Taking taylor expansion of (/ y x) in x 1.961 * [taylor]: Taking taylor expansion of y in x 1.961 * [taylor]: Taking taylor expansion of x in x 1.961 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.961 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.961 * [taylor]: Taking taylor expansion of 0.5 in x 1.962 * [taylor]: Taking taylor expansion of (/ y x) in x 1.962 * [taylor]: Taking taylor expansion of y in x 1.962 * [taylor]: Taking taylor expansion of x in x 1.962 * [taylor]: Taking taylor expansion of 1 in x 1.962 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (cos (* 0.5 (/ y x))))) 1) in y 1.963 * [taylor]: Taking taylor expansion of (exp (/ 1 (cos (* 0.5 (/ y x))))) in y 1.963 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 1.963 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.963 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.963 * [taylor]: Taking taylor expansion of 0.5 in y 1.963 * [taylor]: Taking taylor expansion of (/ y x) in y 1.963 * [taylor]: Taking taylor expansion of y in y 1.963 * [taylor]: Taking taylor expansion of x in y 1.963 * [taylor]: Taking taylor expansion of 1 in y 1.966 * [taylor]: Taking taylor expansion of 0 in y 1.970 * [taylor]: Taking taylor expansion of 0 in y 1.974 * [taylor]: Taking taylor expansion of 0 in y 1.981 * [taylor]: Taking taylor expansion of 0 in y 1.982 * * * [progress]: simplifying candidates 1.983 * [simplify]: Simplifying using # : (expm1 (tan (/ x (* y 2.0)))) (log1p (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))) (log (tan (/ x (* y 2.0)))) (exp (tan (/ x (* y 2.0)))) (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (cbrt (tan (/ x (* y 2.0)))) (* (* (tan (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (tan (/ x (* y 2.0)))) (sqrt (tan (/ x (* y 2.0)))) (sqrt (tan (/ x (* y 2.0)))) (expm1 (sin (/ x (* y 2.0)))) (log1p (sin (/ x (* y 2.0)))) (log (sin (/ x (* y 2.0)))) (exp (sin (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (cbrt (sin (/ x (* y 2.0)))) (* (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))) (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (log1p (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (- (log (tan (/ x (* y 2.0)))) (log (sin (/ x (* y 2.0))))) (log (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (exp (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (/ (* (* (tan (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (tan (/ x (* y 2.0)))) (* (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))) (* (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (* (* (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (- (tan (/ x (* y 2.0)))) (- (sin (/ x (* y 2.0)))) (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (sqrt (sin (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) 1) (/ (cbrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (/ (sqrt (tan (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (sqrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (/ (sqrt (tan (/ x (* y 2.0)))) 1) (/ (sqrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (/ 1 (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (cbrt (sin (/ x (* y 2.0))))) (/ 1 (sqrt (sin (/ x (* y 2.0))))) (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0))))) (/ 1 1) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (/ 1 (sin (/ x (* y 2.0)))) (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (/ (tan (/ x (* y 2.0))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0))))) (/ (tan (/ x (* y 2.0))) 1) (/ (sin (/ x (* y 2.0))) (cbrt (tan (/ x (* y 2.0))))) (/ (sin (/ x (* y 2.0))) (sqrt (tan (/ x (* y 2.0))))) (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (exp (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (expm1 (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (log1p (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (log (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (exp (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (* (cbrt (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (cbrt (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))))) (cbrt (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (* (* (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (sqrt (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (sqrt (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) 0 (+ (* 0.04166666666666667 (/ (pow x 3) (pow y 3))) (* 0.5 (/ x y))) (+ (* 0.04166666666666667 (/ (pow x 3) (pow y 3))) (* 0.5 (/ x y))) 0 (* 0.5 (/ x y)) (* 0.5 (/ x y)) 1.0 (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1) (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1) (- (exp 1.0) 1) (- (+ E (* 0.125 (/ (* (pow x 2) E) (pow y 2)))) 1) (- (+ E (* 0.125 (/ (* (pow x 2) E) (pow y 2)))) 1) 1.987 * * [simplify]: iteration 0 : 100 enodes (cost 1106 ) 2.004 * * [simplify]: iteration 1 : 180 enodes (cost 1089 ) 2.044 * * [simplify]: iteration 2 : 436 enodes (cost 983 ) 2.202 * * [simplify]: iteration 3 : 1515 enodes (cost 977 ) 3.122 * * [simplify]: iteration done : 5001 enodes (cost 977 ) 3.123 * [simplify]: Simplified to: (expm1 (tan (/ x (* y 2.0)))) (log1p (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))) (log (tan (/ x (* y 2.0)))) (exp (tan (/ x (* y 2.0)))) (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (cbrt (tan (/ x (* y 2.0)))) (pow (tan (/ x (* y 2.0))) 3) (sqrt (tan (/ x (* y 2.0)))) (sqrt (tan (/ x (* y 2.0)))) (expm1 (sin (/ x (* y 2.0)))) (log1p (sin (/ x (* y 2.0)))) (log (sin (/ x (* y 2.0)))) (exp (sin (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (cbrt (sin (/ x (* y 2.0)))) (pow (sin (/ x (* y 2.0))) 3) (sqrt (sin (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))) (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (log1p (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (log (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (log (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (exp (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (pow (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 3) (* (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (pow (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 3) (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (- (tan (/ x (* y 2.0)))) (- (sin (/ x (* y 2.0)))) (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (sqrt (sin (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (/ (sqrt (tan (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (sqrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0))))) (sqrt (tan (/ x (* y 2.0)))) (/ (sqrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (/ 1 (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (cbrt (sin (/ x (* y 2.0))))) (/ 1 (sqrt (sin (/ x (* y 2.0))))) (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0))))) 1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (/ 1 (sin (/ x (* y 2.0)))) (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (/ (tan (/ x (* y 2.0))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0))))) (tan (/ x (* y 2.0))) (/ (sin (/ x (* y 2.0))) (cbrt (tan (/ x (* y 2.0))))) (/ (sin (/ x (* y 2.0))) (sqrt (tan (/ x (* y 2.0))))) (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (exp (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (expm1 (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (log (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (exp (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (* (cbrt (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (cbrt (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))))) (cbrt (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (pow (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) 3) (sqrt (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) (sqrt (expm1 (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))) 0 (fma 0.04166666666666667 (pow (/ x y) 3) (* 0.5 (/ x y))) (fma 0.04166666666666667 (pow (/ x y) 3) (* 0.5 (/ x y))) 0 (* 0.5 (/ x y)) (* 0.5 (/ x y)) 1.0 (fma 0.125 (/ (pow x 2) (pow y 2)) 1) (fma 0.125 (/ (pow x 2) (pow y 2)) 1) (expm1 1.0) (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)) (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)) 3.124 * * * [progress]: adding candidates to table 3.376 * * [progress]: iteration 4 / 4 3.376 * * * [progress]: picking best candidate 3.421 * * * * [pick]: Picked # 3.421 * * * [progress]: localizing error 3.436 * * * [progress]: generating rewritten candidates 3.436 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 3.437 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 3.443 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 3) 3.443 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 3.453 * * * [progress]: generating series expansions 3.453 * * * * [progress]: [ 1 / 4 ] generating series at (2) 3.454 * [approximate]: Taking taylor expansion of (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) in (x y) around 0 3.454 * [taylor]: Taking taylor expansion of (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) in y 3.454 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) 3.454 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) in y 3.454 * [taylor]: Taking taylor expansion of 1 in y 3.454 * [taylor]: Taking taylor expansion of (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)) in y 3.454 * [taylor]: Rewrote expression to (+ (* (/ (* (pow x 2) E) (pow y 2)) 0.125) (expm1 1)) 3.454 * [taylor]: Taking taylor expansion of (* (/ (* (pow x 2) E) (pow y 2)) 0.125) in y 3.454 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) (pow y 2)) in y 3.454 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in y 3.454 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.454 * [taylor]: Taking taylor expansion of x in y 3.454 * [taylor]: Taking taylor expansion of E in y 3.454 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.454 * [taylor]: Taking taylor expansion of y in y 3.455 * [taylor]: Taking taylor expansion of 0.125 in y 3.455 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.455 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.455 * [taylor]: Taking taylor expansion of (exp 1) in y 3.455 * [taylor]: Taking taylor expansion of 1 in y 3.455 * [taylor]: Taking taylor expansion of 1 in y 3.455 * [taylor]: Taking taylor expansion of (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) in x 3.456 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) 3.456 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) in x 3.456 * [taylor]: Taking taylor expansion of 1 in x 3.456 * [taylor]: Taking taylor expansion of (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)) in x 3.456 * [taylor]: Rewrote expression to (+ (* (/ (* (pow x 2) E) (pow y 2)) 0.125) (expm1 1)) 3.456 * [taylor]: Taking taylor expansion of (* (/ (* (pow x 2) E) (pow y 2)) 0.125) in x 3.456 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) (pow y 2)) in x 3.456 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.456 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.456 * [taylor]: Taking taylor expansion of x in x 3.456 * [taylor]: Taking taylor expansion of E in x 3.456 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.456 * [taylor]: Taking taylor expansion of y in x 3.457 * [taylor]: Taking taylor expansion of 0.125 in x 3.457 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.457 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.457 * [taylor]: Taking taylor expansion of (exp 1) in x 3.457 * [taylor]: Taking taylor expansion of 1 in x 3.457 * [taylor]: Taking taylor expansion of 1 in x 3.459 * [taylor]: Taking taylor expansion of (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) in x 3.459 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) 3.459 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) in x 3.459 * [taylor]: Taking taylor expansion of 1 in x 3.459 * [taylor]: Taking taylor expansion of (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)) in x 3.459 * [taylor]: Rewrote expression to (+ (* (/ (* (pow x 2) E) (pow y 2)) 0.125) (expm1 1)) 3.459 * [taylor]: Taking taylor expansion of (* (/ (* (pow x 2) E) (pow y 2)) 0.125) in x 3.459 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) (pow y 2)) in x 3.459 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.459 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.459 * [taylor]: Taking taylor expansion of x in x 3.459 * [taylor]: Taking taylor expansion of E in x 3.459 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.459 * [taylor]: Taking taylor expansion of y in x 3.460 * [taylor]: Taking taylor expansion of 0.125 in x 3.460 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.460 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.460 * [taylor]: Taking taylor expansion of (exp 1) in x 3.460 * [taylor]: Taking taylor expansion of 1 in x 3.460 * [taylor]: Taking taylor expansion of 1 in x 3.462 * [taylor]: Taking taylor expansion of 1 in y 3.465 * [taylor]: Taking taylor expansion of 0 in y 3.468 * [taylor]: Taking taylor expansion of (/ 0.125 (pow y 2)) in y 3.469 * [taylor]: Taking taylor expansion of 0.125 in y 3.469 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.469 * [taylor]: Taking taylor expansion of y in y 3.478 * [taylor]: Taking taylor expansion of 0 in y 3.478 * [approximate]: Taking taylor expansion of (log1p (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in (x y) around 0 3.478 * [taylor]: Taking taylor expansion of (log1p (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in y 3.478 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)))) 3.478 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in y 3.479 * [taylor]: Taking taylor expansion of 1 in y 3.479 * [taylor]: Taking taylor expansion of (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)) in y 3.479 * [taylor]: Rewrote expression to (+ (* (/ (* E (pow y 2)) (pow x 2)) 0.125) (expm1 1)) 3.479 * [taylor]: Taking taylor expansion of (* (/ (* E (pow y 2)) (pow x 2)) 0.125) in y 3.479 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in y 3.479 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in y 3.479 * [taylor]: Taking taylor expansion of E in y 3.479 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.479 * [taylor]: Taking taylor expansion of y in y 3.479 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.479 * [taylor]: Taking taylor expansion of x in y 3.480 * [taylor]: Taking taylor expansion of 0.125 in y 3.480 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.480 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.480 * [taylor]: Taking taylor expansion of (exp 1) in y 3.480 * [taylor]: Taking taylor expansion of 1 in y 3.480 * [taylor]: Taking taylor expansion of 1 in y 3.482 * [taylor]: Taking taylor expansion of (log1p (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in x 3.482 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)))) 3.482 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in x 3.482 * [taylor]: Taking taylor expansion of 1 in x 3.482 * [taylor]: Taking taylor expansion of (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)) in x 3.482 * [taylor]: Rewrote expression to (+ (* (/ (* E (pow y 2)) (pow x 2)) 0.125) (expm1 1)) 3.482 * [taylor]: Taking taylor expansion of (* (/ (* E (pow y 2)) (pow x 2)) 0.125) in x 3.482 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in x 3.482 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in x 3.482 * [taylor]: Taking taylor expansion of E in x 3.482 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.482 * [taylor]: Taking taylor expansion of y in x 3.482 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.482 * [taylor]: Taking taylor expansion of x in x 3.483 * [taylor]: Taking taylor expansion of 0.125 in x 3.483 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.483 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.483 * [taylor]: Taking taylor expansion of (exp 1) in x 3.483 * [taylor]: Taking taylor expansion of 1 in x 3.483 * [taylor]: Taking taylor expansion of 1 in x 3.484 * [taylor]: Taking taylor expansion of (log1p (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in x 3.484 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)))) 3.484 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in x 3.484 * [taylor]: Taking taylor expansion of 1 in x 3.484 * [taylor]: Taking taylor expansion of (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)) in x 3.484 * [taylor]: Rewrote expression to (+ (* (/ (* E (pow y 2)) (pow x 2)) 0.125) (expm1 1)) 3.484 * [taylor]: Taking taylor expansion of (* (/ (* E (pow y 2)) (pow x 2)) 0.125) in x 3.484 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in x 3.484 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in x 3.484 * [taylor]: Taking taylor expansion of E in x 3.484 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.484 * [taylor]: Taking taylor expansion of y in x 3.484 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.484 * [taylor]: Taking taylor expansion of x in x 3.485 * [taylor]: Taking taylor expansion of 0.125 in x 3.485 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.485 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.485 * [taylor]: Taking taylor expansion of (exp 1) in x 3.485 * [taylor]: Taking taylor expansion of 1 in x 3.485 * [taylor]: Taking taylor expansion of 1 in x 3.486 * [taylor]: Taking taylor expansion of (- (log (* 0.125 (* E (pow y 2)))) (* 2 (log x))) in y 3.486 * [taylor]: Taking taylor expansion of (log (* 0.125 (* E (pow y 2)))) in y 3.486 * [taylor]: Taking taylor expansion of (* 0.125 (* E (pow y 2))) in y 3.486 * [taylor]: Taking taylor expansion of 0.125 in y 3.486 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in y 3.486 * [taylor]: Taking taylor expansion of E in y 3.486 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.486 * [taylor]: Taking taylor expansion of y in y 3.488 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 3.488 * [taylor]: Taking taylor expansion of 2 in y 3.488 * [taylor]: Taking taylor expansion of (log x) in y 3.488 * [taylor]: Taking taylor expansion of x in y 3.493 * [taylor]: Taking taylor expansion of 0 in y 3.504 * [taylor]: Taking taylor expansion of (/ 8.0 (pow y 2)) in y 3.504 * [taylor]: Taking taylor expansion of 8.0 in y 3.504 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.504 * [taylor]: Taking taylor expansion of y in y 3.526 * [taylor]: Taking taylor expansion of 0 in y 3.528 * [approximate]: Taking taylor expansion of (log1p (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in (x y) around 0 3.528 * [taylor]: Taking taylor expansion of (log1p (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in y 3.528 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)))) 3.528 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in y 3.528 * [taylor]: Taking taylor expansion of 1 in y 3.528 * [taylor]: Taking taylor expansion of (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)) in y 3.528 * [taylor]: Rewrote expression to (+ (* (/ (* E (pow y 2)) (pow x 2)) 0.125) (expm1 1)) 3.528 * [taylor]: Taking taylor expansion of (* (/ (* E (pow y 2)) (pow x 2)) 0.125) in y 3.528 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in y 3.528 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in y 3.528 * [taylor]: Taking taylor expansion of E in y 3.528 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.528 * [taylor]: Taking taylor expansion of y in y 3.528 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.528 * [taylor]: Taking taylor expansion of x in y 3.529 * [taylor]: Taking taylor expansion of 0.125 in y 3.529 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.529 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.529 * [taylor]: Taking taylor expansion of (exp 1) in y 3.529 * [taylor]: Taking taylor expansion of 1 in y 3.529 * [taylor]: Taking taylor expansion of 1 in y 3.531 * [taylor]: Taking taylor expansion of (log1p (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in x 3.531 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)))) 3.531 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in x 3.532 * [taylor]: Taking taylor expansion of 1 in x 3.532 * [taylor]: Taking taylor expansion of (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)) in x 3.532 * [taylor]: Rewrote expression to (+ (* (/ (* E (pow y 2)) (pow x 2)) 0.125) (expm1 1)) 3.532 * [taylor]: Taking taylor expansion of (* (/ (* E (pow y 2)) (pow x 2)) 0.125) in x 3.532 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in x 3.532 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in x 3.532 * [taylor]: Taking taylor expansion of E in x 3.532 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.532 * [taylor]: Taking taylor expansion of y in x 3.532 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.532 * [taylor]: Taking taylor expansion of x in x 3.532 * [taylor]: Taking taylor expansion of 0.125 in x 3.532 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.532 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.533 * [taylor]: Taking taylor expansion of (exp 1) in x 3.533 * [taylor]: Taking taylor expansion of 1 in x 3.533 * [taylor]: Taking taylor expansion of 1 in x 3.533 * [taylor]: Taking taylor expansion of (log1p (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in x 3.533 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)))) 3.533 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1))) in x 3.533 * [taylor]: Taking taylor expansion of 1 in x 3.533 * [taylor]: Taking taylor expansion of (fma (/ (* E (pow y 2)) (pow x 2)) 0.125 (expm1 1)) in x 3.533 * [taylor]: Rewrote expression to (+ (* (/ (* E (pow y 2)) (pow x 2)) 0.125) (expm1 1)) 3.533 * [taylor]: Taking taylor expansion of (* (/ (* E (pow y 2)) (pow x 2)) 0.125) in x 3.533 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in x 3.533 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in x 3.533 * [taylor]: Taking taylor expansion of E in x 3.533 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.533 * [taylor]: Taking taylor expansion of y in x 3.533 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.533 * [taylor]: Taking taylor expansion of x in x 3.534 * [taylor]: Taking taylor expansion of 0.125 in x 3.534 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.534 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.534 * [taylor]: Taking taylor expansion of (exp 1) in x 3.534 * [taylor]: Taking taylor expansion of 1 in x 3.534 * [taylor]: Taking taylor expansion of 1 in x 3.535 * [taylor]: Taking taylor expansion of (- (log (* 0.125 (* E (pow y 2)))) (* 2 (log x))) in y 3.535 * [taylor]: Taking taylor expansion of (log (* 0.125 (* E (pow y 2)))) in y 3.535 * [taylor]: Taking taylor expansion of (* 0.125 (* E (pow y 2))) in y 3.535 * [taylor]: Taking taylor expansion of 0.125 in y 3.535 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in y 3.535 * [taylor]: Taking taylor expansion of E in y 3.535 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.535 * [taylor]: Taking taylor expansion of y in y 3.537 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 3.537 * [taylor]: Taking taylor expansion of 2 in y 3.537 * [taylor]: Taking taylor expansion of (log x) in y 3.537 * [taylor]: Taking taylor expansion of x in y 3.543 * [taylor]: Taking taylor expansion of 0 in y 3.553 * [taylor]: Taking taylor expansion of (/ 8.0 (pow y 2)) in y 3.553 * [taylor]: Taking taylor expansion of 8.0 in y 3.553 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.553 * [taylor]: Taking taylor expansion of y in y 3.570 * [taylor]: Taking taylor expansion of 0 in y 3.571 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 3.571 * [approximate]: Taking taylor expansion of (/ (* (pow x 2) E) (pow y 2)) in (x y) around 0 3.571 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) (pow y 2)) in y 3.571 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in y 3.571 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.571 * [taylor]: Taking taylor expansion of x in y 3.571 * [taylor]: Taking taylor expansion of E in y 3.571 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.571 * [taylor]: Taking taylor expansion of y in y 3.572 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) (pow y 2)) in x 3.572 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.572 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.572 * [taylor]: Taking taylor expansion of x in x 3.572 * [taylor]: Taking taylor expansion of E in x 3.572 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.572 * [taylor]: Taking taylor expansion of y in x 3.573 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) (pow y 2)) in x 3.573 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.573 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.573 * [taylor]: Taking taylor expansion of x in x 3.573 * [taylor]: Taking taylor expansion of E in x 3.573 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.573 * [taylor]: Taking taylor expansion of y in x 3.574 * [taylor]: Taking taylor expansion of (/ E (pow y 2)) in y 3.574 * [taylor]: Taking taylor expansion of E in y 3.574 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.574 * [taylor]: Taking taylor expansion of y in y 3.576 * [taylor]: Taking taylor expansion of 0 in y 3.579 * [taylor]: Taking taylor expansion of 0 in y 3.582 * [taylor]: Taking taylor expansion of 0 in y 3.587 * [taylor]: Taking taylor expansion of 0 in y 3.587 * [approximate]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in (x y) around 0 3.587 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in y 3.587 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in y 3.587 * [taylor]: Taking taylor expansion of E in y 3.587 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.587 * [taylor]: Taking taylor expansion of y in y 3.587 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.588 * [taylor]: Taking taylor expansion of x in y 3.588 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in x 3.588 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in x 3.588 * [taylor]: Taking taylor expansion of E in x 3.588 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.588 * [taylor]: Taking taylor expansion of y in x 3.589 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.589 * [taylor]: Taking taylor expansion of x in x 3.589 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in x 3.589 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in x 3.589 * [taylor]: Taking taylor expansion of E in x 3.589 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.589 * [taylor]: Taking taylor expansion of y in x 3.589 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.589 * [taylor]: Taking taylor expansion of x in x 3.590 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in y 3.590 * [taylor]: Taking taylor expansion of E in y 3.590 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.590 * [taylor]: Taking taylor expansion of y in y 3.592 * [taylor]: Taking taylor expansion of 0 in y 3.595 * [taylor]: Taking taylor expansion of 0 in y 3.600 * [taylor]: Taking taylor expansion of 0 in y 3.600 * [approximate]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in (x y) around 0 3.600 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in y 3.600 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in y 3.600 * [taylor]: Taking taylor expansion of E in y 3.600 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.600 * [taylor]: Taking taylor expansion of y in y 3.600 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.600 * [taylor]: Taking taylor expansion of x in y 3.601 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in x 3.601 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in x 3.601 * [taylor]: Taking taylor expansion of E in x 3.601 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.601 * [taylor]: Taking taylor expansion of y in x 3.601 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.601 * [taylor]: Taking taylor expansion of x in x 3.602 * [taylor]: Taking taylor expansion of (/ (* E (pow y 2)) (pow x 2)) in x 3.602 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in x 3.602 * [taylor]: Taking taylor expansion of E in x 3.602 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.602 * [taylor]: Taking taylor expansion of y in x 3.602 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.602 * [taylor]: Taking taylor expansion of x in x 3.602 * [taylor]: Taking taylor expansion of (* E (pow y 2)) in y 3.602 * [taylor]: Taking taylor expansion of E in y 3.603 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.603 * [taylor]: Taking taylor expansion of y in y 3.605 * [taylor]: Taking taylor expansion of 0 in y 3.608 * [taylor]: Taking taylor expansion of 0 in y 3.620 * [taylor]: Taking taylor expansion of 0 in y 3.620 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 3) 3.620 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 3.620 * [approximate]: Taking taylor expansion of (* (pow x 2) E) in (x) around 0 3.620 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.621 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.621 * [taylor]: Taking taylor expansion of x in x 3.621 * [taylor]: Taking taylor expansion of E in x 3.621 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.621 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.621 * [taylor]: Taking taylor expansion of x in x 3.621 * [taylor]: Taking taylor expansion of E in x 3.630 * [approximate]: Taking taylor expansion of (/ E (pow x 2)) in (x) around 0 3.630 * [taylor]: Taking taylor expansion of (/ E (pow x 2)) in x 3.630 * [taylor]: Taking taylor expansion of E in x 3.630 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.630 * [taylor]: Taking taylor expansion of x in x 3.631 * [taylor]: Taking taylor expansion of (/ E (pow x 2)) in x 3.631 * [taylor]: Taking taylor expansion of E in x 3.631 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.631 * [taylor]: Taking taylor expansion of x in x 3.640 * [approximate]: Taking taylor expansion of (/ E (pow x 2)) in (x) around 0 3.640 * [taylor]: Taking taylor expansion of (/ E (pow x 2)) in x 3.640 * [taylor]: Taking taylor expansion of E in x 3.640 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.640 * [taylor]: Taking taylor expansion of x in x 3.641 * [taylor]: Taking taylor expansion of (/ E (pow x 2)) in x 3.641 * [taylor]: Taking taylor expansion of E in x 3.641 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.641 * [taylor]: Taking taylor expansion of x in x 3.649 * * * [progress]: simplifying candidates 3.651 * [simplify]: Simplifying using # : (+ 1 (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) (expm1 (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (log1p (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (log (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (exp (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (* (cbrt (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (cbrt (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))))) (cbrt (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (* (* (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (sqrt (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (sqrt (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (expm1 (/ (* (pow x 2) E) (pow y 2))) (log1p (/ (* (pow x 2) E) (pow y 2))) (- (+ (* (log x) 2) 1) (* (log y) 2)) (- (+ (* (log x) 2) 1) (* (log y) 2)) (- (+ (* (log x) 2) 1) (log (pow y 2))) (- (+ (* (log x) 2) (log E)) (* (log y) 2)) (- (+ (* (log x) 2) (log E)) (* (log y) 2)) (- (+ (* (log x) 2) (log E)) (log (pow y 2))) (- (+ (* (log x) 2) 1) (* (log y) 2)) (- (+ (* (log x) 2) 1) (* (log y) 2)) (- (+ (* (log x) 2) 1) (log (pow y 2))) (- (+ (* (log x) 2) (log E)) (* (log y) 2)) (- (+ (* (log x) 2) (log E)) (* (log y) 2)) (- (+ (* (log x) 2) (log E)) (log (pow y 2))) (- (+ (log (pow x 2)) 1) (* (log y) 2)) (- (+ (log (pow x 2)) 1) (* (log y) 2)) (- (+ (log (pow x 2)) 1) (log (pow y 2))) (- (+ (log (pow x 2)) (log E)) (* (log y) 2)) (- (+ (log (pow x 2)) (log E)) (* (log y) 2)) (- (+ (log (pow x 2)) (log E)) (log (pow y 2))) (- (log (* (pow x 2) E)) (* (log y) 2)) (- (log (* (pow x 2) E)) (* (log y) 2)) (- (log (* (pow x 2) E)) (log (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (exp (/ (* (pow x 2) E) (pow y 2))) (/ (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* E E) E)) (* (* (pow y 2) (pow y 2)) (pow y 2))) (/ (* (* (* (pow x 2) E) (* (pow x 2) E)) (* (pow x 2) E)) (* (* (pow y 2) (pow y 2)) (pow y 2))) (* (cbrt (/ (* (pow x 2) E) (pow y 2))) (cbrt (/ (* (pow x 2) E) (pow y 2)))) (cbrt (/ (* (pow x 2) E) (pow y 2))) (* (* (/ (* (pow x 2) E) (pow y 2)) (/ (* (pow x 2) E) (pow y 2))) (/ (* (pow x 2) E) (pow y 2))) (sqrt (/ (* (pow x 2) E) (pow y 2))) (sqrt (/ (* (pow x 2) E) (pow y 2))) (- (* (pow x 2) E)) (- (pow y 2)) (/ (pow x 2) (pow (* (cbrt y) (cbrt y)) 2)) (/ E (pow (cbrt y) 2)) (/ (pow x 2) (pow (sqrt y) 2)) (/ E (pow (sqrt y) 2)) (/ (pow x 2) (pow 1 2)) (/ E (pow y 2)) (/ (pow x 2) y) (/ E y) (/ (pow x 2) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ E (cbrt (pow y 2))) (/ (pow x 2) (sqrt (pow y 2))) (/ E (sqrt (pow y 2))) (/ (pow x 2) 1) (/ E (pow y 2)) (/ (pow x 2) (pow y (/ 2 2))) (/ E (pow y (/ 2 2))) (/ 1 (pow y 2)) (/ (pow y 2) (* (pow x 2) E)) (/ (* (pow x 2) E) (pow (* (cbrt y) (cbrt y)) 2)) (/ (* (pow x 2) E) (pow (sqrt y) 2)) (/ (* (pow x 2) E) (pow 1 2)) (/ (* (pow x 2) E) y) (/ (* (pow x 2) E) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (* (pow x 2) E) (sqrt (pow y 2))) (/ (* (pow x 2) E) 1) (/ (* (pow x 2) E) (pow y (/ 2 2))) (/ (pow y 2) E) (exp 1) (expm1 (expm1 1)) (log1p (expm1 1)) (log (expm1 1)) (exp (expm1 1)) (* (cbrt (expm1 1)) (cbrt (expm1 1))) (cbrt (expm1 1)) (* (* (expm1 1) (expm1 1)) (expm1 1)) (sqrt (expm1 1)) (sqrt (expm1 1)) (expm1 (* (pow x 2) E)) (log1p (* (pow x 2) E)) (+ (* (log x) 2) 1) (+ (* (log x) 2) (log E)) (+ (* (log x) 2) 1) (+ (* (log x) 2) (log E)) (+ (log (pow x 2)) 1) (+ (log (pow x 2)) (log E)) (log (* (pow x 2) E)) (exp (* (pow x 2) E)) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* E E) E)) (* (cbrt (* (pow x 2) E)) (cbrt (* (pow x 2) E))) (cbrt (* (pow x 2) E)) (* (* (* (pow x 2) E) (* (pow x 2) E)) (* (pow x 2) E)) (sqrt (* (pow x 2) E)) (sqrt (* (pow x 2) E)) (* (pow (sqrt x) 2) (sqrt E)) (* (pow (sqrt x) 2) (sqrt E)) (* x (sqrt E)) (* x (sqrt E)) (* (sqrt (pow x 2)) (sqrt E)) (* (sqrt (pow x 2)) (sqrt E)) (* (pow x (/ 2 2)) (sqrt E)) (* (pow x (/ 2 2)) (sqrt E)) (* (pow x 2) (* (cbrt E) (cbrt E))) (* (pow x 2) (sqrt E)) (* (pow x 2) 1) (* (pow (cbrt x) 2) E) (* (pow (sqrt x) 2) E) (* (pow x 2) E) (* x E) (* (cbrt (pow x 2)) E) (* (sqrt (pow x 2)) E) (* (pow x 2) E) (* (pow x (/ 2 2)) E) 1 (- (+ (log (* 0.125 E)) (* 2 (log (/ 1 y)))) (* 2 (log (/ 1 x)))) (- (+ (log (* 0.125 E)) (* 2 (log (/ -1 y)))) (* 2 (log (/ -1 x)))) (/ (* (pow x 2) E) (pow y 2)) (/ (* (pow x 2) E) (pow y 2)) (/ (* (pow x 2) E) (pow y 2)) (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) (* (pow x 2) E) (* (pow x 2) E) (* (pow x 2) E) 3.655 * * [simplify]: iteration 0 : 163 enodes (cost 1209 ) 3.696 * * [simplify]: iteration 1 : 339 enodes (cost 1110 ) 3.896 * * [simplify]: iteration 2 : 1289 enodes (cost 978 ) 4.549 * * [simplify]: iteration done : 5000 enodes (cost 978 ) 4.549 * [simplify]: Simplified to: (+ 1 (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)) (log1p (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (log (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (exp (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (* (cbrt (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (cbrt (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))))) (cbrt (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (pow (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) 3) (sqrt (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (sqrt (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1)))) (expm1 (/ (* (pow x 2) E) (pow y 2))) (log1p (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (log (/ (* (pow x 2) E) (pow y 2))) (exp (/ (* (pow x 2) E) (pow y 2))) (pow (/ (* (pow x 2) E) (pow y 2)) 3) (pow (/ (* (pow x 2) E) (pow y 2)) 3) (* (cbrt (/ (* (pow x 2) E) (pow y 2))) (cbrt (/ (* (pow x 2) E) (pow y 2)))) (cbrt (/ (* (pow x 2) E) (pow y 2))) (pow (/ (* (pow x 2) E) (pow y 2)) 3) (sqrt (/ (* (pow x 2) E) (pow y 2))) (sqrt (/ (* (pow x 2) E) (pow y 2))) (- (* (pow x 2) E)) (- (pow y 2)) (/ x (/ (pow (cbrt y) 4) x)) (/ E (pow (cbrt y) 2)) (/ (pow x 2) y) (/ E y) (pow x 2) (/ E (pow y 2)) (/ (pow x 2) y) (/ E y) (/ (pow x 2) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ E (cbrt (pow y 2))) (/ (pow x 2) (fabs y)) (/ E (fabs y)) (pow x 2) (/ E (pow y 2)) (/ (pow x 2) y) (/ E y) (/ 1 (pow y 2)) (/ (pow y 2) (* (pow x 2) E)) (/ (pow x 2) (/ (pow (cbrt y) 4) E)) (/ (* (pow x 2) E) y) (* (pow x 2) E) (/ (* (pow x 2) E) y) (/ (* (pow x 2) E) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (* (/ (pow x 2) (fabs y)) E) (* (pow x 2) E) (/ (* (pow x 2) E) y) (/ (pow y 2) E) E (expm1 (expm1 1)) 1 (log (expm1 1)) (exp (expm1 1)) (* (cbrt (expm1 1)) (cbrt (expm1 1))) (cbrt (expm1 1)) (pow (expm1 1) 3) (sqrt (expm1 1)) (sqrt (expm1 1)) (expm1 (* (pow x 2) E)) (log1p (* (pow x 2) E)) (fma (log x) 2 1) (fma (log x) 2 1) (fma (log x) 2 1) (fma (log x) 2 1) (fma (log x) 2 1) (fma (log x) 2 1) (fma (log x) 2 1) (exp (* (pow x 2) E)) (pow (* (pow x 2) E) 3) (* (cbrt (* (pow x 2) E)) (cbrt (* (pow x 2) E))) (cbrt (* (pow x 2) E)) (pow (* (pow x 2) E) 3) (sqrt (* (pow x 2) E)) (sqrt (* (pow x 2) E)) (* x (sqrt E)) (* x (sqrt E)) (* x (sqrt E)) (* x (sqrt E)) (* (fabs x) (sqrt E)) (* (fabs x) (sqrt E)) (* x (sqrt E)) (* x (sqrt E)) (* (pow x 2) (* (cbrt E) (cbrt E))) (* (pow x 2) (sqrt E)) (pow x 2) (* (pow (cbrt x) 2) E) (* x E) (* (pow x 2) E) (* x E) (* (cbrt (pow x 2)) E) (* (fabs x) E) (* (pow x 2) E) (* x E) 1 (+ (log (* 0.125 E)) (* 2 (- (- (log y)) (- (log x))))) (+ (* 2 (- (log (/ -1 y)) (log (/ -1 x)))) (log (* 0.125 E))) (/ (* (pow x 2) E) (pow y 2)) (/ (* (pow x 2) E) (pow y 2)) (/ (* (pow x 2) E) (pow y 2)) (log1p (fma (/ (* (pow x 2) E) (pow y 2)) 0.125 (expm1 1))) (* (pow x 2) E) (* (pow x 2) E) (* (pow x 2) E) 4.550 * * * [progress]: adding candidates to table 4.860 * [progress]: [Phase 3 of 3] Extracting. 4.861 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 4.865 * * * [regime-changes]: Trying 5 branch expressions: ((* y 2.0) (/ x (* y 2.0)) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) y x) 4.865 * * * * [regimes]: Trying to branch on (* y 2.0) from (# # # # # # # # # # # # # # # #) 4.930 * * * * [regimes]: Trying to branch on (/ x (* y 2.0)) from (# # # # # # # # # # # # # # # #) 4.995 * * * * [regimes]: Trying to branch on (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) from (# # # # # # # # # # # # # # # #) 5.062 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # # # # #) 5.131 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # #) 5.196 * * * [regime]: Found split indices: #