20.238 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.047 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.052 * [simplify]: Simplifying using # : (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 0.055 * * [simplify]: iteration 0 : 70 enodes (cost 42 ) 0.058 * * [simplify]: iteration 1 : 252 enodes (cost 42 ) 0.064 * * [simplify]: iteration 2 : 1059 enodes (cost 42 ) 0.092 * * [simplify]: iteration 3 : 4713 enodes (cost 42 ) 0.168 * * [simplify]: iteration 4 : 5001 enodes (cost 42 ) 0.168 * [simplify]: Simplified to: (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 0.169 * * [progress]: iteration 1 / 4 0.169 * * * [progress]: picking best candidate 0.172 * * * * [pick]: Picked # 0.173 * * * [progress]: localizing error 0.197 * * * [progress]: generating rewritten candidates 0.197 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.199 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 0.259 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.410 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 1.434 * * * [progress]: generating series expansions 1.434 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.434 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 1.435 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 1.435 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.435 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.435 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.435 * [taylor]: Taking taylor expansion of (fabs x) in x 1.435 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.435 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.435 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.435 * [taylor]: Taking taylor expansion of (fabs x) in x 1.448 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 1.448 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.448 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.448 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.448 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.448 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.448 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.448 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.448 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.461 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 1.461 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.461 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.461 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.461 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.461 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.461 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.461 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.461 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.477 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.480 * [approximate]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) in (x) around 0 1.480 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) in x 1.480 * [taylor]: Taking taylor expansion of 1.0 in x 1.480 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) in x 1.480 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.480 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.480 * [taylor]: Taking taylor expansion of PI in x 1.482 * [taylor]: Taking taylor expansion of (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))) in x 1.482 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.482 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.482 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.482 * [taylor]: Taking taylor expansion of (fabs x) in x 1.482 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 1.482 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.482 * [taylor]: Taking taylor expansion of 0.2 in x 1.482 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.482 * [taylor]: Taking taylor expansion of (fabs x) in x 1.482 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 1.482 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 1.482 * [taylor]: Taking taylor expansion of 2.0 in x 1.482 * [taylor]: Taking taylor expansion of (fabs x) in x 1.482 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 1.482 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.482 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 1.482 * [taylor]: Taking taylor expansion of (fabs x) in x 1.482 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) in x 1.482 * [taylor]: Taking taylor expansion of 1.0 in x 1.482 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) in x 1.482 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.482 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.482 * [taylor]: Taking taylor expansion of PI in x 1.484 * [taylor]: Taking taylor expansion of (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))) in x 1.484 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.484 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.484 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.484 * [taylor]: Taking taylor expansion of (fabs x) in x 1.484 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 1.484 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.485 * [taylor]: Taking taylor expansion of 0.2 in x 1.485 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.485 * [taylor]: Taking taylor expansion of (fabs x) in x 1.485 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 1.485 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 1.485 * [taylor]: Taking taylor expansion of 2.0 in x 1.485 * [taylor]: Taking taylor expansion of (fabs x) in x 1.485 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 1.485 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.485 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 1.485 * [taylor]: Taking taylor expansion of (fabs x) in x 1.578 * [approximate]: Taking taylor expansion of (* 1.0 (* (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (sqrt (/ 1 PI)))) in (x) around 0 1.578 * [taylor]: Taking taylor expansion of (* 1.0 (* (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (sqrt (/ 1 PI)))) in x 1.578 * [taylor]: Taking taylor expansion of 1.0 in x 1.578 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (sqrt (/ 1 PI))) in x 1.578 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) in x 1.578 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 1.578 * [taylor]: Taking taylor expansion of 2.0 in x 1.578 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.578 * [taylor]: Taking taylor expansion of (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)))) in x 1.578 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 1.578 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.578 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 1.578 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.578 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 1.578 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 1.578 * [taylor]: Taking taylor expansion of 0.2 in x 1.578 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.578 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.578 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.578 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.578 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.578 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.579 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.579 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.579 * [taylor]: Taking taylor expansion of PI in x 1.580 * [taylor]: Taking taylor expansion of (* 1.0 (* (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (sqrt (/ 1 PI)))) in x 1.581 * [taylor]: Taking taylor expansion of 1.0 in x 1.581 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (sqrt (/ 1 PI))) in x 1.581 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) in x 1.581 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 1.581 * [taylor]: Taking taylor expansion of 2.0 in x 1.581 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.581 * [taylor]: Taking taylor expansion of (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)))) in x 1.581 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 1.581 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.581 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 1.581 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.581 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 1.581 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 1.581 * [taylor]: Taking taylor expansion of 0.2 in x 1.581 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.581 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.581 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.581 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.581 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.581 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.581 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.581 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.581 * [taylor]: Taking taylor expansion of PI in x 1.679 * [approximate]: Taking taylor expansion of (* 1.0 (* (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) (sqrt (/ 1 PI)))) in (x) around 0 1.679 * [taylor]: Taking taylor expansion of (* 1.0 (* (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) (sqrt (/ 1 PI)))) in x 1.679 * [taylor]: Taking taylor expansion of 1.0 in x 1.679 * [taylor]: Taking taylor expansion of (* (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) (sqrt (/ 1 PI))) in x 1.679 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) in x 1.679 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 1.679 * [taylor]: Taking taylor expansion of 0.2 in x 1.679 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.679 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.679 * [taylor]: Taking taylor expansion of (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) in x 1.679 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 1.679 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.679 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 1.679 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.679 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 1.679 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 1.679 * [taylor]: Taking taylor expansion of 2.0 in x 1.679 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.679 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.679 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.679 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.679 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.679 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.679 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.679 * [taylor]: Taking taylor expansion of PI in x 1.681 * [taylor]: Taking taylor expansion of (* 1.0 (* (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) (sqrt (/ 1 PI)))) in x 1.681 * [taylor]: Taking taylor expansion of 1.0 in x 1.681 * [taylor]: Taking taylor expansion of (* (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) (sqrt (/ 1 PI))) in x 1.681 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) in x 1.681 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 1.682 * [taylor]: Taking taylor expansion of 0.2 in x 1.682 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.682 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.682 * [taylor]: Taking taylor expansion of (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) in x 1.682 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 1.682 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.682 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 1.682 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.682 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 1.682 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 1.682 * [taylor]: Taking taylor expansion of 2.0 in x 1.682 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.682 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.682 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.682 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.682 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.682 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.682 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.682 * [taylor]: Taking taylor expansion of PI in x 1.776 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 1.776 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1.776 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.776 * [taylor]: Taking taylor expansion of (fabs x) in x 1.777 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.777 * [taylor]: Taking taylor expansion of (fabs x) in x 1.784 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1.784 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.784 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.784 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.784 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.792 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1.792 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.792 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.792 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.792 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.800 * * * [progress]: simplifying candidates 1.803 * [simplify]: Simplifying using # : (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (expm1 (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (log1p (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (+ (- (log 1.0) (log (sqrt PI))) (log (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (+ (log (/ 1.0 (sqrt PI))) (log (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (log (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (exp (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ (* (* 1.0 1.0) 1.0) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (* (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (* (* (/ 1.0 (sqrt PI)) (/ 1.0 (sqrt PI))) (/ 1.0 (sqrt PI))) (* (* (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (cbrt (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (* (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (sqrt (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (sqrt (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 1.0 (+ (* (+ (* (+ (pow (* 2.0 (fabs x)) 3) (pow (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) 3)) 5.0) (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))) (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) 21.0) (* (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))) 5.0) (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (sqrt PI) (* (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))) 5.0) 21.0)) (* 1.0 (+ (* (+ (* (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) 5.0) (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) 21.0) (* (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) 5.0) (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (sqrt PI) (* (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) 5.0) 21.0)) (* 1.0 (+ (* (+ (pow (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) 3) (pow (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 3)) 21.0) (* (+ (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (- (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (sqrt PI) (* (+ (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (- (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 21.0)) (* 1.0 (+ (* (- (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) 21.0) (* (- (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (sqrt PI) (* (- (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) 21.0)) (* 1.0 (+ (pow (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) 3) (pow (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 3))) (* (sqrt PI) (+ (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (- (* (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) (* 1.0 (- (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (sqrt PI) (- (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1.0 (sqrt PI)) (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1.0 (sqrt PI)) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (/ 1.0 (sqrt PI))) (* (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (/ 1.0 (sqrt PI))) (* (/ 1.0 (sqrt PI)) (* (cbrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) (* (/ 1.0 (sqrt PI)) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1.0 (sqrt PI)) 1) (* (cbrt (/ 1.0 (sqrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (cbrt 1.0) (cbrt (sqrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (cbrt 1.0) (sqrt (cbrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (cbrt 1.0) (sqrt (sqrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (cbrt 1.0) (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (cbrt 1.0) (sqrt (sqrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (cbrt 1.0) (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (sqrt 1.0) (cbrt (sqrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (sqrt 1.0) (sqrt (cbrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (sqrt 1.0) (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ (sqrt 1.0) (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1.0 (cbrt (sqrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1.0 (sqrt (cbrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1.0 (sqrt (sqrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1.0 (sqrt (sqrt PI))) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (/ 1.0 (sqrt PI)) (+ (* (+ (* (+ (pow (* 2.0 (fabs x)) 3) (pow (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) 3)) 5.0) (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))) (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) 21.0) (* (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))) 5.0) (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1.0 (sqrt PI)) (+ (* (+ (* (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) 5.0) (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) 21.0) (* (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) 5.0) (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1.0 (sqrt PI)) (+ (* (+ (pow (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) 3) (pow (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 3)) 21.0) (* (+ (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (- (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1.0 (sqrt PI)) (+ (* (- (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) 21.0) (* (- (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1.0 (sqrt PI)) (+ (pow (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) 3) (pow (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 3))) (* (/ 1.0 (sqrt PI)) (- (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 1.0 (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (expm1 (* (* (fabs x) (fabs x)) (fabs x))) (log1p (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 1.820 * * [simplify]: iteration 0 : 1006 enodes (cost 4086 ) 1.843 * * [simplify]: iteration 1 : 5001 enodes (cost 3203 ) 1.859 * [simplify]: Simplified to: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3)) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0))) (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0))) (/ (* (cbrt 2.0) (pow (fabs x) 3)) (cbrt 3.0)) (/ (* (cbrt 2.0) (pow (fabs x) 3)) (sqrt 3.0)) (/ (* (cbrt 2.0) (pow (fabs x) 3)) 3.0) (/ (* (sqrt 2.0) (pow (fabs x) 3)) (cbrt 3.0)) (/ (* (sqrt 2.0) (pow (fabs x) 3)) (sqrt 3.0)) (/ (* (sqrt 2.0) (pow (fabs x) 3)) 3.0) (* (pow (fabs x) 3) (/ 2.0 (cbrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (/ (pow (fabs x) 3) 3.0) (* (pow (fabs x) 3) 2.0) (expm1 (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (log1p (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))))) (- (log (fma 1.0 (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* 1.0 (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (log (sqrt PI))) (- (log (fma 1.0 (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* 1.0 (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (log (sqrt PI))) (- (log (fma 1.0 (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* 1.0 (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (log (sqrt PI))) (pow (exp (/ 1.0 (sqrt PI))) (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))))) (* (/ (pow 1.0 3) (sqrt PI)) (/ (pow (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) 3) PI)) (* (/ (pow 1.0 3) (sqrt PI)) (/ (pow (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) 3) PI)) (* (cbrt (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ (pow 1.0 3) (sqrt PI)) (/ (pow (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) 3) PI)) (sqrt (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (sqrt (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (fma 21.0 (fma (fma (* (pow (fabs x) 3) (/ 2.0 3.0)) (- (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (fabs x))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) 1.0) (* 5.0 (+ (* (pow (/ 2.0 3.0) 3) (pow (pow (fabs x) 3) 3)) (pow (* 2.0 (fabs x)) 3)))) (* (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) 1.0) (* 5.0 (+ (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (- (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (fabs x)))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x))))))) 1.0) (* (* (sqrt PI) (fma (* (pow (fabs x) 3) (/ 2.0 3.0)) (- (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (fabs x))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x))))) (* 5.0 21.0)) (* (fma 21.0 (fma 5.0 (* (fma 2.0 (fabs x) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) 1.0) (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))) (* (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) 1.0) (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) 5.0))) 1.0) (* (* (sqrt PI) (* (fabs x) (- 2.0 (* (/ 2.0 3.0) (* (fabs x) (fabs x)))))) (* 5.0 21.0)) (* (fma (fma (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (/ 1.0 5.0)) (- (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (fma 2.0 (fabs x) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) 1.0) (* (+ (pow (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) 3) (pow (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 3)) 21.0)) 1.0) (* (* (sqrt PI) 21.0) (+ (fma (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (* (/ 1.0 5.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (- (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (/ 1.0 5.0))))) (* (fma (fma (fabs x) 2.0 (- (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) 1.0) (* 21.0 (fma (fma 2.0 (fabs x) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (fma 2.0 (fabs x) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (- (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))))) 1.0) (* (* (sqrt PI) 21.0) (+ (* (pow (fabs x) 3) (/ 2.0 3.0)) (- (* 2.0 (fabs x)) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (/ 1.0 5.0))))) (* 1.0 (+ (pow (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) 3) (pow (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 3))) (* (+ (* (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (- (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (sqrt PI)) (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (* (+ (* 2.0 (fabs x)) (- (fma (/ 2.0 3.0) (pow (fabs x) 3) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (/ 1.0 5.0))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) 1.0)) (+ (* (sqrt PI) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (* (sqrt PI) (* (- (/ 1.0 21.0)) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (* (* (* (/ 1.0 (sqrt PI)) (/ 1.0 21.0)) (pow (fabs x) 6)) (fabs x)) (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (* (* (* (/ 1.0 (sqrt PI)) (/ 1.0 21.0)) (pow (fabs x) 6)) (fabs x)) (* (/ 1.0 (sqrt PI)) (* (cbrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) (* (/ 1.0 (sqrt PI)) (sqrt (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (/ 1.0 (sqrt PI)) (+ (* (cbrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (cbrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (cbrt 1.0)) (cbrt (sqrt PI))) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (cbrt 1.0)) (sqrt (cbrt PI))) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (cbrt 1.0)) (sqrt (sqrt PI))) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (cbrt 1.0)) (sqrt PI)) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (cbrt 1.0)) (sqrt (sqrt PI))) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (cbrt 1.0)) (sqrt PI)) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (sqrt 1.0)) (cbrt (sqrt PI))) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (sqrt 1.0)) (sqrt (cbrt PI))) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (sqrt 1.0)) (sqrt (sqrt PI))) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (sqrt 1.0)) (sqrt PI)) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (sqrt 1.0)) (sqrt (sqrt PI))) (/ (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (sqrt 1.0)) (sqrt PI)) (+ (* (/ 1.0 (cbrt (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (cbrt (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (+ (* (/ 1.0 (sqrt (cbrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (sqrt (cbrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (+ (* (/ 1.0 (sqrt (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (sqrt (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))))) (+ (* (/ 1.0 (sqrt (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (sqrt (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))))) (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))))) (/ (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (sqrt PI)) (* (/ 1.0 (sqrt PI)) (fma 21.0 (fma (fma (* (pow (fabs x) 3) (/ 2.0 3.0)) (- (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (fabs x))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) 1.0) (* 5.0 (+ (* (pow (/ 2.0 3.0) 3) (pow (pow (fabs x) 3) 3)) (pow (* 2.0 (fabs x)) 3)))) (* (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) 1.0) (* 5.0 (+ (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (- (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (fabs x)))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))))))) (+ (* (/ 1.0 (sqrt PI)) (+ (* 21.0 (+ (* 5.0 (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (* 5.0 (* (- (* (/ 2.0 3.0) (/ 2.0 3.0))) (pow (fabs x) 6))))) (* 21.0 (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) 1.0) (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))))) (* (/ 1.0 (sqrt PI)) (* (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) 1.0) (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) 5.0)))) (* (/ 1.0 (sqrt PI)) (fma (fma (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (/ 1.0 5.0)) (- (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (fma 2.0 (fabs x) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) 1.0) (* (+ (pow (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) 3) (pow (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) 3)) 21.0))) (+ (* (/ 1.0 (sqrt PI)) (+ (* 21.0 (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))))) (* 21.0 (* (- (* (/ 1.0 5.0) (/ 1.0 5.0))) (* (pow (* (fabs x) (fabs x)) 3) (pow (fabs x) 4)))))) (* (/ 1.0 (sqrt PI)) (* (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) 1.0) (- (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))))) (+ (* (/ 1.0 (sqrt PI)) (pow (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)) 3)) (* (/ 1.0 (sqrt PI)) (pow (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) 3))) (* (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))))) (+ (* 2.0 (fabs x)) (- (fma (/ 2.0 3.0) (pow (fabs x) 3) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (/ 1.0 5.0))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (* (fma (/ 1.0 21.0) (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) 1.0) (expm1 (* (* (fabs x) (fabs x)) (fabs x))) (log1p (* (* (fabs x) (fabs x)) (fabs x))) 3 3 3 3 (pow (fabs x) 3) (pow (fabs x) 3) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (pow (fabs x) 3)) (pow (pow (fabs x) 3) 3) (pow (pow (fabs x) 3) 3) (* (fabs x) (fabs x)) (fabs x) (pow (pow (fabs x) 3) 3) (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* (* 1.0 (sqrt (/ 1 PI))) (fma 0.6666666666666666 (pow (fabs x) 3) (fma 0.2 (pow (fabs x) 5) (fma 2.0 (fabs x) (* 0.047619047619047616 (pow (fabs x) 7)))))) (* (* 1.0 (sqrt (/ 1 PI))) (fma 0.6666666666666666 (pow (fabs x) 3) (fma 0.2 (pow (fabs x) 5) (fma 2.0 (fabs x) (* 0.047619047619047616 (pow (fabs x) 7)))))) (* (* 1.0 (sqrt (/ 1 PI))) (fma 0.6666666666666666 (pow (fabs x) 3) (fma 0.2 (pow (fabs x) 5) (fma 2.0 (fabs x) (* 0.047619047619047616 (pow (fabs x) 7)))))) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 1.861 * * * [progress]: adding candidates to table 2.455 * * [progress]: iteration 2 / 4 2.455 * * * [progress]: picking best candidate 2.485 * * * * [pick]: Picked # 2.485 * * * [progress]: localizing error 2.518 * * * [progress]: generating rewritten candidates 2.518 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 2 1) 2.519 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1) 2.520 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 2) 2.521 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 2.523 * * * [progress]: generating series expansions 2.523 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 2 1) 2.523 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1) 2.523 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 2) 2.523 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 2.523 * * * [progress]: simplifying candidates 2.524 * [simplify]: Simplifying using # : (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt 1) (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) (* (* (cbrt PI) (cbrt PI)) (cbrt PI)) (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt 1) (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) (* (* (cbrt PI) (cbrt PI)) (cbrt PI)) (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt 1) (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) (* (* (cbrt PI) (cbrt PI)) (cbrt PI)) (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt 1) (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) (* (* (cbrt PI) (cbrt PI)) (cbrt PI)) (sqrt (cbrt PI)) (sqrt (cbrt PI)) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (+ (* (/ 1.0 (sqrt (cbrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (sqrt (cbrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (+ (* (/ 1.0 (sqrt (cbrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (sqrt (cbrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (+ (* (/ 1.0 (sqrt (cbrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (sqrt (cbrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (+ (* (/ 1.0 (sqrt (cbrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (sqrt (cbrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) 2.527 * * [simplify]: iteration 0 : 92 enodes (cost 312 ) 2.530 * * [simplify]: iteration 1 : 290 enodes (cost 300 ) 2.537 * * [simplify]: iteration 2 : 1422 enodes (cost 292 ) 2.571 * * [simplify]: iteration 3 : 5002 enodes (cost 292 ) 2.573 * [simplify]: Simplified to: (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt 1) (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) PI (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt 1) (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) PI (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt 1) (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) PI (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt 1) (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) PI (sqrt (cbrt PI)) (sqrt (cbrt PI)) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (+ (* (/ 1.0 (sqrt (cbrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (sqrt (cbrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (+ (* (/ 1.0 (sqrt (cbrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (sqrt (cbrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (+ (* (/ 1.0 (sqrt (cbrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (sqrt (cbrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (+ (* (/ 1.0 (sqrt (cbrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (/ 1.0 (sqrt (cbrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) 2.573 * * * [progress]: adding candidates to table 2.905 * * [progress]: iteration 3 / 4 2.905 * * * [progress]: picking best candidate 2.933 * * * * [pick]: Picked # 2.933 * * * [progress]: localizing error 2.968 * * * [progress]: generating rewritten candidates 2.968 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 2 1) 2.969 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2) 2.970 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1) 2.971 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1 2 1 2 1) 2.973 * * * [progress]: generating series expansions 2.973 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 2 1) 2.973 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2) 2.973 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1) 2.973 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1 2 1 2 1) 2.973 * * * [progress]: simplifying candidates 2.974 * [simplify]: Simplifying using # : (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt 1) (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) (* (* (cbrt PI) (cbrt PI)) (cbrt PI)) (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt 1) (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) (* (* (cbrt PI) (cbrt PI)) (cbrt PI)) (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt 1) (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) (* (* (cbrt PI) (cbrt PI)) (cbrt PI)) (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) 2.977 * * [simplify]: iteration 0 : 33 enodes (cost 155 ) 2.979 * * [simplify]: iteration 1 : 37 enodes (cost 146 ) 2.980 * * [simplify]: iteration 2 : 44 enodes (cost 140 ) 2.982 * * [simplify]: iteration 3 : 65 enodes (cost 140 ) 2.983 * * [simplify]: iteration 4 : 111 enodes (cost 140 ) 2.986 * * [simplify]: iteration 5 : 223 enodes (cost 140 ) 2.992 * * [simplify]: iteration 6 : 872 enodes (cost 140 ) 3.015 * * [simplify]: iteration 7 : 2973 enodes (cost 139 ) 3.103 * * [simplify]: iteration 8 : 5001 enodes (cost 136 ) 3.104 * [simplify]: Simplified to: (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) 1 (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) PI (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) 1 (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) PI (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (cbrt PI)) (log1p (cbrt PI)) (log (cbrt PI)) (exp (cbrt PI)) (cbrt (* (cbrt PI) (cbrt PI))) (cbrt (cbrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) 1 (cbrt PI) (* (cbrt (cbrt PI)) (cbrt (cbrt PI))) (cbrt (cbrt PI)) PI (sqrt (cbrt PI)) (sqrt (cbrt PI)) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) (cbrt (sqrt PI)) 3.105 * * * [progress]: adding candidates to table 3.468 * * [progress]: iteration 4 / 4 3.468 * * * [progress]: picking best candidate 3.491 * * * * [pick]: Picked # 3.491 * * * [progress]: localizing error 3.517 * * * [progress]: generating rewritten candidates 3.517 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 1 2) 3.518 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 2) 3.520 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 3.521 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.601 * * * [progress]: generating series expansions 3.601 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 1 2) 3.601 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 2) 3.601 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 3.601 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.608 * [approximate]: Taking taylor expansion of (* (* (+ (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3)))) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7)))) (pow (/ 1 PI) 1/4))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) in (x) around 0 3.609 * [taylor]: Taking taylor expansion of (* (* (+ (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3)))) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7)))) (pow (/ 1 PI) 1/4))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) in x 3.609 * [taylor]: Taking taylor expansion of (* (+ (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3)))) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7)))) (pow (/ 1 PI) 1/4))) (sqrt 1.0)) in x 3.609 * [taylor]: Taking taylor expansion of (+ (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3)))) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7)))) (pow (/ 1 PI) 1/4))) in x 3.609 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3)))) (pow (/ 1 PI) 1/4)) in x 3.609 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3)))) in x 3.609 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.609 * [taylor]: Taking taylor expansion of 1.0 in x 3.609 * [taylor]: Taking taylor expansion of (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3))) in x 3.610 * [taylor]: Rewrote expression to (+ (* (fabs x) 2.0) (* 0.6666666666666666 (pow (fabs x) 3))) 3.610 * [taylor]: Taking taylor expansion of (* (fabs x) 2.0) in x 3.610 * [taylor]: Taking taylor expansion of (fabs x) in x 3.610 * [taylor]: Taking taylor expansion of 2.0 in x 3.610 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 3.610 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.610 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.610 * [taylor]: Taking taylor expansion of (fabs x) in x 3.610 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 3.610 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 3.610 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 3.610 * [taylor]: Taking taylor expansion of 1/4 in x 3.610 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 3.610 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 3.610 * [taylor]: Taking taylor expansion of PI in x 3.613 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7)))) (pow (/ 1 PI) 1/4)) in x 3.613 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 3.613 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.613 * [taylor]: Taking taylor expansion of 1.0 in x 3.614 * [taylor]: Taking taylor expansion of (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7))) in x 3.614 * [taylor]: Rewrote expression to (+ (* 0.2 (pow (fabs x) 5)) (* 0.047619047619047616 (pow (fabs x) 7))) 3.614 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 3.614 * [taylor]: Taking taylor expansion of 0.2 in x 3.614 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 3.614 * [taylor]: Taking taylor expansion of (fabs x) in x 3.614 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 3.614 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 3.614 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 3.614 * [taylor]: Taking taylor expansion of (fabs x) in x 3.614 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 3.614 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 3.614 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 3.614 * [taylor]: Taking taylor expansion of 1/4 in x 3.614 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 3.614 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 3.614 * [taylor]: Taking taylor expansion of PI in x 3.618 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.618 * [taylor]: Taking taylor expansion of 1.0 in x 3.618 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 3.618 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 3.618 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 3.618 * [taylor]: Taking taylor expansion of 1/4 in x 3.618 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 3.618 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 3.618 * [taylor]: Taking taylor expansion of PI in x 3.622 * [taylor]: Taking taylor expansion of (* (* (+ (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3)))) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7)))) (pow (/ 1 PI) 1/4))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) in x 3.622 * [taylor]: Taking taylor expansion of (* (+ (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3)))) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7)))) (pow (/ 1 PI) 1/4))) (sqrt 1.0)) in x 3.622 * [taylor]: Taking taylor expansion of (+ (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3)))) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7)))) (pow (/ 1 PI) 1/4))) in x 3.622 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3)))) (pow (/ 1 PI) 1/4)) in x 3.622 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3)))) in x 3.622 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.622 * [taylor]: Taking taylor expansion of 1.0 in x 3.622 * [taylor]: Taking taylor expansion of (fma (fabs x) 2.0 (* 0.6666666666666666 (pow (fabs x) 3))) in x 3.623 * [taylor]: Rewrote expression to (+ (* (fabs x) 2.0) (* 0.6666666666666666 (pow (fabs x) 3))) 3.623 * [taylor]: Taking taylor expansion of (* (fabs x) 2.0) in x 3.623 * [taylor]: Taking taylor expansion of (fabs x) in x 3.623 * [taylor]: Taking taylor expansion of 2.0 in x 3.623 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 3.623 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.623 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.623 * [taylor]: Taking taylor expansion of (fabs x) in x 3.623 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 3.623 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 3.623 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 3.623 * [taylor]: Taking taylor expansion of 1/4 in x 3.623 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 3.623 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 3.623 * [taylor]: Taking taylor expansion of PI in x 3.626 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7)))) (pow (/ 1 PI) 1/4)) in x 3.626 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 3.626 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.626 * [taylor]: Taking taylor expansion of 1.0 in x 3.627 * [taylor]: Taking taylor expansion of (fma 0.2 (pow (fabs x) 5) (* 0.047619047619047616 (pow (fabs x) 7))) in x 3.627 * [taylor]: Rewrote expression to (+ (* 0.2 (pow (fabs x) 5)) (* 0.047619047619047616 (pow (fabs x) 7))) 3.627 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 3.627 * [taylor]: Taking taylor expansion of 0.2 in x 3.627 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 3.627 * [taylor]: Taking taylor expansion of (fabs x) in x 3.627 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 3.627 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 3.627 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 3.627 * [taylor]: Taking taylor expansion of (fabs x) in x 3.627 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 3.627 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 3.627 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 3.627 * [taylor]: Taking taylor expansion of 1/4 in x 3.627 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 3.627 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 3.627 * [taylor]: Taking taylor expansion of PI in x 3.631 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 3.631 * [taylor]: Taking taylor expansion of 1.0 in x 3.631 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 3.631 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 3.631 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 3.631 * [taylor]: Taking taylor expansion of 1/4 in x 3.631 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 3.631 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 3.631 * [taylor]: Taking taylor expansion of PI in x 4.001 * [approximate]: Taking taylor expansion of (* (* (sqrt 1.0) (+ (* (pow (/ 1 PI) 1/4) (* (sqrt 1.0) (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)))) (pow (/ 1 PI) 1/4)))) (pow (/ 1 PI) 1/4)) in (x) around 0 4.001 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (+ (* (pow (/ 1 PI) 1/4) (* (sqrt 1.0) (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)))) (pow (/ 1 PI) 1/4)))) (pow (/ 1 PI) 1/4)) in x 4.001 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (+ (* (pow (/ 1 PI) 1/4) (* (sqrt 1.0) (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)))) (pow (/ 1 PI) 1/4)))) in x 4.001 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.001 * [taylor]: Taking taylor expansion of 1.0 in x 4.001 * [taylor]: Taking taylor expansion of (+ (* (pow (/ 1 PI) 1/4) (* (sqrt 1.0) (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)))) (pow (/ 1 PI) 1/4))) in x 4.001 * [taylor]: Taking taylor expansion of (* (pow (/ 1 PI) 1/4) (* (sqrt 1.0) (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) in x 4.002 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.002 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.002 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.002 * [taylor]: Taking taylor expansion of 1/4 in x 4.002 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.002 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.002 * [taylor]: Taking taylor expansion of PI in x 4.005 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)))) in x 4.005 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.005 * [taylor]: Taking taylor expansion of 1.0 in x 4.006 * [taylor]: Taking taylor expansion of (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 4.006 * [taylor]: Rewrote expression to (+ (* (fabs (/ 1 x)) 2.0) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) 4.006 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) 2.0) in x 4.006 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 4.006 * [taylor]: Taking taylor expansion of 2.0 in x 4.006 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 4.006 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 4.006 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 4.006 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 4.006 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)))) (pow (/ 1 PI) 1/4)) in x 4.006 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)))) in x 4.006 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.006 * [taylor]: Taking taylor expansion of 1.0 in x 4.007 * [taylor]: Taking taylor expansion of (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7))) in x 4.007 * [taylor]: Rewrote expression to (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7))) 4.007 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 4.007 * [taylor]: Taking taylor expansion of 0.2 in x 4.007 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 4.007 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 4.007 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 4.007 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 4.007 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 4.007 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 4.007 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.007 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.007 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.007 * [taylor]: Taking taylor expansion of 1/4 in x 4.007 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.007 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.007 * [taylor]: Taking taylor expansion of PI in x 4.011 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.011 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.011 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.011 * [taylor]: Taking taylor expansion of 1/4 in x 4.011 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.011 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.011 * [taylor]: Taking taylor expansion of PI in x 4.014 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (+ (* (pow (/ 1 PI) 1/4) (* (sqrt 1.0) (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)))) (pow (/ 1 PI) 1/4)))) (pow (/ 1 PI) 1/4)) in x 4.014 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (+ (* (pow (/ 1 PI) 1/4) (* (sqrt 1.0) (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)))) (pow (/ 1 PI) 1/4)))) in x 4.014 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.014 * [taylor]: Taking taylor expansion of 1.0 in x 4.015 * [taylor]: Taking taylor expansion of (+ (* (pow (/ 1 PI) 1/4) (* (sqrt 1.0) (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (* (* (sqrt 1.0) (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)))) (pow (/ 1 PI) 1/4))) in x 4.015 * [taylor]: Taking taylor expansion of (* (pow (/ 1 PI) 1/4) (* (sqrt 1.0) (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) in x 4.015 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.015 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.015 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.015 * [taylor]: Taking taylor expansion of 1/4 in x 4.015 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.015 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.015 * [taylor]: Taking taylor expansion of PI in x 4.024 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)))) in x 4.024 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.024 * [taylor]: Taking taylor expansion of 1.0 in x 4.025 * [taylor]: Taking taylor expansion of (fma (fabs (/ 1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 4.025 * [taylor]: Rewrote expression to (+ (* (fabs (/ 1 x)) 2.0) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) 4.025 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) 2.0) in x 4.025 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 4.025 * [taylor]: Taking taylor expansion of 2.0 in x 4.025 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 4.025 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 4.025 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 4.025 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 4.025 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)))) (pow (/ 1 PI) 1/4)) in x 4.025 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)))) in x 4.025 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.025 * [taylor]: Taking taylor expansion of 1.0 in x 4.026 * [taylor]: Taking taylor expansion of (fma 0.2 (pow (fabs (/ 1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7))) in x 4.026 * [taylor]: Rewrote expression to (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7))) 4.026 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 4.026 * [taylor]: Taking taylor expansion of 0.2 in x 4.026 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 4.026 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 4.026 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 4.026 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 4.026 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 4.026 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 4.026 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.026 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.026 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.026 * [taylor]: Taking taylor expansion of 1/4 in x 4.026 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.027 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.027 * [taylor]: Taking taylor expansion of PI in x 4.030 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.030 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.030 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.030 * [taylor]: Taking taylor expansion of 1/4 in x 4.030 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.030 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.030 * [taylor]: Taking taylor expansion of PI in x 4.419 * [approximate]: Taking taylor expansion of (* (* (+ (* (* (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) (pow (/ 1 PI) 1/4))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) in (x) around 0 4.420 * [taylor]: Taking taylor expansion of (* (* (+ (* (* (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) (pow (/ 1 PI) 1/4))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) in x 4.420 * [taylor]: Taking taylor expansion of (* (+ (* (* (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) (pow (/ 1 PI) 1/4))) (sqrt 1.0)) in x 4.420 * [taylor]: Taking taylor expansion of (+ (* (* (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) (pow (/ 1 PI) 1/4))) in x 4.420 * [taylor]: Taking taylor expansion of (* (* (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) in x 4.420 * [taylor]: Taking taylor expansion of (* (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) (sqrt 1.0)) in x 4.420 * [taylor]: Taking taylor expansion of (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) in x 4.420 * [taylor]: Rewrote expression to (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) 4.420 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 4.420 * [taylor]: Taking taylor expansion of 0.2 in x 4.420 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 4.420 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 4.420 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 4.420 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 4.420 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 4.420 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 4.420 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.420 * [taylor]: Taking taylor expansion of 1.0 in x 4.421 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.421 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.421 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.421 * [taylor]: Taking taylor expansion of 1/4 in x 4.421 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.421 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.421 * [taylor]: Taking taylor expansion of PI in x 4.424 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) (pow (/ 1 PI) 1/4)) in x 4.424 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) in x 4.424 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.424 * [taylor]: Taking taylor expansion of 1.0 in x 4.425 * [taylor]: Taking taylor expansion of (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 4.425 * [taylor]: Rewrote expression to (+ (* (fabs (/ -1 x)) 2.0) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) 4.425 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) 2.0) in x 4.425 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 4.425 * [taylor]: Taking taylor expansion of 2.0 in x 4.425 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 4.425 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 4.425 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 4.425 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 4.425 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.425 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.425 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.425 * [taylor]: Taking taylor expansion of 1/4 in x 4.425 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.425 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.425 * [taylor]: Taking taylor expansion of PI in x 4.429 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.429 * [taylor]: Taking taylor expansion of 1.0 in x 4.430 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.430 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.430 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.430 * [taylor]: Taking taylor expansion of 1/4 in x 4.430 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.430 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.430 * [taylor]: Taking taylor expansion of PI in x 4.433 * [taylor]: Taking taylor expansion of (* (* (+ (* (* (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) (pow (/ 1 PI) 1/4))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) in x 4.433 * [taylor]: Taking taylor expansion of (* (+ (* (* (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) (pow (/ 1 PI) 1/4))) (sqrt 1.0)) in x 4.433 * [taylor]: Taking taylor expansion of (+ (* (* (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) (pow (/ 1 PI) 1/4))) in x 4.433 * [taylor]: Taking taylor expansion of (* (* (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) in x 4.433 * [taylor]: Taking taylor expansion of (* (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) (sqrt 1.0)) in x 4.433 * [taylor]: Taking taylor expansion of (fma 0.2 (pow (fabs (/ -1 x)) 5) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) in x 4.433 * [taylor]: Rewrote expression to (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7))) 4.433 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 4.433 * [taylor]: Taking taylor expansion of 0.2 in x 4.433 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 4.433 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 4.433 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 4.433 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 4.433 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 4.433 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 4.433 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.434 * [taylor]: Taking taylor expansion of 1.0 in x 4.434 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.434 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.434 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.434 * [taylor]: Taking taylor expansion of 1/4 in x 4.434 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.434 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.434 * [taylor]: Taking taylor expansion of PI in x 4.437 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) (pow (/ 1 PI) 1/4)) in x 4.437 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)))) in x 4.438 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.438 * [taylor]: Taking taylor expansion of 1.0 in x 4.438 * [taylor]: Taking taylor expansion of (fma (fabs (/ -1 x)) 2.0 (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 4.438 * [taylor]: Rewrote expression to (+ (* (fabs (/ -1 x)) 2.0) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) 4.438 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) 2.0) in x 4.438 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 4.438 * [taylor]: Taking taylor expansion of 2.0 in x 4.439 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 4.439 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 4.439 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 4.439 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 4.439 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.439 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.439 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.439 * [taylor]: Taking taylor expansion of 1/4 in x 4.439 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.439 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.439 * [taylor]: Taking taylor expansion of PI in x 4.442 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 4.442 * [taylor]: Taking taylor expansion of 1.0 in x 4.443 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 4.443 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 4.443 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 4.443 * [taylor]: Taking taylor expansion of 1/4 in x 4.443 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 4.443 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 4.443 * [taylor]: Taking taylor expansion of PI in x 4.830 * * * [progress]: simplifying candidates 4.833 * [simplify]: Simplifying using # : (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (log1p (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (+ (log (sqrt (/ 1.0 (sqrt PI)))) (log (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (log (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (exp (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (* (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (/ 1.0 (sqrt PI)))) (sqrt (/ 1.0 (sqrt PI)))) (* (* (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))))) (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (sqrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (sqrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt 1.0) (+ (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (sqrt (sqrt PI))) (* (sqrt (sqrt PI)) (* (sqrt 1.0) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (sqrt PI)) (* (sqrt (sqrt PI)) (sqrt (sqrt PI)))) (* (sqrt 1.0) (+ (pow (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) 3) (pow (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) 3))) (* (sqrt (sqrt PI)) (+ (* (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (- (* (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))))) (* (sqrt 1.0) (- (* (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (sqrt PI)) (- (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (sqrt (/ 1.0 (sqrt PI)))) (* (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) (sqrt (/ 1.0 (sqrt PI)))) (* (sqrt (/ 1.0 (sqrt PI))) (* (cbrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (cbrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) 1) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (/ 1.0 (sqrt PI)))) (* (cbrt (sqrt (/ 1.0 (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (cbrt (/ 1.0 (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (cbrt 1.0) (cbrt (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (cbrt 1.0) (sqrt (cbrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (cbrt 1.0) (sqrt (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (cbrt 1.0) (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (cbrt 1.0) (sqrt (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (cbrt 1.0) (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (sqrt 1.0) (cbrt (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (sqrt 1.0) (sqrt (cbrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (sqrt 1.0) (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ (sqrt 1.0) (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ 1.0 (cbrt (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ 1.0 (sqrt (cbrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ 1.0 (sqrt (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ 1.0 (sqrt (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ 1 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (sqrt (sqrt PI))) (* (sqrt (sqrt PI)) (* (sqrt 1.0) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (pow (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) 3) (pow (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) 3))) (* (sqrt (/ 1.0 (sqrt PI))) (- (* (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt 1.0) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (fabs (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fabs (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fabs (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (* (+ (* 0.2 (* (* (pow (fabs x) 5) (sqrt 1.0)) (pow (/ 1 PI) 1/4))) (+ (* 2.0 (* (* (fabs x) (sqrt 1.0)) (pow (/ 1 PI) 1/4))) (+ (* 0.047619047619047616 (* (* (pow (fabs x) 7) (sqrt 1.0)) (pow (/ 1 PI) 1/4))) (* 0.6666666666666666 (* (* (pow (fabs x) 3) (sqrt 1.0)) (pow (/ 1 PI) 1/4)))))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) (* (* (+ (* 0.2 (* (* (pow (fabs x) 5) (sqrt 1.0)) (pow (/ 1 PI) 1/4))) (+ (* 2.0 (* (* (fabs x) (sqrt 1.0)) (pow (/ 1 PI) 1/4))) (+ (* 0.047619047619047616 (* (* (pow (fabs x) 7) (sqrt 1.0)) (pow (/ 1 PI) 1/4))) (* 0.6666666666666666 (* (* (pow (fabs x) 3) (sqrt 1.0)) (pow (/ 1 PI) 1/4)))))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) (* (* (+ (* 0.2 (* (* (pow (fabs x) 5) (sqrt 1.0)) (pow (/ 1 PI) 1/4))) (+ (* 2.0 (* (* (fabs x) (sqrt 1.0)) (pow (/ 1 PI) 1/4))) (+ (* 0.047619047619047616 (* (* (pow (fabs x) 7) (sqrt 1.0)) (pow (/ 1 PI) 1/4))) (* 0.6666666666666666 (* (* (pow (fabs x) 3) (sqrt 1.0)) (pow (/ 1 PI) 1/4)))))) (sqrt 1.0)) (pow (/ 1 PI) 1/4)) 4.845 * * [simplify]: iteration 0 : 506 enodes (cost 2845 ) 4.856 * * [simplify]: iteration 1 : 2158 enodes (cost 2619 ) 4.902 * * [simplify]: iteration 2 : 5002 enodes (cost 2548 ) 4.913 * [simplify]: Simplified to: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (log1p (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fma (/ 1.0 (sqrt PI)) (fma (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x) (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0)))) (* (/ 1.0 (sqrt PI)) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (+ (log (/ 1.0 (sqrt PI))) (log (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (+ (log (/ 1.0 (sqrt PI))) (log (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (pow (exp 1) (fma (/ 1.0 (sqrt PI)) (fma (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x) (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0)))) (* (/ 1.0 (sqrt PI)) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))))) (pow (fma (/ 1.0 (sqrt PI)) (fma (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x) (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0)))) (* (/ 1.0 (sqrt PI)) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) 3) (* (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))))) (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (pow (fma (/ 1.0 (sqrt PI)) (fma (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x) (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0)))) (* (/ 1.0 (sqrt PI)) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) 3) (sqrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (sqrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fma (* (sqrt 1.0) (* (sqrt (sqrt PI)) (sqrt 1.0))) (fma (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x) (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0)))) (* (sqrt 1.0) (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (sqrt (sqrt PI))))) (pow (sqrt (sqrt PI)) 3) (* (sqrt 1.0) (+ (pow (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) 3) (pow (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) 3))) (fma (sqrt (sqrt PI)) (* (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))) (- (* (/ 1.0 (sqrt PI)) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))) (* (/ 1.0 (sqrt PI)) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))))) (* (sqrt (sqrt PI)) (* (/ 1.0 (sqrt PI)) (* (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))))) (* (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt 1.0)) (* (sqrt (/ 1.0 (sqrt PI))) (- (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (- (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (sqrt PI))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (/ 1.0 (sqrt PI)) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (+ (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0))) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))) (/ 1.0 (sqrt PI))) (* (/ 1.0 (sqrt PI)) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (+ (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0))) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x))) (/ 1.0 (sqrt PI))) (* (sqrt (/ 1.0 (sqrt PI))) (* (cbrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (cbrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (sqrt (/ 1.0 (sqrt PI))) (/ 1.0 (sqrt PI)) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (cbrt (sqrt (/ 1.0 (sqrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (cbrt (/ 1.0 (sqrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (sqrt (/ 1.0 (sqrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (cbrt 1.0) (cbrt (sqrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (cbrt 1.0) (sqrt (cbrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (cbrt 1.0) (sqrt (sqrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (cbrt 1.0) (sqrt PI)))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (cbrt 1.0) (sqrt (sqrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (cbrt 1.0) (sqrt PI)))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (sqrt 1.0) (cbrt (sqrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (sqrt 1.0) (sqrt (cbrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (sqrt 1.0) (sqrt PI)))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ (sqrt 1.0) (sqrt PI)))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ 1.0 (cbrt (sqrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ 1.0 (sqrt (cbrt PI))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ 1.0 (sqrt (sqrt PI))))) (fma (/ 1.0 (sqrt PI)) (fma (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x) (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0)))) (* (/ 1.0 (sqrt PI)) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ 1.0 (sqrt (sqrt PI))))) (fma (/ 1.0 (sqrt PI)) (fma (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x) (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0)))) (* (/ 1.0 (sqrt PI)) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (fma (/ 1.0 (sqrt PI)) (fma (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x) (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0)))) (* (/ 1.0 (sqrt PI)) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (/ 1 (sqrt PI)))) (* (* (sqrt (/ 1.0 (sqrt PI))) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (sqrt (sqrt (/ 1.0 (sqrt PI))))) (fma (/ 1.0 (sqrt PI)) (fma (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x) (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0)))) (* (/ 1.0 (sqrt PI)) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))))) (fma (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt (sqrt PI)) (sqrt 1.0))) (fma (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x) (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0)))) (* (* (* (sqrt 1.0) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (sqrt (sqrt PI))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (pow (sqrt (/ 1.0 (sqrt PI))) 3) (+ (pow (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))) 3) (pow (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) 3)))) (* (* (/ 1.0 (sqrt PI)) (+ (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (- (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0)))))) (fma (fma (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x) (* (pow (fabs x) 3) (* (pow (fabs x) 4) (/ 1.0 21.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt 1.0)) (* (sqrt 1.0) (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))))) (fabs (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fabs (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (fabs (* (sqrt (/ 1.0 (sqrt PI))) (+ (* (sqrt (/ 1.0 (sqrt PI))) (fma (fabs x) 2.0 (* (pow (fabs x) 3) (/ 2.0 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (fma (/ 1.0 5.0) (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (* (* (pow (fabs x) 3) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (/ 1.0 21.0))))))) (* (* (sqrt 1.0) (pow (/ 1 PI) 1/4)) (+ (* (pow (/ 1 PI) 1/4) (+ (* 0.047619047619047616 (* (pow (fabs x) 7) (sqrt 1.0))) (* 0.6666666666666666 (* (pow (fabs x) 3) (sqrt 1.0))))) (* (pow (/ 1 PI) 1/4) (+ (* 0.2 (* (pow (fabs x) 5) (sqrt 1.0))) (* 2.0 (* (fabs x) (sqrt 1.0))))))) (* (* (sqrt 1.0) (pow (/ 1 PI) 1/4)) (+ (* (pow (/ 1 PI) 1/4) (+ (* 0.047619047619047616 (* (pow (fabs x) 7) (sqrt 1.0))) (* 0.6666666666666666 (* (pow (fabs x) 3) (sqrt 1.0))))) (* (pow (/ 1 PI) 1/4) (+ (* 0.2 (* (pow (fabs x) 5) (sqrt 1.0))) (* 2.0 (* (fabs x) (sqrt 1.0))))))) (* (* (sqrt 1.0) (pow (/ 1 PI) 1/4)) (+ (* (pow (/ 1 PI) 1/4) (+ (* 0.047619047619047616 (* (pow (fabs x) 7) (sqrt 1.0))) (* 0.6666666666666666 (* (pow (fabs x) 3) (sqrt 1.0))))) (* (pow (/ 1 PI) 1/4) (+ (* 0.2 (* (pow (fabs x) 5) (sqrt 1.0))) (* 2.0 (* (fabs x) (sqrt 1.0))))))) 4.914 * * * [progress]: adding candidates to table 5.470 * [progress]: [Phase 3 of 3] Extracting. 5.470 * * [regime]: Finding splitpoints for: (# # # #) 5.475 * * * [regime-changes]: Trying 5 branch expressions: ((fabs x) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) x) 5.475 * * * * [regimes]: Trying to branch on (fabs x) from (# # # #) 5.511 * * * * [regimes]: Trying to branch on (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) from (# # # #) 5.550 * * * * [regimes]: Trying to branch on (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) from (# # # #) 5.593 * * * * [regimes]: Trying to branch on (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) from (# # # #) 5.640 * * * * [regimes]: Trying to branch on x from (# # # #) 5.669 * * * [regime]: Found split indices: #