43.810 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0))) 0.020 * * [simplify]: iteration 0 : 12 enodes (cost 5 ) 0.022 * * [simplify]: iteration 1 : 15 enodes (cost 5 ) 0.023 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.023 * [simplify]: Simplified to: (- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0))) 0.023 * * [progress]: iteration 1 / 4 0.023 * * * [progress]: picking best candidate 0.024 * * * * [pick]: Picked # 0.024 * * * [progress]: localizing error 0.030 * * * [progress]: generating rewritten candidates 0.030 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.037 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.040 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.044 * * * [progress]: generating series expansions 0.044 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.044 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ x 1.0))) (* 1.0 (/ 1 (- x 1.0)))) in (x) around 0 0.044 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ x 1.0))) (* 1.0 (/ 1 (- x 1.0)))) in x 0.044 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ x 1.0))) in x 0.044 * [taylor]: Taking taylor expansion of 1.0 in x 0.044 * [taylor]: Taking taylor expansion of (/ 1 (+ x 1.0)) in x 0.044 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.045 * [taylor]: Taking taylor expansion of x in x 0.045 * [taylor]: Taking taylor expansion of 1.0 in x 0.045 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- x 1.0))) in x 0.045 * [taylor]: Taking taylor expansion of 1.0 in x 0.045 * [taylor]: Taking taylor expansion of (/ 1 (- x 1.0)) in x 0.045 * [taylor]: Taking taylor expansion of (- x 1.0) in x 0.045 * [taylor]: Taking taylor expansion of x in x 0.045 * [taylor]: Taking taylor expansion of 1.0 in x 0.047 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ x 1.0))) (* 1.0 (/ 1 (- x 1.0)))) in x 0.047 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ x 1.0))) in x 0.047 * [taylor]: Taking taylor expansion of 1.0 in x 0.047 * [taylor]: Taking taylor expansion of (/ 1 (+ x 1.0)) in x 0.047 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.047 * [taylor]: Taking taylor expansion of x in x 0.047 * [taylor]: Taking taylor expansion of 1.0 in x 0.047 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- x 1.0))) in x 0.047 * [taylor]: Taking taylor expansion of 1.0 in x 0.047 * [taylor]: Taking taylor expansion of (/ 1 (- x 1.0)) in x 0.047 * [taylor]: Taking taylor expansion of (- x 1.0) in x 0.047 * [taylor]: Taking taylor expansion of x in x 0.047 * [taylor]: Taking taylor expansion of 1.0 in x 0.092 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- (/ 1 x) 1.0)))) in (x) around 0 0.092 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- (/ 1 x) 1.0)))) in x 0.092 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) in x 0.092 * [taylor]: Taking taylor expansion of 1.0 in x 0.092 * [taylor]: Taking taylor expansion of (/ 1 (+ 1.0 (/ 1 x))) in x 0.092 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.092 * [taylor]: Taking taylor expansion of 1.0 in x 0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.093 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (/ 1 x) 1.0))) in x 0.093 * [taylor]: Taking taylor expansion of 1.0 in x 0.093 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 x) 1.0)) in x 0.093 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 0.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.093 * [taylor]: Taking taylor expansion of x in x 0.093 * [taylor]: Taking taylor expansion of 1.0 in x 0.094 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- (/ 1 x) 1.0)))) in x 0.094 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) in x 0.094 * [taylor]: Taking taylor expansion of 1.0 in x 0.094 * [taylor]: Taking taylor expansion of (/ 1 (+ 1.0 (/ 1 x))) in x 0.094 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.094 * [taylor]: Taking taylor expansion of 1.0 in x 0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.095 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (/ 1 x) 1.0))) in x 0.095 * [taylor]: Taking taylor expansion of 1.0 in x 0.095 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 x) 1.0)) in x 0.095 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.095 * [taylor]: Taking taylor expansion of x in x 0.095 * [taylor]: Taking taylor expansion of 1.0 in x 0.154 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- 1.0 (/ 1 x))))) in (x) around 0 0.154 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- 1.0 (/ 1 x))))) in x 0.154 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) in x 0.154 * [taylor]: Taking taylor expansion of 1.0 in x 0.154 * [taylor]: Taking taylor expansion of (/ 1 (+ 1.0 (/ 1 x))) in x 0.154 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.154 * [taylor]: Taking taylor expansion of 1.0 in x 0.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.154 * [taylor]: Taking taylor expansion of x in x 0.155 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- 1.0 (/ 1 x)))) in x 0.155 * [taylor]: Taking taylor expansion of 1.0 in x 0.155 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 x))) in x 0.155 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.155 * [taylor]: Taking taylor expansion of 1.0 in x 0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- 1.0 (/ 1 x))))) in x 0.156 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) in x 0.156 * [taylor]: Taking taylor expansion of 1.0 in x 0.156 * [taylor]: Taking taylor expansion of (/ 1 (+ 1.0 (/ 1 x))) in x 0.156 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.156 * [taylor]: Taking taylor expansion of 1.0 in x 0.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.157 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- 1.0 (/ 1 x)))) in x 0.157 * [taylor]: Taking taylor expansion of 1.0 in x 0.157 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 x))) in x 0.157 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.157 * [taylor]: Taking taylor expansion of 1.0 in x 0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.157 * [taylor]: Taking taylor expansion of x in x 0.214 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.214 * [approximate]: Taking taylor expansion of (/ 1.0 (+ x 1.0)) in (x) around 0 0.214 * [taylor]: Taking taylor expansion of (/ 1.0 (+ x 1.0)) in x 0.214 * [taylor]: Taking taylor expansion of 1.0 in x 0.214 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.214 * [taylor]: Taking taylor expansion of 1.0 in x 0.214 * [taylor]: Taking taylor expansion of (/ 1.0 (+ x 1.0)) in x 0.214 * [taylor]: Taking taylor expansion of 1.0 in x 0.214 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of 1.0 in x 0.226 * [approximate]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in (x) around 0 0.227 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in x 0.227 * [taylor]: Taking taylor expansion of 1.0 in x 0.227 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.227 * [taylor]: Taking taylor expansion of 1.0 in x 0.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.227 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in x 0.227 * [taylor]: Taking taylor expansion of 1.0 in x 0.228 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.228 * [taylor]: Taking taylor expansion of 1.0 in x 0.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.228 * [taylor]: Taking taylor expansion of x in x 0.235 * [approximate]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 x))) in (x) around 0 0.235 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 x))) in x 0.235 * [taylor]: Taking taylor expansion of 1.0 in x 0.235 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.235 * [taylor]: Taking taylor expansion of 1.0 in x 0.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 x))) in x 0.236 * [taylor]: Taking taylor expansion of 1.0 in x 0.236 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.236 * [taylor]: Taking taylor expansion of 1.0 in x 0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.244 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.244 * [approximate]: Taking taylor expansion of (/ 1.0 (- x 1.0)) in (x) around 0 0.244 * [taylor]: Taking taylor expansion of (/ 1.0 (- x 1.0)) in x 0.245 * [taylor]: Taking taylor expansion of 1.0 in x 0.245 * [taylor]: Taking taylor expansion of (- x 1.0) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of 1.0 in x 0.246 * [taylor]: Taking taylor expansion of (/ 1.0 (- x 1.0)) in x 0.246 * [taylor]: Taking taylor expansion of 1.0 in x 0.246 * [taylor]: Taking taylor expansion of (- x 1.0) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of 1.0 in x 0.255 * [approximate]: Taking taylor expansion of (/ 1.0 (- (/ 1 x) 1.0)) in (x) around 0 0.255 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 x) 1.0)) in x 0.255 * [taylor]: Taking taylor expansion of 1.0 in x 0.255 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 0.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.255 * [taylor]: Taking taylor expansion of x in x 0.255 * [taylor]: Taking taylor expansion of 1.0 in x 0.256 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 x) 1.0)) in x 0.256 * [taylor]: Taking taylor expansion of 1.0 in x 0.256 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 0.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.256 * [taylor]: Taking taylor expansion of x in x 0.256 * [taylor]: Taking taylor expansion of 1.0 in x 0.264 * [approximate]: Taking taylor expansion of (/ -1.0 (+ 1.0 (/ 1 x))) in (x) around 0 0.264 * [taylor]: Taking taylor expansion of (/ -1.0 (+ 1.0 (/ 1 x))) in x 0.264 * [taylor]: Taking taylor expansion of -1.0 in x 0.264 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.264 * [taylor]: Taking taylor expansion of 1.0 in x 0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (/ -1.0 (+ 1.0 (/ 1 x))) in x 0.265 * [taylor]: Taking taylor expansion of -1.0 in x 0.265 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.265 * [taylor]: Taking taylor expansion of 1.0 in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.272 * * * [progress]: simplifying candidates 0.273 * [simplify]: Simplifying using # : (fma 1.0 (/ 1 (+ x 1.0)) (- (* (/ 1 (- x 1.0)) 1.0))) (fma (- (/ 1 (- x 1.0))) 1.0 (* (/ 1 (- x 1.0)) 1.0)) (fma 1.0 (/ 1 (+ x 1.0)) (- (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (/ 1.0 (- (pow x 3) (pow 1.0 3)))))) (fma (- (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))) (/ 1.0 (- (pow x 3) (pow 1.0 3))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (/ 1.0 (- (pow x 3) (pow 1.0 3))))) (fma 1.0 (/ 1 (+ x 1.0)) (- (* (+ x 1.0) (/ 1.0 (- (* x x) (* 1.0 1.0)))))) (fma (- (+ x 1.0)) (/ 1.0 (- (* x x) (* 1.0 1.0))) (* (+ x 1.0) (/ 1.0 (- (* x x) (* 1.0 1.0))))) (fma (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (- (* (/ 1 (- x 1.0)) 1.0))) (fma (- (/ 1 (- x 1.0))) 1.0 (* (/ 1 (- x 1.0)) 1.0)) (fma (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (- (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (/ 1.0 (- (pow x 3) (pow 1.0 3)))))) (fma (- (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))) (/ 1.0 (- (pow x 3) (pow 1.0 3))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (/ 1.0 (- (pow x 3) (pow 1.0 3))))) (fma (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (- (* (+ x 1.0) (/ 1.0 (- (* x x) (* 1.0 1.0)))))) (fma (- (+ x 1.0)) (/ 1.0 (- (* x x) (* 1.0 1.0))) (* (+ x 1.0) (/ 1.0 (- (* x x) (* 1.0 1.0))))) (fma (/ 1.0 (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (/ 1 (- x 1.0)) 1.0))) (fma (- (/ 1 (- x 1.0))) 1.0 (* (/ 1 (- x 1.0)) 1.0)) (fma (/ 1.0 (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (/ 1.0 (- (pow x 3) (pow 1.0 3)))))) (fma (- (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))) (/ 1.0 (- (pow x 3) (pow 1.0 3))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (/ 1.0 (- (pow x 3) (pow 1.0 3))))) (fma (/ 1.0 (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (* (+ x 1.0) (/ 1.0 (- (* x x) (* 1.0 1.0)))))) (fma (- (+ x 1.0)) (/ 1.0 (- (* x x) (* 1.0 1.0))) (* (+ x 1.0) (/ 1.0 (- (* x x) (* 1.0 1.0))))) (- (/ 1.0 (- x 1.0))) (- (/ 1.0 (- x 1.0))) (- (/ 1.0 (- x 1.0))) (- (* 1.0 (- x 1.0)) (* (+ x 1.0) 1.0)) (* (+ x 1.0) (- x 1.0)) (- (* 1.0 (- (- x 1.0))) (* (+ x 1.0) (- 1.0))) (* (+ x 1.0) (- (- x 1.0))) (- (* 1.0 (/ (- x 1.0) 1.0)) (* (+ x 1.0) 1)) (* (+ x 1.0) (/ (- x 1.0) 1.0)) (- (* (- 1.0) (- x 1.0)) (* (- (+ x 1.0)) 1.0)) (* (- (+ x 1.0)) (- x 1.0)) (- (* (- 1.0) (- (- x 1.0))) (* (- (+ x 1.0)) (- 1.0))) (* (- (+ x 1.0)) (- (- x 1.0))) (- (* (- 1.0) (/ (- x 1.0) 1.0)) (* (- (+ x 1.0)) 1)) (* (- (+ x 1.0)) (/ (- x 1.0) 1.0)) (- (* 1 (- x 1.0)) (* (/ (+ x 1.0) 1.0) 1.0)) (* (/ (+ x 1.0) 1.0) (- x 1.0)) (- (* 1 (- (- x 1.0))) (* (/ (+ x 1.0) 1.0) (- 1.0))) (* (/ (+ x 1.0) 1.0) (- (- x 1.0))) (- (* 1 (/ (- x 1.0) 1.0)) (* (/ (+ x 1.0) 1.0) 1)) (* (/ (+ x 1.0) 1.0) (/ (- x 1.0) 1.0)) (- (pow (/ 1.0 (+ x 1.0)) 3) (pow (/ 1.0 (- x 1.0)) 3)) (+ (* (/ 1.0 (+ x 1.0)) (/ 1.0 (+ x 1.0))) (+ (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))) (* (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0))))) (- (/ 1.0 (- x 1.0))) (- (* (/ 1.0 (+ x 1.0)) (/ 1.0 (+ x 1.0))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (+ (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0))) (- (/ 1 (+ x 1.0)) (/ 1 (- x 1.0))) (- (- x 1.0) (+ x 1.0)) (- (/ 1.0 (- x 1.0))) (- 1.0) (- (+ x 1.0)) (/ 1 (+ x 1.0)) (/ (+ x 1.0) 1.0) (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (/ 1.0 (- (* x x) (* 1.0 1.0))) (- 1.0) (- (- x 1.0)) (/ 1 (- x 1.0)) (/ (- x 1.0) 1.0) (/ 1.0 (- (pow x 3) (pow 1.0 3))) (/ 1.0 (- (* x x) (* 1.0 1.0))) (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 4)) 2.0)) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 1.0 (pow x 2)) 1.0) (* 1.0 x)) (- (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) (* 1.0 (/ 1 (pow x 2)))) (- (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) (* 1.0 (/ 1 (pow x 2)))) (- (+ (* 1.0 (pow x 2)) (+ (* 1.0 x) 1.0))) (+ (* 1.0 (/ 1 (pow x 2))) (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3))))) (+ (* 1.0 (/ 1 (pow x 2))) (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3))))) 0.278 * * [simplify]: iteration 0 : 392 enodes (cost 513 ) 0.285 * * [simplify]: iteration 1 : 1483 enodes (cost 423 ) 0.315 * * [simplify]: iteration 2 : 5001 enodes (cost 388 ) 0.318 * [simplify]: Simplified to: (- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0))) (* (/ 1 (- x 1.0)) (+ (- 1.0) 1.0)) (- (/ 1.0 (+ x 1.0)) (/ (* (fma x x (fma 1.0 1.0 (* x 1.0))) 1.0) (- (pow x 3) (pow 1.0 3)))) (* (fma x x (fma 1.0 1.0 (* x 1.0))) (+ (- (/ 1.0 (- (pow x 3) (pow 1.0 3)))) (/ 1.0 (- (pow x 3) (pow 1.0 3))))) (- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0))) (* (/ 1 (- x 1.0)) (+ (- 1.0) 1.0)) (- (/ (* 1.0 (fma 1.0 (- 1.0 x) (pow x 2))) (+ (pow x 3) (pow 1.0 3))) (/ 1.0 (- x 1.0))) (* (/ 1 (- x 1.0)) (+ (- 1.0) 1.0)) (- (/ (* 1.0 (fma 1.0 (- 1.0 x) (pow x 2))) (+ (pow x 3) (pow 1.0 3))) (/ (* (fma x x (fma 1.0 1.0 (* x 1.0))) 1.0) (- (pow x 3) (pow 1.0 3)))) (* (fma x x (fma 1.0 1.0 (* x 1.0))) (+ (- (/ 1.0 (- (pow x 3) (pow 1.0 3)))) (/ 1.0 (- (pow x 3) (pow 1.0 3))))) (- (/ (* 1.0 (fma 1.0 (- 1.0 x) (pow x 2))) (+ (pow x 3) (pow 1.0 3))) (/ 1.0 (- x 1.0))) (* (/ 1 (- x 1.0)) (+ (- 1.0) 1.0)) (- (* (/ 1.0 (- (* x x) (* 1.0 1.0))) (- x 1.0)) (/ 1.0 (- x 1.0))) (* (/ 1 (- x 1.0)) (+ (- 1.0) 1.0)) (fma (/ 1.0 (- (* x x) (* 1.0 1.0))) (- x 1.0) (* (fma x x (fma 1.0 1.0 (* x 1.0))) (- (/ 1.0 (- (pow x 3) (pow 1.0 3)))))) (* (fma x x (fma 1.0 1.0 (* x 1.0))) (+ (- (/ 1.0 (- (pow x 3) (pow 1.0 3)))) (/ 1.0 (- (pow x 3) (pow 1.0 3))))) (- (* (/ 1.0 (- (* x x) (* 1.0 1.0))) (- x 1.0)) (/ 1.0 (- x 1.0))) (* (/ 1 (- x 1.0)) (+ (- 1.0) 1.0)) (/ (- 1.0) (- x 1.0)) (/ (- 1.0) (- x 1.0)) (/ (- 1.0) (- x 1.0)) (* 1.0 (- (- x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)) (* (- 1.0) (- (- x 1.0) (+ x 1.0))) (* (- (+ x 1.0)) (- x 1.0)) (- (- x 1.0) (+ x 1.0)) (* (+ x 1.0) (/ (- x 1.0) 1.0)) (* (- 1.0) (- (- x 1.0) (+ x 1.0))) (* (- (+ x 1.0)) (- x 1.0)) (* 1.0 (- (- x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)) (+ (- (- x 1.0)) (+ x 1.0)) (* (- (+ x 1.0)) (/ (- x 1.0) 1.0)) (- (- x 1.0) (+ x 1.0)) (* (+ x 1.0) (/ (- x 1.0) 1.0)) (+ (- (- x 1.0)) (+ x 1.0)) (* (- (+ x 1.0)) (/ (- x 1.0) 1.0)) (- (/ x 1.0) (+ 1 (/ (+ x 1.0) 1.0))) (* (/ (+ x 1.0) 1.0) (/ (- x 1.0) 1.0)) (- (pow (/ 1.0 (+ x 1.0)) 3) (pow (/ 1.0 (- x 1.0)) 3)) (fma (/ 1.0 (- x 1.0)) (+ (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0))) (* (/ 1.0 (+ x 1.0)) (/ 1.0 (+ x 1.0)))) (/ (- 1.0) (- x 1.0)) (- (* (/ 1.0 (+ x 1.0)) (/ 1.0 (+ x 1.0))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (+ (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0))) (- (/ 1 (+ x 1.0)) (/ 1 (- x 1.0))) (- (- x 1.0) (+ x 1.0)) (/ (- 1.0) (- x 1.0)) (- 1.0) (- (+ x 1.0)) (/ 1 (+ x 1.0)) (/ (+ x 1.0) 1.0) (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (/ 1.0 (- (* x x) (* 1.0 1.0))) (- 1.0) (- 1.0 x) (/ 1 (- x 1.0)) (/ (- x 1.0) 1.0) (/ 1.0 (- (pow x 3) (pow 1.0 3))) (/ 1.0 (- (* x x) (* 1.0 1.0))) (fma 2.0 (pow x 2) (fma 2.0 (pow x 4) 2.0)) (- (/ (- 2.0) (pow x 6)) (fma 2.0 (/ 1 (pow x 2)) (* 2.0 (/ 1 (pow x 4))))) (- (/ (- 2.0) (pow x 6)) (fma 2.0 (/ 1 (pow x 2)) (* 2.0 (/ 1 (pow x 4))))) (fma (pow x 2) 1.0 (- 1.0 (* 1.0 x))) (fma 1.0 (- (/ 1 (pow x 3)) (/ 1 (pow x 2))) (/ 1.0 x)) (fma 1.0 (- (/ 1 (pow x 3)) (/ 1 (pow x 2))) (/ 1.0 x)) (- (- (* 1.0 (pow x 2))) (fma 1.0 x 1.0)) (fma 1.0 (/ 1 (pow x 2)) (fma 1.0 (/ 1 x) (/ 1.0 (pow x 3)))) (fma 1.0 (/ 1 (pow x 2)) (fma 1.0 (/ 1 x) (/ 1.0 (pow x 3)))) 0.318 * * * [progress]: adding candidates to table 0.412 * * [progress]: iteration 2 / 4 0.412 * * * [progress]: picking best candidate 0.417 * * * * [pick]: Picked # 0.417 * * * [progress]: localizing error 0.432 * * * [progress]: generating rewritten candidates 0.432 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.433 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.437 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.448 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3) 0.452 * * * [progress]: generating series expansions 0.452 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.454 * [approximate]: Taking taylor expansion of (fma (/ 1.0 (+ (pow x 3) 1.0)) (- (+ (pow x 2) 1.0) (* 1.0 x)) (/ -1.0 (- x 1.0))) in (x) around 0 0.454 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (+ (pow x 3) 1.0)) (- (+ (pow x 2) 1.0) (* 1.0 x)) (/ -1.0 (- x 1.0))) in x 0.454 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (+ (pow x 3) 1.0)) (- (+ (pow x 2) 1.0) (* 1.0 x))) (/ -1.0 (- x 1.0))) 0.454 * [taylor]: Taking taylor expansion of (* (/ 1.0 (+ (pow x 3) 1.0)) (- (+ (pow x 2) 1.0) (* 1.0 x))) in x 0.454 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (pow x 3) 1.0)) in x 0.454 * [taylor]: Taking taylor expansion of 1.0 in x 0.454 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x 0.454 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.454 * [taylor]: Taking taylor expansion of x in x 0.454 * [taylor]: Taking taylor expansion of 1.0 in x 0.454 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x 0.454 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 0.454 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.454 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of 1.0 in x 0.455 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.455 * [taylor]: Taking taylor expansion of 1.0 in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of (/ -1.0 (- x 1.0)) in x 0.455 * [taylor]: Taking taylor expansion of -1.0 in x 0.455 * [taylor]: Taking taylor expansion of (- x 1.0) in x 0.455 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of 1.0 in x 0.456 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (+ (pow x 3) 1.0)) (- (+ (pow x 2) 1.0) (* 1.0 x)) (/ -1.0 (- x 1.0))) in x 0.456 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (+ (pow x 3) 1.0)) (- (+ (pow x 2) 1.0) (* 1.0 x))) (/ -1.0 (- x 1.0))) 0.456 * [taylor]: Taking taylor expansion of (* (/ 1.0 (+ (pow x 3) 1.0)) (- (+ (pow x 2) 1.0) (* 1.0 x))) in x 0.456 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (pow x 3) 1.0)) in x 0.456 * [taylor]: Taking taylor expansion of 1.0 in x 0.456 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x 0.456 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.456 * [taylor]: Taking taylor expansion of x in x 0.456 * [taylor]: Taking taylor expansion of 1.0 in x 0.457 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x 0.457 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 0.457 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.457 * [taylor]: Taking taylor expansion of 1.0 in x 0.457 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.457 * [taylor]: Taking taylor expansion of 1.0 in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.457 * [taylor]: Taking taylor expansion of (/ -1.0 (- x 1.0)) in x 0.457 * [taylor]: Taking taylor expansion of -1.0 in x 0.457 * [taylor]: Taking taylor expansion of (- x 1.0) in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.457 * [taylor]: Taking taylor expansion of 1.0 in x 0.497 * [approximate]: Taking taylor expansion of (fma (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) (/ -1.0 (- (/ 1 x) 1.0))) in (x) around 0 0.497 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) (/ -1.0 (- (/ 1 x) 1.0))) in x 0.497 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (/ -1.0 (- (/ 1 x) 1.0))) 0.497 * [taylor]: Taking taylor expansion of (* (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x 0.497 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) in x 0.497 * [taylor]: Taking taylor expansion of 1.0 in x 0.497 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x 0.497 * [taylor]: Taking taylor expansion of 1.0 in x 0.497 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.497 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.497 * [taylor]: Taking taylor expansion of x in x 0.499 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x 0.499 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.499 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.499 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.499 * [taylor]: Taking taylor expansion of x in x 0.499 * [taylor]: Taking taylor expansion of 1.0 in x 0.499 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.499 * [taylor]: Taking taylor expansion of 1.0 in x 0.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.499 * [taylor]: Taking taylor expansion of x in x 0.499 * [taylor]: Taking taylor expansion of (/ -1.0 (- (/ 1 x) 1.0)) in x 0.500 * [taylor]: Taking taylor expansion of -1.0 in x 0.500 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 0.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.500 * [taylor]: Taking taylor expansion of x in x 0.500 * [taylor]: Taking taylor expansion of 1.0 in x 0.500 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) (/ -1.0 (- (/ 1 x) 1.0))) in x 0.500 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (/ -1.0 (- (/ 1 x) 1.0))) 0.501 * [taylor]: Taking taylor expansion of (* (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x 0.501 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) in x 0.501 * [taylor]: Taking taylor expansion of 1.0 in x 0.501 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x 0.501 * [taylor]: Taking taylor expansion of 1.0 in x 0.501 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.501 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.501 * [taylor]: Taking taylor expansion of x in x 0.502 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x 0.502 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.502 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.502 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.502 * [taylor]: Taking taylor expansion of x in x 0.502 * [taylor]: Taking taylor expansion of 1.0 in x 0.502 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.502 * [taylor]: Taking taylor expansion of 1.0 in x 0.502 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.502 * [taylor]: Taking taylor expansion of x in x 0.503 * [taylor]: Taking taylor expansion of (/ -1.0 (- (/ 1 x) 1.0)) in x 0.503 * [taylor]: Taking taylor expansion of -1.0 in x 0.503 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 0.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.503 * [taylor]: Taking taylor expansion of x in x 0.503 * [taylor]: Taking taylor expansion of 1.0 in x 0.579 * [approximate]: Taking taylor expansion of (fma (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) (/ 1.0 (+ 1.0 (/ 1 x)))) in (x) around 0 0.579 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) (/ 1.0 (+ 1.0 (/ 1 x)))) in x 0.579 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) (/ 1.0 (+ 1.0 (/ 1 x)))) 0.579 * [taylor]: Taking taylor expansion of (* (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x 0.579 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) in x 0.579 * [taylor]: Taking taylor expansion of 1.0 in x 0.579 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x 0.579 * [taylor]: Taking taylor expansion of 1.0 in x 0.580 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.580 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x 0.581 * [taylor]: Taking taylor expansion of 1.0 in x 0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) 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.582 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.582 * [taylor]: Taking taylor expansion of 1.0 in x 0.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.582 * [taylor]: Taking taylor expansion of x in x 0.582 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in x 0.582 * [taylor]: Taking taylor expansion of 1.0 in x 0.582 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.582 * [taylor]: Taking taylor expansion of 1.0 in x 0.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.582 * [taylor]: Taking taylor expansion of x in x 0.583 * [taylor]: Taking taylor expansion of (fma (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) (/ 1.0 (+ 1.0 (/ 1 x)))) in x 0.583 * [taylor]: Rewrote expression to (+ (* (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) (/ 1.0 (+ 1.0 (/ 1 x)))) 0.583 * [taylor]: Taking taylor expansion of (* (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x 0.583 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) in x 0.583 * [taylor]: Taking taylor expansion of 1.0 in x 0.583 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x 0.583 * [taylor]: Taking taylor expansion of 1.0 in x 0.583 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.583 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.583 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x 0.584 * [taylor]: Taking taylor expansion of 1.0 in x 0.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x 0.584 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.584 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.585 * [taylor]: Taking taylor expansion of 1.0 in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in x 0.585 * [taylor]: Taking taylor expansion of 1.0 in x 0.585 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.585 * [taylor]: Taking taylor expansion of 1.0 in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.655 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.656 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (pow x 3) 1.0)) in (x) around 0 0.656 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (pow x 3) 1.0)) in x 0.656 * [taylor]: Taking taylor expansion of 1.0 in x 0.656 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x 0.656 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.656 * [taylor]: Taking taylor expansion of x in x 0.656 * [taylor]: Taking taylor expansion of 1.0 in x 0.656 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (pow x 3) 1.0)) in x 0.656 * [taylor]: Taking taylor expansion of 1.0 in x 0.656 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x 0.656 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.656 * [taylor]: Taking taylor expansion of x in x 0.656 * [taylor]: Taking taylor expansion of 1.0 in x 0.672 * [approximate]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) in (x) around 0 0.672 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) in x 0.672 * [taylor]: Taking taylor expansion of 1.0 in x 0.672 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x 0.672 * [taylor]: Taking taylor expansion of 1.0 in x 0.672 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.672 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.672 * [taylor]: Taking taylor expansion of x in x 0.673 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 (pow x 3)))) in x 0.673 * [taylor]: Taking taylor expansion of 1.0 in x 0.673 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x 0.673 * [taylor]: Taking taylor expansion of 1.0 in x 0.673 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.673 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.674 * [taylor]: Taking taylor expansion of x in x 0.701 * [approximate]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) in (x) around 0 0.701 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) in x 0.701 * [taylor]: Taking taylor expansion of 1.0 in x 0.702 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x 0.702 * [taylor]: Taking taylor expansion of 1.0 in x 0.702 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.702 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.702 * [taylor]: Taking taylor expansion of x in x 0.703 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 (pow x 3)))) in x 0.703 * [taylor]: Taking taylor expansion of 1.0 in x 0.703 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x 0.703 * [taylor]: Taking taylor expansion of 1.0 in x 0.703 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.703 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.703 * [taylor]: Taking taylor expansion of x in x 0.728 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.728 * [approximate]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in (x) around 0 0.728 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x 0.728 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 0.728 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of 1.0 in x 0.728 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.728 * [taylor]: Taking taylor expansion of 1.0 in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x 0.728 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 0.728 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of 1.0 in x 0.728 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.728 * [taylor]: Taking taylor expansion of 1.0 in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.734 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in (x) around 0 0.734 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x 0.734 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.734 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.734 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.734 * [taylor]: Taking taylor expansion of x in x 0.734 * [taylor]: Taking taylor expansion of 1.0 in x 0.734 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.734 * [taylor]: Taking taylor expansion of 1.0 in x 0.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.734 * [taylor]: Taking taylor expansion of x in x 0.735 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x 0.735 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.735 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.735 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.735 * [taylor]: Taking taylor expansion of x in x 0.735 * [taylor]: Taking taylor expansion of 1.0 in x 0.735 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.735 * [taylor]: Taking taylor expansion of 1.0 in x 0.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.735 * [taylor]: Taking taylor expansion of x in x 0.742 * [approximate]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in (x) around 0 0.742 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x 0.742 * [taylor]: Taking taylor expansion of 1.0 in x 0.742 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x 0.742 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.742 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.742 * [taylor]: Taking taylor expansion of x in x 0.742 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.742 * [taylor]: Taking taylor expansion of 1.0 in x 0.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.742 * [taylor]: Taking taylor expansion of x in x 0.743 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x 0.743 * [taylor]: Taking taylor expansion of 1.0 in x 0.743 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x 0.743 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.743 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.743 * [taylor]: Taking taylor expansion of x in x 0.743 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.743 * [taylor]: Taking taylor expansion of 1.0 in x 0.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.744 * [taylor]: Taking taylor expansion of x in x 0.748 * * * * [progress]: [ 4 / 4 ] generating series at (2 3) 0.749 * [approximate]: Taking taylor expansion of (/ -1.0 (- x 1.0)) in (x) around 0 0.749 * [taylor]: Taking taylor expansion of (/ -1.0 (- x 1.0)) in x 0.749 * [taylor]: Taking taylor expansion of -1.0 in x 0.749 * [taylor]: Taking taylor expansion of (- x 1.0) in x 0.749 * [taylor]: Taking taylor expansion of x in x 0.749 * [taylor]: Taking taylor expansion of 1.0 in x 0.750 * [taylor]: Taking taylor expansion of (/ -1.0 (- x 1.0)) in x 0.750 * [taylor]: Taking taylor expansion of -1.0 in x 0.750 * [taylor]: Taking taylor expansion of (- x 1.0) in x 0.750 * [taylor]: Taking taylor expansion of x in x 0.750 * [taylor]: Taking taylor expansion of 1.0 in x 0.758 * [approximate]: Taking taylor expansion of (/ -1.0 (- (/ 1 x) 1.0)) in (x) around 0 0.758 * [taylor]: Taking taylor expansion of (/ -1.0 (- (/ 1 x) 1.0)) in x 0.758 * [taylor]: Taking taylor expansion of -1.0 in x 0.758 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 0.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.758 * [taylor]: Taking taylor expansion of x in x 0.758 * [taylor]: Taking taylor expansion of 1.0 in x 0.759 * [taylor]: Taking taylor expansion of (/ -1.0 (- (/ 1 x) 1.0)) in x 0.759 * [taylor]: Taking taylor expansion of -1.0 in x 0.759 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 0.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.759 * [taylor]: Taking taylor expansion of x in x 0.759 * [taylor]: Taking taylor expansion of 1.0 in x 0.774 * [approximate]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in (x) around 0 0.774 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in x 0.774 * [taylor]: Taking taylor expansion of 1.0 in x 0.774 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.774 * [taylor]: Taking taylor expansion of 1.0 in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.775 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in x 0.775 * [taylor]: Taking taylor expansion of 1.0 in x 0.775 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.775 * [taylor]: Taking taylor expansion of 1.0 in x 0.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.775 * [taylor]: Taking taylor expansion of x in x 0.783 * * * [progress]: simplifying candidates 0.783 * [simplify]: Simplifying using # : (* (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (- 1.0) (- (+ (pow x 3) (pow 1.0 3))) (/ 1 (+ (pow x 3) (pow 1.0 3))) (/ (+ (pow x 3) (pow 1.0 3)) 1.0) (/ 1.0 (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (/ 1.0 (+ (pow (pow x 3) 3) (pow (pow 1.0 3) 3))) (/ 1.0 (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3)))) (+ (pow (* x x) 3) (pow (- (* 1.0 1.0) (* x 1.0)) 3)) (+ (* (* x x) (* x x)) (- (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0))) (* (* x x) (- (* 1.0 1.0) (* x 1.0))))) (- (* (* x x) (* x x)) (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0)))) (- (* x x) (- (* 1.0 1.0) (* x 1.0))) (+ (* x x) (fma 1.0 1.0 (- (* 1.0 x)))) (+ (* x x) (fma 1.0 1.0 (- (* x 1.0)))) (+ (* x x) (fma 1.0 1.0 (- (* 1.0 x)))) (+ (* x x) (fma 1.0 1.0 (- (* x 1.0)))) (+ (* x x) (* 1.0 1.0)) (+ (* x x) (* 1.0 1.0)) (+ (* x x) (* 1.0 1.0)) (- (- 1.0)) (- (- x 1.0)) (/ 0 (- x 1.0)) (/ 1.0 (- x 1.0)) (/ 1 (- x 1.0)) (/ (- x 1.0) (- 1.0)) (/ 1.0 (- x 1.0)) (/ (- x 1.0) 1.0) (/ (- 1.0) (- (pow x 3) (pow 1.0 3))) (/ (- 1.0) (- (* x x) (* 1.0 1.0))) (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 4)) 2.0)) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 1.0 (pow x 6)) 1.0) (* 1.0 (pow x 3))) (- (+ (* 1.0 (/ 1 (pow x 9))) (* 1.0 (/ 1 (pow x 3)))) (* 1.0 (/ 1 (pow x 6)))) (- (+ (* 1.0 (/ 1 (pow x 9))) (* 1.0 (/ 1 (pow x 3)))) (* 1.0 (/ 1 (pow x 6)))) (- (+ (pow x 2) 1.0) (* 1.0 x)) (- (+ (pow x 2) 1.0) (* 1.0 x)) (- (+ (pow x 2) 1.0) (* 1.0 x)) (+ (* 1.0 (pow x 2)) (+ (* 1.0 x) 1.0)) (- (+ (* 1.0 (/ 1 (pow x 2))) (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))))) (- (+ (* 1.0 (/ 1 (pow x 2))) (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))))) 0.788 * * [simplify]: iteration 0 : 291 enodes (cost 213 ) 0.794 * * [simplify]: iteration 1 : 1144 enodes (cost 186 ) 0.817 * * [simplify]: iteration 2 : 5002 enodes (cost 172 ) 0.819 * [simplify]: Simplified to: (/ (* (fma 1.0 (- 1.0 x) (pow x 2)) 1.0) (+ (pow x 3) (pow 1.0 3))) (- 1.0) (- (+ (pow x 3) (pow 1.0 3))) (/ 1 (+ (pow x 3) (pow 1.0 3))) (/ (+ (pow x 3) (pow 1.0 3)) 1.0) (/ 1.0 (fma 1.0 (- 1.0 x) (pow x 2))) (/ 1.0 (+ (pow (pow x 3) 3) (pow (pow 1.0 3) 3))) (/ 1.0 (- (pow x 6) (pow 1.0 6))) (+ (pow (* 1.0 (- 1.0 x)) 3) (pow x 6)) (fma (* 1.0 (- 1.0 x)) (- (* 1.0 (- 1.0 x)) (pow x 2)) (pow x 4)) (fma (* (- 1.0) (- 1.0 x)) (* 1.0 (- 1.0 x)) (pow x 4)) (fma (+ x 1.0) (- x 1.0) (* x 1.0)) (fma 1.0 (- 1.0 x) (pow x 2)) (fma 1.0 (- 1.0 x) (pow x 2)) (fma 1.0 (- 1.0 x) (pow x 2)) (fma 1.0 (- 1.0 x) (pow x 2)) (fma x x (* 1.0 1.0)) (fma x x (* 1.0 1.0)) (fma x x (* 1.0 1.0)) 1.0 (- 1.0 x) 0 (/ 1.0 (- x 1.0)) (/ 1 (- x 1.0)) (/ (- x 1.0) (- 1.0)) (/ 1.0 (- x 1.0)) (/ (- x 1.0) 1.0) (/ (- 1.0) (- (pow x 3) (pow 1.0 3))) (/ (- 1.0) (- (* x x) (* 1.0 1.0))) (fma 2.0 (pow x 2) (fma 2.0 (pow x 4) 2.0)) (- (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))) (- (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))) (fma (pow x 6) 1.0 (- 1.0 (* 1.0 (pow x 3)))) (* 1.0 (- (+ (/ 1 (pow x 9)) (/ 1 (pow x 3))) (/ 1 (pow x 6)))) (* 1.0 (- (+ (/ 1 (pow x 9)) (/ 1 (pow x 3))) (/ 1 (pow x 6)))) (fma x x (- 1.0 (* 1.0 x))) (fma x x (- 1.0 (* 1.0 x))) (fma x x (- 1.0 (* 1.0 x))) (fma 1.0 (pow x 2) (fma 1.0 x 1.0)) (- (- (/ (- 1.0) (pow x 2)) (/ 1.0 x)) (/ 1.0 (pow x 3))) (- (- (/ (- 1.0) (pow x 2)) (/ 1.0 x)) (/ 1.0 (pow x 3))) 0.819 * * * [progress]: adding candidates to table 0.929 * * [progress]: iteration 3 / 4 0.930 * * * [progress]: picking best candidate 0.934 * * * * [pick]: Picked # 0.934 * * * [progress]: localizing error 0.946 * * * [progress]: generating rewritten candidates 0.946 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.948 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 0.951 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.954 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.985 * * * [progress]: generating series expansions 0.985 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.986 * [approximate]: Taking taylor expansion of (/ 2.0 (pow x 4)) in (x) around 0 0.986 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 4)) in x 0.986 * [taylor]: Taking taylor expansion of 2.0 in x 0.986 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.986 * [taylor]: Taking taylor expansion of x in x 0.987 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 4)) in x 0.987 * [taylor]: Taking taylor expansion of 2.0 in x 0.987 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.987 * [taylor]: Taking taylor expansion of x in x 1.002 * [approximate]: Taking taylor expansion of (* 2.0 (pow x 4)) in (x) around 0 1.002 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.002 * [taylor]: Taking taylor expansion of 2.0 in x 1.002 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.002 * [taylor]: Taking taylor expansion of x in x 1.002 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.002 * [taylor]: Taking taylor expansion of 2.0 in x 1.002 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.002 * [taylor]: Taking taylor expansion of x in x 1.013 * [approximate]: Taking taylor expansion of (* 2.0 (pow x 4)) in (x) around 0 1.013 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.013 * [taylor]: Taking taylor expansion of 2.0 in x 1.013 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.013 * [taylor]: Taking taylor expansion of x in x 1.013 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.014 * [taylor]: Taking taylor expansion of 2.0 in x 1.014 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.014 * [taylor]: Taking taylor expansion of x in x 1.025 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.025 * [approximate]: Taking taylor expansion of (/ -2.0 (pow x 6)) in (x) around 0 1.025 * [taylor]: Taking taylor expansion of (/ -2.0 (pow x 6)) in x 1.025 * [taylor]: Taking taylor expansion of -2.0 in x 1.025 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.025 * [taylor]: Taking taylor expansion of x in x 1.026 * [taylor]: Taking taylor expansion of (/ -2.0 (pow x 6)) in x 1.026 * [taylor]: Taking taylor expansion of -2.0 in x 1.026 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.026 * [taylor]: Taking taylor expansion of x in x 1.041 * [approximate]: Taking taylor expansion of (* -2.0 (pow x 6)) in (x) around 0 1.041 * [taylor]: Taking taylor expansion of (* -2.0 (pow x 6)) in x 1.041 * [taylor]: Taking taylor expansion of -2.0 in x 1.041 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.041 * [taylor]: Taking taylor expansion of x in x 1.041 * [taylor]: Taking taylor expansion of (* -2.0 (pow x 6)) in x 1.041 * [taylor]: Taking taylor expansion of -2.0 in x 1.041 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.041 * [taylor]: Taking taylor expansion of x in x 1.056 * [approximate]: Taking taylor expansion of (* -2.0 (pow x 6)) in (x) around 0 1.056 * [taylor]: Taking taylor expansion of (* -2.0 (pow x 6)) in x 1.056 * [taylor]: Taking taylor expansion of -2.0 in x 1.056 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.056 * [taylor]: Taking taylor expansion of x in x 1.056 * [taylor]: Taking taylor expansion of (* -2.0 (pow x 6)) in x 1.056 * [taylor]: Taking taylor expansion of -2.0 in x 1.056 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.056 * [taylor]: Taking taylor expansion of x in x 1.077 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.077 * [approximate]: Taking taylor expansion of (/ 2.0 (pow x 2)) in (x) around 0 1.077 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 2)) in x 1.077 * [taylor]: Taking taylor expansion of 2.0 in x 1.077 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.077 * [taylor]: Taking taylor expansion of x in x 1.077 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 2)) in x 1.077 * [taylor]: Taking taylor expansion of 2.0 in x 1.078 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.078 * [taylor]: Taking taylor expansion of x in x 1.085 * [approximate]: Taking taylor expansion of (* 2.0 (pow x 2)) in (x) around 0 1.085 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.085 * [taylor]: Taking taylor expansion of 2.0 in x 1.085 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.086 * [taylor]: Taking taylor expansion of x in x 1.086 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.086 * [taylor]: Taking taylor expansion of 2.0 in x 1.086 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.086 * [taylor]: Taking taylor expansion of x in x 1.094 * [approximate]: Taking taylor expansion of (* 2.0 (pow x 2)) in (x) around 0 1.094 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.094 * [taylor]: Taking taylor expansion of 2.0 in x 1.094 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.094 * [taylor]: Taking taylor expansion of x in x 1.094 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.094 * [taylor]: Taking taylor expansion of 2.0 in x 1.094 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.094 * [taylor]: Taking taylor expansion of x in x 1.101 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.102 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) in (x) around 0 1.102 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) in x 1.102 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4))))) in x 1.102 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 6))) in x 1.102 * [taylor]: Taking taylor expansion of 2.0 in x 1.102 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.102 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.102 * [taylor]: Taking taylor expansion of x in x 1.103 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))) in x 1.103 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x 1.103 * [taylor]: Taking taylor expansion of 2.0 in x 1.103 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.103 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.103 * [taylor]: Taking taylor expansion of x in x 1.104 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 4))) in x 1.104 * [taylor]: Taking taylor expansion of 2.0 in x 1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.104 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.104 * [taylor]: Taking taylor expansion of x in x 1.105 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) in x 1.105 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4))))) in x 1.105 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 6))) in x 1.105 * [taylor]: Taking taylor expansion of 2.0 in x 1.105 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.105 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.105 * [taylor]: Taking taylor expansion of x in x 1.106 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))) in x 1.106 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x 1.106 * [taylor]: Taking taylor expansion of 2.0 in x 1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.106 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.106 * [taylor]: Taking taylor expansion of x in x 1.106 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 4))) in x 1.106 * [taylor]: Taking taylor expansion of 2.0 in x 1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.106 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.106 * [taylor]: Taking taylor expansion of x in x 1.126 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in (x) around 0 1.126 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in x 1.126 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4)))) in x 1.126 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.126 * [taylor]: Taking taylor expansion of 2.0 in x 1.126 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.126 * [taylor]: Taking taylor expansion of x in x 1.126 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))) in x 1.126 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 6)) in x 1.126 * [taylor]: Taking taylor expansion of 2.0 in x 1.126 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.126 * [taylor]: Taking taylor expansion of x in x 1.126 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.126 * [taylor]: Taking taylor expansion of 2.0 in x 1.126 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.126 * [taylor]: Taking taylor expansion of x in x 1.126 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in x 1.126 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4)))) in x 1.126 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.126 * [taylor]: Taking taylor expansion of 2.0 in x 1.126 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.126 * [taylor]: Taking taylor expansion of x in x 1.126 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))) in x 1.127 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 6)) in x 1.127 * [taylor]: Taking taylor expansion of 2.0 in x 1.127 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.127 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.127 * [taylor]: Taking taylor expansion of 2.0 in x 1.127 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.141 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in (x) around 0 1.141 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in x 1.141 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4)))) in x 1.141 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.141 * [taylor]: Taking taylor expansion of 2.0 in x 1.141 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.141 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))) in x 1.141 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 6)) in x 1.141 * [taylor]: Taking taylor expansion of 2.0 in x 1.141 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.141 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.141 * [taylor]: Taking taylor expansion of 2.0 in x 1.141 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.141 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in x 1.141 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4)))) in x 1.141 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.141 * [taylor]: Taking taylor expansion of 2.0 in x 1.141 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.141 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))) in x 1.141 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 6)) in x 1.141 * [taylor]: Taking taylor expansion of 2.0 in x 1.141 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.141 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.141 * [taylor]: Taking taylor expansion of 2.0 in x 1.141 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.160 * * * [progress]: simplifying candidates 1.164 * [simplify]: Simplifying using # : (- 2.0) (- (pow x 4)) (/ 1 (pow x 4)) (/ (pow x 4) 2.0) (/ 2.0 (pow x (/ 4 2))) (- (- 2.0)) (- (pow x 6)) (/ 0 (pow x 6)) (/ 2.0 (pow x 6)) (/ -1 (pow x (/ 6 2))) (/ 2.0 (pow x (/ 6 2))) (/ 1 (pow x 6)) (/ (pow x 6) (- 2.0)) (/ 2.0 (pow x 6)) (/ (- 2.0) (pow x (/ 6 2))) (/ (pow x 6) 2.0) (- (/ 2.0 x)) (- x) (/ 1 x) (/ x (/ 2.0 x)) (/ x (/ 1 x)) (* x x) (* x (- x)) (* x (/ x 2.0)) (- (* (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (pow x 4)) (* (* (pow x 6) x) 2.0)) (* (* (pow x 6) x) (pow x 4)) (- (* (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (- (pow x 4))) (* (* (pow x 6) x) (- 2.0))) (* (* (pow x 6) x) (- (pow x 4))) (- (* (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (/ (pow x 4) 2.0)) (* (* (pow x 6) x) 1)) (* (* (pow x 6) x) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (pow x (/ 4 2))) (* (* (pow x 6) x) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) x) (pow x (/ 4 2))) (- (* (- (* (- 2.0) (- x)) (* (pow x 6) (- (/ 2.0 x)))) (pow x 4)) (* (* (pow x 6) (- x)) 2.0)) (* (* (pow x 6) (- x)) (pow x 4)) (- (* (- (* (- 2.0) (- x)) (* (pow x 6) (- (/ 2.0 x)))) (- (pow x 4))) (* (* (pow x 6) (- x)) (- 2.0))) (* (* (pow x 6) (- x)) (- (pow x 4))) (- (* (- (* (- 2.0) (- x)) (* (pow x 6) (- (/ 2.0 x)))) (/ (pow x 4) 2.0)) (* (* (pow x 6) (- x)) 1)) (* (* (pow x 6) (- x)) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) (- x)) (* (pow x 6) (- (/ 2.0 x)))) (pow x (/ 4 2))) (* (* (pow x 6) (- x)) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) (- x)) (pow x (/ 4 2))) (- (* (- (* (- 2.0) (/ x (/ 2.0 x))) (* (pow x 6) 1)) (pow x 4)) (* (* (pow x 6) (/ x (/ 2.0 x))) 2.0)) (* (* (pow x 6) (/ x (/ 2.0 x))) (pow x 4)) (- (* (- (* (- 2.0) (/ x (/ 2.0 x))) (* (pow x 6) 1)) (- (pow x 4))) (* (* (pow x 6) (/ x (/ 2.0 x))) (- 2.0))) (* (* (pow x 6) (/ x (/ 2.0 x))) (- (pow x 4))) (- (* (- (* (- 2.0) (/ x (/ 2.0 x))) (* (pow x 6) 1)) (/ (pow x 4) 2.0)) (* (* (pow x 6) (/ x (/ 2.0 x))) 1)) (* (* (pow x 6) (/ x (/ 2.0 x))) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) (/ x (/ 2.0 x))) (* (pow x 6) 1)) (pow x (/ 4 2))) (* (* (pow x 6) (/ x (/ 2.0 x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) (/ x (/ 2.0 x))) (pow x (/ 4 2))) (- (* (- (* (- 2.0) (/ x (/ 1 x))) (* (pow x 6) 2.0)) (pow x 4)) (* (* (pow x 6) (/ x (/ 1 x))) 2.0)) (* (* (pow x 6) (/ x (/ 1 x))) (pow x 4)) (- (* (- (* (- 2.0) (/ x (/ 1 x))) (* (pow x 6) 2.0)) (- (pow x 4))) (* (* (pow x 6) (/ x (/ 1 x))) (- 2.0))) (* (* (pow x 6) (/ x (/ 1 x))) (- (pow x 4))) (- (* (- (* (- 2.0) (/ x (/ 1 x))) (* (pow x 6) 2.0)) (/ (pow x 4) 2.0)) (* (* (pow x 6) (/ x (/ 1 x))) 1)) (* (* (pow x 6) (/ x (/ 1 x))) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) (/ x (/ 1 x))) (* (pow x 6) 2.0)) (pow x (/ 4 2))) (* (* (pow x 6) (/ x (/ 1 x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) (/ x (/ 1 x))) (pow x (/ 4 2))) (- (* (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (pow x 4)) (* (* (pow x 6) (* x x)) 2.0)) (* (* (pow x 6) (* x x)) (pow x 4)) (- (* (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (- (pow x 4))) (* (* (pow x 6) (* x x)) (- 2.0))) (* (* (pow x 6) (* x x)) (- (pow x 4))) (- (* (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (/ (pow x 4) 2.0)) (* (* (pow x 6) (* x x)) 1)) (* (* (pow x 6) (* x x)) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (pow x (/ 4 2))) (* (* (pow x 6) (* x x)) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) (* x x)) (pow x (/ 4 2))) (- (* (- (* (- 2.0) (* x (- x))) (* (pow x 6) (- 2.0))) (pow x 4)) (* (* (pow x 6) (* x (- x))) 2.0)) (* (* (pow x 6) (* x (- x))) (pow x 4)) (- (* (- (* (- 2.0) (* x (- x))) (* (pow x 6) (- 2.0))) (- (pow x 4))) (* (* (pow x 6) (* x (- x))) (- 2.0))) (* (* (pow x 6) (* x (- x))) (- (pow x 4))) (- (* (- (* (- 2.0) (* x (- x))) (* (pow x 6) (- 2.0))) (/ (pow x 4) 2.0)) (* (* (pow x 6) (* x (- x))) 1)) (* (* (pow x 6) (* x (- x))) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) (* x (- x))) (* (pow x 6) (- 2.0))) (pow x (/ 4 2))) (* (* (pow x 6) (* x (- x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) (* x (- x))) (pow x (/ 4 2))) (- (* (- (* (- 2.0) (* x (/ x 2.0))) (* (pow x 6) 1)) (pow x 4)) (* (* (pow x 6) (* x (/ x 2.0))) 2.0)) (* (* (pow x 6) (* x (/ x 2.0))) (pow x 4)) (- (* (- (* (- 2.0) (* x (/ x 2.0))) (* (pow x 6) 1)) (- (pow x 4))) (* (* (pow x 6) (* x (/ x 2.0))) (- 2.0))) (* (* (pow x 6) (* x (/ x 2.0))) (- (pow x 4))) (- (* (- (* (- 2.0) (* x (/ x 2.0))) (* (pow x 6) 1)) (/ (pow x 4) 2.0)) (* (* (pow x 6) (* x (/ x 2.0))) 1)) (* (* (pow x 6) (* x (/ x 2.0))) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) (* x (/ x 2.0))) (* (pow x 6) 1)) (pow x (/ 4 2))) (* (* (pow x 6) (* x (/ x 2.0))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) (* x (/ x 2.0))) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) x) (* (- (pow x 6)) (/ 2.0 x))) (pow x 4)) (* (* (- (pow x 6)) x) 2.0)) (* (* (- (pow x 6)) x) (pow x 4)) (- (* (- (* (- (- 2.0)) x) (* (- (pow x 6)) (/ 2.0 x))) (- (pow x 4))) (* (* (- (pow x 6)) x) (- 2.0))) (* (* (- (pow x 6)) x) (- (pow x 4))) (- (* (- (* (- (- 2.0)) x) (* (- (pow x 6)) (/ 2.0 x))) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) x) 1)) (* (* (- (pow x 6)) x) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) x) (* (- (pow x 6)) (/ 2.0 x))) (pow x (/ 4 2))) (* (* (- (pow x 6)) x) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) x) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) (- x)) (* (- (pow x 6)) (- (/ 2.0 x)))) (pow x 4)) (* (* (- (pow x 6)) (- x)) 2.0)) (* (* (- (pow x 6)) (- x)) (pow x 4)) (- (* (- (* (- (- 2.0)) (- x)) (* (- (pow x 6)) (- (/ 2.0 x)))) (- (pow x 4))) (* (* (- (pow x 6)) (- x)) (- 2.0))) (* (* (- (pow x 6)) (- x)) (- (pow x 4))) (- (* (- (* (- (- 2.0)) (- x)) (* (- (pow x 6)) (- (/ 2.0 x)))) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) (- x)) 1)) (* (* (- (pow x 6)) (- x)) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) (- x)) (* (- (pow x 6)) (- (/ 2.0 x)))) (pow x (/ 4 2))) (* (* (- (pow x 6)) (- x)) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) (- x)) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) (/ x (/ 2.0 x))) (* (- (pow x 6)) 1)) (pow x 4)) (* (* (- (pow x 6)) (/ x (/ 2.0 x))) 2.0)) (* (* (- (pow x 6)) (/ x (/ 2.0 x))) (pow x 4)) (- (* (- (* (- (- 2.0)) (/ x (/ 2.0 x))) (* (- (pow x 6)) 1)) (- (pow x 4))) (* (* (- (pow x 6)) (/ x (/ 2.0 x))) (- 2.0))) (* (* (- (pow x 6)) (/ x (/ 2.0 x))) (- (pow x 4))) (- (* (- (* (- (- 2.0)) (/ x (/ 2.0 x))) (* (- (pow x 6)) 1)) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) (/ x (/ 2.0 x))) 1)) (* (* (- (pow x 6)) (/ x (/ 2.0 x))) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) (/ x (/ 2.0 x))) (* (- (pow x 6)) 1)) (pow x (/ 4 2))) (* (* (- (pow x 6)) (/ x (/ 2.0 x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) (/ x (/ 2.0 x))) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) (/ x (/ 1 x))) (* (- (pow x 6)) 2.0)) (pow x 4)) (* (* (- (pow x 6)) (/ x (/ 1 x))) 2.0)) (* (* (- (pow x 6)) (/ x (/ 1 x))) (pow x 4)) (- (* (- (* (- (- 2.0)) (/ x (/ 1 x))) (* (- (pow x 6)) 2.0)) (- (pow x 4))) (* (* (- (pow x 6)) (/ x (/ 1 x))) (- 2.0))) (* (* (- (pow x 6)) (/ x (/ 1 x))) (- (pow x 4))) (- (* (- (* (- (- 2.0)) (/ x (/ 1 x))) (* (- (pow x 6)) 2.0)) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) (/ x (/ 1 x))) 1)) (* (* (- (pow x 6)) (/ x (/ 1 x))) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) (/ x (/ 1 x))) (* (- (pow x 6)) 2.0)) (pow x (/ 4 2))) (* (* (- (pow x 6)) (/ x (/ 1 x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) (/ x (/ 1 x))) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) (* x x)) (* (- (pow x 6)) 2.0)) (pow x 4)) (* (* (- (pow x 6)) (* x x)) 2.0)) (* (* (- (pow x 6)) (* x x)) (pow x 4)) (- (* (- (* (- (- 2.0)) (* x x)) (* (- (pow x 6)) 2.0)) (- (pow x 4))) (* (* (- (pow x 6)) (* x x)) (- 2.0))) (* (* (- (pow x 6)) (* x x)) (- (pow x 4))) (- (* (- (* (- (- 2.0)) (* x x)) (* (- (pow x 6)) 2.0)) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) (* x x)) 1)) (* (* (- (pow x 6)) (* x x)) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) (* x x)) (* (- (pow x 6)) 2.0)) (pow x (/ 4 2))) (* (* (- (pow x 6)) (* x x)) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) (* x x)) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) (* x (- x))) (* (- (pow x 6)) (- 2.0))) (pow x 4)) (* (* (- (pow x 6)) (* x (- x))) 2.0)) (* (* (- (pow x 6)) (* x (- x))) (pow x 4)) (- (* (- (* (- (- 2.0)) (* x (- x))) (* (- (pow x 6)) (- 2.0))) (- (pow x 4))) (* (* (- (pow x 6)) (* x (- x))) (- 2.0))) (* (* (- (pow x 6)) (* x (- x))) (- (pow x 4))) (- (* (- (* (- (- 2.0)) (* x (- x))) (* (- (pow x 6)) (- 2.0))) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) (* x (- x))) 1)) (* (* (- (pow x 6)) (* x (- x))) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) (* x (- x))) (* (- (pow x 6)) (- 2.0))) (pow x (/ 4 2))) (* (* (- (pow x 6)) (* x (- x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) (* x (- x))) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) (* x (/ x 2.0))) (* (- (pow x 6)) 1)) (pow x 4)) (* (* (- (pow x 6)) (* x (/ x 2.0))) 2.0)) (* (* (- (pow x 6)) (* x (/ x 2.0))) (pow x 4)) (- (* (- (* (- (- 2.0)) (* x (/ x 2.0))) (* (- (pow x 6)) 1)) (- (pow x 4))) (* (* (- (pow x 6)) (* x (/ x 2.0))) (- 2.0))) (* (* (- (pow x 6)) (* x (/ x 2.0))) (- (pow x 4))) (- (* (- (* (- (- 2.0)) (* x (/ x 2.0))) (* (- (pow x 6)) 1)) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) (* x (/ x 2.0))) 1)) (* (* (- (pow x 6)) (* x (/ x 2.0))) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) (* x (/ x 2.0))) (* (- (pow x 6)) 1)) (pow x (/ 4 2))) (* (* (- (pow x 6)) (* x (/ x 2.0))) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) (* x (/ x 2.0))) (pow x (/ 4 2))) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 2.0 x))) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) x) 2.0)) (* (* (/ (pow x 6) (- 2.0)) x) (pow x 4)) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 2.0 x))) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) x) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) x) (- (pow x 4))) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 2.0 x))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) x) 1)) (* (* (/ (pow x 6) (- 2.0)) x) (/ (pow x 4) 2.0)) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 2.0 x))) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) x) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) x) (pow x (/ 4 2))) (- (* (- (* 1 (- x)) (* (/ (pow x 6) (- 2.0)) (- (/ 2.0 x)))) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) (- x)) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (- x)) (pow x 4)) (- (* (- (* 1 (- x)) (* (/ (pow x 6) (- 2.0)) (- (/ 2.0 x)))) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (- x)) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) (- x)) (- (pow x 4))) (- (* (- (* 1 (- x)) (* (/ (pow x 6) (- 2.0)) (- (/ 2.0 x)))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (- x)) 1)) (* (* (/ (pow x 6) (- 2.0)) (- x)) (/ (pow x 4) 2.0)) (- (* (- (* 1 (- x)) (* (/ (pow x 6) (- 2.0)) (- (/ 2.0 x)))) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) (- x)) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) (- x)) (pow x (/ 4 2))) (- (* (- (* 1 (/ x (/ 2.0 x))) (* (/ (pow x 6) (- 2.0)) 1)) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 2.0 x))) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 2.0 x))) (pow x 4)) (- (* (- (* 1 (/ x (/ 2.0 x))) (* (/ (pow x 6) (- 2.0)) 1)) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 2.0 x))) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 2.0 x))) (- (pow x 4))) (- (* (- (* 1 (/ x (/ 2.0 x))) (* (/ (pow x 6) (- 2.0)) 1)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 2.0 x))) 1)) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 2.0 x))) (/ (pow x 4) 2.0)) (- (* (- (* 1 (/ x (/ 2.0 x))) (* (/ (pow x 6) (- 2.0)) 1)) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 2.0 x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 2.0 x))) (pow x (/ 4 2))) (- (* (- (* 1 (/ x (/ 1 x))) (* (/ (pow x 6) (- 2.0)) 2.0)) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 1 x))) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 1 x))) (pow x 4)) (- (* (- (* 1 (/ x (/ 1 x))) (* (/ (pow x 6) (- 2.0)) 2.0)) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 1 x))) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 1 x))) (- (pow x 4))) (- (* (- (* 1 (/ x (/ 1 x))) (* (/ (pow x 6) (- 2.0)) 2.0)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 1 x))) 1)) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 1 x))) (/ (pow x 4) 2.0)) (- (* (- (* 1 (/ x (/ 1 x))) (* (/ (pow x 6) (- 2.0)) 2.0)) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 1 x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) (/ x (/ 1 x))) (pow x (/ 4 2))) (- (* (- (* 1 (* x x)) (* (/ (pow x 6) (- 2.0)) 2.0)) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) (* x x)) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (* x x)) (pow x 4)) (- (* (- (* 1 (* x x)) (* (/ (pow x 6) (- 2.0)) 2.0)) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (* x x)) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) (* x x)) (- (pow x 4))) (- (* (- (* 1 (* x x)) (* (/ (pow x 6) (- 2.0)) 2.0)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (* x x)) 1)) (* (* (/ (pow x 6) (- 2.0)) (* x x)) (/ (pow x 4) 2.0)) (- (* (- (* 1 (* x x)) (* (/ (pow x 6) (- 2.0)) 2.0)) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) (* x x)) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) (* x x)) (pow x (/ 4 2))) (- (* (- (* 1 (* x (- x))) (* (/ (pow x 6) (- 2.0)) (- 2.0))) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) (* x (- x))) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (* x (- x))) (pow x 4)) (- (* (- (* 1 (* x (- x))) (* (/ (pow x 6) (- 2.0)) (- 2.0))) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (* x (- x))) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) (* x (- x))) (- (pow x 4))) (- (* (- (* 1 (* x (- x))) (* (/ (pow x 6) (- 2.0)) (- 2.0))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (* x (- x))) 1)) (* (* (/ (pow x 6) (- 2.0)) (* x (- x))) (/ (pow x 4) 2.0)) (- (* (- (* 1 (* x (- x))) (* (/ (pow x 6) (- 2.0)) (- 2.0))) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) (* x (- x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) (* x (- x))) (pow x (/ 4 2))) (- (* (- (* 1 (* x (/ x 2.0))) (* (/ (pow x 6) (- 2.0)) 1)) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (pow x 4)) (- (* (- (* 1 (* x (/ x 2.0))) (* (/ (pow x 6) (- 2.0)) 1)) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (- (pow x 4))) (- (* (- (* 1 (* x (/ x 2.0))) (* (/ (pow x 6) (- 2.0)) 1)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) 1)) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (/ (pow x 4) 2.0)) (- (* (- (* 1 (* x (/ x 2.0))) (* (/ (pow x 6) (- 2.0)) 1)) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) x) (* (pow x (/ 6 2)) (/ 2.0 x))) (pow x 4)) (* (* (pow x (/ 6 2)) x) 2.0)) (* (* (pow x (/ 6 2)) x) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) x) (* (pow x (/ 6 2)) (/ 2.0 x))) (- (pow x 4))) (* (* (pow x (/ 6 2)) x) (- 2.0))) (* (* (pow x (/ 6 2)) x) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) x) (* (pow x (/ 6 2)) (/ 2.0 x))) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) x) 1)) (* (* (pow x (/ 6 2)) x) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) x) (* (pow x (/ 6 2)) (/ 2.0 x))) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) x) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) x) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (- x)) (* (pow x (/ 6 2)) (- (/ 2.0 x)))) (pow x 4)) (* (* (pow x (/ 6 2)) (- x)) 2.0)) (* (* (pow x (/ 6 2)) (- x)) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (- x)) (* (pow x (/ 6 2)) (- (/ 2.0 x)))) (- (pow x 4))) (* (* (pow x (/ 6 2)) (- x)) (- 2.0))) (* (* (pow x (/ 6 2)) (- x)) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (- x)) (* (pow x (/ 6 2)) (- (/ 2.0 x)))) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) (- x)) 1)) (* (* (pow x (/ 6 2)) (- x)) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (- x)) (* (pow x (/ 6 2)) (- (/ 2.0 x)))) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) (- x)) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) (- x)) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x (/ 2.0 x))) (* (pow x (/ 6 2)) 1)) (pow x 4)) (* (* (pow x (/ 6 2)) (/ x (/ 2.0 x))) 2.0)) (* (* (pow x (/ 6 2)) (/ x (/ 2.0 x))) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x (/ 2.0 x))) (* (pow x (/ 6 2)) 1)) (- (pow x 4))) (* (* (pow x (/ 6 2)) (/ x (/ 2.0 x))) (- 2.0))) (* (* (pow x (/ 6 2)) (/ x (/ 2.0 x))) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x (/ 2.0 x))) (* (pow x (/ 6 2)) 1)) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) (/ x (/ 2.0 x))) 1)) (* (* (pow x (/ 6 2)) (/ x (/ 2.0 x))) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x (/ 2.0 x))) (* (pow x (/ 6 2)) 1)) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) (/ x (/ 2.0 x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) (/ x (/ 2.0 x))) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x (/ 1 x))) (* (pow x (/ 6 2)) 2.0)) (pow x 4)) (* (* (pow x (/ 6 2)) (/ x (/ 1 x))) 2.0)) (* (* (pow x (/ 6 2)) (/ x (/ 1 x))) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x (/ 1 x))) (* (pow x (/ 6 2)) 2.0)) (- (pow x 4))) (* (* (pow x (/ 6 2)) (/ x (/ 1 x))) (- 2.0))) (* (* (pow x (/ 6 2)) (/ x (/ 1 x))) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x (/ 1 x))) (* (pow x (/ 6 2)) 2.0)) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) (/ x (/ 1 x))) 1)) (* (* (pow x (/ 6 2)) (/ x (/ 1 x))) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x (/ 1 x))) (* (pow x (/ 6 2)) 2.0)) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) (/ x (/ 1 x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) (/ x (/ 1 x))) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x x)) (* (pow x (/ 6 2)) 2.0)) (pow x 4)) (* (* (pow x (/ 6 2)) (* x x)) 2.0)) (* (* (pow x (/ 6 2)) (* x x)) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x x)) (* (pow x (/ 6 2)) 2.0)) (- (pow x 4))) (* (* (pow x (/ 6 2)) (* x x)) (- 2.0))) (* (* (pow x (/ 6 2)) (* x x)) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x x)) (* (pow x (/ 6 2)) 2.0)) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) (* x x)) 1)) (* (* (pow x (/ 6 2)) (* x x)) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x x)) (* (pow x (/ 6 2)) 2.0)) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) (* x x)) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) (* x x)) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (- x))) (* (pow x (/ 6 2)) (- 2.0))) (pow x 4)) (* (* (pow x (/ 6 2)) (* x (- x))) 2.0)) (* (* (pow x (/ 6 2)) (* x (- x))) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (- x))) (* (pow x (/ 6 2)) (- 2.0))) (- (pow x 4))) (* (* (pow x (/ 6 2)) (* x (- x))) (- 2.0))) (* (* (pow x (/ 6 2)) (* x (- x))) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (- x))) (* (pow x (/ 6 2)) (- 2.0))) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) (* x (- x))) 1)) (* (* (pow x (/ 6 2)) (* x (- x))) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (- x))) (* (pow x (/ 6 2)) (- 2.0))) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) (* x (- x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) (* x (- x))) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (/ x 2.0))) (* (pow x (/ 6 2)) 1)) (pow x 4)) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) 2.0)) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (/ x 2.0))) (* (pow x (/ 6 2)) 1)) (- (pow x 4))) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (- 2.0))) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (/ x 2.0))) (* (pow x (/ 6 2)) 1)) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) 1)) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (/ x 2.0))) (* (pow x (/ 6 2)) 1)) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (pow x (/ 4 2))) (- (* (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 2.0 x))) (pow x 4)) (* (* (/ (pow x 6) 2.0) x) 2.0)) (* (* (/ (pow x 6) 2.0) x) (pow x 4)) (- (* (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 2.0 x))) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) x) (- 2.0))) (* (* (/ (pow x 6) 2.0) x) (- (pow x 4))) (- (* (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 2.0 x))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) x) 1)) (* (* (/ (pow x 6) 2.0) x) (/ (pow x 4) 2.0)) (- (* (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 2.0 x))) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) x) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) x) (pow x (/ 4 2))) (- (* (- (* -1 (- x)) (* (/ (pow x 6) 2.0) (- (/ 2.0 x)))) (pow x 4)) (* (* (/ (pow x 6) 2.0) (- x)) 2.0)) (* (* (/ (pow x 6) 2.0) (- x)) (pow x 4)) (- (* (- (* -1 (- x)) (* (/ (pow x 6) 2.0) (- (/ 2.0 x)))) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (- x)) (- 2.0))) (* (* (/ (pow x 6) 2.0) (- x)) (- (pow x 4))) (- (* (- (* -1 (- x)) (* (/ (pow x 6) 2.0) (- (/ 2.0 x)))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (- x)) 1)) (* (* (/ (pow x 6) 2.0) (- x)) (/ (pow x 4) 2.0)) (- (* (- (* -1 (- x)) (* (/ (pow x 6) 2.0) (- (/ 2.0 x)))) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) (- x)) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) (- x)) (pow x (/ 4 2))) (- (* (- (* -1 (/ x (/ 2.0 x))) (* (/ (pow x 6) 2.0) 1)) (pow x 4)) (* (* (/ (pow x 6) 2.0) (/ x (/ 2.0 x))) 2.0)) (* (* (/ (pow x 6) 2.0) (/ x (/ 2.0 x))) (pow x 4)) (- (* (- (* -1 (/ x (/ 2.0 x))) (* (/ (pow x 6) 2.0) 1)) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (/ x (/ 2.0 x))) (- 2.0))) (* (* (/ (pow x 6) 2.0) (/ x (/ 2.0 x))) (- (pow x 4))) (- (* (- (* -1 (/ x (/ 2.0 x))) (* (/ (pow x 6) 2.0) 1)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (/ x (/ 2.0 x))) 1)) (* (* (/ (pow x 6) 2.0) (/ x (/ 2.0 x))) (/ (pow x 4) 2.0)) (- (* (- (* -1 (/ x (/ 2.0 x))) (* (/ (pow x 6) 2.0) 1)) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) (/ x (/ 2.0 x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) (/ x (/ 2.0 x))) (pow x (/ 4 2))) (- (* (- (* -1 (/ x (/ 1 x))) (* (/ (pow x 6) 2.0) 2.0)) (pow x 4)) (* (* (/ (pow x 6) 2.0) (/ x (/ 1 x))) 2.0)) (* (* (/ (pow x 6) 2.0) (/ x (/ 1 x))) (pow x 4)) (- (* (- (* -1 (/ x (/ 1 x))) (* (/ (pow x 6) 2.0) 2.0)) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (/ x (/ 1 x))) (- 2.0))) (* (* (/ (pow x 6) 2.0) (/ x (/ 1 x))) (- (pow x 4))) (- (* (- (* -1 (/ x (/ 1 x))) (* (/ (pow x 6) 2.0) 2.0)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (/ x (/ 1 x))) 1)) (* (* (/ (pow x 6) 2.0) (/ x (/ 1 x))) (/ (pow x 4) 2.0)) (- (* (- (* -1 (/ x (/ 1 x))) (* (/ (pow x 6) 2.0) 2.0)) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) (/ x (/ 1 x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) (/ x (/ 1 x))) (pow x (/ 4 2))) (- (* (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (pow x 4)) (* (* (/ (pow x 6) 2.0) (* x x)) 2.0)) (* (* (/ (pow x 6) 2.0) (* x x)) (pow x 4)) (- (* (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (* x x)) (- 2.0))) (* (* (/ (pow x 6) 2.0) (* x x)) (- (pow x 4))) (- (* (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (* x x)) 1)) (* (* (/ (pow x 6) 2.0) (* x x)) (/ (pow x 4) 2.0)) (- (* (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) (* x x)) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) (* x x)) (pow x (/ 4 2))) (- (* (- (* -1 (* x (- x))) (* (/ (pow x 6) 2.0) (- 2.0))) (pow x 4)) (* (* (/ (pow x 6) 2.0) (* x (- x))) 2.0)) (* (* (/ (pow x 6) 2.0) (* x (- x))) (pow x 4)) (- (* (- (* -1 (* x (- x))) (* (/ (pow x 6) 2.0) (- 2.0))) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (* x (- x))) (- 2.0))) (* (* (/ (pow x 6) 2.0) (* x (- x))) (- (pow x 4))) (- (* (- (* -1 (* x (- x))) (* (/ (pow x 6) 2.0) (- 2.0))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (* x (- x))) 1)) (* (* (/ (pow x 6) 2.0) (* x (- x))) (/ (pow x 4) 2.0)) (- (* (- (* -1 (* x (- x))) (* (/ (pow x 6) 2.0) (- 2.0))) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) (* x (- x))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) (* x (- x))) (pow x (/ 4 2))) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (pow x 4)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) 2.0)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (pow x 4)) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (- 2.0))) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (- (pow x 4))) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) 1)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (/ (pow x 4) 2.0)) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (pow x (/ 4 2))) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ (/ 2.0 x) x) 3)) (pow x 4)) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)))) 2.0)) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)))) (pow x 4)) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ (/ 2.0 x) x) 3)) (- (pow x 4))) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)))) (- 2.0))) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)))) (- (pow x 4))) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ (/ 2.0 x) x) 3)) (/ (pow x 4) 2.0)) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)))) 1)) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)))) (/ (pow x 4) 2.0)) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ (/ 2.0 x) x) 3)) (pow x (/ 4 2))) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)))) (/ 2.0 (pow x (/ 4 2))))) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)))) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x))) (pow x 4)) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) 2.0)) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x))) (- (pow x 4))) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (- 2.0))) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x))) (/ (pow x 4) 2.0)) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) 1)) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x))) (pow x (/ 4 2))) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x (/ 4 2))))) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (pow x (/ 4 2))) (- (pow (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) 3) (pow (/ 2.0 (pow x 4)) 3)) (+ (* (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x))) (+ (* (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4))) (* (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))))) (- (/ 2.0 (pow x 4))) (- (* (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x))) (* (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)))) (+ (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))) (- (fma (- (/ 1 x)) (/ 2.0 x) (* (/ 1 x) (/ 2.0 x))) (/ 2.0 (pow x 4))) (- (fma (- (/ 1 x)) (/ 2.0 x) (* (/ 1 x) (/ 2.0 x))) (/ 2.0 (pow x 4))) (- (- (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))) (- (- (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))) (+ (/ (/ 2.0 x) x) (/ 2.0 (pow x 4))) (+ (+ (/ 2.0 (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))) (- (/ 2.0 (pow x 4))) (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)) (/ -2.0 (pow x 6)) (/ -2.0 (pow x 6)) (/ -2.0 (pow x 6)) (/ 2.0 (pow x 2)) (/ 2.0 (pow x 2)) (/ 2.0 (pow x 2)) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) 1.191 * * [simplify]: iteration 0 : 2636 enodes (cost 3800 ) 1.234 * * [simplify]: iteration 1 : 5001 enodes (cost 3429 ) 1.251 * [simplify]: Simplified to: (- 2.0) (- (pow x 4)) (/ 1 (pow x 4)) (/ (pow x 4) 2.0) (/ (/ 2.0 x) x) 2.0 (- (pow x 6)) 0 (/ 2.0 (pow x 6)) (/ -1 (pow x 3)) (/ 2.0 (pow x 3)) (/ 1 (pow x 6)) (/ (pow x 6) (- 2.0)) (/ 2.0 (pow x 6)) (/ (- 2.0) (pow x 3)) (/ (pow x 6) 2.0) (- (/ 2.0 x)) (- x) (/ 1 x) (* x (/ x 2.0)) (pow x 2) (pow x 2) (* x (- x)) (* x (/ x 2.0)) (fma (pow x 4) (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (* 2.0 (- (pow x 7)))) (* (pow x 7) (pow x 4)) (fma (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (- (pow x 4)) (* 2.0 (pow x 7))) (* (- (pow x 4)) (pow x 7)) (fma (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (/ (pow x 4) 2.0) (- (pow x 7))) (* (/ (pow x 4) 2.0) (pow x 7)) (- (* (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (pow x 2)) (* (* (pow x 6) x) (/ 2.0 (pow x 2)))) (* (pow x 2) (pow x 7)) (fma (pow x 4) (fma 2.0 x (* (- (pow x 6)) (- (/ 2.0 x)))) (* 2.0 (pow x 7))) (* (- (pow x 4)) (pow x 7)) (fma (fma 2.0 x (* (- (pow x 6)) (- (/ 2.0 x)))) (- (pow x 4)) (* 2.0 (- (pow x 7)))) (* (pow x 7) (pow x 4)) (fma (fma 2.0 x (* (- (pow x 6)) (- (/ 2.0 x)))) (/ (pow x 4) 2.0) (* (- (pow x 6)) (- x))) (* (/ (pow x 4) 2.0) (- (pow x 7))) (fma (pow x 2) (fma 2.0 x (* (- (pow x 6)) (- (/ 2.0 x)))) (- (* (* (- (pow x 6)) x) (/ 2.0 (pow x 2))))) (* (pow x 2) (- (pow x 7))) (fma (pow x 4) (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (* (- 2.0) (* (pow x 7) (/ x 2.0)))) (* (* (pow x 7) (/ x 2.0)) (pow x 4)) (fma (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (- (pow x 4)) (- (* (* (pow x 6) (* x (/ x 2.0))) (- 2.0)))) (* (- (pow x 4)) (* (pow x 7) (/ x 2.0))) (fma (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (/ (pow x 4) 2.0) (* (- (pow x 7)) (/ x 2.0))) (* (/ (pow x 4) 2.0) (* (pow x 7) (/ x 2.0))) (fma (pow x 2) (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (- (* (* (pow x 6) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (pow x 7) (/ x 2.0))) (fma (pow x 4) (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (* (- 2.0) (* (pow x 7) x))) (* (pow x 4) (pow x 8)) (- (* (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (- (pow x 4))) (* (* (pow x 6) (* x x)) (- 2.0))) (* (- (pow x 6)) (pow x 6)) (fma (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (/ (pow x 4) 2.0) (* (- (pow x 7)) x)) (* (/ (pow x 4) 2.0) (* (pow x 7) x)) (- (* (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (pow x 2)) (* (* (pow x 6) (* x x)) (/ 2.0 (pow x 2)))) (* (pow x 2) (* (pow x 7) x)) (fma (pow x 4) (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (* (- 2.0) (* (pow x 7) x))) (* (pow x 4) (pow x 8)) (- (* (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (- (pow x 4))) (* (* (pow x 6) (* x x)) (- 2.0))) (* (- (pow x 6)) (pow x 6)) (fma (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (/ (pow x 4) 2.0) (* (- (pow x 7)) x)) (* (/ (pow x 4) 2.0) (* (pow x 7) x)) (- (* (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (pow x 2)) (* (* (pow x 6) (* x x)) (/ 2.0 (pow x 2)))) (* (pow x 2) (* (pow x 7) x)) (fma (pow x 4) (fma 2.0 (pow x 2) (* (- (pow x 6)) (- 2.0))) (* (- 2.0) (* (- (pow x 7)) x))) (* (- (pow x 6)) (pow x 6)) (fma (fma 2.0 (pow x 2) (* (- (pow x 6)) (- 2.0))) (- (pow x 4)) (- (* (* (- (pow x 6)) (* x x)) (- 2.0)))) (* (pow x 4) (pow x 8)) (fma (- (* (- 2.0) (* x (- x))) (* (pow x 6) (- 2.0))) (/ (pow x 4) 2.0) (* (- (pow x 7)) (- x))) (* (/ (pow x 4) 2.0) (* (- (pow x 7)) x)) (fma (pow x 2) (fma 2.0 (pow x 2) (* (- (pow x 6)) (- 2.0))) (- (* (* (- (pow x 6)) (* x x)) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (- (pow x 7)) x)) (fma (pow x 4) (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (* (- 2.0) (* (pow x 7) (/ x 2.0)))) (* (* (pow x 7) (/ x 2.0)) (pow x 4)) (fma (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (- (pow x 4)) (- (* (* (pow x 6) (* x (/ x 2.0))) (- 2.0)))) (* (- (pow x 4)) (* (pow x 7) (/ x 2.0))) (fma (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (/ (pow x 4) 2.0) (* (- (pow x 7)) (/ x 2.0))) (* (/ (pow x 4) 2.0) (* (pow x 7) (/ x 2.0))) (fma (pow x 2) (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (- (* (* (pow x 6) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (pow x 7) (/ x 2.0))) (fma (pow x 4) (fma 2.0 x (* (- (pow x 6)) (- (/ 2.0 x)))) (* 2.0 (pow x 7))) (* (- (pow x 4)) (pow x 7)) (fma (fma 2.0 x (* (- (pow x 6)) (- (/ 2.0 x)))) (- (pow x 4)) (* 2.0 (- (pow x 7)))) (* (pow x 7) (pow x 4)) (fma (fma 2.0 x (* (- (pow x 6)) (- (/ 2.0 x)))) (/ (pow x 4) 2.0) (* (- (pow x 6)) (- x))) (* (/ (pow x 4) 2.0) (- (pow x 7))) (fma (pow x 2) (fma 2.0 x (* (- (pow x 6)) (- (/ 2.0 x)))) (- (* (* (- (pow x 6)) x) (/ 2.0 (pow x 2))))) (* (pow x 2) (- (pow x 7))) (fma (pow x 4) (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (* 2.0 (- (pow x 7)))) (* (pow x 7) (pow x 4)) (fma (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (- (pow x 4)) (* 2.0 (pow x 7))) (* (- (pow x 4)) (pow x 7)) (fma (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (/ (pow x 4) 2.0) (- (pow x 7))) (* (/ (pow x 4) 2.0) (pow x 7)) (- (* (- (* (- 2.0) x) (* (pow x 6) (/ 2.0 x))) (pow x 2)) (* (* (pow x 6) x) (/ 2.0 (pow x 2)))) (* (pow x 2) (pow x 7)) (fma (pow x 4) (fma 2.0 (* x (/ x 2.0)) (- (* (- (pow x 6)) 1))) (* (- 2.0) (* (- (pow x 7)) (/ x 2.0)))) (* (- (pow x 4)) (* (pow x 7) (/ x 2.0))) (fma (fma 2.0 (* x (/ x 2.0)) (- (* (- (pow x 6)) 1))) (- (pow x 4)) (- (* (* (- (pow x 6)) (* x (/ x 2.0))) (- 2.0)))) (* (* (pow x 7) (/ x 2.0)) (pow x 4)) (fma (/ (pow x 4) 2.0) (fma 2.0 (* x (/ x 2.0)) (- (* (- (pow x 6)) 1))) (- (* (* (- (pow x 6)) (* x (/ x 2.0))) 1))) (* (/ (pow x 4) 2.0) (* (- (pow x 7)) (/ x 2.0))) (fma (pow x 2) (fma 2.0 (* x (/ x 2.0)) (- (* (- (pow x 6)) 1))) (- (* (* (- (pow x 6)) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (- (pow x 7)) (/ x 2.0))) (fma (pow x 4) (fma 2.0 (pow x 2) (* (- (pow x 6)) (- 2.0))) (* (- 2.0) (* (- (pow x 7)) x))) (* (- (pow x 6)) (pow x 6)) (fma (fma 2.0 (pow x 2) (* (- (pow x 6)) (- 2.0))) (- (pow x 4)) (- (* (* (- (pow x 6)) (* x x)) (- 2.0)))) (* (pow x 4) (pow x 8)) (fma (- (* (- 2.0) (* x (- x))) (* (pow x 6) (- 2.0))) (/ (pow x 4) 2.0) (* (- (pow x 7)) (- x))) (* (/ (pow x 4) 2.0) (* (- (pow x 7)) x)) (fma (pow x 2) (fma 2.0 (pow x 2) (* (- (pow x 6)) (- 2.0))) (- (* (* (- (pow x 6)) (* x x)) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (- (pow x 7)) x)) (fma (pow x 4) (fma 2.0 (pow x 2) (* (- (pow x 6)) (- 2.0))) (* (- 2.0) (* (- (pow x 7)) x))) (* (- (pow x 6)) (pow x 6)) (fma (fma 2.0 (pow x 2) (* (- (pow x 6)) (- 2.0))) (- (pow x 4)) (- (* (* (- (pow x 6)) (* x x)) (- 2.0)))) (* (pow x 4) (pow x 8)) (fma (- (* (- 2.0) (* x (- x))) (* (pow x 6) (- 2.0))) (/ (pow x 4) 2.0) (* (- (pow x 7)) (- x))) (* (/ (pow x 4) 2.0) (* (- (pow x 7)) x)) (fma (pow x 2) (fma 2.0 (pow x 2) (* (- (pow x 6)) (- 2.0))) (- (* (* (- (pow x 6)) (* x x)) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (- (pow x 7)) x)) (fma (pow x 4) (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (* (- 2.0) (* (pow x 7) x))) (* (pow x 4) (pow x 8)) (- (* (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (- (pow x 4))) (* (* (pow x 6) (* x x)) (- 2.0))) (* (- (pow x 6)) (pow x 6)) (fma (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (/ (pow x 4) 2.0) (* (- (pow x 7)) x)) (* (/ (pow x 4) 2.0) (* (pow x 7) x)) (- (* (- (* (- 2.0) (* x x)) (* (pow x 6) 2.0)) (pow x 2)) (* (* (pow x 6) (* x x)) (/ 2.0 (pow x 2)))) (* (pow x 2) (* (pow x 7) x)) (fma (pow x 4) (fma 2.0 (* x (/ x 2.0)) (- (* (- (pow x 6)) 1))) (* (- 2.0) (* (- (pow x 7)) (/ x 2.0)))) (* (- (pow x 4)) (* (pow x 7) (/ x 2.0))) (fma (fma 2.0 (* x (/ x 2.0)) (- (* (- (pow x 6)) 1))) (- (pow x 4)) (- (* (* (- (pow x 6)) (* x (/ x 2.0))) (- 2.0)))) (* (* (pow x 7) (/ x 2.0)) (pow x 4)) (fma (/ (pow x 4) 2.0) (fma 2.0 (* x (/ x 2.0)) (- (* (- (pow x 6)) 1))) (- (* (* (- (pow x 6)) (* x (/ x 2.0))) 1))) (* (/ (pow x 4) 2.0) (* (- (pow x 7)) (/ x 2.0))) (fma (pow x 2) (fma 2.0 (* x (/ x 2.0)) (- (* (- (pow x 6)) 1))) (- (* (* (- (pow x 6)) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (- (pow x 7)) (/ x 2.0))) (fma (pow x 4) (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 2.0 x))) (* (- 2.0) (/ (pow x 7) (- 2.0)))) (* (/ (pow x 7) (- 2.0)) (pow x 4)) (fma (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 2.0 x))) (- (pow x 4)) (* 2.0 (/ (pow x 7) (- 2.0)))) (* (- (pow x 4)) (/ (pow x 7) (- 2.0))) (fma (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 2.0 x))) (/ (pow x 4) 2.0) (/ (- (pow x 7)) (- 2.0))) (* (/ (pow x 4) 2.0) (/ (pow x 7) (- 2.0))) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 2.0 x))) (pow x 2)) (* (* (/ (pow x 6) (- 2.0)) x) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (pow x 7) (- 2.0))) (fma (pow x 4) (fma -1 x (- (* (/ (pow x 6) (- 2.0)) (- (/ 2.0 x))))) (* 2.0 (/ (pow x 7) (- 2.0)))) (* (- (pow x 4)) (/ (pow x 7) (- 2.0))) (fma (fma -1 x (- (* (/ (pow x 6) (- 2.0)) (- (/ 2.0 x))))) (- (pow x 4)) (* (- 2.0) (/ (pow x 7) (- 2.0)))) (* (/ (pow x 7) (- 2.0)) (pow x 4)) (fma (/ (pow x 4) 2.0) (fma -1 x (- (* (/ (pow x 6) (- 2.0)) (- (/ 2.0 x))))) (- (* (* (/ (pow x 6) (- 2.0)) (- x)) 1))) (* (/ (pow x 4) 2.0) (/ (- (pow x 7)) (- 2.0))) (fma (pow x 2) (fma -1 x (- (* (/ (pow x 6) (- 2.0)) (- (/ 2.0 x))))) (- (* (* (/ (pow x 6) (- 2.0)) (- x)) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (- (pow x 7)) (- 2.0))) (fma (pow x 4) (fma (/ x 2.0) x (- (* (/ (pow x 6) (- 2.0)) 1))) (* (- 2.0) (/ (* (pow x 7) (/ x 2.0)) (- 2.0)))) (* (pow x 4) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (fma (/ x 2.0) x (- (* (/ (pow x 6) (- 2.0)) 1))) (- (pow x 4)) (- (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (- 2.0)))) (* (- (pow x 4)) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (/ (pow x 4) 2.0) (fma (/ x 2.0) x (- (* (/ (pow x 6) (- 2.0)) 1))) (- (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) 1))) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (pow x 2) (fma (/ x 2.0) x (- (* (/ (pow x 6) (- 2.0)) 1))) (- (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (pow x 4) (fma x x (* (/ (pow x 6) (- 2.0)) (- 2.0))) (* (- 2.0) (/ (* (pow x 7) x) (- 2.0)))) (* (pow x 4) (/ (* (pow x 7) x) (- 2.0))) (fma (fma x x (* (/ (pow x 6) (- 2.0)) (- 2.0))) (- (pow x 4)) (- (* (* (/ (pow x 6) (- 2.0)) (* x x)) (- 2.0)))) (* (/ (pow x 6) (- 2.0)) (- (pow x 6))) (fma (/ (pow x 4) 2.0) (fma x x (* (/ (pow x 6) (- 2.0)) (- 2.0))) (- (* (* (/ (pow x 6) (- 2.0)) (* x x)) 1))) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) x) (- 2.0))) (fma (pow x 2) (fma x x (* (/ (pow x 6) (- 2.0)) (- 2.0))) (- (* (* (/ (pow x 6) (- 2.0)) (* x x)) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (* (pow x 7) x) (- 2.0))) (fma (pow x 4) (fma x x (* (/ (pow x 6) (- 2.0)) (- 2.0))) (* (- 2.0) (/ (* (pow x 7) x) (- 2.0)))) (* (pow x 4) (/ (* (pow x 7) x) (- 2.0))) (fma (fma x x (* (/ (pow x 6) (- 2.0)) (- 2.0))) (- (pow x 4)) (- (* (* (/ (pow x 6) (- 2.0)) (* x x)) (- 2.0)))) (* (/ (pow x 6) (- 2.0)) (- (pow x 6))) (fma (/ (pow x 4) 2.0) (fma x x (* (/ (pow x 6) (- 2.0)) (- 2.0))) (- (* (* (/ (pow x 6) (- 2.0)) (* x x)) 1))) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) x) (- 2.0))) (fma (pow x 2) (fma x x (* (/ (pow x 6) (- 2.0)) (- 2.0))) (- (* (* (/ (pow x 6) (- 2.0)) (* x x)) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (* (pow x 7) x) (- 2.0))) (fma (pow x 4) (fma x (- x) (- (* (/ (pow x 6) (- 2.0)) (- 2.0)))) (* (- 2.0) (/ (* (pow x 7) (- x)) (- 2.0)))) (* (/ (pow x 6) (- 2.0)) (- (pow x 6))) (fma (fma x (- x) (- (* (/ (pow x 6) (- 2.0)) (- 2.0)))) (- (pow x 4)) (- (* (* (/ (pow x 6) (- 2.0)) (* x (- x))) (- 2.0)))) (* (pow x 4) (/ (* (pow x 7) x) (- 2.0))) (fma (/ (pow x 4) 2.0) (fma x (- x) (- (* (/ (pow x 6) (- 2.0)) (- 2.0)))) (- (* (* (/ (pow x 6) (- 2.0)) (* x (- x))) 1))) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) (- x)) (- 2.0))) (fma (pow x 2) (fma x (- x) (- (* (/ (pow x 6) (- 2.0)) (- 2.0)))) (- (* (* (/ (pow x 6) (- 2.0)) (* x (- x))) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (* (pow x 7) (- x)) (- 2.0))) (fma (pow x 4) (fma (/ x 2.0) x (- (* (/ (pow x 6) (- 2.0)) 1))) (* (- 2.0) (/ (* (pow x 7) (/ x 2.0)) (- 2.0)))) (* (pow x 4) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (fma (/ x 2.0) x (- (* (/ (pow x 6) (- 2.0)) 1))) (- (pow x 4)) (- (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (- 2.0)))) (* (- (pow x 4)) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (/ (pow x 4) 2.0) (fma (/ x 2.0) x (- (* (/ (pow x 6) (- 2.0)) 1))) (- (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) 1))) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (pow x 2) (fma (/ x 2.0) x (- (* (/ (pow x 6) (- 2.0)) 1))) (- (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (pow x 4) (- (* (/ (- 2.0) (pow x 3)) x) (* (pow x 3) (/ 2.0 x))) (* (- 2.0) (pow x 4))) (pow x 8) (fma (- (* (/ (- 2.0) (pow x 3)) x) (* (pow x 3) (/ 2.0 x))) (- (pow x 4)) (* 2.0 (pow x 4))) (* (- (pow x 7)) x) (fma (- (* (/ (- 2.0) (pow x 3)) x) (* (pow x 3) (/ 2.0 x))) (/ (pow x 4) 2.0) (- (pow x 4))) (/ (* (pow x 7) x) 2.0) (- (* (- (* (/ (- 2.0) (pow x 3)) x) (* (pow x 3) (/ 2.0 x))) (pow x 2)) (* (* (pow x 3) x) (/ 2.0 (pow x 2)))) (pow x 6) (fma (pow x 4) (- (* (/ (- 2.0) (pow x 3)) (- x)) (* (pow x 3) (- (/ 2.0 x)))) (* 2.0 (pow x 4))) (* (- (pow x 7)) x) (fma (- (* (/ (- 2.0) (pow x 3)) (- x)) (* (pow x 3) (- (/ 2.0 x)))) (- (pow x 4)) (* (- 2.0) (pow x 4))) (pow x 8) (- (* (- (* (/ (- 2.0) (pow x 3)) (- x)) (* (pow x 3) (- (/ 2.0 x)))) (/ (pow x 4) 2.0)) (* (* (pow x 3) (- x)) 1)) (/ (* (pow x 7) (- x)) 2.0) (- (* (- (* (/ (- 2.0) (pow x 3)) (- x)) (* (pow x 3) (- (/ 2.0 x)))) (pow x 2)) (* (* (pow x 3) (- x)) (/ 2.0 (pow x 2)))) (* (pow x 2) (- (pow x 4))) (fma (pow x 4) (- (* (/ (- 2.0) (pow x 3)) (* x (/ x 2.0))) (* (pow x 3) 1)) (* (- 2.0) (* (pow x 4) (/ x 2.0)))) (* (pow x 4) (* (pow x 4) (/ x 2.0))) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x (/ x 2.0))) (* (pow x 3) 1)) (- (pow x 4))) (* (* (pow x 3) (* x (/ x 2.0))) (- 2.0))) (* (- (pow x 4)) (* (pow x 4) (/ x 2.0))) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x (/ x 2.0))) (* (pow x 3) 1)) (/ (pow x 4) 2.0)) (* (* (pow x 3) (* x (/ x 2.0))) 1)) (* (/ (pow x 4) 2.0) (* (pow x 4) (/ x 2.0))) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x (/ x 2.0))) (* (pow x 3) 1)) (pow x 2)) (* (* (pow x 3) (* x (/ x 2.0))) (/ 2.0 (pow x 2)))) (* (pow x 2) (* (pow x 4) (/ x 2.0))) (fma (pow x 4) (- (* (/ (- 2.0) (pow x 3)) (* x x)) (* (pow x 3) 2.0)) (* (- 2.0) (* (pow x 4) x))) (* (pow x 4) (* (pow x 4) x)) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x x)) (* (pow x 3) 2.0)) (- (pow x 4))) (* (* (pow x 3) (* x x)) (- 2.0))) (* (- (pow x 3)) (pow x 6)) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x x)) (* (pow x 3) 2.0)) (/ (pow x 4) 2.0)) (* (* (pow x 3) (* x x)) 1)) (* (/ (pow x 4) 2.0) (* (pow x 4) x)) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x x)) (* (pow x 3) 2.0)) (pow x 2)) (* (* (pow x 3) (* x x)) (/ 2.0 (pow x 2)))) (* (pow x 2) (* (pow x 4) x)) (fma (pow x 4) (- (* (/ (- 2.0) (pow x 3)) (* x x)) (* (pow x 3) 2.0)) (* (- 2.0) (* (pow x 4) x))) (* (pow x 4) (* (pow x 4) x)) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x x)) (* (pow x 3) 2.0)) (- (pow x 4))) (* (* (pow x 3) (* x x)) (- 2.0))) (* (- (pow x 3)) (pow x 6)) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x x)) (* (pow x 3) 2.0)) (/ (pow x 4) 2.0)) (* (* (pow x 3) (* x x)) 1)) (* (/ (pow x 4) 2.0) (* (pow x 4) x)) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x x)) (* (pow x 3) 2.0)) (pow x 2)) (* (* (pow x 3) (* x x)) (/ 2.0 (pow x 2)))) (* (pow x 2) (* (pow x 4) x)) (fma (pow x 4) (- (* (/ (- 2.0) (pow x 3)) (* x (- x))) (* (pow x 3) (- 2.0))) (* (- 2.0) (* (pow x 4) (- x)))) (* (- (pow x 3)) (pow x 6)) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x (- x))) (* (pow x 3) (- 2.0))) (- (pow x 4))) (* (* (pow x 3) (* x (- x))) (- 2.0))) (* (pow x 4) (* (pow x 4) x)) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x (- x))) (* (pow x 3) (- 2.0))) (/ (pow x 4) 2.0)) (* (* (pow x 3) (* x (- x))) 1)) (* (/ (pow x 4) 2.0) (* (pow x 4) (- x))) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x (- x))) (* (pow x 3) (- 2.0))) (pow x 2)) (* (* (pow x 3) (* x (- x))) (/ 2.0 (pow x 2)))) (* (pow x 2) (* (pow x 4) (- x))) (fma (pow x 4) (- (* (/ (- 2.0) (pow x 3)) (* x (/ x 2.0))) (* (pow x 3) 1)) (* (- 2.0) (* (pow x 4) (/ x 2.0)))) (* (pow x 4) (* (pow x 4) (/ x 2.0))) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x (/ x 2.0))) (* (pow x 3) 1)) (- (pow x 4))) (* (* (pow x 3) (* x (/ x 2.0))) (- 2.0))) (* (- (pow x 4)) (* (pow x 4) (/ x 2.0))) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x (/ x 2.0))) (* (pow x 3) 1)) (/ (pow x 4) 2.0)) (* (* (pow x 3) (* x (/ x 2.0))) 1)) (* (/ (pow x 4) 2.0) (* (pow x 4) (/ x 2.0))) (- (* (- (* (/ (- 2.0) (pow x 3)) (* x (/ x 2.0))) (* (pow x 3) 1)) (pow x 2)) (* (* (pow x 3) (* x (/ x 2.0))) (/ 2.0 (pow x 2)))) (* (pow x 2) (* (pow x 4) (/ x 2.0))) (fma (pow x 4) (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 2.0 x))) (* (- 2.0) (/ (pow x 7) 2.0))) (* (/ (pow x 7) 2.0) (pow x 4)) (fma (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 2.0 x))) (- (pow x 4)) (* 2.0 (/ (pow x 7) 2.0))) (* (- (pow x 4)) (/ (pow x 7) 2.0)) (fma (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 2.0 x))) (/ (pow x 4) 2.0) (/ (- (pow x 7)) 2.0)) (* (/ (pow x 4) 2.0) (/ (pow x 7) 2.0)) (- (* (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 2.0 x))) (pow x 2)) (* (* (/ (pow x 6) 2.0) x) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (pow x 7) 2.0)) (fma (pow x 4) (- (* -1 (- x)) (* (/ (pow x 6) 2.0) (- (/ 2.0 x)))) (* 2.0 (/ (pow x 7) 2.0))) (* (- (pow x 4)) (/ (pow x 7) 2.0)) (fma (- (* -1 (- x)) (* (/ (pow x 6) 2.0) (- (/ 2.0 x)))) (- (pow x 4)) (* (- 2.0) (/ (pow x 7) 2.0))) (* (/ (pow x 7) 2.0) (pow x 4)) (- (* (- (* -1 (- x)) (* (/ (pow x 6) 2.0) (- (/ 2.0 x)))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (- x)) 1)) (* (/ (pow x 4) 2.0) (/ (- (pow x 7)) 2.0)) (- (* (- (* -1 (- x)) (* (/ (pow x 6) 2.0) (- (/ 2.0 x)))) (pow x 2)) (* (* (/ (pow x 6) 2.0) (- x)) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (- (pow x 7)) 2.0)) (fma (pow x 4) (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (* (- 2.0) (/ (* (pow x 7) (/ x 2.0)) 2.0))) (* (pow x 4) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (- 2.0))) (* (- (pow x 4)) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) 1)) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (pow x 2)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (fma (pow x 4) (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (* (- 2.0) (/ (* (pow x 7) x) 2.0))) (* (pow x 4) (/ (* (pow x 7) x) 2.0)) (- (* (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (* x x)) (- 2.0))) (* (- (pow x 4)) (/ (* (pow x 7) x) 2.0)) (- (* (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (* x x)) 1)) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) x) 2.0)) (- (* (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (pow x 2)) (* (* (/ (pow x 6) 2.0) (* x x)) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (* (pow x 7) x) 2.0)) (fma (pow x 4) (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (* (- 2.0) (/ (* (pow x 7) x) 2.0))) (* (pow x 4) (/ (* (pow x 7) x) 2.0)) (- (* (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (* x x)) (- 2.0))) (* (- (pow x 4)) (/ (* (pow x 7) x) 2.0)) (- (* (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (* x x)) 1)) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) x) 2.0)) (- (* (- (* -1 (* x x)) (* (/ (pow x 6) 2.0) 2.0)) (pow x 2)) (* (* (/ (pow x 6) 2.0) (* x x)) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (* (pow x 7) x) 2.0)) (fma (pow x 4) (- (* -1 (* x (- x))) (* (/ (pow x 6) 2.0) (- 2.0))) (* (- 2.0) (/ (* (pow x 7) (- x)) 2.0))) (* (- (pow x 4)) (/ (* (pow x 7) x) 2.0)) (- (* (- (* -1 (* x (- x))) (* (/ (pow x 6) 2.0) (- 2.0))) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (* x (- x))) (- 2.0))) (* (pow x 4) (/ (* (pow x 7) x) 2.0)) (- (* (- (* -1 (* x (- x))) (* (/ (pow x 6) 2.0) (- 2.0))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (* x (- x))) 1)) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) (- x)) 2.0)) (- (* (- (* -1 (* x (- x))) (* (/ (pow x 6) 2.0) (- 2.0))) (pow x 2)) (* (* (/ (pow x 6) 2.0) (* x (- x))) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (* (pow x 7) (- x)) 2.0)) (fma (pow x 4) (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (* (- 2.0) (/ (* (pow x 7) (/ x 2.0)) 2.0))) (* (pow x 4) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (- 2.0))) (* (- (pow x 4)) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) 1)) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (pow x 2)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (fma (pow x 4) (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ (/ 2.0 x) x) 3)) (* (- 2.0) (+ (* (/ (/ 2.0 x) x) (+ (/ (/ 2.0 x) x) (/ (- 2.0) (pow x 6)))) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6)))))) (* (pow x 4) (+ (* (/ (/ 2.0 x) x) (+ (/ (/ 2.0 x) x) (/ (- 2.0) (pow x 6)))) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))))) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ (/ 2.0 x) x) 3)) (- (pow x 4))) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)))) (- 2.0))) (* (- (pow x 4)) (fma (/ (/ 2.0 x) x) (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))))) (fma (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ (/ 2.0 x) x) 3)) (/ (pow x 4) 2.0) (- (fma (/ (/ 2.0 x) x) (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6)))))) (* (/ (pow x 4) 2.0) (+ (* (/ (/ 2.0 x) x) (+ (/ (/ 2.0 x) x) (/ (- 2.0) (pow x 6)))) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))))) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ (/ 2.0 x) x) 3)) (pow x 2)) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x)) (* (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)))) (/ 2.0 (pow x 2)))) (* (pow x 2) (+ (* (/ (/ 2.0 x) x) (+ (/ (/ 2.0 x) x) (/ (- 2.0) (pow x 6)))) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))))) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x))) (pow x 4)) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) 2.0)) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x))) (- (pow x 4))) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (- 2.0))) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x))) (/ (pow x 4) 2.0)) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) 1)) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ (/ 2.0 x) x) (/ (/ 2.0 x) x))) (pow x 2)) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 2)))) (* (+ (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (pow x 2)) (- (pow (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) 3) (pow (/ 2.0 (pow x 4)) 3)) (fma (/ 2.0 (pow x 4)) (+ (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))) (* (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)))) (- (/ 2.0 (pow x 4))) (- (* (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x))) (* (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)))) (+ (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))) (- (fma (- (/ 1 x)) (/ 2.0 x) (* (/ 1 x) (/ 2.0 x))) (/ 2.0 (pow x 4))) (- (fma (- (/ 1 x)) (/ 2.0 x) (* (/ 1 x) (/ 2.0 x))) (/ 2.0 (pow x 4))) (- (- (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))) (- (- (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))) (+ (/ (/ 2.0 x) x) (/ 2.0 (pow x 4))) (+ (+ (/ 2.0 (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4))) (- (/ 2.0 (pow x 4))) (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)) (/ -2.0 (pow x 6)) (/ -2.0 (pow x 6)) (/ -2.0 (pow x 6)) (/ (/ 2.0 x) x) (/ (/ 2.0 x) x) (/ (/ 2.0 x) x) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) 1.252 * * * [progress]: adding candidates to table 1.710 * * [progress]: iteration 4 / 4 1.710 * * * [progress]: picking best candidate 1.721 * * * * [pick]: Picked # 1.721 * * * [progress]: localizing error 1.738 * * * [progress]: generating rewritten candidates 1.738 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.742 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.744 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.747 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.778 * * * [progress]: generating series expansions 1.778 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.778 * [approximate]: Taking taylor expansion of (/ 2.0 (pow x 2)) in (x) around 0 1.778 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 2)) in x 1.778 * [taylor]: Taking taylor expansion of 2.0 in x 1.778 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.779 * [taylor]: Taking taylor expansion of x in x 1.779 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 2)) in x 1.779 * [taylor]: Taking taylor expansion of 2.0 in x 1.779 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.779 * [taylor]: Taking taylor expansion of x in x 1.787 * [approximate]: Taking taylor expansion of (* 2.0 (pow x 2)) in (x) around 0 1.787 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.787 * [taylor]: Taking taylor expansion of 2.0 in x 1.787 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.787 * [taylor]: Taking taylor expansion of x in x 1.787 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.787 * [taylor]: Taking taylor expansion of 2.0 in x 1.787 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.787 * [taylor]: Taking taylor expansion of x in x 1.795 * [approximate]: Taking taylor expansion of (* 2.0 (pow x 2)) in (x) around 0 1.795 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.795 * [taylor]: Taking taylor expansion of 2.0 in x 1.795 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.795 * [taylor]: Taking taylor expansion of x in x 1.795 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.795 * [taylor]: Taking taylor expansion of 2.0 in x 1.795 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.795 * [taylor]: Taking taylor expansion of x in x 1.808 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.808 * [approximate]: Taking taylor expansion of (/ 2.0 (pow x 4)) in (x) around 0 1.808 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 4)) in x 1.808 * [taylor]: Taking taylor expansion of 2.0 in x 1.808 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.808 * [taylor]: Taking taylor expansion of x in x 1.809 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 4)) in x 1.809 * [taylor]: Taking taylor expansion of 2.0 in x 1.809 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.809 * [taylor]: Taking taylor expansion of x in x 1.820 * [approximate]: Taking taylor expansion of (* 2.0 (pow x 4)) in (x) around 0 1.820 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.820 * [taylor]: Taking taylor expansion of 2.0 in x 1.820 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.820 * [taylor]: Taking taylor expansion of x in x 1.821 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.821 * [taylor]: Taking taylor expansion of 2.0 in x 1.821 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.821 * [taylor]: Taking taylor expansion of x in x 1.832 * [approximate]: Taking taylor expansion of (* 2.0 (pow x 4)) in (x) around 0 1.832 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.832 * [taylor]: Taking taylor expansion of 2.0 in x 1.832 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.832 * [taylor]: Taking taylor expansion of x in x 1.832 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.832 * [taylor]: Taking taylor expansion of 2.0 in x 1.832 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.833 * [taylor]: Taking taylor expansion of x in x 1.845 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.845 * [approximate]: Taking taylor expansion of (/ -2.0 (pow x 6)) in (x) around 0 1.845 * [taylor]: Taking taylor expansion of (/ -2.0 (pow x 6)) in x 1.845 * [taylor]: Taking taylor expansion of -2.0 in x 1.845 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.845 * [taylor]: Taking taylor expansion of x in x 1.846 * [taylor]: Taking taylor expansion of (/ -2.0 (pow x 6)) in x 1.846 * [taylor]: Taking taylor expansion of -2.0 in x 1.846 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.846 * [taylor]: Taking taylor expansion of x in x 1.861 * [approximate]: Taking taylor expansion of (* -2.0 (pow x 6)) in (x) around 0 1.861 * [taylor]: Taking taylor expansion of (* -2.0 (pow x 6)) in x 1.861 * [taylor]: Taking taylor expansion of -2.0 in x 1.861 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.861 * [taylor]: Taking taylor expansion of x in x 1.861 * [taylor]: Taking taylor expansion of (* -2.0 (pow x 6)) in x 1.861 * [taylor]: Taking taylor expansion of -2.0 in x 1.861 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.861 * [taylor]: Taking taylor expansion of x in x 1.876 * [approximate]: Taking taylor expansion of (* -2.0 (pow x 6)) in (x) around 0 1.876 * [taylor]: Taking taylor expansion of (* -2.0 (pow x 6)) in x 1.876 * [taylor]: Taking taylor expansion of -2.0 in x 1.876 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.876 * [taylor]: Taking taylor expansion of x in x 1.876 * [taylor]: Taking taylor expansion of (* -2.0 (pow x 6)) in x 1.876 * [taylor]: Taking taylor expansion of -2.0 in x 1.876 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.876 * [taylor]: Taking taylor expansion of x in x 1.898 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.898 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) in (x) around 0 1.898 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) in x 1.898 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4))))) in x 1.898 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 6))) in x 1.898 * [taylor]: Taking taylor expansion of 2.0 in x 1.898 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.898 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.898 * [taylor]: Taking taylor expansion of x in x 1.899 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))) in x 1.900 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x 1.900 * [taylor]: Taking taylor expansion of 2.0 in x 1.900 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.900 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.900 * [taylor]: Taking taylor expansion of x in x 1.900 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 4))) in x 1.900 * [taylor]: Taking taylor expansion of 2.0 in x 1.900 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.900 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.900 * [taylor]: Taking taylor expansion of x in x 1.901 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) in x 1.901 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4))))) in x 1.901 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 6))) in x 1.901 * [taylor]: Taking taylor expansion of 2.0 in x 1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.901 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.901 * [taylor]: Taking taylor expansion of x in x 1.902 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))) in x 1.902 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x 1.902 * [taylor]: Taking taylor expansion of 2.0 in x 1.902 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.902 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.902 * [taylor]: Taking taylor expansion of x in x 1.902 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 4))) in x 1.903 * [taylor]: Taking taylor expansion of 2.0 in x 1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.903 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.903 * [taylor]: Taking taylor expansion of x in x 1.923 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in (x) around 0 1.923 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in x 1.923 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4)))) in x 1.923 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.923 * [taylor]: Taking taylor expansion of 2.0 in x 1.923 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.923 * [taylor]: Taking taylor expansion of x in x 1.923 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))) in x 1.923 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 6)) in x 1.923 * [taylor]: Taking taylor expansion of 2.0 in x 1.923 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.923 * [taylor]: Taking taylor expansion of x in x 1.923 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.923 * [taylor]: Taking taylor expansion of 2.0 in x 1.923 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.923 * [taylor]: Taking taylor expansion of x in x 1.923 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in x 1.923 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4)))) in x 1.923 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.923 * [taylor]: Taking taylor expansion of 2.0 in x 1.923 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.923 * [taylor]: Taking taylor expansion of x in x 1.923 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))) in x 1.923 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 6)) in x 1.923 * [taylor]: Taking taylor expansion of 2.0 in x 1.923 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.923 * [taylor]: Taking taylor expansion of x in x 1.923 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.923 * [taylor]: Taking taylor expansion of 2.0 in x 1.923 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.923 * [taylor]: Taking taylor expansion of x in x 1.938 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in (x) around 0 1.938 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in x 1.938 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4)))) in x 1.938 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.938 * [taylor]: Taking taylor expansion of 2.0 in x 1.938 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.938 * [taylor]: Taking taylor expansion of x in x 1.938 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))) in x 1.938 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 6)) in x 1.938 * [taylor]: Taking taylor expansion of 2.0 in x 1.938 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.938 * [taylor]: Taking taylor expansion of x in x 1.938 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.938 * [taylor]: Taking taylor expansion of 2.0 in x 1.938 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.938 * [taylor]: Taking taylor expansion of x in x 1.938 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))))) in x 1.938 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4)))) in x 1.938 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x 1.938 * [taylor]: Taking taylor expansion of 2.0 in x 1.938 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.938 * [taylor]: Taking taylor expansion of x in x 1.938 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 6)) (* 2.0 (pow x 4))) in x 1.938 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 6)) in x 1.938 * [taylor]: Taking taylor expansion of 2.0 in x 1.938 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.938 * [taylor]: Taking taylor expansion of x in x 1.938 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 4)) in x 1.938 * [taylor]: Taking taylor expansion of 2.0 in x 1.938 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.938 * [taylor]: Taking taylor expansion of x in x 1.952 * * * [progress]: simplifying candidates 1.956 * [simplify]: Simplifying using # : (- 1) (- (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0))) (/ (* x (/ x 2.0)) 1) (/ 1 x) (/ 1 (* x x)) (/ 1 (/ x 2.0)) (/ 1 x) (/ 1 (* x x)) (/ 1 (* x (- x))) (/ 1 (* x 1)) (- 2.0) (- (pow x 4)) (/ 1 (pow x 4)) (/ (pow x 4) 2.0) (/ 2.0 (pow x (/ 4 2))) (- (- 2.0)) (- (pow x 6)) (/ 0 (pow x 6)) (/ 2.0 (pow x 6)) (/ -1 (pow x (/ 6 2))) (/ 2.0 (pow x (/ 6 2))) (/ 1 (pow x 6)) (/ (pow x 6) (- 2.0)) (/ 2.0 (pow x 6)) (/ (- 2.0) (pow x (/ 6 2))) (/ (pow x 6) 2.0) (- (* (- (* (- 2.0) (* x (/ x 2.0))) (* (pow x 6) 1)) (pow x 4)) (* (* (pow x 6) (* x (/ x 2.0))) 2.0)) (* (* (pow x 6) (* x (/ x 2.0))) (pow x 4)) (- (* (- (* (- 2.0) (* x (/ x 2.0))) (* (pow x 6) 1)) (- (pow x 4))) (* (* (pow x 6) (* x (/ x 2.0))) (- 2.0))) (* (* (pow x 6) (* x (/ x 2.0))) (- (pow x 4))) (- (* (- (* (- 2.0) (* x (/ x 2.0))) (* (pow x 6) 1)) (/ (pow x 4) 2.0)) (* (* (pow x 6) (* x (/ x 2.0))) 1)) (* (* (pow x 6) (* x (/ x 2.0))) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) (* x (/ x 2.0))) (* (pow x 6) 1)) (pow x (/ 4 2))) (* (* (pow x 6) (* x (/ x 2.0))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) (* x (/ x 2.0))) (pow x (/ 4 2))) (- (* (- (* (- 2.0) (- (* x (/ x 2.0)))) (* (pow x 6) (- 1))) (pow x 4)) (* (* (pow x 6) (- (* x (/ x 2.0)))) 2.0)) (* (* (pow x 6) (- (* x (/ x 2.0)))) (pow x 4)) (- (* (- (* (- 2.0) (- (* x (/ x 2.0)))) (* (pow x 6) (- 1))) (- (pow x 4))) (* (* (pow x 6) (- (* x (/ x 2.0)))) (- 2.0))) (* (* (pow x 6) (- (* x (/ x 2.0)))) (- (pow x 4))) (- (* (- (* (- 2.0) (- (* x (/ x 2.0)))) (* (pow x 6) (- 1))) (/ (pow x 4) 2.0)) (* (* (pow x 6) (- (* x (/ x 2.0)))) 1)) (* (* (pow x 6) (- (* x (/ x 2.0)))) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) (- (* x (/ x 2.0)))) (* (pow x 6) (- 1))) (pow x (/ 4 2))) (* (* (pow x 6) (- (* x (/ x 2.0)))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) (- (* x (/ x 2.0)))) (pow x (/ 4 2))) (- (* (- (* (- 2.0) (/ (* x (/ x 2.0)) 1)) (* (pow x 6) 1)) (pow x 4)) (* (* (pow x 6) (/ (* x (/ x 2.0)) 1)) 2.0)) (* (* (pow x 6) (/ (* x (/ x 2.0)) 1)) (pow x 4)) (- (* (- (* (- 2.0) (/ (* x (/ x 2.0)) 1)) (* (pow x 6) 1)) (- (pow x 4))) (* (* (pow x 6) (/ (* x (/ x 2.0)) 1)) (- 2.0))) (* (* (pow x 6) (/ (* x (/ x 2.0)) 1)) (- (pow x 4))) (- (* (- (* (- 2.0) (/ (* x (/ x 2.0)) 1)) (* (pow x 6) 1)) (/ (pow x 4) 2.0)) (* (* (pow x 6) (/ (* x (/ x 2.0)) 1)) 1)) (* (* (pow x 6) (/ (* x (/ x 2.0)) 1)) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) (/ (* x (/ x 2.0)) 1)) (* (pow x 6) 1)) (pow x (/ 4 2))) (* (* (pow x 6) (/ (* x (/ x 2.0)) 1)) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) (/ (* x (/ x 2.0)) 1)) (pow x (/ 4 2))) (- (* (- (* (- 2.0) (/ x 2.0)) (* (pow x 6) (/ 1 x))) (pow x 4)) (* (* (pow x 6) (/ x 2.0)) 2.0)) (* (* (pow x 6) (/ x 2.0)) (pow x 4)) (- (* (- (* (- 2.0) (/ x 2.0)) (* (pow x 6) (/ 1 x))) (- (pow x 4))) (* (* (pow x 6) (/ x 2.0)) (- 2.0))) (* (* (pow x 6) (/ x 2.0)) (- (pow x 4))) (- (* (- (* (- 2.0) (/ x 2.0)) (* (pow x 6) (/ 1 x))) (/ (pow x 4) 2.0)) (* (* (pow x 6) (/ x 2.0)) 1)) (* (* (pow x 6) (/ x 2.0)) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) (/ x 2.0)) (* (pow x 6) (/ 1 x))) (pow x (/ 4 2))) (* (* (pow x 6) (/ x 2.0)) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) (/ x 2.0)) (pow x (/ 4 2))) (- (* (- (* (- 2.0) (/ 1 2.0)) (* (pow x 6) (/ 1 (* x x)))) (pow x 4)) (* (* (pow x 6) (/ 1 2.0)) 2.0)) (* (* (pow x 6) (/ 1 2.0)) (pow x 4)) (- (* (- (* (- 2.0) (/ 1 2.0)) (* (pow x 6) (/ 1 (* x x)))) (- (pow x 4))) (* (* (pow x 6) (/ 1 2.0)) (- 2.0))) (* (* (pow x 6) (/ 1 2.0)) (- (pow x 4))) (- (* (- (* (- 2.0) (/ 1 2.0)) (* (pow x 6) (/ 1 (* x x)))) (/ (pow x 4) 2.0)) (* (* (pow x 6) (/ 1 2.0)) 1)) (* (* (pow x 6) (/ 1 2.0)) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) (/ 1 2.0)) (* (pow x 6) (/ 1 (* x x)))) (pow x (/ 4 2))) (* (* (pow x 6) (/ 1 2.0)) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) (/ 1 2.0)) (pow x (/ 4 2))) (- (* (- (* (- 2.0) x) (* (pow x 6) (/ 1 (/ x 2.0)))) (pow x 4)) (* (* (pow x 6) x) 2.0)) (* (* (pow x 6) x) (pow x 4)) (- (* (- (* (- 2.0) x) (* (pow x 6) (/ 1 (/ x 2.0)))) (- (pow x 4))) (* (* (pow x 6) x) (- 2.0))) (* (* (pow x 6) x) (- (pow x 4))) (- (* (- (* (- 2.0) x) (* (pow x 6) (/ 1 (/ x 2.0)))) (/ (pow x 4) 2.0)) (* (* (pow x 6) x) 1)) (* (* (pow x 6) x) (/ (pow x 4) 2.0)) (- (* (- (* (- 2.0) x) (* (pow x 6) (/ 1 (/ x 2.0)))) (pow x (/ 4 2))) (* (* (pow x 6) x) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x 6) x) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) (* x (/ x 2.0))) (* (- (pow x 6)) 1)) (pow x 4)) (* (* (- (pow x 6)) (* x (/ x 2.0))) 2.0)) (* (* (- (pow x 6)) (* x (/ x 2.0))) (pow x 4)) (- (* (- (* (- (- 2.0)) (* x (/ x 2.0))) (* (- (pow x 6)) 1)) (- (pow x 4))) (* (* (- (pow x 6)) (* x (/ x 2.0))) (- 2.0))) (* (* (- (pow x 6)) (* x (/ x 2.0))) (- (pow x 4))) (- (* (- (* (- (- 2.0)) (* x (/ x 2.0))) (* (- (pow x 6)) 1)) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) (* x (/ x 2.0))) 1)) (* (* (- (pow x 6)) (* x (/ x 2.0))) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) (* x (/ x 2.0))) (* (- (pow x 6)) 1)) (pow x (/ 4 2))) (* (* (- (pow x 6)) (* x (/ x 2.0))) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) (* x (/ x 2.0))) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) (- (* x (/ x 2.0)))) (* (- (pow x 6)) (- 1))) (pow x 4)) (* (* (- (pow x 6)) (- (* x (/ x 2.0)))) 2.0)) (* (* (- (pow x 6)) (- (* x (/ x 2.0)))) (pow x 4)) (- (* (- (* (- (- 2.0)) (- (* x (/ x 2.0)))) (* (- (pow x 6)) (- 1))) (- (pow x 4))) (* (* (- (pow x 6)) (- (* x (/ x 2.0)))) (- 2.0))) (* (* (- (pow x 6)) (- (* x (/ x 2.0)))) (- (pow x 4))) (- (* (- (* (- (- 2.0)) (- (* x (/ x 2.0)))) (* (- (pow x 6)) (- 1))) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) (- (* x (/ x 2.0)))) 1)) (* (* (- (pow x 6)) (- (* x (/ x 2.0)))) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) (- (* x (/ x 2.0)))) (* (- (pow x 6)) (- 1))) (pow x (/ 4 2))) (* (* (- (pow x 6)) (- (* x (/ x 2.0)))) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) (- (* x (/ x 2.0)))) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) (/ (* x (/ x 2.0)) 1)) (* (- (pow x 6)) 1)) (pow x 4)) (* (* (- (pow x 6)) (/ (* x (/ x 2.0)) 1)) 2.0)) (* (* (- (pow x 6)) (/ (* x (/ x 2.0)) 1)) (pow x 4)) (- (* (- (* (- (- 2.0)) (/ (* x (/ x 2.0)) 1)) (* (- (pow x 6)) 1)) (- (pow x 4))) (* (* (- (pow x 6)) (/ (* x (/ x 2.0)) 1)) (- 2.0))) (* (* (- (pow x 6)) (/ (* x (/ x 2.0)) 1)) (- (pow x 4))) (- (* (- (* (- (- 2.0)) (/ (* x (/ x 2.0)) 1)) (* (- (pow x 6)) 1)) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) (/ (* x (/ x 2.0)) 1)) 1)) (* (* (- (pow x 6)) (/ (* x (/ x 2.0)) 1)) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) (/ (* x (/ x 2.0)) 1)) (* (- (pow x 6)) 1)) (pow x (/ 4 2))) (* (* (- (pow x 6)) (/ (* x (/ x 2.0)) 1)) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) (/ (* x (/ x 2.0)) 1)) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) (/ x 2.0)) (* (- (pow x 6)) (/ 1 x))) (pow x 4)) (* (* (- (pow x 6)) (/ x 2.0)) 2.0)) (* (* (- (pow x 6)) (/ x 2.0)) (pow x 4)) (- (* (- (* (- (- 2.0)) (/ x 2.0)) (* (- (pow x 6)) (/ 1 x))) (- (pow x 4))) (* (* (- (pow x 6)) (/ x 2.0)) (- 2.0))) (* (* (- (pow x 6)) (/ x 2.0)) (- (pow x 4))) (- (* (- (* (- (- 2.0)) (/ x 2.0)) (* (- (pow x 6)) (/ 1 x))) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) (/ x 2.0)) 1)) (* (* (- (pow x 6)) (/ x 2.0)) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) (/ x 2.0)) (* (- (pow x 6)) (/ 1 x))) (pow x (/ 4 2))) (* (* (- (pow x 6)) (/ x 2.0)) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) (/ x 2.0)) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) (/ 1 2.0)) (* (- (pow x 6)) (/ 1 (* x x)))) (pow x 4)) (* (* (- (pow x 6)) (/ 1 2.0)) 2.0)) (* (* (- (pow x 6)) (/ 1 2.0)) (pow x 4)) (- (* (- (* (- (- 2.0)) (/ 1 2.0)) (* (- (pow x 6)) (/ 1 (* x x)))) (- (pow x 4))) (* (* (- (pow x 6)) (/ 1 2.0)) (- 2.0))) (* (* (- (pow x 6)) (/ 1 2.0)) (- (pow x 4))) (- (* (- (* (- (- 2.0)) (/ 1 2.0)) (* (- (pow x 6)) (/ 1 (* x x)))) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) (/ 1 2.0)) 1)) (* (* (- (pow x 6)) (/ 1 2.0)) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) (/ 1 2.0)) (* (- (pow x 6)) (/ 1 (* x x)))) (pow x (/ 4 2))) (* (* (- (pow x 6)) (/ 1 2.0)) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) (/ 1 2.0)) (pow x (/ 4 2))) (- (* (- (* (- (- 2.0)) x) (* (- (pow x 6)) (/ 1 (/ x 2.0)))) (pow x 4)) (* (* (- (pow x 6)) x) 2.0)) (* (* (- (pow x 6)) x) (pow x 4)) (- (* (- (* (- (- 2.0)) x) (* (- (pow x 6)) (/ 1 (/ x 2.0)))) (- (pow x 4))) (* (* (- (pow x 6)) x) (- 2.0))) (* (* (- (pow x 6)) x) (- (pow x 4))) (- (* (- (* (- (- 2.0)) x) (* (- (pow x 6)) (/ 1 (/ x 2.0)))) (/ (pow x 4) 2.0)) (* (* (- (pow x 6)) x) 1)) (* (* (- (pow x 6)) x) (/ (pow x 4) 2.0)) (- (* (- (* (- (- 2.0)) x) (* (- (pow x 6)) (/ 1 (/ x 2.0)))) (pow x (/ 4 2))) (* (* (- (pow x 6)) x) (/ 2.0 (pow x (/ 4 2))))) (* (* (- (pow x 6)) x) (pow x (/ 4 2))) (- (* (- (* 1 (* x (/ x 2.0))) (* (/ (pow x 6) (- 2.0)) 1)) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (pow x 4)) (- (* (- (* 1 (* x (/ x 2.0))) (* (/ (pow x 6) (- 2.0)) 1)) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (- (pow x 4))) (- (* (- (* 1 (* x (/ x 2.0))) (* (/ (pow x 6) (- 2.0)) 1)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) 1)) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (/ (pow x 4) 2.0)) (- (* (- (* 1 (* x (/ x 2.0))) (* (/ (pow x 6) (- 2.0)) 1)) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (pow x (/ 4 2))) (- (* (- (* 1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) (- 2.0)) (- 1))) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) (- (* x (/ x 2.0)))) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (- (* x (/ x 2.0)))) (pow x 4)) (- (* (- (* 1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) (- 2.0)) (- 1))) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (- (* x (/ x 2.0)))) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) (- (* x (/ x 2.0)))) (- (pow x 4))) (- (* (- (* 1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) (- 2.0)) (- 1))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (- (* x (/ x 2.0)))) 1)) (* (* (/ (pow x 6) (- 2.0)) (- (* x (/ x 2.0)))) (/ (pow x 4) 2.0)) (- (* (- (* 1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) (- 2.0)) (- 1))) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) (- (* x (/ x 2.0)))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) (- (* x (/ x 2.0)))) (pow x (/ 4 2))) (- (* (- (* 1 (/ (* x (/ x 2.0)) 1)) (* (/ (pow x 6) (- 2.0)) 1)) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) (/ (* x (/ x 2.0)) 1)) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ (* x (/ x 2.0)) 1)) (pow x 4)) (- (* (- (* 1 (/ (* x (/ x 2.0)) 1)) (* (/ (pow x 6) (- 2.0)) 1)) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (/ (* x (/ x 2.0)) 1)) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) (/ (* x (/ x 2.0)) 1)) (- (pow x 4))) (- (* (- (* 1 (/ (* x (/ x 2.0)) 1)) (* (/ (pow x 6) (- 2.0)) 1)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ (* x (/ x 2.0)) 1)) 1)) (* (* (/ (pow x 6) (- 2.0)) (/ (* x (/ x 2.0)) 1)) (/ (pow x 4) 2.0)) (- (* (- (* 1 (/ (* x (/ x 2.0)) 1)) (* (/ (pow x 6) (- 2.0)) 1)) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) (/ (* x (/ x 2.0)) 1)) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) (/ (* x (/ x 2.0)) 1)) (pow x (/ 4 2))) (- (* (- (* 1 (/ x 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 x))) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) (/ x 2.0)) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ x 2.0)) (pow x 4)) (- (* (- (* 1 (/ x 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 x))) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (/ x 2.0)) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) (/ x 2.0)) (- (pow x 4))) (- (* (- (* 1 (/ x 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 x))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ x 2.0)) 1)) (* (* (/ (pow x 6) (- 2.0)) (/ x 2.0)) (/ (pow x 4) 2.0)) (- (* (- (* 1 (/ x 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 x))) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) (/ x 2.0)) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) (/ x 2.0)) (pow x (/ 4 2))) (- (* (- (* 1 (/ 1 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 (* x x)))) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) (/ 1 2.0)) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ 1 2.0)) (pow x 4)) (- (* (- (* 1 (/ 1 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 (* x x)))) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (/ 1 2.0)) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) (/ 1 2.0)) (- (pow x 4))) (- (* (- (* 1 (/ 1 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 (* x x)))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ 1 2.0)) 1)) (* (* (/ (pow x 6) (- 2.0)) (/ 1 2.0)) (/ (pow x 4) 2.0)) (- (* (- (* 1 (/ 1 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 (* x x)))) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) (/ 1 2.0)) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) (/ 1 2.0)) (pow x (/ 4 2))) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 1 (/ x 2.0)))) (pow x 4)) (* (* (/ (pow x 6) (- 2.0)) x) 2.0)) (* (* (/ (pow x 6) (- 2.0)) x) (pow x 4)) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 1 (/ x 2.0)))) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) x) (- 2.0))) (* (* (/ (pow x 6) (- 2.0)) x) (- (pow x 4))) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 1 (/ x 2.0)))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) x) 1)) (* (* (/ (pow x 6) (- 2.0)) x) (/ (pow x 4) 2.0)) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 1 (/ x 2.0)))) (pow x (/ 4 2))) (* (* (/ (pow x 6) (- 2.0)) x) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) (- 2.0)) x) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (/ x 2.0))) (* (pow x (/ 6 2)) 1)) (pow x 4)) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) 2.0)) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (/ x 2.0))) (* (pow x (/ 6 2)) 1)) (- (pow x 4))) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (- 2.0))) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (/ x 2.0))) (* (pow x (/ 6 2)) 1)) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) 1)) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (* x (/ x 2.0))) (* (pow x (/ 6 2)) 1)) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) (* x (/ x 2.0))) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (- (* x (/ x 2.0)))) (* (pow x (/ 6 2)) (- 1))) (pow x 4)) (* (* (pow x (/ 6 2)) (- (* x (/ x 2.0)))) 2.0)) (* (* (pow x (/ 6 2)) (- (* x (/ x 2.0)))) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (- (* x (/ x 2.0)))) (* (pow x (/ 6 2)) (- 1))) (- (pow x 4))) (* (* (pow x (/ 6 2)) (- (* x (/ x 2.0)))) (- 2.0))) (* (* (pow x (/ 6 2)) (- (* x (/ x 2.0)))) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (- (* x (/ x 2.0)))) (* (pow x (/ 6 2)) (- 1))) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) (- (* x (/ x 2.0)))) 1)) (* (* (pow x (/ 6 2)) (- (* x (/ x 2.0)))) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (- (* x (/ x 2.0)))) (* (pow x (/ 6 2)) (- 1))) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) (- (* x (/ x 2.0)))) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) (- (* x (/ x 2.0)))) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ (* x (/ x 2.0)) 1)) (* (pow x (/ 6 2)) 1)) (pow x 4)) (* (* (pow x (/ 6 2)) (/ (* x (/ x 2.0)) 1)) 2.0)) (* (* (pow x (/ 6 2)) (/ (* x (/ x 2.0)) 1)) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ (* x (/ x 2.0)) 1)) (* (pow x (/ 6 2)) 1)) (- (pow x 4))) (* (* (pow x (/ 6 2)) (/ (* x (/ x 2.0)) 1)) (- 2.0))) (* (* (pow x (/ 6 2)) (/ (* x (/ x 2.0)) 1)) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ (* x (/ x 2.0)) 1)) (* (pow x (/ 6 2)) 1)) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) (/ (* x (/ x 2.0)) 1)) 1)) (* (* (pow x (/ 6 2)) (/ (* x (/ x 2.0)) 1)) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ (* x (/ x 2.0)) 1)) (* (pow x (/ 6 2)) 1)) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) (/ (* x (/ x 2.0)) 1)) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) (/ (* x (/ x 2.0)) 1)) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x 2.0)) (* (pow x (/ 6 2)) (/ 1 x))) (pow x 4)) (* (* (pow x (/ 6 2)) (/ x 2.0)) 2.0)) (* (* (pow x (/ 6 2)) (/ x 2.0)) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x 2.0)) (* (pow x (/ 6 2)) (/ 1 x))) (- (pow x 4))) (* (* (pow x (/ 6 2)) (/ x 2.0)) (- 2.0))) (* (* (pow x (/ 6 2)) (/ x 2.0)) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x 2.0)) (* (pow x (/ 6 2)) (/ 1 x))) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) (/ x 2.0)) 1)) (* (* (pow x (/ 6 2)) (/ x 2.0)) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ x 2.0)) (* (pow x (/ 6 2)) (/ 1 x))) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) (/ x 2.0)) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) (/ x 2.0)) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ 1 2.0)) (* (pow x (/ 6 2)) (/ 1 (* x x)))) (pow x 4)) (* (* (pow x (/ 6 2)) (/ 1 2.0)) 2.0)) (* (* (pow x (/ 6 2)) (/ 1 2.0)) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ 1 2.0)) (* (pow x (/ 6 2)) (/ 1 (* x x)))) (- (pow x 4))) (* (* (pow x (/ 6 2)) (/ 1 2.0)) (- 2.0))) (* (* (pow x (/ 6 2)) (/ 1 2.0)) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ 1 2.0)) (* (pow x (/ 6 2)) (/ 1 (* x x)))) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) (/ 1 2.0)) 1)) (* (* (pow x (/ 6 2)) (/ 1 2.0)) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) (/ 1 2.0)) (* (pow x (/ 6 2)) (/ 1 (* x x)))) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) (/ 1 2.0)) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) (/ 1 2.0)) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) x) (* (pow x (/ 6 2)) (/ 1 (/ x 2.0)))) (pow x 4)) (* (* (pow x (/ 6 2)) x) 2.0)) (* (* (pow x (/ 6 2)) x) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) x) (* (pow x (/ 6 2)) (/ 1 (/ x 2.0)))) (- (pow x 4))) (* (* (pow x (/ 6 2)) x) (- 2.0))) (* (* (pow x (/ 6 2)) x) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) x) (* (pow x (/ 6 2)) (/ 1 (/ x 2.0)))) (/ (pow x 4) 2.0)) (* (* (pow x (/ 6 2)) x) 1)) (* (* (pow x (/ 6 2)) x) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x (/ 6 2))) x) (* (pow x (/ 6 2)) (/ 1 (/ x 2.0)))) (pow x (/ 4 2))) (* (* (pow x (/ 6 2)) x) (/ 2.0 (pow x (/ 4 2))))) (* (* (pow x (/ 6 2)) x) (pow x (/ 4 2))) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (pow x 4)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) 2.0)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (pow x 4)) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (- 2.0))) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (- (pow x 4))) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) 1)) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (/ (pow x 4) 2.0)) (- (* (- (* -1 (* x (/ x 2.0))) (* (/ (pow x 6) 2.0) 1)) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (pow x (/ 4 2))) (- (* (- (* -1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) 2.0) (- 1))) (pow x 4)) (* (* (/ (pow x 6) 2.0) (- (* x (/ x 2.0)))) 2.0)) (* (* (/ (pow x 6) 2.0) (- (* x (/ x 2.0)))) (pow x 4)) (- (* (- (* -1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) 2.0) (- 1))) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (- (* x (/ x 2.0)))) (- 2.0))) (* (* (/ (pow x 6) 2.0) (- (* x (/ x 2.0)))) (- (pow x 4))) (- (* (- (* -1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) 2.0) (- 1))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (- (* x (/ x 2.0)))) 1)) (* (* (/ (pow x 6) 2.0) (- (* x (/ x 2.0)))) (/ (pow x 4) 2.0)) (- (* (- (* -1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) 2.0) (- 1))) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) (- (* x (/ x 2.0)))) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) (- (* x (/ x 2.0)))) (pow x (/ 4 2))) (- (* (- (* -1 (/ (* x (/ x 2.0)) 1)) (* (/ (pow x 6) 2.0) 1)) (pow x 4)) (* (* (/ (pow x 6) 2.0) (/ (* x (/ x 2.0)) 1)) 2.0)) (* (* (/ (pow x 6) 2.0) (/ (* x (/ x 2.0)) 1)) (pow x 4)) (- (* (- (* -1 (/ (* x (/ x 2.0)) 1)) (* (/ (pow x 6) 2.0) 1)) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (/ (* x (/ x 2.0)) 1)) (- 2.0))) (* (* (/ (pow x 6) 2.0) (/ (* x (/ x 2.0)) 1)) (- (pow x 4))) (- (* (- (* -1 (/ (* x (/ x 2.0)) 1)) (* (/ (pow x 6) 2.0) 1)) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (/ (* x (/ x 2.0)) 1)) 1)) (* (* (/ (pow x 6) 2.0) (/ (* x (/ x 2.0)) 1)) (/ (pow x 4) 2.0)) (- (* (- (* -1 (/ (* x (/ x 2.0)) 1)) (* (/ (pow x 6) 2.0) 1)) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) (/ (* x (/ x 2.0)) 1)) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) (/ (* x (/ x 2.0)) 1)) (pow x (/ 4 2))) (- (* (- (* -1 (/ x 2.0)) (* (/ (pow x 6) 2.0) (/ 1 x))) (pow x 4)) (* (* (/ (pow x 6) 2.0) (/ x 2.0)) 2.0)) (* (* (/ (pow x 6) 2.0) (/ x 2.0)) (pow x 4)) (- (* (- (* -1 (/ x 2.0)) (* (/ (pow x 6) 2.0) (/ 1 x))) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (/ x 2.0)) (- 2.0))) (* (* (/ (pow x 6) 2.0) (/ x 2.0)) (- (pow x 4))) (- (* (- (* -1 (/ x 2.0)) (* (/ (pow x 6) 2.0) (/ 1 x))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (/ x 2.0)) 1)) (* (* (/ (pow x 6) 2.0) (/ x 2.0)) (/ (pow x 4) 2.0)) (- (* (- (* -1 (/ x 2.0)) (* (/ (pow x 6) 2.0) (/ 1 x))) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) (/ x 2.0)) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) (/ x 2.0)) (pow x (/ 4 2))) (- (* (- (* -1 (/ 1 2.0)) (* (/ (pow x 6) 2.0) (/ 1 (* x x)))) (pow x 4)) (* (* (/ (pow x 6) 2.0) (/ 1 2.0)) 2.0)) (* (* (/ (pow x 6) 2.0) (/ 1 2.0)) (pow x 4)) (- (* (- (* -1 (/ 1 2.0)) (* (/ (pow x 6) 2.0) (/ 1 (* x x)))) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (/ 1 2.0)) (- 2.0))) (* (* (/ (pow x 6) 2.0) (/ 1 2.0)) (- (pow x 4))) (- (* (- (* -1 (/ 1 2.0)) (* (/ (pow x 6) 2.0) (/ 1 (* x x)))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (/ 1 2.0)) 1)) (* (* (/ (pow x 6) 2.0) (/ 1 2.0)) (/ (pow x 4) 2.0)) (- (* (- (* -1 (/ 1 2.0)) (* (/ (pow x 6) 2.0) (/ 1 (* x x)))) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) (/ 1 2.0)) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) (/ 1 2.0)) (pow x (/ 4 2))) (- (* (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 1 (/ x 2.0)))) (pow x 4)) (* (* (/ (pow x 6) 2.0) x) 2.0)) (* (* (/ (pow x 6) 2.0) x) (pow x 4)) (- (* (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 1 (/ x 2.0)))) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) x) (- 2.0))) (* (* (/ (pow x 6) 2.0) x) (- (pow x 4))) (- (* (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 1 (/ x 2.0)))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) x) 1)) (* (* (/ (pow x 6) 2.0) x) (/ (pow x 4) 2.0)) (- (* (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 1 (/ x 2.0)))) (pow x (/ 4 2))) (* (* (/ (pow x 6) 2.0) x) (/ 2.0 (pow x (/ 4 2))))) (* (* (/ (pow x 6) 2.0) x) (pow x (/ 4 2))) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ 1 (* x (/ x 2.0))) 3)) (pow x 4)) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))))) 2.0)) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))))) (pow x 4)) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ 1 (* x (/ x 2.0))) 3)) (- (pow x 4))) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))))) (- 2.0))) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))))) (- (pow x 4))) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ 1 (* x (/ x 2.0))) 3)) (/ (pow x 4) 2.0)) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))))) 1)) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))))) (/ (pow x 4) 2.0)) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ 1 (* x (/ x 2.0))) 3)) (pow x (/ 4 2))) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))))) (/ 2.0 (pow x (/ 4 2))))) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))))) (pow x (/ 4 2))) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0))))) (pow x 4)) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) 2.0)) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0))))) (- (pow x 4))) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (- 2.0))) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0))))) (/ (pow x 4) 2.0)) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) 1)) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0))))) (pow x (/ 4 2))) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x (/ 4 2))))) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (pow x (/ 4 2))) (- (pow (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) 3) (pow (/ 2.0 (pow x 4)) 3)) (+ (* (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0))))) (+ (* (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4))) (* (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x 4))))) (- (/ 2.0 (pow x 4))) (- (* (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0))))) (* (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)))) (+ (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x 4))) (- (fma (- (/ 1 (* x (/ x 2.0)))) 1 (* (/ 1 (* x (/ x 2.0))) 1)) (/ 2.0 (pow x 4))) (- (fma (- (/ 2.0 x)) (/ 1 x) (* (/ 2.0 x) (/ 1 x))) (/ 2.0 (pow x 4))) (- (fma (- 2.0) (/ 1 (* x x)) (* 2.0 (/ 1 (* x x)))) (/ 2.0 (pow x 4))) (- (fma (- (- 2.0)) (/ 1 (* x (- x))) (* (- 2.0) (/ 1 (* x (- x))))) (/ 2.0 (pow x 4))) (- (fma (- (/ 2.0 x)) (/ 1 (* x 1)) (* (/ 2.0 x) (/ 1 (* x 1)))) (/ 2.0 (pow x 4))) (- (fma (- (/ 1 (* x (/ x 2.0)))) 1 (* (/ 1 (* x (/ x 2.0))) 1)) (/ 2.0 (pow x 4))) (- (fma (- (/ 2.0 x)) (/ 1 x) (* (/ 2.0 x) (/ 1 x))) (/ 2.0 (pow x 4))) (- (fma (- 2.0) (/ 1 (* x x)) (* 2.0 (/ 1 (* x x)))) (/ 2.0 (pow x 4))) (- (fma (- (- 2.0)) (/ 1 (* x (- x))) (* (- 2.0) (/ 1 (* x (- x))))) (/ 2.0 (pow x 4))) (- (fma (- (/ 2.0 x)) (/ 1 (* x 1)) (* (/ 2.0 x) (/ 1 (* x 1)))) (/ 2.0 (pow x 4))) (- (- (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x 4))) (- (- (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x 4))) (+ (/ 1 (* x (/ x 2.0))) (/ 2.0 (pow x 4))) (+ (+ (/ 2.0 (pow x 6)) (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x 4))) (- (/ 2.0 (pow x 4))) (/ 2.0 (pow x 2)) (/ 2.0 (pow x 2)) (/ 2.0 (pow x 2)) (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)) (/ -2.0 (pow x 6)) (/ -2.0 (pow x 6)) (/ -2.0 (pow x 6)) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) 1.987 * * [simplify]: iteration 0 : 2366 enodes (cost 3567 ) 2.025 * * [simplify]: iteration 1 : 5002 enodes (cost 3275 ) 2.041 * [simplify]: Simplified to: -1 (- (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0))) (* x (/ x 2.0)) (/ 1 x) (/ 1 (* x x)) (/ 1 (/ x 2.0)) (/ 1 x) (/ 1 (* x x)) (/ 1 (* x (- x))) (/ 1 x) (- 2.0) (- (pow x 4)) (/ 1 (pow x 4)) (/ (pow x 4) 2.0) (/ (/ 2.0 x) x) 2.0 (- (pow x 6)) 0 (/ 2.0 (pow x 6)) (/ -1 (pow x 3)) (/ 2.0 (pow x 3)) (/ 1 (pow x 6)) (/ (pow x 6) (- 2.0)) (/ 2.0 (pow x 6)) (/ (- 2.0) (pow x 3)) (/ (pow x 6) 2.0) (fma (pow x 4) (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (* 2.0 (* (- (pow x 7)) (/ x 2.0)))) (* (* (pow x 7) (/ x 2.0)) (pow x 4)) (fma (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (- (pow x 4)) (* 2.0 (* (pow x 7) (/ x 2.0)))) (* (- (pow x 4)) (* (pow x 7) (/ x 2.0))) (fma (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (/ (pow x 4) 2.0) (* (- (pow x 7)) (/ x 2.0))) (* (/ (pow x 4) 2.0) (* (pow x 7) (/ x 2.0))) (fma (pow x 2) (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (- (* (* (pow x 6) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (pow x 7) (/ x 2.0))) (fma (pow x 4) (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (* 2.0 (* (pow x 7) (/ x 2.0)))) (* (- (pow x 4)) (* (pow x 7) (/ x 2.0))) (fma (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (- (pow x 4)) (* 2.0 (* (- (pow x 7)) (/ x 2.0)))) (* (* (pow x 7) (/ x 2.0)) (pow x 4)) (fma (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (/ (pow x 4) 2.0) (* (- (pow x 6)) (- (* x (/ x 2.0))))) (* (/ (pow x 4) 2.0) (* (- (pow x 7)) (/ x 2.0))) (fma (pow x 2) (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (- (* (* (- (pow x 6)) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (- (pow x 7)) (/ x 2.0))) (fma (pow x 4) (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (* 2.0 (* (- (pow x 7)) (/ x 2.0)))) (* (* (pow x 7) (/ x 2.0)) (pow x 4)) (fma (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (- (pow x 4)) (* 2.0 (* (pow x 7) (/ x 2.0)))) (* (- (pow x 4)) (* (pow x 7) (/ x 2.0))) (fma (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (/ (pow x 4) 2.0) (* (- (pow x 7)) (/ x 2.0))) (* (/ (pow x 4) 2.0) (* (pow x 7) (/ x 2.0))) (fma (pow x 2) (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (- (* (* (pow x 6) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (pow x 7) (/ x 2.0))) (fma (pow x 4) (fma (- 2.0) (/ x 2.0) (/ (- (pow x 6)) x)) (* (- 2.0) (/ (pow x 7) 2.0))) (* (/ (pow x 7) 2.0) (pow x 4)) (fma (fma (- 2.0) (/ x 2.0) (/ (- (pow x 6)) x)) (- (pow x 4)) (- (* (* (/ (pow x 6) 2.0) x) (- 2.0)))) (* (- (pow x 4)) (/ (pow x 7) 2.0)) (fma (fma (- 2.0) (/ x 2.0) (/ (- (pow x 6)) x)) (/ (pow x 4) 2.0) (/ (- (pow x 7)) 2.0)) (* (/ (pow x 4) 2.0) (/ (pow x 7) 2.0)) (fma (pow x 2) (fma (- 2.0) (/ x 2.0) (/ (- (pow x 6)) x)) (- (* (* (/ (pow x 6) 2.0) x) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (pow x 7) 2.0)) (fma (pow x 4) (fma (- 2.0) (/ 1 2.0) (/ (- (pow x 6)) (pow x 2))) (* (- 2.0) (/ (pow x 6) 2.0))) (* (/ (pow x 6) 2.0) (pow x 4)) (fma (fma (- 2.0) (/ 1 2.0) (/ (- (pow x 6)) (pow x 2))) (- (pow x 4)) (- (* (* (pow x 6) (/ 1 2.0)) (- 2.0)))) (* (- (pow x 4)) (/ (pow x 6) 2.0)) (fma (fma (- 2.0) (/ 1 2.0) (/ (- (pow x 6)) (pow x 2))) (/ (pow x 4) 2.0) (/ (- (pow x 6)) 2.0)) (* (/ (pow x 4) 2.0) (/ (pow x 6) 2.0)) (fma (pow x 2) (fma (- 2.0) (/ 1 2.0) (/ (- (pow x 6)) (pow x 2))) (- (* (* (pow x 6) (/ 1 2.0)) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (pow x 6) 2.0)) (fma (pow x 4) (fma (- 2.0) x (/ (- (pow x 6)) (/ x 2.0))) (* (- 2.0) (pow x 7))) (* (pow x 7) (pow x 4)) (fma (fma (- 2.0) x (/ (- (pow x 6)) (/ x 2.0))) (- (pow x 4)) (- (* (* (pow x 6) x) (- 2.0)))) (* (- (pow x 4)) (pow x 7)) (fma (fma (- 2.0) x (/ (- (pow x 6)) (/ x 2.0))) (/ (pow x 4) 2.0) (- (pow x 7))) (* (/ (pow x 4) 2.0) (pow x 7)) (fma (pow x 2) (fma (- 2.0) x (/ (- (pow x 6)) (/ x 2.0))) (- (* (* (pow x 6) x) (/ 2.0 (pow x 2))))) (* (pow x 2) (pow x 7)) (fma (pow x 4) (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (* 2.0 (* (pow x 7) (/ x 2.0)))) (* (- (pow x 4)) (* (pow x 7) (/ x 2.0))) (fma (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (- (pow x 4)) (* 2.0 (* (- (pow x 7)) (/ x 2.0)))) (* (* (pow x 7) (/ x 2.0)) (pow x 4)) (fma (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (/ (pow x 4) 2.0) (* (- (pow x 6)) (- (* x (/ x 2.0))))) (* (/ (pow x 4) 2.0) (* (- (pow x 7)) (/ x 2.0))) (fma (pow x 2) (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (- (* (* (- (pow x 6)) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (- (pow x 7)) (/ x 2.0))) (fma (pow x 4) (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (* 2.0 (* (- (pow x 7)) (/ x 2.0)))) (* (* (pow x 7) (/ x 2.0)) (pow x 4)) (fma (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (- (pow x 4)) (* 2.0 (* (pow x 7) (/ x 2.0)))) (* (- (pow x 4)) (* (pow x 7) (/ x 2.0))) (fma (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (/ (pow x 4) 2.0) (* (- (pow x 7)) (/ x 2.0))) (* (/ (pow x 4) 2.0) (* (pow x 7) (/ x 2.0))) (fma (pow x 2) (fma (- 2.0) (* x (/ x 2.0)) (- (pow x 6))) (- (* (* (pow x 6) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (pow x 7) (/ x 2.0))) (fma (pow x 4) (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (* 2.0 (* (pow x 7) (/ x 2.0)))) (* (- (pow x 4)) (* (pow x 7) (/ x 2.0))) (fma (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (- (pow x 4)) (* 2.0 (* (- (pow x 7)) (/ x 2.0)))) (* (* (pow x 7) (/ x 2.0)) (pow x 4)) (fma (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (/ (pow x 4) 2.0) (* (- (pow x 6)) (- (* x (/ x 2.0))))) (* (/ (pow x 4) 2.0) (* (- (pow x 7)) (/ x 2.0))) (fma (pow x 2) (fma 2.0 (* x (/ x 2.0)) (* (- (pow x 6)) (- 1))) (- (* (* (- (pow x 6)) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (- (pow x 7)) (/ x 2.0))) (fma (pow x 4) (fma 2.0 (/ x 2.0) (- (* (- (pow x 6)) (/ 1 x)))) (* (- 2.0) (/ (- (pow x 7)) 2.0))) (* (- (pow x 4)) (/ (pow x 7) 2.0)) (fma (fma 2.0 (/ x 2.0) (- (* (- (pow x 6)) (/ 1 x)))) (- (pow x 4)) (- (* (* (- (pow x 6)) (/ x 2.0)) (- 2.0)))) (* (/ (pow x 7) 2.0) (pow x 4)) (fma (fma 2.0 (/ x 2.0) (- (* (- (pow x 6)) (/ 1 x)))) (/ (pow x 4) 2.0) (- (* (* (- (pow x 6)) (/ x 2.0)) 1))) (* (/ (pow x 4) 2.0) (/ (- (pow x 7)) 2.0)) (fma (pow x 2) (fma 2.0 (/ x 2.0) (- (* (- (pow x 6)) (/ 1 x)))) (- (* (* (- (pow x 6)) (/ x 2.0)) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (- (pow x 7)) 2.0)) (fma (pow x 4) (fma 2.0 (/ 1 2.0) (- (* (- (pow x 6)) (/ 1 (* x x))))) (* (- 2.0) (/ (- (pow x 6)) 2.0))) (* (- (pow x 4)) (/ (pow x 6) 2.0)) (fma (fma 2.0 (/ 1 2.0) (- (* (- (pow x 6)) (/ 1 (* x x))))) (- (pow x 4)) (- (* (* (- (pow x 6)) (/ 1 2.0)) (- 2.0)))) (* (/ (pow x 6) 2.0) (pow x 4)) (fma (fma 2.0 (/ 1 2.0) (- (* (- (pow x 6)) (/ 1 (* x x))))) (/ (pow x 4) 2.0) (- (* (/ (pow x 6) 2.0) (- 1)))) (* (/ (pow x 4) 2.0) (/ (- (pow x 6)) 2.0)) (fma (pow x 2) (fma 2.0 (/ 1 2.0) (- (* (- (pow x 6)) (/ 1 (* x x))))) (- (* (* (- (pow x 6)) (/ 1 2.0)) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (- (pow x 6)) 2.0)) (fma (pow x 4) (fma 2.0 x (- (* (- (pow x 6)) (/ 1 (/ x 2.0))))) (* (- 2.0) (- (pow x 7)))) (* (- (pow x 4)) (pow x 7)) (fma (fma 2.0 x (- (* (- (pow x 6)) (/ 1 (/ x 2.0))))) (- (pow x 4)) (- (* (* (- (pow x 6)) x) (- 2.0)))) (* (pow x 7) (pow x 4)) (fma (fma 2.0 x (- (* (- (pow x 6)) (/ 1 (/ x 2.0))))) (/ (pow x 4) 2.0) (- (* (* (- (pow x 6)) x) 1))) (* (/ (pow x 4) 2.0) (- (pow x 7))) (fma (pow x 2) (fma 2.0 x (- (* (- (pow x 6)) (/ 1 (/ x 2.0))))) (- (* (* (- (pow x 6)) x) (/ 2.0 (pow x 2))))) (* (pow x 2) (- (pow x 7))) (fma (pow x 4) (fma x (/ x 2.0) (/ (- (pow x 6)) (- 2.0))) (* (- 2.0) (/ (* (pow x 7) (/ x 2.0)) (- 2.0)))) (* (/ (* (pow x 7) (/ x 2.0)) (- 2.0)) (pow x 4)) (fma (fma x (/ x 2.0) (/ (- (pow x 6)) (- 2.0))) (- (pow x 4)) (* 2.0 (/ (* (pow x 7) (/ x 2.0)) (- 2.0)))) (* (- (pow x 4)) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (fma x (/ x 2.0) (/ (- (pow x 6)) (- 2.0))) (/ (pow x 4) 2.0) (/ (* (- (pow x 7)) (/ x 2.0)) (- 2.0))) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (pow x 2) (fma x (/ x 2.0) (/ (- (pow x 6)) (- 2.0))) (- (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (pow x 4) (fma -1 (* x (/ x 2.0)) (- (* (/ (pow x 6) (- 2.0)) (- 1)))) (* 2.0 (/ (* (pow x 7) (/ x 2.0)) (- 2.0)))) (* (- (pow x 4)) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (fma -1 (* x (/ x 2.0)) (- (* (/ (pow x 6) (- 2.0)) (- 1)))) (- (pow x 4)) (* (- 2.0) (/ (* (pow x 7) (/ x 2.0)) (- 2.0)))) (* (/ (* (pow x 7) (/ x 2.0)) (- 2.0)) (pow x 4)) (fma (fma -1 (* x (/ x 2.0)) (- (* (/ (pow x 6) (- 2.0)) (- 1)))) (/ (pow x 4) 2.0) (- (* (* (/ (pow x 6) (- 2.0)) (- (* x (/ x 2.0)))) 1))) (* (/ (pow x 4) 2.0) (/ (* (- (pow x 7)) (/ x 2.0)) (- 2.0))) (fma (pow x 2) (fma -1 (* x (/ x 2.0)) (- (* (/ (pow x 6) (- 2.0)) (- 1)))) (- (* (* (/ (pow x 6) (- 2.0)) (- (* x (/ x 2.0)))) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (* (- (pow x 7)) (/ x 2.0)) (- 2.0))) (fma (pow x 4) (fma x (/ x 2.0) (/ (- (pow x 6)) (- 2.0))) (* (- 2.0) (/ (* (pow x 7) (/ x 2.0)) (- 2.0)))) (* (/ (* (pow x 7) (/ x 2.0)) (- 2.0)) (pow x 4)) (fma (fma x (/ x 2.0) (/ (- (pow x 6)) (- 2.0))) (- (pow x 4)) (* 2.0 (/ (* (pow x 7) (/ x 2.0)) (- 2.0)))) (* (- (pow x 4)) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (fma x (/ x 2.0) (/ (- (pow x 6)) (- 2.0))) (/ (pow x 4) 2.0) (/ (* (- (pow x 7)) (/ x 2.0)) (- 2.0))) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (pow x 2) (fma x (/ x 2.0) (/ (- (pow x 6)) (- 2.0))) (- (* (* (/ (pow x 6) (- 2.0)) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (* (pow x 7) (/ x 2.0)) (- 2.0))) (fma (pow x 4) (- (* 1 (/ x 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 x))) (* (- 2.0) (/ (/ (pow x 7) 2.0) (- 2.0)))) (* (pow x 4) (/ (/ (pow x 7) 2.0) (- 2.0))) (- (* (- (* 1 (/ x 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 x))) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (/ x 2.0)) (- 2.0))) (* (- (pow x 4)) (/ (/ (pow x 7) 2.0) (- 2.0))) (- (* (- (* 1 (/ x 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 x))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ x 2.0)) 1)) (* (/ (pow x 4) 2.0) (/ (/ (pow x 7) 2.0) (- 2.0))) (- (* (- (* 1 (/ x 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 x))) (pow x 2)) (* (* (/ (pow x 6) (- 2.0)) (/ x 2.0)) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (/ (pow x 7) 2.0) (- 2.0))) (fma (pow x 4) (- (* 1 (/ 1 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 (* x x)))) (* (- 2.0) (/ (/ (pow x 6) (- 2.0)) 2.0))) (* (pow x 4) (/ (/ (pow x 6) (- 2.0)) 2.0)) (- (* (- (* 1 (/ 1 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 (* x x)))) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) (/ 1 2.0)) (- 2.0))) (* (- (pow x 4)) (/ (/ (pow x 6) (- 2.0)) 2.0)) (- (* (- (* 1 (/ 1 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 (* x x)))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) (/ 1 2.0)) 1)) (* (/ (pow x 4) 2.0) (/ (/ (pow x 6) (- 2.0)) 2.0)) (- (* (- (* 1 (/ 1 2.0)) (* (/ (pow x 6) (- 2.0)) (/ 1 (* x x)))) (pow x 2)) (* (* (/ (pow x 6) (- 2.0)) (/ 1 2.0)) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (/ (pow x 6) (- 2.0)) 2.0)) (fma (pow x 4) (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 1 (/ x 2.0)))) (* (- 2.0) (/ (pow x 7) (- 2.0)))) (* (pow x 4) (/ (pow x 7) (- 2.0))) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 1 (/ x 2.0)))) (- (pow x 4))) (* (* (/ (pow x 6) (- 2.0)) x) (- 2.0))) (* (- (pow x 4)) (/ (pow x 7) (- 2.0))) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 1 (/ x 2.0)))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) (- 2.0)) x) 1)) (* (/ (pow x 4) 2.0) (/ (pow x 7) (- 2.0))) (- (* (- (* 1 x) (* (/ (pow x 6) (- 2.0)) (/ 1 (/ x 2.0)))) (pow x 2)) (* (* (/ (pow x 6) (- 2.0)) x) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (pow x 7) (- 2.0))) (fma (pow x 4) (fma (* (/ (- 2.0) (pow x 3)) x) (/ x 2.0) (- (pow x 3))) (* (- 2.0) (* (pow x 4) (/ x 2.0)))) (* (* (pow x 4) (/ x 2.0)) (pow x 4)) (fma (fma (* (/ (- 2.0) (pow x 3)) x) (/ x 2.0) (- (pow x 3))) (- (pow x 4)) (* 2.0 (* (pow x 4) (/ x 2.0)))) (* (- (pow x 4)) (* (pow x 4) (/ x 2.0))) (fma (fma (* (/ (- 2.0) (pow x 3)) x) (/ x 2.0) (- (pow x 3))) (/ (pow x 4) 2.0) (* (pow x 3) (- (* x (/ x 2.0))))) (* (/ (pow x 4) 2.0) (* (pow x 4) (/ x 2.0))) (fma (pow x 2) (fma (* (/ (- 2.0) (pow x 3)) x) (/ x 2.0) (- (pow x 3))) (- (* (* (pow x 3) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (pow x 4) (/ x 2.0))) (fma (pow x 4) (- (* (/ (- 2.0) (pow x 3)) (- (* x (/ x 2.0)))) (* (pow x 3) (- 1))) (* 2.0 (* (pow x 4) (/ x 2.0)))) (* (- (pow x 4)) (* (pow x 4) (/ x 2.0))) (fma (- (* (/ (- 2.0) (pow x 3)) (- (* x (/ x 2.0)))) (* (pow x 3) (- 1))) (- (pow x 4)) (* (- 2.0) (* (pow x 4) (/ x 2.0)))) (* (* (pow x 4) (/ x 2.0)) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x 3)) (- (* x (/ x 2.0)))) (* (pow x 3) (- 1))) (/ (pow x 4) 2.0)) (* (* (pow x 3) (- (* x (/ x 2.0)))) 1)) (- (* (* (pow x 4) (/ x 2.0)) (/ (pow x 4) 2.0))) (- (* (- (* (/ (- 2.0) (pow x 3)) (- (* x (/ x 2.0)))) (* (pow x 3) (- 1))) (pow x 2)) (* (* (pow x 3) (- (* x (/ x 2.0)))) (/ 2.0 (pow x 2)))) (- (* (* (pow x 4) (/ x 2.0)) (pow x 2))) (fma (pow x 4) (fma (* (/ (- 2.0) (pow x 3)) x) (/ x 2.0) (- (pow x 3))) (* (- 2.0) (* (pow x 4) (/ x 2.0)))) (* (* (pow x 4) (/ x 2.0)) (pow x 4)) (fma (fma (* (/ (- 2.0) (pow x 3)) x) (/ x 2.0) (- (pow x 3))) (- (pow x 4)) (* 2.0 (* (pow x 4) (/ x 2.0)))) (* (- (pow x 4)) (* (pow x 4) (/ x 2.0))) (fma (fma (* (/ (- 2.0) (pow x 3)) x) (/ x 2.0) (- (pow x 3))) (/ (pow x 4) 2.0) (* (pow x 3) (- (* x (/ x 2.0))))) (* (/ (pow x 4) 2.0) (* (pow x 4) (/ x 2.0))) (fma (pow x 2) (fma (* (/ (- 2.0) (pow x 3)) x) (/ x 2.0) (- (pow x 3))) (- (* (* (pow x 3) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (* (pow x 4) (/ x 2.0))) (fma (pow x 4) (- (* (/ (- 2.0) (pow x 3)) (/ x 2.0)) (* (pow x 3) (/ 1 x))) (* (- 2.0) (/ (pow x 4) 2.0))) (* (/ (pow x 4) 2.0) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x 3)) (/ x 2.0)) (* (pow x 3) (/ 1 x))) (- (pow x 4))) (* (* (pow x 3) (/ x 2.0)) (- 2.0))) (* (- (pow x 4)) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x 3)) (/ x 2.0)) (* (pow x 3) (/ 1 x))) (/ (pow x 4) 2.0)) (* (* (pow x 3) (/ x 2.0)) 1)) (* (/ (pow x 4) 2.0) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x 3)) (/ x 2.0)) (* (pow x 3) (/ 1 x))) (pow x 2)) (* (* (pow x 3) (/ x 2.0)) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (pow x 4) 2.0)) (fma (pow x 4) (- (* (/ (- 2.0) (pow x 3)) (/ 1 2.0)) (* (pow x 3) (/ 1 (* x x)))) (* (- 2.0) (/ (pow x 3) 2.0))) (* (pow x 4) (/ (pow x 3) 2.0)) (- (* (- (* (/ (- 2.0) (pow x 3)) (/ 1 2.0)) (* (pow x 3) (/ 1 (* x x)))) (- (pow x 4))) (* (* (pow x 3) (/ 1 2.0)) (- 2.0))) (* (- (pow x 4)) (/ (pow x 3) 2.0)) (- (* (- (* (/ (- 2.0) (pow x 3)) (/ 1 2.0)) (* (pow x 3) (/ 1 (* x x)))) (/ (pow x 4) 2.0)) (* (* (pow x 3) (/ 1 2.0)) 1)) (* (/ (pow x 4) 2.0) (/ (pow x 3) 2.0)) (- (* (- (* (/ (- 2.0) (pow x 3)) (/ 1 2.0)) (* (pow x 3) (/ 1 (* x x)))) (pow x 2)) (* (* (pow x 3) (/ 1 2.0)) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (pow x 3) 2.0)) (fma (pow x 4) (- (* (/ (- 2.0) (pow x 3)) x) (* (pow x 3) (/ 1 (/ x 2.0)))) (* (- 2.0) (pow x 4))) (pow x 8) (- (* (- (* (/ (- 2.0) (pow x 3)) x) (* (pow x 3) (/ 1 (/ x 2.0)))) (- (pow x 4))) (* (* (pow x 3) x) (- 2.0))) (* (- (pow x 4)) (pow x 4)) (fma (- (* (/ (- 2.0) (pow x 3)) x) (* (pow x 3) (/ 1 (/ x 2.0)))) (/ (pow x 4) 2.0) (- (pow x 4))) (* (/ (pow x 4) 2.0) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x 3)) x) (* (pow x 3) (/ 1 (/ x 2.0)))) (pow x 2)) (* (* (pow x 3) x) (/ 2.0 (pow x 2)))) (pow x 6) (fma (pow x 4) (fma -1 (* x (/ x 2.0)) (/ (- (pow x 6)) 2.0)) (* (- 2.0) (/ (* (pow x 7) (/ x 2.0)) 2.0))) (* (/ (* (pow x 7) (/ x 2.0)) 2.0) (pow x 4)) (fma (fma -1 (* x (/ x 2.0)) (/ (- (pow x 6)) 2.0)) (- (pow x 4)) (* 2.0 (/ (* (pow x 7) (/ x 2.0)) 2.0))) (* (- (pow x 4)) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (fma (fma -1 (* x (/ x 2.0)) (/ (- (pow x 6)) 2.0)) (/ (pow x 4) 2.0) (/ (* (- (pow x 7)) (/ x 2.0)) 2.0)) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (fma (pow x 2) (fma -1 (* x (/ x 2.0)) (/ (- (pow x 6)) 2.0)) (- (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (fma (pow x 4) (- (* -1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) 2.0) (- 1))) (* 2.0 (/ (* (pow x 7) (/ x 2.0)) 2.0))) (* (- (pow x 4)) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (fma (- (* -1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) 2.0) (- 1))) (- (pow x 4)) (* (- 2.0) (/ (* (pow x 7) (/ x 2.0)) 2.0))) (* (/ (* (pow x 7) (/ x 2.0)) 2.0) (pow x 4)) (- (* (- (* -1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) 2.0) (- 1))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (- (* x (/ x 2.0)))) 1)) (* (/ (pow x 4) 2.0) (/ (* (- (pow x 7)) (/ x 2.0)) 2.0)) (- (* (- (* -1 (- (* x (/ x 2.0)))) (* (/ (pow x 6) 2.0) (- 1))) (pow x 2)) (* (* (/ (pow x 6) 2.0) (- (* x (/ x 2.0)))) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (* (- (pow x 7)) (/ x 2.0)) 2.0)) (fma (pow x 4) (fma -1 (* x (/ x 2.0)) (/ (- (pow x 6)) 2.0)) (* (- 2.0) (/ (* (pow x 7) (/ x 2.0)) 2.0))) (* (/ (* (pow x 7) (/ x 2.0)) 2.0) (pow x 4)) (fma (fma -1 (* x (/ x 2.0)) (/ (- (pow x 6)) 2.0)) (- (pow x 4)) (* 2.0 (/ (* (pow x 7) (/ x 2.0)) 2.0))) (* (- (pow x 4)) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (fma (fma -1 (* x (/ x 2.0)) (/ (- (pow x 6)) 2.0)) (/ (pow x 4) 2.0) (/ (* (- (pow x 7)) (/ x 2.0)) 2.0)) (* (/ (pow x 4) 2.0) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (fma (pow x 2) (fma -1 (* x (/ x 2.0)) (/ (- (pow x 6)) 2.0)) (- (* (* (/ (pow x 6) 2.0) (* x (/ x 2.0))) (/ 2.0 (pow x 2))))) (* (pow x 2) (/ (* (pow x 7) (/ x 2.0)) 2.0)) (fma (pow x 4) (- (* -1 (/ x 2.0)) (* (/ (pow x 6) 2.0) (/ 1 x))) (* (- 2.0) (/ (/ (pow x 7) 2.0) 2.0))) (* (pow x 4) (/ (/ (pow x 7) 2.0) 2.0)) (- (* (- (* -1 (/ x 2.0)) (* (/ (pow x 6) 2.0) (/ 1 x))) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (/ x 2.0)) (- 2.0))) (* (- (pow x 4)) (/ (/ (pow x 7) 2.0) 2.0)) (- (* (- (* -1 (/ x 2.0)) (* (/ (pow x 6) 2.0) (/ 1 x))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (/ x 2.0)) 1)) (* (/ (pow x 4) 2.0) (/ (/ (pow x 7) 2.0) 2.0)) (- (* (- (* -1 (/ x 2.0)) (* (/ (pow x 6) 2.0) (/ 1 x))) (pow x 2)) (* (* (/ (pow x 6) 2.0) (/ x 2.0)) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (/ (pow x 7) 2.0) 2.0)) (fma (pow x 4) (- (* -1 (/ 1 2.0)) (* (/ (pow x 6) 2.0) (/ 1 (* x x)))) (* (- 2.0) (/ (/ (pow x 6) 2.0) 2.0))) (* (pow x 4) (/ (/ (pow x 6) 2.0) 2.0)) (- (* (- (* -1 (/ 1 2.0)) (* (/ (pow x 6) 2.0) (/ 1 (* x x)))) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) (/ 1 2.0)) (- 2.0))) (* (- (pow x 4)) (/ (/ (pow x 6) 2.0) 2.0)) (- (* (- (* -1 (/ 1 2.0)) (* (/ (pow x 6) 2.0) (/ 1 (* x x)))) (/ (pow x 4) 2.0)) (* (* (/ (pow x 6) 2.0) (/ 1 2.0)) 1)) (* (/ (pow x 4) 2.0) (/ (/ (pow x 6) 2.0) 2.0)) (- (* (- (* -1 (/ 1 2.0)) (* (/ (pow x 6) 2.0) (/ 1 (* x x)))) (pow x 2)) (* (* (/ (pow x 6) 2.0) (/ 1 2.0)) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (/ (pow x 6) 2.0) 2.0)) (fma (pow x 4) (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 1 (/ x 2.0)))) (* (- 2.0) (/ (pow x 7) 2.0))) (* (/ (pow x 7) 2.0) (pow x 4)) (- (* (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 1 (/ x 2.0)))) (- (pow x 4))) (* (* (/ (pow x 6) 2.0) x) (- 2.0))) (* (- (pow x 4)) (/ (pow x 7) 2.0)) (fma (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 1 (/ x 2.0)))) (/ (pow x 4) 2.0) (/ (- (pow x 7)) 2.0)) (* (/ (pow x 4) 2.0) (/ (pow x 7) 2.0)) (- (* (- (* -1 x) (* (/ (pow x 6) 2.0) (/ 1 (/ x 2.0)))) (pow x 2)) (* (* (/ (pow x 6) 2.0) x) (/ 2.0 (pow x 2)))) (* (pow x 2) (/ (pow x 7) 2.0)) (fma (pow x 4) (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ 1 (* x (/ x 2.0))) 3)) (* (- 2.0) (+ (* (/ 1 (* x (/ x 2.0))) (+ (/ 1 (* x (/ x 2.0))) (/ (- 2.0) (pow x 6)))) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6)))))) (* (pow x 4) (+ (* (/ 1 (* x (/ x 2.0))) (+ (/ 1 (* x (/ x 2.0))) (/ (- 2.0) (pow x 6)))) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))))) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ 1 (* x (/ x 2.0))) 3)) (- (pow x 4))) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))))) (- 2.0))) (* (- (pow x 4)) (fma (/ 1 (* x (/ x 2.0))) (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))))) (fma (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ 1 (* x (/ x 2.0))) 3)) (/ (pow x 4) 2.0) (- (fma (/ 1 (* x (/ x 2.0))) (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6)))))) (* (/ (pow x 4) 2.0) (+ (* (/ 1 (* x (/ x 2.0))) (+ (/ 1 (* x (/ x 2.0))) (/ (- 2.0) (pow x 6)))) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))))) (- (* (- (pow (/ (- 2.0) (pow x 6)) 3) (pow (/ 1 (* x (/ x 2.0))) 3)) (pow x 2)) (* (+ (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (+ (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0)))) (* (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))))) (/ 2.0 (pow x 2)))) (* (pow x 2) (+ (* (/ 1 (* x (/ x 2.0))) (+ (/ 1 (* x (/ x 2.0))) (/ (- 2.0) (pow x 6)))) (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))))) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0))))) (pow x 4)) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) 2.0)) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (pow x 4)) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0))))) (- (pow x 4))) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (- 2.0))) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (- (pow x 4))) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0))))) (/ (pow x 4) 2.0)) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) 1)) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (/ (pow x 4) 2.0)) (- (* (- (* (/ (- 2.0) (pow x 6)) (/ (- 2.0) (pow x 6))) (* (/ 1 (* x (/ x 2.0))) (/ 1 (* x (/ x 2.0))))) (pow x 2)) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x 2)))) (* (+ (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (pow x 2)) (- (pow (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) 3) (pow (/ 2.0 (pow x 4)) 3)) (fma (/ 2.0 (pow x 4)) (+ (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x 4))) (* (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))))) (- (/ 2.0 (pow x 4))) (- (* (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0))))) (* (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)))) (+ (- (/ (- 2.0) (pow x 6)) (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x 4))) (- (fma (- (/ 1 (* x (/ x 2.0)))) 1 (* (/ 1 (* x (/ x 2.0))) 1)) (/ 2.0 (pow x 4))) (- (fma (- (/ 2.0 x)) (/ 1 x) (* (/ 2.0 x) (/ 1 x))) (/ 2.0 (pow x 4))) (- (fma (- 2.0) (/ 1 (* x x)) (* 2.0 (/ 1 (* x x)))) (/ 2.0 (pow x 4))) (- (fma (- (- 2.0)) (/ 1 (* x (- x))) (* (- 2.0) (/ 1 (* x (- x))))) (/ 2.0 (pow x 4))) (- (fma (- (/ 2.0 x)) (/ 1 x) (* (/ 2.0 x) (/ 1 x))) (/ 2.0 (pow x 4))) (- (fma (- (/ 1 (* x (/ x 2.0)))) 1 (* (/ 1 (* x (/ x 2.0))) 1)) (/ 2.0 (pow x 4))) (- (fma (- (/ 2.0 x)) (/ 1 x) (* (/ 2.0 x) (/ 1 x))) (/ 2.0 (pow x 4))) (- (fma (- 2.0) (/ 1 (* x x)) (* 2.0 (/ 1 (* x x)))) (/ 2.0 (pow x 4))) (- (fma (- (- 2.0)) (/ 1 (* x (- x))) (* (- 2.0) (/ 1 (* x (- x))))) (/ 2.0 (pow x 4))) (- (fma (- (/ 2.0 x)) (/ 1 x) (* (/ 2.0 x) (/ 1 x))) (/ 2.0 (pow x 4))) (- (- (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x 4))) (- (- (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x 4))) (+ (/ 1 (* x (/ x 2.0))) (/ 2.0 (pow x 4))) (+ (+ (/ 2.0 (pow x 6)) (/ 1 (* x (/ x 2.0)))) (/ 2.0 (pow x 4))) (- (/ 2.0 (pow x 4))) (/ (/ 2.0 x) x) (/ (/ 2.0 x) x) (/ (/ 2.0 x) x) (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)) (/ 2.0 (pow x 4)) (/ -2.0 (pow x 6)) (/ -2.0 (pow x 6)) (/ -2.0 (pow x 6)) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4)))))) 2.042 * * * [progress]: adding candidates to table 2.587 * [progress]: [Phase 3 of 3] Extracting. 2.587 * * [regime]: Finding splitpoints for: (# # # # # #) 2.594 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.594 * * * * [regimes]: Trying to branch on x from (# # # # # #) 2.633 * * * [regime]: Found split indices: #