23.994 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 7.777 * * * [progress]: [2/2] Setting up program. 7.780 * [progress]: [Phase 2 of 3] Improving. 7.780 * [simplify]: Simplifying using # : (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 7.783 * * [simplify]: iteration 0 : 11 enodes (cost 7 ) 7.784 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 7.785 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 7.785 * [simplify]: Simplified to: (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) 7.786 * * [progress]: iteration 1 / 4 7.786 * * * [progress]: picking best candidate 7.789 * * * * [pick]: Picked # 7.789 * * * [progress]: localizing error 7.799 * * * [progress]: generating rewritten candidates 7.799 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 7.801 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 7.803 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.809 * * * [progress]: generating series expansions 7.809 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 7.809 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 7.809 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 7.809 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 7.809 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 7.809 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 7.809 * [taylor]: Taking taylor expansion of 0.5 in y 7.810 * [taylor]: Taking taylor expansion of (/ x y) in y 7.810 * [taylor]: Taking taylor expansion of x in y 7.810 * [taylor]: Taking taylor expansion of y in y 7.810 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 7.810 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 7.810 * [taylor]: Taking taylor expansion of 0.5 in y 7.810 * [taylor]: Taking taylor expansion of (/ x y) in y 7.810 * [taylor]: Taking taylor expansion of x in y 7.810 * [taylor]: Taking taylor expansion of y in y 7.810 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 7.810 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 7.810 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 7.810 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.810 * [taylor]: Taking taylor expansion of 0.5 in x 7.810 * [taylor]: Taking taylor expansion of (/ x y) in x 7.810 * [taylor]: Taking taylor expansion of x in x 7.810 * [taylor]: Taking taylor expansion of y in x 7.810 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 7.810 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.810 * [taylor]: Taking taylor expansion of 0.5 in x 7.810 * [taylor]: Taking taylor expansion of (/ x y) in x 7.810 * [taylor]: Taking taylor expansion of x in x 7.810 * [taylor]: Taking taylor expansion of y in x 7.810 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 7.810 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 7.811 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 7.811 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.811 * [taylor]: Taking taylor expansion of 0.5 in x 7.811 * [taylor]: Taking taylor expansion of (/ x y) in x 7.811 * [taylor]: Taking taylor expansion of x in x 7.811 * [taylor]: Taking taylor expansion of y in x 7.811 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 7.811 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.811 * [taylor]: Taking taylor expansion of 0.5 in x 7.811 * [taylor]: Taking taylor expansion of (/ x y) in x 7.811 * [taylor]: Taking taylor expansion of x in x 7.811 * [taylor]: Taking taylor expansion of y in x 7.811 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 7.811 * [taylor]: Taking taylor expansion of 0.5 in y 7.811 * [taylor]: Taking taylor expansion of y in y 7.811 * [taylor]: Taking taylor expansion of 0 in y 7.812 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 7.812 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 7.812 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 7.812 * [taylor]: Taking taylor expansion of (pow y 3) in y 7.812 * [taylor]: Taking taylor expansion of y in y 7.813 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 7.813 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 7.813 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.813 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.813 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.813 * [taylor]: Taking taylor expansion of 0.5 in y 7.813 * [taylor]: Taking taylor expansion of (/ y x) in y 7.813 * [taylor]: Taking taylor expansion of y in y 7.813 * [taylor]: Taking taylor expansion of x in y 7.813 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 7.813 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.813 * [taylor]: Taking taylor expansion of 0.5 in y 7.813 * [taylor]: Taking taylor expansion of (/ y x) in y 7.813 * [taylor]: Taking taylor expansion of y in y 7.813 * [taylor]: Taking taylor expansion of x in y 7.813 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 7.813 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.813 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.813 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.813 * [taylor]: Taking taylor expansion of 0.5 in x 7.813 * [taylor]: Taking taylor expansion of (/ y x) in x 7.813 * [taylor]: Taking taylor expansion of y in x 7.813 * [taylor]: Taking taylor expansion of x in x 7.813 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 7.813 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.813 * [taylor]: Taking taylor expansion of 0.5 in x 7.813 * [taylor]: Taking taylor expansion of (/ y x) in x 7.813 * [taylor]: Taking taylor expansion of y in x 7.813 * [taylor]: Taking taylor expansion of x in x 7.814 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 7.814 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.814 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.814 * [taylor]: Taking taylor expansion of 0.5 in x 7.814 * [taylor]: Taking taylor expansion of (/ y x) in x 7.814 * [taylor]: Taking taylor expansion of y in x 7.814 * [taylor]: Taking taylor expansion of x in x 7.814 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 7.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.814 * [taylor]: Taking taylor expansion of 0.5 in x 7.814 * [taylor]: Taking taylor expansion of (/ y x) in x 7.814 * [taylor]: Taking taylor expansion of y in x 7.814 * [taylor]: Taking taylor expansion of x in x 7.814 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 7.814 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.814 * [taylor]: Taking taylor expansion of 0.5 in y 7.814 * [taylor]: Taking taylor expansion of (/ y x) in y 7.814 * [taylor]: Taking taylor expansion of y in y 7.814 * [taylor]: Taking taylor expansion of x in y 7.814 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 7.814 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.814 * [taylor]: Taking taylor expansion of 0.5 in y 7.814 * [taylor]: Taking taylor expansion of (/ y x) in y 7.814 * [taylor]: Taking taylor expansion of y in y 7.814 * [taylor]: Taking taylor expansion of x in y 7.815 * [taylor]: Taking taylor expansion of 0 in y 7.815 * [taylor]: Taking taylor expansion of 0 in y 7.816 * [taylor]: Taking taylor expansion of 0 in y 7.817 * [taylor]: Taking taylor expansion of 0 in y 7.817 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 7.817 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 7.818 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.818 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.818 * [taylor]: Taking taylor expansion of 0.5 in y 7.818 * [taylor]: Taking taylor expansion of (/ y x) in y 7.818 * [taylor]: Taking taylor expansion of y in y 7.818 * [taylor]: Taking taylor expansion of x in y 7.818 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 7.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.818 * [taylor]: Taking taylor expansion of 0.5 in y 7.818 * [taylor]: Taking taylor expansion of (/ y x) in y 7.818 * [taylor]: Taking taylor expansion of y in y 7.818 * [taylor]: Taking taylor expansion of x in y 7.818 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 7.818 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.818 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.818 * [taylor]: Taking taylor expansion of 0.5 in x 7.818 * [taylor]: Taking taylor expansion of (/ y x) in x 7.818 * [taylor]: Taking taylor expansion of y in x 7.818 * [taylor]: Taking taylor expansion of x in x 7.818 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 7.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.818 * [taylor]: Taking taylor expansion of 0.5 in x 7.818 * [taylor]: Taking taylor expansion of (/ y x) in x 7.818 * [taylor]: Taking taylor expansion of y in x 7.818 * [taylor]: Taking taylor expansion of x in x 7.818 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 7.818 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.818 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.819 * [taylor]: Taking taylor expansion of 0.5 in x 7.819 * [taylor]: Taking taylor expansion of (/ y x) in x 7.819 * [taylor]: Taking taylor expansion of y in x 7.819 * [taylor]: Taking taylor expansion of x in x 7.819 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 7.819 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.819 * [taylor]: Taking taylor expansion of 0.5 in x 7.819 * [taylor]: Taking taylor expansion of (/ y x) in x 7.819 * [taylor]: Taking taylor expansion of y in x 7.819 * [taylor]: Taking taylor expansion of x in x 7.819 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 7.819 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.819 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.819 * [taylor]: Taking taylor expansion of 0.5 in y 7.819 * [taylor]: Taking taylor expansion of (/ y x) in y 7.819 * [taylor]: Taking taylor expansion of y in y 7.819 * [taylor]: Taking taylor expansion of x in y 7.819 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 7.819 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.819 * [taylor]: Taking taylor expansion of 0.5 in y 7.819 * [taylor]: Taking taylor expansion of (/ y x) in y 7.819 * [taylor]: Taking taylor expansion of y in y 7.819 * [taylor]: Taking taylor expansion of x in y 7.819 * [taylor]: Taking taylor expansion of 0 in y 7.820 * [taylor]: Taking taylor expansion of 0 in y 7.821 * [taylor]: Taking taylor expansion of 0 in y 7.822 * [taylor]: Taking taylor expansion of 0 in y 7.822 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 7.822 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0 7.822 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 7.822 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 7.822 * [taylor]: Taking taylor expansion of 0.5 in y 7.822 * [taylor]: Taking taylor expansion of (/ x y) in y 7.823 * [taylor]: Taking taylor expansion of x in y 7.823 * [taylor]: Taking taylor expansion of y in y 7.823 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 7.823 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.823 * [taylor]: Taking taylor expansion of 0.5 in x 7.823 * [taylor]: Taking taylor expansion of (/ x y) in x 7.823 * [taylor]: Taking taylor expansion of x in x 7.823 * [taylor]: Taking taylor expansion of y in x 7.823 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 7.823 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.823 * [taylor]: Taking taylor expansion of 0.5 in x 7.823 * [taylor]: Taking taylor expansion of (/ x y) in x 7.823 * [taylor]: Taking taylor expansion of x in x 7.823 * [taylor]: Taking taylor expansion of y in x 7.823 * [taylor]: Taking taylor expansion of 0 in y 7.823 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 7.823 * [taylor]: Taking taylor expansion of 0.5 in y 7.823 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.823 * [taylor]: Taking taylor expansion of y in y 7.823 * [taylor]: Taking taylor expansion of 0 in y 7.823 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 7.824 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.824 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.824 * [taylor]: Taking taylor expansion of 0.5 in y 7.824 * [taylor]: Taking taylor expansion of (/ y x) in y 7.824 * [taylor]: Taking taylor expansion of y in y 7.824 * [taylor]: Taking taylor expansion of x in y 7.824 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.824 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.824 * [taylor]: Taking taylor expansion of 0.5 in x 7.824 * [taylor]: Taking taylor expansion of (/ y x) in x 7.824 * [taylor]: Taking taylor expansion of y in x 7.824 * [taylor]: Taking taylor expansion of x in x 7.824 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.824 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.824 * [taylor]: Taking taylor expansion of 0.5 in x 7.824 * [taylor]: Taking taylor expansion of (/ y x) in x 7.824 * [taylor]: Taking taylor expansion of y in x 7.824 * [taylor]: Taking taylor expansion of x in x 7.824 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.824 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.824 * [taylor]: Taking taylor expansion of 0.5 in y 7.824 * [taylor]: Taking taylor expansion of (/ y x) in y 7.824 * [taylor]: Taking taylor expansion of y in y 7.824 * [taylor]: Taking taylor expansion of x in y 7.824 * [taylor]: Taking taylor expansion of 0 in y 7.824 * [taylor]: Taking taylor expansion of 0 in y 7.824 * [taylor]: Taking taylor expansion of 0 in y 7.825 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 7.825 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.825 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.825 * [taylor]: Taking taylor expansion of 0.5 in y 7.825 * [taylor]: Taking taylor expansion of (/ y x) in y 7.825 * [taylor]: Taking taylor expansion of y in y 7.825 * [taylor]: Taking taylor expansion of x in y 7.825 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.825 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.825 * [taylor]: Taking taylor expansion of 0.5 in x 7.825 * [taylor]: Taking taylor expansion of (/ y x) in x 7.825 * [taylor]: Taking taylor expansion of y in x 7.825 * [taylor]: Taking taylor expansion of x in x 7.825 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.825 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.825 * [taylor]: Taking taylor expansion of 0.5 in x 7.825 * [taylor]: Taking taylor expansion of (/ y x) in x 7.828 * [taylor]: Taking taylor expansion of y in x 7.828 * [taylor]: Taking taylor expansion of x in x 7.828 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.828 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.828 * [taylor]: Taking taylor expansion of 0.5 in y 7.828 * [taylor]: Taking taylor expansion of (/ y x) in y 7.828 * [taylor]: Taking taylor expansion of y in y 7.828 * [taylor]: Taking taylor expansion of x in y 7.828 * [taylor]: Taking taylor expansion of 0 in y 7.829 * [taylor]: Taking taylor expansion of 0 in y 7.829 * [taylor]: Taking taylor expansion of 0 in y 7.829 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.829 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in (x y) around 0 7.829 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in y 7.829 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 7.829 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 7.829 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 7.829 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 7.829 * [taylor]: Taking taylor expansion of 0.5 in y 7.829 * [taylor]: Taking taylor expansion of (/ x y) in y 7.829 * [taylor]: Taking taylor expansion of x in y 7.829 * [taylor]: Taking taylor expansion of y in y 7.829 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 7.829 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 7.829 * [taylor]: Taking taylor expansion of 0.5 in y 7.829 * [taylor]: Taking taylor expansion of (/ x y) in y 7.829 * [taylor]: Taking taylor expansion of x in y 7.829 * [taylor]: Taking taylor expansion of y in y 7.830 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 7.830 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 7.830 * [taylor]: Taking taylor expansion of 0.5 in y 7.830 * [taylor]: Taking taylor expansion of (/ x y) in y 7.830 * [taylor]: Taking taylor expansion of x in y 7.830 * [taylor]: Taking taylor expansion of y in y 7.830 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 7.830 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 7.830 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 7.830 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 7.830 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.830 * [taylor]: Taking taylor expansion of 0.5 in x 7.830 * [taylor]: Taking taylor expansion of (/ x y) in x 7.830 * [taylor]: Taking taylor expansion of x in x 7.830 * [taylor]: Taking taylor expansion of y in x 7.830 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 7.830 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.830 * [taylor]: Taking taylor expansion of 0.5 in x 7.830 * [taylor]: Taking taylor expansion of (/ x y) in x 7.830 * [taylor]: Taking taylor expansion of x in x 7.830 * [taylor]: Taking taylor expansion of y in x 7.831 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 7.831 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.831 * [taylor]: Taking taylor expansion of 0.5 in x 7.831 * [taylor]: Taking taylor expansion of (/ x y) in x 7.831 * [taylor]: Taking taylor expansion of x in x 7.831 * [taylor]: Taking taylor expansion of y in x 7.831 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x 7.831 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 7.831 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 7.831 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 7.831 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.831 * [taylor]: Taking taylor expansion of 0.5 in x 7.831 * [taylor]: Taking taylor expansion of (/ x y) in x 7.831 * [taylor]: Taking taylor expansion of x in x 7.831 * [taylor]: Taking taylor expansion of y in x 7.831 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 7.831 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.831 * [taylor]: Taking taylor expansion of 0.5 in x 7.831 * [taylor]: Taking taylor expansion of (/ x y) in x 7.831 * [taylor]: Taking taylor expansion of x in x 7.831 * [taylor]: Taking taylor expansion of y in x 7.831 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 7.831 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 7.831 * [taylor]: Taking taylor expansion of 0.5 in x 7.831 * [taylor]: Taking taylor expansion of (/ x y) in x 7.831 * [taylor]: Taking taylor expansion of x in x 7.831 * [taylor]: Taking taylor expansion of y in x 7.832 * [taylor]: Taking taylor expansion of 1.0 in y 7.832 * [taylor]: Taking taylor expansion of 0 in y 7.833 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 (pow y 2))) in y 7.833 * [taylor]: Taking taylor expansion of 0.125 in y 7.833 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.833 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.833 * [taylor]: Taking taylor expansion of y in y 7.835 * [taylor]: Taking taylor expansion of 0 in y 7.835 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 7.835 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 7.835 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 7.835 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.835 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.835 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.835 * [taylor]: Taking taylor expansion of 0.5 in y 7.835 * [taylor]: Taking taylor expansion of (/ y x) in y 7.835 * [taylor]: Taking taylor expansion of y in y 7.835 * [taylor]: Taking taylor expansion of x in y 7.835 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 7.835 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.835 * [taylor]: Taking taylor expansion of 0.5 in y 7.835 * [taylor]: Taking taylor expansion of (/ y x) in y 7.835 * [taylor]: Taking taylor expansion of y in y 7.835 * [taylor]: Taking taylor expansion of x in y 7.836 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.836 * [taylor]: Taking taylor expansion of 0.5 in y 7.836 * [taylor]: Taking taylor expansion of (/ y x) in y 7.836 * [taylor]: Taking taylor expansion of y in y 7.836 * [taylor]: Taking taylor expansion of x in y 7.836 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 7.836 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 7.836 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.836 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.836 * [taylor]: Taking taylor expansion of 0.5 in x 7.836 * [taylor]: Taking taylor expansion of (/ y x) in x 7.836 * [taylor]: Taking taylor expansion of y in x 7.836 * [taylor]: Taking taylor expansion of x in x 7.836 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 7.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.836 * [taylor]: Taking taylor expansion of 0.5 in x 7.836 * [taylor]: Taking taylor expansion of (/ y x) in x 7.836 * [taylor]: Taking taylor expansion of y in x 7.836 * [taylor]: Taking taylor expansion of x in x 7.836 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.836 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.836 * [taylor]: Taking taylor expansion of 0.5 in x 7.836 * [taylor]: Taking taylor expansion of (/ y x) in x 7.836 * [taylor]: Taking taylor expansion of y in x 7.836 * [taylor]: Taking taylor expansion of x in x 7.837 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 7.837 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 7.837 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.837 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.837 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.837 * [taylor]: Taking taylor expansion of 0.5 in x 7.837 * [taylor]: Taking taylor expansion of (/ y x) in x 7.837 * [taylor]: Taking taylor expansion of y in x 7.837 * [taylor]: Taking taylor expansion of x in x 7.837 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 7.837 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.837 * [taylor]: Taking taylor expansion of 0.5 in x 7.837 * [taylor]: Taking taylor expansion of (/ y x) in x 7.837 * [taylor]: Taking taylor expansion of y in x 7.837 * [taylor]: Taking taylor expansion of x in x 7.837 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.837 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.837 * [taylor]: Taking taylor expansion of 0.5 in x 7.837 * [taylor]: Taking taylor expansion of (/ y x) in x 7.837 * [taylor]: Taking taylor expansion of y in x 7.837 * [taylor]: Taking taylor expansion of x in x 7.837 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 7.837 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 7.837 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.837 * [taylor]: Taking taylor expansion of 0.5 in y 7.837 * [taylor]: Taking taylor expansion of (/ y x) in y 7.837 * [taylor]: Taking taylor expansion of y in y 7.837 * [taylor]: Taking taylor expansion of x in y 7.838 * [taylor]: Taking taylor expansion of 0 in y 7.838 * [taylor]: Taking taylor expansion of 0 in y 7.839 * [taylor]: Taking taylor expansion of 0 in y 7.840 * [taylor]: Taking taylor expansion of 0 in y 7.840 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0 7.840 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y 7.840 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 7.840 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.840 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.840 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.840 * [taylor]: Taking taylor expansion of 0.5 in y 7.840 * [taylor]: Taking taylor expansion of (/ y x) in y 7.841 * [taylor]: Taking taylor expansion of y in y 7.841 * [taylor]: Taking taylor expansion of x in y 7.841 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 7.841 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.841 * [taylor]: Taking taylor expansion of 0.5 in y 7.841 * [taylor]: Taking taylor expansion of (/ y x) in y 7.841 * [taylor]: Taking taylor expansion of y in y 7.841 * [taylor]: Taking taylor expansion of x in y 7.841 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 7.841 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.841 * [taylor]: Taking taylor expansion of 0.5 in y 7.841 * [taylor]: Taking taylor expansion of (/ y x) in y 7.841 * [taylor]: Taking taylor expansion of y in y 7.841 * [taylor]: Taking taylor expansion of x in y 7.841 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 7.841 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 7.841 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.841 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.841 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.841 * [taylor]: Taking taylor expansion of 0.5 in x 7.841 * [taylor]: Taking taylor expansion of (/ y x) in x 7.841 * [taylor]: Taking taylor expansion of y in x 7.841 * [taylor]: Taking taylor expansion of x in x 7.841 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 7.841 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.841 * [taylor]: Taking taylor expansion of 0.5 in x 7.841 * [taylor]: Taking taylor expansion of (/ y x) in x 7.841 * [taylor]: Taking taylor expansion of y in x 7.841 * [taylor]: Taking taylor expansion of x in x 7.842 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.842 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.842 * [taylor]: Taking taylor expansion of 0.5 in x 7.842 * [taylor]: Taking taylor expansion of (/ y x) in x 7.842 * [taylor]: Taking taylor expansion of y in x 7.842 * [taylor]: Taking taylor expansion of x in x 7.842 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x 7.842 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 7.842 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 7.842 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.842 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.842 * [taylor]: Taking taylor expansion of 0.5 in x 7.842 * [taylor]: Taking taylor expansion of (/ y x) in x 7.842 * [taylor]: Taking taylor expansion of y in x 7.842 * [taylor]: Taking taylor expansion of x in x 7.842 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 7.842 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.842 * [taylor]: Taking taylor expansion of 0.5 in x 7.842 * [taylor]: Taking taylor expansion of (/ y x) in x 7.842 * [taylor]: Taking taylor expansion of y in x 7.842 * [taylor]: Taking taylor expansion of x in x 7.842 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 7.842 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 7.842 * [taylor]: Taking taylor expansion of 0.5 in x 7.842 * [taylor]: Taking taylor expansion of (/ y x) in x 7.842 * [taylor]: Taking taylor expansion of y in x 7.842 * [taylor]: Taking taylor expansion of x in x 7.843 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y 7.843 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 7.843 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 7.843 * [taylor]: Taking taylor expansion of 0.5 in y 7.843 * [taylor]: Taking taylor expansion of (/ y x) in y 7.843 * [taylor]: Taking taylor expansion of y in y 7.843 * [taylor]: Taking taylor expansion of x in y 7.843 * [taylor]: Taking taylor expansion of 0 in y 7.844 * [taylor]: Taking taylor expansion of 0 in y 7.844 * [taylor]: Taking taylor expansion of 0 in y 7.845 * [taylor]: Taking taylor expansion of 0 in y 7.846 * * * [progress]: simplifying candidates 7.846 * [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) 7.851 * * [simplify]: iteration 0 : 138 enodes (cost 457 ) 7.854 * * [simplify]: iteration 1 : 421 enodes (cost 413 ) 7.862 * * [simplify]: iteration 2 : 1751 enodes (cost 413 ) 7.895 * * [simplify]: iteration 3 : 5002 enodes (cost 413 ) 7.898 * [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))) (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 (+ (* 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) 7.898 * * * [progress]: adding candidates to table 8.021 * * [progress]: iteration 2 / 4 8.021 * * * [progress]: picking best candidate 8.083 * * * * [pick]: Picked # 8.083 * * * [progress]: localizing error 8.084 * * * [progress]: generating rewritten candidates 8.084 * * * [progress]: generating series expansions 8.084 * * * [progress]: simplifying candidates 8.084 * [simplify]: Simplifying using # : 8.086 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 8.086 * [simplify]: Simplified to: 8.086 * * * [progress]: adding candidates to table 8.086 * * [progress]: iteration 3 / 4 8.086 * * * [progress]: picking best candidate 8.146 * * * * [pick]: Picked # 8.146 * * * [progress]: localizing error 8.154 * * * [progress]: generating rewritten candidates 8.154 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 8.161 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 8.193 * * * [progress]: generating series expansions 8.193 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 8.193 * [approximate]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in (x y) around 0 8.193 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in y 8.193 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.193 * [taylor]: Taking taylor expansion of x in y 8.193 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.193 * [taylor]: Taking taylor expansion of y in y 8.194 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x 8.194 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.194 * [taylor]: Taking taylor expansion of x in x 8.194 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.194 * [taylor]: Taking taylor expansion of y in x 8.194 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x 8.194 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.194 * [taylor]: Taking taylor expansion of x in x 8.194 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.194 * [taylor]: Taking taylor expansion of y in x 8.194 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 8.194 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.194 * [taylor]: Taking taylor expansion of y in y 8.194 * [taylor]: Taking taylor expansion of 0 in y 8.195 * [taylor]: Taking taylor expansion of 0 in y 8.195 * [taylor]: Taking taylor expansion of 0 in y 8.195 * [taylor]: Taking taylor expansion of 0 in y 8.196 * [approximate]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in (x y) around 0 8.196 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y 8.196 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.196 * [taylor]: Taking taylor expansion of y in y 8.196 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.196 * [taylor]: Taking taylor expansion of x in y 8.196 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 8.196 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.196 * [taylor]: Taking taylor expansion of y in x 8.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.196 * [taylor]: Taking taylor expansion of x in x 8.196 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 8.196 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.196 * [taylor]: Taking taylor expansion of y in x 8.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.196 * [taylor]: Taking taylor expansion of x in x 8.196 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.196 * [taylor]: Taking taylor expansion of y in y 8.196 * [taylor]: Taking taylor expansion of 0 in y 8.197 * [taylor]: Taking taylor expansion of 0 in y 8.197 * [taylor]: Taking taylor expansion of 0 in y 8.197 * [approximate]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in (x y) around 0 8.197 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y 8.197 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.197 * [taylor]: Taking taylor expansion of y in y 8.197 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.197 * [taylor]: Taking taylor expansion of x in y 8.197 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 8.197 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.197 * [taylor]: Taking taylor expansion of y in x 8.197 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.197 * [taylor]: Taking taylor expansion of x in x 8.197 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 8.198 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.198 * [taylor]: Taking taylor expansion of y in x 8.198 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.198 * [taylor]: Taking taylor expansion of x in x 8.198 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.198 * [taylor]: Taking taylor expansion of y in y 8.198 * [taylor]: Taking taylor expansion of 0 in y 8.198 * [taylor]: Taking taylor expansion of 0 in y 8.198 * [taylor]: Taking taylor expansion of 0 in y 8.198 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 8.199 * [approximate]: Taking taylor expansion of (* 0.125 (/ (pow x 2) (pow y 2))) in (x y) around 0 8.199 * [taylor]: Taking taylor expansion of (* 0.125 (/ (pow x 2) (pow y 2))) in y 8.199 * [taylor]: Taking taylor expansion of 0.125 in y 8.199 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in y 8.199 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.199 * [taylor]: Taking taylor expansion of x in y 8.199 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.199 * [taylor]: Taking taylor expansion of y in y 8.199 * [taylor]: Taking taylor expansion of (* 0.125 (/ (pow x 2) (pow y 2))) in x 8.199 * [taylor]: Taking taylor expansion of 0.125 in x 8.199 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x 8.199 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.199 * [taylor]: Taking taylor expansion of x in x 8.199 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.199 * [taylor]: Taking taylor expansion of y in x 8.199 * [taylor]: Taking taylor expansion of (* 0.125 (/ (pow x 2) (pow y 2))) in x 8.199 * [taylor]: Taking taylor expansion of 0.125 in x 8.199 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow y 2)) in x 8.199 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.199 * [taylor]: Taking taylor expansion of x in x 8.199 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.199 * [taylor]: Taking taylor expansion of y in x 8.199 * [taylor]: Taking taylor expansion of (/ 0.125 (pow y 2)) in y 8.199 * [taylor]: Taking taylor expansion of 0.125 in y 8.199 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.199 * [taylor]: Taking taylor expansion of y in y 8.200 * [taylor]: Taking taylor expansion of 0 in y 8.200 * [taylor]: Taking taylor expansion of 0 in y 8.201 * [taylor]: Taking taylor expansion of 0 in y 8.201 * [taylor]: Taking taylor expansion of 0 in y 8.201 * [approximate]: Taking taylor expansion of (* 0.125 (/ (pow y 2) (pow x 2))) in (x y) around 0 8.201 * [taylor]: Taking taylor expansion of (* 0.125 (/ (pow y 2) (pow x 2))) in y 8.201 * [taylor]: Taking taylor expansion of 0.125 in y 8.201 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y 8.202 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.202 * [taylor]: Taking taylor expansion of y in y 8.202 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.202 * [taylor]: Taking taylor expansion of x in y 8.202 * [taylor]: Taking taylor expansion of (* 0.125 (/ (pow y 2) (pow x 2))) in x 8.202 * [taylor]: Taking taylor expansion of 0.125 in x 8.202 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 8.202 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.202 * [taylor]: Taking taylor expansion of y in x 8.202 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.202 * [taylor]: Taking taylor expansion of x in x 8.202 * [taylor]: Taking taylor expansion of (* 0.125 (/ (pow y 2) (pow x 2))) in x 8.202 * [taylor]: Taking taylor expansion of 0.125 in x 8.202 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 8.202 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.202 * [taylor]: Taking taylor expansion of y in x 8.202 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.202 * [taylor]: Taking taylor expansion of x in x 8.202 * [taylor]: Taking taylor expansion of (* 0.125 (pow y 2)) in y 8.202 * [taylor]: Taking taylor expansion of 0.125 in y 8.202 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.202 * [taylor]: Taking taylor expansion of y in y 8.202 * [taylor]: Taking taylor expansion of 0 in y 8.203 * [taylor]: Taking taylor expansion of 0 in y 8.203 * [taylor]: Taking taylor expansion of 0 in y 8.203 * [approximate]: Taking taylor expansion of (* 0.125 (/ (pow y 2) (pow x 2))) in (x y) around 0 8.203 * [taylor]: Taking taylor expansion of (* 0.125 (/ (pow y 2) (pow x 2))) in y 8.203 * [taylor]: Taking taylor expansion of 0.125 in y 8.203 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in y 8.203 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.203 * [taylor]: Taking taylor expansion of y in y 8.203 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.203 * [taylor]: Taking taylor expansion of x in y 8.203 * [taylor]: Taking taylor expansion of (* 0.125 (/ (pow y 2) (pow x 2))) in x 8.204 * [taylor]: Taking taylor expansion of 0.125 in x 8.204 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 8.204 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.204 * [taylor]: Taking taylor expansion of y in x 8.204 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.204 * [taylor]: Taking taylor expansion of x in x 8.204 * [taylor]: Taking taylor expansion of (* 0.125 (/ (pow y 2) (pow x 2))) in x 8.204 * [taylor]: Taking taylor expansion of 0.125 in x 8.204 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow x 2)) in x 8.204 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.204 * [taylor]: Taking taylor expansion of y in x 8.204 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.204 * [taylor]: Taking taylor expansion of x in x 8.204 * [taylor]: Taking taylor expansion of (* 0.125 (pow y 2)) in y 8.204 * [taylor]: Taking taylor expansion of 0.125 in y 8.204 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.204 * [taylor]: Taking taylor expansion of y in y 8.204 * [taylor]: Taking taylor expansion of 0 in y 8.204 * [taylor]: Taking taylor expansion of 0 in y 8.205 * [taylor]: Taking taylor expansion of 0 in y 8.205 * * * [progress]: simplifying candidates 8.208 * [simplify]: Simplifying using # : (- (* (log x) 2) (* (log y) 2)) (- (* (log x) 2) (* (log y) 2)) (- (* (log x) 2) (log (pow y 2))) (- (* (log x) 2) (* (log y) 2)) (- (* (log x) 2) (* (log y) 2)) (- (* (log x) 2) (log (pow y 2))) (- (log (pow x 2)) (* (log y) 2)) (- (log (pow x 2)) (* (log y) 2)) (- (log (pow x 2)) (log (pow y 2))) (log (/ (pow x 2) (pow y 2))) (exp (/ (pow x 2) (pow y 2))) (/ (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (pow y 2) (pow y 2)) (pow y 2))) (* (cbrt (/ (pow x 2) (pow y 2))) (cbrt (/ (pow x 2) (pow y 2)))) (cbrt (/ (pow x 2) (pow y 2))) (* (* (/ (pow x 2) (pow y 2)) (/ (pow x 2) (pow y 2))) (/ (pow x 2) (pow y 2))) (sqrt (/ (pow x 2) (pow y 2))) (sqrt (/ (pow x 2) (pow y 2))) (neg (pow x 2)) (neg (pow y 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) (pow (* (cbrt y) (cbrt y)) 2)) (/ (pow (cbrt x) 2) (pow (cbrt y) 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) (pow (sqrt y) 2)) (/ (pow (cbrt x) 2) (pow (sqrt y) 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) (pow 1 2)) (/ (pow (cbrt x) 2) (pow y 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) y) (/ (pow (cbrt x) 2) y) (/ (pow (* (cbrt x) (cbrt x)) 2) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (pow (cbrt x) 2) (cbrt (pow y 2))) (/ (pow (* (cbrt x) (cbrt x)) 2) (sqrt (pow y 2))) (/ (pow (cbrt x) 2) (sqrt (pow y 2))) (/ (pow (* (cbrt x) (cbrt x)) 2) 1) (/ (pow (cbrt x) 2) (pow y 2)) (/ (pow (* (cbrt x) (cbrt x)) 2) (pow y (/ 2 2))) (/ (pow (cbrt x) 2) (pow y (/ 2 2))) (/ (pow (sqrt x) 2) (pow (* (cbrt y) (cbrt y)) 2)) (/ (pow (sqrt x) 2) (pow (cbrt y) 2)) (/ (pow (sqrt x) 2) (pow (sqrt y) 2)) (/ (pow (sqrt x) 2) (pow (sqrt y) 2)) (/ (pow (sqrt x) 2) (pow 1 2)) (/ (pow (sqrt x) 2) (pow y 2)) (/ (pow (sqrt x) 2) y) (/ (pow (sqrt x) 2) y) (/ (pow (sqrt x) 2) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (pow (sqrt x) 2) (cbrt (pow y 2))) (/ (pow (sqrt x) 2) (sqrt (pow y 2))) (/ (pow (sqrt x) 2) (sqrt (pow y 2))) (/ (pow (sqrt x) 2) 1) (/ (pow (sqrt x) 2) (pow y 2)) (/ (pow (sqrt x) 2) (pow y (/ 2 2))) (/ (pow (sqrt x) 2) (pow y (/ 2 2))) (/ (pow 1 2) (pow (* (cbrt y) (cbrt y)) 2)) (/ (pow x 2) (pow (cbrt y) 2)) (/ (pow 1 2) (pow (sqrt y) 2)) (/ (pow x 2) (pow (sqrt y) 2)) (/ (pow 1 2) (pow 1 2)) (/ (pow x 2) (pow y 2)) (/ (pow 1 2) y) (/ (pow x 2) y) (/ (pow 1 2) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (pow x 2) (cbrt (pow y 2))) (/ (pow 1 2) (sqrt (pow y 2))) (/ (pow x 2) (sqrt (pow y 2))) (/ (pow 1 2) 1) (/ (pow x 2) (pow y 2)) (/ (pow 1 2) (pow y (/ 2 2))) (/ (pow x 2) (pow y (/ 2 2))) (/ x (pow (* (cbrt y) (cbrt y)) 2)) (/ x (pow (cbrt y) 2)) (/ x (pow (sqrt y) 2)) (/ x (pow (sqrt y) 2)) (/ x (pow 1 2)) (/ x (pow y 2)) (/ x y) (/ x y) (/ x (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ x (cbrt (pow y 2))) (/ x (sqrt (pow y 2))) (/ x (sqrt (pow y 2))) (/ x 1) (/ x (pow y 2)) (/ x (pow y (/ 2 2))) (/ x (pow y (/ 2 2))) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (pow (* (cbrt y) (cbrt y)) 2)) (/ (cbrt (pow x 2)) (pow (cbrt y) 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (pow (sqrt y) 2)) (/ (cbrt (pow x 2)) (pow (sqrt y) 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (pow 1 2)) (/ (cbrt (pow x 2)) (pow y 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) y) (/ (cbrt (pow x 2)) y) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (cbrt (pow x 2)) (cbrt (pow y 2))) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt (pow y 2))) (/ (cbrt (pow x 2)) (sqrt (pow y 2))) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) 1) (/ (cbrt (pow x 2)) (pow y 2)) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (pow y (/ 2 2))) (/ (cbrt (pow x 2)) (pow y (/ 2 2))) (/ (sqrt (pow x 2)) (pow (* (cbrt y) (cbrt y)) 2)) (/ (sqrt (pow x 2)) (pow (cbrt y) 2)) (/ (sqrt (pow x 2)) (pow (sqrt y) 2)) (/ (sqrt (pow x 2)) (pow (sqrt y) 2)) (/ (sqrt (pow x 2)) (pow 1 2)) (/ (sqrt (pow x 2)) (pow y 2)) (/ (sqrt (pow x 2)) y) (/ (sqrt (pow x 2)) y) (/ (sqrt (pow x 2)) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (sqrt (pow x 2)) (cbrt (pow y 2))) (/ (sqrt (pow x 2)) (sqrt (pow y 2))) (/ (sqrt (pow x 2)) (sqrt (pow y 2))) (/ (sqrt (pow x 2)) 1) (/ (sqrt (pow x 2)) (pow y 2)) (/ (sqrt (pow x 2)) (pow y (/ 2 2))) (/ (sqrt (pow x 2)) (pow y (/ 2 2))) (/ 1 (pow (* (cbrt y) (cbrt y)) 2)) (/ (pow x 2) (pow (cbrt y) 2)) (/ 1 (pow (sqrt y) 2)) (/ (pow x 2) (pow (sqrt y) 2)) (/ 1 (pow 1 2)) (/ (pow x 2) (pow y 2)) (/ 1 y) (/ (pow x 2) y) (/ 1 (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (pow x 2) (cbrt (pow y 2))) (/ 1 (sqrt (pow y 2))) (/ (pow x 2) (sqrt (pow y 2))) (/ 1 1) (/ (pow x 2) (pow y 2)) (/ 1 (pow y (/ 2 2))) (/ (pow x 2) (pow y (/ 2 2))) (/ (pow x (/ 2 2)) (pow (* (cbrt y) (cbrt y)) 2)) (/ (pow x (/ 2 2)) (pow (cbrt y) 2)) (/ (pow x (/ 2 2)) (pow (sqrt y) 2)) (/ (pow x (/ 2 2)) (pow (sqrt y) 2)) (/ (pow x (/ 2 2)) (pow 1 2)) (/ (pow x (/ 2 2)) (pow y 2)) (/ (pow x (/ 2 2)) y) (/ (pow x (/ 2 2)) y) (/ (pow x (/ 2 2)) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (pow x (/ 2 2)) (cbrt (pow y 2))) (/ (pow x (/ 2 2)) (sqrt (pow y 2))) (/ (pow x (/ 2 2)) (sqrt (pow y 2))) (/ (pow x (/ 2 2)) 1) (/ (pow x (/ 2 2)) (pow y 2)) (/ (pow x (/ 2 2)) (pow y (/ 2 2))) (/ (pow x (/ 2 2)) (pow y (/ 2 2))) (/ 1 (pow y 2)) (/ (pow y 2) (pow x 2)) (/ (pow x 2) (pow (* (cbrt y) (cbrt y)) 2)) (/ (pow x 2) (pow (sqrt y) 2)) (/ (pow x 2) (pow 1 2)) (/ (pow x 2) y) (/ (pow x 2) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (pow x 2) (sqrt (pow y 2))) (/ (pow x 2) 1) (/ (pow x 2) (pow y (/ 2 2))) (/ (pow y 2) (pow (cbrt x) 2)) (/ (pow y 2) (pow (sqrt x) 2)) (/ (pow y 2) (pow x 2)) (/ (pow y 2) x) (/ (pow y 2) (cbrt (pow x 2))) (/ (pow y 2) (sqrt (pow x 2))) (/ (pow y 2) (pow x 2)) (/ (pow y 2) (pow x (/ 2 2))) (* 0.125 (/ (pow x 2) (pow y 2))) (+ (log 0.125) (- (* (log x) 2) (* (log y) 2))) (+ (log 0.125) (- (* (log x) 2) (* (log y) 2))) (+ (log 0.125) (- (* (log x) 2) (log (pow y 2)))) (+ (log 0.125) (- (* (log x) 2) (* (log y) 2))) (+ (log 0.125) (- (* (log x) 2) (* (log y) 2))) (+ (log 0.125) (- (* (log x) 2) (log (pow y 2)))) (+ (log 0.125) (- (log (pow x 2)) (* (log y) 2))) (+ (log 0.125) (- (log (pow x 2)) (* (log y) 2))) (+ (log 0.125) (- (log (pow x 2)) (log (pow y 2)))) (+ (log 0.125) (log (/ (pow x 2) (pow y 2)))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (exp (* 0.125 (/ (pow x 2) (pow y 2)))) (* (* (* 0.125 0.125) 0.125) (/ (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (pow y 2) (pow y 2)) (pow y 2)))) (* (* (* 0.125 0.125) 0.125) (* (* (/ (pow x 2) (pow y 2)) (/ (pow x 2) (pow y 2))) (/ (pow x 2) (pow y 2)))) (* (cbrt (* 0.125 (/ (pow x 2) (pow y 2)))) (cbrt (* 0.125 (/ (pow x 2) (pow y 2))))) (cbrt (* 0.125 (/ (pow x 2) (pow y 2)))) (* (* (* 0.125 (/ (pow x 2) (pow y 2))) (* 0.125 (/ (pow x 2) (pow y 2)))) (* 0.125 (/ (pow x 2) (pow y 2)))) (sqrt (* 0.125 (/ (pow x 2) (pow y 2)))) (sqrt (* 0.125 (/ (pow x 2) (pow y 2)))) (* (sqrt 0.125) (sqrt (/ (pow x 2) (pow y 2)))) (* (sqrt 0.125) (sqrt (/ (pow x 2) (pow y 2)))) (* (sqrt 0.125) (/ (pow (sqrt x) 2) (pow (sqrt y) 2))) (* (sqrt 0.125) (/ (pow (sqrt x) 2) (pow (sqrt y) 2))) (* (sqrt 0.125) (/ (pow (sqrt x) 2) y)) (* (sqrt 0.125) (/ (pow (sqrt x) 2) y)) (* (sqrt 0.125) (/ (pow (sqrt x) 2) (sqrt (pow y 2)))) (* (sqrt 0.125) (/ (pow (sqrt x) 2) (sqrt (pow y 2)))) (* (sqrt 0.125) (/ (pow (sqrt x) 2) (pow y (/ 2 2)))) (* (sqrt 0.125) (/ (pow (sqrt x) 2) (pow y (/ 2 2)))) (* (sqrt 0.125) (/ x (pow (sqrt y) 2))) (* (sqrt 0.125) (/ x (pow (sqrt y) 2))) (* (sqrt 0.125) (/ x y)) (* (sqrt 0.125) (/ x y)) (* (sqrt 0.125) (/ x (sqrt (pow y 2)))) (* (sqrt 0.125) (/ x (sqrt (pow y 2)))) (* (sqrt 0.125) (/ x (pow y (/ 2 2)))) (* (sqrt 0.125) (/ x (pow y (/ 2 2)))) (* (sqrt 0.125) (/ (sqrt (pow x 2)) (pow (sqrt y) 2))) (* (sqrt 0.125) (/ (sqrt (pow x 2)) (pow (sqrt y) 2))) (* (sqrt 0.125) (/ (sqrt (pow x 2)) y)) (* (sqrt 0.125) (/ (sqrt (pow x 2)) y)) (* (sqrt 0.125) (/ (sqrt (pow x 2)) (sqrt (pow y 2)))) (* (sqrt 0.125) (/ (sqrt (pow x 2)) (sqrt (pow y 2)))) (* (sqrt 0.125) (/ (sqrt (pow x 2)) (pow y (/ 2 2)))) (* (sqrt 0.125) (/ (sqrt (pow x 2)) (pow y (/ 2 2)))) (* (sqrt 0.125) (/ (pow x (/ 2 2)) (pow (sqrt y) 2))) (* (sqrt 0.125) (/ (pow x (/ 2 2)) (pow (sqrt y) 2))) (* (sqrt 0.125) (/ (pow x (/ 2 2)) y)) (* (sqrt 0.125) (/ (pow x (/ 2 2)) y)) (* (sqrt 0.125) (/ (pow x (/ 2 2)) (sqrt (pow y 2)))) (* (sqrt 0.125) (/ (pow x (/ 2 2)) (sqrt (pow y 2)))) (* (sqrt 0.125) (/ (pow x (/ 2 2)) (pow y (/ 2 2)))) (* (sqrt 0.125) (/ (pow x (/ 2 2)) (pow y (/ 2 2)))) (* 0.125 (* (cbrt (/ (pow x 2) (pow y 2))) (cbrt (/ (pow x 2) (pow y 2))))) (* 0.125 (sqrt (/ (pow x 2) (pow y 2)))) (* 0.125 (/ (pow (* (cbrt x) (cbrt x)) 2) (pow (* (cbrt y) (cbrt y)) 2))) (* 0.125 (/ (pow (* (cbrt x) (cbrt x)) 2) (pow (sqrt y) 2))) (* 0.125 (/ (pow (* (cbrt x) (cbrt x)) 2) (pow 1 2))) (* 0.125 (/ (pow (* (cbrt x) (cbrt x)) 2) y)) (* 0.125 (/ (pow (* (cbrt x) (cbrt x)) 2) (* (cbrt (pow y 2)) (cbrt (pow y 2))))) (* 0.125 (/ (pow (* (cbrt x) (cbrt x)) 2) (sqrt (pow y 2)))) (* 0.125 (/ (pow (* (cbrt x) (cbrt x)) 2) 1)) (* 0.125 (/ (pow (* (cbrt x) (cbrt x)) 2) (pow y (/ 2 2)))) (* 0.125 (/ (pow (sqrt x) 2) (pow (* (cbrt y) (cbrt y)) 2))) (* 0.125 (/ (pow (sqrt x) 2) (pow (sqrt y) 2))) (* 0.125 (/ (pow (sqrt x) 2) (pow 1 2))) (* 0.125 (/ (pow (sqrt x) 2) y)) (* 0.125 (/ (pow (sqrt x) 2) (* (cbrt (pow y 2)) (cbrt (pow y 2))))) (* 0.125 (/ (pow (sqrt x) 2) (sqrt (pow y 2)))) (* 0.125 (/ (pow (sqrt x) 2) 1)) (* 0.125 (/ (pow (sqrt x) 2) (pow y (/ 2 2)))) (* 0.125 (/ (pow 1 2) (pow (* (cbrt y) (cbrt y)) 2))) (* 0.125 (/ (pow 1 2) (pow (sqrt y) 2))) (* 0.125 (/ (pow 1 2) (pow 1 2))) (* 0.125 (/ (pow 1 2) y)) (* 0.125 (/ (pow 1 2) (* (cbrt (pow y 2)) (cbrt (pow y 2))))) (* 0.125 (/ (pow 1 2) (sqrt (pow y 2)))) (* 0.125 (/ (pow 1 2) 1)) (* 0.125 (/ (pow 1 2) (pow y (/ 2 2)))) (* 0.125 (/ x (pow (* (cbrt y) (cbrt y)) 2))) (* 0.125 (/ x (pow (sqrt y) 2))) (* 0.125 (/ x (pow 1 2))) (* 0.125 (/ x y)) (* 0.125 (/ x (* (cbrt (pow y 2)) (cbrt (pow y 2))))) (* 0.125 (/ x (sqrt (pow y 2)))) (* 0.125 (/ x 1)) (* 0.125 (/ x (pow y (/ 2 2)))) (* 0.125 (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (pow (* (cbrt y) (cbrt y)) 2))) (* 0.125 (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (pow (sqrt y) 2))) (* 0.125 (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (pow 1 2))) (* 0.125 (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) y)) (* 0.125 (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt (pow y 2)) (cbrt (pow y 2))))) (* 0.125 (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (sqrt (pow y 2)))) (* 0.125 (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) 1)) (* 0.125 (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (pow y (/ 2 2)))) (* 0.125 (/ (sqrt (pow x 2)) (pow (* (cbrt y) (cbrt y)) 2))) (* 0.125 (/ (sqrt (pow x 2)) (pow (sqrt y) 2))) (* 0.125 (/ (sqrt (pow x 2)) (pow 1 2))) (* 0.125 (/ (sqrt (pow x 2)) y)) (* 0.125 (/ (sqrt (pow x 2)) (* (cbrt (pow y 2)) (cbrt (pow y 2))))) (* 0.125 (/ (sqrt (pow x 2)) (sqrt (pow y 2)))) (* 0.125 (/ (sqrt (pow x 2)) 1)) (* 0.125 (/ (sqrt (pow x 2)) (pow y (/ 2 2)))) (* 0.125 (/ 1 (pow (* (cbrt y) (cbrt y)) 2))) (* 0.125 (/ 1 (pow (sqrt y) 2))) (* 0.125 (/ 1 (pow 1 2))) (* 0.125 (/ 1 y)) (* 0.125 (/ 1 (* (cbrt (pow y 2)) (cbrt (pow y 2))))) (* 0.125 (/ 1 (sqrt (pow y 2)))) (* 0.125 (/ 1 1)) (* 0.125 (/ 1 (pow y (/ 2 2)))) (* 0.125 (/ (pow x (/ 2 2)) (pow (* (cbrt y) (cbrt y)) 2))) (* 0.125 (/ (pow x (/ 2 2)) (pow (sqrt y) 2))) (* 0.125 (/ (pow x (/ 2 2)) (pow 1 2))) (* 0.125 (/ (pow x (/ 2 2)) y)) (* 0.125 (/ (pow x (/ 2 2)) (* (cbrt (pow y 2)) (cbrt (pow y 2))))) (* 0.125 (/ (pow x (/ 2 2)) (sqrt (pow y 2)))) (* 0.125 (/ (pow x (/ 2 2)) 1)) (* 0.125 (/ (pow x (/ 2 2)) (pow y (/ 2 2)))) (* 0.125 1) (* 0.125 (pow x 2)) (* (cbrt 0.125) (/ (pow x 2) (pow y 2))) (* (sqrt 0.125) (/ (pow x 2) (pow y 2))) (* 0.125 (/ (pow x 2) (pow y 2))) (* 0.125 (pow x 2)) (/ (pow x 2) (pow y 2)) (/ (pow x 2) (pow y 2)) (/ (pow x 2) (pow y 2)) (* 0.125 (/ (pow x 2) (pow y 2))) (* 0.125 (/ (pow x 2) (pow y 2))) (* 0.125 (/ (pow x 2) (pow y 2))) 8.218 * * [simplify]: iteration 0 : 577 enodes (cost 1283 ) 8.228 * * [simplify]: iteration 1 : 2475 enodes (cost 1017 ) 8.262 * * [simplify]: iteration 2 : 5001 enodes (cost 1004 ) 8.270 * [simplify]: Simplified to: (* 2 (- (log x) (log y))) (* 2 (- (log x) (log y))) (* 2 (- (log x) (log y))) (* 2 (- (log x) (log y))) (* 2 (- (log x) (log y))) (* 2 (- (log x) (log y))) (* 2 (- (log x) (log y))) (* 2 (- (log x) (log y))) (* 2 (- (log x) (log y))) (* 2 (- (log x) (log y))) (exp (/ (pow x 2) (pow y 2))) (pow (/ (pow x 2) (pow y 2)) 3) (* (cbrt (/ (pow x 2) (pow y 2))) (cbrt (/ (pow x 2) (pow y 2)))) (cbrt (/ (pow x 2) (pow y 2))) (pow (/ (pow x 2) (pow y 2)) 3) (fabs (/ x y)) (fabs (/ x y)) (neg (pow x 2)) (neg (pow y 2)) (/ (pow (cbrt x) 4) (* (pow (cbrt y) 4) 1)) (/ (pow (cbrt x) 2) (pow (cbrt y) 2)) (/ (pow (cbrt x) 4) (* y 1)) (/ (pow (cbrt x) 2) y) (pow (cbrt x) 4) (/ (pow (cbrt x) 2) (pow y 2)) (/ (pow (cbrt x) 4) (* y 1)) (/ (pow (cbrt x) 2) y) (/ (pow (cbrt x) 4) (* (* (cbrt (pow y 2)) (cbrt (pow y 2))) 1)) (/ (pow (cbrt x) 2) (cbrt (pow y 2))) (/ (pow (cbrt x) 4) (* (fabs y) 1)) (/ (pow (cbrt x) 2) (sqrt (pow y 2))) (pow (cbrt x) 4) (/ (pow (cbrt x) 2) (pow y 2)) (/ (pow (cbrt x) 4) (* y 1)) (/ (pow (cbrt x) 2) y) (/ x (* (pow (cbrt y) 4) 1)) (/ x (pow (cbrt y) 2)) (/ x y) (/ x y) x (/ x (pow y 2)) (/ x y) (/ x y) (/ x (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ x (cbrt (pow y 2))) (/ x (sqrt (pow y 2))) (/ x (sqrt (pow y 2))) x (/ x (pow y 2)) (/ x y) (/ x y) (/ 1 (pow (cbrt y) 4)) (/ (pow x 2) (pow (cbrt y) 2)) (/ 1 y) (/ x (/ y x)) 1 (/ (pow x 2) (pow y 2)) (/ 1 y) (/ x (/ y x)) (/ 1 (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (pow x 2) (cbrt (pow y 2))) (/ 1 (fabs y)) (/ x (/ (fabs y) x)) 1 (/ (pow x 2) (pow y 2)) (/ 1 y) (/ x (/ y x)) (/ x (* (pow (cbrt y) 4) 1)) (/ x (pow (cbrt y) 2)) (/ x y) (/ x y) x (/ x (pow y 2)) (/ x y) (/ x y) (/ x (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ x (cbrt (pow y 2))) (/ x (sqrt (pow y 2))) (/ x (sqrt (pow y 2))) x (/ x (pow y 2)) (/ x y) (/ x y) (* (/ (cbrt (pow x 2)) (pow (cbrt y) 4)) (cbrt (pow x 2))) (/ (cbrt (pow x 2)) (pow (cbrt y) 2)) (/ (cbrt (pow x 2)) (/ y (cbrt (pow x 2)))) (/ (cbrt (pow x 2)) y) (* (cbrt (pow x 2)) (cbrt (pow x 2))) (/ (cbrt (pow x 2)) (pow y 2)) (/ (cbrt (pow x 2)) (/ y (cbrt (pow x 2)))) (/ (cbrt (pow x 2)) y) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (cbrt (pow x 2)) (cbrt (pow y 2))) (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (fabs y)) (/ (cbrt (pow x 2)) (sqrt (pow y 2))) (* (cbrt (pow x 2)) (cbrt (pow x 2))) (/ (cbrt (pow x 2)) (pow y 2)) (/ (cbrt (pow x 2)) (/ y (cbrt (pow x 2)))) (/ (cbrt (pow x 2)) y) (/ (fabs x) (pow (cbrt y) 4)) (/ (fabs x) (pow (cbrt y) 2)) (/ (fabs x) y) (/ (fabs x) y) (fabs x) (/ (/ (fabs x) y) y) (/ (fabs x) y) (/ (fabs x) y) (/ (/ (fabs x) (cbrt (pow y 2))) (cbrt (pow y 2))) (/ (fabs x) (cbrt (pow y 2))) (/ (fabs x) (fabs y)) (/ (fabs x) (fabs y)) (fabs x) (/ (/ (fabs x) y) y) (/ (fabs x) y) (/ (fabs x) y) (/ 1 (pow (cbrt y) 4)) (/ (pow x 2) (pow (cbrt y) 2)) (/ 1 y) (/ x (/ y x)) 1 (/ (pow x 2) (pow y 2)) (/ 1 y) (/ x (/ y x)) (/ 1 (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (pow x 2) (cbrt (pow y 2))) (/ 1 (fabs y)) (/ x (/ (fabs y) x)) 1 (/ (pow x 2) (pow y 2)) (/ 1 y) (/ x (/ y x)) (/ x (* (pow (cbrt y) 4) 1)) (/ x (pow (cbrt y) 2)) (/ x y) (/ x y) x (/ x (pow y 2)) (/ x y) (/ x y) (/ x (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ x (cbrt (pow y 2))) (/ x (sqrt (pow y 2))) (/ x (sqrt (pow y 2))) x (/ x (pow y 2)) (/ x y) (/ x y) (/ 1 (pow y 2)) (/ (pow y 2) (pow x 2)) (/ x (/ (pow (cbrt y) 4) x)) (/ x (/ y x)) (pow x 2) (/ x (/ y x)) (/ (pow x 2) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ x (/ (fabs y) x)) (pow x 2) (/ x (/ y x)) (/ (pow y 2) (pow (cbrt x) 2)) (/ (pow y 2) x) (/ (pow y 2) (pow x 2)) (/ (pow y 2) x) (/ (pow y 2) (cbrt (pow x 2))) (/ y (/ (fabs x) y)) (/ (pow y 2) (pow x 2)) (/ (pow y 2) x) (* 0.125 (/ (pow x 2) (pow y 2))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (log (* 0.125 (/ (pow x 2) (pow y 2)))) (exp (* 0.125 (/ (pow x 2) (pow y 2)))) (pow (* 0.125 (/ (pow x 2) (pow y 2))) 3) (pow (* 0.125 (/ (pow x 2) (pow y 2))) 3) (* (cbrt (* 0.125 (/ (pow x 2) (pow y 2)))) (cbrt (* 0.125 (/ (pow x 2) (pow y 2))))) (cbrt (* 0.125 (/ (pow x 2) (pow y 2)))) (pow (* 0.125 (/ (pow x 2) (pow y 2))) 3) (sqrt (* 0.125 (/ (pow x 2) (pow y 2)))) (sqrt (* 0.125 (/ (pow x 2) (pow y 2)))) (* (sqrt 0.125) (sqrt (/ (pow x 2) (pow y 2)))) (* (sqrt 0.125) (sqrt (/ (pow x 2) (pow y 2)))) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* x (sqrt 0.125)) (fabs y)) (/ (* x (sqrt 0.125)) (fabs y)) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* x (sqrt 0.125)) (fabs y)) (/ (* x (sqrt 0.125)) (fabs y)) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) (fabs x)) y) (/ (* (sqrt 0.125) (fabs x)) y) (/ (* (sqrt 0.125) (fabs x)) y) (/ (* (sqrt 0.125) (fabs x)) y) (/ (* (sqrt 0.125) (fabs x)) (fabs y)) (/ (* (sqrt 0.125) (fabs x)) (fabs y)) (/ (* (sqrt 0.125) (fabs x)) y) (/ (* (sqrt 0.125) (fabs x)) y) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (/ (* x (sqrt 0.125)) (fabs y)) (/ (* x (sqrt 0.125)) (fabs y)) (/ (* (sqrt 0.125) x) y) (/ (* (sqrt 0.125) x) y) (* 0.125 (* (cbrt (/ (pow x 2) (pow y 2))) (cbrt (/ (pow x 2) (pow y 2))))) (* (/ (fabs (/ x y)) 1) 0.125) (/ 0.125 (/ (pow (cbrt y) 4) (pow (cbrt x) 4))) (/ 0.125 (/ y (pow (cbrt x) 4))) (* (* (pow (cbrt x) 4) 1) 0.125) (/ 0.125 (/ y (pow (cbrt x) 4))) (/ 0.125 (/ (* (cbrt (pow y 2)) (cbrt (pow y 2))) (pow (cbrt x) 4))) (/ 0.125 (/ (fabs y) (pow (cbrt x) 4))) (* (* (pow (cbrt x) 4) 1) 0.125) (/ 0.125 (/ y (pow (cbrt x) 4))) (/ (* x 0.125) (pow (cbrt y) 4)) (/ (* 0.125 x) y) (* x 0.125) (/ (* 0.125 x) y) (/ (* 0.125 x) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (* x 0.125) (fabs y)) (* x 0.125) (/ (* 0.125 x) y) (/ 0.125 (/ (pow (cbrt y) 4) 1)) (/ 0.125 y) 0.125 (/ 0.125 y) (/ 0.125 (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ 0.125 (sqrt (pow y 2))) 0.125 (/ 0.125 y) (/ (* x 0.125) (pow (cbrt y) 4)) (/ (* 0.125 x) y) (* x 0.125) (/ (* 0.125 x) y) (/ (* 0.125 x) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (* x 0.125) (fabs y)) (* x 0.125) (/ (* 0.125 x) y) (/ (* 0.125 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (pow (cbrt y) 4)) (/ (* 0.125 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) y) (* (* (cbrt (pow x 2)) (cbrt (pow x 2))) 0.125) (/ (* 0.125 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) y) (* 0.125 (/ (* (cbrt (pow x 2)) (cbrt (pow x 2))) (* (cbrt (pow y 2)) (cbrt (pow y 2))))) (/ (* 0.125 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) (fabs y)) (* (* (cbrt (pow x 2)) (cbrt (pow x 2))) 0.125) (/ (* 0.125 (* (cbrt (pow x 2)) (cbrt (pow x 2)))) y) (/ (* 0.125 (fabs x)) (pow (cbrt y) 4)) (/ (* 0.125 (fabs x)) y) (* (fabs x) 0.125) (/ (* 0.125 (fabs x)) y) (* (/ 0.125 (cbrt (pow y 2))) (/ (fabs x) (cbrt (pow y 2)))) (/ (* 0.125 (fabs x)) (fabs y)) (* (fabs x) 0.125) (/ (* 0.125 (fabs x)) y) (/ 0.125 (/ (pow (cbrt y) 4) 1)) (/ 0.125 y) 0.125 (/ 0.125 y) (/ 0.125 (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ 0.125 (sqrt (pow y 2))) 0.125 (/ 0.125 y) (/ (* x 0.125) (pow (cbrt y) 4)) (/ (* 0.125 x) y) (* x 0.125) (/ (* 0.125 x) y) (/ (* 0.125 x) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (/ (* x 0.125) (fabs y)) (* x 0.125) (/ (* 0.125 x) y) 0.125 (* 0.125 (pow x 2)) (* (cbrt 0.125) (/ (pow x 2) (pow y 2))) (* (sqrt 0.125) (/ (pow x 2) (pow y 2))) (* 0.125 (/ (pow x 2) (pow y 2))) (* 0.125 (pow x 2)) (/ (pow x 2) (pow y 2)) (/ (pow x 2) (pow y 2)) (/ (pow x 2) (pow y 2)) (* 0.125 (/ (pow x 2) (pow y 2))) (* 0.125 (/ (pow x 2) (pow y 2))) (* 0.125 (/ (pow x 2) (pow y 2))) 8.271 * * * [progress]: adding candidates to table 8.484 * * [progress]: iteration 4 / 4 8.484 * * * [progress]: picking best candidate 8.542 * * * * [pick]: Picked # 8.542 * * * [progress]: localizing error 8.557 * * * [progress]: generating rewritten candidates 8.557 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 8.559 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 8.561 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1) 8.563 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 8.566 * * * [progress]: generating series expansions 8.566 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 8.566 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 8.566 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 8.566 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 8.566 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 8.566 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 8.566 * [taylor]: Taking taylor expansion of 0.5 in y 8.566 * [taylor]: Taking taylor expansion of (/ x y) in y 8.566 * [taylor]: Taking taylor expansion of x in y 8.566 * [taylor]: Taking taylor expansion of y in y 8.566 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 8.566 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 8.566 * [taylor]: Taking taylor expansion of 0.5 in y 8.566 * [taylor]: Taking taylor expansion of (/ x y) in y 8.566 * [taylor]: Taking taylor expansion of x in y 8.566 * [taylor]: Taking taylor expansion of y in y 8.567 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 8.567 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 8.567 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 8.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.567 * [taylor]: Taking taylor expansion of 0.5 in x 8.567 * [taylor]: Taking taylor expansion of (/ x y) in x 8.567 * [taylor]: Taking taylor expansion of x in x 8.567 * [taylor]: Taking taylor expansion of y in x 8.567 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 8.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.567 * [taylor]: Taking taylor expansion of 0.5 in x 8.567 * [taylor]: Taking taylor expansion of (/ x y) in x 8.567 * [taylor]: Taking taylor expansion of x in x 8.567 * [taylor]: Taking taylor expansion of y in x 8.567 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 8.567 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 8.567 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 8.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.567 * [taylor]: Taking taylor expansion of 0.5 in x 8.567 * [taylor]: Taking taylor expansion of (/ x y) in x 8.567 * [taylor]: Taking taylor expansion of x in x 8.567 * [taylor]: Taking taylor expansion of y in x 8.567 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 8.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.567 * [taylor]: Taking taylor expansion of 0.5 in x 8.567 * [taylor]: Taking taylor expansion of (/ x y) in x 8.567 * [taylor]: Taking taylor expansion of x in x 8.567 * [taylor]: Taking taylor expansion of y in x 8.568 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 8.568 * [taylor]: Taking taylor expansion of 0.5 in y 8.568 * [taylor]: Taking taylor expansion of y in y 8.568 * [taylor]: Taking taylor expansion of 0 in y 8.569 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 8.569 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 8.569 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.569 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.569 * [taylor]: Taking taylor expansion of y in y 8.569 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 8.569 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 8.569 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.569 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.569 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.569 * [taylor]: Taking taylor expansion of 0.5 in y 8.569 * [taylor]: Taking taylor expansion of (/ y x) in y 8.569 * [taylor]: Taking taylor expansion of y in y 8.569 * [taylor]: Taking taylor expansion of x in y 8.569 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.569 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.569 * [taylor]: Taking taylor expansion of 0.5 in y 8.569 * [taylor]: Taking taylor expansion of (/ y x) in y 8.569 * [taylor]: Taking taylor expansion of y in y 8.570 * [taylor]: Taking taylor expansion of x in y 8.570 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.570 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.570 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.570 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.570 * [taylor]: Taking taylor expansion of 0.5 in x 8.570 * [taylor]: Taking taylor expansion of (/ y x) in x 8.570 * [taylor]: Taking taylor expansion of y in x 8.570 * [taylor]: Taking taylor expansion of x in x 8.570 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.570 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.570 * [taylor]: Taking taylor expansion of 0.5 in x 8.570 * [taylor]: Taking taylor expansion of (/ y x) in x 8.570 * [taylor]: Taking taylor expansion of y in x 8.570 * [taylor]: Taking taylor expansion of x in x 8.570 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.570 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.570 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.570 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.570 * [taylor]: Taking taylor expansion of 0.5 in x 8.570 * [taylor]: Taking taylor expansion of (/ y x) in x 8.570 * [taylor]: Taking taylor expansion of y in x 8.570 * [taylor]: Taking taylor expansion of x in x 8.570 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.570 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.570 * [taylor]: Taking taylor expansion of 0.5 in x 8.570 * [taylor]: Taking taylor expansion of (/ y x) in x 8.570 * [taylor]: Taking taylor expansion of y in x 8.570 * [taylor]: Taking taylor expansion of x in x 8.571 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 8.571 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.571 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.571 * [taylor]: Taking taylor expansion of 0.5 in y 8.571 * [taylor]: Taking taylor expansion of (/ y x) in y 8.571 * [taylor]: Taking taylor expansion of y in y 8.571 * [taylor]: Taking taylor expansion of x in y 8.571 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.571 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.571 * [taylor]: Taking taylor expansion of 0.5 in y 8.571 * [taylor]: Taking taylor expansion of (/ y x) in y 8.571 * [taylor]: Taking taylor expansion of y in y 8.571 * [taylor]: Taking taylor expansion of x in y 8.571 * [taylor]: Taking taylor expansion of 0 in y 8.572 * [taylor]: Taking taylor expansion of 0 in y 8.573 * [taylor]: Taking taylor expansion of 0 in y 8.574 * [taylor]: Taking taylor expansion of 0 in y 8.574 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 8.574 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 8.574 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.574 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.574 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.574 * [taylor]: Taking taylor expansion of 0.5 in y 8.574 * [taylor]: Taking taylor expansion of (/ y x) in y 8.574 * [taylor]: Taking taylor expansion of y in y 8.574 * [taylor]: Taking taylor expansion of x in y 8.575 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.575 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.575 * [taylor]: Taking taylor expansion of 0.5 in y 8.575 * [taylor]: Taking taylor expansion of (/ y x) in y 8.575 * [taylor]: Taking taylor expansion of y in y 8.575 * [taylor]: Taking taylor expansion of x in y 8.575 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.575 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.575 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.575 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.575 * [taylor]: Taking taylor expansion of 0.5 in x 8.575 * [taylor]: Taking taylor expansion of (/ y x) in x 8.575 * [taylor]: Taking taylor expansion of y in x 8.575 * [taylor]: Taking taylor expansion of x in x 8.575 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.575 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.575 * [taylor]: Taking taylor expansion of 0.5 in x 8.575 * [taylor]: Taking taylor expansion of (/ y x) in x 8.575 * [taylor]: Taking taylor expansion of y in x 8.575 * [taylor]: Taking taylor expansion of x in x 8.575 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.575 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.575 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.575 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.575 * [taylor]: Taking taylor expansion of 0.5 in x 8.575 * [taylor]: Taking taylor expansion of (/ y x) in x 8.575 * [taylor]: Taking taylor expansion of y in x 8.575 * [taylor]: Taking taylor expansion of x in x 8.575 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.576 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.576 * [taylor]: Taking taylor expansion of 0.5 in x 8.576 * [taylor]: Taking taylor expansion of (/ y x) in x 8.576 * [taylor]: Taking taylor expansion of y in x 8.576 * [taylor]: Taking taylor expansion of x in x 8.576 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 8.576 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.576 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.576 * [taylor]: Taking taylor expansion of 0.5 in y 8.576 * [taylor]: Taking taylor expansion of (/ y x) in y 8.576 * [taylor]: Taking taylor expansion of y in y 8.576 * [taylor]: Taking taylor expansion of x in y 8.576 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.576 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.576 * [taylor]: Taking taylor expansion of 0.5 in y 8.576 * [taylor]: Taking taylor expansion of (/ y x) in y 8.576 * [taylor]: Taking taylor expansion of y in y 8.576 * [taylor]: Taking taylor expansion of x in y 8.576 * [taylor]: Taking taylor expansion of 0 in y 8.577 * [taylor]: Taking taylor expansion of 0 in y 8.578 * [taylor]: Taking taylor expansion of 0 in y 8.579 * [taylor]: Taking taylor expansion of 0 in y 8.579 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 8.579 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 8.579 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 8.579 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 8.579 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 8.579 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 8.579 * [taylor]: Taking taylor expansion of 0.5 in y 8.579 * [taylor]: Taking taylor expansion of (/ x y) in y 8.579 * [taylor]: Taking taylor expansion of x in y 8.580 * [taylor]: Taking taylor expansion of y in y 8.580 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 8.580 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 8.580 * [taylor]: Taking taylor expansion of 0.5 in y 8.580 * [taylor]: Taking taylor expansion of (/ x y) in y 8.580 * [taylor]: Taking taylor expansion of x in y 8.580 * [taylor]: Taking taylor expansion of y in y 8.580 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 8.580 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 8.580 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 8.580 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.580 * [taylor]: Taking taylor expansion of 0.5 in x 8.580 * [taylor]: Taking taylor expansion of (/ x y) in x 8.580 * [taylor]: Taking taylor expansion of x in x 8.580 * [taylor]: Taking taylor expansion of y in x 8.580 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 8.580 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.580 * [taylor]: Taking taylor expansion of 0.5 in x 8.580 * [taylor]: Taking taylor expansion of (/ x y) in x 8.580 * [taylor]: Taking taylor expansion of x in x 8.580 * [taylor]: Taking taylor expansion of y in x 8.580 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 8.580 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 8.580 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 8.580 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.580 * [taylor]: Taking taylor expansion of 0.5 in x 8.580 * [taylor]: Taking taylor expansion of (/ x y) in x 8.581 * [taylor]: Taking taylor expansion of x in x 8.581 * [taylor]: Taking taylor expansion of y in x 8.581 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 8.581 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.581 * [taylor]: Taking taylor expansion of 0.5 in x 8.581 * [taylor]: Taking taylor expansion of (/ x y) in x 8.581 * [taylor]: Taking taylor expansion of x in x 8.581 * [taylor]: Taking taylor expansion of y in x 8.581 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 8.581 * [taylor]: Taking taylor expansion of 0.5 in y 8.581 * [taylor]: Taking taylor expansion of y in y 8.581 * [taylor]: Taking taylor expansion of 0 in y 8.582 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 8.582 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 8.582 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.582 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.582 * [taylor]: Taking taylor expansion of y in y 8.582 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 8.582 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 8.583 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.583 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.583 * [taylor]: Taking taylor expansion of 0.5 in y 8.583 * [taylor]: Taking taylor expansion of (/ y x) in y 8.583 * [taylor]: Taking taylor expansion of y in y 8.583 * [taylor]: Taking taylor expansion of x in y 8.583 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.583 * [taylor]: Taking taylor expansion of 0.5 in y 8.583 * [taylor]: Taking taylor expansion of (/ y x) in y 8.583 * [taylor]: Taking taylor expansion of y in y 8.583 * [taylor]: Taking taylor expansion of x in y 8.583 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.583 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.583 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.583 * [taylor]: Taking taylor expansion of 0.5 in x 8.583 * [taylor]: Taking taylor expansion of (/ y x) in x 8.583 * [taylor]: Taking taylor expansion of y in x 8.583 * [taylor]: Taking taylor expansion of x in x 8.583 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.583 * [taylor]: Taking taylor expansion of 0.5 in x 8.583 * [taylor]: Taking taylor expansion of (/ y x) in x 8.583 * [taylor]: Taking taylor expansion of y in x 8.584 * [taylor]: Taking taylor expansion of x in x 8.584 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.584 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.584 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.584 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.584 * [taylor]: Taking taylor expansion of 0.5 in x 8.584 * [taylor]: Taking taylor expansion of (/ y x) in x 8.584 * [taylor]: Taking taylor expansion of y in x 8.584 * [taylor]: Taking taylor expansion of x in x 8.584 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.584 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.584 * [taylor]: Taking taylor expansion of 0.5 in x 8.584 * [taylor]: Taking taylor expansion of (/ y x) in x 8.584 * [taylor]: Taking taylor expansion of y in x 8.584 * [taylor]: Taking taylor expansion of x in x 8.584 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 8.584 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.584 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.584 * [taylor]: Taking taylor expansion of 0.5 in y 8.584 * [taylor]: Taking taylor expansion of (/ y x) in y 8.584 * [taylor]: Taking taylor expansion of y in y 8.584 * [taylor]: Taking taylor expansion of x in y 8.584 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.584 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.584 * [taylor]: Taking taylor expansion of 0.5 in y 8.584 * [taylor]: Taking taylor expansion of (/ y x) in y 8.584 * [taylor]: Taking taylor expansion of y in y 8.584 * [taylor]: Taking taylor expansion of x in y 8.585 * [taylor]: Taking taylor expansion of 0 in y 8.585 * [taylor]: Taking taylor expansion of 0 in y 8.586 * [taylor]: Taking taylor expansion of 0 in y 8.587 * [taylor]: Taking taylor expansion of 0 in y 8.587 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 8.588 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 8.588 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.588 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.588 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.588 * [taylor]: Taking taylor expansion of 0.5 in y 8.588 * [taylor]: Taking taylor expansion of (/ y x) in y 8.588 * [taylor]: Taking taylor expansion of y in y 8.588 * [taylor]: Taking taylor expansion of x in y 8.588 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.588 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.588 * [taylor]: Taking taylor expansion of 0.5 in y 8.588 * [taylor]: Taking taylor expansion of (/ y x) in y 8.588 * [taylor]: Taking taylor expansion of y in y 8.588 * [taylor]: Taking taylor expansion of x in y 8.588 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.588 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.588 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.588 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.588 * [taylor]: Taking taylor expansion of 0.5 in x 8.588 * [taylor]: Taking taylor expansion of (/ y x) in x 8.588 * [taylor]: Taking taylor expansion of y in x 8.588 * [taylor]: Taking taylor expansion of x in x 8.588 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.588 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.588 * [taylor]: Taking taylor expansion of 0.5 in x 8.588 * [taylor]: Taking taylor expansion of (/ y x) in x 8.588 * [taylor]: Taking taylor expansion of y in x 8.588 * [taylor]: Taking taylor expansion of x in x 8.588 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.589 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.589 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.589 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.589 * [taylor]: Taking taylor expansion of 0.5 in x 8.589 * [taylor]: Taking taylor expansion of (/ y x) in x 8.589 * [taylor]: Taking taylor expansion of y in x 8.589 * [taylor]: Taking taylor expansion of x in x 8.589 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.589 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.589 * [taylor]: Taking taylor expansion of 0.5 in x 8.589 * [taylor]: Taking taylor expansion of (/ y x) in x 8.589 * [taylor]: Taking taylor expansion of y in x 8.589 * [taylor]: Taking taylor expansion of x in x 8.589 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 8.589 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.589 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.589 * [taylor]: Taking taylor expansion of 0.5 in y 8.589 * [taylor]: Taking taylor expansion of (/ y x) in y 8.589 * [taylor]: Taking taylor expansion of y in y 8.589 * [taylor]: Taking taylor expansion of x in y 8.589 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.589 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.589 * [taylor]: Taking taylor expansion of 0.5 in y 8.589 * [taylor]: Taking taylor expansion of (/ y x) in y 8.589 * [taylor]: Taking taylor expansion of y in y 8.589 * [taylor]: Taking taylor expansion of x in y 8.590 * [taylor]: Taking taylor expansion of 0 in y 8.590 * [taylor]: Taking taylor expansion of 0 in y 8.591 * [taylor]: Taking taylor expansion of 0 in y 8.592 * [taylor]: Taking taylor expansion of 0 in y 8.592 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1) 8.592 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0 8.592 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y 8.592 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 8.592 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 8.592 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 8.593 * [taylor]: Taking taylor expansion of 0.5 in y 8.593 * [taylor]: Taking taylor expansion of (/ x y) in y 8.593 * [taylor]: Taking taylor expansion of x in y 8.593 * [taylor]: Taking taylor expansion of y in y 8.593 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y 8.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 8.593 * [taylor]: Taking taylor expansion of 0.5 in y 8.593 * [taylor]: Taking taylor expansion of (/ x y) in y 8.593 * [taylor]: Taking taylor expansion of x in y 8.593 * [taylor]: Taking taylor expansion of y in y 8.593 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 8.593 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 8.593 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 8.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.593 * [taylor]: Taking taylor expansion of 0.5 in x 8.593 * [taylor]: Taking taylor expansion of (/ x y) in x 8.593 * [taylor]: Taking taylor expansion of x in x 8.593 * [taylor]: Taking taylor expansion of y in x 8.593 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 8.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.593 * [taylor]: Taking taylor expansion of 0.5 in x 8.593 * [taylor]: Taking taylor expansion of (/ x y) in x 8.593 * [taylor]: Taking taylor expansion of x in x 8.593 * [taylor]: Taking taylor expansion of y in x 8.593 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x 8.593 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) 8.594 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 8.594 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.594 * [taylor]: Taking taylor expansion of 0.5 in x 8.594 * [taylor]: Taking taylor expansion of (/ x y) in x 8.594 * [taylor]: Taking taylor expansion of x in x 8.594 * [taylor]: Taking taylor expansion of y in x 8.594 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x 8.594 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.594 * [taylor]: Taking taylor expansion of 0.5 in x 8.594 * [taylor]: Taking taylor expansion of (/ x y) in x 8.594 * [taylor]: Taking taylor expansion of x in x 8.594 * [taylor]: Taking taylor expansion of y in x 8.594 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 8.594 * [taylor]: Taking taylor expansion of 0.5 in y 8.594 * [taylor]: Taking taylor expansion of y in y 8.594 * [taylor]: Taking taylor expansion of 0 in y 8.595 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y 8.595 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y 8.595 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 8.595 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.595 * [taylor]: Taking taylor expansion of y in y 8.595 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 8.595 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 8.596 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.596 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.596 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.596 * [taylor]: Taking taylor expansion of 0.5 in y 8.596 * [taylor]: Taking taylor expansion of (/ y x) in y 8.596 * [taylor]: Taking taylor expansion of y in y 8.596 * [taylor]: Taking taylor expansion of x in y 8.596 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.596 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.596 * [taylor]: Taking taylor expansion of 0.5 in y 8.596 * [taylor]: Taking taylor expansion of (/ y x) in y 8.596 * [taylor]: Taking taylor expansion of y in y 8.596 * [taylor]: Taking taylor expansion of x in y 8.596 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.596 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.596 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.596 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.596 * [taylor]: Taking taylor expansion of 0.5 in x 8.596 * [taylor]: Taking taylor expansion of (/ y x) in x 8.596 * [taylor]: Taking taylor expansion of y in x 8.596 * [taylor]: Taking taylor expansion of x in x 8.596 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.596 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.596 * [taylor]: Taking taylor expansion of 0.5 in x 8.596 * [taylor]: Taking taylor expansion of (/ y x) in x 8.596 * [taylor]: Taking taylor expansion of y in x 8.596 * [taylor]: Taking taylor expansion of x in x 8.596 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.596 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.596 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.597 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.597 * [taylor]: Taking taylor expansion of 0.5 in x 8.597 * [taylor]: Taking taylor expansion of (/ y x) in x 8.597 * [taylor]: Taking taylor expansion of y in x 8.597 * [taylor]: Taking taylor expansion of x in x 8.597 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.597 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.597 * [taylor]: Taking taylor expansion of 0.5 in x 8.597 * [taylor]: Taking taylor expansion of (/ y x) in x 8.597 * [taylor]: Taking taylor expansion of y in x 8.597 * [taylor]: Taking taylor expansion of x in x 8.597 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 8.597 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.597 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.597 * [taylor]: Taking taylor expansion of 0.5 in y 8.597 * [taylor]: Taking taylor expansion of (/ y x) in y 8.597 * [taylor]: Taking taylor expansion of y in y 8.597 * [taylor]: Taking taylor expansion of x in y 8.597 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.597 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.597 * [taylor]: Taking taylor expansion of 0.5 in y 8.597 * [taylor]: Taking taylor expansion of (/ y x) in y 8.597 * [taylor]: Taking taylor expansion of y in y 8.597 * [taylor]: Taking taylor expansion of x in y 8.597 * [taylor]: Taking taylor expansion of 0 in y 8.598 * [taylor]: Taking taylor expansion of 0 in y 8.599 * [taylor]: Taking taylor expansion of 0 in y 8.600 * [taylor]: Taking taylor expansion of 0 in y 8.600 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0 8.600 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y 8.600 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.600 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.600 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.600 * [taylor]: Taking taylor expansion of 0.5 in y 8.600 * [taylor]: Taking taylor expansion of (/ y x) in y 8.600 * [taylor]: Taking taylor expansion of y in y 8.600 * [taylor]: Taking taylor expansion of x in y 8.600 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.601 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.601 * [taylor]: Taking taylor expansion of 0.5 in y 8.601 * [taylor]: Taking taylor expansion of (/ y x) in y 8.601 * [taylor]: Taking taylor expansion of y in y 8.601 * [taylor]: Taking taylor expansion of x in y 8.601 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.601 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.601 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.601 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.601 * [taylor]: Taking taylor expansion of 0.5 in x 8.601 * [taylor]: Taking taylor expansion of (/ y x) in x 8.601 * [taylor]: Taking taylor expansion of y in x 8.601 * [taylor]: Taking taylor expansion of x in x 8.601 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.601 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.601 * [taylor]: Taking taylor expansion of 0.5 in x 8.601 * [taylor]: Taking taylor expansion of (/ y x) in x 8.601 * [taylor]: Taking taylor expansion of y in x 8.601 * [taylor]: Taking taylor expansion of x in x 8.601 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x 8.601 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) 8.601 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.601 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.601 * [taylor]: Taking taylor expansion of 0.5 in x 8.601 * [taylor]: Taking taylor expansion of (/ y x) in x 8.601 * [taylor]: Taking taylor expansion of y in x 8.601 * [taylor]: Taking taylor expansion of x in x 8.601 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x 8.601 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.601 * [taylor]: Taking taylor expansion of 0.5 in x 8.601 * [taylor]: Taking taylor expansion of (/ y x) in x 8.601 * [taylor]: Taking taylor expansion of y in x 8.602 * [taylor]: Taking taylor expansion of x in x 8.602 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y 8.602 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.602 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.602 * [taylor]: Taking taylor expansion of 0.5 in y 8.602 * [taylor]: Taking taylor expansion of (/ y x) in y 8.602 * [taylor]: Taking taylor expansion of y in y 8.602 * [taylor]: Taking taylor expansion of x in y 8.602 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y 8.602 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.602 * [taylor]: Taking taylor expansion of 0.5 in y 8.602 * [taylor]: Taking taylor expansion of (/ y x) in y 8.602 * [taylor]: Taking taylor expansion of y in y 8.602 * [taylor]: Taking taylor expansion of x in y 8.602 * [taylor]: Taking taylor expansion of 0 in y 8.603 * [taylor]: Taking taylor expansion of 0 in y 8.604 * [taylor]: Taking taylor expansion of 0 in y 8.605 * [taylor]: Taking taylor expansion of 0 in y 8.605 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 8.605 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0 8.605 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y 8.605 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y 8.605 * [taylor]: Taking taylor expansion of 0.5 in y 8.605 * [taylor]: Taking taylor expansion of (/ x y) in y 8.605 * [taylor]: Taking taylor expansion of x in y 8.605 * [taylor]: Taking taylor expansion of y in y 8.605 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 8.605 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.605 * [taylor]: Taking taylor expansion of 0.5 in x 8.605 * [taylor]: Taking taylor expansion of (/ x y) in x 8.605 * [taylor]: Taking taylor expansion of x in x 8.605 * [taylor]: Taking taylor expansion of y in x 8.605 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x 8.605 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x 8.605 * [taylor]: Taking taylor expansion of 0.5 in x 8.605 * [taylor]: Taking taylor expansion of (/ x y) in x 8.605 * [taylor]: Taking taylor expansion of x in x 8.605 * [taylor]: Taking taylor expansion of y in x 8.606 * [taylor]: Taking taylor expansion of 0 in y 8.606 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 8.606 * [taylor]: Taking taylor expansion of 0.5 in y 8.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.606 * [taylor]: Taking taylor expansion of y in y 8.606 * [taylor]: Taking taylor expansion of 0 in y 8.606 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 8.606 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.606 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.606 * [taylor]: Taking taylor expansion of 0.5 in y 8.606 * [taylor]: Taking taylor expansion of (/ y x) in y 8.606 * [taylor]: Taking taylor expansion of y in y 8.606 * [taylor]: Taking taylor expansion of x in y 8.606 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.606 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.606 * [taylor]: Taking taylor expansion of 0.5 in x 8.606 * [taylor]: Taking taylor expansion of (/ y x) in x 8.606 * [taylor]: Taking taylor expansion of y in x 8.606 * [taylor]: Taking taylor expansion of x in x 8.606 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.606 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.608 * [taylor]: Taking taylor expansion of 0.5 in x 8.608 * [taylor]: Taking taylor expansion of (/ y x) in x 8.608 * [taylor]: Taking taylor expansion of y in x 8.608 * [taylor]: Taking taylor expansion of x in x 8.608 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.608 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.608 * [taylor]: Taking taylor expansion of 0.5 in y 8.608 * [taylor]: Taking taylor expansion of (/ y x) in y 8.608 * [taylor]: Taking taylor expansion of y in y 8.608 * [taylor]: Taking taylor expansion of x in y 8.608 * [taylor]: Taking taylor expansion of 0 in y 8.608 * [taylor]: Taking taylor expansion of 0 in y 8.608 * [taylor]: Taking taylor expansion of 0 in y 8.608 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0 8.608 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.608 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.608 * [taylor]: Taking taylor expansion of 0.5 in y 8.608 * [taylor]: Taking taylor expansion of (/ y x) in y 8.608 * [taylor]: Taking taylor expansion of y in y 8.608 * [taylor]: Taking taylor expansion of x in y 8.608 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.608 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.609 * [taylor]: Taking taylor expansion of 0.5 in x 8.609 * [taylor]: Taking taylor expansion of (/ y x) in x 8.609 * [taylor]: Taking taylor expansion of y in x 8.609 * [taylor]: Taking taylor expansion of x in x 8.609 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x 8.609 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x 8.609 * [taylor]: Taking taylor expansion of 0.5 in x 8.609 * [taylor]: Taking taylor expansion of (/ y x) in x 8.609 * [taylor]: Taking taylor expansion of y in x 8.609 * [taylor]: Taking taylor expansion of x in x 8.609 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y 8.609 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y 8.609 * [taylor]: Taking taylor expansion of 0.5 in y 8.609 * [taylor]: Taking taylor expansion of (/ y x) in y 8.609 * [taylor]: Taking taylor expansion of y in y 8.609 * [taylor]: Taking taylor expansion of x in y 8.609 * [taylor]: Taking taylor expansion of 0 in y 8.609 * [taylor]: Taking taylor expansion of 0 in y 8.609 * [taylor]: Taking taylor expansion of 0 in y 8.609 * * * [progress]: simplifying candidates 8.610 * [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)) 8.613 * * [simplify]: iteration 0 : 56 enodes (cost 224 ) 8.615 * * [simplify]: iteration 1 : 123 enodes (cost 196 ) 8.617 * * [simplify]: iteration 2 : 434 enodes (cost 196 ) 8.626 * * [simplify]: iteration 3 : 1952 enodes (cost 196 ) 8.657 * * [simplify]: iteration 4 : 5001 enodes (cost 196 ) 8.659 * [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 (+ (* 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)) 8.659 * * * [progress]: adding candidates to table 8.811 * [progress]: [Phase 3 of 3] Extracting. 8.811 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # #) 8.815 * * * [regime-changes]: Trying 4 branch expressions: ((* y 2.0) (/ x (* y 2.0)) y x) 8.815 * * * * [regimes]: Trying to branch on (* y 2.0) from (# # # # # # # # # # # # # # # # #) 8.922 * * * * [regimes]: Trying to branch on (/ x (* y 2.0)) from (# # # # # # # # # # # # # # # # #) 9.027 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # # # # # #) 9.132 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # # #) 9.236 * * * [regime]: Found split indices: #