18.512 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) 0.018 * * [simplify]: iteration 0 : 20 enodes (cost 9 ) 0.020 * * [simplify]: iteration 1 : 40 enodes (cost 9 ) 0.022 * * [simplify]: iteration 2 : 78 enodes (cost 9 ) 0.024 * * [simplify]: iteration 3 : 134 enodes (cost 9 ) 0.027 * * [simplify]: iteration 4 : 200 enodes (cost 9 ) 0.030 * * [simplify]: iteration 5 : 233 enodes (cost 9 ) 0.033 * * [simplify]: iteration 6 : 239 enodes (cost 9 ) 0.036 * * [simplify]: iteration 7 : 239 enodes (cost 9 ) 0.037 * [simplify]: Simplified to: (/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) 0.037 * * [progress]: iteration 1 / 4 0.037 * * * [progress]: picking best candidate 0.039 * * * * [pick]: Picked # 0.039 * * * [progress]: localizing error 0.046 * * * [progress]: generating rewritten candidates 0.047 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.057 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.064 * * * [progress]: generating series expansions 0.064 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.064 * [approximate]: Taking taylor expansion of (/ (- (pow x 2) (* 4.0 (pow y 2))) (+ (pow x 2) (* 4.0 (pow y 2)))) in (x y) around 0 0.065 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (* 4.0 (pow y 2))) (+ (pow x 2) (* 4.0 (pow y 2)))) in y 0.065 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 4.0 (pow y 2))) in y 0.065 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.065 * [taylor]: Taking taylor expansion of x in y 0.065 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.065 * [taylor]: Taking taylor expansion of 4.0 in y 0.065 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.065 * [taylor]: Taking taylor expansion of y in y 0.065 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow y 2))) in y 0.065 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.065 * [taylor]: Taking taylor expansion of x in y 0.065 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.065 * [taylor]: Taking taylor expansion of 4.0 in y 0.065 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.065 * [taylor]: Taking taylor expansion of y in y 0.065 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (* 4.0 (pow y 2))) (+ (pow x 2) (* 4.0 (pow y 2)))) in x 0.065 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 4.0 (pow y 2))) in x 0.065 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.065 * [taylor]: Taking taylor expansion of 4.0 in x 0.065 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.065 * [taylor]: Taking taylor expansion of y in x 0.065 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow y 2))) in x 0.065 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.065 * [taylor]: Taking taylor expansion of 4.0 in x 0.065 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.065 * [taylor]: Taking taylor expansion of y in x 0.066 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (* 4.0 (pow y 2))) (+ (pow x 2) (* 4.0 (pow y 2)))) in x 0.066 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 4.0 (pow y 2))) in x 0.066 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.066 * [taylor]: Taking taylor expansion of 4.0 in x 0.066 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.066 * [taylor]: Taking taylor expansion of y in x 0.066 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 4.0 (pow y 2))) in x 0.066 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.066 * [taylor]: Taking taylor expansion of 4.0 in x 0.066 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.066 * [taylor]: Taking taylor expansion of y in x 0.067 * [taylor]: Taking taylor expansion of -1.0 in y 0.069 * [taylor]: Taking taylor expansion of 0 in y 0.072 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow y 2))) in y 0.072 * [taylor]: Taking taylor expansion of 0.5 in y 0.072 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.072 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.072 * [taylor]: Taking taylor expansion of y in y 0.079 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2))))) in (x y) around 0 0.080 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2))))) in y 0.080 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in y 0.080 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.080 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.080 * [taylor]: Taking taylor expansion of x in y 0.080 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.080 * [taylor]: Taking taylor expansion of 4.0 in y 0.080 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.080 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.080 * [taylor]: Taking taylor expansion of y in y 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in y 0.081 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.081 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.081 * [taylor]: Taking taylor expansion of x in y 0.081 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.081 * [taylor]: Taking taylor expansion of 4.0 in y 0.081 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.081 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.081 * [taylor]: Taking taylor expansion of y in y 0.084 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2))))) in x 0.084 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.084 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.084 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.084 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.084 * [taylor]: Taking taylor expansion of 4.0 in x 0.084 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.084 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.084 * [taylor]: Taking taylor expansion of y in x 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.085 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.085 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.085 * [taylor]: Taking taylor expansion of 4.0 in x 0.085 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.085 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.085 * [taylor]: Taking taylor expansion of y in x 0.086 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2))))) in x 0.086 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.086 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.086 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.086 * [taylor]: Taking taylor expansion of x in x 0.087 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.087 * [taylor]: Taking taylor expansion of 4.0 in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.087 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.087 * [taylor]: Taking taylor expansion of y in x 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.087 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.088 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.088 * [taylor]: Taking taylor expansion of 4.0 in x 0.088 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.088 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.088 * [taylor]: Taking taylor expansion of y in x 0.089 * [taylor]: Taking taylor expansion of 1 in y 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.099 * [taylor]: Taking taylor expansion of (- (* 8.0 (/ 1 (pow y 2)))) in y 0.099 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow y 2))) in y 0.099 * [taylor]: Taking taylor expansion of 8.0 in y 0.099 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.099 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.099 * [taylor]: Taking taylor expansion of y in y 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2))))) in (x y) around 0 0.107 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2))))) in y 0.108 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in y 0.108 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.108 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.108 * [taylor]: Taking taylor expansion of x in y 0.108 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.108 * [taylor]: Taking taylor expansion of 4.0 in y 0.108 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.108 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.108 * [taylor]: Taking taylor expansion of y in y 0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in y 0.108 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.108 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.108 * [taylor]: Taking taylor expansion of x in y 0.109 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.109 * [taylor]: Taking taylor expansion of 4.0 in y 0.109 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.109 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.109 * [taylor]: Taking taylor expansion of y in y 0.111 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2))))) in x 0.111 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.111 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.112 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.112 * [taylor]: Taking taylor expansion of 4.0 in x 0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.112 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.112 * [taylor]: Taking taylor expansion of y in x 0.112 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.112 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.112 * [taylor]: Taking taylor expansion of x in x 0.113 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.113 * [taylor]: Taking taylor expansion of 4.0 in x 0.113 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.113 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.113 * [taylor]: Taking taylor expansion of y in x 0.114 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2))))) in x 0.114 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.114 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.114 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.114 * [taylor]: Taking taylor expansion of x in x 0.114 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.114 * [taylor]: Taking taylor expansion of 4.0 in x 0.114 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.114 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.114 * [taylor]: Taking taylor expansion of y in x 0.114 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.115 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.115 * [taylor]: Taking taylor expansion of x in x 0.115 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.115 * [taylor]: Taking taylor expansion of 4.0 in x 0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.115 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.115 * [taylor]: Taking taylor expansion of y in x 0.116 * [taylor]: Taking taylor expansion of 1 in y 0.118 * [taylor]: Taking taylor expansion of 0 in y 0.122 * [taylor]: Taking taylor expansion of (- (* 8.0 (/ 1 (pow y 2)))) in y 0.122 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow y 2))) in y 0.122 * [taylor]: Taking taylor expansion of 8.0 in y 0.122 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.122 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.122 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of 0 in y 0.130 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.131 * [approximate]: Taking taylor expansion of (- (pow x 2) (* 4.0 (pow y 2))) in (x y) around 0 0.131 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 4.0 (pow y 2))) in y 0.131 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.131 * [taylor]: Taking taylor expansion of x in y 0.131 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.131 * [taylor]: Taking taylor expansion of 4.0 in y 0.131 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.131 * [taylor]: Taking taylor expansion of y in y 0.131 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 4.0 (pow y 2))) in x 0.131 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.131 * [taylor]: Taking taylor expansion of 4.0 in x 0.131 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [taylor]: Taking taylor expansion of (- (pow x 2) (* 4.0 (pow y 2))) in x 0.131 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.131 * [taylor]: Taking taylor expansion of 4.0 in x 0.131 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow y 2))) in y 0.131 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.131 * [taylor]: Taking taylor expansion of 4.0 in y 0.131 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.131 * [taylor]: Taking taylor expansion of y in y 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.134 * [taylor]: Taking taylor expansion of 1 in y 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.141 * [taylor]: Taking taylor expansion of 0 in y 0.142 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in (x y) around 0 0.142 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in y 0.142 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.142 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.142 * [taylor]: Taking taylor expansion of x in y 0.142 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.142 * [taylor]: Taking taylor expansion of 4.0 in y 0.142 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.142 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.142 * [taylor]: Taking taylor expansion of y in y 0.143 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.143 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.143 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.143 * [taylor]: Taking taylor expansion of 4.0 in x 0.143 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.143 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.143 * [taylor]: Taking taylor expansion of y in x 0.144 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.144 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.144 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.144 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.144 * [taylor]: Taking taylor expansion of 4.0 in x 0.144 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.144 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.144 * [taylor]: Taking taylor expansion of y in x 0.145 * [taylor]: Taking taylor expansion of 1 in y 0.146 * [taylor]: Taking taylor expansion of 0 in y 0.147 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow y 2)))) in y 0.147 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.147 * [taylor]: Taking taylor expansion of 4.0 in y 0.147 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.147 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.155 * [taylor]: Taking taylor expansion of 0 in y 0.157 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in (x y) around 0 0.157 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in y 0.157 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.158 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.158 * [taylor]: Taking taylor expansion of x in y 0.158 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.158 * [taylor]: Taking taylor expansion of 4.0 in y 0.158 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.158 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.158 * [taylor]: Taking taylor expansion of y in y 0.158 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.158 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.158 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.159 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.159 * [taylor]: Taking taylor expansion of 4.0 in x 0.159 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.159 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.159 * [taylor]: Taking taylor expansion of y in x 0.159 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 4.0 (/ 1 (pow y 2)))) in x 0.159 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.159 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.159 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in x 0.160 * [taylor]: Taking taylor expansion of 4.0 in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.160 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.160 * [taylor]: Taking taylor expansion of 1 in y 0.161 * [taylor]: Taking taylor expansion of 0 in y 0.163 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow y 2)))) in y 0.163 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.163 * [taylor]: Taking taylor expansion of 4.0 in y 0.163 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.163 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.166 * [taylor]: Taking taylor expansion of 0 in y 0.170 * [taylor]: Taking taylor expansion of 0 in y 0.173 * * * [progress]: simplifying candidates 0.173 * [simplify]: Simplifying using # : (- (- (* x x) (* (* y 4.0) y))) (- (+ (* x x) (* (* y 4.0) y))) (/ (* x x) (+ (* x x) (* (* y 4.0) y))) (/ (* (* y 4.0) y) (+ (* x x) (* (* y 4.0) y))) (/ 1 (+ (* x x) (* (* y 4.0) y))) (/ (+ (* x x) (* (* y 4.0) y)) (- (* x x) (* (* y 4.0) y))) (/ (- (* x x) (* (* y 4.0) y)) (+ (pow (* x x) 3) (pow (* (* y 4.0) y) 3))) (/ (- (* x x) (* (* y 4.0) y)) (- (* (* x x) (* x x)) (* (* (* y 4.0) y) (* (* y 4.0) y)))) (* (+ (* x x) (* (* y 4.0) y)) (+ (* (* x x) (* x x)) (+ (* (* (* y 4.0) y) (* (* y 4.0) y)) (* (* x x) (* (* y 4.0) y))))) (* (+ (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) (fma x x (- (* y (* y 4.0)))) (fma (- y) (* y 4.0) (* y (* y 4.0))) (fma x x (- (* (* 4.0 y) y))) (fma (- (* 4.0 y)) y (* (* 4.0 y) y)) (fma x x (- (* (* y y) 4.0))) (fma (- (* y y)) 4.0 (* (* y y) 4.0)) (fma x x (- (* (* y 4.0) y))) (fma (- (* y 4.0)) y (* (* y 4.0) y)) (fma x x (- (* y (* y 4.0)))) (fma (- y) (* y 4.0) (* y (* y 4.0))) (fma x x (- (* (* 4.0 y) y))) (fma (- (* 4.0 y)) y (* (* 4.0 y) y)) (fma x x (- (* (* y y) 4.0))) (fma (- (* y y)) 4.0 (* (* y y) 4.0)) (fma x x (- (* (* y 4.0) y))) (fma (- (* y 4.0)) y (* (* y 4.0) y)) (- (* (* y 4.0) y)) (- (* (* y 4.0) y)) (- (pow (* x x) 3) (pow (* (* y 4.0) y) 3)) (+ (* (* x x) (* x x)) (+ (* (* (* y 4.0) y) (* (* y 4.0) y)) (* (* x x) (* (* y 4.0) y)))) (- (* (* y 4.0) y)) (- (* (* x x) (* x x)) (* (* (* y 4.0) y) (* (* y 4.0) y))) (+ (* x x) (* (* y 4.0) y)) (- (* (* y 4.0) y)) -1.0 1 1 (- (pow x 2) (* 4.0 (pow y 2))) (- (pow x 2) (* 4.0 (pow y 2))) (- (pow x 2) (* 4.0 (pow y 2))) 0.177 * * [simplify]: iteration 0 : 156 enodes (cost 208 ) 0.181 * * [simplify]: iteration 1 : 603 enodes (cost 197 ) 0.194 * * [simplify]: iteration 2 : 2376 enodes (cost 194 ) 0.253 * * [simplify]: iteration 3 : 5001 enodes (cost 151 ) 0.254 * [simplify]: Simplified to: (fma (- x) x (* y (* y 4.0))) (- (+ (* x x) (* (* y 4.0) y))) (/ x (/ (fma x x (* (* y 4.0) y)) x)) (/ (* y 4.0) (/ (fma x x (* (* y 4.0) y)) y)) (/ 1 (+ (* x x) (* (* y 4.0) y))) (/ (+ (* x x) (* (* y 4.0) y)) (- (* x x) (* (* y 4.0) y))) (/ (- (* x x) (* (* y 4.0) y)) (+ (pow (* x x) 3) (pow (* (* y 4.0) y) 3))) (/ 1 (+ (* x x) (* (* y 4.0) y))) (* (+ (* (* (* y 4.0) y) (+ (* (* y 4.0) y) (pow x 2))) (* (* x x) (* x x))) (fma x x (* (* y 4.0) y))) (* (+ (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y))) (- (* x x) (* (* y 4.0) y)) 0 (- (* x x) (* (* y 4.0) y)) 0 (- (* x x) (* (* y 4.0) y)) 0 (- (* x x) (* (* y 4.0) y)) 0 (- (* x x) (* (* y 4.0) y)) 0 (- (* x x) (* (* y 4.0) y)) 0 (- (* x x) (* (* y 4.0) y)) 0 (- (* x x) (* (* y 4.0) y)) 0 (- (* (* 4.0 y) y)) (- (* (* 4.0 y) y)) (- (pow (* x x) 3) (pow (* (* y 4.0) y) 3)) (fma (pow y 2) (* 4.0 (fma x x (* (* y 4.0) y))) (pow x 4)) (- (* (* 4.0 y) y)) (fma (- (pow y 4)) (* 4.0 4.0) (pow x 4)) (fma x x (* (* y 4.0) y)) (- (* (* 4.0 y) y)) -1.0 1 1 (- (* x x) (* (* y 4.0) y)) (- (* x x) (* (* y 4.0) y)) (- (* x x) (* (* y 4.0) y)) 0.255 * * * [progress]: adding candidates to table 0.301 * * [progress]: iteration 2 / 4 0.301 * * * [progress]: picking best candidate 0.307 * * * * [pick]: Picked # 0.307 * * * [progress]: localizing error 0.318 * * * [progress]: generating rewritten candidates 0.318 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.320 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.322 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.325 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.331 * * * [progress]: generating series expansions 0.331 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.336 * [approximate]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in (x y) around 0 0.336 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in y 0.336 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in y 0.336 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.336 * [taylor]: Taking taylor expansion of (* x x) in y 0.336 * [taylor]: Taking taylor expansion of x in y 0.336 * [taylor]: Taking taylor expansion of x in y 0.336 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.336 * [taylor]: Taking taylor expansion of 4.0 in y 0.336 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.336 * [taylor]: Taking taylor expansion of y in y 0.337 * [taylor]: Taking taylor expansion of y in y 0.337 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in x 0.337 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 0.337 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.337 * [taylor]: Taking taylor expansion of (* x x) in x 0.337 * [taylor]: Taking taylor expansion of x in x 0.337 * [taylor]: Taking taylor expansion of x in x 0.337 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.337 * [taylor]: Taking taylor expansion of 4.0 in x 0.337 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.337 * [taylor]: Taking taylor expansion of y in x 0.337 * [taylor]: Taking taylor expansion of y in x 0.339 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in x 0.339 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 0.339 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.339 * [taylor]: Taking taylor expansion of (* x x) in x 0.339 * [taylor]: Taking taylor expansion of x in x 0.339 * [taylor]: Taking taylor expansion of x in x 0.339 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.339 * [taylor]: Taking taylor expansion of 4.0 in x 0.339 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.339 * [taylor]: Taking taylor expansion of y in x 0.339 * [taylor]: Taking taylor expansion of y in x 0.341 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.341 * [taylor]: Taking taylor expansion of 4.0 in y 0.341 * [taylor]: Taking taylor expansion of y in y 0.343 * [taylor]: Taking taylor expansion of 0 in y 0.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.347 * [taylor]: Taking taylor expansion of y in y 0.353 * [taylor]: Taking taylor expansion of 0 in y 0.361 * [taylor]: Taking taylor expansion of 0 in y 0.363 * [approximate]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in (x y) around 0 0.363 * [taylor]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in y 0.363 * [taylor]: Taking taylor expansion of y in y 0.363 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in y 0.363 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.363 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 0.363 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.363 * [taylor]: Taking taylor expansion of x in y 0.363 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.363 * [taylor]: Taking taylor expansion of x in y 0.363 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.363 * [taylor]: Taking taylor expansion of 4.0 in y 0.363 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.363 * [taylor]: Taking taylor expansion of y in y 0.364 * [taylor]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 0.364 * [taylor]: Taking taylor expansion of y in x 0.364 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 0.364 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.364 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.365 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.365 * [taylor]: Taking taylor expansion of 4.0 in x 0.365 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.365 * [taylor]: Taking taylor expansion of y in x 0.365 * [taylor]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 0.365 * [taylor]: Taking taylor expansion of y in x 0.365 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 0.365 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.365 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.365 * [taylor]: Taking taylor expansion of x in x 0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.365 * [taylor]: Taking taylor expansion of x in x 0.366 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.366 * [taylor]: Taking taylor expansion of 4.0 in x 0.366 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.366 * [taylor]: Taking taylor expansion of y in x 0.366 * [taylor]: Taking taylor expansion of y in y 0.368 * [taylor]: Taking taylor expansion of 0 in y 0.370 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.370 * [taylor]: Taking taylor expansion of 4.0 in y 0.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.373 * [taylor]: Taking taylor expansion of 0 in y 0.377 * [taylor]: Taking taylor expansion of 0 in y 0.382 * [taylor]: Taking taylor expansion of 0 in y 0.383 * [approximate]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in (x y) around 0 0.383 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in y 0.384 * [taylor]: Taking taylor expansion of -1 in y 0.384 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y) in y 0.384 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in y 0.384 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.384 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 0.384 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.384 * [taylor]: Taking taylor expansion of -1 in y 0.384 * [taylor]: Taking taylor expansion of x in y 0.384 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.384 * [taylor]: Taking taylor expansion of -1 in y 0.384 * [taylor]: Taking taylor expansion of x in y 0.384 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.384 * [taylor]: Taking taylor expansion of 4.0 in y 0.384 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.384 * [taylor]: Taking taylor expansion of y in y 0.385 * [taylor]: Taking taylor expansion of y in y 0.385 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in x 0.385 * [taylor]: Taking taylor expansion of -1 in x 0.385 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y) in x 0.385 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 0.385 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.385 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.385 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.385 * [taylor]: Taking taylor expansion of -1 in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.385 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.385 * [taylor]: Taking taylor expansion of -1 in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.386 * [taylor]: Taking taylor expansion of 4.0 in x 0.386 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.386 * [taylor]: Taking taylor expansion of y in x 0.386 * [taylor]: Taking taylor expansion of y in x 0.386 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in x 0.386 * [taylor]: Taking taylor expansion of -1 in x 0.386 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y) in x 0.386 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 0.386 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.386 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.386 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.386 * [taylor]: Taking taylor expansion of -1 in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.386 * [taylor]: Taking taylor expansion of -1 in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.387 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.387 * [taylor]: Taking taylor expansion of 4.0 in x 0.387 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.387 * [taylor]: Taking taylor expansion of y in x 0.387 * [taylor]: Taking taylor expansion of y in x 0.388 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.388 * [taylor]: Taking taylor expansion of -1 in y 0.388 * [taylor]: Taking taylor expansion of y in y 0.390 * [taylor]: Taking taylor expansion of 0 in y 0.392 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 0.392 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.393 * [taylor]: Taking taylor expansion of 4.0 in y 0.393 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.393 * [taylor]: Taking taylor expansion of y in y 0.396 * [taylor]: Taking taylor expansion of 0 in y 0.402 * [taylor]: Taking taylor expansion of 0 in y 0.409 * [taylor]: Taking taylor expansion of 0 in y 0.411 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.411 * [approximate]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) x) in (x y) around 0 0.411 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) x) in y 0.411 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in y 0.411 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.411 * [taylor]: Taking taylor expansion of (* x x) in y 0.411 * [taylor]: Taking taylor expansion of x in y 0.411 * [taylor]: Taking taylor expansion of x in y 0.411 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.411 * [taylor]: Taking taylor expansion of 4.0 in y 0.411 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.411 * [taylor]: Taking taylor expansion of y in y 0.411 * [taylor]: Taking taylor expansion of x in y 0.411 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) x) in x 0.411 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 0.411 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.411 * [taylor]: Taking taylor expansion of (* x x) in x 0.411 * [taylor]: Taking taylor expansion of x in x 0.411 * [taylor]: Taking taylor expansion of x in x 0.411 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.411 * [taylor]: Taking taylor expansion of 4.0 in x 0.411 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.411 * [taylor]: Taking taylor expansion of y in x 0.411 * [taylor]: Taking taylor expansion of x in x 0.412 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) x) in x 0.412 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 0.412 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.412 * [taylor]: Taking taylor expansion of (* x x) in x 0.412 * [taylor]: Taking taylor expansion of x in x 0.412 * [taylor]: Taking taylor expansion of x in x 0.412 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.412 * [taylor]: Taking taylor expansion of 4.0 in x 0.412 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.412 * [taylor]: Taking taylor expansion of y in x 0.412 * [taylor]: Taking taylor expansion of x in x 0.413 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.413 * [taylor]: Taking taylor expansion of 4.0 in y 0.413 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.413 * [taylor]: Taking taylor expansion of y in y 0.415 * [taylor]: Taking taylor expansion of 0 in y 0.418 * [taylor]: Taking taylor expansion of 1 in y 0.422 * [taylor]: Taking taylor expansion of 0 in y 0.426 * [taylor]: Taking taylor expansion of 0 in y 0.427 * [approximate]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in (x y) around 0 0.427 * [taylor]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in y 0.427 * [taylor]: Taking taylor expansion of x in y 0.427 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in y 0.427 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.427 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 0.427 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.427 * [taylor]: Taking taylor expansion of x in y 0.427 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.427 * [taylor]: Taking taylor expansion of x in y 0.427 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.427 * [taylor]: Taking taylor expansion of 4.0 in y 0.427 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.427 * [taylor]: Taking taylor expansion of y in y 0.428 * [taylor]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 0.428 * [taylor]: Taking taylor expansion of x in x 0.428 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 0.428 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.428 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.428 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.429 * [taylor]: Taking taylor expansion of 4.0 in x 0.429 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.429 * [taylor]: Taking taylor expansion of y in x 0.429 * [taylor]: Taking taylor expansion of (* x (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 0.429 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.429 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.430 * [taylor]: Taking taylor expansion of x in x 0.430 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.430 * [taylor]: Taking taylor expansion of 4.0 in x 0.430 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.430 * [taylor]: Taking taylor expansion of y in x 0.431 * [taylor]: Taking taylor expansion of 0 in y 0.433 * [taylor]: Taking taylor expansion of 1 in y 0.435 * [taylor]: Taking taylor expansion of 0 in y 0.443 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.443 * [taylor]: Taking taylor expansion of 4.0 in y 0.443 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.443 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.444 * [taylor]: Taking taylor expansion of y in y 0.448 * [taylor]: Taking taylor expansion of 0 in y 0.453 * [taylor]: Taking taylor expansion of 0 in y 0.455 * [approximate]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) x)) in (x y) around 0 0.455 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) x)) in y 0.455 * [taylor]: Taking taylor expansion of -1 in y 0.455 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) x) in y 0.455 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in y 0.456 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.456 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 0.456 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.456 * [taylor]: Taking taylor expansion of -1 in y 0.456 * [taylor]: Taking taylor expansion of x in y 0.456 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.456 * [taylor]: Taking taylor expansion of -1 in y 0.456 * [taylor]: Taking taylor expansion of x in y 0.456 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.456 * [taylor]: Taking taylor expansion of 4.0 in y 0.456 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.456 * [taylor]: Taking taylor expansion of y in y 0.457 * [taylor]: Taking taylor expansion of x in y 0.457 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) x)) in x 0.457 * [taylor]: Taking taylor expansion of -1 in x 0.457 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) x) in x 0.457 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 0.457 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.457 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.457 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.457 * [taylor]: Taking taylor expansion of -1 in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.457 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.457 * [taylor]: Taking taylor expansion of -1 in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.458 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.458 * [taylor]: Taking taylor expansion of 4.0 in x 0.458 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.458 * [taylor]: Taking taylor expansion of y in x 0.458 * [taylor]: Taking taylor expansion of x in x 0.458 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) x)) in x 0.458 * [taylor]: Taking taylor expansion of -1 in x 0.458 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) x) in x 0.458 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 0.458 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.458 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.458 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.458 * [taylor]: Taking taylor expansion of -1 in x 0.458 * [taylor]: Taking taylor expansion of x in x 0.458 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.458 * [taylor]: Taking taylor expansion of -1 in x 0.458 * [taylor]: Taking taylor expansion of x in x 0.459 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.459 * [taylor]: Taking taylor expansion of 4.0 in x 0.459 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.459 * [taylor]: Taking taylor expansion of y in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.460 * [taylor]: Taking taylor expansion of 0 in y 0.462 * [taylor]: Taking taylor expansion of -1 in y 0.466 * [taylor]: Taking taylor expansion of 0 in y 0.469 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow y 2)))) in y 0.469 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.470 * [taylor]: Taking taylor expansion of 4.0 in y 0.470 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.470 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.470 * [taylor]: Taking taylor expansion of y in y 0.475 * [taylor]: Taking taylor expansion of 0 in y 0.482 * [taylor]: Taking taylor expansion of 0 in y 0.485 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 0.485 * [approximate]: Taking taylor expansion of (/ (pow x 2) (fma x x (* 4.0 (pow y 2)))) in (x y) around 0 0.485 * [taylor]: Taking taylor expansion of (/ (pow x 2) (fma x x (* 4.0 (pow y 2)))) in y 0.485 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.485 * [taylor]: Taking taylor expansion of x in y 0.485 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in y 0.486 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.486 * [taylor]: Taking taylor expansion of (* x x) in y 0.486 * [taylor]: Taking taylor expansion of x in y 0.486 * [taylor]: Taking taylor expansion of x in y 0.486 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.486 * [taylor]: Taking taylor expansion of 4.0 in y 0.486 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.486 * [taylor]: Taking taylor expansion of y in y 0.486 * [taylor]: Taking taylor expansion of (/ (pow x 2) (fma x x (* 4.0 (pow y 2)))) in x 0.486 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.486 * [taylor]: Taking taylor expansion of x in x 0.486 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 0.486 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.486 * [taylor]: Taking taylor expansion of (* x x) in x 0.486 * [taylor]: Taking taylor expansion of x in x 0.486 * [taylor]: Taking taylor expansion of x in x 0.486 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.486 * [taylor]: Taking taylor expansion of 4.0 in x 0.486 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.486 * [taylor]: Taking taylor expansion of y in x 0.487 * [taylor]: Taking taylor expansion of (/ (pow x 2) (fma x x (* 4.0 (pow y 2)))) in x 0.487 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.487 * [taylor]: Taking taylor expansion of x in x 0.488 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 0.488 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.488 * [taylor]: Taking taylor expansion of (* x x) in x 0.488 * [taylor]: Taking taylor expansion of x in x 0.488 * [taylor]: Taking taylor expansion of x in x 0.488 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.488 * [taylor]: Taking taylor expansion of 4.0 in x 0.488 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.488 * [taylor]: Taking taylor expansion of y in x 0.489 * [taylor]: Taking taylor expansion of (/ 0.25 (pow y 2)) in y 0.489 * [taylor]: Taking taylor expansion of 0.25 in y 0.489 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.489 * [taylor]: Taking taylor expansion of y in y 0.493 * [taylor]: Taking taylor expansion of 0 in y 0.497 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (pow y 4)))) in y 0.497 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (pow y 4))) in y 0.497 * [taylor]: Taking taylor expansion of 0.0625 in y 0.497 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.497 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.497 * [taylor]: Taking taylor expansion of y in y 0.506 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in (x y) around 0 0.506 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in y 0.506 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in y 0.506 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.506 * [taylor]: Taking taylor expansion of x in y 0.506 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in y 0.506 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.506 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 0.506 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.506 * [taylor]: Taking taylor expansion of x in y 0.506 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.506 * [taylor]: Taking taylor expansion of x in y 0.506 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.506 * [taylor]: Taking taylor expansion of 4.0 in y 0.506 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.506 * [taylor]: Taking taylor expansion of y in y 0.507 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in x 0.507 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 0.508 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.508 * [taylor]: Taking taylor expansion of x in x 0.508 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 0.508 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.508 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.508 * [taylor]: Taking taylor expansion of x in x 0.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.508 * [taylor]: Taking taylor expansion of x in x 0.508 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.508 * [taylor]: Taking taylor expansion of 4.0 in x 0.508 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.508 * [taylor]: Taking taylor expansion of y in x 0.510 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in x 0.510 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 0.510 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.510 * [taylor]: Taking taylor expansion of x in x 0.510 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 0.510 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.510 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.510 * [taylor]: Taking taylor expansion of x in x 0.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.510 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.511 * [taylor]: Taking taylor expansion of 4.0 in x 0.511 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.511 * [taylor]: Taking taylor expansion of y in x 0.512 * [taylor]: Taking taylor expansion of 1 in y 0.515 * [taylor]: Taking taylor expansion of 0 in y 0.518 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow y 2)))) in y 0.518 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.518 * [taylor]: Taking taylor expansion of 4.0 in y 0.518 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.518 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.518 * [taylor]: Taking taylor expansion of y in y 0.524 * [approximate]: Taking taylor expansion of (/ 1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow x 2))) in (x y) around 0 0.524 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow x 2))) in y 0.524 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow x 2)) in y 0.524 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in y 0.524 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.524 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 0.525 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.525 * [taylor]: Taking taylor expansion of -1 in y 0.525 * [taylor]: Taking taylor expansion of x in y 0.525 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.525 * [taylor]: Taking taylor expansion of -1 in y 0.525 * [taylor]: Taking taylor expansion of x in y 0.525 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.525 * [taylor]: Taking taylor expansion of 4.0 in y 0.525 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.525 * [taylor]: Taking taylor expansion of y in y 0.525 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.525 * [taylor]: Taking taylor expansion of x in y 0.526 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow x 2))) in x 0.526 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow x 2)) in x 0.526 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 0.526 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.526 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.526 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.526 * [taylor]: Taking taylor expansion of -1 in x 0.526 * [taylor]: Taking taylor expansion of x in x 0.527 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.527 * [taylor]: Taking taylor expansion of -1 in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.527 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.527 * [taylor]: Taking taylor expansion of 4.0 in x 0.527 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.527 * [taylor]: Taking taylor expansion of y in x 0.527 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.528 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow x 2))) in x 0.528 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow x 2)) in x 0.528 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 0.529 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.529 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.529 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.529 * [taylor]: Taking taylor expansion of -1 in x 0.529 * [taylor]: Taking taylor expansion of x in x 0.529 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.529 * [taylor]: Taking taylor expansion of -1 in x 0.529 * [taylor]: Taking taylor expansion of x in x 0.529 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.529 * [taylor]: Taking taylor expansion of 4.0 in x 0.529 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.529 * [taylor]: Taking taylor expansion of y in x 0.530 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.530 * [taylor]: Taking taylor expansion of x in x 0.531 * [taylor]: Taking taylor expansion of 1 in y 0.539 * [taylor]: Taking taylor expansion of 0 in y 0.543 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow y 2)))) in y 0.543 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.543 * [taylor]: Taking taylor expansion of 4.0 in y 0.543 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.543 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.543 * [taylor]: Taking taylor expansion of y in y 0.548 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.549 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in (y x) around 0 0.549 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in x 0.549 * [taylor]: Taking taylor expansion of 4.0 in x 0.549 * [taylor]: Taking taylor expansion of (/ (pow y 2) (fma x x (* 4.0 (pow y 2)))) in x 0.549 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.549 * [taylor]: Taking taylor expansion of y in x 0.549 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 0.549 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.549 * [taylor]: Taking taylor expansion of (* x x) in x 0.549 * [taylor]: Taking taylor expansion of x in x 0.549 * [taylor]: Taking taylor expansion of x in x 0.549 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.549 * [taylor]: Taking taylor expansion of 4.0 in x 0.549 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.549 * [taylor]: Taking taylor expansion of y in x 0.550 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in y 0.550 * [taylor]: Taking taylor expansion of 4.0 in y 0.550 * [taylor]: Taking taylor expansion of (/ (pow y 2) (fma x x (* 4.0 (pow y 2)))) in y 0.550 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.550 * [taylor]: Taking taylor expansion of y in y 0.550 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in y 0.550 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.550 * [taylor]: Taking taylor expansion of (* x x) in y 0.550 * [taylor]: Taking taylor expansion of x in y 0.550 * [taylor]: Taking taylor expansion of x in y 0.550 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.550 * [taylor]: Taking taylor expansion of 4.0 in y 0.550 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.550 * [taylor]: Taking taylor expansion of y in y 0.551 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in y 0.551 * [taylor]: Taking taylor expansion of 4.0 in y 0.551 * [taylor]: Taking taylor expansion of (/ (pow y 2) (fma x x (* 4.0 (pow y 2)))) in y 0.551 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.551 * [taylor]: Taking taylor expansion of y in y 0.551 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in y 0.551 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.551 * [taylor]: Taking taylor expansion of (* x x) in y 0.551 * [taylor]: Taking taylor expansion of x in y 0.551 * [taylor]: Taking taylor expansion of x in y 0.551 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.551 * [taylor]: Taking taylor expansion of 4.0 in y 0.551 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.551 * [taylor]: Taking taylor expansion of y in y 0.552 * [taylor]: Taking taylor expansion of (/ 4.0 (pow x 2)) in x 0.552 * [taylor]: Taking taylor expansion of 4.0 in x 0.552 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.552 * [taylor]: Taking taylor expansion of x in x 0.556 * [taylor]: Taking taylor expansion of 0 in x 0.559 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow x 4)))) in x 0.559 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow x 4))) in x 0.559 * [taylor]: Taking taylor expansion of 16.0 in x 0.559 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.559 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.569 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in (y x) around 0 0.569 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in x 0.569 * [taylor]: Taking taylor expansion of 4.0 in x 0.569 * [taylor]: Taking taylor expansion of (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 0.569 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.569 * [taylor]: Taking taylor expansion of y in x 0.569 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 0.569 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.569 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.569 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.570 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.570 * [taylor]: Taking taylor expansion of 4.0 in x 0.570 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.570 * [taylor]: Taking taylor expansion of y in x 0.571 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in y 0.571 * [taylor]: Taking taylor expansion of 4.0 in y 0.571 * [taylor]: Taking taylor expansion of (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in y 0.571 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.571 * [taylor]: Taking taylor expansion of y in y 0.571 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in y 0.571 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.571 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 0.571 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.571 * [taylor]: Taking taylor expansion of x in y 0.571 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.571 * [taylor]: Taking taylor expansion of x in y 0.571 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.571 * [taylor]: Taking taylor expansion of 4.0 in y 0.571 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.571 * [taylor]: Taking taylor expansion of y in y 0.573 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in y 0.573 * [taylor]: Taking taylor expansion of 4.0 in y 0.573 * [taylor]: Taking taylor expansion of (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in y 0.573 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.573 * [taylor]: Taking taylor expansion of y in y 0.573 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in y 0.573 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.573 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 0.573 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.573 * [taylor]: Taking taylor expansion of x in y 0.573 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.573 * [taylor]: Taking taylor expansion of x in y 0.573 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.573 * [taylor]: Taking taylor expansion of 4.0 in y 0.573 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.573 * [taylor]: Taking taylor expansion of y in y 0.575 * [taylor]: Taking taylor expansion of 1.0 in x 0.577 * [taylor]: Taking taylor expansion of 0 in x 0.581 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow x 2)))) in x 0.581 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 0.581 * [taylor]: Taking taylor expansion of 0.25 in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.581 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.586 * [approximate]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in (y x) around 0 0.586 * [taylor]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in x 0.586 * [taylor]: Taking taylor expansion of 4.0 in x 0.586 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2)) in x 0.587 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 0.587 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.587 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.587 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.587 * [taylor]: Taking taylor expansion of -1 in x 0.587 * [taylor]: Taking taylor expansion of x in x 0.587 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.587 * [taylor]: Taking taylor expansion of -1 in x 0.587 * [taylor]: Taking taylor expansion of x in x 0.588 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.588 * [taylor]: Taking taylor expansion of 4.0 in x 0.588 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.588 * [taylor]: Taking taylor expansion of y in x 0.588 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.588 * [taylor]: Taking taylor expansion of y in x 0.589 * [taylor]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in y 0.589 * [taylor]: Taking taylor expansion of 4.0 in y 0.589 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2)) in y 0.589 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in y 0.589 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.589 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 0.589 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.589 * [taylor]: Taking taylor expansion of -1 in y 0.589 * [taylor]: Taking taylor expansion of x in y 0.589 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.589 * [taylor]: Taking taylor expansion of -1 in y 0.589 * [taylor]: Taking taylor expansion of x in y 0.589 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.589 * [taylor]: Taking taylor expansion of 4.0 in y 0.589 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.589 * [taylor]: Taking taylor expansion of y in y 0.590 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.590 * [taylor]: Taking taylor expansion of y in y 0.591 * [taylor]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in y 0.591 * [taylor]: Taking taylor expansion of 4.0 in y 0.591 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2)) in y 0.591 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in y 0.591 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.591 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 0.591 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.591 * [taylor]: Taking taylor expansion of -1 in y 0.591 * [taylor]: Taking taylor expansion of x in y 0.591 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.591 * [taylor]: Taking taylor expansion of -1 in y 0.591 * [taylor]: Taking taylor expansion of x in y 0.591 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.591 * [taylor]: Taking taylor expansion of 4.0 in y 0.591 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.591 * [taylor]: Taking taylor expansion of y in y 0.592 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.592 * [taylor]: Taking taylor expansion of y in y 0.593 * [taylor]: Taking taylor expansion of 1.0 in x 0.595 * [taylor]: Taking taylor expansion of 0 in x 0.598 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow x 2)))) in x 0.599 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 0.599 * [taylor]: Taking taylor expansion of 0.25 in x 0.599 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.599 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.599 * [taylor]: Taking taylor expansion of x in x 0.604 * * * [progress]: simplifying candidates 0.605 * [simplify]: Simplifying using # : (- (fma x x (* (* y 4.0) y))) (- y) (/ 1 y) (/ y (fma x x (* (* y 4.0) y))) (- (fma x x (* (* y 4.0) y))) (- x) (/ 1 x) (/ x (fma x x (* (* y 4.0) y))) (- x) (- (/ (fma x x (* (* y 4.0) y)) x)) (/ 1 (/ (fma x x (* (* y 4.0) y)) x)) (/ (/ (fma x x (* (* y 4.0) y)) x) x) (/ x (fma x x (* (* y 4.0) y))) (/ x (fma x x (* (* y 4.0) y))) (/ x (- (fma x x (* (* y 4.0) y)))) (/ x 1) (- (* y 4.0)) (- (/ (fma x x (* (* y 4.0) y)) y)) (/ y (fma x x (* (* y 4.0) y))) (/ 4.0 (/ 1 y)) (/ 4.0 (fma x x (* (* y 4.0) y))) (/ y (/ 1 y)) (/ 1 (/ (fma x x (* (* y 4.0) y)) y)) (/ (/ (fma x x (* (* y 4.0) y)) y) (* y 4.0)) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (/ (fma x x (* (* y 4.0) y)) y) 4.0) (/ (/ (fma x x (* (* y 4.0) y)) y) y) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (* y 4.0) (- (fma x x (* (* y 4.0) y)))) (/ (* y 4.0) 1) (+ (* 4.0 y) (/ (pow x 2) y)) (+ (* 4.0 y) (/ (pow x 2) y)) (+ (* 4.0 y) (/ (pow x 2) y)) (+ (* 4.0 (/ (pow y 2) x)) x) (+ x (* 4.0 (/ (pow y 2) x))) (+ x (* 4.0 (/ (pow y 2) x))) 0 0 0 0 0 0 0.608 * * [simplify]: iteration 0 : 84 enodes (cost 124 ) 0.610 * * [simplify]: iteration 1 : 219 enodes (cost 122 ) 0.616 * * [simplify]: iteration 2 : 1129 enodes (cost 120 ) 0.645 * * [simplify]: iteration 3 : 5002 enodes (cost 120 ) 0.647 * [simplify]: Simplified to: (- (fma x x (* (* y 4.0) y))) (- y) (/ 1 y) (/ y (fma x x (* (* y 4.0) y))) (- (fma x x (* (* y 4.0) y))) (- x) (/ 1 x) (/ x (fma x x (* (* y 4.0) y))) (- x) (- (/ (fma x x (* (* y 4.0) y)) x)) (/ x (fma x x (* (* y 4.0) y))) (/ (/ (fma x x (* (* y 4.0) y)) x) x) (/ x (fma x x (* (* y 4.0) y))) (/ x (fma x x (* (* y 4.0) y))) (/ x (- (fma x x (* (* y 4.0) y)))) x (- (* y 4.0)) (- (/ (fma x x (* (* y 4.0) y)) y)) (/ y (fma x x (* (* y 4.0) y))) (* y 4.0) (/ 4.0 (fma x x (* (* y 4.0) y))) (pow y 2) (/ y (fma x x (* (* y 4.0) y))) (/ (/ (fma x x (* (* y 4.0) y)) y) (* y 4.0)) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (/ (fma x x (* (* y 4.0) y)) y) 4.0) (/ (/ (fma x x (* (* y 4.0) y)) y) y) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (* y 4.0) (- (fma x x (* (* y 4.0) y)))) (* y 4.0) (fma 4.0 y (/ (pow x 2) y)) (fma 4.0 y (/ (pow x 2) y)) (fma 4.0 y (/ (pow x 2) y)) (fma 4.0 (/ (pow y 2) x) x) (fma 4.0 (/ (pow y 2) x) x) (fma 4.0 (/ (pow y 2) x) x) 0 0 0 0 0 0 0.647 * * * [progress]: adding candidates to table 0.724 * * [progress]: iteration 3 / 4 0.724 * * * [progress]: picking best candidate 0.733 * * * * [pick]: Picked # 0.733 * * * [progress]: localizing error 0.748 * * * [progress]: generating rewritten candidates 0.748 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.750 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 0.753 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.755 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.760 * * * [progress]: generating series expansions 0.760 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.760 * [approximate]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in (x y) around 0 0.760 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in y 0.760 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in y 0.760 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.760 * [taylor]: Taking taylor expansion of (* x x) in y 0.760 * [taylor]: Taking taylor expansion of x in y 0.760 * [taylor]: Taking taylor expansion of x in y 0.760 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.760 * [taylor]: Taking taylor expansion of 4.0 in y 0.760 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.760 * [taylor]: Taking taylor expansion of y in y 0.760 * [taylor]: Taking taylor expansion of y in y 0.761 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in x 0.761 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 0.761 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.761 * [taylor]: Taking taylor expansion of (* x x) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.761 * [taylor]: Taking taylor expansion of 4.0 in x 0.761 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.761 * [taylor]: Taking taylor expansion of y in x 0.761 * [taylor]: Taking taylor expansion of y in x 0.762 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in x 0.762 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 0.762 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.762 * [taylor]: Taking taylor expansion of (* x x) in x 0.762 * [taylor]: Taking taylor expansion of x in x 0.762 * [taylor]: Taking taylor expansion of x in x 0.762 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.762 * [taylor]: Taking taylor expansion of 4.0 in x 0.762 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.762 * [taylor]: Taking taylor expansion of y in x 0.762 * [taylor]: Taking taylor expansion of y in x 0.763 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 0.763 * [taylor]: Taking taylor expansion of 4.0 in y 0.763 * [taylor]: Taking taylor expansion of y in y 0.764 * [taylor]: Taking taylor expansion of 0 in y 0.766 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.766 * [taylor]: Taking taylor expansion of y in y 0.769 * [taylor]: Taking taylor expansion of 0 in y 0.773 * [taylor]: Taking taylor expansion of 0 in y 0.774 * [approximate]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in (x y) around 0 0.774 * [taylor]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.774 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in y 0.775 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.775 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 0.775 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.775 * [taylor]: Taking taylor expansion of x in y 0.775 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.775 * [taylor]: Taking taylor expansion of x in y 0.775 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.775 * [taylor]: Taking taylor expansion of 4.0 in y 0.775 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.775 * [taylor]: Taking taylor expansion of y in y 0.776 * [taylor]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 0.776 * [taylor]: Taking taylor expansion of y in x 0.776 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 0.776 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.776 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.776 * [taylor]: Taking taylor expansion of x in x 0.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.776 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.777 * [taylor]: Taking taylor expansion of 4.0 in x 0.777 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.777 * [taylor]: Taking taylor expansion of y in x 0.777 * [taylor]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 0.777 * [taylor]: Taking taylor expansion of y in x 0.777 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 0.777 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.777 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.778 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.778 * [taylor]: Taking taylor expansion of 4.0 in x 0.778 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.778 * [taylor]: Taking taylor expansion of y in x 0.778 * [taylor]: Taking taylor expansion of y in y 0.780 * [taylor]: Taking taylor expansion of 0 in y 0.782 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.782 * [taylor]: Taking taylor expansion of 4.0 in y 0.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.783 * [taylor]: Taking taylor expansion of y in y 0.785 * [taylor]: Taking taylor expansion of 0 in y 0.789 * [taylor]: Taking taylor expansion of 0 in y 0.794 * [taylor]: Taking taylor expansion of 0 in y 0.796 * [approximate]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in (x y) around 0 0.796 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in y 0.796 * [taylor]: Taking taylor expansion of -1 in y 0.796 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y) in y 0.796 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in y 0.796 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.796 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 0.796 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.796 * [taylor]: Taking taylor expansion of -1 in y 0.796 * [taylor]: Taking taylor expansion of x in y 0.796 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.796 * [taylor]: Taking taylor expansion of -1 in y 0.796 * [taylor]: Taking taylor expansion of x in y 0.796 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.796 * [taylor]: Taking taylor expansion of 4.0 in y 0.796 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.796 * [taylor]: Taking taylor expansion of y in y 0.797 * [taylor]: Taking taylor expansion of y in y 0.797 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in x 0.797 * [taylor]: Taking taylor expansion of -1 in x 0.797 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y) in x 0.797 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 0.797 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.797 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.797 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.797 * [taylor]: Taking taylor expansion of -1 in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.797 * [taylor]: Taking taylor expansion of -1 in x 0.798 * [taylor]: Taking taylor expansion of x in x 0.798 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.798 * [taylor]: Taking taylor expansion of 4.0 in x 0.798 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.798 * [taylor]: Taking taylor expansion of y in x 0.798 * [taylor]: Taking taylor expansion of y in x 0.798 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in x 0.798 * [taylor]: Taking taylor expansion of -1 in x 0.798 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y) in x 0.798 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 0.798 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.798 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.798 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.798 * [taylor]: Taking taylor expansion of -1 in x 0.798 * [taylor]: Taking taylor expansion of x in x 0.799 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.799 * [taylor]: Taking taylor expansion of -1 in x 0.799 * [taylor]: Taking taylor expansion of x in x 0.799 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.799 * [taylor]: Taking taylor expansion of 4.0 in x 0.799 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.799 * [taylor]: Taking taylor expansion of y in x 0.799 * [taylor]: Taking taylor expansion of y in x 0.800 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.800 * [taylor]: Taking taylor expansion of -1 in y 0.800 * [taylor]: Taking taylor expansion of y in y 0.802 * [taylor]: Taking taylor expansion of 0 in y 0.809 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 0.809 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 0.809 * [taylor]: Taking taylor expansion of 4.0 in y 0.809 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.809 * [taylor]: Taking taylor expansion of y in y 0.813 * [taylor]: Taking taylor expansion of 0 in y 0.819 * [taylor]: Taking taylor expansion of 0 in y 0.825 * [taylor]: Taking taylor expansion of 0 in y 0.828 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 0.828 * [approximate]: Taking taylor expansion of (/ (pow y 2) x) in (y x) around 0 0.828 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 0.828 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.828 * [taylor]: Taking taylor expansion of y in x 0.828 * [taylor]: Taking taylor expansion of x in x 0.828 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 0.828 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.828 * [taylor]: Taking taylor expansion of y in y 0.828 * [taylor]: Taking taylor expansion of x in y 0.828 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 0.829 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.829 * [taylor]: Taking taylor expansion of y in y 0.829 * [taylor]: Taking taylor expansion of x in y 0.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.829 * [taylor]: Taking taylor expansion of x in x 0.830 * [taylor]: Taking taylor expansion of 0 in x 0.831 * [taylor]: Taking taylor expansion of 0 in x 0.832 * [taylor]: Taking taylor expansion of 0 in x 0.833 * [approximate]: Taking taylor expansion of (/ x (pow y 2)) in (y x) around 0 0.833 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 0.833 * [taylor]: Taking taylor expansion of x in x 0.833 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.833 * [taylor]: Taking taylor expansion of y in x 0.833 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 0.833 * [taylor]: Taking taylor expansion of x in y 0.833 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.833 * [taylor]: Taking taylor expansion of y in y 0.834 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 0.834 * [taylor]: Taking taylor expansion of x in y 0.834 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.834 * [taylor]: Taking taylor expansion of y in y 0.834 * [taylor]: Taking taylor expansion of x in x 0.835 * [taylor]: Taking taylor expansion of 0 in x 0.836 * [taylor]: Taking taylor expansion of 0 in x 0.838 * [taylor]: Taking taylor expansion of 0 in x 0.839 * [approximate]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in (y x) around 0 0.839 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in x 0.839 * [taylor]: Taking taylor expansion of -1 in x 0.839 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 0.839 * [taylor]: Taking taylor expansion of x in x 0.839 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.839 * [taylor]: Taking taylor expansion of y in x 0.839 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in y 0.839 * [taylor]: Taking taylor expansion of -1 in y 0.839 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 0.839 * [taylor]: Taking taylor expansion of x in y 0.839 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.839 * [taylor]: Taking taylor expansion of y in y 0.839 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in y 0.839 * [taylor]: Taking taylor expansion of -1 in y 0.839 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 0.839 * [taylor]: Taking taylor expansion of x in y 0.839 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.839 * [taylor]: Taking taylor expansion of y in y 0.840 * [taylor]: Taking taylor expansion of (* -1 x) in x 0.840 * [taylor]: Taking taylor expansion of -1 in x 0.840 * [taylor]: Taking taylor expansion of x in x 0.842 * [taylor]: Taking taylor expansion of 0 in x 0.844 * [taylor]: Taking taylor expansion of 0 in x 0.847 * [taylor]: Taking taylor expansion of 0 in x 0.847 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 0.848 * [approximate]: Taking taylor expansion of (/ x (fma 4.0 (/ (pow y 2) x) x)) in (x y) around 0 0.848 * [taylor]: Taking taylor expansion of (/ x (fma 4.0 (/ (pow y 2) x) x)) in y 0.848 * [taylor]: Taking taylor expansion of x in y 0.848 * [taylor]: Taking taylor expansion of (fma 4.0 (/ (pow y 2) x) x) in y 0.848 * [taylor]: Rewrote expression to (+ (* 4.0 (/ (pow y 2) x)) x) 0.848 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) x)) in y 0.848 * [taylor]: Taking taylor expansion of 4.0 in y 0.848 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 0.848 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.848 * [taylor]: Taking taylor expansion of y in y 0.848 * [taylor]: Taking taylor expansion of x in y 0.848 * [taylor]: Taking taylor expansion of x in y 0.848 * [taylor]: Taking taylor expansion of (/ x (fma 4.0 (/ (pow y 2) x) x)) in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.849 * [taylor]: Taking taylor expansion of (fma 4.0 (/ (pow y 2) x) x) in x 0.849 * [taylor]: Rewrote expression to (+ (* 4.0 (/ (pow y 2) x)) x) 0.849 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) x)) in x 0.849 * [taylor]: Taking taylor expansion of 4.0 in x 0.849 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 0.849 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.849 * [taylor]: Taking taylor expansion of y in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.849 * [taylor]: Taking taylor expansion of (/ x (fma 4.0 (/ (pow y 2) x) x)) in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.849 * [taylor]: Taking taylor expansion of (fma 4.0 (/ (pow y 2) x) x) in x 0.849 * [taylor]: Rewrote expression to (+ (* 4.0 (/ (pow y 2) x)) x) 0.849 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) x)) in x 0.849 * [taylor]: Taking taylor expansion of 4.0 in x 0.849 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 0.849 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.849 * [taylor]: Taking taylor expansion of y in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.850 * [taylor]: Taking taylor expansion of (/ 0.25 (pow y 2)) in y 0.850 * [taylor]: Taking taylor expansion of 0.25 in y 0.850 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.850 * [taylor]: Taking taylor expansion of y in y 0.854 * [taylor]: Taking taylor expansion of 0 in y 0.858 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (pow y 4)))) in y 0.858 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (pow y 4))) in y 0.858 * [taylor]: Taking taylor expansion of 0.0625 in y 0.858 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.858 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.858 * [taylor]: Taking taylor expansion of y in y 0.867 * [approximate]: Taking taylor expansion of (/ 1 (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x)))) in (x y) around 0 0.867 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x)))) in y 0.867 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x))) in y 0.867 * [taylor]: Taking taylor expansion of x in y 0.867 * [taylor]: Taking taylor expansion of (fma 4.0 (/ x (pow y 2)) (/ 1 x)) in y 0.867 * [taylor]: Rewrote expression to (+ (* 4.0 (/ x (pow y 2))) (/ 1 x)) 0.867 * [taylor]: Taking taylor expansion of (* 4.0 (/ x (pow y 2))) in y 0.867 * [taylor]: Taking taylor expansion of 4.0 in y 0.867 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 0.867 * [taylor]: Taking taylor expansion of x in y 0.867 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.867 * [taylor]: Taking taylor expansion of y in y 0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.868 * [taylor]: Taking taylor expansion of x in y 0.868 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x)))) in x 0.868 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x))) in x 0.868 * [taylor]: Taking taylor expansion of x in x 0.868 * [taylor]: Taking taylor expansion of (fma 4.0 (/ x (pow y 2)) (/ 1 x)) in x 0.868 * [taylor]: Rewrote expression to (+ (* 4.0 (/ x (pow y 2))) (/ 1 x)) 0.868 * [taylor]: Taking taylor expansion of (* 4.0 (/ x (pow y 2))) in x 0.868 * [taylor]: Taking taylor expansion of 4.0 in x 0.868 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 0.868 * [taylor]: Taking taylor expansion of x in x 0.868 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.868 * [taylor]: Taking taylor expansion of y in x 0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.868 * [taylor]: Taking taylor expansion of x in x 0.871 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x)))) in x 0.871 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x))) in x 0.871 * [taylor]: Taking taylor expansion of x in x 0.871 * [taylor]: Taking taylor expansion of (fma 4.0 (/ x (pow y 2)) (/ 1 x)) in x 0.871 * [taylor]: Rewrote expression to (+ (* 4.0 (/ x (pow y 2))) (/ 1 x)) 0.871 * [taylor]: Taking taylor expansion of (* 4.0 (/ x (pow y 2))) in x 0.871 * [taylor]: Taking taylor expansion of 4.0 in x 0.871 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 0.871 * [taylor]: Taking taylor expansion of x in x 0.871 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.871 * [taylor]: Taking taylor expansion of y in x 0.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.871 * [taylor]: Taking taylor expansion of x in x 0.873 * [taylor]: Taking taylor expansion of 1 in y 0.875 * [taylor]: Taking taylor expansion of 0 in y 0.878 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow y 2)))) in y 0.878 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.878 * [taylor]: Taking taylor expansion of 4.0 in y 0.878 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.878 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.878 * [taylor]: Taking taylor expansion of y in y 0.884 * [approximate]: Taking taylor expansion of (/ -1 (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)))) in (x y) around 0 0.884 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)))) in y 0.884 * [taylor]: Taking taylor expansion of -1 in y 0.884 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x))) in y 0.884 * [taylor]: Taking taylor expansion of x in y 0.884 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)) in y 0.884 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 (/ x (pow y 2)))) (/ -1 x)) 0.884 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 (/ x (pow y 2)))) in y 0.884 * [taylor]: Taking taylor expansion of 4.0 in y 0.884 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in y 0.884 * [taylor]: Taking taylor expansion of -1 in y 0.884 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 0.884 * [taylor]: Taking taylor expansion of x in y 0.884 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.884 * [taylor]: Taking taylor expansion of y in y 0.884 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.885 * [taylor]: Taking taylor expansion of -1 in y 0.885 * [taylor]: Taking taylor expansion of x in y 0.885 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)))) in x 0.885 * [taylor]: Taking taylor expansion of -1 in x 0.885 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x))) in x 0.885 * [taylor]: Taking taylor expansion of x in x 0.885 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)) in x 0.885 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 (/ x (pow y 2)))) (/ -1 x)) 0.885 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 (/ x (pow y 2)))) in x 0.885 * [taylor]: Taking taylor expansion of 4.0 in x 0.885 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in x 0.885 * [taylor]: Taking taylor expansion of -1 in x 0.885 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 0.885 * [taylor]: Taking taylor expansion of x in x 0.885 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.885 * [taylor]: Taking taylor expansion of y in x 0.885 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.885 * [taylor]: Taking taylor expansion of -1 in x 0.885 * [taylor]: Taking taylor expansion of x in x 0.887 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)))) in x 0.888 * [taylor]: Taking taylor expansion of -1 in x 0.888 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x))) in x 0.888 * [taylor]: Taking taylor expansion of x in x 0.888 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)) in x 0.888 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 (/ x (pow y 2)))) (/ -1 x)) 0.888 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 (/ x (pow y 2)))) in x 0.888 * [taylor]: Taking taylor expansion of 4.0 in x 0.888 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in x 0.888 * [taylor]: Taking taylor expansion of -1 in x 0.888 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 0.888 * [taylor]: Taking taylor expansion of x in x 0.888 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.888 * [taylor]: Taking taylor expansion of y in x 0.888 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.888 * [taylor]: Taking taylor expansion of -1 in x 0.888 * [taylor]: Taking taylor expansion of x in x 0.890 * [taylor]: Taking taylor expansion of 1 in y 0.892 * [taylor]: Taking taylor expansion of 0 in y 0.896 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow y 2)))) in y 0.896 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 0.896 * [taylor]: Taking taylor expansion of 4.0 in y 0.896 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.896 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.896 * [taylor]: Taking taylor expansion of y in y 0.907 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.907 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in (y x) around 0 0.907 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in x 0.907 * [taylor]: Taking taylor expansion of 4.0 in x 0.907 * [taylor]: Taking taylor expansion of (/ (pow y 2) (fma x x (* 4.0 (pow y 2)))) in x 0.907 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.907 * [taylor]: Taking taylor expansion of y in x 0.907 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 0.908 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.908 * [taylor]: Taking taylor expansion of (* x x) in x 0.908 * [taylor]: Taking taylor expansion of x in x 0.908 * [taylor]: Taking taylor expansion of x in x 0.908 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 0.908 * [taylor]: Taking taylor expansion of 4.0 in x 0.908 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.908 * [taylor]: Taking taylor expansion of y in x 0.908 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in y 0.908 * [taylor]: Taking taylor expansion of 4.0 in y 0.908 * [taylor]: Taking taylor expansion of (/ (pow y 2) (fma x x (* 4.0 (pow y 2)))) in y 0.908 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.908 * [taylor]: Taking taylor expansion of y in y 0.909 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in y 0.909 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.909 * [taylor]: Taking taylor expansion of (* x x) in y 0.909 * [taylor]: Taking taylor expansion of x in y 0.909 * [taylor]: Taking taylor expansion of x in y 0.909 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.909 * [taylor]: Taking taylor expansion of 4.0 in y 0.909 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.909 * [taylor]: Taking taylor expansion of y in y 0.909 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in y 0.909 * [taylor]: Taking taylor expansion of 4.0 in y 0.909 * [taylor]: Taking taylor expansion of (/ (pow y 2) (fma x x (* 4.0 (pow y 2)))) in y 0.909 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.909 * [taylor]: Taking taylor expansion of y in y 0.909 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in y 0.910 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 0.910 * [taylor]: Taking taylor expansion of (* x x) in y 0.910 * [taylor]: Taking taylor expansion of x in y 0.910 * [taylor]: Taking taylor expansion of x in y 0.910 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 0.910 * [taylor]: Taking taylor expansion of 4.0 in y 0.910 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.910 * [taylor]: Taking taylor expansion of y in y 0.910 * [taylor]: Taking taylor expansion of (/ 4.0 (pow x 2)) in x 0.910 * [taylor]: Taking taylor expansion of 4.0 in x 0.910 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.914 * [taylor]: Taking taylor expansion of 0 in x 0.918 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow x 4)))) in x 0.918 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow x 4))) in x 0.918 * [taylor]: Taking taylor expansion of 16.0 in x 0.918 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.918 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.918 * [taylor]: Taking taylor expansion of x in x 0.927 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in (y x) around 0 0.927 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in x 0.927 * [taylor]: Taking taylor expansion of 4.0 in x 0.927 * [taylor]: Taking taylor expansion of (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 0.927 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.927 * [taylor]: Taking taylor expansion of y in x 0.927 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 0.928 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.928 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.928 * [taylor]: Taking taylor expansion of x in x 0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.928 * [taylor]: Taking taylor expansion of x in x 0.928 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.928 * [taylor]: Taking taylor expansion of 4.0 in x 0.928 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.928 * [taylor]: Taking taylor expansion of y in x 0.929 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in y 0.929 * [taylor]: Taking taylor expansion of 4.0 in y 0.929 * [taylor]: Taking taylor expansion of (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in y 0.929 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.929 * [taylor]: Taking taylor expansion of y in y 0.929 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in y 0.929 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.929 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.930 * [taylor]: Taking taylor expansion of x in y 0.930 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.930 * [taylor]: Taking taylor expansion of x in y 0.930 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.930 * [taylor]: Taking taylor expansion of 4.0 in y 0.930 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.930 * [taylor]: Taking taylor expansion of y in y 0.931 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in y 0.931 * [taylor]: Taking taylor expansion of 4.0 in y 0.931 * [taylor]: Taking taylor expansion of (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in y 0.931 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.931 * [taylor]: Taking taylor expansion of y in y 0.931 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in y 0.932 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 0.932 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 0.932 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.932 * [taylor]: Taking taylor expansion of x in y 0.932 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.932 * [taylor]: Taking taylor expansion of x in y 0.932 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.932 * [taylor]: Taking taylor expansion of 4.0 in y 0.932 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.932 * [taylor]: Taking taylor expansion of y in y 0.933 * [taylor]: Taking taylor expansion of 1.0 in x 0.936 * [taylor]: Taking taylor expansion of 0 in x 0.939 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow x 2)))) in x 0.939 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 0.939 * [taylor]: Taking taylor expansion of 0.25 in x 0.939 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.939 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.939 * [taylor]: Taking taylor expansion of x in x 0.945 * [approximate]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in (y x) around 0 0.945 * [taylor]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in x 0.945 * [taylor]: Taking taylor expansion of 4.0 in x 0.945 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2)) in x 0.945 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 0.945 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.945 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 0.945 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.945 * [taylor]: Taking taylor expansion of -1 in x 0.945 * [taylor]: Taking taylor expansion of x in x 0.945 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.945 * [taylor]: Taking taylor expansion of -1 in x 0.945 * [taylor]: Taking taylor expansion of x in x 0.946 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 0.946 * [taylor]: Taking taylor expansion of 4.0 in x 0.946 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.946 * [taylor]: Taking taylor expansion of y in x 0.946 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.946 * [taylor]: Taking taylor expansion of y in x 0.947 * [taylor]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in y 0.947 * [taylor]: Taking taylor expansion of 4.0 in y 0.947 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2)) in y 0.947 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in y 0.947 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.947 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 0.947 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.947 * [taylor]: Taking taylor expansion of -1 in y 0.947 * [taylor]: Taking taylor expansion of x in y 0.947 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.947 * [taylor]: Taking taylor expansion of -1 in y 0.947 * [taylor]: Taking taylor expansion of x in y 0.947 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.947 * [taylor]: Taking taylor expansion of 4.0 in y 0.947 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.947 * [taylor]: Taking taylor expansion of y in y 0.948 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.948 * [taylor]: Taking taylor expansion of y in y 0.949 * [taylor]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in y 0.949 * [taylor]: Taking taylor expansion of 4.0 in y 0.949 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2)) in y 0.949 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in y 0.949 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 0.949 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 0.949 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.949 * [taylor]: Taking taylor expansion of -1 in y 0.949 * [taylor]: Taking taylor expansion of x in y 0.949 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.949 * [taylor]: Taking taylor expansion of -1 in y 0.949 * [taylor]: Taking taylor expansion of x in y 0.949 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 0.949 * [taylor]: Taking taylor expansion of 4.0 in y 0.949 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.949 * [taylor]: Taking taylor expansion of y in y 0.950 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.950 * [taylor]: Taking taylor expansion of y in y 0.951 * [taylor]: Taking taylor expansion of 1.0 in x 0.954 * [taylor]: Taking taylor expansion of 0 in x 0.957 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow x 2)))) in x 0.957 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 0.957 * [taylor]: Taking taylor expansion of 0.25 in x 0.957 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.957 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.957 * [taylor]: Taking taylor expansion of x in x 0.963 * * * [progress]: simplifying candidates 0.963 * [simplify]: Simplifying using # : (- (fma x x (* (* y 4.0) y))) (- y) (/ 1 y) (/ y (fma x x (* (* y 4.0) y))) (- (pow y 2)) (- x) (/ 1 x) (/ x (pow y 2)) (/ x y) (/ x (pow y (/ 2 2))) (- x) (- (fma 4.0 (/ (pow y 2) x) x)) (/ 1 (fma 4.0 (/ (pow y 2) x) x)) (/ (fma 4.0 (/ (pow y 2) x) x) x) (- (* y 4.0)) (- (/ (fma x x (* (* y 4.0) y)) y)) (/ y (fma x x (* (* y 4.0) y))) (/ 4.0 (/ 1 y)) (/ 4.0 (fma x x (* (* y 4.0) y))) (/ y (/ 1 y)) (/ 1 (/ (fma x x (* (* y 4.0) y)) y)) (/ (/ (fma x x (* (* y 4.0) y)) y) (* y 4.0)) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (/ (fma x x (* (* y 4.0) y)) y) 4.0) (/ (/ (fma x x (* (* y 4.0) y)) y) y) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (* y 4.0) (- (fma x x (* (* y 4.0) y)))) (/ (* y 4.0) 1) (+ (* 4.0 y) (/ (pow x 2) y)) (+ (* 4.0 y) (/ (pow x 2) y)) (+ (* 4.0 y) (/ (pow x 2) y)) (/ (pow y 2) x) (/ (pow y 2) x) (/ (pow y 2) x) 0 0 0 0 0 0 0.967 * * [simplify]: iteration 0 : 81 enodes (cost 103 ) 0.969 * * [simplify]: iteration 1 : 269 enodes (cost 101 ) 0.976 * * [simplify]: iteration 2 : 1425 enodes (cost 100 ) 1.015 * * [simplify]: iteration 3 : 5001 enodes (cost 100 ) 1.016 * [simplify]: Simplified to: (- (fma x x (* (* y 4.0) y))) (- y) (/ 1 y) (/ y (fma x x (* (* y 4.0) y))) (- (pow y 2)) (- x) (/ 1 x) (/ x (pow y 2)) (/ x y) (/ x y) (- x) (- (fma 4.0 (/ (pow y 2) x) x)) (/ 1 (fma 4.0 (/ (pow y 2) x) x)) (/ (fma 4.0 (/ (pow y 2) x) x) x) (- (* y 4.0)) (- (/ (fma x x (* (* y 4.0) y)) y)) (/ y (fma x x (* (* y 4.0) y))) (* y 4.0) (/ 4.0 (fma x x (* (* y 4.0) y))) (pow y 2) (/ y (fma x x (* (* y 4.0) y))) (/ (/ (fma x x (* (* y 4.0) y)) y) (* y 4.0)) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (/ (fma x x (* (* y 4.0) y)) y) 4.0) (/ (/ (fma x x (* (* y 4.0) y)) y) y) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (* y 4.0) (- (fma x x (* (* y 4.0) y)))) (* y 4.0) (fma 4.0 y (/ (pow x 2) y)) (fma 4.0 y (/ (pow x 2) y)) (fma 4.0 y (/ (pow x 2) y)) (/ (pow y 2) x) (/ (pow y 2) x) (/ (pow y 2) x) 0 0 0 0 0 0 1.016 * * * [progress]: adding candidates to table 1.105 * * [progress]: iteration 4 / 4 1.105 * * * [progress]: picking best candidate 1.114 * * * * [pick]: Picked # 1.114 * * * [progress]: localizing error 1.129 * * * [progress]: generating rewritten candidates 1.129 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.131 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.133 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1.137 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 1.140 * * * [progress]: generating series expansions 1.140 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.140 * [approximate]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in (x y) around 0 1.140 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in y 1.140 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in y 1.141 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 1.141 * [taylor]: Taking taylor expansion of (* x x) in y 1.141 * [taylor]: Taking taylor expansion of x in y 1.141 * [taylor]: Taking taylor expansion of x in y 1.141 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 1.141 * [taylor]: Taking taylor expansion of 4.0 in y 1.141 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.141 * [taylor]: Taking taylor expansion of y in y 1.141 * [taylor]: Taking taylor expansion of y in y 1.141 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in x 1.141 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 1.141 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 1.141 * [taylor]: Taking taylor expansion of (* x x) in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.141 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 1.141 * [taylor]: Taking taylor expansion of 4.0 in x 1.141 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.141 * [taylor]: Taking taylor expansion of y in x 1.141 * [taylor]: Taking taylor expansion of y in x 1.142 * [taylor]: Taking taylor expansion of (/ (fma x x (* 4.0 (pow y 2))) y) in x 1.142 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 1.142 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 1.142 * [taylor]: Taking taylor expansion of (* x x) in x 1.142 * [taylor]: Taking taylor expansion of x in x 1.142 * [taylor]: Taking taylor expansion of x in x 1.142 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 1.142 * [taylor]: Taking taylor expansion of 4.0 in x 1.142 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.142 * [taylor]: Taking taylor expansion of y in x 1.142 * [taylor]: Taking taylor expansion of y in x 1.143 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 1.143 * [taylor]: Taking taylor expansion of 4.0 in y 1.143 * [taylor]: Taking taylor expansion of y in y 1.144 * [taylor]: Taking taylor expansion of 0 in y 1.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.147 * [taylor]: Taking taylor expansion of y in y 1.150 * [taylor]: Taking taylor expansion of 0 in y 1.154 * [taylor]: Taking taylor expansion of 0 in y 1.155 * [approximate]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in (x y) around 0 1.155 * [taylor]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in y 1.155 * [taylor]: Taking taylor expansion of y in y 1.155 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in y 1.155 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 1.155 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 1.155 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.155 * [taylor]: Taking taylor expansion of x in y 1.155 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.155 * [taylor]: Taking taylor expansion of x in y 1.155 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 1.155 * [taylor]: Taking taylor expansion of 4.0 in y 1.155 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.155 * [taylor]: Taking taylor expansion of y in y 1.156 * [taylor]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 1.156 * [taylor]: Taking taylor expansion of y in x 1.156 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 1.156 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 1.156 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.156 * [taylor]: Taking taylor expansion of x in x 1.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.157 * [taylor]: Taking taylor expansion of x in x 1.157 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 1.157 * [taylor]: Taking taylor expansion of 4.0 in x 1.157 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.157 * [taylor]: Taking taylor expansion of y in x 1.157 * [taylor]: Taking taylor expansion of (* y (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 1.157 * [taylor]: Taking taylor expansion of y in x 1.157 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 1.157 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 1.157 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.157 * [taylor]: Taking taylor expansion of x in x 1.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.158 * [taylor]: Taking taylor expansion of x in x 1.158 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 1.158 * [taylor]: Taking taylor expansion of 4.0 in x 1.158 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.158 * [taylor]: Taking taylor expansion of y in x 1.159 * [taylor]: Taking taylor expansion of y in y 1.161 * [taylor]: Taking taylor expansion of 0 in y 1.163 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 1.163 * [taylor]: Taking taylor expansion of 4.0 in y 1.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.163 * [taylor]: Taking taylor expansion of y in y 1.166 * [taylor]: Taking taylor expansion of 0 in y 1.170 * [taylor]: Taking taylor expansion of 0 in y 1.180 * [taylor]: Taking taylor expansion of 0 in y 1.181 * [approximate]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in (x y) around 0 1.181 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in y 1.181 * [taylor]: Taking taylor expansion of -1 in y 1.181 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y) in y 1.181 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in y 1.182 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 1.182 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 1.182 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.182 * [taylor]: Taking taylor expansion of -1 in y 1.182 * [taylor]: Taking taylor expansion of x in y 1.182 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.182 * [taylor]: Taking taylor expansion of -1 in y 1.182 * [taylor]: Taking taylor expansion of x in y 1.182 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 1.182 * [taylor]: Taking taylor expansion of 4.0 in y 1.182 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.182 * [taylor]: Taking taylor expansion of y in y 1.183 * [taylor]: Taking taylor expansion of y in y 1.183 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in x 1.183 * [taylor]: Taking taylor expansion of -1 in x 1.183 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y) in x 1.183 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 1.183 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 1.183 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.183 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.183 * [taylor]: Taking taylor expansion of -1 in x 1.183 * [taylor]: Taking taylor expansion of x in x 1.183 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.183 * [taylor]: Taking taylor expansion of -1 in x 1.183 * [taylor]: Taking taylor expansion of x in x 1.184 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 1.184 * [taylor]: Taking taylor expansion of 4.0 in x 1.184 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.184 * [taylor]: Taking taylor expansion of y in x 1.184 * [taylor]: Taking taylor expansion of y in x 1.184 * [taylor]: Taking taylor expansion of (* -1 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y)) in x 1.184 * [taylor]: Taking taylor expansion of -1 in x 1.184 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) y) in x 1.184 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 1.184 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 1.184 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.184 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.184 * [taylor]: Taking taylor expansion of -1 in x 1.184 * [taylor]: Taking taylor expansion of x in x 1.184 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.184 * [taylor]: Taking taylor expansion of -1 in x 1.184 * [taylor]: Taking taylor expansion of x in x 1.185 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 1.185 * [taylor]: Taking taylor expansion of 4.0 in x 1.185 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.185 * [taylor]: Taking taylor expansion of y in x 1.185 * [taylor]: Taking taylor expansion of y in x 1.186 * [taylor]: Taking taylor expansion of (* -1 y) in y 1.186 * [taylor]: Taking taylor expansion of -1 in y 1.186 * [taylor]: Taking taylor expansion of y in y 1.188 * [taylor]: Taking taylor expansion of 0 in y 1.191 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 1.191 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 1.191 * [taylor]: Taking taylor expansion of 4.0 in y 1.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.191 * [taylor]: Taking taylor expansion of y in y 1.195 * [taylor]: Taking taylor expansion of 0 in y 1.200 * [taylor]: Taking taylor expansion of 0 in y 1.207 * [taylor]: Taking taylor expansion of 0 in y 1.209 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.209 * [approximate]: Taking taylor expansion of (/ x (fma 4.0 (/ (pow y 2) x) x)) in (x y) around 0 1.210 * [taylor]: Taking taylor expansion of (/ x (fma 4.0 (/ (pow y 2) x) x)) in y 1.210 * [taylor]: Taking taylor expansion of x in y 1.210 * [taylor]: Taking taylor expansion of (fma 4.0 (/ (pow y 2) x) x) in y 1.210 * [taylor]: Rewrote expression to (+ (* 4.0 (/ (pow y 2) x)) x) 1.210 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) x)) in y 1.210 * [taylor]: Taking taylor expansion of 4.0 in y 1.210 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 1.210 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.210 * [taylor]: Taking taylor expansion of y in y 1.210 * [taylor]: Taking taylor expansion of x in y 1.210 * [taylor]: Taking taylor expansion of x in y 1.210 * [taylor]: Taking taylor expansion of (/ x (fma 4.0 (/ (pow y 2) x) x)) in x 1.210 * [taylor]: Taking taylor expansion of x in x 1.210 * [taylor]: Taking taylor expansion of (fma 4.0 (/ (pow y 2) x) x) in x 1.210 * [taylor]: Rewrote expression to (+ (* 4.0 (/ (pow y 2) x)) x) 1.210 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) x)) in x 1.210 * [taylor]: Taking taylor expansion of 4.0 in x 1.211 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 1.211 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.211 * [taylor]: Taking taylor expansion of y in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of (/ x (fma 4.0 (/ (pow y 2) x) x)) in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of (fma 4.0 (/ (pow y 2) x) x) in x 1.211 * [taylor]: Rewrote expression to (+ (* 4.0 (/ (pow y 2) x)) x) 1.211 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) x)) in x 1.211 * [taylor]: Taking taylor expansion of 4.0 in x 1.211 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 1.211 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.211 * [taylor]: Taking taylor expansion of y in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.212 * [taylor]: Taking taylor expansion of (/ 0.25 (pow y 2)) in y 1.212 * [taylor]: Taking taylor expansion of 0.25 in y 1.212 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.212 * [taylor]: Taking taylor expansion of y in y 1.216 * [taylor]: Taking taylor expansion of 0 in y 1.220 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (pow y 4)))) in y 1.220 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (pow y 4))) in y 1.220 * [taylor]: Taking taylor expansion of 0.0625 in y 1.220 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.220 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.220 * [taylor]: Taking taylor expansion of y in y 1.229 * [approximate]: Taking taylor expansion of (/ 1 (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x)))) in (x y) around 0 1.229 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x)))) in y 1.229 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x))) in y 1.229 * [taylor]: Taking taylor expansion of x in y 1.229 * [taylor]: Taking taylor expansion of (fma 4.0 (/ x (pow y 2)) (/ 1 x)) in y 1.229 * [taylor]: Rewrote expression to (+ (* 4.0 (/ x (pow y 2))) (/ 1 x)) 1.229 * [taylor]: Taking taylor expansion of (* 4.0 (/ x (pow y 2))) in y 1.229 * [taylor]: Taking taylor expansion of 4.0 in y 1.229 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 1.229 * [taylor]: Taking taylor expansion of x in y 1.229 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.229 * [taylor]: Taking taylor expansion of y in y 1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.230 * [taylor]: Taking taylor expansion of x in y 1.230 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x)))) in x 1.230 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x))) in x 1.230 * [taylor]: Taking taylor expansion of x in x 1.230 * [taylor]: Taking taylor expansion of (fma 4.0 (/ x (pow y 2)) (/ 1 x)) in x 1.230 * [taylor]: Rewrote expression to (+ (* 4.0 (/ x (pow y 2))) (/ 1 x)) 1.230 * [taylor]: Taking taylor expansion of (* 4.0 (/ x (pow y 2))) in x 1.230 * [taylor]: Taking taylor expansion of 4.0 in x 1.230 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 1.230 * [taylor]: Taking taylor expansion of x in x 1.230 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.230 * [taylor]: Taking taylor expansion of y in x 1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.230 * [taylor]: Taking taylor expansion of x in x 1.232 * [taylor]: Taking taylor expansion of (/ 1 (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x)))) in x 1.232 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (/ x (pow y 2)) (/ 1 x))) in x 1.232 * [taylor]: Taking taylor expansion of x in x 1.232 * [taylor]: Taking taylor expansion of (fma 4.0 (/ x (pow y 2)) (/ 1 x)) in x 1.233 * [taylor]: Rewrote expression to (+ (* 4.0 (/ x (pow y 2))) (/ 1 x)) 1.233 * [taylor]: Taking taylor expansion of (* 4.0 (/ x (pow y 2))) in x 1.233 * [taylor]: Taking taylor expansion of 4.0 in x 1.233 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 1.233 * [taylor]: Taking taylor expansion of x in x 1.233 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.233 * [taylor]: Taking taylor expansion of y in x 1.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.233 * [taylor]: Taking taylor expansion of x in x 1.235 * [taylor]: Taking taylor expansion of 1 in y 1.237 * [taylor]: Taking taylor expansion of 0 in y 1.240 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow y 2)))) in y 1.240 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 1.240 * [taylor]: Taking taylor expansion of 4.0 in y 1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.240 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.240 * [taylor]: Taking taylor expansion of y in y 1.245 * [approximate]: Taking taylor expansion of (/ -1 (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)))) in (x y) around 0 1.245 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)))) in y 1.245 * [taylor]: Taking taylor expansion of -1 in y 1.245 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x))) in y 1.245 * [taylor]: Taking taylor expansion of x in y 1.246 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)) in y 1.246 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 (/ x (pow y 2)))) (/ -1 x)) 1.246 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 (/ x (pow y 2)))) in y 1.246 * [taylor]: Taking taylor expansion of 4.0 in y 1.246 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in y 1.246 * [taylor]: Taking taylor expansion of -1 in y 1.246 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 1.246 * [taylor]: Taking taylor expansion of x in y 1.246 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.246 * [taylor]: Taking taylor expansion of y in y 1.246 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.246 * [taylor]: Taking taylor expansion of -1 in y 1.246 * [taylor]: Taking taylor expansion of x in y 1.247 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)))) in x 1.247 * [taylor]: Taking taylor expansion of -1 in x 1.247 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x))) in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.247 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)) in x 1.247 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 (/ x (pow y 2)))) (/ -1 x)) 1.247 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 (/ x (pow y 2)))) in x 1.247 * [taylor]: Taking taylor expansion of 4.0 in x 1.247 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in x 1.247 * [taylor]: Taking taylor expansion of -1 in x 1.247 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.247 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.247 * [taylor]: Taking taylor expansion of y in x 1.247 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.247 * [taylor]: Taking taylor expansion of -1 in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.249 * [taylor]: Taking taylor expansion of (/ -1 (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)))) in x 1.249 * [taylor]: Taking taylor expansion of -1 in x 1.249 * [taylor]: Taking taylor expansion of (* x (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x))) in x 1.249 * [taylor]: Taking taylor expansion of x in x 1.249 * [taylor]: Taking taylor expansion of (fma 4.0 (* -1 (/ x (pow y 2))) (/ -1 x)) in x 1.250 * [taylor]: Rewrote expression to (+ (* 4.0 (* -1 (/ x (pow y 2)))) (/ -1 x)) 1.250 * [taylor]: Taking taylor expansion of (* 4.0 (* -1 (/ x (pow y 2)))) in x 1.250 * [taylor]: Taking taylor expansion of 4.0 in x 1.250 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in x 1.250 * [taylor]: Taking taylor expansion of -1 in x 1.250 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 1.250 * [taylor]: Taking taylor expansion of x in x 1.250 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.250 * [taylor]: Taking taylor expansion of y in x 1.250 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.250 * [taylor]: Taking taylor expansion of -1 in x 1.250 * [taylor]: Taking taylor expansion of x in x 1.252 * [taylor]: Taking taylor expansion of 1 in y 1.254 * [taylor]: Taking taylor expansion of 0 in y 1.258 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow y 2)))) in y 1.258 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow y 2))) in y 1.258 * [taylor]: Taking taylor expansion of 4.0 in y 1.258 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.258 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.258 * [taylor]: Taking taylor expansion of y in y 1.263 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.264 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in (y x) around 0 1.264 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in x 1.264 * [taylor]: Taking taylor expansion of 4.0 in x 1.264 * [taylor]: Taking taylor expansion of (/ (pow y 2) (fma x x (* 4.0 (pow y 2)))) in x 1.264 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.264 * [taylor]: Taking taylor expansion of y in x 1.264 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in x 1.264 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 1.264 * [taylor]: Taking taylor expansion of (* x x) in x 1.264 * [taylor]: Taking taylor expansion of x in x 1.264 * [taylor]: Taking taylor expansion of x in x 1.264 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in x 1.264 * [taylor]: Taking taylor expansion of 4.0 in x 1.264 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.264 * [taylor]: Taking taylor expansion of y in x 1.265 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in y 1.265 * [taylor]: Taking taylor expansion of 4.0 in y 1.265 * [taylor]: Taking taylor expansion of (/ (pow y 2) (fma x x (* 4.0 (pow y 2)))) in y 1.265 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.265 * [taylor]: Taking taylor expansion of y in y 1.265 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in y 1.265 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 1.265 * [taylor]: Taking taylor expansion of (* x x) in y 1.265 * [taylor]: Taking taylor expansion of x in y 1.265 * [taylor]: Taking taylor expansion of x in y 1.265 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 1.265 * [taylor]: Taking taylor expansion of 4.0 in y 1.265 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.265 * [taylor]: Taking taylor expansion of y in y 1.266 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow y 2) (fma x x (* 4.0 (pow y 2))))) in y 1.266 * [taylor]: Taking taylor expansion of 4.0 in y 1.266 * [taylor]: Taking taylor expansion of (/ (pow y 2) (fma x x (* 4.0 (pow y 2)))) in y 1.266 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.266 * [taylor]: Taking taylor expansion of y in y 1.266 * [taylor]: Taking taylor expansion of (fma x x (* 4.0 (pow y 2))) in y 1.266 * [taylor]: Rewrote expression to (+ (* x x) (* 4.0 (pow y 2))) 1.266 * [taylor]: Taking taylor expansion of (* x x) in y 1.266 * [taylor]: Taking taylor expansion of x in y 1.266 * [taylor]: Taking taylor expansion of x in y 1.266 * [taylor]: Taking taylor expansion of (* 4.0 (pow y 2)) in y 1.266 * [taylor]: Taking taylor expansion of 4.0 in y 1.266 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.266 * [taylor]: Taking taylor expansion of y in y 1.267 * [taylor]: Taking taylor expansion of (/ 4.0 (pow x 2)) in x 1.267 * [taylor]: Taking taylor expansion of 4.0 in x 1.267 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.267 * [taylor]: Taking taylor expansion of x in x 1.276 * [taylor]: Taking taylor expansion of 0 in x 1.280 * [taylor]: Taking taylor expansion of (- (* 16.0 (/ 1 (pow x 4)))) in x 1.280 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow x 4))) in x 1.280 * [taylor]: Taking taylor expansion of 16.0 in x 1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.280 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.280 * [taylor]: Taking taylor expansion of x in x 1.289 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in (y x) around 0 1.289 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in x 1.289 * [taylor]: Taking taylor expansion of 4.0 in x 1.289 * [taylor]: Taking taylor expansion of (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in x 1.289 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.289 * [taylor]: Taking taylor expansion of y in x 1.289 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in x 1.289 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 1.289 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.289 * [taylor]: Taking taylor expansion of x in x 1.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.289 * [taylor]: Taking taylor expansion of x in x 1.290 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 1.290 * [taylor]: Taking taylor expansion of 4.0 in x 1.290 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.290 * [taylor]: Taking taylor expansion of y in x 1.291 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in y 1.291 * [taylor]: Taking taylor expansion of 4.0 in y 1.291 * [taylor]: Taking taylor expansion of (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in y 1.291 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.291 * [taylor]: Taking taylor expansion of y in y 1.291 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in y 1.291 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 1.291 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 1.291 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.291 * [taylor]: Taking taylor expansion of x in y 1.291 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.291 * [taylor]: Taking taylor expansion of x in y 1.291 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 1.291 * [taylor]: Taking taylor expansion of 4.0 in y 1.291 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.291 * [taylor]: Taking taylor expansion of y in y 1.293 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))))) in y 1.293 * [taylor]: Taking taylor expansion of 4.0 in y 1.293 * [taylor]: Taking taylor expansion of (* (pow y 2) (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2)))) in y 1.293 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.293 * [taylor]: Taking taylor expansion of y in y 1.293 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 4.0 (pow y 2))) in y 1.293 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 4.0 (pow y 2))) 1.293 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y 1.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.293 * [taylor]: Taking taylor expansion of x in y 1.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.293 * [taylor]: Taking taylor expansion of x in y 1.293 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 1.293 * [taylor]: Taking taylor expansion of 4.0 in y 1.293 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.293 * [taylor]: Taking taylor expansion of y in y 1.295 * [taylor]: Taking taylor expansion of 1.0 in x 1.297 * [taylor]: Taking taylor expansion of 0 in x 1.300 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow x 2)))) in x 1.301 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 1.301 * [taylor]: Taking taylor expansion of 0.25 in x 1.301 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.301 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.301 * [taylor]: Taking taylor expansion of x in x 1.306 * [approximate]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in (y x) around 0 1.306 * [taylor]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in x 1.306 * [taylor]: Taking taylor expansion of 4.0 in x 1.306 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2)) in x 1.306 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in x 1.306 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 1.306 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.307 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.307 * [taylor]: Taking taylor expansion of -1 in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.307 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.307 * [taylor]: Taking taylor expansion of -1 in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.307 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in x 1.307 * [taylor]: Taking taylor expansion of 4.0 in x 1.307 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.307 * [taylor]: Taking taylor expansion of y in x 1.308 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.308 * [taylor]: Taking taylor expansion of y in x 1.308 * [taylor]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in y 1.308 * [taylor]: Taking taylor expansion of 4.0 in y 1.308 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2)) in y 1.308 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in y 1.309 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 1.309 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 1.309 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.309 * [taylor]: Taking taylor expansion of -1 in y 1.309 * [taylor]: Taking taylor expansion of x in y 1.309 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.309 * [taylor]: Taking taylor expansion of -1 in y 1.309 * [taylor]: Taking taylor expansion of x in y 1.309 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 1.309 * [taylor]: Taking taylor expansion of 4.0 in y 1.309 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.309 * [taylor]: Taking taylor expansion of y in y 1.309 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.309 * [taylor]: Taking taylor expansion of y in y 1.310 * [taylor]: Taking taylor expansion of (/ 4.0 (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2))) in y 1.311 * [taylor]: Taking taylor expansion of 4.0 in y 1.311 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) (pow y 2)) in y 1.311 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 4.0 (pow y 2))) in y 1.311 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 4.0 (pow y 2))) 1.311 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y 1.311 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.311 * [taylor]: Taking taylor expansion of -1 in y 1.311 * [taylor]: Taking taylor expansion of x in y 1.311 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.311 * [taylor]: Taking taylor expansion of -1 in y 1.311 * [taylor]: Taking taylor expansion of x in y 1.311 * [taylor]: Taking taylor expansion of (/ 4.0 (pow y 2)) in y 1.311 * [taylor]: Taking taylor expansion of 4.0 in y 1.311 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.311 * [taylor]: Taking taylor expansion of y in y 1.312 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.312 * [taylor]: Taking taylor expansion of y in y 1.313 * [taylor]: Taking taylor expansion of 1.0 in x 1.315 * [taylor]: Taking taylor expansion of 0 in x 1.319 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow x 2)))) in x 1.319 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 1.319 * [taylor]: Taking taylor expansion of 0.25 in x 1.319 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.319 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.319 * [taylor]: Taking taylor expansion of x in x 1.324 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 1.324 * [approximate]: Taking taylor expansion of (/ (pow y 2) x) in (y x) around 0 1.324 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in x 1.324 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.324 * [taylor]: Taking taylor expansion of y in x 1.325 * [taylor]: Taking taylor expansion of x in x 1.325 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 1.325 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.325 * [taylor]: Taking taylor expansion of y in y 1.325 * [taylor]: Taking taylor expansion of x in y 1.325 * [taylor]: Taking taylor expansion of (/ (pow y 2) x) in y 1.325 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.325 * [taylor]: Taking taylor expansion of y in y 1.325 * [taylor]: Taking taylor expansion of x in y 1.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.325 * [taylor]: Taking taylor expansion of x in x 1.326 * [taylor]: Taking taylor expansion of 0 in x 1.327 * [taylor]: Taking taylor expansion of 0 in x 1.329 * [taylor]: Taking taylor expansion of 0 in x 1.330 * [approximate]: Taking taylor expansion of (/ x (pow y 2)) in (y x) around 0 1.330 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 1.330 * [taylor]: Taking taylor expansion of x in x 1.330 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.330 * [taylor]: Taking taylor expansion of y in x 1.330 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 1.330 * [taylor]: Taking taylor expansion of x in y 1.330 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.330 * [taylor]: Taking taylor expansion of y in y 1.330 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 1.330 * [taylor]: Taking taylor expansion of x in y 1.330 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.330 * [taylor]: Taking taylor expansion of y in y 1.331 * [taylor]: Taking taylor expansion of x in x 1.332 * [taylor]: Taking taylor expansion of 0 in x 1.333 * [taylor]: Taking taylor expansion of 0 in x 1.335 * [taylor]: Taking taylor expansion of 0 in x 1.335 * [approximate]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in (y x) around 0 1.335 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in x 1.335 * [taylor]: Taking taylor expansion of -1 in x 1.335 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in x 1.335 * [taylor]: Taking taylor expansion of x in x 1.335 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.335 * [taylor]: Taking taylor expansion of y in x 1.335 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in y 1.335 * [taylor]: Taking taylor expansion of -1 in y 1.335 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 1.335 * [taylor]: Taking taylor expansion of x in y 1.335 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.335 * [taylor]: Taking taylor expansion of y in y 1.336 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow y 2))) in y 1.336 * [taylor]: Taking taylor expansion of -1 in y 1.336 * [taylor]: Taking taylor expansion of (/ x (pow y 2)) in y 1.336 * [taylor]: Taking taylor expansion of x in y 1.336 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.336 * [taylor]: Taking taylor expansion of y in y 1.336 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.336 * [taylor]: Taking taylor expansion of -1 in x 1.336 * [taylor]: Taking taylor expansion of x in x 1.338 * [taylor]: Taking taylor expansion of 0 in x 1.341 * [taylor]: Taking taylor expansion of 0 in x 1.344 * [taylor]: Taking taylor expansion of 0 in x 1.344 * * * [progress]: simplifying candidates 1.344 * [simplify]: Simplifying using # : (- (fma x x (* (* y 4.0) y))) (- y) (/ 1 y) (/ y (fma x x (* (* y 4.0) y))) (- x) (- (fma 4.0 (/ y (/ x y)) x)) (/ 1 (fma 4.0 (/ y (/ x y)) x)) (/ (fma 4.0 (/ y (/ x y)) x) x) (- (* y 4.0)) (- (/ (fma x x (* (* y 4.0) y)) y)) (/ y (fma x x (* (* y 4.0) y))) (/ 4.0 (/ 1 y)) (/ 4.0 (fma x x (* (* y 4.0) y))) (/ y (/ 1 y)) (/ 1 (/ (fma x x (* (* y 4.0) y)) y)) (/ (/ (fma x x (* (* y 4.0) y)) y) (* y 4.0)) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (/ (fma x x (* (* y 4.0) y)) y) 4.0) (/ (/ (fma x x (* (* y 4.0) y)) y) y) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (* y 4.0) (- (fma x x (* (* y 4.0) y)))) (/ (* y 4.0) 1) (- y) (- (/ x y)) (/ 1 (/ x y)) (/ (/ x y) y) (/ y x) (/ y x) (/ y (- x)) (/ y 1) (+ (* 4.0 y) (/ (pow x 2) y)) (+ (* 4.0 y) (/ (pow x 2) y)) (+ (* 4.0 y) (/ (pow x 2) y)) 0 0 0 0 0 0 (/ (pow y 2) x) (/ (pow y 2) x) (/ (pow y 2) x) 1.348 * * [simplify]: iteration 0 : 84 enodes (cost 105 ) 1.350 * * [simplify]: iteration 1 : 268 enodes (cost 104 ) 1.356 * * [simplify]: iteration 2 : 1228 enodes (cost 102 ) 1.386 * * [simplify]: iteration 3 : 5001 enodes (cost 102 ) 1.387 * [simplify]: Simplified to: (- (fma x x (* (* y 4.0) y))) (- y) (/ 1 y) (/ y (fma x x (* (* y 4.0) y))) (- x) (- (fma 4.0 (/ y (/ x y)) x)) (/ 1 (fma 4.0 (/ y (/ x y)) x)) (/ (fma 4.0 (/ y (/ x y)) x) x) (- (* y 4.0)) (- (/ (fma x x (* (* y 4.0) y)) y)) (/ y (fma x x (* (* y 4.0) y))) (* y 4.0) (/ 4.0 (fma x x (* (* y 4.0) y))) (pow y 2) (/ y (fma x x (* (* y 4.0) y))) (/ (/ (fma x x (* (* y 4.0) y)) y) (* y 4.0)) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (/ (fma x x (* (* y 4.0) y)) y) 4.0) (/ (/ (fma x x (* (* y 4.0) y)) y) y) (/ (* y 4.0) (fma x x (* (* y 4.0) y))) (/ (* y 4.0) (- (fma x x (* (* y 4.0) y)))) (* y 4.0) (- y) (- (/ x y)) (/ y x) (/ (/ x y) y) (/ y x) (/ y x) (/ y (- x)) y (fma 4.0 y (/ (pow x 2) y)) (fma 4.0 y (/ (pow x 2) y)) (fma 4.0 y (/ (pow x 2) y)) 0 0 0 0 0 0 (/ y (/ x y)) (/ y (/ x y)) (/ y (/ x y)) 1.387 * * * [progress]: adding candidates to table 1.472 * [progress]: [Phase 3 of 3] Extracting. 1.472 * * [regime]: Finding splitpoints for: (# # # # #) 1.473 * * * [regime-changes]: Trying 2 branch expressions: (y x) 1.473 * * * * [regimes]: Trying to branch on y from (# # # # #) 1.515 * * * * [regimes]: Trying to branch on x from (# # # # #) 1.568 * * * [regime]: Found split indices: #