0.225 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.039 * [progress]: [Phase 2 of 3] Improving. 0.039 * [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.081 * * [simplify]: iteration 0 : 5022 enodes (cost 33 ) 0.082 * [simplify]: Simplified to: (fabs (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) 0.087 * * [progress]: iteration 1 / 4 0.087 * * * [progress]: picking best candidate 0.094 * * * * [pick]: Picked # 0.094 * * * [progress]: localizing error 0.118 * * * [progress]: generating rewritten candidates 0.119 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.120 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.143 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2) 0.149 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1) 0.160 * * * [progress]: generating series expansions 0.161 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.161 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.161 * [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 0.161 * [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 0.161 * [taylor]: Taking taylor expansion of 1.0 in x 0.161 * [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 0.161 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.161 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.161 * [taylor]: Taking taylor expansion of PI in x 0.161 * [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 0.161 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.161 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.161 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.161 * [taylor]: Taking taylor expansion of (fabs x) in x 0.162 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 0.162 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.162 * [taylor]: Taking taylor expansion of 0.2 in x 0.162 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.162 * [taylor]: Taking taylor expansion of (fabs x) in x 0.162 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 0.162 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 0.162 * [taylor]: Taking taylor expansion of 2.0 in x 0.162 * [taylor]: Taking taylor expansion of (fabs x) in x 0.162 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 0.162 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.162 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 0.162 * [taylor]: Taking taylor expansion of (fabs x) in x 0.162 * [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 0.162 * [taylor]: Taking taylor expansion of 1.0 in x 0.162 * [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 0.162 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.162 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.162 * [taylor]: Taking taylor expansion of PI in x 0.162 * [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 0.162 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.162 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.162 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.162 * [taylor]: Taking taylor expansion of (fabs x) in x 0.162 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 0.162 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.162 * [taylor]: Taking taylor expansion of 0.2 in x 0.162 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.162 * [taylor]: Taking taylor expansion of (fabs x) in x 0.162 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 0.162 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 0.162 * [taylor]: Taking taylor expansion of 2.0 in x 0.162 * [taylor]: Taking taylor expansion of (fabs x) in x 0.162 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 0.162 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.162 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 0.162 * [taylor]: Taking taylor expansion of (fabs x) in x 0.177 * [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 0.177 * [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 0.177 * [taylor]: Taking taylor expansion of 1.0 in x 0.177 * [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 0.177 * [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 0.177 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 0.177 * [taylor]: Taking taylor expansion of 2.0 in x 0.177 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.177 * [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 0.177 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 0.177 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.177 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 0.177 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.177 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 0.177 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 0.177 * [taylor]: Taking taylor expansion of 0.2 in x 0.177 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 0.177 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.177 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.177 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.177 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.177 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.177 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.177 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.177 * [taylor]: Taking taylor expansion of PI in x 0.177 * [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 0.177 * [taylor]: Taking taylor expansion of 1.0 in x 0.177 * [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 0.177 * [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 0.177 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 0.177 * [taylor]: Taking taylor expansion of 2.0 in x 0.178 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.178 * [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 0.178 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 0.178 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.178 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 0.178 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.178 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 0.178 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 0.178 * [taylor]: Taking taylor expansion of 0.2 in x 0.178 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 0.178 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.178 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.178 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.178 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.178 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.178 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.178 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.178 * [taylor]: Taking taylor expansion of PI in x 0.200 * [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 0.200 * [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 0.200 * [taylor]: Taking taylor expansion of 1.0 in x 0.200 * [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 0.200 * [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 0.200 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.200 * [taylor]: Taking taylor expansion of 0.2 in x 0.200 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.200 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.200 * [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 0.200 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 0.200 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.200 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 0.200 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.200 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 0.200 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 0.200 * [taylor]: Taking taylor expansion of 2.0 in x 0.200 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.200 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.200 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.200 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.200 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.201 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.201 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.201 * [taylor]: Taking taylor expansion of PI in x 0.201 * [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 0.201 * [taylor]: Taking taylor expansion of 1.0 in x 0.201 * [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 0.201 * [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 0.201 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.201 * [taylor]: Taking taylor expansion of 0.2 in x 0.201 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.201 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.201 * [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 0.201 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 0.201 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.201 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 0.201 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.201 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 0.201 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 0.201 * [taylor]: Taking taylor expansion of 2.0 in x 0.201 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.201 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.201 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.201 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.201 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.201 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.201 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.201 * [taylor]: Taking taylor expansion of PI in x 0.219 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2) 0.219 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in (x) around 0 0.219 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in x 0.219 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.219 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.219 * [taylor]: Taking taylor expansion of (fabs x) in x 0.219 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in x 0.219 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.219 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.219 * [taylor]: Taking taylor expansion of (fabs x) in x 0.221 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.221 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in x 0.221 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.221 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.221 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.221 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in x 0.221 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.221 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.221 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.224 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.224 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in x 0.224 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.224 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.224 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.224 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in x 0.224 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.224 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.224 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.226 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1) 0.226 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 0.226 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.226 * [taylor]: Taking taylor expansion of 0.2 in x 0.226 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.226 * [taylor]: Taking taylor expansion of (fabs x) in x 0.226 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.226 * [taylor]: Taking taylor expansion of 0.2 in x 0.226 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.226 * [taylor]: Taking taylor expansion of (fabs x) in x 0.229 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 0.229 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 0.229 * [taylor]: Taking taylor expansion of 0.2 in x 0.229 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 0.229 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.229 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 0.229 * [taylor]: Taking taylor expansion of 0.2 in x 0.229 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 0.229 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.232 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 0.232 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.232 * [taylor]: Taking taylor expansion of 0.2 in x 0.232 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.232 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.232 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.232 * [taylor]: Taking taylor expansion of 0.2 in x 0.232 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.233 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.236 * * * [progress]: simplifying candidates 0.239 * [simplify]: Simplifying using # : (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)) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (+ (- (log 1.0) (log (sqrt PI))) (log (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (+ (log (/ 1.0 (sqrt PI))) (log (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (exp (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (/ (* (* 1.0 1.0) 1.0) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (* (* (/ 1.0 (sqrt PI)) (/ 1.0 (sqrt PI))) (/ 1.0 (sqrt PI))) (* (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (* (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* 1.0 (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* 5.0 21.0)) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))))))) (* (sqrt PI) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0))) (* 1.0 (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)))))) (* (sqrt PI) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* 1.0 (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0))))))) (* (sqrt PI) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* 1.0 (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0)) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))))))) (* (sqrt PI) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 5.0 21.0))) (* 1.0 (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)))))) (* (sqrt PI) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* 1.0 (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0))))))) (* (sqrt PI) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* 1.0 (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3))) (* (sqrt PI) (+ (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (- (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* 1.0 (- (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt PI) (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (/ 1.0 (sqrt PI)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (/ 1.0 (sqrt PI)) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (/ 1.0 (sqrt PI))) (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (/ 1.0 (sqrt PI))) (* (/ 1.0 (sqrt PI)) (* (cbrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (cbrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* (/ 1.0 (sqrt PI)) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (/ 1.0 (sqrt PI)) 1) (* (cbrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (cbrt 1.0) (cbrt (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (cbrt 1.0) (sqrt (cbrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (cbrt 1.0) (sqrt (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (cbrt 1.0) (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (cbrt 1.0) (sqrt (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (cbrt 1.0) (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (sqrt 1.0) (cbrt (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (sqrt 1.0) (sqrt (cbrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (sqrt 1.0) (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (sqrt 1.0) (sqrt (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ (sqrt 1.0) (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (cbrt (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (sqrt (cbrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (sqrt (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (sqrt (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (sqrt PI)) (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* 5.0 21.0)) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))))))) (* (/ 1.0 (sqrt PI)) (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)))))) (* (/ 1.0 (sqrt PI)) (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0))))))) (* (/ 1.0 (sqrt PI)) (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0)) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))))))) (* (/ 1.0 (sqrt PI)) (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)))))) (* (/ 1.0 (sqrt PI)) (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0))))))) (* (/ 1.0 (sqrt PI)) (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3))) (* (/ 1.0 (sqrt PI)) (- (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* 1.0 (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (- (* (log (fabs x)) 3) (log 3.0)) (- (* (log (fabs x)) 3) (log 3.0)) (- (log (pow (fabs x) 3)) (log 3.0)) (log (/ (pow (fabs x) 3) 3.0)) (exp (/ (pow (fabs x) 3) 3.0)) (/ (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (pow (fabs x) 3)) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ (pow (fabs x) 3) 3.0)) (cbrt (/ (pow (fabs x) 3) 3.0))) (cbrt (/ (pow (fabs x) 3) 3.0)) (* (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (/ (pow (fabs x) 3) 3.0)) (sqrt (/ (pow (fabs x) 3) 3.0)) (sqrt (/ (pow (fabs x) 3) 3.0)) (neg (pow (fabs x) 3)) (neg 3.0) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (cbrt (fabs x)) 3) (cbrt 3.0)) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) (sqrt 3.0)) (/ (pow (cbrt (fabs x)) 3) (sqrt 3.0)) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) 1) (/ (pow (cbrt (fabs x)) 3) 3.0) (/ (pow (sqrt (fabs x)) 3) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (sqrt (fabs x)) 3) (cbrt 3.0)) (/ (pow (sqrt (fabs x)) 3) (sqrt 3.0)) (/ (pow (sqrt (fabs x)) 3) (sqrt 3.0)) (/ (pow (sqrt (fabs x)) 3) 1) (/ (pow (sqrt (fabs x)) 3) 3.0) (/ (pow 1 3) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (fabs x) 3) (cbrt 3.0)) (/ (pow 1 3) (sqrt 3.0)) (/ (pow (fabs x) 3) (sqrt 3.0)) (/ (pow 1 3) 1) (/ (pow (fabs x) 3) 3.0) (/ (* (fabs x) (fabs x)) (* (cbrt 3.0) (cbrt 3.0))) (/ (fabs x) (cbrt 3.0)) (/ (* (fabs x) (fabs x)) (sqrt 3.0)) (/ (fabs x) (sqrt 3.0)) (/ (* (fabs x) (fabs x)) 1) (/ (fabs x) 3.0) (/ (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3))) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt (pow (fabs x) 3)) (cbrt 3.0)) (/ (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3))) (sqrt 3.0)) (/ (cbrt (pow (fabs x) 3)) (sqrt 3.0)) (/ (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3))) 1) (/ (cbrt (pow (fabs x) 3)) 3.0) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (cbrt (fabs x)) 3) (cbrt 3.0)) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) (sqrt 3.0)) (/ (pow (cbrt (fabs x)) 3) (sqrt 3.0)) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) 1) (/ (pow (cbrt (fabs x)) 3) 3.0) (/ (pow (sqrt (fabs x)) 3) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (sqrt (fabs x)) 3) (cbrt 3.0)) (/ (pow (sqrt (fabs x)) 3) (sqrt 3.0)) (/ (pow (sqrt (fabs x)) 3) (sqrt 3.0)) (/ (pow (sqrt (fabs x)) 3) 1) (/ (pow (sqrt (fabs x)) 3) 3.0) (/ (pow 1 3) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (fabs x) 3) (cbrt 3.0)) (/ (pow 1 3) (sqrt 3.0)) (/ (pow (fabs x) 3) (sqrt 3.0)) (/ (pow 1 3) 1) (/ (pow (fabs x) 3) 3.0) (/ (fabs x) (* (cbrt 3.0) (cbrt 3.0))) (/ (* (fabs x) (fabs x)) (cbrt 3.0)) (/ (fabs x) (sqrt 3.0)) (/ (* (fabs x) (fabs x)) (sqrt 3.0)) (/ (fabs x) 1) (/ (* (fabs x) (fabs x)) 3.0) (/ (sqrt (pow (fabs x) 3)) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (pow (fabs x) 3)) (cbrt 3.0)) (/ (sqrt (pow (fabs x) 3)) (sqrt 3.0)) (/ (sqrt (pow (fabs x) 3)) (sqrt 3.0)) (/ (sqrt (pow (fabs x) 3)) 1) (/ (sqrt (pow (fabs x) 3)) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (fabs x) 3) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (pow (fabs x) 3) (sqrt 3.0)) (/ 1 1) (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) (/ 3 2)) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (fabs x) (/ 3 2)) (cbrt 3.0)) (/ (pow (fabs x) (/ 3 2)) (sqrt 3.0)) (/ (pow (fabs x) (/ 3 2)) (sqrt 3.0)) (/ (pow (fabs x) (/ 3 2)) 1) (/ (pow (fabs x) (/ 3 2)) 3.0) (/ 1 3.0) (/ 3.0 (pow (fabs x) 3)) (/ (pow (fabs x) 3) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (fabs x) 3) (sqrt 3.0)) (/ (pow (fabs x) 3) 1) (/ 3.0 (pow (cbrt (fabs x)) 3)) (/ 3.0 (pow (sqrt (fabs x)) 3)) (/ 3.0 (pow (fabs x) 3)) (/ 3.0 (fabs x)) (/ 3.0 (cbrt (pow (fabs x) 3))) (/ 3.0 (pow (cbrt (fabs x)) 3)) (/ 3.0 (pow (sqrt (fabs x)) 3)) (/ 3.0 (pow (fabs x) 3)) (/ 3.0 (* (fabs x) (fabs x))) (/ 3.0 (sqrt (pow (fabs x) 3))) (/ 3.0 (pow (fabs x) 3)) (/ 3.0 (pow (fabs x) (/ 3 2))) (- (* (log (fabs x)) 5) (log 5.0)) (- (* (log (fabs x)) 5) (log 5.0)) (- (log (pow (fabs x) 5)) (log 5.0)) (log (/ (pow (fabs x) 5) 5.0)) (exp (/ (pow (fabs x) 5) 5.0)) (/ (* (* (pow (fabs x) 5) (pow (fabs x) 5)) (pow (fabs x) 5)) (* (* 5.0 5.0) 5.0)) (* (cbrt (/ (pow (fabs x) 5) 5.0)) (cbrt (/ (pow (fabs x) 5) 5.0))) (cbrt (/ (pow (fabs x) 5) 5.0)) (* (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (/ (pow (fabs x) 5) 5.0)) (sqrt (/ (pow (fabs x) 5) 5.0)) (sqrt (/ (pow (fabs x) 5) 5.0)) (neg (pow (fabs x) 5)) (neg 5.0) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 5) (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (cbrt (fabs x)) 5) (cbrt 5.0)) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 5) (sqrt 5.0)) (/ (pow (cbrt (fabs x)) 5) (sqrt 5.0)) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 5) 1) (/ (pow (cbrt (fabs x)) 5) 5.0) (/ (pow (sqrt (fabs x)) 5) (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (sqrt (fabs x)) 5) (cbrt 5.0)) (/ (pow (sqrt (fabs x)) 5) (sqrt 5.0)) (/ (pow (sqrt (fabs x)) 5) (sqrt 5.0)) (/ (pow (sqrt (fabs x)) 5) 1) (/ (pow (sqrt (fabs x)) 5) 5.0) (/ (pow 1 5) (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (fabs x) 5) (cbrt 5.0)) (/ (pow 1 5) (sqrt 5.0)) (/ (pow (fabs x) 5) (sqrt 5.0)) (/ (pow 1 5) 1) (/ (pow (fabs x) 5) 5.0) (/ (* (cbrt (pow (fabs x) 5)) (cbrt (pow (fabs x) 5))) (* (cbrt 5.0) (cbrt 5.0))) (/ (cbrt (pow (fabs x) 5)) (cbrt 5.0)) (/ (* (cbrt (pow (fabs x) 5)) (cbrt (pow (fabs x) 5))) (sqrt 5.0)) (/ (cbrt (pow (fabs x) 5)) (sqrt 5.0)) (/ (* (cbrt (pow (fabs x) 5)) (cbrt (pow (fabs x) 5))) 1) (/ (cbrt (pow (fabs x) 5)) 5.0) (/ (sqrt (pow (fabs x) 5)) (* (cbrt 5.0) (cbrt 5.0))) (/ (sqrt (pow (fabs x) 5)) (cbrt 5.0)) (/ (sqrt (pow (fabs x) 5)) (sqrt 5.0)) (/ (sqrt (pow (fabs x) 5)) (sqrt 5.0)) (/ (sqrt (pow (fabs x) 5)) 1) (/ (sqrt (pow (fabs x) 5)) 5.0) (/ 1 (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (fabs x) 5) (cbrt 5.0)) (/ 1 (sqrt 5.0)) (/ (pow (fabs x) 5) (sqrt 5.0)) (/ 1 1) (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) (/ 5 2)) (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (fabs x) (/ 5 2)) (cbrt 5.0)) (/ (pow (fabs x) (/ 5 2)) (sqrt 5.0)) (/ (pow (fabs x) (/ 5 2)) (sqrt 5.0)) (/ (pow (fabs x) (/ 5 2)) 1) (/ (pow (fabs x) (/ 5 2)) 5.0) (/ 1 5.0) (/ 5.0 (pow (fabs x) 5)) (/ (pow (fabs x) 5) (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (fabs x) 5) (sqrt 5.0)) (/ (pow (fabs x) 5) 1) (/ 5.0 (pow (cbrt (fabs x)) 5)) (/ 5.0 (pow (sqrt (fabs x)) 5)) (/ 5.0 (pow (fabs x) 5)) (/ 5.0 (cbrt (pow (fabs x) 5))) (/ 5.0 (sqrt (pow (fabs x) 5))) (/ 5.0 (pow (fabs x) 5)) (/ 5.0 (pow (fabs x) (/ 5 2))) (fabs (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* 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))))))) (* 0.3333333333333333 (pow (fabs x) 3)) (* 0.3333333333333333 (pow (fabs x) 3)) (* 0.3333333333333333 (pow (fabs x) 3)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) 0.296 * * [simplify]: iteration 0 : 4975 enodes (cost 4274 ) 0.297 * * [simplify]: iteration 1 : 4975 enodes (cost 4274 ) 0.311 * [simplify]: Simplified to: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt PI)) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (pow (exp (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) 3) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) 3) (* (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) 3) (sqrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* 1.0 (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (* 5.0 21.0))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0))))))) (* (sqrt PI) (* 5.0 (* 21.0 (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0)))))) (* 1.0 (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (+ (/ (pow (fabs x) 10) (* 5.0 5.0)) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0))))))) (* (sqrt PI) (* (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0))) (+ (/ (pow (fabs x) 10) (* 5.0 5.0)) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* 1.0 (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* 1.0 (* (- (/ (pow (fabs x) 10) (* 5.0 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0))) (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0))))))) (* (sqrt PI) (* (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* 1.0 (+ (* 2.0 (* (* 5.0 21.0) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt PI) (* 5.0 (* 21.0 (- (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (+ (* 2.0 (* (+ (/ (pow (fabs x) 10) (* 5.0 5.0)) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt PI) (* (+ (/ (pow (fabs x) 10) (* 5.0 5.0)) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (* 2.0 (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (- (/ (pow (fabs x) 10) (* 5.0 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt PI) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3))) (* (sqrt PI) (+ (* 2.0 (* (+ (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (* (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (- (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))))))) (* 1.0 (- (* 2.0 (* (+ (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (* (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* (sqrt PI) (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (/ 1.0 (sqrt PI)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (* (/ 1.0 (sqrt PI)) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (/ 1.0 (sqrt PI)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (* (/ 1.0 (sqrt PI)) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (/ 1.0 (sqrt PI)) (* (cbrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (cbrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* (/ 1.0 (sqrt PI)) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (/ 1.0 (sqrt PI)) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (cbrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (cbrt 1.0) (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (cbrt 1.0) (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (cbrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (cbrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (cbrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (cbrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (sqrt 1.0) (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (sqrt 1.0) (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (sqrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (sqrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (sqrt (sqrt PI)))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (sqrt (sqrt PI)))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (/ (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt PI)) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (* 5.0 21.0))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0))))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (+ (/ (pow (fabs x) 10) (* 5.0 5.0)) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0))))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* 1.0 (* (- (/ (pow (fabs x) 10) (* 5.0 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0))) (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0))))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (* (* 5.0 21.0) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (* (+ (/ (pow (fabs x) 10) (* 5.0 5.0)) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (- (/ (pow (fabs x) 10) (* 5.0 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (/ 1.0 (sqrt PI)) (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3))) (* (/ 1.0 (sqrt PI)) (- (* 2.0 (* (+ (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (* (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* 1.0 (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (log (/ (pow (fabs x) 3) 3.0)) (log (/ (pow (fabs x) 3) 3.0)) (log (/ (pow (fabs x) 3) 3.0)) (log (/ (pow (fabs x) 3) 3.0)) (exp (/ (pow (fabs x) 3) 3.0)) (pow (/ (pow (fabs x) 3) 3.0) 3) (* (cbrt (/ (pow (fabs x) 3) 3.0)) (cbrt (/ (pow (fabs x) 3) 3.0))) (cbrt (/ (pow (fabs x) 3) 3.0)) (pow (/ (pow (fabs x) 3) 3.0) 3) (sqrt (/ (pow (fabs x) 3) 3.0)) (sqrt (/ (pow (fabs x) 3) 3.0)) (neg (pow (fabs x) 3)) (neg 3.0) (* (/ (fabs x) (cbrt 3.0)) (/ (fabs x) (cbrt 3.0))) (/ (fabs x) (cbrt 3.0)) (* (/ (fabs x) (sqrt 3.0)) (fabs x)) (/ (fabs x) (sqrt 3.0)) (* (fabs x) (fabs x)) (/ (fabs x) 3.0) (/ (pow (sqrt (fabs x)) 3) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (sqrt (fabs x)) 3) (cbrt 3.0)) (/ (pow (sqrt (fabs x)) 3) (sqrt 3.0)) (/ (pow (sqrt (fabs x)) 3) (sqrt 3.0)) (pow (sqrt (fabs x)) 3) (/ (pow (sqrt (fabs x)) 3) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (fabs x) 3) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (pow (fabs x) 3) (sqrt 3.0)) 1 (/ (pow (fabs x) 3) 3.0) (* (/ (fabs x) (cbrt 3.0)) (/ (fabs x) (cbrt 3.0))) (/ (fabs x) (cbrt 3.0)) (* (/ (fabs x) (sqrt 3.0)) (fabs x)) (/ (fabs x) (sqrt 3.0)) (* (fabs x) (fabs x)) (/ (fabs x) 3.0) (* (/ (fabs x) (cbrt 3.0)) (/ (fabs x) (cbrt 3.0))) (/ (fabs x) (cbrt 3.0)) (* (/ (fabs x) (sqrt 3.0)) (fabs x)) (/ (fabs x) (sqrt 3.0)) (* (fabs x) (fabs x)) (/ (fabs x) 3.0) (* (/ (fabs x) (cbrt 3.0)) (/ (fabs x) (cbrt 3.0))) (/ (fabs x) (cbrt 3.0)) (* (/ (fabs x) (sqrt 3.0)) (fabs x)) (/ (fabs x) (sqrt 3.0)) (* (fabs x) (fabs x)) (/ (fabs x) 3.0) (/ (pow (sqrt (fabs x)) 3) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (sqrt (fabs x)) 3) (cbrt 3.0)) (/ (pow (sqrt (fabs x)) 3) (sqrt 3.0)) (/ (pow (sqrt (fabs x)) 3) (sqrt 3.0)) (pow (sqrt (fabs x)) 3) (/ (pow (sqrt (fabs x)) 3) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (fabs x) 3) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (pow (fabs x) 3) (sqrt 3.0)) 1 (/ (pow (fabs x) 3) 3.0) (/ (fabs x) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (fabs x) (cbrt 3.0)) (fabs x)) (/ (fabs x) (sqrt 3.0)) (* (/ (fabs x) (sqrt 3.0)) (fabs x)) (fabs x) (* (/ (fabs x) 3.0) (fabs x)) (/ (sqrt (pow (fabs x) 3)) (* (cbrt 3.0) (cbrt 3.0))) (/ (sqrt (pow (fabs x) 3)) (cbrt 3.0)) (/ (sqrt (pow (fabs x) 3)) (sqrt 3.0)) (/ (sqrt (pow (fabs x) 3)) (sqrt 3.0)) (sqrt (pow (fabs x) 3)) (/ (sqrt (pow (fabs x) 3)) 3.0) (/ 1 (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (fabs x) 3) (cbrt 3.0)) (/ 1 (sqrt 3.0)) (/ (pow (fabs x) 3) (sqrt 3.0)) 1 (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3/2) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (fabs x) 3/2) (cbrt 3.0)) (/ (pow (fabs x) 3/2) (sqrt 3.0)) (/ (pow (fabs x) 3/2) (sqrt 3.0)) (pow (fabs x) 3/2) (/ (pow (fabs x) 3/2) 3.0) (/ 1 3.0) (/ 3.0 (pow (fabs x) 3)) (/ (pow (fabs x) 3) (* (cbrt 3.0) (cbrt 3.0))) (/ (pow (fabs x) 3) (sqrt 3.0)) (pow (fabs x) 3) (/ 3.0 (fabs x)) (/ 3.0 (pow (sqrt (fabs x)) 3)) (/ 3.0 (pow (fabs x) 3)) (/ 3.0 (fabs x)) (/ 3.0 (fabs x)) (/ 3.0 (fabs x)) (/ 3.0 (pow (sqrt (fabs x)) 3)) (/ 3.0 (pow (fabs x) 3)) (/ 3.0 (* (fabs x) (fabs x))) (/ 3.0 (sqrt (pow (fabs x) 3))) (/ 3.0 (pow (fabs x) 3)) (/ 3.0 (pow (fabs x) 3/2)) (log (/ (pow (fabs x) 5) 5.0)) (log (/ (pow (fabs x) 5) 5.0)) (log (/ (pow (fabs x) 5) 5.0)) (log (/ (pow (fabs x) 5) 5.0)) (exp (/ (pow (fabs x) 5) 5.0)) (pow (/ (pow (fabs x) 5) 5.0) 3) (* (cbrt (/ (pow (fabs x) 5) 5.0)) (cbrt (/ (pow (fabs x) 5) 5.0))) (cbrt (/ (pow (fabs x) 5) 5.0)) (pow (/ (pow (fabs x) 5) 5.0) 3) (sqrt (/ (pow (fabs x) 5) 5.0)) (sqrt (/ (pow (fabs x) 5) 5.0)) (neg (pow (fabs x) 5)) (neg 5.0) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 5) (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (cbrt (fabs x)) 5) (cbrt 5.0)) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 5) (sqrt 5.0)) (/ (pow (cbrt (fabs x)) 5) (sqrt 5.0)) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 5) (/ (pow (cbrt (fabs x)) 5) 5.0) (/ (pow (sqrt (fabs x)) 5) (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (sqrt (fabs x)) 5) (cbrt 5.0)) (/ (pow (sqrt (fabs x)) 5) (sqrt 5.0)) (/ (pow (sqrt (fabs x)) 5) (sqrt 5.0)) (pow (sqrt (fabs x)) 5) (/ (pow (sqrt (fabs x)) 5) 5.0) (/ 1 (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (fabs x) 5) (cbrt 5.0)) (/ 1 (sqrt 5.0)) (/ (pow (fabs x) 5) (sqrt 5.0)) 1 (/ (pow (fabs x) 5) 5.0) (* (/ (cbrt (pow (fabs x) 5)) (cbrt 5.0)) (/ (cbrt (pow (fabs x) 5)) (cbrt 5.0))) (/ (cbrt (pow (fabs x) 5)) (cbrt 5.0)) (* (/ (cbrt (pow (fabs x) 5)) (sqrt 5.0)) (cbrt (pow (fabs x) 5))) (/ (cbrt (pow (fabs x) 5)) (sqrt 5.0)) (* (cbrt (pow (fabs x) 5)) (cbrt (pow (fabs x) 5))) (/ (cbrt (pow (fabs x) 5)) 5.0) (/ (sqrt (pow (fabs x) 5)) (* (cbrt 5.0) (cbrt 5.0))) (/ (sqrt (pow (fabs x) 5)) (cbrt 5.0)) (/ (sqrt (pow (fabs x) 5)) (sqrt 5.0)) (/ (sqrt (pow (fabs x) 5)) (sqrt 5.0)) (sqrt (pow (fabs x) 5)) (/ (sqrt (pow (fabs x) 5)) 5.0) (/ 1 (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (fabs x) 5) (cbrt 5.0)) (/ 1 (sqrt 5.0)) (/ (pow (fabs x) 5) (sqrt 5.0)) 1 (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5/2) (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (fabs x) 5/2) (cbrt 5.0)) (/ (pow (fabs x) 5/2) (sqrt 5.0)) (/ (pow (fabs x) 5/2) (sqrt 5.0)) (pow (fabs x) 5/2) (/ (pow (fabs x) 5/2) 5.0) (/ 1 5.0) (/ 5.0 (pow (fabs x) 5)) (/ (pow (fabs x) 5) (* (cbrt 5.0) (cbrt 5.0))) (/ (pow (fabs x) 5) (sqrt 5.0)) (pow (fabs x) 5) (/ 5.0 (pow (cbrt (fabs x)) 5)) (/ 5.0 (pow (sqrt (fabs x)) 5)) (/ 5.0 (pow (fabs x) 5)) (/ 5.0 (cbrt (pow (fabs x) 5))) (/ 5.0 (sqrt (pow (fabs x) 5))) (/ 5.0 (pow (fabs x) 5)) (/ 5.0 (pow (fabs x) 5/2)) (fabs (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 5) 0.2) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) 0.047619047619047616)))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 5) 0.2) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) 0.047619047619047616)))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 5) 0.2) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) 0.047619047619047616)))))) (* (pow (fabs x) 3) 0.3333333333333333) (* (pow (fabs x) 3) 0.3333333333333333) (* (pow (fabs x) 3) 0.3333333333333333) (* (pow (fabs x) 5) 0.2) (* (pow (fabs x) 5) 0.2) (* (pow (fabs x) 5) 0.2) 0.312 * * * [progress]: adding candidates to table 0.809 * * [progress]: iteration 2 / 4 0.809 * * * [progress]: picking best candidate 0.831 * * * * [pick]: Picked # 0.831 * * * [progress]: localizing error 0.858 * * * [progress]: generating rewritten candidates 0.858 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 0.860 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2) 0.861 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1) 0.862 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 0.867 * * * [progress]: generating series expansions 0.867 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 0.867 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2) 0.867 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1) 0.867 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 0.867 * * * [progress]: simplifying candidates 0.868 * [simplify]: Simplifying using # : (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)) (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)) (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)) (log (sqrt (* (cbrt PI) (cbrt PI)))) (exp (sqrt (* (cbrt PI) (cbrt PI)))) (* (cbrt (sqrt (* (cbrt PI) (cbrt PI)))) (cbrt (sqrt (* (cbrt PI) (cbrt PI))))) (cbrt (sqrt (* (cbrt PI) (cbrt PI)))) (* (* (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (* (cbrt PI) (cbrt PI)))) (sqrt (* (cbrt PI) (cbrt PI)))) (sqrt (cbrt PI)) (sqrt (cbrt PI)) (/ (+ 1/3 1/3) 2) (/ (+ 1 1) 2) (/ 1/3 2) (/ 1 2) (/ 2 2) (/ (+ 1 1) 2) (/ 1 2) (/ (* 2 1/3) 2) (/ (* 2 1) 2) (sqrt (sqrt (* (cbrt PI) (cbrt PI)))) (sqrt (sqrt (* (cbrt PI) (cbrt PI)))) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (sqrt (cbrt PI)))))) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (sqrt (cbrt PI)))))) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (sqrt (cbrt PI)))))) (fabs (* (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (sqrt (cbrt PI)))))) 0.927 * * [simplify]: iteration 0 : 4951 enodes (cost 327 ) 0.927 * * [simplify]: iteration 1 : 4951 enodes (cost 327 ) 0.929 * [simplify]: Simplified to: (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)) (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)) (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)) (log (fabs (cbrt PI))) (exp (fabs (cbrt PI))) (* (cbrt (fabs (cbrt PI))) (cbrt (fabs (cbrt PI)))) (cbrt (fabs (cbrt PI))) (pow (fabs (cbrt PI)) 3) (sqrt (cbrt PI)) (sqrt (cbrt PI)) 1/3 1 1/6 1/2 1 1 1/2 1/3 1 (sqrt (fabs (cbrt PI))) (sqrt (fabs (cbrt PI))) (fabs (* 1.0 (/ (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (sqrt (cbrt PI)) (fabs (cbrt PI)))))) (fabs (* 1.0 (/ (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (sqrt (cbrt PI)) (fabs (cbrt PI)))))) (fabs (* 1.0 (/ (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (sqrt (cbrt PI)) (fabs (cbrt PI)))))) (fabs (* 1.0 (/ (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (sqrt (cbrt PI)) (fabs (cbrt PI)))))) 0.929 * * * [progress]: adding candidates to table 1.056 * * [progress]: iteration 3 / 4 1.056 * * * [progress]: picking best candidate 1.069 * * * * [pick]: Picked # 1.069 * * * [progress]: localizing error 1.093 * * * [progress]: generating rewritten candidates 1.093 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 2) 1.094 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 1.096 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.131 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.166 * * * [progress]: generating series expansions 1.166 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 2) 1.166 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 1.166 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.167 * [approximate]: Taking taylor expansion of (* (* (pow (sqrt 1.0) 2) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (sqrt (/ 1 PI))) in (x) around 0 1.167 * [taylor]: Taking taylor expansion of (* (* (pow (sqrt 1.0) 2) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (sqrt (/ 1 PI))) in x 1.167 * [taylor]: Taking taylor expansion of (* (pow (sqrt 1.0) 2) (+ (* 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.167 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x 1.167 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.167 * [taylor]: Taking taylor expansion of 1.0 in x 1.167 * [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.167 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.167 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.167 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.167 * [taylor]: Taking taylor expansion of (fabs x) in x 1.167 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 1.167 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.167 * [taylor]: Taking taylor expansion of 0.2 in x 1.167 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.167 * [taylor]: Taking taylor expansion of (fabs x) in x 1.167 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 1.167 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 1.167 * [taylor]: Taking taylor expansion of 2.0 in x 1.167 * [taylor]: Taking taylor expansion of (fabs x) in x 1.167 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 1.167 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.167 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 1.167 * [taylor]: Taking taylor expansion of (fabs x) in x 1.168 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.168 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.168 * [taylor]: Taking taylor expansion of PI in x 1.168 * [taylor]: Taking taylor expansion of (* (* (pow (sqrt 1.0) 2) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (sqrt (/ 1 PI))) in x 1.168 * [taylor]: Taking taylor expansion of (* (pow (sqrt 1.0) 2) (+ (* 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.168 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x 1.168 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.168 * [taylor]: Taking taylor expansion of 1.0 in x 1.168 * [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.168 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.168 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.168 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.168 * [taylor]: Taking taylor expansion of (fabs x) in x 1.168 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 1.168 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.168 * [taylor]: Taking taylor expansion of 0.2 in x 1.168 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.168 * [taylor]: Taking taylor expansion of (fabs x) in x 1.168 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 1.168 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 1.168 * [taylor]: Taking taylor expansion of 2.0 in x 1.168 * [taylor]: Taking taylor expansion of (fabs x) in x 1.168 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 1.168 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.168 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 1.168 * [taylor]: Taking taylor expansion of (fabs x) in x 1.168 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.168 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.168 * [taylor]: Taking taylor expansion of PI in x 1.184 * [approximate]: Taking taylor expansion of (* (* (pow (sqrt 1.0) 2) (+ (* 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.184 * [taylor]: Taking taylor expansion of (* (* (pow (sqrt 1.0) 2) (+ (* 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.184 * [taylor]: Taking taylor expansion of (* (pow (sqrt 1.0) 2) (+ (* 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.184 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x 1.184 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.184 * [taylor]: Taking taylor expansion of 1.0 in x 1.184 * [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.184 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 1.184 * [taylor]: Taking taylor expansion of 2.0 in x 1.184 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.184 * [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.184 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 1.184 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.185 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 1.185 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.185 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 1.185 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 1.185 * [taylor]: Taking taylor expansion of 0.2 in x 1.185 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.185 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.185 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.185 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.185 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.185 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.185 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.185 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.185 * [taylor]: Taking taylor expansion of PI in x 1.185 * [taylor]: Taking taylor expansion of (* (* (pow (sqrt 1.0) 2) (+ (* 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.185 * [taylor]: Taking taylor expansion of (* (pow (sqrt 1.0) 2) (+ (* 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.185 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x 1.185 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.185 * [taylor]: Taking taylor expansion of 1.0 in x 1.185 * [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.185 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 1.185 * [taylor]: Taking taylor expansion of 2.0 in x 1.185 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.185 * [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.185 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 1.185 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.185 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 1.185 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.185 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 1.185 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 1.185 * [taylor]: Taking taylor expansion of 0.2 in x 1.185 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.185 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.185 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.185 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.185 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.185 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.186 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.186 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.186 * [taylor]: Taking taylor expansion of PI in x 1.208 * [approximate]: 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))))) (pow (sqrt 1.0) 2)) (sqrt (/ 1 PI))) in (x) around 0 1.208 * [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))))) (pow (sqrt 1.0) 2)) (sqrt (/ 1 PI))) in x 1.208 * [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))))) (pow (sqrt 1.0) 2)) in x 1.208 * [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.208 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 1.208 * [taylor]: Taking taylor expansion of 0.2 in x 1.208 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.208 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.208 * [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.208 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 1.208 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.208 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 1.208 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.208 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 1.208 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 1.208 * [taylor]: Taking taylor expansion of 2.0 in x 1.208 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.208 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.208 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.208 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.208 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.208 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x 1.208 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.208 * [taylor]: Taking taylor expansion of 1.0 in x 1.208 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.208 * [taylor]: Taking taylor expansion of PI in x 1.208 * [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))))) (pow (sqrt 1.0) 2)) (sqrt (/ 1 PI))) in x 1.208 * [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))))) (pow (sqrt 1.0) 2)) in x 1.208 * [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.208 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 1.208 * [taylor]: Taking taylor expansion of 0.2 in x 1.209 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.209 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.209 * [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.209 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 1.209 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.209 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 1.209 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.209 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 1.209 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 1.209 * [taylor]: Taking taylor expansion of 2.0 in x 1.209 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.209 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.209 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.209 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.209 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.209 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x 1.209 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.209 * [taylor]: Taking taylor expansion of 1.0 in x 1.209 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.209 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.209 * [taylor]: Taking taylor expansion of PI in x 1.226 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.227 * [approximate]: Taking taylor expansion of (* (* (sqrt 1.0) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (pow (/ 1 PI) 1/4)) in (x) around 0 1.227 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (pow (/ 1 PI) 1/4)) in x 1.227 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (+ (* 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.227 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.227 * [taylor]: Taking taylor expansion of 1.0 in x 1.227 * [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.227 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.227 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.227 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.227 * [taylor]: Taking taylor expansion of (fabs x) in x 1.227 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 1.227 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.227 * [taylor]: Taking taylor expansion of 0.2 in x 1.227 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.227 * [taylor]: Taking taylor expansion of (fabs x) in x 1.227 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 1.227 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 1.227 * [taylor]: Taking taylor expansion of 2.0 in x 1.227 * [taylor]: Taking taylor expansion of (fabs x) in x 1.227 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 1.227 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.227 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 1.227 * [taylor]: Taking taylor expansion of (fabs x) in x 1.227 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 1.227 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 1.227 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 1.227 * [taylor]: Taking taylor expansion of 1/4 in x 1.227 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 1.227 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.227 * [taylor]: Taking taylor expansion of PI in x 1.227 * [taylor]: Taking taylor expansion of (* (* (sqrt 1.0) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (pow (/ 1 PI) 1/4)) in x 1.228 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (+ (* 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.228 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.228 * [taylor]: Taking taylor expansion of 1.0 in x 1.228 * [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.228 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.228 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.228 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.228 * [taylor]: Taking taylor expansion of (fabs x) in x 1.228 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 1.228 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.228 * [taylor]: Taking taylor expansion of 0.2 in x 1.228 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.228 * [taylor]: Taking taylor expansion of (fabs x) in x 1.228 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 1.228 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 1.228 * [taylor]: Taking taylor expansion of 2.0 in x 1.228 * [taylor]: Taking taylor expansion of (fabs x) in x 1.228 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 1.228 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.228 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 1.228 * [taylor]: Taking taylor expansion of (fabs x) in x 1.228 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 1.228 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 1.228 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 1.228 * [taylor]: Taking taylor expansion of 1/4 in x 1.228 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 1.228 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.228 * [taylor]: Taking taylor expansion of PI in x 1.249 * [approximate]: Taking taylor expansion of (* (* (sqrt 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)))))) (pow (/ 1 PI) 1/4)) in (x) around 0 1.249 * [taylor]: Taking taylor expansion of (* (* (sqrt 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)))))) (pow (/ 1 PI) 1/4)) in x 1.249 * [taylor]: Taking taylor expansion of (* (sqrt 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)))))) in x 1.249 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.249 * [taylor]: Taking taylor expansion of 1.0 in x 1.249 * [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.249 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 1.249 * [taylor]: Taking taylor expansion of 2.0 in x 1.249 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.249 * [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.249 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 1.249 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.249 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 1.249 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.249 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 1.249 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 1.249 * [taylor]: Taking taylor expansion of 0.2 in x 1.249 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.250 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.250 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.250 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.250 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.250 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.250 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 1.250 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 1.250 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 1.250 * [taylor]: Taking taylor expansion of 1/4 in x 1.250 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 1.250 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.250 * [taylor]: Taking taylor expansion of PI in x 1.250 * [taylor]: Taking taylor expansion of (* (* (sqrt 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)))))) (pow (/ 1 PI) 1/4)) in x 1.250 * [taylor]: Taking taylor expansion of (* (sqrt 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)))))) in x 1.250 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.250 * [taylor]: Taking taylor expansion of 1.0 in x 1.250 * [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.250 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 1.250 * [taylor]: Taking taylor expansion of 2.0 in x 1.250 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.250 * [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.250 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 1.250 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.250 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 1.250 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.250 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 1.250 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 1.250 * [taylor]: Taking taylor expansion of 0.2 in x 1.250 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.250 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.250 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.250 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.250 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.250 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.250 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 1.250 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 1.250 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 1.250 * [taylor]: Taking taylor expansion of 1/4 in x 1.250 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 1.251 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.251 * [taylor]: Taking taylor expansion of PI in x 1.273 * [approximate]: 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.0)) (pow (/ 1 PI) 1/4)) in (x) around 0 1.273 * [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.0)) (pow (/ 1 PI) 1/4)) in x 1.273 * [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.0)) in x 1.273 * [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.274 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 1.274 * [taylor]: Taking taylor expansion of 0.2 in x 1.274 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.274 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.274 * [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.274 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 1.274 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.274 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 1.274 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.274 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 1.274 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 1.274 * [taylor]: Taking taylor expansion of 2.0 in x 1.274 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.274 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.274 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.274 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.274 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.274 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.274 * [taylor]: Taking taylor expansion of 1.0 in x 1.274 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 1.274 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 1.274 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 1.274 * [taylor]: Taking taylor expansion of 1/4 in x 1.274 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 1.274 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.274 * [taylor]: Taking taylor expansion of PI in x 1.274 * [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.0)) (pow (/ 1 PI) 1/4)) in x 1.274 * [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.0)) in x 1.274 * [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.274 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 1.274 * [taylor]: Taking taylor expansion of 0.2 in x 1.274 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.274 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.274 * [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.274 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 1.274 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.274 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 1.274 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.275 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 1.275 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 1.275 * [taylor]: Taking taylor expansion of 2.0 in x 1.275 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.275 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.275 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.275 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.275 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.275 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 1.275 * [taylor]: Taking taylor expansion of 1.0 in x 1.275 * [taylor]: Taking taylor expansion of (pow (/ 1 PI) 1/4) in x 1.275 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 PI)))) in x 1.275 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 PI))) in x 1.275 * [taylor]: Taking taylor expansion of 1/4 in x 1.275 * [taylor]: Taking taylor expansion of (log (/ 1 PI)) in x 1.275 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.275 * [taylor]: Taking taylor expansion of PI in x 1.299 * * * [progress]: simplifying candidates 1.302 * [simplify]: Simplifying using # : (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)) (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)) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (+ (log (sqrt (/ 1.0 (sqrt PI)))) (+ (log (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (log (sqrt (/ 1.0 (sqrt PI)))))) (+ (log (sqrt (/ 1.0 (sqrt PI)))) (log (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (log (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (exp (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (* (* (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (/ 1.0 (sqrt PI)))) (sqrt (/ 1.0 (sqrt PI)))) (* (* (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (/ 1.0 (sqrt PI)))) (sqrt (/ 1.0 (sqrt PI)))))) (* (* (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (/ 1.0 (sqrt PI)))) (sqrt (/ 1.0 (sqrt PI)))) (* (* (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (* (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))))) (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (* (* (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (sqrt (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (sqrt (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (* (sqrt 1.0) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* 5.0 21.0)) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt 1.0))) (* (sqrt (sqrt PI)) (* (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0)) (sqrt (sqrt PI)))) (* (sqrt 1.0) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt 1.0))) (* (sqrt (sqrt PI)) (* (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (sqrt PI)))) (* (sqrt 1.0) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt 1.0))) (* (sqrt (sqrt PI)) (* (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (sqrt (sqrt PI)))) (* (sqrt 1.0) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0)) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt 1.0))) (* (sqrt (sqrt PI)) (* (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 5.0 21.0)) (sqrt (sqrt PI)))) (* (sqrt 1.0) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt 1.0))) (* (sqrt (sqrt PI)) (* (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (sqrt PI)))) (* (sqrt 1.0) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt 1.0))) (* (sqrt (sqrt PI)) (* (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (sqrt (sqrt PI)))) (* (sqrt 1.0) (* (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3)) (sqrt 1.0))) (* (sqrt (sqrt PI)) (* (+ (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (- (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (sqrt PI)))) (* (sqrt 1.0) (* (- (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt 1.0))) (* (sqrt (sqrt PI)) (* (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (sqrt PI)))) (* (sqrt 1.0) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1.0))) (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (* (sqrt 1.0) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* 5.0 21.0)) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (sqrt PI)) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0))) (* (sqrt 1.0) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (sqrt PI)) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt 1.0) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (sqrt PI)) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (sqrt 1.0) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0)) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (sqrt PI)) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 5.0 21.0))) (* (sqrt 1.0) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (sqrt PI)) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt 1.0) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (sqrt PI)) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (sqrt 1.0) (* (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3)) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (sqrt PI)) (+ (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (- (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* (sqrt 1.0) (* (- (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (sqrt PI)) (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (cbrt (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (cbrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (cbrt 1.0) (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (cbrt 1.0) (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (cbrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (cbrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (cbrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (cbrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (sqrt 1.0) (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (sqrt 1.0) (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (sqrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ (sqrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* 5.0 21.0)) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt 1.0))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt 1.0))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt 1.0))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0)) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt 1.0))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt 1.0))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt 1.0))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3)) (sqrt 1.0))) (* (sqrt (/ 1.0 (sqrt PI))) (* (- (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt 1.0))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1.0))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* 5.0 21.0)) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0)) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3)) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (- (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt 1.0) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))) (+ (log (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (log (sqrt (/ 1.0 (sqrt PI))))) (log (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (exp (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (* (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (/ 1.0 (sqrt PI)))) (sqrt (/ 1.0 (sqrt PI))))) (* (cbrt (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (cbrt (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (cbrt (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (* (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (sqrt (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (sqrt (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI))))) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* 5.0 21.0)) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt 1.0)) (* (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0)) (sqrt (sqrt PI))) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt 1.0)) (* (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (sqrt PI))) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt 1.0)) (* (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (sqrt (sqrt PI))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0)) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt 1.0)) (* (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 5.0 21.0)) (sqrt (sqrt PI))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt 1.0)) (* (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (sqrt PI))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt 1.0)) (* (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (sqrt (sqrt PI))) (* (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3)) (sqrt 1.0)) (* (+ (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (- (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (sqrt PI))) (* (- (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt 1.0)) (* (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (sqrt PI))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI))))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI))))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI))))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI))))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (sqrt (/ 1.0 (sqrt PI))))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (sqrt (/ 1.0 (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (cbrt (sqrt (/ 1.0 (sqrt PI)))) (cbrt (sqrt (/ 1.0 (sqrt PI)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (* (cbrt (/ 1.0 (sqrt PI))) (cbrt (/ 1.0 (sqrt PI)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (sqrt (/ 1.0 (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (* (cbrt PI) (cbrt PI)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (* (cbrt 1.0) (cbrt 1.0)) 1))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (sqrt (* (cbrt PI) (cbrt PI)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (sqrt 1)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) 1))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1 (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1 (sqrt (* (cbrt PI) (cbrt PI)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1 (sqrt (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1 (sqrt 1)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1 (sqrt (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1 1))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1)) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1.0)) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (sqrt (/ 1.0 (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) 1) (* (cbrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (/ 1.0 (sqrt PI)))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1.0)) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* 5.0 21.0)) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (+ (* (fabs x) (fabs x)) (- (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)) (* (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (* 5.0 21.0)) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7)))))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (- (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3))))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* (* 2.0 (- (* (fabs x) (fabs x)) (* (/ (pow (fabs x) 3) 3.0) (/ (pow (fabs x) 3) 3.0)))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3)) (sqrt (/ 1.0 (sqrt PI)))) (* (- (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt (/ 1.0 (sqrt PI)))) (fabs (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (fabs (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt PI)))))) (* (* (pow (sqrt 1.0) 2) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (sqrt (/ 1 PI))) (* (* (pow (sqrt 1.0) 2) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (sqrt (/ 1 PI))) (* (* (pow (sqrt 1.0) 2) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (sqrt (/ 1 PI))) (* (* (sqrt 1.0) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (pow (/ 1 PI) 1/4)) (* (* (sqrt 1.0) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) (pow (/ 1 PI) 1/4)) 1.344 * * [simplify]: iteration 0 : 5128 enodes (cost 7602 ) 1.363 * [simplify]: Simplified to: (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt PI)) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt PI)) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (pow (exp (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (/ 1.0 (sqrt PI))) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) 3) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) 3) (* (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) 3) (sqrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* 1.0 (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (* 5.0 21.0))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))))))) (* (sqrt PI) (* 5.0 (* 21.0 (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))))) (* 1.0 (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))))))) (* (sqrt PI) (* (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))) (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* 1.0 (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* (* 1.0 (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt PI) (* (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* 1.0 (+ (* 2.0 (* (* 5.0 21.0) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt PI) (* 5.0 (* 21.0 (- (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (+ (* 2.0 (* (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt PI) (* (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0))) (* (* 1.0 (- (fabs x) (/ (pow (fabs x) 3) 3.0))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt PI) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3))) (* (sqrt PI) (+ (* 2.0 (* (+ (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (* (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (- (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))))))) (* 1.0 (- (* 2.0 (* (+ (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (* (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* (sqrt PI) (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* 1.0 (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (sqrt PI) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (* 5.0 21.0))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))))))) (* (sqrt (sqrt PI)) (* 5.0 (* 21.0 (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))))))) (* (sqrt (sqrt PI)) (* (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))) (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* (* 1.0 (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* (sqrt (sqrt PI)) (* (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (+ (* 2.0 (* (* 5.0 21.0) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (- (fabs x) (/ (pow (fabs x) 3) 3.0))))))) (* (sqrt (sqrt PI)) (* 5.0 (* 21.0 (- (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (+ (* 2.0 (* (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (- (fabs x) (/ (pow (fabs x) 3) 3.0))))))) (* (sqrt (sqrt PI)) (* (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0))) (* (* 1.0 (- (fabs x) (/ (pow (fabs x) 3) 3.0))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* (sqrt (sqrt PI)) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3)))) (* (sqrt (sqrt PI)) (+ (* 2.0 (* (+ (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (* (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (- (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1.0)))) (* (sqrt (sqrt PI)) (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (cbrt (sqrt (/ 1.0 (sqrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (cbrt (/ 1.0 (sqrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (sqrt (/ 1.0 (sqrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (cbrt 1.0) (cbrt (sqrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (cbrt 1.0) (sqrt (cbrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (cbrt 1.0) (sqrt (sqrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (cbrt 1.0) (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (cbrt 1.0) (sqrt (sqrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (cbrt 1.0) (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (cbrt (sqrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (sqrt (cbrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (cbrt (sqrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt (cbrt PI)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt (sqrt PI)))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1.0 (sqrt (sqrt PI)))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1 (sqrt PI))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (sqrt (/ 1.0 (sqrt PI)))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (* 5.0 21.0))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* (* 1.0 (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (+ (* 2.0 (* (* 5.0 21.0) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (- (fabs x) (/ (pow (fabs x) 3) 3.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (+ (* 2.0 (* (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (- (fabs x) (/ (pow (fabs x) 3) 3.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0))) (* (* 1.0 (- (fabs x) (/ (pow (fabs x) 3) 3.0))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (sqrt 1.0) (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3)))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1.0))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (* 5.0 21.0))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))))))) (* (/ 1.0 (sqrt PI)) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* (* 1.0 (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (* (* 5.0 21.0) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (* (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (/ 1.0 (sqrt PI)) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0))) (* (* 1.0 (- (fabs x) (/ (pow (fabs x) 3) 3.0))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (/ 1.0 (sqrt PI)) (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3))) (* (/ 1.0 (sqrt PI)) (- (* 2.0 (* (+ (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (* (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1.0))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (log (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (log (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (pow (exp (sqrt (/ 1.0 (sqrt PI)))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (pow (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) 3) (* (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (cbrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (pow (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) 3) (sqrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt 1.0) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (* 5.0 21.0))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))))))) (* (sqrt (sqrt PI)) (* 5.0 (* 21.0 (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))))) (* (sqrt 1.0) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))))))) (* (sqrt (sqrt PI)) (* (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))) (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* (sqrt 1.0) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* (* 1.0 (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (sqrt PI)) (* (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))) (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (sqrt 1.0) (+ (* 2.0 (* (* 5.0 21.0) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt (sqrt PI)) (* 5.0 (* 21.0 (- (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* (sqrt 1.0) (+ (* 2.0 (* (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt (sqrt PI)) (* (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (sqrt 1.0) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0))) (* (* 1.0 (- (fabs x) (/ (pow (fabs x) 3) 3.0))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (sqrt PI)) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* (sqrt 1.0) (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3))) (* (sqrt (sqrt PI)) (+ (* 2.0 (* (+ (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (* (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (- (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1.0))) (* (sqrt (sqrt PI)) (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI)))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (sqrt (/ 1.0 (sqrt PI)))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (cbrt (sqrt (/ 1.0 (sqrt PI)))) (cbrt (sqrt (/ 1.0 (sqrt PI)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (fabs (cbrt (/ 1.0 (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (sqrt (/ 1.0 (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (fabs (/ (cbrt 1.0) (cbrt (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (* (/ (cbrt 1.0) (fabs (cbrt PI))) (cbrt 1.0)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (* (/ (cbrt 1.0) (sqrt (sqrt PI))) (cbrt 1.0)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (fabs (cbrt 1.0))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (* (/ (cbrt 1.0) (sqrt (sqrt PI))) (cbrt 1.0)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (fabs (cbrt 1.0))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (fabs (cbrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (sqrt 1.0))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ (sqrt 1.0) (sqrt (sqrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (sqrt 1.0))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1 (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1 (fabs (cbrt PI))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1 (sqrt (sqrt PI))))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (/ 1 (sqrt (sqrt PI))))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1.0)) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt (sqrt (/ 1.0 (sqrt PI))))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (* (sqrt (/ 1.0 (sqrt PI))) (cbrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt 1.0)) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (* 5.0 21.0))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0))))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3))) (* (* 1.0 (+ (* (fabs x) (fabs x)) (- (/ (/ (pow (fabs x) 6) 3.0) 3.0) (/ (pow (fabs x) 4) 3.0)))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (* (* 5.0 21.0) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (* (pow (fabs x) 5) 21.0) (* 5.0 (pow (fabs x) 7))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (* 2.0 (* (+ (/ (/ (pow (fabs x) 10) 5.0) 5.0) (* (/ (pow (fabs x) 7) 21.0) (- (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0)))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (/ (pow (fabs x) 7) 21.0) 3)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (* (- (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (+ (* 2.0 (- (* (fabs x) (fabs x)) (/ (/ (pow (fabs x) 6) 3.0) 3.0))) (* (* 1.0 (- (fabs x) (/ (pow (fabs x) 3) 3.0))) (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (+ (pow (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) 3) (pow (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))) 3))) (* (sqrt (/ 1.0 (sqrt PI))) (- (* 2.0 (* (+ (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (* (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))) (fabs (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (fabs (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (* 1.0 (* (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 5) 0.2) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) 0.047619047619047616)))) (sqrt (/ 1 PI)))) (* 1.0 (* (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 5) 0.2) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) 0.047619047619047616)))) (sqrt (/ 1 PI)))) (* 1.0 (* (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 5) 0.2) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) 0.047619047619047616)))) (sqrt (/ 1 PI)))) (* (sqrt 1.0) (* (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 5) 0.2) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) 0.047619047619047616)))) (pow (/ 1 PI) 1/4))) (* (sqrt 1.0) (* (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 5) 0.2) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) 0.047619047619047616)))) (pow (/ 1 PI) 1/4))) (* (sqrt 1.0) (* (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 5) 0.2) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) 0.047619047619047616)))) (pow (/ 1 PI) 1/4))) 1.364 * * * [progress]: adding candidates to table 2.106 * * [progress]: iteration 4 / 4 2.106 * * * [progress]: picking best candidate 2.116 * * * * [pick]: Picked # 2.116 * * * [progress]: localizing error 2.145 * * * [progress]: generating rewritten candidates 2.145 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1) 2.148 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 2.150 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1) 2.151 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 1) 2.154 * * * [progress]: generating series expansions 2.154 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1) 2.154 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 2.154 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1) 2.154 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 1) 2.154 * * * [progress]: simplifying candidates 2.155 * [simplify]: Simplifying using # : (* (log (fabs (cbrt PI))) 3) (* (log (fabs (cbrt PI))) 3) (* 1 3) (pow (fabs (cbrt PI)) (* (cbrt 3) (cbrt 3))) (pow (fabs (cbrt PI)) (sqrt 3)) (pow (fabs (cbrt PI)) 1) (pow (* (cbrt (fabs (cbrt PI))) (cbrt (fabs (cbrt PI)))) 3) (pow (cbrt (fabs (cbrt PI))) 3) (pow (sqrt (fabs (cbrt PI))) 3) (pow (sqrt (fabs (cbrt PI))) 3) (pow 1 3) (pow (fabs (cbrt PI)) 3) (* (fabs (cbrt PI)) (fabs (cbrt PI))) (log (pow (fabs (cbrt PI)) 3)) (exp (pow (fabs (cbrt PI)) 3)) (* (cbrt (pow (fabs (cbrt PI)) 3)) (cbrt (pow (fabs (cbrt PI)) 3))) (cbrt (pow (fabs (cbrt PI)) 3)) (* (* (pow (fabs (cbrt PI)) 3) (pow (fabs (cbrt PI)) 3)) (pow (fabs (cbrt PI)) 3)) (pow (* (cbrt (fabs (cbrt PI))) (cbrt (fabs (cbrt PI)))) 3) (pow (cbrt (fabs (cbrt PI))) 3) (pow (sqrt (fabs (cbrt PI))) 3) (pow (sqrt (fabs (cbrt PI))) 3) (pow 1 3) (pow (fabs (cbrt PI)) 3) (* (fabs (cbrt PI)) (fabs (cbrt PI))) (sqrt (pow (fabs (cbrt PI)) 3)) (sqrt (pow (fabs (cbrt PI)) 3)) (pow (fabs (cbrt PI)) (/ 3 2)) (pow (fabs (cbrt PI)) (/ 3 2)) (log (cbrt (pow (fabs (cbrt PI)) 3))) (exp (cbrt (pow (fabs (cbrt PI)) 3))) (cbrt (pow (* (cbrt (fabs (cbrt PI))) (cbrt (fabs (cbrt PI)))) 3)) (cbrt (pow (cbrt (fabs (cbrt PI))) 3)) (cbrt (pow (sqrt (fabs (cbrt PI))) 3)) (cbrt (pow (sqrt (fabs (cbrt PI))) 3)) (cbrt (pow 1 3)) (cbrt (pow (fabs (cbrt PI)) 3)) (cbrt (* (fabs (cbrt PI)) (fabs (cbrt PI)))) (cbrt (fabs (cbrt PI))) (cbrt (* (cbrt (pow (fabs (cbrt PI)) 3)) (cbrt (pow (fabs (cbrt PI)) 3)))) (cbrt (cbrt (pow (fabs (cbrt PI)) 3))) (cbrt (pow (* (cbrt (fabs (cbrt PI))) (cbrt (fabs (cbrt PI)))) 3)) (cbrt (pow (cbrt (fabs (cbrt PI))) 3)) (cbrt (pow (sqrt (fabs (cbrt PI))) 3)) (cbrt (pow (sqrt (fabs (cbrt PI))) 3)) (cbrt (pow 1 3)) (cbrt (pow (fabs (cbrt PI)) 3)) (cbrt (fabs (cbrt PI))) (cbrt (* (fabs (cbrt PI)) (fabs (cbrt PI)))) (cbrt (sqrt (pow (fabs (cbrt PI)) 3))) (cbrt (sqrt (pow (fabs (cbrt PI)) 3))) (cbrt 1) (cbrt (pow (fabs (cbrt PI)) 3)) (cbrt (pow (fabs (cbrt PI)) (/ 3 2))) (cbrt (pow (fabs (cbrt PI)) (/ 3 2))) (* (cbrt (cbrt (pow (fabs (cbrt PI)) 3))) (cbrt (cbrt (pow (fabs (cbrt PI)) 3)))) (cbrt (cbrt (pow (fabs (cbrt PI)) 3))) (* (* (cbrt (pow (fabs (cbrt PI)) 3)) (cbrt (pow (fabs (cbrt PI)) 3))) (cbrt (pow (fabs (cbrt PI)) 3))) (sqrt (cbrt (pow (fabs (cbrt PI)) 3))) (sqrt (cbrt (pow (fabs (cbrt PI)) 3))) (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)) (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 (cbrt (pow (fabs (cbrt PI)) 3))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (sqrt (cbrt PI)))))) (fabs (* (/ 1 (cbrt (pow (fabs (cbrt PI)) 3))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (sqrt (cbrt PI)))))) (fabs (* (/ 1 (cbrt (pow (fabs (cbrt PI)) 3))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (sqrt (cbrt PI)))))) (fabs (* (/ 1 (cbrt (pow (fabs (cbrt PI)) 3))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ 1.0 (sqrt (cbrt PI)))))) 2.182 * * [simplify]: iteration 0 : 5549 enodes (cost 508 ) 2.185 * [simplify]: Simplified to: (* (log (fabs (cbrt PI))) 3) (* (log (fabs (cbrt PI))) 3) 3 (pow (fabs (cbrt PI)) (* (cbrt 3) (cbrt 3))) (pow (fabs (cbrt PI)) (sqrt 3)) (fabs (cbrt PI)) (pow (fabs (cbrt PI)) 2) (fabs (cbrt PI)) (pow (fabs (cbrt PI)) 3/2) (pow (fabs (cbrt PI)) 3/2) 1 (pow (fabs (cbrt PI)) 3) (pow (fabs (cbrt PI)) 2) (* (log (fabs (cbrt PI))) 3) (exp (pow (fabs (cbrt PI)) 3)) (pow (fabs (cbrt PI)) 2) (fabs (cbrt PI)) (pow (pow (fabs (cbrt PI)) 3/2) 6) (pow (fabs (cbrt PI)) 2) (fabs (cbrt PI)) (pow (fabs (cbrt PI)) 3/2) (pow (fabs (cbrt PI)) 3/2) 1 (pow (fabs (cbrt PI)) 3) (pow (fabs (cbrt PI)) 2) (sqrt (pow (fabs (cbrt PI)) 3)) (sqrt (pow (fabs (cbrt PI)) 3)) (pow (fabs (cbrt PI)) 3/2) (pow (fabs (cbrt PI)) 3/2) (log (fabs (cbrt PI))) (exp (fabs (cbrt PI))) (cbrt (pow (fabs (cbrt PI)) 2)) (cbrt (fabs (cbrt PI))) (sqrt (fabs (cbrt PI))) (sqrt (fabs (cbrt PI))) (cbrt 1) (fabs (cbrt PI)) (cbrt (pow (fabs (cbrt PI)) 2)) (cbrt (fabs (cbrt PI))) (cbrt (pow (fabs (cbrt PI)) 2)) (cbrt (fabs (cbrt PI))) (cbrt (pow (fabs (cbrt PI)) 2)) (cbrt (fabs (cbrt PI))) (sqrt (fabs (cbrt PI))) (sqrt (fabs (cbrt PI))) (cbrt 1) (fabs (cbrt PI)) (cbrt (fabs (cbrt PI))) (cbrt (pow (fabs (cbrt PI)) 2)) (cbrt (sqrt (pow (fabs (cbrt PI)) 3))) (cbrt (sqrt (pow (fabs (cbrt PI)) 3))) (cbrt 1) (fabs (cbrt PI)) (sqrt (fabs (cbrt PI))) (sqrt (fabs (cbrt PI))) (cbrt (pow (fabs (cbrt PI)) 2)) (cbrt (fabs (cbrt PI))) (pow (fabs (cbrt PI)) 3) (sqrt (fabs (cbrt PI))) (sqrt (fabs (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)) (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 (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (/ 1.0 (sqrt (cbrt PI))) (fabs (cbrt PI))))) (fabs (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (/ 1.0 (sqrt (cbrt PI))) (fabs (cbrt PI))))) (fabs (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (/ 1.0 (sqrt (cbrt PI))) (fabs (cbrt PI))))) (fabs (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (/ (/ 1.0 (sqrt (cbrt PI))) (fabs (cbrt PI))))) 2.185 * * * [progress]: adding candidates to table 2.324 * [progress]: [Phase 3 of 3] Extracting. 2.324 * * [regime]: Finding splitpoints for: (# # # # #) 2.328 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x) 2.328 * * * * [regimes]: Trying to branch on (fabs x) from (# # # # #) 2.376 * * * * [regimes]: Trying to branch on x from (# # # # #) 2.419 * * * [regime]: Found split indices: #