146.636 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.090 * * * [progress]: [2/2] Setting up program. 0.098 * [progress]: [Phase 2 of 3] Improving. 0.099 * [simplify]: Simplifying using # : (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 0.099 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 0.100 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 0.102 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 0.103 * * [simplify]: iteration done : 13 enodes (cost 13 ) 0.103 * [simplify]: Simplified to: (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 0.104 * * [progress]: iteration 1 / 4 0.104 * * * [progress]: picking best candidate 0.107 * * * * [pick]: Picked # 0.107 * * * [progress]: localizing error 0.117 * * * [progress]: generating rewritten candidates 0.117 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.120 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.122 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.129 * * * [progress]: generating series expansions 0.129 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.130 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 0.130 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 0.130 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.130 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.130 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.130 * [taylor]: Taking taylor expansion of 0.5 in y 0.130 * [taylor]: Taking taylor expansion of (/ x y) in y 0.130 * [taylor]: Taking taylor expansion of x in y 0.130 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 0.130 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.130 * [taylor]: Taking taylor expansion of 0.5 in y 0.130 * [taylor]: Taking taylor expansion of (/ x y) in y 0.130 * [taylor]: Taking taylor expansion of x in y 0.130 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.130 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.130 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.130 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.130 * [taylor]: Taking taylor expansion of 0.5 in x 0.130 * [taylor]: Taking taylor expansion of (/ x y) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 0.130 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.130 * [taylor]: Taking taylor expansion of 0.5 in x 0.130 * [taylor]: Taking taylor expansion of (/ x y) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.131 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.131 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.131 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.131 * [taylor]: Taking taylor expansion of 0.5 in x 0.131 * [taylor]: Taking taylor expansion of (/ x y) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 0.131 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.131 * [taylor]: Taking taylor expansion of 0.5 in x 0.131 * [taylor]: Taking taylor expansion of (/ x y) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 0.131 * [taylor]: Taking taylor expansion of 0.5 in y 0.131 * [taylor]: Taking taylor expansion of y in y 0.132 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 0.133 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 0.133 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.133 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.133 * [taylor]: Taking taylor expansion of y in y 0.133 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 0.133 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.133 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.133 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.133 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.133 * [taylor]: Taking taylor expansion of 0.5 in y 0.133 * [taylor]: Taking taylor expansion of (/ y x) in y 0.133 * [taylor]: Taking taylor expansion of y in y 0.133 * [taylor]: Taking taylor expansion of x in y 0.133 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.133 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.133 * [taylor]: Taking taylor expansion of 0.5 in y 0.133 * [taylor]: Taking taylor expansion of (/ y x) in y 0.133 * [taylor]: Taking taylor expansion of y in y 0.134 * [taylor]: Taking taylor expansion of x in y 0.134 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.134 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.134 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.134 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.134 * [taylor]: Taking taylor expansion of 0.5 in x 0.134 * [taylor]: Taking taylor expansion of (/ y x) in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.134 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.134 * [taylor]: Taking taylor expansion of 0.5 in x 0.134 * [taylor]: Taking taylor expansion of (/ y x) in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.134 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.134 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.134 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.134 * [taylor]: Taking taylor expansion of 0.5 in x 0.134 * [taylor]: Taking taylor expansion of (/ y x) in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.135 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.135 * [taylor]: Taking taylor expansion of 0.5 in x 0.135 * [taylor]: Taking taylor expansion of (/ y x) in x 0.135 * [taylor]: Taking taylor expansion of y in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 0.135 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.135 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.135 * [taylor]: Taking taylor expansion of 0.5 in y 0.135 * [taylor]: Taking taylor expansion of (/ y x) in y 0.135 * [taylor]: Taking taylor expansion of y in y 0.135 * [taylor]: Taking taylor expansion of x in y 0.135 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.135 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.135 * [taylor]: Taking taylor expansion of 0.5 in y 0.135 * [taylor]: Taking taylor expansion of (/ y x) in y 0.135 * [taylor]: Taking taylor expansion of y in y 0.135 * [taylor]: Taking taylor expansion of x in y 0.136 * [taylor]: Taking taylor expansion of 0 in y 0.136 * [taylor]: Taking taylor expansion of 0 in y 0.138 * [taylor]: Taking taylor expansion of 0 in y 0.139 * [taylor]: Taking taylor expansion of 0 in y 0.139 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 0.139 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.140 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.140 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.140 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.140 * [taylor]: Taking taylor expansion of 0.5 in y 0.140 * [taylor]: Taking taylor expansion of (/ y x) in y 0.140 * [taylor]: Taking taylor expansion of y in y 0.140 * [taylor]: Taking taylor expansion of x in y 0.140 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.140 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.140 * [taylor]: Taking taylor expansion of 0.5 in y 0.140 * [taylor]: Taking taylor expansion of (/ y x) in y 0.140 * [taylor]: Taking taylor expansion of y in y 0.140 * [taylor]: Taking taylor expansion of x in y 0.140 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.140 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.140 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.140 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.140 * [taylor]: Taking taylor expansion of 0.5 in x 0.140 * [taylor]: Taking taylor expansion of (/ y x) in x 0.140 * [taylor]: Taking taylor expansion of y in x 0.140 * [taylor]: Taking taylor expansion of x in x 0.140 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.140 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.140 * [taylor]: Taking taylor expansion of 0.5 in x 0.140 * [taylor]: Taking taylor expansion of (/ y x) in x 0.140 * [taylor]: Taking taylor expansion of y in x 0.140 * [taylor]: Taking taylor expansion of x in x 0.140 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.141 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.141 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.141 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.141 * [taylor]: Taking taylor expansion of 0.5 in x 0.141 * [taylor]: Taking taylor expansion of (/ y x) in x 0.141 * [taylor]: Taking taylor expansion of y in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.141 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.141 * [taylor]: Taking taylor expansion of 0.5 in x 0.141 * [taylor]: Taking taylor expansion of (/ y x) in x 0.141 * [taylor]: Taking taylor expansion of y in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 0.141 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.141 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.141 * [taylor]: Taking taylor expansion of 0.5 in y 0.141 * [taylor]: Taking taylor expansion of (/ y x) in y 0.141 * [taylor]: Taking taylor expansion of y in y 0.141 * [taylor]: Taking taylor expansion of x in y 0.141 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.141 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.141 * [taylor]: Taking taylor expansion of 0.5 in y 0.141 * [taylor]: Taking taylor expansion of (/ y x) in y 0.141 * [taylor]: Taking taylor expansion of y in y 0.141 * [taylor]: Taking taylor expansion of x in y 0.142 * [taylor]: Taking taylor expansion of 0 in y 0.142 * [taylor]: Taking taylor expansion of 0 in y 0.143 * [taylor]: Taking taylor expansion of 0 in y 0.145 * [taylor]: Taking taylor expansion of 0 in y 0.145 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.145 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0 0.145 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.145 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.145 * [taylor]: Taking taylor expansion of 0.5 in y 0.145 * [taylor]: Taking taylor expansion of (/ x y) in y 0.145 * [taylor]: Taking taylor expansion of x in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.145 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.145 * [taylor]: Taking taylor expansion of 0.5 in x 0.145 * [taylor]: Taking taylor expansion of (/ x y) in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.145 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.145 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.145 * [taylor]: Taking taylor expansion of 0.5 in x 0.145 * [taylor]: Taking taylor expansion of (/ x y) in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.145 * [taylor]: Taking taylor expansion of 0 in y 0.146 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.146 * [taylor]: Taking taylor expansion of 0.5 in y 0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [taylor]: Taking taylor expansion of 0 in y 0.146 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 0.146 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.146 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.146 * [taylor]: Taking taylor expansion of 0.5 in y 0.146 * [taylor]: Taking taylor expansion of (/ y x) in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [taylor]: Taking taylor expansion of x in y 0.146 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.146 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.146 * [taylor]: Taking taylor expansion of 0.5 in x 0.146 * [taylor]: Taking taylor expansion of (/ y x) in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.146 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.147 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.147 * [taylor]: Taking taylor expansion of 0.5 in x 0.147 * [taylor]: Taking taylor expansion of (/ y x) in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.147 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.147 * [taylor]: Taking taylor expansion of 0.5 in y 0.147 * [taylor]: Taking taylor expansion of (/ y x) in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.147 * [taylor]: Taking taylor expansion of x in y 0.147 * [taylor]: Taking taylor expansion of 0 in y 0.147 * [taylor]: Taking taylor expansion of 0 in y 0.147 * [taylor]: Taking taylor expansion of 0 in y 0.147 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 0.147 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.147 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.147 * [taylor]: Taking taylor expansion of 0.5 in y 0.148 * [taylor]: Taking taylor expansion of (/ y x) in y 0.148 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of x in y 0.148 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.148 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.148 * [taylor]: Taking taylor expansion of 0.5 in x 0.148 * [taylor]: Taking taylor expansion of (/ y x) in x 0.148 * [taylor]: Taking taylor expansion of y in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.148 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.148 * [taylor]: Taking taylor expansion of 0.5 in x 0.148 * [taylor]: Taking taylor expansion of (/ y x) in x 0.148 * [taylor]: Taking taylor expansion of y in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.148 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.148 * [taylor]: Taking taylor expansion of 0.5 in y 0.148 * [taylor]: Taking taylor expansion of (/ y x) in y 0.148 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of x in y 0.148 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [taylor]: Taking taylor expansion of 0 in y 0.149 * [taylor]: Taking taylor expansion of 0 in y 0.149 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.149 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in (x y) around 0 0.149 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in y 0.149 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 0.149 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.149 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.149 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.149 * [taylor]: Taking taylor expansion of 0.5 in y 0.149 * [taylor]: Taking taylor expansion of (/ x y) in y 0.149 * [taylor]: Taking taylor expansion of x in y 0.149 * [taylor]: Taking taylor expansion of y in y 0.149 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 0.149 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.149 * [taylor]: Taking taylor expansion of 0.5 in y 0.149 * [taylor]: Taking taylor expansion of (/ x y) in y 0.149 * [taylor]: Taking taylor expansion of x in y 0.149 * [taylor]: Taking taylor expansion of y in y 0.149 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 0.149 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 0.149 * [taylor]: Taking taylor expansion of 0.5 in y 0.149 * [taylor]: Taking taylor expansion of (/ x y) in y 0.149 * [taylor]: Taking taylor expansion of x in y 0.149 * [taylor]: Taking taylor expansion of y in y 0.150 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 0.150 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.150 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.150 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.150 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.150 * [taylor]: Taking taylor expansion of 0.5 in x 0.150 * [taylor]: Taking taylor expansion of (/ x y) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of y in x 0.150 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 0.150 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.150 * [taylor]: Taking taylor expansion of 0.5 in x 0.150 * [taylor]: Taking taylor expansion of (/ x y) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of y in x 0.150 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.150 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.150 * [taylor]: Taking taylor expansion of 0.5 in x 0.150 * [taylor]: Taking taylor expansion of (/ x y) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of y in x 0.151 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 0.151 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 0.151 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 0.151 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.151 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.151 * [taylor]: Taking taylor expansion of 0.5 in x 0.151 * [taylor]: Taking taylor expansion of (/ x y) in x 0.151 * [taylor]: Taking taylor expansion of x in x 0.151 * [taylor]: Taking taylor expansion of y in x 0.151 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 0.151 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.151 * [taylor]: Taking taylor expansion of 0.5 in x 0.151 * [taylor]: Taking taylor expansion of (/ x y) in x 0.151 * [taylor]: Taking taylor expansion of x in x 0.151 * [taylor]: Taking taylor expansion of y in x 0.151 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 0.151 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 0.151 * [taylor]: Taking taylor expansion of 0.5 in x 0.151 * [taylor]: Taking taylor expansion of (/ x y) in x 0.151 * [taylor]: Taking taylor expansion of x in x 0.151 * [taylor]: Taking taylor expansion of y in x 0.151 * [taylor]: Taking taylor expansion of 1.0 in y 0.152 * [taylor]: Taking taylor expansion of 0 in y 0.153 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 (pow y 2))) in y 0.153 * [taylor]: Taking taylor expansion of 0.125 in y 0.153 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.153 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.153 * [taylor]: Taking taylor expansion of y in y 0.155 * [taylor]: Taking taylor expansion of 0 in y 0.155 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 0.155 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 0.155 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.155 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.155 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.155 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.155 * [taylor]: Taking taylor expansion of 0.5 in y 0.155 * [taylor]: Taking taylor expansion of (/ y x) in y 0.155 * [taylor]: Taking taylor expansion of y in y 0.155 * [taylor]: Taking taylor expansion of x in y 0.155 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.155 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.155 * [taylor]: Taking taylor expansion of 0.5 in y 0.155 * [taylor]: Taking taylor expansion of (/ y x) in y 0.156 * [taylor]: Taking taylor expansion of y in y 0.156 * [taylor]: Taking taylor expansion of x in y 0.156 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 0.156 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.156 * [taylor]: Taking taylor expansion of 0.5 in y 0.156 * [taylor]: Taking taylor expansion of (/ y x) in y 0.156 * [taylor]: Taking taylor expansion of y in y 0.156 * [taylor]: Taking taylor expansion of x in y 0.156 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.156 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.156 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.156 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.156 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.156 * [taylor]: Taking taylor expansion of 0.5 in x 0.156 * [taylor]: Taking taylor expansion of (/ y x) in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.156 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.156 * [taylor]: Taking taylor expansion of 0.5 in x 0.156 * [taylor]: Taking taylor expansion of (/ y x) in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.157 * [taylor]: Taking taylor expansion of x in x 0.157 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.157 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.157 * [taylor]: Taking taylor expansion of 0.5 in x 0.157 * [taylor]: Taking taylor expansion of (/ y x) in x 0.157 * [taylor]: Taking taylor expansion of y in x 0.157 * [taylor]: Taking taylor expansion of x in x 0.157 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.157 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.157 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.157 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.157 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.157 * [taylor]: Taking taylor expansion of 0.5 in x 0.157 * [taylor]: Taking taylor expansion of (/ y x) in x 0.157 * [taylor]: Taking taylor expansion of y in x 0.157 * [taylor]: Taking taylor expansion of x in x 0.157 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.157 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.157 * [taylor]: Taking taylor expansion of 0.5 in x 0.157 * [taylor]: Taking taylor expansion of (/ y x) in x 0.157 * [taylor]: Taking taylor expansion of y in x 0.157 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.158 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.158 * [taylor]: Taking taylor expansion of 0.5 in x 0.158 * [taylor]: Taking taylor expansion of (/ y x) in x 0.158 * [taylor]: Taking taylor expansion of y in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 0.158 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.158 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.158 * [taylor]: Taking taylor expansion of 0.5 in y 0.158 * [taylor]: Taking taylor expansion of (/ y x) in y 0.158 * [taylor]: Taking taylor expansion of y in y 0.158 * [taylor]: Taking taylor expansion of x in y 0.159 * [taylor]: Taking taylor expansion of 0 in y 0.159 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.161 * [taylor]: Taking taylor expansion of 0 in y 0.162 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 0.162 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 0.162 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 0.162 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 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 (cos (* 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 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.163 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.163 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.163 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.163 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.163 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.163 * [taylor]: Taking taylor expansion of 0.5 in x 0.163 * [taylor]: Taking taylor expansion of (/ y x) in x 0.163 * [taylor]: Taking taylor expansion of y in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.163 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.163 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.163 * [taylor]: Taking taylor expansion of 0.5 in x 0.163 * [taylor]: Taking taylor expansion of (/ y x) in x 0.163 * [taylor]: Taking taylor expansion of y in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.163 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.163 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.163 * [taylor]: Taking taylor expansion of 0.5 in x 0.163 * [taylor]: Taking taylor expansion of (/ y x) in x 0.163 * [taylor]: Taking taylor expansion of y in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 0.164 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 0.164 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 0.164 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.164 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.164 * [taylor]: Taking taylor expansion of 0.5 in x 0.164 * [taylor]: Taking taylor expansion of (/ y x) in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 0.164 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.164 * [taylor]: Taking taylor expansion of 0.5 in x 0.164 * [taylor]: Taking taylor expansion of (/ y x) in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 0.164 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 0.164 * [taylor]: Taking taylor expansion of 0.5 in x 0.164 * [taylor]: Taking taylor expansion of (/ y x) in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 0.164 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 0.164 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 0.164 * [taylor]: Taking taylor expansion of 0.5 in y 0.164 * [taylor]: Taking taylor expansion of (/ y x) in y 0.164 * [taylor]: Taking taylor expansion of y in y 0.165 * [taylor]: Taking taylor expansion of x in y 0.165 * [taylor]: Taking taylor expansion of 0 in y 0.165 * [taylor]: Taking taylor expansion of 0 in y 0.166 * [taylor]: Taking taylor expansion of 0 in y 0.167 * [taylor]: Taking taylor expansion of 0 in y 0.168 * * * [progress]: simplifying candidates 0.169 * [simplify]: Simplifying using # : (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)))) (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)))) (- (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))))) (neg (tan (/ x (* y 2.0)))) (neg (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.169 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.170 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.171 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 0.172 * * [simplify]: iteration done : 11 enodes (cost 6 ) 0.173 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.173 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.174 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 0.175 * * [simplify]: iteration done : 11 enodes (cost 6 ) 0.176 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.177 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.178 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 0.179 * * [simplify]: iteration done : 12 enodes (cost 7 ) 0.180 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.180 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.181 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 0.183 * * [simplify]: iteration done : 12 enodes (cost 7 ) 0.183 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 0.184 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 0.185 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 0.190 * * [simplify]: iteration done : 13 enodes (cost 15 ) 0.190 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.191 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.192 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 0.193 * * [simplify]: iteration done : 12 enodes (cost 7 ) 0.194 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 0.195 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 0.196 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 0.198 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 0.201 * * [simplify]: iteration 4 : 27 enodes (cost 8 ) 0.203 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 0.207 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 0.218 * * [simplify]: iteration 7 : 114 enodes (cost 8 ) 0.267 * * [simplify]: iteration 8 : 325 enodes (cost 8 ) 0.738 * * [simplify]: iteration 9 : 1243 enodes (cost 8 ) 3.099 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 3.100 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 3.101 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 3.102 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 3.103 * * [simplify]: iteration done : 12 enodes (cost 7 ) 3.104 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 3.104 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 3.105 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 3.107 * * [simplify]: iteration done : 12 enodes (cost 7 ) 3.107 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 3.111 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 3.112 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 3.114 * * [simplify]: iteration done : 12 enodes (cost 7 ) 3.115 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 3.115 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 3.117 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 3.118 * * [simplify]: iteration done : 12 enodes (cost 7 ) 3.118 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 3.119 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 3.121 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 3.122 * * [simplify]: iteration done : 13 enodes (cost 15 ) 3.123 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 3.123 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 3.124 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 3.125 * * [simplify]: iteration done : 12 enodes (cost 7 ) 3.126 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 3.127 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 3.128 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 3.130 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 3.133 * * [simplify]: iteration 4 : 27 enodes (cost 8 ) 3.136 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 3.140 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 3.150 * * [simplify]: iteration 7 : 114 enodes (cost 8 ) 3.200 * * [simplify]: iteration 8 : 325 enodes (cost 8 ) 3.654 * * [simplify]: iteration 9 : 1243 enodes (cost 8 ) 6.032 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 6.033 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 6.034 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 6.035 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 6.036 * * [simplify]: iteration done : 12 enodes (cost 7 ) 6.037 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 6.037 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 6.038 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 6.040 * * [simplify]: iteration done : 12 enodes (cost 7 ) 6.040 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 6.041 * * [simplify]: iteration 1 : 15 enodes (cost 15 ) 6.043 * * [simplify]: iteration 2 : 18 enodes (cost 15 ) 6.045 * * [simplify]: iteration done : 18 enodes (cost 15 ) 6.045 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 6.046 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 6.048 * * [simplify]: iteration 2 : 19 enodes (cost 14 ) 6.050 * * [simplify]: iteration 3 : 20 enodes (cost 14 ) 6.052 * * [simplify]: iteration done : 20 enodes (cost 14 ) 6.053 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 6.054 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 6.055 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 6.057 * * [simplify]: iteration done : 14 enodes (cost 14 ) 6.057 * * [simplify]: iteration 0 : 12 enodes (cost 41 ) 6.059 * * [simplify]: iteration 1 : 24 enodes (cost 41 ) 6.062 * * [simplify]: iteration 2 : 58 enodes (cost 17 ) 6.073 * * [simplify]: iteration 3 : 125 enodes (cost 15 ) 6.104 * * [simplify]: iteration 4 : 202 enodes (cost 15 ) 6.160 * * [simplify]: iteration 5 : 319 enodes (cost 15 ) 6.286 * * [simplify]: iteration 6 : 778 enodes (cost 15 ) 7.260 * * [simplify]: iteration 7 : 3363 enodes (cost 15 ) 8.986 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 8.987 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 8.988 * * [simplify]: iteration 1 : 13 enodes (cost 29 ) 8.989 * * [simplify]: iteration 2 : 15 enodes (cost 29 ) 8.991 * * [simplify]: iteration done : 15 enodes (cost 29 ) 8.996 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 8.997 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 8.998 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 9.000 * * [simplify]: iteration done : 14 enodes (cost 14 ) 9.000 * * [simplify]: iteration 0 : 10 enodes (cost 41 ) 9.002 * * [simplify]: iteration 1 : 20 enodes (cost 41 ) 9.004 * * [simplify]: iteration 2 : 38 enodes (cost 15 ) 9.010 * * [simplify]: iteration 3 : 76 enodes (cost 15 ) 9.025 * * [simplify]: iteration 4 : 143 enodes (cost 15 ) 9.058 * * [simplify]: iteration 5 : 207 enodes (cost 15 ) 9.111 * * [simplify]: iteration 6 : 335 enodes (cost 15 ) 9.247 * * [simplify]: iteration 7 : 834 enodes (cost 15 ) 10.276 * * [simplify]: iteration 8 : 3593 enodes (cost 15 ) 11.506 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 11.507 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 11.508 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 11.509 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 11.511 * * [simplify]: iteration done : 14 enodes (cost 14 ) 11.512 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 11.513 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 11.514 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 11.516 * * [simplify]: iteration done : 14 enodes (cost 14 ) 11.516 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 11.517 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 11.518 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 11.519 * * [simplify]: iteration done : 12 enodes (cost 7 ) 11.520 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 11.521 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 11.522 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 11.526 * * [simplify]: iteration done : 12 enodes (cost 7 ) 11.527 * * [simplify]: iteration 0 : 12 enodes (cost 31 ) 11.529 * * [simplify]: iteration 1 : 21 enodes (cost 31 ) 11.532 * * [simplify]: iteration 2 : 32 enodes (cost 31 ) 11.536 * * [simplify]: iteration 3 : 38 enodes (cost 31 ) 11.540 * * [simplify]: iteration done : 38 enodes (cost 31 ) 11.541 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 11.542 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 11.543 * * [simplify]: iteration 2 : 15 enodes (cost 15 ) 11.544 * * [simplify]: iteration done : 15 enodes (cost 15 ) 11.545 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 11.547 * * [simplify]: iteration 1 : 16 enodes (cost 23 ) 11.548 * * [simplify]: iteration 2 : 20 enodes (cost 23 ) 11.550 * * [simplify]: iteration 3 : 21 enodes (cost 23 ) 11.553 * * [simplify]: iteration done : 21 enodes (cost 23 ) 11.553 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 11.554 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 11.556 * * [simplify]: iteration 2 : 15 enodes (cost 15 ) 11.557 * * [simplify]: iteration done : 15 enodes (cost 15 ) 11.558 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 11.559 * * [simplify]: iteration 1 : 17 enodes (cost 15 ) 11.561 * * [simplify]: iteration 2 : 25 enodes (cost 15 ) 11.563 * * [simplify]: iteration 3 : 30 enodes (cost 15 ) 11.566 * * [simplify]: iteration done : 30 enodes (cost 15 ) 11.566 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 11.567 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 11.568 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 11.570 * * [simplify]: iteration done : 14 enodes (cost 14 ) 11.570 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 11.572 * * [simplify]: iteration 1 : 16 enodes (cost 23 ) 11.574 * * [simplify]: iteration 2 : 18 enodes (cost 23 ) 11.576 * * [simplify]: iteration done : 18 enodes (cost 23 ) 11.576 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 11.577 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 11.579 * * [simplify]: iteration 2 : 15 enodes (cost 15 ) 11.581 * * [simplify]: iteration done : 15 enodes (cost 15 ) 11.582 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 11.583 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 11.584 * * [simplify]: iteration 2 : 15 enodes (cost 15 ) 11.586 * * [simplify]: iteration done : 15 enodes (cost 15 ) 11.586 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 11.587 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 11.590 * * [simplify]: iteration 2 : 15 enodes (cost 15 ) 11.592 * * [simplify]: iteration done : 15 enodes (cost 15 ) 11.592 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 11.593 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 11.595 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 11.596 * * [simplify]: iteration done : 18 enodes (cost 7 ) 11.597 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 11.598 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 11.599 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 11.600 * * [simplify]: iteration done : 14 enodes (cost 14 ) 11.601 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 11.602 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 11.604 * * [simplify]: iteration 2 : 19 enodes (cost 17 ) 11.606 * * [simplify]: iteration done : 19 enodes (cost 17 ) 11.606 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 11.607 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 11.608 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 11.610 * * [simplify]: iteration done : 14 enodes (cost 14 ) 11.611 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 11.612 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 11.613 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 11.614 * * [simplify]: iteration done : 16 enodes (cost 9 ) 11.615 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 11.616 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 11.617 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 11.619 * * [simplify]: iteration done : 14 enodes (cost 14 ) 11.619 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 11.619 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 11.620 * * [simplify]: iteration done : 4 enodes (cost 1 ) 11.620 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 11.621 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 11.622 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 11.624 * * [simplify]: iteration done : 13 enodes (cost 13 ) 11.624 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 11.625 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 11.626 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 11.628 * * [simplify]: iteration done : 15 enodes (cost 8 ) 11.628 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 11.629 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 11.630 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 11.632 * * [simplify]: iteration done : 13 enodes (cost 13 ) 11.633 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 11.634 * * [simplify]: iteration 1 : 15 enodes (cost 22 ) 11.636 * * [simplify]: iteration 2 : 17 enodes (cost 22 ) 11.638 * * [simplify]: iteration done : 17 enodes (cost 22 ) 11.639 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 11.640 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 11.641 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 11.643 * * [simplify]: iteration done : 14 enodes (cost 14 ) 11.644 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 11.644 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 11.646 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 11.647 * * [simplify]: iteration done : 17 enodes (cost 6 ) 11.648 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 11.649 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 11.650 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 11.651 * * [simplify]: iteration done : 14 enodes (cost 14 ) 11.652 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 11.653 * * [simplify]: iteration 1 : 12 enodes (cost 14 ) 11.656 * * [simplify]: iteration 2 : 14 enodes (cost 14 ) 11.658 * * [simplify]: iteration done : 14 enodes (cost 14 ) 11.659 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 11.660 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 11.661 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 11.662 * * [simplify]: iteration done : 13 enodes (cost 13 ) 11.663 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 11.664 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 11.665 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 11.667 * * [simplify]: iteration done : 14 enodes (cost 13 ) 11.668 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 11.668 * * [simplify]: iteration done : 1 enodes (cost 1 ) 11.668 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 11.670 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 11.675 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 11.699 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 11.979 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 13.836 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 13.837 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 13.838 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 13.844 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 13.871 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 14.143 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 16.010 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 16.011 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 16.016 * * [simplify]: iteration done : 1 enodes (cost 1 ) 16.016 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.017 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 16.018 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 16.019 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 16.021 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 16.023 * * [simplify]: iteration done : 16 enodes (cost 5 ) 16.023 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.024 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 16.025 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 16.026 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 16.028 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 16.029 * * [simplify]: iteration done : 16 enodes (cost 5 ) 16.030 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 16.030 * * [simplify]: iteration done : 1 enodes (cost 1 ) 16.031 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 16.032 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 16.035 * * [simplify]: iteration 2 : 63 enodes (cost 11 ) 16.047 * * [simplify]: iteration 3 : 220 enodes (cost 11 ) 16.236 * * [simplify]: iteration 4 : 937 enodes (cost 11 ) 17.285 * * [simplify]: iteration 5 : 4240 enodes (cost 11 ) 18.623 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 18.624 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 18.625 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 18.628 * * [simplify]: iteration 2 : 63 enodes (cost 11 ) 18.640 * * [simplify]: iteration 3 : 220 enodes (cost 11 ) 18.828 * * [simplify]: iteration 4 : 937 enodes (cost 11 ) 19.877 * * [simplify]: iteration 5 : 4240 enodes (cost 11 ) 21.228 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 21.228 * [simplify]: Simplified to: (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)))) (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)))) (- (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))))) (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))))) (neg (tan (/ x (* y 2.0)))) (neg (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 (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 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) 21.234 * * * [progress]: adding candidates to table 21.386 * * [progress]: iteration 2 / 4 21.386 * * * [progress]: picking best candidate 21.446 * * * * [pick]: Picked # 21.446 * * * [progress]: localizing error 21.447 * * * [progress]: generating rewritten candidates 21.447 * * * [progress]: generating series expansions 21.447 * * * [progress]: simplifying candidates 21.447 * [simplify]: Simplifying using # : 21.447 * [simplify]: Simplified to: 21.447 * * * [progress]: adding candidates to table 21.447 * * [progress]: iteration 3 / 4 21.447 * * * [progress]: picking best candidate 21.508 * * * * [pick]: Picked # 21.509 * * * [progress]: localizing error 21.528 * * * [progress]: generating rewritten candidates 21.528 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 21.530 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 21.533 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 21.538 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 21.541 * * * [progress]: generating series expansions 21.541 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 21.541 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 21.541 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 21.542 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 21.542 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 21.542 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 21.542 * [taylor]: Taking taylor expansion of 0.5 in y 21.542 * [taylor]: Taking taylor expansion of (/ x y) in y 21.542 * [taylor]: Taking taylor expansion of x in y 21.542 * [taylor]: Taking taylor expansion of y in y 21.542 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 21.542 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 21.542 * [taylor]: Taking taylor expansion of 0.5 in y 21.542 * [taylor]: Taking taylor expansion of (/ x y) in y 21.542 * [taylor]: Taking taylor expansion of x in y 21.542 * [taylor]: Taking taylor expansion of y in y 21.542 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 21.543 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 21.543 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 21.543 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.543 * [taylor]: Taking taylor expansion of 0.5 in x 21.543 * [taylor]: Taking taylor expansion of (/ x y) in x 21.543 * [taylor]: Taking taylor expansion of x in x 21.543 * [taylor]: Taking taylor expansion of y in x 21.543 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 21.543 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.543 * [taylor]: Taking taylor expansion of 0.5 in x 21.543 * [taylor]: Taking taylor expansion of (/ x y) in x 21.543 * [taylor]: Taking taylor expansion of x in x 21.543 * [taylor]: Taking taylor expansion of y in x 21.543 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 21.543 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 21.543 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 21.543 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.543 * [taylor]: Taking taylor expansion of 0.5 in x 21.543 * [taylor]: Taking taylor expansion of (/ x y) in x 21.543 * [taylor]: Taking taylor expansion of x in x 21.543 * [taylor]: Taking taylor expansion of y in x 21.543 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 21.543 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.543 * [taylor]: Taking taylor expansion of 0.5 in x 21.543 * [taylor]: Taking taylor expansion of (/ x y) in x 21.543 * [taylor]: Taking taylor expansion of x in x 21.543 * [taylor]: Taking taylor expansion of y in x 21.544 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 21.544 * [taylor]: Taking taylor expansion of 0.5 in y 21.544 * [taylor]: Taking taylor expansion of y in y 21.544 * [taylor]: Taking taylor expansion of 0 in y 21.545 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 21.545 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 21.545 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 21.545 * [taylor]: Taking taylor expansion of (pow y 3) in y 21.545 * [taylor]: Taking taylor expansion of y in y 21.545 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 21.545 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 21.545 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.546 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.546 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.546 * [taylor]: Taking taylor expansion of 0.5 in y 21.546 * [taylor]: Taking taylor expansion of (/ y x) in y 21.546 * [taylor]: Taking taylor expansion of y in y 21.546 * [taylor]: Taking taylor expansion of x in y 21.546 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.546 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.546 * [taylor]: Taking taylor expansion of 0.5 in y 21.546 * [taylor]: Taking taylor expansion of (/ y x) in y 21.546 * [taylor]: Taking taylor expansion of y in y 21.546 * [taylor]: Taking taylor expansion of x in y 21.546 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.546 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.546 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.546 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.546 * [taylor]: Taking taylor expansion of 0.5 in x 21.546 * [taylor]: Taking taylor expansion of (/ y x) in x 21.546 * [taylor]: Taking taylor expansion of y in x 21.546 * [taylor]: Taking taylor expansion of x in x 21.547 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.547 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.547 * [taylor]: Taking taylor expansion of 0.5 in x 21.547 * [taylor]: Taking taylor expansion of (/ y x) in x 21.547 * [taylor]: Taking taylor expansion of y in x 21.547 * [taylor]: Taking taylor expansion of x in x 21.547 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.547 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.547 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.547 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.547 * [taylor]: Taking taylor expansion of 0.5 in x 21.547 * [taylor]: Taking taylor expansion of (/ y x) in x 21.547 * [taylor]: Taking taylor expansion of y in x 21.547 * [taylor]: Taking taylor expansion of x in x 21.547 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.547 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.547 * [taylor]: Taking taylor expansion of 0.5 in x 21.547 * [taylor]: Taking taylor expansion of (/ y x) in x 21.547 * [taylor]: Taking taylor expansion of y in x 21.547 * [taylor]: Taking taylor expansion of x in x 21.547 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 21.547 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.547 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.547 * [taylor]: Taking taylor expansion of 0.5 in y 21.547 * [taylor]: Taking taylor expansion of (/ y x) in y 21.547 * [taylor]: Taking taylor expansion of y in y 21.547 * [taylor]: Taking taylor expansion of x in y 21.548 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.548 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.548 * [taylor]: Taking taylor expansion of 0.5 in y 21.548 * [taylor]: Taking taylor expansion of (/ y x) in y 21.548 * [taylor]: Taking taylor expansion of y in y 21.548 * [taylor]: Taking taylor expansion of x in y 21.548 * [taylor]: Taking taylor expansion of 0 in y 21.549 * [taylor]: Taking taylor expansion of 0 in y 21.550 * [taylor]: Taking taylor expansion of 0 in y 21.551 * [taylor]: Taking taylor expansion of 0 in y 21.551 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 21.551 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 21.551 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.551 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.551 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.552 * [taylor]: Taking taylor expansion of 0.5 in y 21.552 * [taylor]: Taking taylor expansion of (/ y x) in y 21.552 * [taylor]: Taking taylor expansion of y in y 21.552 * [taylor]: Taking taylor expansion of x in y 21.552 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.552 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.552 * [taylor]: Taking taylor expansion of 0.5 in y 21.552 * [taylor]: Taking taylor expansion of (/ y x) in y 21.552 * [taylor]: Taking taylor expansion of y in y 21.552 * [taylor]: Taking taylor expansion of x in y 21.552 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.552 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.552 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.552 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.552 * [taylor]: Taking taylor expansion of 0.5 in x 21.552 * [taylor]: Taking taylor expansion of (/ y x) in x 21.552 * [taylor]: Taking taylor expansion of y in x 21.552 * [taylor]: Taking taylor expansion of x in x 21.552 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.552 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.552 * [taylor]: Taking taylor expansion of 0.5 in x 21.552 * [taylor]: Taking taylor expansion of (/ y x) in x 21.552 * [taylor]: Taking taylor expansion of y in x 21.552 * [taylor]: Taking taylor expansion of x in x 21.553 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.553 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.553 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.553 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.553 * [taylor]: Taking taylor expansion of 0.5 in x 21.553 * [taylor]: Taking taylor expansion of (/ y x) in x 21.553 * [taylor]: Taking taylor expansion of y in x 21.553 * [taylor]: Taking taylor expansion of x in x 21.553 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.553 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.553 * [taylor]: Taking taylor expansion of 0.5 in x 21.553 * [taylor]: Taking taylor expansion of (/ y x) in x 21.553 * [taylor]: Taking taylor expansion of y in x 21.553 * [taylor]: Taking taylor expansion of x in x 21.553 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 21.553 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.553 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.553 * [taylor]: Taking taylor expansion of 0.5 in y 21.553 * [taylor]: Taking taylor expansion of (/ y x) in y 21.553 * [taylor]: Taking taylor expansion of y in y 21.553 * [taylor]: Taking taylor expansion of x in y 21.553 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.553 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.553 * [taylor]: Taking taylor expansion of 0.5 in y 21.553 * [taylor]: Taking taylor expansion of (/ y x) in y 21.553 * [taylor]: Taking taylor expansion of y in y 21.553 * [taylor]: Taking taylor expansion of x in y 21.554 * [taylor]: Taking taylor expansion of 0 in y 21.555 * [taylor]: Taking taylor expansion of 0 in y 21.556 * [taylor]: Taking taylor expansion of 0 in y 21.557 * [taylor]: Taking taylor expansion of 0 in y 21.557 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 21.557 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 21.557 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 21.557 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 21.557 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 21.557 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 21.558 * [taylor]: Taking taylor expansion of 0.5 in y 21.558 * [taylor]: Taking taylor expansion of (/ x y) in y 21.558 * [taylor]: Taking taylor expansion of x in y 21.558 * [taylor]: Taking taylor expansion of y in y 21.558 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 21.558 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 21.558 * [taylor]: Taking taylor expansion of 0.5 in y 21.558 * [taylor]: Taking taylor expansion of (/ x y) in y 21.558 * [taylor]: Taking taylor expansion of x in y 21.558 * [taylor]: Taking taylor expansion of y in y 21.558 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 21.558 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 21.558 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 21.558 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.558 * [taylor]: Taking taylor expansion of 0.5 in x 21.558 * [taylor]: Taking taylor expansion of (/ x y) in x 21.558 * [taylor]: Taking taylor expansion of x in x 21.558 * [taylor]: Taking taylor expansion of y in x 21.558 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 21.558 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.558 * [taylor]: Taking taylor expansion of 0.5 in x 21.558 * [taylor]: Taking taylor expansion of (/ x y) in x 21.558 * [taylor]: Taking taylor expansion of x in x 21.558 * [taylor]: Taking taylor expansion of y in x 21.558 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 21.559 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 21.559 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 21.559 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.559 * [taylor]: Taking taylor expansion of 0.5 in x 21.559 * [taylor]: Taking taylor expansion of (/ x y) in x 21.559 * [taylor]: Taking taylor expansion of x in x 21.559 * [taylor]: Taking taylor expansion of y in x 21.559 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 21.559 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.559 * [taylor]: Taking taylor expansion of 0.5 in x 21.559 * [taylor]: Taking taylor expansion of (/ x y) in x 21.559 * [taylor]: Taking taylor expansion of x in x 21.559 * [taylor]: Taking taylor expansion of y in x 21.559 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 21.559 * [taylor]: Taking taylor expansion of 0.5 in y 21.559 * [taylor]: Taking taylor expansion of y in y 21.559 * [taylor]: Taking taylor expansion of 0 in y 21.560 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 21.560 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 21.560 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 21.560 * [taylor]: Taking taylor expansion of (pow y 3) in y 21.560 * [taylor]: Taking taylor expansion of y in y 21.561 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 21.561 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 21.561 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.561 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.561 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.561 * [taylor]: Taking taylor expansion of 0.5 in y 21.561 * [taylor]: Taking taylor expansion of (/ y x) in y 21.561 * [taylor]: Taking taylor expansion of y in y 21.561 * [taylor]: Taking taylor expansion of x in y 21.561 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.561 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.561 * [taylor]: Taking taylor expansion of 0.5 in y 21.561 * [taylor]: Taking taylor expansion of (/ y x) in y 21.561 * [taylor]: Taking taylor expansion of y in y 21.561 * [taylor]: Taking taylor expansion of x in y 21.561 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.561 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.561 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.561 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.561 * [taylor]: Taking taylor expansion of 0.5 in x 21.561 * [taylor]: Taking taylor expansion of (/ y x) in x 21.561 * [taylor]: Taking taylor expansion of y in x 21.562 * [taylor]: Taking taylor expansion of x in x 21.562 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.562 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.562 * [taylor]: Taking taylor expansion of 0.5 in x 21.562 * [taylor]: Taking taylor expansion of (/ y x) in x 21.562 * [taylor]: Taking taylor expansion of y in x 21.562 * [taylor]: Taking taylor expansion of x in x 21.562 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.562 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.562 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.562 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.562 * [taylor]: Taking taylor expansion of 0.5 in x 21.562 * [taylor]: Taking taylor expansion of (/ y x) in x 21.562 * [taylor]: Taking taylor expansion of y in x 21.562 * [taylor]: Taking taylor expansion of x in x 21.562 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.562 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.562 * [taylor]: Taking taylor expansion of 0.5 in x 21.562 * [taylor]: Taking taylor expansion of (/ y x) in x 21.562 * [taylor]: Taking taylor expansion of y in x 21.562 * [taylor]: Taking taylor expansion of x in x 21.562 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 21.562 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.562 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.562 * [taylor]: Taking taylor expansion of 0.5 in y 21.563 * [taylor]: Taking taylor expansion of (/ y x) in y 21.563 * [taylor]: Taking taylor expansion of y in y 21.563 * [taylor]: Taking taylor expansion of x in y 21.563 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.563 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.563 * [taylor]: Taking taylor expansion of 0.5 in y 21.563 * [taylor]: Taking taylor expansion of (/ y x) in y 21.563 * [taylor]: Taking taylor expansion of y in y 21.563 * [taylor]: Taking taylor expansion of x in y 21.563 * [taylor]: Taking taylor expansion of 0 in y 21.564 * [taylor]: Taking taylor expansion of 0 in y 21.565 * [taylor]: Taking taylor expansion of 0 in y 21.566 * [taylor]: Taking taylor expansion of 0 in y 21.566 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 21.566 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 21.566 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.567 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.567 * [taylor]: Taking taylor expansion of 0.5 in y 21.567 * [taylor]: Taking taylor expansion of (/ y x) in y 21.567 * [taylor]: Taking taylor expansion of y in y 21.567 * [taylor]: Taking taylor expansion of x in y 21.567 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.567 * [taylor]: Taking taylor expansion of 0.5 in y 21.567 * [taylor]: Taking taylor expansion of (/ y x) in y 21.567 * [taylor]: Taking taylor expansion of y in y 21.567 * [taylor]: Taking taylor expansion of x in y 21.567 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.567 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.567 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.567 * [taylor]: Taking taylor expansion of 0.5 in x 21.567 * [taylor]: Taking taylor expansion of (/ y x) in x 21.567 * [taylor]: Taking taylor expansion of y in x 21.567 * [taylor]: Taking taylor expansion of x in x 21.567 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.567 * [taylor]: Taking taylor expansion of 0.5 in x 21.567 * [taylor]: Taking taylor expansion of (/ y x) in x 21.567 * [taylor]: Taking taylor expansion of y in x 21.567 * [taylor]: Taking taylor expansion of x in x 21.568 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.568 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.568 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.568 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.568 * [taylor]: Taking taylor expansion of 0.5 in x 21.568 * [taylor]: Taking taylor expansion of (/ y x) in x 21.568 * [taylor]: Taking taylor expansion of y in x 21.568 * [taylor]: Taking taylor expansion of x in x 21.568 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.568 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.568 * [taylor]: Taking taylor expansion of 0.5 in x 21.568 * [taylor]: Taking taylor expansion of (/ y x) in x 21.568 * [taylor]: Taking taylor expansion of y in x 21.568 * [taylor]: Taking taylor expansion of x in x 21.568 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 21.568 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.568 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.568 * [taylor]: Taking taylor expansion of 0.5 in y 21.568 * [taylor]: Taking taylor expansion of (/ y x) in y 21.568 * [taylor]: Taking taylor expansion of y in y 21.568 * [taylor]: Taking taylor expansion of x in y 21.568 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.568 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.568 * [taylor]: Taking taylor expansion of 0.5 in y 21.568 * [taylor]: Taking taylor expansion of (/ y x) in y 21.568 * [taylor]: Taking taylor expansion of y in y 21.568 * [taylor]: Taking taylor expansion of x in y 21.569 * [taylor]: Taking taylor expansion of 0 in y 21.570 * [taylor]: Taking taylor expansion of 0 in y 21.571 * [taylor]: Taking taylor expansion of 0 in y 21.572 * [taylor]: Taking taylor expansion of 0 in y 21.573 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 21.573 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 21.573 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 21.573 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 21.573 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 21.573 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 21.573 * [taylor]: Taking taylor expansion of 0.5 in y 21.573 * [taylor]: Taking taylor expansion of (/ x y) in y 21.573 * [taylor]: Taking taylor expansion of x in y 21.573 * [taylor]: Taking taylor expansion of y in y 21.573 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 21.573 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 21.573 * [taylor]: Taking taylor expansion of 0.5 in y 21.573 * [taylor]: Taking taylor expansion of (/ x y) in y 21.573 * [taylor]: Taking taylor expansion of x in y 21.573 * [taylor]: Taking taylor expansion of y in y 21.573 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 21.573 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 21.573 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 21.573 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.573 * [taylor]: Taking taylor expansion of 0.5 in x 21.573 * [taylor]: Taking taylor expansion of (/ x y) in x 21.573 * [taylor]: Taking taylor expansion of x in x 21.573 * [taylor]: Taking taylor expansion of y in x 21.574 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 21.574 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.574 * [taylor]: Taking taylor expansion of 0.5 in x 21.574 * [taylor]: Taking taylor expansion of (/ x y) in x 21.574 * [taylor]: Taking taylor expansion of x in x 21.574 * [taylor]: Taking taylor expansion of y in x 21.574 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 21.574 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 21.574 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 21.574 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.574 * [taylor]: Taking taylor expansion of 0.5 in x 21.574 * [taylor]: Taking taylor expansion of (/ x y) in x 21.574 * [taylor]: Taking taylor expansion of x in x 21.574 * [taylor]: Taking taylor expansion of y in x 21.574 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 21.574 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.574 * [taylor]: Taking taylor expansion of 0.5 in x 21.574 * [taylor]: Taking taylor expansion of (/ x y) in x 21.574 * [taylor]: Taking taylor expansion of x in x 21.574 * [taylor]: Taking taylor expansion of y in x 21.574 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 21.574 * [taylor]: Taking taylor expansion of 0.5 in y 21.574 * [taylor]: Taking taylor expansion of y in y 21.575 * [taylor]: Taking taylor expansion of 0 in y 21.576 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 21.576 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 21.576 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 21.576 * [taylor]: Taking taylor expansion of (pow y 3) in y 21.576 * [taylor]: Taking taylor expansion of y in y 21.576 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 21.576 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 21.576 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.576 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.576 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.576 * [taylor]: Taking taylor expansion of 0.5 in y 21.576 * [taylor]: Taking taylor expansion of (/ y x) in y 21.576 * [taylor]: Taking taylor expansion of y in y 21.576 * [taylor]: Taking taylor expansion of x in y 21.576 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.576 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.577 * [taylor]: Taking taylor expansion of 0.5 in y 21.577 * [taylor]: Taking taylor expansion of (/ y x) in y 21.577 * [taylor]: Taking taylor expansion of y in y 21.577 * [taylor]: Taking taylor expansion of x in y 21.577 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.577 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.577 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.577 * [taylor]: Taking taylor expansion of 0.5 in x 21.577 * [taylor]: Taking taylor expansion of (/ y x) in x 21.577 * [taylor]: Taking taylor expansion of y in x 21.577 * [taylor]: Taking taylor expansion of x in x 21.577 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.577 * [taylor]: Taking taylor expansion of 0.5 in x 21.577 * [taylor]: Taking taylor expansion of (/ y x) in x 21.577 * [taylor]: Taking taylor expansion of y in x 21.577 * [taylor]: Taking taylor expansion of x in x 21.577 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.577 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.577 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.577 * [taylor]: Taking taylor expansion of 0.5 in x 21.577 * [taylor]: Taking taylor expansion of (/ y x) in x 21.577 * [taylor]: Taking taylor expansion of y in x 21.577 * [taylor]: Taking taylor expansion of x in x 21.578 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.578 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.578 * [taylor]: Taking taylor expansion of 0.5 in x 21.578 * [taylor]: Taking taylor expansion of (/ y x) in x 21.578 * [taylor]: Taking taylor expansion of y in x 21.578 * [taylor]: Taking taylor expansion of x in x 21.578 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 21.578 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.578 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.578 * [taylor]: Taking taylor expansion of 0.5 in y 21.578 * [taylor]: Taking taylor expansion of (/ y x) in y 21.578 * [taylor]: Taking taylor expansion of y in y 21.578 * [taylor]: Taking taylor expansion of x in y 21.578 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.578 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.578 * [taylor]: Taking taylor expansion of 0.5 in y 21.578 * [taylor]: Taking taylor expansion of (/ y x) in y 21.578 * [taylor]: Taking taylor expansion of y in y 21.578 * [taylor]: Taking taylor expansion of x in y 21.579 * [taylor]: Taking taylor expansion of 0 in y 21.579 * [taylor]: Taking taylor expansion of 0 in y 21.580 * [taylor]: Taking taylor expansion of 0 in y 21.581 * [taylor]: Taking taylor expansion of 0 in y 21.582 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 21.582 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 21.582 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.582 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.582 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.582 * [taylor]: Taking taylor expansion of 0.5 in y 21.582 * [taylor]: Taking taylor expansion of (/ y x) in y 21.582 * [taylor]: Taking taylor expansion of y in y 21.582 * [taylor]: Taking taylor expansion of x in y 21.582 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.582 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.582 * [taylor]: Taking taylor expansion of 0.5 in y 21.582 * [taylor]: Taking taylor expansion of (/ y x) in y 21.582 * [taylor]: Taking taylor expansion of y in y 21.582 * [taylor]: Taking taylor expansion of x in y 21.582 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.582 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.582 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.582 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.582 * [taylor]: Taking taylor expansion of 0.5 in x 21.582 * [taylor]: Taking taylor expansion of (/ y x) in x 21.582 * [taylor]: Taking taylor expansion of y in x 21.582 * [taylor]: Taking taylor expansion of x in x 21.583 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.583 * [taylor]: Taking taylor expansion of 0.5 in x 21.583 * [taylor]: Taking taylor expansion of (/ y x) in x 21.583 * [taylor]: Taking taylor expansion of y in x 21.583 * [taylor]: Taking taylor expansion of x in x 21.583 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 21.583 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 21.583 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.583 * [taylor]: Taking taylor expansion of 0.5 in x 21.583 * [taylor]: Taking taylor expansion of (/ y x) in x 21.583 * [taylor]: Taking taylor expansion of y in x 21.583 * [taylor]: Taking taylor expansion of x in x 21.583 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 21.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.583 * [taylor]: Taking taylor expansion of 0.5 in x 21.583 * [taylor]: Taking taylor expansion of (/ y x) in x 21.583 * [taylor]: Taking taylor expansion of y in x 21.583 * [taylor]: Taking taylor expansion of x in x 21.583 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 21.583 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.583 * [taylor]: Taking taylor expansion of 0.5 in y 21.583 * [taylor]: Taking taylor expansion of (/ y x) in y 21.583 * [taylor]: Taking taylor expansion of y in y 21.583 * [taylor]: Taking taylor expansion of x in y 21.584 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 21.584 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.584 * [taylor]: Taking taylor expansion of 0.5 in y 21.584 * [taylor]: Taking taylor expansion of (/ y x) in y 21.584 * [taylor]: Taking taylor expansion of y in y 21.584 * [taylor]: Taking taylor expansion of x in y 21.584 * [taylor]: Taking taylor expansion of 0 in y 21.585 * [taylor]: Taking taylor expansion of 0 in y 21.586 * [taylor]: Taking taylor expansion of 0 in y 21.587 * [taylor]: Taking taylor expansion of 0 in y 21.587 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 21.587 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0 21.587 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 21.587 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 21.587 * [taylor]: Taking taylor expansion of 0.5 in y 21.587 * [taylor]: Taking taylor expansion of (/ x y) in y 21.587 * [taylor]: Taking taylor expansion of x in y 21.587 * [taylor]: Taking taylor expansion of y in y 21.588 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 21.588 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.588 * [taylor]: Taking taylor expansion of 0.5 in x 21.588 * [taylor]: Taking taylor expansion of (/ x y) in x 21.588 * [taylor]: Taking taylor expansion of x in x 21.588 * [taylor]: Taking taylor expansion of y in x 21.588 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 21.588 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 21.588 * [taylor]: Taking taylor expansion of 0.5 in x 21.588 * [taylor]: Taking taylor expansion of (/ x y) in x 21.588 * [taylor]: Taking taylor expansion of x in x 21.588 * [taylor]: Taking taylor expansion of y in x 21.588 * [taylor]: Taking taylor expansion of 0 in y 21.588 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 21.588 * [taylor]: Taking taylor expansion of 0.5 in y 21.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y 21.588 * [taylor]: Taking taylor expansion of y in y 21.588 * [taylor]: Taking taylor expansion of 0 in y 21.588 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 21.589 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.589 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.589 * [taylor]: Taking taylor expansion of 0.5 in y 21.589 * [taylor]: Taking taylor expansion of (/ y x) in y 21.589 * [taylor]: Taking taylor expansion of y in y 21.589 * [taylor]: Taking taylor expansion of x in y 21.589 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.589 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.589 * [taylor]: Taking taylor expansion of 0.5 in x 21.589 * [taylor]: Taking taylor expansion of (/ y x) in x 21.589 * [taylor]: Taking taylor expansion of y in x 21.589 * [taylor]: Taking taylor expansion of x in x 21.589 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.589 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.589 * [taylor]: Taking taylor expansion of 0.5 in x 21.589 * [taylor]: Taking taylor expansion of (/ y x) in x 21.589 * [taylor]: Taking taylor expansion of y in x 21.589 * [taylor]: Taking taylor expansion of x in x 21.589 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.589 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.589 * [taylor]: Taking taylor expansion of 0.5 in y 21.589 * [taylor]: Taking taylor expansion of (/ y x) in y 21.589 * [taylor]: Taking taylor expansion of y in y 21.589 * [taylor]: Taking taylor expansion of x in y 21.589 * [taylor]: Taking taylor expansion of 0 in y 21.589 * [taylor]: Taking taylor expansion of 0 in y 21.590 * [taylor]: Taking taylor expansion of 0 in y 21.590 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 21.590 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.590 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.590 * [taylor]: Taking taylor expansion of 0.5 in y 21.590 * [taylor]: Taking taylor expansion of (/ y x) in y 21.590 * [taylor]: Taking taylor expansion of y in y 21.590 * [taylor]: Taking taylor expansion of x in y 21.590 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.590 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.590 * [taylor]: Taking taylor expansion of 0.5 in x 21.590 * [taylor]: Taking taylor expansion of (/ y x) in x 21.590 * [taylor]: Taking taylor expansion of y in x 21.590 * [taylor]: Taking taylor expansion of x in x 21.590 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 21.590 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 21.590 * [taylor]: Taking taylor expansion of 0.5 in x 21.590 * [taylor]: Taking taylor expansion of (/ y x) in x 21.590 * [taylor]: Taking taylor expansion of y in x 21.590 * [taylor]: Taking taylor expansion of x in x 21.590 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 21.590 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 21.590 * [taylor]: Taking taylor expansion of 0.5 in y 21.590 * [taylor]: Taking taylor expansion of (/ y x) in y 21.590 * [taylor]: Taking taylor expansion of y in y 21.590 * [taylor]: Taking taylor expansion of x in y 21.591 * [taylor]: Taking taylor expansion of 0 in y 21.591 * [taylor]: Taking taylor expansion of 0 in y 21.591 * [taylor]: Taking taylor expansion of 0 in y 21.591 * * * [progress]: simplifying candidates 21.592 * [simplify]: Simplifying using # : (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)))) (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)))) (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)))) (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)))) 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.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.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)) 21.592 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.593 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 21.594 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 21.595 * * [simplify]: iteration done : 11 enodes (cost 6 ) 21.596 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 21.597 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 21.598 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 21.599 * * [simplify]: iteration done : 11 enodes (cost 6 ) 21.600 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 21.601 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 21.602 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 21.603 * * [simplify]: iteration done : 12 enodes (cost 7 ) 21.604 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 21.604 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 21.605 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 21.607 * * [simplify]: iteration done : 12 enodes (cost 7 ) 21.607 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 21.608 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 21.609 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 21.611 * * [simplify]: iteration done : 13 enodes (cost 15 ) 21.611 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 21.612 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 21.613 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 21.614 * * [simplify]: iteration done : 12 enodes (cost 7 ) 21.615 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 21.616 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 21.617 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 21.619 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 21.622 * * [simplify]: iteration 4 : 27 enodes (cost 8 ) 21.627 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 21.632 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 21.642 * * [simplify]: iteration 7 : 114 enodes (cost 8 ) 21.690 * * [simplify]: iteration 8 : 325 enodes (cost 8 ) 22.339 * * [simplify]: iteration 9 : 1243 enodes (cost 8 ) 24.683 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 24.683 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 24.684 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 24.685 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 24.687 * * [simplify]: iteration done : 12 enodes (cost 7 ) 24.688 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 24.688 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 24.689 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 24.691 * * [simplify]: iteration done : 12 enodes (cost 7 ) 24.691 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 24.692 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 24.693 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 24.694 * * [simplify]: iteration done : 11 enodes (cost 6 ) 24.694 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 24.695 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 24.696 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 24.697 * * [simplify]: iteration done : 11 enodes (cost 6 ) 24.698 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 24.699 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 24.700 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 24.701 * * [simplify]: iteration done : 12 enodes (cost 7 ) 24.701 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 24.702 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 24.703 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 24.707 * * [simplify]: iteration done : 12 enodes (cost 7 ) 24.707 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 24.708 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 24.710 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 24.711 * * [simplify]: iteration done : 13 enodes (cost 15 ) 24.712 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 24.713 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 24.714 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 24.715 * * [simplify]: iteration done : 12 enodes (cost 7 ) 24.716 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 24.717 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 24.718 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 24.720 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 24.722 * * [simplify]: iteration 4 : 27 enodes (cost 8 ) 24.725 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 24.729 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 24.739 * * [simplify]: iteration 7 : 114 enodes (cost 8 ) 24.788 * * [simplify]: iteration 8 : 325 enodes (cost 8 ) 25.234 * * [simplify]: iteration 9 : 1243 enodes (cost 8 ) 27.574 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 27.575 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 27.575 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 27.576 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 27.581 * * [simplify]: iteration done : 12 enodes (cost 7 ) 27.581 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 27.582 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 27.583 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 27.585 * * [simplify]: iteration done : 12 enodes (cost 7 ) 27.585 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 27.586 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 27.587 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 27.589 * * [simplify]: iteration done : 11 enodes (cost 6 ) 27.589 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 27.590 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 27.591 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 27.592 * * [simplify]: iteration done : 11 enodes (cost 6 ) 27.593 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 27.593 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 27.594 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 27.596 * * [simplify]: iteration done : 12 enodes (cost 7 ) 27.596 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 27.597 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 27.598 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 27.599 * * [simplify]: iteration done : 12 enodes (cost 7 ) 27.600 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 27.601 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 27.602 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 27.603 * * [simplify]: iteration done : 13 enodes (cost 15 ) 27.604 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 27.605 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 27.606 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 27.607 * * [simplify]: iteration done : 12 enodes (cost 7 ) 27.608 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 27.609 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 27.610 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 27.612 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 27.614 * * [simplify]: iteration 4 : 27 enodes (cost 8 ) 27.617 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 27.622 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 27.631 * * [simplify]: iteration 7 : 114 enodes (cost 8 ) 27.680 * * [simplify]: iteration 8 : 325 enodes (cost 8 ) 28.128 * * [simplify]: iteration 9 : 1243 enodes (cost 8 ) 30.464 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 30.465 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 30.466 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 30.467 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 30.468 * * [simplify]: iteration done : 12 enodes (cost 7 ) 30.469 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 30.469 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 30.470 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 30.472 * * [simplify]: iteration done : 12 enodes (cost 7 ) 30.472 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 30.473 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 30.474 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 30.476 * * [simplify]: iteration done : 12 enodes (cost 7 ) 30.476 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 30.477 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 30.478 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 30.479 * * [simplify]: iteration done : 12 enodes (cost 7 ) 30.480 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 30.481 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 30.482 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 30.483 * * [simplify]: iteration done : 13 enodes (cost 15 ) 30.484 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 30.485 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 30.486 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 30.487 * * [simplify]: iteration done : 12 enodes (cost 7 ) 30.488 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 30.489 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 30.490 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 30.492 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 30.494 * * [simplify]: iteration 4 : 27 enodes (cost 8 ) 30.498 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 30.502 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 30.514 * * [simplify]: iteration 7 : 114 enodes (cost 8 ) 30.560 * * [simplify]: iteration 8 : 325 enodes (cost 8 ) 31.008 * * [simplify]: iteration 9 : 1243 enodes (cost 8 ) 33.355 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 33.356 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 33.357 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 33.358 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 33.359 * * [simplify]: iteration done : 12 enodes (cost 7 ) 33.360 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 33.361 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 33.362 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 33.363 * * [simplify]: iteration done : 12 enodes (cost 7 ) 33.364 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 33.364 * * [simplify]: iteration done : 1 enodes (cost 1 ) 33.365 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 33.367 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 33.372 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 33.398 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 33.676 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 35.565 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 35.565 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 35.567 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 35.572 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 35.594 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 35.867 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 37.754 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 37.755 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 37.755 * * [simplify]: iteration done : 1 enodes (cost 1 ) 37.756 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 37.758 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 37.763 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 37.792 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 38.071 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 39.978 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 39.978 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 39.980 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 39.985 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 40.007 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 40.289 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 42.392 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 42.393 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 42.393 * * [simplify]: iteration done : 1 enodes (cost 1 ) 42.394 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 42.396 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 42.401 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 42.428 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 42.710 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 44.637 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 44.638 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 44.640 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 44.645 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 44.667 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 44.956 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 46.881 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 46.882 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 46.887 * * [simplify]: iteration done : 1 enodes (cost 1 ) 46.887 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 46.888 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 46.889 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 46.890 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 46.892 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 46.899 * * [simplify]: iteration done : 16 enodes (cost 5 ) 46.900 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 46.900 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 46.901 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 46.902 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 46.904 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 46.906 * * [simplify]: iteration done : 16 enodes (cost 5 ) 46.907 * [simplify]: Simplified to: (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)))) (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)))) (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)))) (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)))) 0 (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) 0 (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) 0 (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) 0 (* 0.5 (/ x y)) (* 0.5 (/ x y)) 46.907 * * * [progress]: adding candidates to table 47.119 * * [progress]: iteration 4 / 4 47.119 * * * [progress]: picking best candidate 47.193 * * * * [pick]: Picked # 47.193 * * * [progress]: localizing error 47.208 * * * [progress]: generating rewritten candidates 47.208 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 47.210 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 47.213 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 47.216 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 47.219 * * * [progress]: generating series expansions 47.219 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 47.219 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 47.219 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 47.219 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 47.219 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 47.219 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 47.219 * [taylor]: Taking taylor expansion of 0.5 in y 47.219 * [taylor]: Taking taylor expansion of (/ x y) in y 47.219 * [taylor]: Taking taylor expansion of x in y 47.219 * [taylor]: Taking taylor expansion of y in y 47.219 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 47.219 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 47.219 * [taylor]: Taking taylor expansion of 0.5 in y 47.219 * [taylor]: Taking taylor expansion of (/ x y) in y 47.219 * [taylor]: Taking taylor expansion of x in y 47.219 * [taylor]: Taking taylor expansion of y in y 47.220 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 47.220 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 47.220 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 47.220 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.220 * [taylor]: Taking taylor expansion of 0.5 in x 47.220 * [taylor]: Taking taylor expansion of (/ x y) in x 47.220 * [taylor]: Taking taylor expansion of x in x 47.220 * [taylor]: Taking taylor expansion of y in x 47.220 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 47.220 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.220 * [taylor]: Taking taylor expansion of 0.5 in x 47.220 * [taylor]: Taking taylor expansion of (/ x y) in x 47.220 * [taylor]: Taking taylor expansion of x in x 47.220 * [taylor]: Taking taylor expansion of y in x 47.220 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 47.220 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 47.220 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 47.220 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.220 * [taylor]: Taking taylor expansion of 0.5 in x 47.220 * [taylor]: Taking taylor expansion of (/ x y) in x 47.220 * [taylor]: Taking taylor expansion of x in x 47.220 * [taylor]: Taking taylor expansion of y in x 47.220 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 47.220 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.220 * [taylor]: Taking taylor expansion of 0.5 in x 47.220 * [taylor]: Taking taylor expansion of (/ x y) in x 47.220 * [taylor]: Taking taylor expansion of x in x 47.221 * [taylor]: Taking taylor expansion of y in x 47.221 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 47.221 * [taylor]: Taking taylor expansion of 0.5 in y 47.221 * [taylor]: Taking taylor expansion of y in y 47.221 * [taylor]: Taking taylor expansion of 0 in y 47.222 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 47.222 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 47.222 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 47.222 * [taylor]: Taking taylor expansion of (pow y 3) in y 47.222 * [taylor]: Taking taylor expansion of y in y 47.223 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 47.223 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 47.223 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.223 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.223 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.223 * [taylor]: Taking taylor expansion of 0.5 in y 47.223 * [taylor]: Taking taylor expansion of (/ y x) in y 47.223 * [taylor]: Taking taylor expansion of y in y 47.223 * [taylor]: Taking taylor expansion of x in y 47.223 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.223 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.223 * [taylor]: Taking taylor expansion of 0.5 in y 47.223 * [taylor]: Taking taylor expansion of (/ y x) in y 47.223 * [taylor]: Taking taylor expansion of y in y 47.223 * [taylor]: Taking taylor expansion of x in y 47.223 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.223 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.224 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.224 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.224 * [taylor]: Taking taylor expansion of 0.5 in x 47.224 * [taylor]: Taking taylor expansion of (/ y x) in x 47.224 * [taylor]: Taking taylor expansion of y in x 47.224 * [taylor]: Taking taylor expansion of x in x 47.224 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.224 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.224 * [taylor]: Taking taylor expansion of 0.5 in x 47.224 * [taylor]: Taking taylor expansion of (/ y x) in x 47.224 * [taylor]: Taking taylor expansion of y in x 47.224 * [taylor]: Taking taylor expansion of x in x 47.224 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.224 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.224 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.224 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.224 * [taylor]: Taking taylor expansion of 0.5 in x 47.224 * [taylor]: Taking taylor expansion of (/ y x) in x 47.224 * [taylor]: Taking taylor expansion of y in x 47.224 * [taylor]: Taking taylor expansion of x in x 47.224 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.224 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.224 * [taylor]: Taking taylor expansion of 0.5 in x 47.224 * [taylor]: Taking taylor expansion of (/ y x) in x 47.224 * [taylor]: Taking taylor expansion of y in x 47.224 * [taylor]: Taking taylor expansion of x in x 47.225 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 47.225 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.225 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.225 * [taylor]: Taking taylor expansion of 0.5 in y 47.225 * [taylor]: Taking taylor expansion of (/ y x) in y 47.225 * [taylor]: Taking taylor expansion of y in y 47.225 * [taylor]: Taking taylor expansion of x in y 47.225 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.225 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.225 * [taylor]: Taking taylor expansion of 0.5 in y 47.225 * [taylor]: Taking taylor expansion of (/ y x) in y 47.225 * [taylor]: Taking taylor expansion of y in y 47.225 * [taylor]: Taking taylor expansion of x in y 47.225 * [taylor]: Taking taylor expansion of 0 in y 47.226 * [taylor]: Taking taylor expansion of 0 in y 47.227 * [taylor]: Taking taylor expansion of 0 in y 47.228 * [taylor]: Taking taylor expansion of 0 in y 47.229 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 47.229 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 47.229 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.229 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.229 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.229 * [taylor]: Taking taylor expansion of 0.5 in y 47.229 * [taylor]: Taking taylor expansion of (/ y x) in y 47.229 * [taylor]: Taking taylor expansion of y in y 47.229 * [taylor]: Taking taylor expansion of x in y 47.229 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.229 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.229 * [taylor]: Taking taylor expansion of 0.5 in y 47.229 * [taylor]: Taking taylor expansion of (/ y x) in y 47.229 * [taylor]: Taking taylor expansion of y in y 47.229 * [taylor]: Taking taylor expansion of x in y 47.229 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.229 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.229 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.229 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.229 * [taylor]: Taking taylor expansion of 0.5 in x 47.229 * [taylor]: Taking taylor expansion of (/ y x) in x 47.229 * [taylor]: Taking taylor expansion of y in x 47.229 * [taylor]: Taking taylor expansion of x in x 47.229 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.230 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.230 * [taylor]: Taking taylor expansion of 0.5 in x 47.230 * [taylor]: Taking taylor expansion of (/ y x) in x 47.230 * [taylor]: Taking taylor expansion of y in x 47.230 * [taylor]: Taking taylor expansion of x in x 47.230 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.230 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.230 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.230 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.230 * [taylor]: Taking taylor expansion of 0.5 in x 47.230 * [taylor]: Taking taylor expansion of (/ y x) in x 47.230 * [taylor]: Taking taylor expansion of y in x 47.230 * [taylor]: Taking taylor expansion of x in x 47.230 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.230 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.230 * [taylor]: Taking taylor expansion of 0.5 in x 47.230 * [taylor]: Taking taylor expansion of (/ y x) in x 47.230 * [taylor]: Taking taylor expansion of y in x 47.230 * [taylor]: Taking taylor expansion of x in x 47.230 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 47.230 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.230 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.230 * [taylor]: Taking taylor expansion of 0.5 in y 47.230 * [taylor]: Taking taylor expansion of (/ y x) in y 47.230 * [taylor]: Taking taylor expansion of y in y 47.230 * [taylor]: Taking taylor expansion of x in y 47.230 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.230 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.231 * [taylor]: Taking taylor expansion of 0.5 in y 47.231 * [taylor]: Taking taylor expansion of (/ y x) in y 47.231 * [taylor]: Taking taylor expansion of y in y 47.231 * [taylor]: Taking taylor expansion of x in y 47.231 * [taylor]: Taking taylor expansion of 0 in y 47.231 * [taylor]: Taking taylor expansion of 0 in y 47.233 * [taylor]: Taking taylor expansion of 0 in y 47.234 * [taylor]: Taking taylor expansion of 0 in y 47.234 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 47.234 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 47.234 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 47.234 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 47.234 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 47.234 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 47.234 * [taylor]: Taking taylor expansion of 0.5 in y 47.234 * [taylor]: Taking taylor expansion of (/ x y) in y 47.234 * [taylor]: Taking taylor expansion of x in y 47.234 * [taylor]: Taking taylor expansion of y in y 47.235 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 47.235 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 47.235 * [taylor]: Taking taylor expansion of 0.5 in y 47.235 * [taylor]: Taking taylor expansion of (/ x y) in y 47.235 * [taylor]: Taking taylor expansion of x in y 47.235 * [taylor]: Taking taylor expansion of y in y 47.235 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 47.235 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 47.235 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 47.235 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.235 * [taylor]: Taking taylor expansion of 0.5 in x 47.235 * [taylor]: Taking taylor expansion of (/ x y) in x 47.235 * [taylor]: Taking taylor expansion of x in x 47.235 * [taylor]: Taking taylor expansion of y in x 47.235 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 47.235 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.235 * [taylor]: Taking taylor expansion of 0.5 in x 47.235 * [taylor]: Taking taylor expansion of (/ x y) in x 47.235 * [taylor]: Taking taylor expansion of x in x 47.235 * [taylor]: Taking taylor expansion of y in x 47.235 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 47.235 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 47.235 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 47.235 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.235 * [taylor]: Taking taylor expansion of 0.5 in x 47.235 * [taylor]: Taking taylor expansion of (/ x y) in x 47.235 * [taylor]: Taking taylor expansion of x in x 47.236 * [taylor]: Taking taylor expansion of y in x 47.236 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 47.236 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.236 * [taylor]: Taking taylor expansion of 0.5 in x 47.236 * [taylor]: Taking taylor expansion of (/ x y) in x 47.236 * [taylor]: Taking taylor expansion of x in x 47.236 * [taylor]: Taking taylor expansion of y in x 47.236 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 47.236 * [taylor]: Taking taylor expansion of 0.5 in y 47.236 * [taylor]: Taking taylor expansion of y in y 47.236 * [taylor]: Taking taylor expansion of 0 in y 47.237 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 47.237 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 47.237 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 47.237 * [taylor]: Taking taylor expansion of (pow y 3) in y 47.237 * [taylor]: Taking taylor expansion of y in y 47.238 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 47.238 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 47.238 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.238 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.238 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.238 * [taylor]: Taking taylor expansion of 0.5 in y 47.238 * [taylor]: Taking taylor expansion of (/ y x) in y 47.238 * [taylor]: Taking taylor expansion of y in y 47.238 * [taylor]: Taking taylor expansion of x in y 47.238 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.238 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.238 * [taylor]: Taking taylor expansion of 0.5 in y 47.238 * [taylor]: Taking taylor expansion of (/ y x) in y 47.238 * [taylor]: Taking taylor expansion of y in y 47.238 * [taylor]: Taking taylor expansion of x in y 47.238 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.238 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.238 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.238 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.238 * [taylor]: Taking taylor expansion of 0.5 in x 47.238 * [taylor]: Taking taylor expansion of (/ y x) in x 47.238 * [taylor]: Taking taylor expansion of y in x 47.238 * [taylor]: Taking taylor expansion of x in x 47.238 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.239 * [taylor]: Taking taylor expansion of 0.5 in x 47.239 * [taylor]: Taking taylor expansion of (/ y x) in x 47.239 * [taylor]: Taking taylor expansion of y in x 47.239 * [taylor]: Taking taylor expansion of x in x 47.239 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.239 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.239 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.239 * [taylor]: Taking taylor expansion of 0.5 in x 47.239 * [taylor]: Taking taylor expansion of (/ y x) in x 47.239 * [taylor]: Taking taylor expansion of y in x 47.239 * [taylor]: Taking taylor expansion of x in x 47.239 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.239 * [taylor]: Taking taylor expansion of 0.5 in x 47.239 * [taylor]: Taking taylor expansion of (/ y x) in x 47.239 * [taylor]: Taking taylor expansion of y in x 47.239 * [taylor]: Taking taylor expansion of x in x 47.239 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 47.239 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.239 * [taylor]: Taking taylor expansion of 0.5 in y 47.239 * [taylor]: Taking taylor expansion of (/ y x) in y 47.239 * [taylor]: Taking taylor expansion of y in y 47.239 * [taylor]: Taking taylor expansion of x in y 47.239 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.239 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.240 * [taylor]: Taking taylor expansion of 0.5 in y 47.240 * [taylor]: Taking taylor expansion of (/ y x) in y 47.240 * [taylor]: Taking taylor expansion of y in y 47.240 * [taylor]: Taking taylor expansion of x in y 47.240 * [taylor]: Taking taylor expansion of 0 in y 47.240 * [taylor]: Taking taylor expansion of 0 in y 47.242 * [taylor]: Taking taylor expansion of 0 in y 47.243 * [taylor]: Taking taylor expansion of 0 in y 47.243 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 47.243 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 47.243 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.243 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.243 * [taylor]: Taking taylor expansion of 0.5 in y 47.243 * [taylor]: Taking taylor expansion of (/ y x) in y 47.243 * [taylor]: Taking taylor expansion of y in y 47.243 * [taylor]: Taking taylor expansion of x in y 47.243 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.243 * [taylor]: Taking taylor expansion of 0.5 in y 47.243 * [taylor]: Taking taylor expansion of (/ y x) in y 47.243 * [taylor]: Taking taylor expansion of y in y 47.244 * [taylor]: Taking taylor expansion of x in y 47.244 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.244 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.244 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.244 * [taylor]: Taking taylor expansion of 0.5 in x 47.244 * [taylor]: Taking taylor expansion of (/ y x) in x 47.244 * [taylor]: Taking taylor expansion of y in x 47.244 * [taylor]: Taking taylor expansion of x in x 47.244 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.244 * [taylor]: Taking taylor expansion of 0.5 in x 47.244 * [taylor]: Taking taylor expansion of (/ y x) in x 47.244 * [taylor]: Taking taylor expansion of y in x 47.244 * [taylor]: Taking taylor expansion of x in x 47.244 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.244 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.244 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.244 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.244 * [taylor]: Taking taylor expansion of 0.5 in x 47.244 * [taylor]: Taking taylor expansion of (/ y x) in x 47.244 * [taylor]: Taking taylor expansion of y in x 47.244 * [taylor]: Taking taylor expansion of x in x 47.245 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.245 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.245 * [taylor]: Taking taylor expansion of 0.5 in x 47.245 * [taylor]: Taking taylor expansion of (/ y x) in x 47.245 * [taylor]: Taking taylor expansion of y in x 47.245 * [taylor]: Taking taylor expansion of x in x 47.245 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 47.245 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.245 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.245 * [taylor]: Taking taylor expansion of 0.5 in y 47.245 * [taylor]: Taking taylor expansion of (/ y x) in y 47.245 * [taylor]: Taking taylor expansion of y in y 47.245 * [taylor]: Taking taylor expansion of x in y 47.245 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.245 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.245 * [taylor]: Taking taylor expansion of 0.5 in y 47.245 * [taylor]: Taking taylor expansion of (/ y x) in y 47.245 * [taylor]: Taking taylor expansion of y in y 47.245 * [taylor]: Taking taylor expansion of x in y 47.246 * [taylor]: Taking taylor expansion of 0 in y 47.246 * [taylor]: Taking taylor expansion of 0 in y 47.247 * [taylor]: Taking taylor expansion of 0 in y 47.249 * [taylor]: Taking taylor expansion of 0 in y 47.249 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 47.249 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 47.249 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 47.249 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 47.249 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 47.249 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 47.249 * [taylor]: Taking taylor expansion of 0.5 in y 47.249 * [taylor]: Taking taylor expansion of (/ x y) in y 47.249 * [taylor]: Taking taylor expansion of x in y 47.249 * [taylor]: Taking taylor expansion of y in y 47.250 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 47.250 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 47.250 * [taylor]: Taking taylor expansion of 0.5 in y 47.250 * [taylor]: Taking taylor expansion of (/ x y) in y 47.250 * [taylor]: Taking taylor expansion of x in y 47.250 * [taylor]: Taking taylor expansion of y in y 47.250 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 47.250 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 47.250 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 47.250 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.250 * [taylor]: Taking taylor expansion of 0.5 in x 47.250 * [taylor]: Taking taylor expansion of (/ x y) in x 47.250 * [taylor]: Taking taylor expansion of x in x 47.250 * [taylor]: Taking taylor expansion of y in x 47.250 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 47.250 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.250 * [taylor]: Taking taylor expansion of 0.5 in x 47.250 * [taylor]: Taking taylor expansion of (/ x y) in x 47.250 * [taylor]: Taking taylor expansion of x in x 47.250 * [taylor]: Taking taylor expansion of y in x 47.250 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 47.250 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 47.250 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 47.250 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.250 * [taylor]: Taking taylor expansion of 0.5 in x 47.250 * [taylor]: Taking taylor expansion of (/ x y) in x 47.251 * [taylor]: Taking taylor expansion of x in x 47.251 * [taylor]: Taking taylor expansion of y in x 47.251 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 47.251 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.251 * [taylor]: Taking taylor expansion of 0.5 in x 47.251 * [taylor]: Taking taylor expansion of (/ x y) in x 47.251 * [taylor]: Taking taylor expansion of x in x 47.251 * [taylor]: Taking taylor expansion of y in x 47.251 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 47.251 * [taylor]: Taking taylor expansion of 0.5 in y 47.251 * [taylor]: Taking taylor expansion of y in y 47.251 * [taylor]: Taking taylor expansion of 0 in y 47.252 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 47.252 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 47.252 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 47.252 * [taylor]: Taking taylor expansion of (pow y 3) in y 47.252 * [taylor]: Taking taylor expansion of y in y 47.253 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 47.253 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 47.253 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.253 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.253 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.253 * [taylor]: Taking taylor expansion of 0.5 in y 47.253 * [taylor]: Taking taylor expansion of (/ y x) in y 47.253 * [taylor]: Taking taylor expansion of y in y 47.253 * [taylor]: Taking taylor expansion of x in y 47.254 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.254 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.254 * [taylor]: Taking taylor expansion of 0.5 in y 47.254 * [taylor]: Taking taylor expansion of (/ y x) in y 47.254 * [taylor]: Taking taylor expansion of y in y 47.254 * [taylor]: Taking taylor expansion of x in y 47.254 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.254 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.254 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.254 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.254 * [taylor]: Taking taylor expansion of 0.5 in x 47.254 * [taylor]: Taking taylor expansion of (/ y x) in x 47.254 * [taylor]: Taking taylor expansion of y in x 47.254 * [taylor]: Taking taylor expansion of x in x 47.254 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.254 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.254 * [taylor]: Taking taylor expansion of 0.5 in x 47.254 * [taylor]: Taking taylor expansion of (/ y x) in x 47.254 * [taylor]: Taking taylor expansion of y in x 47.255 * [taylor]: Taking taylor expansion of x in x 47.255 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.255 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.255 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.255 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.255 * [taylor]: Taking taylor expansion of 0.5 in x 47.255 * [taylor]: Taking taylor expansion of (/ y x) in x 47.255 * [taylor]: Taking taylor expansion of y in x 47.255 * [taylor]: Taking taylor expansion of x in x 47.255 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.255 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.255 * [taylor]: Taking taylor expansion of 0.5 in x 47.255 * [taylor]: Taking taylor expansion of (/ y x) in x 47.255 * [taylor]: Taking taylor expansion of y in x 47.255 * [taylor]: Taking taylor expansion of x in x 47.255 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 47.255 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.255 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.255 * [taylor]: Taking taylor expansion of 0.5 in y 47.255 * [taylor]: Taking taylor expansion of (/ y x) in y 47.255 * [taylor]: Taking taylor expansion of y in y 47.255 * [taylor]: Taking taylor expansion of x in y 47.256 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.256 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.256 * [taylor]: Taking taylor expansion of 0.5 in y 47.256 * [taylor]: Taking taylor expansion of (/ y x) in y 47.256 * [taylor]: Taking taylor expansion of y in y 47.256 * [taylor]: Taking taylor expansion of x in y 47.256 * [taylor]: Taking taylor expansion of 0 in y 47.257 * [taylor]: Taking taylor expansion of 0 in y 47.261 * [taylor]: Taking taylor expansion of 0 in y 47.262 * [taylor]: Taking taylor expansion of 0 in y 47.263 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 47.263 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 47.263 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.263 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.263 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.263 * [taylor]: Taking taylor expansion of 0.5 in y 47.263 * [taylor]: Taking taylor expansion of (/ y x) in y 47.263 * [taylor]: Taking taylor expansion of y in y 47.263 * [taylor]: Taking taylor expansion of x in y 47.263 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.263 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.263 * [taylor]: Taking taylor expansion of 0.5 in y 47.263 * [taylor]: Taking taylor expansion of (/ y x) in y 47.263 * [taylor]: Taking taylor expansion of y in y 47.263 * [taylor]: Taking taylor expansion of x in y 47.263 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.263 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.263 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.263 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.263 * [taylor]: Taking taylor expansion of 0.5 in x 47.263 * [taylor]: Taking taylor expansion of (/ y x) in x 47.263 * [taylor]: Taking taylor expansion of y in x 47.263 * [taylor]: Taking taylor expansion of x in x 47.263 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.264 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.264 * [taylor]: Taking taylor expansion of 0.5 in x 47.264 * [taylor]: Taking taylor expansion of (/ y x) in x 47.264 * [taylor]: Taking taylor expansion of y in x 47.264 * [taylor]: Taking taylor expansion of x in x 47.264 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 47.264 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 47.264 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.264 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.264 * [taylor]: Taking taylor expansion of 0.5 in x 47.264 * [taylor]: Taking taylor expansion of (/ y x) in x 47.264 * [taylor]: Taking taylor expansion of y in x 47.264 * [taylor]: Taking taylor expansion of x in x 47.264 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 47.264 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.264 * [taylor]: Taking taylor expansion of 0.5 in x 47.264 * [taylor]: Taking taylor expansion of (/ y x) in x 47.264 * [taylor]: Taking taylor expansion of y in x 47.264 * [taylor]: Taking taylor expansion of x in x 47.264 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 47.264 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.264 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.264 * [taylor]: Taking taylor expansion of 0.5 in y 47.264 * [taylor]: Taking taylor expansion of (/ y x) in y 47.264 * [taylor]: Taking taylor expansion of y in y 47.264 * [taylor]: Taking taylor expansion of x in y 47.264 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 47.265 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.265 * [taylor]: Taking taylor expansion of 0.5 in y 47.265 * [taylor]: Taking taylor expansion of (/ y x) in y 47.265 * [taylor]: Taking taylor expansion of y in y 47.265 * [taylor]: Taking taylor expansion of x in y 47.265 * [taylor]: Taking taylor expansion of 0 in y 47.265 * [taylor]: Taking taylor expansion of 0 in y 47.267 * [taylor]: Taking taylor expansion of 0 in y 47.268 * [taylor]: Taking taylor expansion of 0 in y 47.268 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 47.268 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0 47.268 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 47.268 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 47.268 * [taylor]: Taking taylor expansion of 0.5 in y 47.268 * [taylor]: Taking taylor expansion of (/ x y) in y 47.268 * [taylor]: Taking taylor expansion of x in y 47.268 * [taylor]: Taking taylor expansion of y in y 47.269 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 47.269 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.269 * [taylor]: Taking taylor expansion of 0.5 in x 47.269 * [taylor]: Taking taylor expansion of (/ x y) in x 47.269 * [taylor]: Taking taylor expansion of x in x 47.269 * [taylor]: Taking taylor expansion of y in x 47.269 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 47.269 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 47.269 * [taylor]: Taking taylor expansion of 0.5 in x 47.269 * [taylor]: Taking taylor expansion of (/ x y) in x 47.269 * [taylor]: Taking taylor expansion of x in x 47.269 * [taylor]: Taking taylor expansion of y in x 47.269 * [taylor]: Taking taylor expansion of 0 in y 47.269 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 47.269 * [taylor]: Taking taylor expansion of 0.5 in y 47.269 * [taylor]: Taking taylor expansion of (/ 1 y) in y 47.269 * [taylor]: Taking taylor expansion of y in y 47.269 * [taylor]: Taking taylor expansion of 0 in y 47.270 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 47.270 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.270 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.270 * [taylor]: Taking taylor expansion of 0.5 in y 47.270 * [taylor]: Taking taylor expansion of (/ y x) in y 47.270 * [taylor]: Taking taylor expansion of y in y 47.270 * [taylor]: Taking taylor expansion of x in y 47.270 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.270 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.270 * [taylor]: Taking taylor expansion of 0.5 in x 47.270 * [taylor]: Taking taylor expansion of (/ y x) in x 47.270 * [taylor]: Taking taylor expansion of y in x 47.270 * [taylor]: Taking taylor expansion of x in x 47.270 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.270 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.270 * [taylor]: Taking taylor expansion of 0.5 in x 47.270 * [taylor]: Taking taylor expansion of (/ y x) in x 47.270 * [taylor]: Taking taylor expansion of y in x 47.270 * [taylor]: Taking taylor expansion of x in x 47.270 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.270 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.270 * [taylor]: Taking taylor expansion of 0.5 in y 47.270 * [taylor]: Taking taylor expansion of (/ y x) in y 47.270 * [taylor]: Taking taylor expansion of y in y 47.270 * [taylor]: Taking taylor expansion of x in y 47.270 * [taylor]: Taking taylor expansion of 0 in y 47.270 * [taylor]: Taking taylor expansion of 0 in y 47.271 * [taylor]: Taking taylor expansion of 0 in y 47.271 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 47.271 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.271 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.271 * [taylor]: Taking taylor expansion of 0.5 in y 47.271 * [taylor]: Taking taylor expansion of (/ y x) in y 47.271 * [taylor]: Taking taylor expansion of y in y 47.271 * [taylor]: Taking taylor expansion of x in y 47.271 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.271 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.271 * [taylor]: Taking taylor expansion of 0.5 in x 47.271 * [taylor]: Taking taylor expansion of (/ y x) in x 47.271 * [taylor]: Taking taylor expansion of y in x 47.271 * [taylor]: Taking taylor expansion of x in x 47.271 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 47.271 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 47.271 * [taylor]: Taking taylor expansion of 0.5 in x 47.271 * [taylor]: Taking taylor expansion of (/ y x) in x 47.271 * [taylor]: Taking taylor expansion of y in x 47.271 * [taylor]: Taking taylor expansion of x in x 47.271 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 47.271 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 47.271 * [taylor]: Taking taylor expansion of 0.5 in y 47.272 * [taylor]: Taking taylor expansion of (/ y x) in y 47.272 * [taylor]: Taking taylor expansion of y in y 47.272 * [taylor]: Taking taylor expansion of x in y 47.272 * [taylor]: Taking taylor expansion of 0 in y 47.272 * [taylor]: Taking taylor expansion of 0 in y 47.272 * [taylor]: Taking taylor expansion of 0 in y 47.272 * * * [progress]: simplifying candidates 47.273 * [simplify]: Simplifying using # : (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)))) (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)))) (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)))) (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)))) 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.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.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)) 47.273 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 47.274 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 47.275 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 47.276 * * [simplify]: iteration done : 11 enodes (cost 6 ) 47.277 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 47.278 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 47.279 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 47.280 * * [simplify]: iteration done : 11 enodes (cost 6 ) 47.281 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 47.282 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 47.283 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 47.284 * * [simplify]: iteration done : 12 enodes (cost 7 ) 47.284 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 47.285 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 47.286 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 47.287 * * [simplify]: iteration done : 12 enodes (cost 7 ) 47.288 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 47.289 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 47.290 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 47.291 * * [simplify]: iteration done : 13 enodes (cost 15 ) 47.292 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 47.293 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 47.294 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 47.295 * * [simplify]: iteration done : 12 enodes (cost 7 ) 47.295 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 47.296 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 47.298 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 47.300 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 47.302 * * [simplify]: iteration 4 : 27 enodes (cost 8 ) 47.305 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 47.309 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 47.320 * * [simplify]: iteration 7 : 114 enodes (cost 8 ) 47.369 * * [simplify]: iteration 8 : 325 enodes (cost 8 ) 47.832 * * [simplify]: iteration 9 : 1243 enodes (cost 8 ) 50.240 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 50.241 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.242 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 50.243 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 50.244 * * [simplify]: iteration done : 12 enodes (cost 7 ) 50.245 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.245 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 50.246 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 50.248 * * [simplify]: iteration done : 12 enodes (cost 7 ) 50.248 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 50.249 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 50.250 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 50.251 * * [simplify]: iteration done : 11 enodes (cost 6 ) 50.251 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 50.252 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 50.253 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 50.254 * * [simplify]: iteration done : 11 enodes (cost 6 ) 50.255 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.256 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 50.257 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 50.258 * * [simplify]: iteration done : 12 enodes (cost 7 ) 50.258 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.259 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 50.260 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 50.262 * * [simplify]: iteration done : 12 enodes (cost 7 ) 50.263 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 50.263 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 50.265 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 50.267 * * [simplify]: iteration done : 13 enodes (cost 15 ) 50.267 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 50.268 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 50.269 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 50.270 * * [simplify]: iteration done : 12 enodes (cost 7 ) 50.271 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 50.272 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 50.273 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 50.275 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 50.278 * * [simplify]: iteration 4 : 27 enodes (cost 8 ) 50.281 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 50.285 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 50.298 * * [simplify]: iteration 7 : 114 enodes (cost 8 ) 50.347 * * [simplify]: iteration 8 : 325 enodes (cost 8 ) 50.800 * * [simplify]: iteration 9 : 1243 enodes (cost 8 ) 53.165 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 53.166 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 53.166 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 53.167 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 53.169 * * [simplify]: iteration done : 12 enodes (cost 7 ) 53.169 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 53.170 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 53.171 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 53.172 * * [simplify]: iteration done : 12 enodes (cost 7 ) 53.173 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 53.173 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 53.174 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 53.175 * * [simplify]: iteration done : 11 enodes (cost 6 ) 53.176 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 53.177 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 53.178 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 53.179 * * [simplify]: iteration done : 11 enodes (cost 6 ) 53.179 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 53.180 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 53.181 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 53.182 * * [simplify]: iteration done : 12 enodes (cost 7 ) 53.183 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 53.184 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 53.185 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 53.186 * * [simplify]: iteration done : 12 enodes (cost 7 ) 53.187 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 53.187 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 53.189 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 53.190 * * [simplify]: iteration done : 13 enodes (cost 15 ) 53.191 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 53.191 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 53.192 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 53.194 * * [simplify]: iteration done : 12 enodes (cost 7 ) 53.197 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 53.198 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 53.200 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 53.203 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 53.205 * * [simplify]: iteration 4 : 27 enodes (cost 8 ) 53.208 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 53.212 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 53.222 * * [simplify]: iteration 7 : 114 enodes (cost 8 ) 53.271 * * [simplify]: iteration 8 : 325 enodes (cost 8 ) 53.730 * * [simplify]: iteration 9 : 1243 enodes (cost 8 ) 56.098 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 56.098 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.099 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 56.100 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 56.102 * * [simplify]: iteration done : 12 enodes (cost 7 ) 56.102 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.103 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 56.104 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 56.105 * * [simplify]: iteration done : 12 enodes (cost 7 ) 56.106 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.107 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 56.108 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 56.109 * * [simplify]: iteration done : 12 enodes (cost 7 ) 56.113 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.114 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 56.115 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 56.116 * * [simplify]: iteration done : 12 enodes (cost 7 ) 56.117 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 56.118 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 56.119 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 56.121 * * [simplify]: iteration done : 13 enodes (cost 15 ) 56.121 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 56.122 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 56.123 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 56.124 * * [simplify]: iteration done : 12 enodes (cost 7 ) 56.125 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 56.126 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 56.127 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 56.130 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 56.132 * * [simplify]: iteration 4 : 27 enodes (cost 8 ) 56.135 * * [simplify]: iteration 5 : 37 enodes (cost 8 ) 56.140 * * [simplify]: iteration 6 : 58 enodes (cost 8 ) 56.149 * * [simplify]: iteration 7 : 114 enodes (cost 8 ) 56.199 * * [simplify]: iteration 8 : 325 enodes (cost 8 ) 56.661 * * [simplify]: iteration 9 : 1243 enodes (cost 8 ) 59.058 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 59.059 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 59.060 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 59.061 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 59.063 * * [simplify]: iteration done : 12 enodes (cost 7 ) 59.063 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 59.064 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 59.065 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 59.066 * * [simplify]: iteration done : 12 enodes (cost 7 ) 59.067 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 59.067 * * [simplify]: iteration done : 1 enodes (cost 1 ) 59.067 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 59.070 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 59.075 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 59.098 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 59.379 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 61.280 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 61.281 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 61.283 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 61.288 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 61.318 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 61.598 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 63.507 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 63.508 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 63.508 * * [simplify]: iteration done : 1 enodes (cost 1 ) 63.509 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 63.511 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 63.516 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 63.538 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 64.019 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 65.960 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 65.960 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 65.962 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 65.967 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 65.997 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 66.282 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 68.221 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 68.221 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 68.222 * * [simplify]: iteration done : 1 enodes (cost 1 ) 68.222 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 68.224 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 68.229 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 68.251 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 68.540 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 70.444 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 70.445 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 70.446 * * [simplify]: iteration 1 : 32 enodes (cost 15 ) 70.458 * * [simplify]: iteration 2 : 94 enodes (cost 15 ) 70.479 * * [simplify]: iteration 3 : 382 enodes (cost 15 ) 70.754 * * [simplify]: iteration 4 : 1606 enodes (cost 13 ) 72.662 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 72.663 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 72.663 * * [simplify]: iteration done : 1 enodes (cost 1 ) 72.664 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 72.664 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 72.665 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 72.667 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 72.668 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 72.670 * * [simplify]: iteration done : 16 enodes (cost 5 ) 72.671 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 72.671 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 72.672 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 72.674 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 72.675 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 72.677 * * [simplify]: iteration done : 16 enodes (cost 5 ) 72.677 * [simplify]: Simplified to: (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)))) (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)))) (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)))) (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)))) 0 (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) 0 (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) 0 (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) (+ (* (pow (/ x y) 3) 0.04166666666666667) (* 0.5 (/ x y))) 0 (* 0.5 (/ x y)) (* 0.5 (/ x y)) 72.678 * * * [progress]: adding candidates to table 72.858 * [progress]: [Phase 3 of 3] Extracting. 72.858 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 72.864 * * * [regime-changes]: Trying 4 branch expressions: ((* y 2.0) (/ x (* y 2.0)) y x) 72.864 * * * * [regimes]: Trying to branch on (* y 2.0) from (# # # # # # # # # # # # # # # #) 72.983 * * * * [regimes]: Trying to branch on (/ x (* y 2.0)) from (# # # # # # # # # # # # # # # #) 73.097 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # # # # #) 73.213 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # #) 73.329 * * * [regime]: Found split indices: #