11.152 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.082 * * * [progress]: [2/2] Setting up program. 0.084 * [progress]: [Phase 2 of 3] Improving. 0.085 * [simplify]: Simplifying using # : (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 0.086 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 0.087 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 0.088 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 0.089 * * [simplify]: iteration done : 13 enodes (cost 13 ) 0.089 * [simplify]: Simplified to: (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 0.090 * * [progress]: iteration 1 / 4 0.090 * * * [progress]: picking best candidate 0.092 * * * * [pick]: Picked # 0.092 * * * [progress]: localizing error 0.102 * * * [progress]: generating rewritten candidates 0.102 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.104 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.106 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.111 * * * [progress]: generating series expansions 0.111 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.111 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 0.111 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 0.111 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.111 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.111 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.111 * [taylor]: Taking taylor expansion of 0.5 in y 0.111 * [taylor]: Taking taylor expansion of (/ x y) in y 0.111 * [taylor]: Taking taylor expansion of x in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.112 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 0.112 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.112 * [taylor]: Taking taylor expansion of 0.5 in y 0.112 * [taylor]: Taking taylor expansion of (/ x y) in y 0.112 * [taylor]: Taking taylor expansion of x in y 0.112 * [taylor]: Taking taylor expansion of y in y 0.112 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.112 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.112 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.112 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.112 * [taylor]: Taking taylor expansion of 0.5 in x 0.112 * [taylor]: Taking taylor expansion of (/ x y) in x 0.112 * [taylor]: Taking taylor expansion of x in x 0.112 * [taylor]: Taking taylor expansion of y in x 0.112 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 0.112 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.112 * [taylor]: Taking taylor expansion of 0.5 in x 0.112 * [taylor]: Taking taylor expansion of (/ x y) in x 0.112 * [taylor]: Taking taylor expansion of x in x 0.112 * [taylor]: Taking taylor expansion of y in x 0.112 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.112 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.113 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.113 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.113 * [taylor]: Taking taylor expansion of 0.5 in x 0.113 * [taylor]: Taking taylor expansion of (/ x y) in x 0.113 * [taylor]: Taking taylor expansion of x in x 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 0.113 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.113 * [taylor]: Taking taylor expansion of 0.5 in x 0.113 * [taylor]: Taking taylor expansion of (/ x y) in x 0.113 * [taylor]: Taking taylor expansion of x in x 0.113 * [taylor]: Taking taylor expansion of y in x 0.113 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 0.113 * [taylor]: Taking taylor expansion of 0.5 in y 0.113 * [taylor]: Taking taylor expansion of y in y 0.116 * [taylor]: Taking taylor expansion of 0 in y 0.119 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 0.119 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.119 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.119 * [taylor]: Taking taylor expansion of y in y 0.130 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 0.130 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.130 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.130 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.130 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.130 * [taylor]: Taking taylor expansion of 0.5 in y 0.130 * [taylor]: Taking taylor expansion of (/ y x) in y 0.130 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of x in y 0.130 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.130 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.130 * [taylor]: Taking taylor expansion of 0.5 in y 0.130 * [taylor]: Taking taylor expansion of (/ y x) in y 0.130 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of x in y 0.131 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.131 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.131 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.131 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.131 * [taylor]: Taking taylor expansion of 0.5 in x 0.131 * [taylor]: Taking taylor expansion of (/ y x) in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.131 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.131 * [taylor]: Taking taylor expansion of 0.5 in x 0.131 * [taylor]: Taking taylor expansion of (/ y x) in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.131 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.131 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.131 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.131 * [taylor]: Taking taylor expansion of 0.5 in x 0.131 * [taylor]: Taking taylor expansion of (/ y x) in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.131 * [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 (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 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.133 * [taylor]: Taking taylor expansion of 0 in y 0.135 * [taylor]: Taking taylor expansion of 0 in y 0.138 * [taylor]: Taking taylor expansion of 0 in y 0.142 * [taylor]: Taking taylor expansion of 0 in y 0.143 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 0.143 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.143 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.143 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.143 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.143 * [taylor]: Taking taylor expansion of 0.5 in y 0.143 * [taylor]: Taking taylor expansion of (/ y x) in y 0.143 * [taylor]: Taking taylor expansion of y in y 0.143 * [taylor]: Taking taylor expansion of x in y 0.143 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.143 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.143 * [taylor]: Taking taylor expansion of 0.5 in y 0.143 * [taylor]: Taking taylor expansion of (/ y x) in y 0.143 * [taylor]: Taking taylor expansion of y in y 0.143 * [taylor]: Taking taylor expansion of x in y 0.144 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.144 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.144 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.144 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.144 * [taylor]: Taking taylor expansion of 0.5 in x 0.144 * [taylor]: Taking taylor expansion of (/ y x) in x 0.144 * [taylor]: Taking taylor expansion of y in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.144 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.144 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.144 * [taylor]: Taking taylor expansion of 0.5 in x 0.144 * [taylor]: Taking taylor expansion of (/ y x) in x 0.144 * [taylor]: Taking taylor expansion of y in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.144 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.144 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.144 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.144 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.144 * [taylor]: Taking taylor expansion of 0.5 in x 0.144 * [taylor]: Taking taylor expansion of (/ y x) in x 0.144 * [taylor]: Taking taylor expansion of y in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.144 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.144 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.144 * [taylor]: Taking taylor expansion of 0.5 in x 0.144 * [taylor]: Taking taylor expansion of (/ y x) in x 0.144 * [taylor]: Taking taylor expansion of y in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 0.145 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.145 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.145 * [taylor]: Taking taylor expansion of 0.5 in y 0.145 * [taylor]: Taking taylor expansion of (/ y x) in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of x in y 0.145 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.145 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.145 * [taylor]: Taking taylor expansion of 0.5 in y 0.145 * [taylor]: Taking taylor expansion of (/ y x) in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of x in y 0.145 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [taylor]: Taking taylor expansion of 0 in y 0.150 * [taylor]: Taking taylor expansion of 0 in y 0.155 * [taylor]: Taking taylor expansion of 0 in y 0.155 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.155 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0 0.155 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.155 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.156 * [taylor]: Taking taylor expansion of 0.5 in y 0.156 * [taylor]: Taking taylor expansion of (/ x y) in y 0.156 * [taylor]: Taking taylor expansion of x in y 0.156 * [taylor]: Taking taylor expansion of y in y 0.156 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.156 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.156 * [taylor]: Taking taylor expansion of 0.5 in x 0.156 * [taylor]: Taking taylor expansion of (/ x y) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.156 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.156 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.156 * [taylor]: Taking taylor expansion of 0.5 in x 0.156 * [taylor]: Taking taylor expansion of (/ x y) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.156 * [taylor]: Taking taylor expansion of 0 in y 0.156 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.156 * [taylor]: Taking taylor expansion of 0.5 in y 0.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.156 * [taylor]: Taking taylor expansion of y in y 0.158 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 0.160 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.160 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.160 * [taylor]: Taking taylor expansion of 0.5 in y 0.160 * [taylor]: Taking taylor expansion of (/ y x) in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of x in y 0.160 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.160 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.160 * [taylor]: Taking taylor expansion of 0.5 in x 0.160 * [taylor]: Taking taylor expansion of (/ y x) in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.160 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.160 * [taylor]: Taking taylor expansion of 0.5 in x 0.160 * [taylor]: Taking taylor expansion of (/ y x) in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.160 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.160 * [taylor]: Taking taylor expansion of 0.5 in y 0.160 * [taylor]: Taking taylor expansion of (/ y x) in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of x in y 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.161 * [taylor]: Taking taylor expansion of 0 in y 0.162 * [taylor]: Taking taylor expansion of 0 in y 0.162 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 0.162 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.162 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.162 * [taylor]: Taking taylor expansion of 0.5 in y 0.162 * [taylor]: Taking taylor expansion of (/ y x) in y 0.162 * [taylor]: Taking taylor expansion of y in y 0.162 * [taylor]: Taking taylor expansion of x in y 0.162 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.162 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.162 * [taylor]: Taking taylor expansion of 0.5 in x 0.162 * [taylor]: Taking taylor expansion of (/ y x) in x 0.162 * [taylor]: Taking taylor expansion of y in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.162 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.162 * [taylor]: Taking taylor expansion of 0.5 in x 0.162 * [taylor]: Taking taylor expansion of (/ y x) in x 0.162 * [taylor]: Taking taylor expansion of y in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.163 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.163 * [taylor]: Taking taylor expansion of 0.5 in y 0.163 * [taylor]: Taking taylor expansion of (/ y x) in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.163 * [taylor]: Taking taylor expansion of x in y 0.163 * [taylor]: Taking taylor expansion of 0 in y 0.163 * [taylor]: Taking taylor expansion of 0 in y 0.164 * [taylor]: Taking taylor expansion of 0 in y 0.164 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.165 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in (x y) around 0 0.165 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in y 0.165 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 0.165 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.165 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.165 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.165 * [taylor]: Taking taylor expansion of 0.5 in y 0.165 * [taylor]: Taking taylor expansion of (/ x y) in y 0.165 * [taylor]: Taking taylor expansion of x in y 0.165 * [taylor]: Taking taylor expansion of y in y 0.165 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 0.165 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.165 * [taylor]: Taking taylor expansion of 0.5 in y 0.165 * [taylor]: Taking taylor expansion of (/ x y) in y 0.165 * [taylor]: Taking taylor expansion of x in y 0.165 * [taylor]: Taking taylor expansion of y in y 0.165 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.165 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.165 * [taylor]: Taking taylor expansion of 0.5 in y 0.165 * [taylor]: Taking taylor expansion of (/ x y) in y 0.165 * [taylor]: Taking taylor expansion of x in y 0.165 * [taylor]: Taking taylor expansion of y in y 0.166 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 0.166 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.166 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x 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 (cos (* 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.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 (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 0.166 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.167 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.167 * [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 (cos (* 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 (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 1.0 in y 0.170 * [taylor]: Taking taylor expansion of 0 in y 0.174 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 (pow y 2))) in y 0.174 * [taylor]: Taking taylor expansion of 0.125 in y 0.174 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.174 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.183 * [taylor]: Taking taylor expansion of 0 in y 0.183 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 0.183 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 0.183 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.183 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.183 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.183 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.183 * [taylor]: Taking taylor expansion of 0.5 in y 0.183 * [taylor]: Taking taylor expansion of (/ y x) in y 0.183 * [taylor]: Taking taylor expansion of y in y 0.183 * [taylor]: Taking taylor expansion of x in y 0.183 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.183 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.183 * [taylor]: Taking taylor expansion of 0.5 in y 0.184 * [taylor]: Taking taylor expansion of (/ y x) in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.184 * [taylor]: Taking taylor expansion of x in y 0.184 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.184 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.184 * [taylor]: Taking taylor expansion of 0.5 in y 0.184 * [taylor]: Taking taylor expansion of (/ y x) in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.184 * [taylor]: Taking taylor expansion of x in y 0.184 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.184 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.184 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.184 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.184 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.184 * [taylor]: Taking taylor expansion of 0.5 in x 0.184 * [taylor]: Taking taylor expansion of (/ y x) in x 0.184 * [taylor]: Taking taylor expansion of y in x 0.184 * [taylor]: Taking taylor expansion of x in x 0.184 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.184 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.184 * [taylor]: Taking taylor expansion of 0.5 in x 0.184 * [taylor]: Taking taylor expansion of (/ y x) in x 0.184 * [taylor]: Taking taylor expansion of y in x 0.184 * [taylor]: Taking taylor expansion of x in x 0.185 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.185 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.185 * [taylor]: Taking taylor expansion of 0.5 in x 0.185 * [taylor]: Taking taylor expansion of (/ y x) in x 0.185 * [taylor]: Taking taylor expansion of y in x 0.185 * [taylor]: Taking taylor expansion of x in x 0.185 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.185 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.185 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.185 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.185 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.185 * [taylor]: Taking taylor expansion of 0.5 in x 0.185 * [taylor]: Taking taylor expansion of (/ y x) in x 0.185 * [taylor]: Taking taylor expansion of y in x 0.185 * [taylor]: Taking taylor expansion of x in x 0.185 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.185 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.185 * [taylor]: Taking taylor expansion of 0.5 in x 0.185 * [taylor]: Taking taylor expansion of (/ y x) in x 0.185 * [taylor]: Taking taylor expansion of y in x 0.185 * [taylor]: Taking taylor expansion of x in x 0.186 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.186 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.186 * [taylor]: Taking taylor expansion of 0.5 in x 0.186 * [taylor]: Taking taylor expansion of (/ y x) in x 0.186 * [taylor]: Taking taylor expansion of y in x 0.186 * [taylor]: Taking taylor expansion of x in x 0.186 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 0.186 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.186 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.186 * [taylor]: Taking taylor expansion of 0.5 in y 0.186 * [taylor]: Taking taylor expansion of (/ y x) in y 0.186 * [taylor]: Taking taylor expansion of y in y 0.186 * [taylor]: Taking taylor expansion of x in y 0.187 * [taylor]: Taking taylor expansion of 0 in y 0.188 * [taylor]: Taking taylor expansion of 0 in y 0.190 * [taylor]: Taking taylor expansion of 0 in y 0.193 * [taylor]: Taking taylor expansion of 0 in y 0.193 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 0.193 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 0.193 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.193 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.193 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.193 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.193 * [taylor]: Taking taylor expansion of 0.5 in y 0.193 * [taylor]: Taking taylor expansion of (/ y x) in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [taylor]: Taking taylor expansion of x in y 0.194 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.194 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.194 * [taylor]: Taking taylor expansion of 0.5 in y 0.194 * [taylor]: Taking taylor expansion of (/ y x) in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [taylor]: Taking taylor expansion of x in y 0.194 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.194 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.194 * [taylor]: Taking taylor expansion of 0.5 in y 0.194 * [taylor]: Taking taylor expansion of (/ y x) in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [taylor]: Taking taylor expansion of x in y 0.194 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.194 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.194 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.194 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.194 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.194 * [taylor]: Taking taylor expansion of 0.5 in x 0.194 * [taylor]: Taking taylor expansion of (/ y x) in x 0.194 * [taylor]: Taking taylor expansion of y in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.195 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.195 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.195 * [taylor]: Taking taylor expansion of 0.5 in x 0.195 * [taylor]: Taking taylor expansion of (/ y x) in x 0.195 * [taylor]: Taking taylor expansion of y in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.195 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.195 * [taylor]: Taking taylor expansion of 0.5 in x 0.195 * [taylor]: Taking taylor expansion of (/ y x) in x 0.195 * [taylor]: Taking taylor expansion of y in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.195 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.195 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.195 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.195 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.195 * [taylor]: Taking taylor expansion of 0.5 in x 0.195 * [taylor]: Taking taylor expansion of (/ y x) in x 0.195 * [taylor]: Taking taylor expansion of y in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.195 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.195 * [taylor]: Taking taylor expansion of 0.5 in x 0.195 * [taylor]: Taking taylor expansion of (/ y x) in x 0.196 * [taylor]: Taking taylor expansion of y in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.196 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.196 * [taylor]: Taking taylor expansion of 0.5 in x 0.196 * [taylor]: Taking taylor expansion of (/ y x) in x 0.196 * [taylor]: Taking taylor expansion of y in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y 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.197 * [taylor]: Taking taylor expansion of 0 in y 0.198 * [taylor]: Taking taylor expansion of 0 in y 0.200 * [taylor]: Taking taylor expansion of 0 in y 0.203 * [taylor]: Taking taylor expansion of 0 in y 0.203 * * * [progress]: simplifying candidates 0.204 * [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.207 * * [simplify]: iteration 0 : 83 enodes (cost 878 ) 0.224 * * [simplify]: iteration 1 : 147 enodes (cost 865 ) 0.253 * * [simplify]: iteration 2 : 351 enodes (cost 789 ) 0.369 * * [simplify]: iteration 3 : 1205 enodes (cost 785 ) 1.316 * * [simplify]: iteration done : 5000 enodes (cost 785 ) 1.316 * [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.317 * * * [progress]: adding candidates to table 1.498 * * [progress]: iteration 2 / 4 1.498 * * * [progress]: picking best candidate 1.531 * * * * [pick]: Picked # 1.531 * * * [progress]: localizing error 1.532 * * * [progress]: generating rewritten candidates 1.532 * * * [progress]: generating series expansions 1.532 * * * [progress]: simplifying candidates 1.532 * [simplify]: Simplifying using # : 1.533 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 1.533 * * [simplify]: iteration done : 0 enodes (cost 0 ) 1.533 * [simplify]: Simplified to: 1.533 * * * [progress]: adding candidates to table 1.533 * * [progress]: iteration 3 / 4 1.533 * * * [progress]: picking best candidate 1.569 * * * * [pick]: Picked # 1.569 * * * [progress]: localizing error 1.583 * * * [progress]: generating rewritten candidates 1.583 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1.584 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.586 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.590 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.592 * * * [progress]: generating series expansions 1.592 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1.592 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 1.592 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 1.592 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.592 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.592 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.592 * [taylor]: Taking taylor expansion of 0.5 in y 1.592 * [taylor]: Taking taylor expansion of (/ x y) in y 1.592 * [taylor]: Taking taylor expansion of x in y 1.592 * [taylor]: Taking taylor expansion of y in y 1.592 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 1.592 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.592 * [taylor]: Taking taylor expansion of 0.5 in y 1.592 * [taylor]: Taking taylor expansion of (/ x y) in y 1.592 * [taylor]: Taking taylor expansion of x in y 1.592 * [taylor]: Taking taylor expansion of y in y 1.592 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.593 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.593 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.593 * [taylor]: Taking taylor expansion of 0.5 in x 1.593 * [taylor]: Taking taylor expansion of (/ x y) in x 1.593 * [taylor]: Taking taylor expansion of x in x 1.593 * [taylor]: Taking taylor expansion of y in x 1.593 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.593 * [taylor]: Taking taylor expansion of 0.5 in x 1.593 * [taylor]: Taking taylor expansion of (/ x y) in x 1.593 * [taylor]: Taking taylor expansion of x in x 1.593 * [taylor]: Taking taylor expansion of y in x 1.593 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.593 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.593 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.593 * [taylor]: Taking taylor expansion of 0.5 in x 1.593 * [taylor]: Taking taylor expansion of (/ x y) in x 1.593 * [taylor]: Taking taylor expansion of x in x 1.593 * [taylor]: Taking taylor expansion of y in x 1.594 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.594 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.594 * [taylor]: Taking taylor expansion of 0.5 in x 1.594 * [taylor]: Taking taylor expansion of (/ x y) in x 1.594 * [taylor]: Taking taylor expansion of x in x 1.594 * [taylor]: Taking taylor expansion of y in x 1.594 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 1.594 * [taylor]: Taking taylor expansion of 0.5 in y 1.594 * [taylor]: Taking taylor expansion of y in y 1.597 * [taylor]: Taking taylor expansion of 0 in y 1.599 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 1.599 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 1.600 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.600 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.600 * [taylor]: Taking taylor expansion of y in y 1.606 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 1.606 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.606 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.606 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.606 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.606 * [taylor]: Taking taylor expansion of 0.5 in y 1.606 * [taylor]: Taking taylor expansion of (/ y x) in y 1.606 * [taylor]: Taking taylor expansion of y in y 1.606 * [taylor]: Taking taylor expansion of x in y 1.606 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.606 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.606 * [taylor]: Taking taylor expansion of 0.5 in y 1.606 * [taylor]: Taking taylor expansion of (/ y x) in y 1.606 * [taylor]: Taking taylor expansion of y in y 1.606 * [taylor]: Taking taylor expansion of x in y 1.607 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.607 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.607 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.607 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.607 * [taylor]: Taking taylor expansion of 0.5 in x 1.607 * [taylor]: Taking taylor expansion of (/ y x) in x 1.607 * [taylor]: Taking taylor expansion of y in x 1.607 * [taylor]: Taking taylor expansion of x in x 1.607 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.607 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.607 * [taylor]: Taking taylor expansion of 0.5 in x 1.607 * [taylor]: Taking taylor expansion of (/ y x) in x 1.607 * [taylor]: Taking taylor expansion of y in x 1.607 * [taylor]: Taking taylor expansion of x in x 1.607 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.607 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.607 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.607 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.607 * [taylor]: Taking taylor expansion of 0.5 in x 1.607 * [taylor]: Taking taylor expansion of (/ y x) in x 1.607 * [taylor]: Taking taylor expansion of y in x 1.607 * [taylor]: Taking taylor expansion of x in x 1.607 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.607 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.608 * [taylor]: Taking taylor expansion of 0.5 in x 1.608 * [taylor]: Taking taylor expansion of (/ y x) in x 1.608 * [taylor]: Taking taylor expansion of y in x 1.608 * [taylor]: Taking taylor expansion of x in x 1.608 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 1.608 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.608 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.608 * [taylor]: Taking taylor expansion of 0.5 in y 1.608 * [taylor]: Taking taylor expansion of (/ y x) in y 1.608 * [taylor]: Taking taylor expansion of y in y 1.608 * [taylor]: Taking taylor expansion of x in y 1.608 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.608 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.608 * [taylor]: Taking taylor expansion of 0.5 in y 1.608 * [taylor]: Taking taylor expansion of (/ y x) in y 1.608 * [taylor]: Taking taylor expansion of y in y 1.608 * [taylor]: Taking taylor expansion of x in y 1.609 * [taylor]: Taking taylor expansion of 0 in y 1.611 * [taylor]: Taking taylor expansion of 0 in y 1.613 * [taylor]: Taking taylor expansion of 0 in y 1.618 * [taylor]: Taking taylor expansion of 0 in y 1.618 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 1.618 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.618 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.618 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.618 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.618 * [taylor]: Taking taylor expansion of 0.5 in y 1.618 * [taylor]: Taking taylor expansion of (/ y x) in y 1.619 * [taylor]: Taking taylor expansion of y in y 1.619 * [taylor]: Taking taylor expansion of x in y 1.619 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.619 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.619 * [taylor]: Taking taylor expansion of 0.5 in y 1.619 * [taylor]: Taking taylor expansion of (/ y x) in y 1.619 * [taylor]: Taking taylor expansion of y in y 1.619 * [taylor]: Taking taylor expansion of x in y 1.619 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.619 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.619 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.619 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.619 * [taylor]: Taking taylor expansion of 0.5 in x 1.619 * [taylor]: Taking taylor expansion of (/ y x) in x 1.619 * [taylor]: Taking taylor expansion of y in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.619 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.619 * [taylor]: Taking taylor expansion of 0.5 in x 1.619 * [taylor]: Taking taylor expansion of (/ y x) in x 1.619 * [taylor]: Taking taylor expansion of y in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.620 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.620 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.620 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.620 * [taylor]: Taking taylor expansion of 0.5 in x 1.620 * [taylor]: Taking taylor expansion of (/ y x) in x 1.620 * [taylor]: Taking taylor expansion of y in x 1.620 * [taylor]: Taking taylor expansion of x in x 1.620 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.620 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.620 * [taylor]: Taking taylor expansion of 0.5 in x 1.620 * [taylor]: Taking taylor expansion of (/ y x) in x 1.620 * [taylor]: Taking taylor expansion of y in x 1.620 * [taylor]: Taking taylor expansion of x in x 1.620 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 1.620 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.620 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.620 * [taylor]: Taking taylor expansion of 0.5 in y 1.620 * [taylor]: Taking taylor expansion of (/ y x) in y 1.620 * [taylor]: Taking taylor expansion of y in y 1.620 * [taylor]: Taking taylor expansion of x in y 1.620 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.620 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.620 * [taylor]: Taking taylor expansion of 0.5 in y 1.620 * [taylor]: Taking taylor expansion of (/ y x) in y 1.620 * [taylor]: Taking taylor expansion of y in y 1.620 * [taylor]: Taking taylor expansion of x in y 1.621 * [taylor]: Taking taylor expansion of 0 in y 1.623 * [taylor]: Taking taylor expansion of 0 in y 1.626 * [taylor]: Taking taylor expansion of 0 in y 1.634 * [taylor]: Taking taylor expansion of 0 in y 1.634 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.635 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0 1.635 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.635 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.635 * [taylor]: Taking taylor expansion of 0.5 in y 1.635 * [taylor]: Taking taylor expansion of (/ x y) in y 1.635 * [taylor]: Taking taylor expansion of x in y 1.635 * [taylor]: Taking taylor expansion of y in y 1.635 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.635 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.635 * [taylor]: Taking taylor expansion of 0.5 in x 1.635 * [taylor]: Taking taylor expansion of (/ x y) in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.635 * [taylor]: Taking taylor expansion of y in x 1.635 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.635 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.635 * [taylor]: Taking taylor expansion of 0.5 in x 1.635 * [taylor]: Taking taylor expansion of (/ x y) in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.635 * [taylor]: Taking taylor expansion of y in x 1.635 * [taylor]: Taking taylor expansion of 0 in y 1.635 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.635 * [taylor]: Taking taylor expansion of 0.5 in y 1.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.635 * [taylor]: Taking taylor expansion of y in y 1.638 * [taylor]: Taking taylor expansion of 0 in y 1.639 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 1.639 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.639 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.639 * [taylor]: Taking taylor expansion of 0.5 in y 1.639 * [taylor]: Taking taylor expansion of (/ y x) in y 1.639 * [taylor]: Taking taylor expansion of y in y 1.639 * [taylor]: Taking taylor expansion of x in y 1.639 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.639 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.639 * [taylor]: Taking taylor expansion of 0.5 in x 1.639 * [taylor]: Taking taylor expansion of (/ y x) in x 1.639 * [taylor]: Taking taylor expansion of y in x 1.639 * [taylor]: Taking taylor expansion of x in x 1.639 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.639 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.639 * [taylor]: Taking taylor expansion of 0.5 in x 1.639 * [taylor]: Taking taylor expansion of (/ y x) in x 1.639 * [taylor]: Taking taylor expansion of y in x 1.639 * [taylor]: Taking taylor expansion of x in x 1.639 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.639 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.640 * [taylor]: Taking taylor expansion of 0.5 in y 1.640 * [taylor]: Taking taylor expansion of (/ y x) in y 1.640 * [taylor]: Taking taylor expansion of y in y 1.640 * [taylor]: Taking taylor expansion of x in y 1.640 * [taylor]: Taking taylor expansion of 0 in y 1.640 * [taylor]: Taking taylor expansion of 0 in y 1.641 * [taylor]: Taking taylor expansion of 0 in y 1.641 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 1.641 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.641 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.641 * [taylor]: Taking taylor expansion of 0.5 in y 1.641 * [taylor]: Taking taylor expansion of (/ y x) in y 1.641 * [taylor]: Taking taylor expansion of y in y 1.641 * [taylor]: Taking taylor expansion of x in y 1.641 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.641 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.641 * [taylor]: Taking taylor expansion of 0.5 in x 1.641 * [taylor]: Taking taylor expansion of (/ y x) in x 1.641 * [taylor]: Taking taylor expansion of y in x 1.641 * [taylor]: Taking taylor expansion of x in x 1.642 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.642 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.642 * [taylor]: Taking taylor expansion of 0.5 in x 1.642 * [taylor]: Taking taylor expansion of (/ y x) in x 1.642 * [taylor]: Taking taylor expansion of y in x 1.642 * [taylor]: Taking taylor expansion of x in x 1.642 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.642 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.642 * [taylor]: Taking taylor expansion of 0.5 in y 1.642 * [taylor]: Taking taylor expansion of (/ y x) in y 1.642 * [taylor]: Taking taylor expansion of y in y 1.642 * [taylor]: Taking taylor expansion of x in y 1.642 * [taylor]: Taking taylor expansion of 0 in y 1.642 * [taylor]: Taking taylor expansion of 0 in y 1.643 * [taylor]: Taking taylor expansion of 0 in y 1.644 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.644 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in (x y) around 0 1.644 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in y 1.644 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 1.644 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.644 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.644 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.644 * [taylor]: Taking taylor expansion of 0.5 in y 1.644 * [taylor]: Taking taylor expansion of (/ x y) in y 1.644 * [taylor]: Taking taylor expansion of x in y 1.644 * [taylor]: Taking taylor expansion of y in y 1.644 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 1.644 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.644 * [taylor]: Taking taylor expansion of 0.5 in y 1.644 * [taylor]: Taking taylor expansion of (/ x y) in y 1.644 * [taylor]: Taking taylor expansion of x in y 1.644 * [taylor]: Taking taylor expansion of y in y 1.644 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.644 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.645 * [taylor]: Taking taylor expansion of 0.5 in y 1.645 * [taylor]: Taking taylor expansion of (/ x y) in y 1.645 * [taylor]: Taking taylor expansion of x in y 1.645 * [taylor]: Taking taylor expansion of y in y 1.645 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 1.645 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.645 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.645 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.645 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.645 * [taylor]: Taking taylor expansion of 0.5 in x 1.645 * [taylor]: Taking taylor expansion of (/ x y) in x 1.645 * [taylor]: Taking taylor expansion of x in x 1.645 * [taylor]: Taking taylor expansion of y in x 1.645 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.645 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.645 * [taylor]: Taking taylor expansion of 0.5 in x 1.645 * [taylor]: Taking taylor expansion of (/ x y) in x 1.645 * [taylor]: Taking taylor expansion of x in x 1.645 * [taylor]: Taking taylor expansion of y in x 1.645 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.645 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.646 * [taylor]: Taking taylor expansion of 0.5 in x 1.646 * [taylor]: Taking taylor expansion of (/ x y) in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.646 * [taylor]: Taking taylor expansion of y in x 1.646 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 1.646 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.646 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.646 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.646 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.646 * [taylor]: Taking taylor expansion of 0.5 in x 1.646 * [taylor]: Taking taylor expansion of (/ x y) in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.646 * [taylor]: Taking taylor expansion of y in x 1.646 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.646 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.646 * [taylor]: Taking taylor expansion of 0.5 in x 1.646 * [taylor]: Taking taylor expansion of (/ x y) in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.646 * [taylor]: Taking taylor expansion of y in x 1.646 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.646 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.646 * [taylor]: Taking taylor expansion of 0.5 in x 1.646 * [taylor]: Taking taylor expansion of (/ x y) in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.646 * [taylor]: Taking taylor expansion of y in x 1.647 * [taylor]: Taking taylor expansion of 1.0 in y 1.649 * [taylor]: Taking taylor expansion of 0 in y 1.653 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 (pow y 2))) in y 1.653 * [taylor]: Taking taylor expansion of 0.125 in y 1.653 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.653 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.653 * [taylor]: Taking taylor expansion of y in y 1.662 * [taylor]: Taking taylor expansion of 0 in y 1.663 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 1.663 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 1.663 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.663 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.663 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.663 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.663 * [taylor]: Taking taylor expansion of 0.5 in y 1.663 * [taylor]: Taking taylor expansion of (/ y x) in y 1.663 * [taylor]: Taking taylor expansion of y in y 1.663 * [taylor]: Taking taylor expansion of x in y 1.663 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.663 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.663 * [taylor]: Taking taylor expansion of 0.5 in y 1.663 * [taylor]: Taking taylor expansion of (/ y x) in y 1.663 * [taylor]: Taking taylor expansion of y in y 1.663 * [taylor]: Taking taylor expansion of x in y 1.663 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.663 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.663 * [taylor]: Taking taylor expansion of 0.5 in y 1.663 * [taylor]: Taking taylor expansion of (/ y x) in y 1.663 * [taylor]: Taking taylor expansion of y in y 1.663 * [taylor]: Taking taylor expansion of x in y 1.664 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.664 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.664 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.664 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.664 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.664 * [taylor]: Taking taylor expansion of 0.5 in x 1.664 * [taylor]: Taking taylor expansion of (/ y x) in x 1.664 * [taylor]: Taking taylor expansion of y in x 1.664 * [taylor]: Taking taylor expansion of x in x 1.664 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.664 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.664 * [taylor]: Taking taylor expansion of 0.5 in x 1.664 * [taylor]: Taking taylor expansion of (/ y x) in x 1.664 * [taylor]: Taking taylor expansion of y in x 1.664 * [taylor]: Taking taylor expansion of x in x 1.664 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.664 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.664 * [taylor]: Taking taylor expansion of 0.5 in x 1.664 * [taylor]: Taking taylor expansion of (/ y x) in x 1.664 * [taylor]: Taking taylor expansion of y in x 1.664 * [taylor]: Taking taylor expansion of x in x 1.665 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.665 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.665 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.665 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.665 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.665 * [taylor]: Taking taylor expansion of 0.5 in x 1.665 * [taylor]: Taking taylor expansion of (/ y x) in x 1.665 * [taylor]: Taking taylor expansion of y in x 1.665 * [taylor]: Taking taylor expansion of x in x 1.665 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.665 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.665 * [taylor]: Taking taylor expansion of 0.5 in x 1.665 * [taylor]: Taking taylor expansion of (/ y x) in x 1.665 * [taylor]: Taking taylor expansion of y in x 1.665 * [taylor]: Taking taylor expansion of x in x 1.665 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.665 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.665 * [taylor]: Taking taylor expansion of 0.5 in x 1.665 * [taylor]: Taking taylor expansion of (/ y x) in x 1.665 * [taylor]: Taking taylor expansion of y in x 1.665 * [taylor]: Taking taylor expansion of x in x 1.666 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 1.666 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.666 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.666 * [taylor]: Taking taylor expansion of 0.5 in y 1.666 * [taylor]: Taking taylor expansion of (/ y x) in y 1.666 * [taylor]: Taking taylor expansion of y in y 1.666 * [taylor]: Taking taylor expansion of x in y 1.667 * [taylor]: Taking taylor expansion of 0 in y 1.668 * [taylor]: Taking taylor expansion of 0 in y 1.670 * [taylor]: Taking taylor expansion of 0 in y 1.672 * [taylor]: Taking taylor expansion of 0 in y 1.673 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 1.673 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 1.673 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.673 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.673 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.673 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.673 * [taylor]: Taking taylor expansion of 0.5 in y 1.673 * [taylor]: Taking taylor expansion of (/ y x) in y 1.673 * [taylor]: Taking taylor expansion of y in y 1.673 * [taylor]: Taking taylor expansion of x in y 1.673 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.673 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.673 * [taylor]: Taking taylor expansion of 0.5 in y 1.673 * [taylor]: Taking taylor expansion of (/ y x) in y 1.673 * [taylor]: Taking taylor expansion of y in y 1.673 * [taylor]: Taking taylor expansion of x in y 1.674 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.674 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.674 * [taylor]: Taking taylor expansion of 0.5 in y 1.674 * [taylor]: Taking taylor expansion of (/ y x) in y 1.674 * [taylor]: Taking taylor expansion of y in y 1.674 * [taylor]: Taking taylor expansion of x in y 1.674 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.674 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.674 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.674 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.674 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.674 * [taylor]: Taking taylor expansion of 0.5 in x 1.674 * [taylor]: Taking taylor expansion of (/ y x) in x 1.674 * [taylor]: Taking taylor expansion of y in x 1.674 * [taylor]: Taking taylor expansion of x in x 1.674 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.674 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.674 * [taylor]: Taking taylor expansion of 0.5 in x 1.674 * [taylor]: Taking taylor expansion of (/ y x) in x 1.674 * [taylor]: Taking taylor expansion of y in x 1.674 * [taylor]: Taking taylor expansion of x in x 1.675 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.675 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.675 * [taylor]: Taking taylor expansion of 0.5 in x 1.675 * [taylor]: Taking taylor expansion of (/ y x) in x 1.675 * [taylor]: Taking taylor expansion of y in x 1.675 * [taylor]: Taking taylor expansion of x in x 1.675 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.675 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.675 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.675 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.675 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.675 * [taylor]: Taking taylor expansion of 0.5 in x 1.675 * [taylor]: Taking taylor expansion of (/ y x) in x 1.675 * [taylor]: Taking taylor expansion of y in x 1.675 * [taylor]: Taking taylor expansion of x in x 1.675 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.675 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.675 * [taylor]: Taking taylor expansion of 0.5 in x 1.675 * [taylor]: Taking taylor expansion of (/ y x) in x 1.675 * [taylor]: Taking taylor expansion of y in x 1.675 * [taylor]: Taking taylor expansion of x in x 1.675 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.675 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.675 * [taylor]: Taking taylor expansion of 0.5 in x 1.676 * [taylor]: Taking taylor expansion of (/ y x) in x 1.676 * [taylor]: Taking taylor expansion of y in x 1.676 * [taylor]: Taking taylor expansion of x in x 1.676 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 1.676 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.676 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.676 * [taylor]: Taking taylor expansion of 0.5 in y 1.676 * [taylor]: Taking taylor expansion of (/ y x) in y 1.676 * [taylor]: Taking taylor expansion of y in y 1.676 * [taylor]: Taking taylor expansion of x in y 1.677 * [taylor]: Taking taylor expansion of 0 in y 1.678 * [taylor]: Taking taylor expansion of 0 in y 1.680 * [taylor]: Taking taylor expansion of 0 in y 1.682 * [taylor]: Taking taylor expansion of 0 in y 1.683 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.683 * [approximate]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in (x y) around 0 1.683 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in y 1.683 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) 1) 1.683 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in y 1.683 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in y 1.683 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 1.683 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.683 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.683 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.683 * [taylor]: Taking taylor expansion of 0.5 in y 1.683 * [taylor]: Taking taylor expansion of (/ x y) in y 1.683 * [taylor]: Taking taylor expansion of x in y 1.683 * [taylor]: Taking taylor expansion of y in y 1.684 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 1.684 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.684 * [taylor]: Taking taylor expansion of 0.5 in y 1.684 * [taylor]: Taking taylor expansion of (/ x y) in y 1.684 * [taylor]: Taking taylor expansion of x in y 1.684 * [taylor]: Taking taylor expansion of y in y 1.684 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 1.684 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 1.684 * [taylor]: Taking taylor expansion of 0.5 in y 1.684 * [taylor]: Taking taylor expansion of (/ x y) in y 1.684 * [taylor]: Taking taylor expansion of x in y 1.684 * [taylor]: Taking taylor expansion of y in y 1.684 * [taylor]: Taking taylor expansion of 1 in y 1.684 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in x 1.684 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) 1) 1.684 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in x 1.684 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 1.684 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.684 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.684 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.684 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.684 * [taylor]: Taking taylor expansion of 0.5 in x 1.684 * [taylor]: Taking taylor expansion of (/ x y) in x 1.685 * [taylor]: Taking taylor expansion of x in x 1.685 * [taylor]: Taking taylor expansion of y in x 1.685 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.685 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.685 * [taylor]: Taking taylor expansion of 0.5 in x 1.685 * [taylor]: Taking taylor expansion of (/ x y) in x 1.685 * [taylor]: Taking taylor expansion of x in x 1.685 * [taylor]: Taking taylor expansion of y in x 1.685 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.685 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.685 * [taylor]: Taking taylor expansion of 0.5 in x 1.685 * [taylor]: Taking taylor expansion of (/ x y) in x 1.685 * [taylor]: Taking taylor expansion of x in x 1.685 * [taylor]: Taking taylor expansion of y in x 1.686 * [taylor]: Taking taylor expansion of 1 in x 1.686 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in x 1.686 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) 1) 1.686 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))) in x 1.686 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 1.686 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 1.686 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 1.686 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.686 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.686 * [taylor]: Taking taylor expansion of 0.5 in x 1.686 * [taylor]: Taking taylor expansion of (/ x y) in x 1.686 * [taylor]: Taking taylor expansion of x in x 1.686 * [taylor]: Taking taylor expansion of y in x 1.686 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 1.686 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.686 * [taylor]: Taking taylor expansion of 0.5 in x 1.686 * [taylor]: Taking taylor expansion of (/ x y) in x 1.686 * [taylor]: Taking taylor expansion of x in x 1.686 * [taylor]: Taking taylor expansion of y in x 1.686 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 1.686 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 1.686 * [taylor]: Taking taylor expansion of 0.5 in x 1.686 * [taylor]: Taking taylor expansion of (/ x y) in x 1.686 * [taylor]: Taking taylor expansion of x in x 1.686 * [taylor]: Taking taylor expansion of y in x 1.687 * [taylor]: Taking taylor expansion of 1 in x 1.688 * [taylor]: Taking taylor expansion of (- (exp 1.0) 1) in y 1.688 * [taylor]: Taking taylor expansion of (exp 1.0) in y 1.688 * [taylor]: Taking taylor expansion of 1.0 in y 1.688 * [taylor]: Taking taylor expansion of 1 in y 1.693 * [taylor]: Taking taylor expansion of 0 in y 1.700 * [taylor]: Taking taylor expansion of (* 0.125 (/ (exp 1.0) (pow y 2))) in y 1.700 * [taylor]: Taking taylor expansion of 0.125 in y 1.700 * [taylor]: Taking taylor expansion of (/ (exp 1.0) (pow y 2)) in y 1.700 * [taylor]: Taking taylor expansion of (exp 1.0) in y 1.700 * [taylor]: Taking taylor expansion of 1.0 in y 1.700 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.700 * [taylor]: Taking taylor expansion of y in y 1.714 * [taylor]: Taking taylor expansion of 0 in y 1.715 * [approximate]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in (x y) around 0 1.715 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in y 1.715 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.715 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in y 1.715 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 1.715 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.715 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.715 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.715 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.715 * [taylor]: Taking taylor expansion of 0.5 in y 1.715 * [taylor]: Taking taylor expansion of (/ y x) in y 1.715 * [taylor]: Taking taylor expansion of y in y 1.715 * [taylor]: Taking taylor expansion of x in y 1.716 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.716 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.716 * [taylor]: Taking taylor expansion of 0.5 in y 1.716 * [taylor]: Taking taylor expansion of (/ y x) in y 1.716 * [taylor]: Taking taylor expansion of y in y 1.716 * [taylor]: Taking taylor expansion of x in y 1.716 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.716 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.716 * [taylor]: Taking taylor expansion of 0.5 in y 1.716 * [taylor]: Taking taylor expansion of (/ y x) in y 1.716 * [taylor]: Taking taylor expansion of y in y 1.716 * [taylor]: Taking taylor expansion of x in y 1.716 * [taylor]: Taking taylor expansion of 1 in y 1.717 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.717 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.717 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.717 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.717 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.717 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.717 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.717 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.717 * [taylor]: Taking taylor expansion of 0.5 in x 1.717 * [taylor]: Taking taylor expansion of (/ y x) in x 1.717 * [taylor]: Taking taylor expansion of y in x 1.717 * [taylor]: Taking taylor expansion of x in x 1.717 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.717 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.717 * [taylor]: Taking taylor expansion of 0.5 in x 1.717 * [taylor]: Taking taylor expansion of (/ y x) in x 1.717 * [taylor]: Taking taylor expansion of y in x 1.717 * [taylor]: Taking taylor expansion of x in x 1.717 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.717 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.717 * [taylor]: Taking taylor expansion of 0.5 in x 1.717 * [taylor]: Taking taylor expansion of (/ y x) in x 1.717 * [taylor]: Taking taylor expansion of y in x 1.717 * [taylor]: Taking taylor expansion of x in x 1.718 * [taylor]: Taking taylor expansion of 1 in x 1.718 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.718 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.718 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.718 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.718 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.718 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.718 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.718 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.718 * [taylor]: Taking taylor expansion of 0.5 in x 1.718 * [taylor]: Taking taylor expansion of (/ y x) in x 1.718 * [taylor]: Taking taylor expansion of y in x 1.718 * [taylor]: Taking taylor expansion of x in x 1.718 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.718 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.718 * [taylor]: Taking taylor expansion of 0.5 in x 1.718 * [taylor]: Taking taylor expansion of (/ y x) in x 1.718 * [taylor]: Taking taylor expansion of y in x 1.718 * [taylor]: Taking taylor expansion of x in x 1.718 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.719 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.719 * [taylor]: Taking taylor expansion of 0.5 in x 1.719 * [taylor]: Taking taylor expansion of (/ y x) in x 1.719 * [taylor]: Taking taylor expansion of y in x 1.719 * [taylor]: Taking taylor expansion of x in x 1.719 * [taylor]: Taking taylor expansion of 1 in x 1.720 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (cos (* 0.5 (/ y x))))) 1) in y 1.720 * [taylor]: Taking taylor expansion of (exp (/ 1 (cos (* 0.5 (/ y x))))) in y 1.720 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 1.720 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.720 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.720 * [taylor]: Taking taylor expansion of 0.5 in y 1.720 * [taylor]: Taking taylor expansion of (/ y x) in y 1.720 * [taylor]: Taking taylor expansion of y in y 1.720 * [taylor]: Taking taylor expansion of x in y 1.720 * [taylor]: Taking taylor expansion of 1 in y 1.723 * [taylor]: Taking taylor expansion of 0 in y 1.726 * [taylor]: Taking taylor expansion of 0 in y 1.735 * [taylor]: Taking taylor expansion of 0 in y 1.741 * [taylor]: Taking taylor expansion of 0 in y 1.742 * [approximate]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in (x y) around 0 1.742 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in y 1.743 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.743 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in y 1.743 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 1.743 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 1.743 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.743 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.743 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.743 * [taylor]: Taking taylor expansion of 0.5 in y 1.743 * [taylor]: Taking taylor expansion of (/ y x) in y 1.743 * [taylor]: Taking taylor expansion of y in y 1.743 * [taylor]: Taking taylor expansion of x in y 1.743 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.743 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.743 * [taylor]: Taking taylor expansion of 0.5 in y 1.743 * [taylor]: Taking taylor expansion of (/ y x) in y 1.743 * [taylor]: Taking taylor expansion of y in y 1.743 * [taylor]: Taking taylor expansion of x in y 1.743 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 1.743 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.743 * [taylor]: Taking taylor expansion of 0.5 in y 1.743 * [taylor]: Taking taylor expansion of (/ y x) in y 1.743 * [taylor]: Taking taylor expansion of y in y 1.743 * [taylor]: Taking taylor expansion of x in y 1.744 * [taylor]: Taking taylor expansion of 1 in y 1.744 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.744 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.744 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.744 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.744 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.744 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.744 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.744 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.744 * [taylor]: Taking taylor expansion of 0.5 in x 1.744 * [taylor]: Taking taylor expansion of (/ y x) in x 1.744 * [taylor]: Taking taylor expansion of y in x 1.744 * [taylor]: Taking taylor expansion of x in x 1.744 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.744 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.745 * [taylor]: Taking taylor expansion of 0.5 in x 1.745 * [taylor]: Taking taylor expansion of (/ y x) in x 1.745 * [taylor]: Taking taylor expansion of y in x 1.745 * [taylor]: Taking taylor expansion of x in x 1.745 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.745 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.745 * [taylor]: Taking taylor expansion of 0.5 in x 1.745 * [taylor]: Taking taylor expansion of (/ y x) in x 1.745 * [taylor]: Taking taylor expansion of y in x 1.745 * [taylor]: Taking taylor expansion of x in x 1.745 * [taylor]: Taking taylor expansion of 1 in x 1.745 * [taylor]: Taking taylor expansion of (expm1 (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.745 * [taylor]: Rewrote expression to (- (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) 1) 1.745 * [taylor]: Taking taylor expansion of (exp (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))) in x 1.745 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 1.745 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 1.745 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 1.745 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.745 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.745 * [taylor]: Taking taylor expansion of 0.5 in x 1.745 * [taylor]: Taking taylor expansion of (/ y x) in x 1.745 * [taylor]: Taking taylor expansion of y in x 1.745 * [taylor]: Taking taylor expansion of x in x 1.746 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 1.746 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.746 * [taylor]: Taking taylor expansion of 0.5 in x 1.746 * [taylor]: Taking taylor expansion of (/ y x) in x 1.746 * [taylor]: Taking taylor expansion of y in x 1.746 * [taylor]: Taking taylor expansion of x in x 1.746 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 1.746 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 1.746 * [taylor]: Taking taylor expansion of 0.5 in x 1.746 * [taylor]: Taking taylor expansion of (/ y x) in x 1.746 * [taylor]: Taking taylor expansion of y in x 1.746 * [taylor]: Taking taylor expansion of x in x 1.746 * [taylor]: Taking taylor expansion of 1 in x 1.747 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (cos (* 0.5 (/ y x))))) 1) in y 1.747 * [taylor]: Taking taylor expansion of (exp (/ 1 (cos (* 0.5 (/ y x))))) in y 1.747 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 1.747 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 1.747 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 1.747 * [taylor]: Taking taylor expansion of 0.5 in y 1.747 * [taylor]: Taking taylor expansion of (/ y x) in y 1.747 * [taylor]: Taking taylor expansion of y in y 1.747 * [taylor]: Taking taylor expansion of x in y 1.747 * [taylor]: Taking taylor expansion of 1 in y 1.750 * [taylor]: Taking taylor expansion of 0 in y 1.753 * [taylor]: Taking taylor expansion of 0 in y 1.757 * [taylor]: Taking taylor expansion of 0 in y 1.764 * [taylor]: Taking taylor expansion of 0 in y 1.764 * * * [progress]: simplifying candidates 1.765 * [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.769 * * [simplify]: iteration 0 : 100 enodes (cost 1106 ) 1.785 * * [simplify]: iteration 1 : 180 enodes (cost 1089 ) 1.824 * * [simplify]: iteration 2 : 438 enodes (cost 983 ) 1.973 * * [simplify]: iteration 3 : 1517 enodes (cost 977 ) 2.818 * * [simplify]: iteration done : 5001 enodes (cost 977 ) 2.818 * [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 (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) 2.819 * * * [progress]: adding candidates to table 3.059 * * [progress]: iteration 4 / 4 3.059 * * * [progress]: picking best candidate 3.104 * * * * [pick]: Picked # 3.104 * * * [progress]: localizing error 3.117 * * * [progress]: generating rewritten candidates 3.117 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 3.118 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 3.122 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 3) 3.122 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.124 * * * [progress]: generating series expansions 3.124 * * * * [progress]: [ 1 / 4 ] generating series at (2) 3.125 * [approximate]: Taking taylor expansion of (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) in (y x) around 0 3.125 * [taylor]: Taking taylor expansion of (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) in x 3.125 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) 3.125 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) in x 3.125 * [taylor]: Taking taylor expansion of 1 in x 3.125 * [taylor]: Taking taylor expansion of (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) in x 3.125 * [taylor]: Rewrote expression to (+ (* (/ 0.125 y) (/ (* (pow x 2) E) y)) (expm1 1)) 3.125 * [taylor]: Taking taylor expansion of (* (/ 0.125 y) (/ (* (pow x 2) E) y)) in x 3.125 * [taylor]: Taking taylor expansion of (/ 0.125 y) in x 3.125 * [taylor]: Taking taylor expansion of 0.125 in x 3.125 * [taylor]: Taking taylor expansion of y in x 3.125 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) y) in x 3.125 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.125 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.125 * [taylor]: Taking taylor expansion of x in x 3.125 * [taylor]: Taking taylor expansion of E in x 3.125 * [taylor]: Taking taylor expansion of y in x 3.126 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.126 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.126 * [taylor]: Taking taylor expansion of (exp 1) in x 3.126 * [taylor]: Taking taylor expansion of 1 in x 3.126 * [taylor]: Taking taylor expansion of 1 in x 3.128 * [taylor]: Taking taylor expansion of (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) in y 3.128 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) 3.128 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) in y 3.128 * [taylor]: Taking taylor expansion of 1 in y 3.128 * [taylor]: Taking taylor expansion of (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) in y 3.128 * [taylor]: Rewrote expression to (+ (* (/ 0.125 y) (/ (* (pow x 2) E) y)) (expm1 1)) 3.128 * [taylor]: Taking taylor expansion of (* (/ 0.125 y) (/ (* (pow x 2) E) y)) in y 3.128 * [taylor]: Taking taylor expansion of (/ 0.125 y) in y 3.128 * [taylor]: Taking taylor expansion of 0.125 in y 3.128 * [taylor]: Taking taylor expansion of y in y 3.129 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) y) in y 3.129 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in y 3.129 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.129 * [taylor]: Taking taylor expansion of x in y 3.129 * [taylor]: Taking taylor expansion of E in y 3.129 * [taylor]: Taking taylor expansion of y in y 3.129 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.129 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.129 * [taylor]: Taking taylor expansion of (exp 1) in y 3.129 * [taylor]: Taking taylor expansion of 1 in y 3.129 * [taylor]: Taking taylor expansion of 1 in y 3.129 * [taylor]: Taking taylor expansion of (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) in y 3.129 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) 3.129 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) in y 3.129 * [taylor]: Taking taylor expansion of 1 in y 3.129 * [taylor]: Taking taylor expansion of (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) in y 3.130 * [taylor]: Rewrote expression to (+ (* (/ 0.125 y) (/ (* (pow x 2) E) y)) (expm1 1)) 3.130 * [taylor]: Taking taylor expansion of (* (/ 0.125 y) (/ (* (pow x 2) E) y)) in y 3.130 * [taylor]: Taking taylor expansion of (/ 0.125 y) in y 3.130 * [taylor]: Taking taylor expansion of 0.125 in y 3.130 * [taylor]: Taking taylor expansion of y in y 3.130 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) y) in y 3.130 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in y 3.130 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.130 * [taylor]: Taking taylor expansion of x in y 3.130 * [taylor]: Taking taylor expansion of E in y 3.130 * [taylor]: Taking taylor expansion of y in y 3.130 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.130 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.130 * [taylor]: Taking taylor expansion of (exp 1) in y 3.130 * [taylor]: Taking taylor expansion of 1 in y 3.130 * [taylor]: Taking taylor expansion of 1 in y 3.131 * [taylor]: Taking taylor expansion of (- (log (* 0.125 (* (pow x 2) E))) (* 2 (log y))) in x 3.131 * [taylor]: Taking taylor expansion of (log (* 0.125 (* (pow x 2) E))) in x 3.131 * [taylor]: Taking taylor expansion of (* 0.125 (* (pow x 2) E)) in x 3.131 * [taylor]: Taking taylor expansion of 0.125 in x 3.131 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.131 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.131 * [taylor]: Taking taylor expansion of x in x 3.132 * [taylor]: Taking taylor expansion of E in x 3.133 * [taylor]: Taking taylor expansion of (* 2 (log y)) in x 3.133 * [taylor]: Taking taylor expansion of 2 in x 3.133 * [taylor]: Taking taylor expansion of (log y) in x 3.133 * [taylor]: Taking taylor expansion of y in x 3.139 * [taylor]: Taking taylor expansion of 0 in x 3.149 * [taylor]: Taking taylor expansion of (/ 8.0 (pow x 2)) in x 3.149 * [taylor]: Taking taylor expansion of 8.0 in x 3.149 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.149 * [taylor]: Taking taylor expansion of x in x 3.164 * [taylor]: Taking taylor expansion of 0 in x 3.165 * [approximate]: Taking taylor expansion of (log1p (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1))) in (y x) around 0 3.165 * [taylor]: Taking taylor expansion of (log1p (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1))) in x 3.165 * [taylor]: Rewrote expression to (log (+ 1 (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1)))) 3.166 * [taylor]: Taking taylor expansion of (+ 1 (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1))) in x 3.166 * [taylor]: Taking taylor expansion of 1 in x 3.166 * [taylor]: Taking taylor expansion of (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1)) in x 3.166 * [taylor]: Rewrote expression to (+ (* (* 0.125 y) (/ (* E y) (pow x 2))) (expm1 1)) 3.166 * [taylor]: Taking taylor expansion of (* (* 0.125 y) (/ (* E y) (pow x 2))) in x 3.166 * [taylor]: Taking taylor expansion of (* 0.125 y) in x 3.166 * [taylor]: Taking taylor expansion of 0.125 in x 3.166 * [taylor]: Taking taylor expansion of y in x 3.166 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in x 3.166 * [taylor]: Taking taylor expansion of (* E y) in x 3.166 * [taylor]: Taking taylor expansion of E in x 3.166 * [taylor]: Taking taylor expansion of y in x 3.166 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.166 * [taylor]: Taking taylor expansion of x in x 3.166 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.166 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.166 * [taylor]: Taking taylor expansion of (exp 1) in x 3.166 * [taylor]: Taking taylor expansion of 1 in x 3.166 * [taylor]: Taking taylor expansion of 1 in x 3.167 * [taylor]: Taking taylor expansion of (log1p (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1))) in y 3.167 * [taylor]: Rewrote expression to (log (+ 1 (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1)))) 3.167 * [taylor]: Taking taylor expansion of (+ 1 (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1))) in y 3.167 * [taylor]: Taking taylor expansion of 1 in y 3.167 * [taylor]: Taking taylor expansion of (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1)) in y 3.167 * [taylor]: Rewrote expression to (+ (* (* 0.125 y) (/ (* E y) (pow x 2))) (expm1 1)) 3.167 * [taylor]: Taking taylor expansion of (* (* 0.125 y) (/ (* E y) (pow x 2))) in y 3.167 * [taylor]: Taking taylor expansion of (* 0.125 y) in y 3.167 * [taylor]: Taking taylor expansion of 0.125 in y 3.167 * [taylor]: Taking taylor expansion of y in y 3.167 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in y 3.167 * [taylor]: Taking taylor expansion of (* E y) in y 3.167 * [taylor]: Taking taylor expansion of E in y 3.167 * [taylor]: Taking taylor expansion of y in y 3.167 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.167 * [taylor]: Taking taylor expansion of x in y 3.169 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.169 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.169 * [taylor]: Taking taylor expansion of (exp 1) in y 3.169 * [taylor]: Taking taylor expansion of 1 in y 3.169 * [taylor]: Taking taylor expansion of 1 in y 3.170 * [taylor]: Taking taylor expansion of (log1p (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1))) in y 3.171 * [taylor]: Rewrote expression to (log (+ 1 (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1)))) 3.171 * [taylor]: Taking taylor expansion of (+ 1 (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1))) in y 3.171 * [taylor]: Taking taylor expansion of 1 in y 3.171 * [taylor]: Taking taylor expansion of (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1)) in y 3.171 * [taylor]: Rewrote expression to (+ (* (* 0.125 y) (/ (* E y) (pow x 2))) (expm1 1)) 3.171 * [taylor]: Taking taylor expansion of (* (* 0.125 y) (/ (* E y) (pow x 2))) in y 3.171 * [taylor]: Taking taylor expansion of (* 0.125 y) in y 3.171 * [taylor]: Taking taylor expansion of 0.125 in y 3.171 * [taylor]: Taking taylor expansion of y in y 3.171 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in y 3.171 * [taylor]: Taking taylor expansion of (* E y) in y 3.171 * [taylor]: Taking taylor expansion of E in y 3.171 * [taylor]: Taking taylor expansion of y in y 3.171 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.171 * [taylor]: Taking taylor expansion of x in y 3.172 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.172 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.172 * [taylor]: Taking taylor expansion of (exp 1) in y 3.173 * [taylor]: Taking taylor expansion of 1 in y 3.173 * [taylor]: Taking taylor expansion of 1 in y 3.174 * [taylor]: Taking taylor expansion of 1 in x 3.177 * [taylor]: Taking taylor expansion of 0 in x 3.182 * [taylor]: Taking taylor expansion of (/ 0.125 (pow x 2)) in x 3.182 * [taylor]: Taking taylor expansion of 0.125 in x 3.182 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.182 * [taylor]: Taking taylor expansion of x in x 3.197 * [taylor]: Taking taylor expansion of 0 in x 3.198 * [approximate]: Taking taylor expansion of (log1p (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1))) in (y x) around 0 3.198 * [taylor]: Taking taylor expansion of (log1p (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1))) in x 3.198 * [taylor]: Rewrote expression to (log (+ 1 (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1)))) 3.198 * [taylor]: Taking taylor expansion of (+ 1 (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1))) in x 3.198 * [taylor]: Taking taylor expansion of 1 in x 3.198 * [taylor]: Taking taylor expansion of (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1)) in x 3.198 * [taylor]: Rewrote expression to (+ (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) (expm1 1)) 3.198 * [taylor]: Taking taylor expansion of (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) in x 3.198 * [taylor]: Taking taylor expansion of (* -0.125 y) in x 3.199 * [taylor]: Taking taylor expansion of -0.125 in x 3.199 * [taylor]: Taking taylor expansion of y in x 3.199 * [taylor]: Taking taylor expansion of (* -1 (/ (* E y) (pow x 2))) in x 3.199 * [taylor]: Taking taylor expansion of -1 in x 3.199 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in x 3.199 * [taylor]: Taking taylor expansion of (* E y) in x 3.199 * [taylor]: Taking taylor expansion of E in x 3.199 * [taylor]: Taking taylor expansion of y in x 3.199 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.199 * [taylor]: Taking taylor expansion of x in x 3.199 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.199 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.199 * [taylor]: Taking taylor expansion of (exp 1) in x 3.199 * [taylor]: Taking taylor expansion of 1 in x 3.199 * [taylor]: Taking taylor expansion of 1 in x 3.200 * [taylor]: Taking taylor expansion of (log1p (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1))) in y 3.200 * [taylor]: Rewrote expression to (log (+ 1 (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1)))) 3.200 * [taylor]: Taking taylor expansion of (+ 1 (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1))) in y 3.200 * [taylor]: Taking taylor expansion of 1 in y 3.200 * [taylor]: Taking taylor expansion of (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1)) in y 3.200 * [taylor]: Rewrote expression to (+ (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) (expm1 1)) 3.200 * [taylor]: Taking taylor expansion of (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) in y 3.200 * [taylor]: Taking taylor expansion of (* -0.125 y) in y 3.200 * [taylor]: Taking taylor expansion of -0.125 in y 3.200 * [taylor]: Taking taylor expansion of y in y 3.200 * [taylor]: Taking taylor expansion of (* -1 (/ (* E y) (pow x 2))) in y 3.200 * [taylor]: Taking taylor expansion of -1 in y 3.200 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in y 3.200 * [taylor]: Taking taylor expansion of (* E y) in y 3.200 * [taylor]: Taking taylor expansion of E in y 3.200 * [taylor]: Taking taylor expansion of y in y 3.200 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.200 * [taylor]: Taking taylor expansion of x in y 3.202 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.202 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.202 * [taylor]: Taking taylor expansion of (exp 1) in y 3.202 * [taylor]: Taking taylor expansion of 1 in y 3.202 * [taylor]: Taking taylor expansion of 1 in y 3.203 * [taylor]: Taking taylor expansion of (log1p (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1))) in y 3.204 * [taylor]: Rewrote expression to (log (+ 1 (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1)))) 3.204 * [taylor]: Taking taylor expansion of (+ 1 (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1))) in y 3.204 * [taylor]: Taking taylor expansion of 1 in y 3.204 * [taylor]: Taking taylor expansion of (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1)) in y 3.204 * [taylor]: Rewrote expression to (+ (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) (expm1 1)) 3.204 * [taylor]: Taking taylor expansion of (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) in y 3.204 * [taylor]: Taking taylor expansion of (* -0.125 y) in y 3.204 * [taylor]: Taking taylor expansion of -0.125 in y 3.204 * [taylor]: Taking taylor expansion of y in y 3.204 * [taylor]: Taking taylor expansion of (* -1 (/ (* E y) (pow x 2))) in y 3.204 * [taylor]: Taking taylor expansion of -1 in y 3.204 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in y 3.204 * [taylor]: Taking taylor expansion of (* E y) in y 3.204 * [taylor]: Taking taylor expansion of E in y 3.204 * [taylor]: Taking taylor expansion of y in y 3.204 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.204 * [taylor]: Taking taylor expansion of x in y 3.205 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.206 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.206 * [taylor]: Taking taylor expansion of (exp 1) in y 3.206 * [taylor]: Taking taylor expansion of 1 in y 3.206 * [taylor]: Taking taylor expansion of 1 in y 3.207 * [taylor]: Taking taylor expansion of 1 in x 3.210 * [taylor]: Taking taylor expansion of 0 in x 3.216 * [taylor]: Taking taylor expansion of (/ 0.125 (pow x 2)) in x 3.216 * [taylor]: Taking taylor expansion of 0.125 in x 3.216 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.216 * [taylor]: Taking taylor expansion of x in x 3.226 * [taylor]: Taking taylor expansion of 0 in x 3.226 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 3.226 * [approximate]: Taking taylor expansion of (/ (* (pow x 2) E) y) in (x y) around 0 3.226 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) y) in y 3.226 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in y 3.226 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.226 * [taylor]: Taking taylor expansion of x in y 3.226 * [taylor]: Taking taylor expansion of E in y 3.226 * [taylor]: Taking taylor expansion of y in y 3.226 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) y) in x 3.226 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.226 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.226 * [taylor]: Taking taylor expansion of x in x 3.226 * [taylor]: Taking taylor expansion of E in x 3.226 * [taylor]: Taking taylor expansion of y in x 3.227 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) y) in x 3.227 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.227 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.227 * [taylor]: Taking taylor expansion of x in x 3.227 * [taylor]: Taking taylor expansion of E in x 3.227 * [taylor]: Taking taylor expansion of y in x 3.228 * [taylor]: Taking taylor expansion of (/ E y) in y 3.228 * [taylor]: Taking taylor expansion of E in y 3.228 * [taylor]: Taking taylor expansion of y in y 3.229 * [taylor]: Taking taylor expansion of 0 in y 3.231 * [taylor]: Taking taylor expansion of 0 in y 3.233 * [taylor]: Taking taylor expansion of 0 in y 3.234 * [approximate]: Taking taylor expansion of (/ (* E y) (pow x 2)) in (x y) around 0 3.234 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in y 3.234 * [taylor]: Taking taylor expansion of (* E y) in y 3.234 * [taylor]: Taking taylor expansion of E in y 3.234 * [taylor]: Taking taylor expansion of y in y 3.234 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.234 * [taylor]: Taking taylor expansion of x in y 3.235 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in x 3.235 * [taylor]: Taking taylor expansion of (* E y) in x 3.235 * [taylor]: Taking taylor expansion of E in x 3.235 * [taylor]: Taking taylor expansion of y in x 3.235 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.235 * [taylor]: Taking taylor expansion of x in x 3.236 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in x 3.236 * [taylor]: Taking taylor expansion of (* E y) in x 3.236 * [taylor]: Taking taylor expansion of E in x 3.236 * [taylor]: Taking taylor expansion of y in x 3.236 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.236 * [taylor]: Taking taylor expansion of x in x 3.236 * [taylor]: Taking taylor expansion of (* E y) in y 3.236 * [taylor]: Taking taylor expansion of E in y 3.236 * [taylor]: Taking taylor expansion of y in y 3.239 * [taylor]: Taking taylor expansion of 0 in y 3.241 * [taylor]: Taking taylor expansion of 0 in y 3.245 * [taylor]: Taking taylor expansion of 0 in y 3.245 * [approximate]: Taking taylor expansion of (* -1 (/ (* E y) (pow x 2))) in (x y) around 0 3.245 * [taylor]: Taking taylor expansion of (* -1 (/ (* E y) (pow x 2))) in y 3.245 * [taylor]: Taking taylor expansion of -1 in y 3.245 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in y 3.245 * [taylor]: Taking taylor expansion of (* E y) in y 3.245 * [taylor]: Taking taylor expansion of E in y 3.245 * [taylor]: Taking taylor expansion of y in y 3.245 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.245 * [taylor]: Taking taylor expansion of x in y 3.247 * [taylor]: Taking taylor expansion of (* -1 (/ (* E y) (pow x 2))) in x 3.247 * [taylor]: Taking taylor expansion of -1 in x 3.247 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in x 3.247 * [taylor]: Taking taylor expansion of (* E y) in x 3.247 * [taylor]: Taking taylor expansion of E in x 3.247 * [taylor]: Taking taylor expansion of y in x 3.247 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.247 * [taylor]: Taking taylor expansion of x in x 3.247 * [taylor]: Taking taylor expansion of (* -1 (/ (* E y) (pow x 2))) in x 3.247 * [taylor]: Taking taylor expansion of -1 in x 3.247 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in x 3.247 * [taylor]: Taking taylor expansion of (* E y) in x 3.247 * [taylor]: Taking taylor expansion of E in x 3.247 * [taylor]: Taking taylor expansion of y in x 3.248 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.248 * [taylor]: Taking taylor expansion of x in x 3.248 * [taylor]: Taking taylor expansion of (* -1 (* E y)) in y 3.248 * [taylor]: Taking taylor expansion of -1 in y 3.248 * [taylor]: Taking taylor expansion of (* E y) in y 3.248 * [taylor]: Taking taylor expansion of E in y 3.248 * [taylor]: Taking taylor expansion of y in y 3.252 * [taylor]: Taking taylor expansion of 0 in y 3.256 * [taylor]: Taking taylor expansion of 0 in y 3.260 * [taylor]: Taking taylor expansion of 0 in y 3.261 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 3) 3.261 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.261 * [approximate]: Taking taylor expansion of (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) in (y x) around 0 3.261 * [taylor]: Taking taylor expansion of (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) in x 3.261 * [taylor]: Rewrote expression to (+ (* (/ 0.125 y) (/ (* (pow x 2) E) y)) (expm1 1)) 3.261 * [taylor]: Taking taylor expansion of (* (/ 0.125 y) (/ (* (pow x 2) E) y)) in x 3.261 * [taylor]: Taking taylor expansion of (/ 0.125 y) in x 3.261 * [taylor]: Taking taylor expansion of 0.125 in x 3.261 * [taylor]: Taking taylor expansion of y in x 3.261 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) y) in x 3.261 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.261 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.261 * [taylor]: Taking taylor expansion of x in x 3.261 * [taylor]: Taking taylor expansion of E in x 3.261 * [taylor]: Taking taylor expansion of y in x 3.262 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.262 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.262 * [taylor]: Taking taylor expansion of (exp 1) in x 3.262 * [taylor]: Taking taylor expansion of 1 in x 3.262 * [taylor]: Taking taylor expansion of 1 in x 3.262 * [taylor]: Taking taylor expansion of (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) in y 3.262 * [taylor]: Rewrote expression to (+ (* (/ 0.125 y) (/ (* (pow x 2) E) y)) (expm1 1)) 3.262 * [taylor]: Taking taylor expansion of (* (/ 0.125 y) (/ (* (pow x 2) E) y)) in y 3.262 * [taylor]: Taking taylor expansion of (/ 0.125 y) in y 3.262 * [taylor]: Taking taylor expansion of 0.125 in y 3.262 * [taylor]: Taking taylor expansion of y in y 3.263 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) y) in y 3.263 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in y 3.263 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.263 * [taylor]: Taking taylor expansion of x in y 3.263 * [taylor]: Taking taylor expansion of E in y 3.263 * [taylor]: Taking taylor expansion of y in y 3.263 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.263 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.263 * [taylor]: Taking taylor expansion of (exp 1) in y 3.263 * [taylor]: Taking taylor expansion of 1 in y 3.263 * [taylor]: Taking taylor expansion of 1 in y 3.263 * [taylor]: Taking taylor expansion of (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) in y 3.263 * [taylor]: Rewrote expression to (+ (* (/ 0.125 y) (/ (* (pow x 2) E) y)) (expm1 1)) 3.263 * [taylor]: Taking taylor expansion of (* (/ 0.125 y) (/ (* (pow x 2) E) y)) in y 3.263 * [taylor]: Taking taylor expansion of (/ 0.125 y) in y 3.263 * [taylor]: Taking taylor expansion of 0.125 in y 3.263 * [taylor]: Taking taylor expansion of y in y 3.264 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) E) y) in y 3.264 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in y 3.264 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.264 * [taylor]: Taking taylor expansion of x in y 3.264 * [taylor]: Taking taylor expansion of E in y 3.264 * [taylor]: Taking taylor expansion of y in y 3.264 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.264 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.264 * [taylor]: Taking taylor expansion of (exp 1) in y 3.264 * [taylor]: Taking taylor expansion of 1 in y 3.264 * [taylor]: Taking taylor expansion of 1 in y 3.264 * [taylor]: Taking taylor expansion of (* 0.125 (* (pow x 2) E)) in x 3.264 * [taylor]: Taking taylor expansion of 0.125 in x 3.264 * [taylor]: Taking taylor expansion of (* (pow x 2) E) in x 3.264 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.264 * [taylor]: Taking taylor expansion of x in x 3.265 * [taylor]: Taking taylor expansion of E in x 3.267 * [taylor]: Taking taylor expansion of 0 in x 3.271 * [taylor]: Taking taylor expansion of (- E 1) in x 3.271 * [taylor]: Taking taylor expansion of E in x 3.271 * [taylor]: Taking taylor expansion of 1 in x 3.283 * [taylor]: Taking taylor expansion of 0 in x 3.291 * [taylor]: Taking taylor expansion of 0 in x 3.293 * [approximate]: Taking taylor expansion of (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1)) in (y x) around 0 3.293 * [taylor]: Taking taylor expansion of (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1)) in x 3.293 * [taylor]: Rewrote expression to (+ (* (* 0.125 y) (/ (* E y) (pow x 2))) (expm1 1)) 3.293 * [taylor]: Taking taylor expansion of (* (* 0.125 y) (/ (* E y) (pow x 2))) in x 3.293 * [taylor]: Taking taylor expansion of (* 0.125 y) in x 3.293 * [taylor]: Taking taylor expansion of 0.125 in x 3.293 * [taylor]: Taking taylor expansion of y in x 3.293 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in x 3.293 * [taylor]: Taking taylor expansion of (* E y) in x 3.293 * [taylor]: Taking taylor expansion of E in x 3.293 * [taylor]: Taking taylor expansion of y in x 3.293 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.293 * [taylor]: Taking taylor expansion of x in x 3.294 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.294 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.294 * [taylor]: Taking taylor expansion of (exp 1) in x 3.294 * [taylor]: Taking taylor expansion of 1 in x 3.294 * [taylor]: Taking taylor expansion of 1 in x 3.294 * [taylor]: Taking taylor expansion of (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1)) in y 3.294 * [taylor]: Rewrote expression to (+ (* (* 0.125 y) (/ (* E y) (pow x 2))) (expm1 1)) 3.294 * [taylor]: Taking taylor expansion of (* (* 0.125 y) (/ (* E y) (pow x 2))) in y 3.294 * [taylor]: Taking taylor expansion of (* 0.125 y) in y 3.294 * [taylor]: Taking taylor expansion of 0.125 in y 3.294 * [taylor]: Taking taylor expansion of y in y 3.294 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in y 3.294 * [taylor]: Taking taylor expansion of (* E y) in y 3.294 * [taylor]: Taking taylor expansion of E in y 3.294 * [taylor]: Taking taylor expansion of y in y 3.294 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.294 * [taylor]: Taking taylor expansion of x in y 3.296 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.296 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.296 * [taylor]: Taking taylor expansion of (exp 1) in y 3.296 * [taylor]: Taking taylor expansion of 1 in y 3.296 * [taylor]: Taking taylor expansion of 1 in y 3.296 * [taylor]: Taking taylor expansion of (fma (* 0.125 y) (/ (* E y) (pow x 2)) (expm1 1)) in y 3.296 * [taylor]: Rewrote expression to (+ (* (* 0.125 y) (/ (* E y) (pow x 2))) (expm1 1)) 3.296 * [taylor]: Taking taylor expansion of (* (* 0.125 y) (/ (* E y) (pow x 2))) in y 3.296 * [taylor]: Taking taylor expansion of (* 0.125 y) in y 3.296 * [taylor]: Taking taylor expansion of 0.125 in y 3.296 * [taylor]: Taking taylor expansion of y in y 3.296 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in y 3.296 * [taylor]: Taking taylor expansion of (* E y) in y 3.296 * [taylor]: Taking taylor expansion of E in y 3.296 * [taylor]: Taking taylor expansion of y in y 3.296 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.296 * [taylor]: Taking taylor expansion of x in y 3.298 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.298 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.298 * [taylor]: Taking taylor expansion of (exp 1) in y 3.298 * [taylor]: Taking taylor expansion of 1 in y 3.298 * [taylor]: Taking taylor expansion of 1 in y 3.299 * [taylor]: Taking taylor expansion of (- E 1) in x 3.299 * [taylor]: Taking taylor expansion of E in x 3.299 * [taylor]: Taking taylor expansion of 1 in x 3.301 * [taylor]: Taking taylor expansion of 0 in x 3.305 * [taylor]: Taking taylor expansion of (* 0.125 (/ E (pow x 2))) in x 3.305 * [taylor]: Taking taylor expansion of 0.125 in x 3.305 * [taylor]: Taking taylor expansion of (/ E (pow x 2)) in x 3.305 * [taylor]: Taking taylor expansion of E in x 3.305 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.305 * [taylor]: Taking taylor expansion of x in x 3.311 * [taylor]: Taking taylor expansion of 0 in x 3.318 * [taylor]: Taking taylor expansion of 0 in x 3.321 * [approximate]: Taking taylor expansion of (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1)) in (y x) around 0 3.322 * [taylor]: Taking taylor expansion of (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1)) in x 3.322 * [taylor]: Rewrote expression to (+ (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) (expm1 1)) 3.322 * [taylor]: Taking taylor expansion of (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) in x 3.322 * [taylor]: Taking taylor expansion of (* -0.125 y) in x 3.322 * [taylor]: Taking taylor expansion of -0.125 in x 3.322 * [taylor]: Taking taylor expansion of y in x 3.322 * [taylor]: Taking taylor expansion of (* -1 (/ (* E y) (pow x 2))) in x 3.322 * [taylor]: Taking taylor expansion of -1 in x 3.322 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in x 3.322 * [taylor]: Taking taylor expansion of (* E y) in x 3.322 * [taylor]: Taking taylor expansion of E in x 3.322 * [taylor]: Taking taylor expansion of y in x 3.322 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.322 * [taylor]: Taking taylor expansion of x in x 3.322 * [taylor]: Taking taylor expansion of (expm1 1) in x 3.322 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.322 * [taylor]: Taking taylor expansion of (exp 1) in x 3.322 * [taylor]: Taking taylor expansion of 1 in x 3.322 * [taylor]: Taking taylor expansion of 1 in x 3.322 * [taylor]: Taking taylor expansion of (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1)) in y 3.323 * [taylor]: Rewrote expression to (+ (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) (expm1 1)) 3.323 * [taylor]: Taking taylor expansion of (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) in y 3.323 * [taylor]: Taking taylor expansion of (* -0.125 y) in y 3.323 * [taylor]: Taking taylor expansion of -0.125 in y 3.323 * [taylor]: Taking taylor expansion of y in y 3.323 * [taylor]: Taking taylor expansion of (* -1 (/ (* E y) (pow x 2))) in y 3.323 * [taylor]: Taking taylor expansion of -1 in y 3.323 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in y 3.323 * [taylor]: Taking taylor expansion of (* E y) in y 3.323 * [taylor]: Taking taylor expansion of E in y 3.323 * [taylor]: Taking taylor expansion of y in y 3.323 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.323 * [taylor]: Taking taylor expansion of x in y 3.324 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.324 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.324 * [taylor]: Taking taylor expansion of (exp 1) in y 3.324 * [taylor]: Taking taylor expansion of 1 in y 3.324 * [taylor]: Taking taylor expansion of 1 in y 3.324 * [taylor]: Taking taylor expansion of (fma (* -0.125 y) (* -1 (/ (* E y) (pow x 2))) (expm1 1)) in y 3.324 * [taylor]: Rewrote expression to (+ (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) (expm1 1)) 3.325 * [taylor]: Taking taylor expansion of (* (* -0.125 y) (* -1 (/ (* E y) (pow x 2)))) in y 3.325 * [taylor]: Taking taylor expansion of (* -0.125 y) in y 3.325 * [taylor]: Taking taylor expansion of -0.125 in y 3.325 * [taylor]: Taking taylor expansion of y in y 3.325 * [taylor]: Taking taylor expansion of (* -1 (/ (* E y) (pow x 2))) in y 3.325 * [taylor]: Taking taylor expansion of -1 in y 3.325 * [taylor]: Taking taylor expansion of (/ (* E y) (pow x 2)) in y 3.325 * [taylor]: Taking taylor expansion of (* E y) in y 3.325 * [taylor]: Taking taylor expansion of E in y 3.325 * [taylor]: Taking taylor expansion of y in y 3.325 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.325 * [taylor]: Taking taylor expansion of x in y 3.326 * [taylor]: Taking taylor expansion of (expm1 1) in y 3.326 * [taylor]: Rewrote expression to (- (exp 1) 1) 3.326 * [taylor]: Taking taylor expansion of (exp 1) in y 3.326 * [taylor]: Taking taylor expansion of 1 in y 3.326 * [taylor]: Taking taylor expansion of 1 in y 3.327 * [taylor]: Taking taylor expansion of (- E 1) in x 3.328 * [taylor]: Taking taylor expansion of E in x 3.328 * [taylor]: Taking taylor expansion of 1 in x 3.329 * [taylor]: Taking taylor expansion of 0 in x 3.334 * [taylor]: Taking taylor expansion of (* 0.125 (/ E (pow x 2))) in x 3.334 * [taylor]: Taking taylor expansion of 0.125 in x 3.334 * [taylor]: Taking taylor expansion of (/ E (pow x 2)) in x 3.334 * [taylor]: Taking taylor expansion of E in x 3.334 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.334 * [taylor]: Taking taylor expansion of x in x 3.340 * [taylor]: Taking taylor expansion of 0 in x 3.349 * [taylor]: Taking taylor expansion of 0 in x 3.352 * * * [progress]: simplifying candidates 3.353 * [simplify]: Simplifying using # : (+ 1 (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (expm1 (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (log1p (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (log (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (exp (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (* (cbrt (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (cbrt (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))))) (cbrt (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (* (* (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (sqrt (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (sqrt (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (expm1 (/ (* (pow x 2) E) y)) (log1p (/ (* (pow x 2) E) y)) (- (+ (* (log x) 2) 1) (log y)) (- (+ (* (log x) 2) (log E)) (log y)) (- (+ (* (log x) 2) 1) (log y)) (- (+ (* (log x) 2) (log E)) (log y)) (- (+ (log (pow x 2)) 1) (log y)) (- (+ (log (pow x 2)) (log E)) (log y)) (- (log (* (pow x 2) E)) (log y)) (log (/ (* (pow x 2) E) y)) (exp (/ (* (pow x 2) E) y)) (/ (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* E E) E)) (* (* y y) y)) (/ (* (* (* (pow x 2) E) (* (pow x 2) E)) (* (pow x 2) E)) (* (* y y) y)) (* (cbrt (/ (* (pow x 2) E) y)) (cbrt (/ (* (pow x 2) E) y))) (cbrt (/ (* (pow x 2) E) y)) (* (* (/ (* (pow x 2) E) y) (/ (* (pow x 2) E) y)) (/ (* (pow x 2) E) y)) (sqrt (/ (* (pow x 2) E) y)) (sqrt (/ (* (pow x 2) E) y)) (- (* (pow x 2) E)) (- y) (/ (pow x 2) (* (cbrt y) (cbrt y))) (/ E (cbrt y)) (/ (pow x 2) (sqrt y)) (/ E (sqrt y)) (/ (pow x 2) 1) (/ E y) (/ 1 y) (/ y (* (pow x 2) E)) (/ (* (pow x 2) E) (* (cbrt y) (cbrt y))) (/ (* (pow x 2) E) (sqrt y)) (/ (* (pow x 2) E) 1) (/ y 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 (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (* (/ 0.125 y) (/ (* (pow x 2) E) y)) (log (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (exp (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (* (cbrt (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (cbrt (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (cbrt (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (* (* (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (sqrt (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (sqrt (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (- (+ (log (* 0.125 E)) (* 2 (log x))) (* 2 (log y))) 1 1 (/ (* (pow x 2) E) y) (/ (* (pow x 2) E) y) (/ (* (pow x 2) E) y) (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (- (+ E (* 0.125 (/ (* (pow x 2) E) (pow y 2)))) 1) (- (+ E (* 0.125 (/ (* (pow x 2) E) (pow y 2)))) 1) (- (+ E (* 0.125 (/ (* (pow x 2) E) (pow y 2)))) 1) 3.356 * * [simplify]: iteration 0 : 105 enodes (cost 794 ) 3.379 * * [simplify]: iteration 1 : 218 enodes (cost 767 ) 3.432 * * [simplify]: iteration 2 : 776 enodes (cost 670 ) 4.257 * * [simplify]: iteration done : 5000 enodes (cost 670 ) 4.257 * [simplify]: Simplified to: (+ 1 (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) (log1p (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (log (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (exp (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (* (cbrt (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (cbrt (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))))) (cbrt (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (pow (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) 3) (sqrt (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (sqrt (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (expm1 (/ (* (pow x 2) E) y)) (log1p (/ (* (pow x 2) E) y)) (- (fma (log x) 2 1) (log y)) (- (fma (log x) 2 1) (log y)) (- (fma (log x) 2 1) (log y)) (- (fma (log x) 2 1) (log y)) (- (fma (log x) 2 1) (log y)) (- (fma (log x) 2 1) (log y)) (- (fma (log x) 2 1) (log y)) (- (fma (log x) 2 1) (log y)) (exp (/ (* (pow x 2) E) y)) (pow (/ (* (pow x 2) E) y) 3) (pow (/ (* (pow x 2) E) y) 3) (* (cbrt (/ (* (pow x 2) E) y)) (cbrt (/ (* (pow x 2) E) y))) (cbrt (/ (* (pow x 2) E) y)) (pow (/ (* (pow x 2) E) y) 3) (sqrt (/ (* (pow x 2) E) y)) (sqrt (/ (* (pow x 2) E) y)) (- (* (pow x 2) E)) (- y) (/ (pow x 2) (* (cbrt y) (cbrt y))) (/ E (cbrt y)) (/ (pow x 2) (sqrt y)) (/ E (sqrt y)) (pow x 2) (/ E y) (/ 1 y) (/ y (* (pow x 2) E)) (/ (* (pow x 2) E) (* (cbrt y) (cbrt y))) (/ (* (pow x 2) E) (sqrt y)) (* (pow x 2) E) (/ y 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 (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (* 0.125 (/ (* (pow x 2) E) (pow y 2))) (log (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (exp (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (* (cbrt (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (cbrt (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)))) (cbrt (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (pow (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1)) 3) (sqrt (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (sqrt (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (+ (* 2 (- (log x) (log y))) (log (* 0.125 E))) 1 1 (/ (* (pow x 2) E) y) (/ (* (pow x 2) E) y) (/ (* (pow x 2) E) y) (log1p (fma (/ 0.125 y) (/ (* (pow x 2) E) y) (expm1 1))) (- (fma 0.125 (/ (* (pow x 2) E) (pow y 2)) E) 1) (- (fma 0.125 (/ (* (pow x 2) E) (pow y 2)) E) 1) (- (fma 0.125 (/ (* (pow x 2) E) (pow y 2)) E) 1) 4.258 * * * [progress]: adding candidates to table 4.459 * [progress]: [Phase 3 of 3] Extracting. 4.459 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 4.467 * * * [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.467 * * * * [regimes]: Trying to branch on (* y 2.0) from (# # # # # # # # # # # # # # # #) 4.532 * * * * [regimes]: Trying to branch on (/ x (* y 2.0)) from (# # # # # # # # # # # # # # # #) 4.593 * * * * [regimes]: Trying to branch on (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) from (# # # # # # # # # # # # # # # #) 4.660 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # # # # #) 4.724 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # #) 4.790 * * * [regime]: Found split indices: #