7.769 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.006 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.007 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.007 * * * * [points]: Setting MPFR precision to 64 0.008 * * * * [points]: Setting MPFR precision to 320 0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.009 * * * * [points]: Setting MPFR precision to 64 0.010 * * * * [points]: Setting MPFR precision to 320 0.011 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.011 * * * * [points]: Setting MPFR precision to 64 0.013 * * * * [points]: Setting MPFR precision to 320 0.015 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.015 * * * * [points]: Setting MPFR precision to 64 0.018 * * * * [points]: Setting MPFR precision to 320 0.021 * * * * [points]: Computing exacts for 256 points 0.021 * * * * [points]: Setting MPFR precision to 64 0.030 * * * * [points]: Setting MPFR precision to 320 0.040 * * * * [points]: Filtering points with unrepresentable outputs 0.040 * * * * [points]: Sampled 256 points with exact outputs 0.063 * * * [progress]: [2/2] Setting up program. 0.067 * [progress]: [Phase 2 of 3] Improving. 0.067 * [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.109 * * [simplify]: iteration 0 : 5022 enodes (cost 33 ) 0.110 * [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.118 * * [progress]: iteration 1 / 4 0.118 * * * [progress]: picking best candidate 0.125 * * * * [pick]: Picked # 0.125 * * * [progress]: localizing error 0.146 * * * [progress]: generating rewritten candidates 0.146 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.147 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 2) 0.152 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2) 0.158 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.193 * * * [progress]: generating series expansions 0.194 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.194 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 2) 0.194 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in (x) around 0 0.194 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 0.194 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.194 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 0.194 * [taylor]: Taking taylor expansion of (fabs x) in x 0.194 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 0.194 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.194 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 0.194 * [taylor]: Taking taylor expansion of (fabs x) in x 0.197 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in (x) around 0 0.198 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 0.198 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.198 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 0.198 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.198 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 0.198 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.198 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 0.198 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.202 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in (x) around 0 0.202 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 0.202 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.202 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 0.202 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.202 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 0.202 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.202 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 0.202 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.206 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2) 0.206 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in (x) around 0 0.206 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in x 0.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.206 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.206 * [taylor]: Taking taylor expansion of (fabs x) in x 0.206 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in x 0.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.206 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.206 * [taylor]: Taking taylor expansion of (fabs x) in x 0.208 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.208 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in x 0.208 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.208 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.208 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.208 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in x 0.208 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.208 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.208 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.211 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.211 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in x 0.211 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.211 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.211 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.211 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in x 0.211 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.211 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.211 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.213 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.214 * [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.214 * [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.214 * [taylor]: Taking taylor expansion of 1.0 in x 0.214 * [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.214 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.214 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.214 * [taylor]: Taking taylor expansion of PI in x 0.214 * [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.214 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.214 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.214 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.214 * [taylor]: Taking taylor expansion of (fabs x) in x 0.214 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 0.214 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.214 * [taylor]: Taking taylor expansion of 0.2 in x 0.214 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.214 * [taylor]: Taking taylor expansion of (fabs x) in x 0.214 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 0.214 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 0.214 * [taylor]: Taking taylor expansion of 2.0 in x 0.214 * [taylor]: Taking taylor expansion of (fabs x) in x 0.214 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 0.214 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.214 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 0.214 * [taylor]: Taking taylor expansion of (fabs x) in x 0.214 * [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.214 * [taylor]: Taking taylor expansion of 1.0 in x 0.215 * [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.215 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.215 * [taylor]: Taking taylor expansion of PI in x 0.215 * [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.215 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.215 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.215 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.215 * [taylor]: Taking taylor expansion of (fabs x) in x 0.215 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 0.215 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.215 * [taylor]: Taking taylor expansion of 0.2 in x 0.215 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.215 * [taylor]: Taking taylor expansion of (fabs x) in x 0.215 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 0.215 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 0.215 * [taylor]: Taking taylor expansion of 2.0 in x 0.215 * [taylor]: Taking taylor expansion of (fabs x) in x 0.215 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 0.215 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.215 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 0.215 * [taylor]: Taking taylor expansion of (fabs x) in x 0.231 * [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.231 * [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.231 * [taylor]: Taking taylor expansion of 1.0 in x 0.231 * [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.231 * [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.231 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 0.231 * [taylor]: Taking taylor expansion of 2.0 in x 0.231 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.231 * [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.231 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 0.231 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.231 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 0.231 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.231 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 0.231 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 0.231 * [taylor]: Taking taylor expansion of 0.2 in x 0.231 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 0.231 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.231 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.231 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.231 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.231 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.231 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.231 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.231 * [taylor]: Taking taylor expansion of PI in x 0.231 * [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.232 * [taylor]: Taking taylor expansion of 1.0 in x 0.232 * [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.232 * [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.232 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 0.232 * [taylor]: Taking taylor expansion of 2.0 in x 0.232 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.232 * [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.232 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 0.232 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.232 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) 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)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) 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.232 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.232 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.232 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.232 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.232 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.232 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.232 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.232 * [taylor]: Taking taylor expansion of PI in x 0.250 * [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.250 * [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.250 * [taylor]: Taking taylor expansion of 1.0 in x 0.251 * [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.251 * [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.251 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.251 * [taylor]: Taking taylor expansion of 0.2 in x 0.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.251 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.251 * [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.251 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 0.251 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 0.251 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.251 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 0.251 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 0.251 * [taylor]: Taking taylor expansion of 2.0 in x 0.251 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.251 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.251 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.251 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.251 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.251 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.251 * [taylor]: Taking taylor expansion of PI in x 0.251 * [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.251 * [taylor]: Taking taylor expansion of 1.0 in x 0.251 * [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.251 * [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.251 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.251 * [taylor]: Taking taylor expansion of 0.2 in x 0.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.251 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.251 * [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.251 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 0.251 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 0.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 0.251 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.251 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 0.251 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 0.252 * [taylor]: Taking taylor expansion of 2.0 in x 0.252 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.252 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.252 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.252 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.252 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.252 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 0.252 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 0.252 * [taylor]: Taking taylor expansion of PI in x 0.269 * * * [progress]: simplifying candidates 0.275 * [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 (fabs x)) 7) (log 21.0)) (- (* (log (fabs x)) 7) (log 21.0)) (- (log (pow (fabs x) 7)) (log 21.0)) (log (/ (pow (fabs x) 7) 21.0)) (exp (/ (pow (fabs x) 7) 21.0)) (/ (* (* (pow (fabs x) 7) (pow (fabs x) 7)) (pow (fabs x) 7)) (* (* 21.0 21.0) 21.0)) (* (cbrt (/ (pow (fabs x) 7) 21.0)) (cbrt (/ (pow (fabs x) 7) 21.0))) (cbrt (/ (pow (fabs x) 7) 21.0)) (* (* (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7) 21.0)) (/ (pow (fabs x) 7) 21.0)) (sqrt (/ (pow (fabs x) 7) 21.0)) (sqrt (/ (pow (fabs x) 7) 21.0)) (neg (pow (fabs x) 7)) (neg 21.0) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7) (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (cbrt (fabs x)) 7) (cbrt 21.0)) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7) (sqrt 21.0)) (/ (pow (cbrt (fabs x)) 7) (sqrt 21.0)) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7) 1) (/ (pow (cbrt (fabs x)) 7) 21.0) (/ (pow (sqrt (fabs x)) 7) (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (sqrt (fabs x)) 7) (cbrt 21.0)) (/ (pow (sqrt (fabs x)) 7) (sqrt 21.0)) (/ (pow (sqrt (fabs x)) 7) (sqrt 21.0)) (/ (pow (sqrt (fabs x)) 7) 1) (/ (pow (sqrt (fabs x)) 7) 21.0) (/ (pow 1 7) (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (fabs x) 7) (cbrt 21.0)) (/ (pow 1 7) (sqrt 21.0)) (/ (pow (fabs x) 7) (sqrt 21.0)) (/ (pow 1 7) 1) (/ (pow (fabs x) 7) 21.0) (/ (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))) (* (cbrt 21.0) (cbrt 21.0))) (/ (cbrt (pow (fabs x) 7)) (cbrt 21.0)) (/ (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))) (sqrt 21.0)) (/ (cbrt (pow (fabs x) 7)) (sqrt 21.0)) (/ (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))) 1) (/ (cbrt (pow (fabs x) 7)) 21.0) (/ (sqrt (pow (fabs x) 7)) (* (cbrt 21.0) (cbrt 21.0))) (/ (sqrt (pow (fabs x) 7)) (cbrt 21.0)) (/ (sqrt (pow (fabs x) 7)) (sqrt 21.0)) (/ (sqrt (pow (fabs x) 7)) (sqrt 21.0)) (/ (sqrt (pow (fabs x) 7)) 1) (/ (sqrt (pow (fabs x) 7)) 21.0) (/ 1 (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (fabs x) 7) (cbrt 21.0)) (/ 1 (sqrt 21.0)) (/ (pow (fabs x) 7) (sqrt 21.0)) (/ 1 1) (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) (/ 7 2)) (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (fabs x) (/ 7 2)) (cbrt 21.0)) (/ (pow (fabs x) (/ 7 2)) (sqrt 21.0)) (/ (pow (fabs x) (/ 7 2)) (sqrt 21.0)) (/ (pow (fabs x) (/ 7 2)) 1) (/ (pow (fabs x) (/ 7 2)) 21.0) (/ 1 21.0) (/ 21.0 (pow (fabs x) 7)) (/ (pow (fabs x) 7) (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (fabs x) 7) (sqrt 21.0)) (/ (pow (fabs x) 7) 1) (/ 21.0 (pow (cbrt (fabs x)) 7)) (/ 21.0 (pow (sqrt (fabs x)) 7)) (/ 21.0 (pow (fabs x) 7)) (/ 21.0 (cbrt (pow (fabs x) 7))) (/ 21.0 (sqrt (pow (fabs x) 7))) (/ 21.0 (pow (fabs x) 7)) (/ 21.0 (pow (fabs x) (/ 7 2))) (- (* (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))) (* (/ 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))))) (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.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.3333333333333333 (pow (fabs x) 3)) (* 0.3333333333333333 (pow (fabs x) 3)) (* 0.3333333333333333 (pow (fabs x) 3)) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) 0.328 * * [simplify]: iteration 0 : 4981 enodes (cost 4304 ) 0.329 * * [simplify]: iteration 1 : 4981 enodes (cost 4304 ) 0.342 * [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 (/ (pow (fabs x) 7) 21.0)) (log (/ (pow (fabs x) 7) 21.0)) (log (/ (pow (fabs x) 7) 21.0)) (log (/ (pow (fabs x) 7) 21.0)) (exp (/ (pow (fabs x) 7) 21.0)) (pow (/ (pow (fabs x) 7) 21.0) 3) (* (cbrt (/ (pow (fabs x) 7) 21.0)) (cbrt (/ (pow (fabs x) 7) 21.0))) (cbrt (/ (pow (fabs x) 7) 21.0)) (pow (/ (pow (fabs x) 7) 21.0) 3) (sqrt (/ (pow (fabs x) 7) 21.0)) (sqrt (/ (pow (fabs x) 7) 21.0)) (neg (pow (fabs x) 7)) (neg 21.0) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7) (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (cbrt (fabs x)) 7) (cbrt 21.0)) (/ (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7) (sqrt 21.0)) (/ (pow (cbrt (fabs x)) 7) (sqrt 21.0)) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 7) (/ (pow (cbrt (fabs x)) 7) 21.0) (/ (pow (sqrt (fabs x)) 7) (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (sqrt (fabs x)) 7) (cbrt 21.0)) (/ (pow (sqrt (fabs x)) 7) (sqrt 21.0)) (/ (pow (sqrt (fabs x)) 7) (sqrt 21.0)) (pow (sqrt (fabs x)) 7) (/ (pow (sqrt (fabs x)) 7) 21.0) (/ 1 (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (fabs x) 7) (cbrt 21.0)) (/ 1 (sqrt 21.0)) (/ (pow (fabs x) 7) (sqrt 21.0)) 1 (/ (pow (fabs x) 7) 21.0) (* (/ (cbrt (pow (fabs x) 7)) (cbrt 21.0)) (/ (cbrt (pow (fabs x) 7)) (cbrt 21.0))) (/ (cbrt (pow (fabs x) 7)) (cbrt 21.0)) (* (/ (cbrt (pow (fabs x) 7)) (sqrt 21.0)) (cbrt (pow (fabs x) 7))) (/ (cbrt (pow (fabs x) 7)) (sqrt 21.0)) (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))) (/ (cbrt (pow (fabs x) 7)) 21.0) (/ (sqrt (pow (fabs x) 7)) (* (cbrt 21.0) (cbrt 21.0))) (/ (sqrt (pow (fabs x) 7)) (cbrt 21.0)) (/ (sqrt (pow (fabs x) 7)) (sqrt 21.0)) (/ (sqrt (pow (fabs x) 7)) (sqrt 21.0)) (sqrt (pow (fabs x) 7)) (/ (sqrt (pow (fabs x) 7)) 21.0) (/ 1 (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (fabs x) 7) (cbrt 21.0)) (/ 1 (sqrt 21.0)) (/ (pow (fabs x) 7) (sqrt 21.0)) 1 (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 7/2) (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (fabs x) 7/2) (cbrt 21.0)) (/ (pow (fabs x) 7/2) (sqrt 21.0)) (/ (pow (fabs x) 7/2) (sqrt 21.0)) (pow (fabs x) 7/2) (/ (pow (fabs x) 7/2) 21.0) (/ 1 21.0) (/ 21.0 (pow (fabs x) 7)) (/ (pow (fabs x) 7) (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (fabs x) 7) (sqrt 21.0)) (pow (fabs x) 7) (/ 21.0 (pow (cbrt (fabs x)) 7)) (/ 21.0 (pow (sqrt (fabs x)) 7)) (/ 21.0 (pow (fabs x) 7)) (/ 21.0 (cbrt (pow (fabs x) 7))) (/ 21.0 (sqrt (pow (fabs x) 7))) (/ 21.0 (pow (fabs x) 7)) (/ 21.0 (pow (fabs x) 7/2)) (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)) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (pow (exp (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) 3) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) 3) (* (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) 3) (sqrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (sqrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* 1.0 (+ (* 21.0 (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) 5.0))) (* 1.0 (* (+ (* 21.0 (pow (fabs x) 5)) (* (pow (fabs x) 7) 5.0)) (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0))))))) (* (sqrt PI) (* 21.0 (* 5.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) 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)))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 7) 21.0) 3) (pow (/ (pow (fabs x) 5) 5.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) 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)))))) (* 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) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (/ (pow (fabs x) 14) (* 21.0 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 (+ (* 21.0 (* 2.0 (* (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))) 5.0))) (* 1.0 (* (+ (* 21.0 (pow (fabs x) 5)) (* (pow (fabs x) 7) 5.0)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt PI) (* 21.0 (* 5.0 (- (fabs x) (/ (pow (fabs x) 3) 3.0))))) (* 1.0 (+ (* 2.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)))) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 7) 21.0) 3) (pow (/ (pow (fabs x) 5) 5.0) 3)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt PI) (* (+ (* (/ (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)))) (- (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) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (/ (pow (fabs x) 14) (* 21.0 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) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.0)) (- (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.0)) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))))) (* (sqrt PI) (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (* (/ 1.0 (sqrt PI)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (* (/ 1.0 (sqrt PI)) (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (* (/ 1.0 (sqrt PI)) (* (cbrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) (cbrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))))) (* (/ 1.0 (sqrt PI)) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (/ 1.0 (sqrt PI)) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (cbrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ 1.0 (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ 1.0 (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) (/ (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (sqrt PI)) (* (/ 1.0 (sqrt PI)) (+ (* 21.0 (* 2.0 (* (+ (pow (fabs x) 3) (pow (/ (pow (fabs x) 3) 3.0) 3)) 5.0))) (* 1.0 (* (+ (* 21.0 (pow (fabs x) 5)) (* (pow (fabs x) 7) 5.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 (* (+ (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)))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 7) 21.0) 3) (pow (/ (pow (fabs x) 5) 5.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) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (/ (pow (fabs x) 14) (* 21.0 21.0))) (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0))))))) (* (/ 1.0 (sqrt PI)) (+ (* 21.0 (* 2.0 (* (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))) 5.0))) (* 1.0 (* (+ (* 21.0 (pow (fabs x) 5)) (* (pow (fabs x) 7) 5.0)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.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)))) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (+ (pow (/ (pow (fabs x) 7) 21.0) 3) (pow (/ (pow (fabs x) 5) 5.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) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (/ (pow (fabs x) 14) (* 21.0 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) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.0)) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))))) (* 1.0 (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0))))) (fabs (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))))) (* (pow (fabs x) 7) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616) (* (pow (fabs x) 3) 0.3333333333333333) (* (pow (fabs x) 3) 0.3333333333333333) (* (pow (fabs x) 3) 0.3333333333333333) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 7) 0.047619047619047616) (+ (* (pow (fabs x) 5) 0.2) (* (fabs x) 2.0)))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 7) 0.047619047619047616) (+ (* (pow (fabs x) 5) 0.2) (* (fabs x) 2.0)))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* (pow (fabs x) 7) 0.047619047619047616) (+ (* (pow (fabs x) 5) 0.2) (* (fabs x) 2.0)))))) 0.343 * * * [progress]: adding candidates to table 0.901 * * [progress]: iteration 2 / 4 0.901 * * * [progress]: picking best candidate 0.919 * * * * [pick]: Picked # 0.920 * * * [progress]: localizing error 0.943 * * * [progress]: generating rewritten candidates 0.943 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.945 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 2 2 2) 0.948 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 2 1) 0.951 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2) 0.960 * * * [progress]: generating series expansions 0.960 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.960 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 2 2 2) 0.960 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs x)) 7) in (x) around 0 0.960 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs x)) 7) in x 0.960 * [taylor]: Taking taylor expansion of (sqrt (fabs x)) in x 0.960 * [taylor]: Taking taylor expansion of (fabs x) in x 0.960 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs x)) 7) in x 0.960 * [taylor]: Taking taylor expansion of (sqrt (fabs x)) in x 0.960 * [taylor]: Taking taylor expansion of (fabs x) in x 0.964 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 7) in (x) around 0 0.964 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 7) in x 0.964 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ 1 x))) in x 0.964 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.964 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 7) in x 0.964 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ 1 x))) in x 0.964 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.968 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 7) in (x) around 0 0.968 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 7) in x 0.968 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ -1 x))) in x 0.968 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.968 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 7) in x 0.968 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ -1 x))) in x 0.968 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.972 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 2 1) 0.972 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs x)) 7) in (x) around 0 0.972 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs x)) 7) in x 0.972 * [taylor]: Taking taylor expansion of (sqrt (fabs x)) in x 0.972 * [taylor]: Taking taylor expansion of (fabs x) in x 0.972 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs x)) 7) in x 0.972 * [taylor]: Taking taylor expansion of (sqrt (fabs x)) in x 0.972 * [taylor]: Taking taylor expansion of (fabs x) in x 0.976 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 7) in (x) around 0 0.976 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 7) in x 0.976 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ 1 x))) in x 0.976 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.976 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 7) in x 0.976 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ 1 x))) in x 0.976 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.980 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 7) in (x) around 0 0.980 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 7) in x 0.980 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ -1 x))) in x 0.980 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.980 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 7) in x 0.980 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ -1 x))) in x 0.980 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.984 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2) 0.985 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in (x) around 0 0.985 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in x 0.985 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.985 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.985 * [taylor]: Taking taylor expansion of (fabs x) in x 0.985 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in x 0.985 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.985 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.985 * [taylor]: Taking taylor expansion of (fabs x) in x 0.989 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.989 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in x 0.989 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.989 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.989 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.989 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in x 0.989 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.989 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.989 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.991 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.992 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in x 0.992 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.992 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.992 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.992 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in x 0.992 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.992 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.992 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.994 * * * [progress]: simplifying candidates 0.996 * [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 (fabs x))) 7) (* (log (sqrt (fabs x))) 7) (* 1/2 7) (* 1 7) (* (/ 1 2) 7) (pow (sqrt (fabs x)) (* (cbrt 7) (cbrt 7))) (pow (sqrt (fabs x)) (sqrt 7)) (pow (sqrt (fabs x)) 1) (pow (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))) 7) (pow (cbrt (sqrt (fabs x))) 7) (pow (sqrt (* (cbrt (fabs x)) (cbrt (fabs x)))) 7) (pow (sqrt (cbrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow (sqrt 1) 7) (pow (sqrt (fabs x)) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow 1 7) (pow (sqrt (fabs x)) 7) (log (pow (sqrt (fabs x)) 7)) (exp (pow (sqrt (fabs x)) 7)) (* (cbrt (pow (sqrt (fabs x)) 7)) (cbrt (pow (sqrt (fabs x)) 7))) (cbrt (pow (sqrt (fabs x)) 7)) (* (* (pow (sqrt (fabs x)) 7) (pow (sqrt (fabs x)) 7)) (pow (sqrt (fabs x)) 7)) (/ 7 2) (sqrt (pow (sqrt (fabs x)) 7)) (sqrt (pow (sqrt (fabs x)) 7)) (pow (sqrt (fabs x)) (/ 7 2)) (pow (sqrt (fabs x)) (/ 7 2)) (* (log (sqrt (fabs x))) 7) (* (log (sqrt (fabs x))) 7) (* 1/2 7) (* 1 7) (* (/ 1 2) 7) (pow (sqrt (fabs x)) (* (cbrt 7) (cbrt 7))) (pow (sqrt (fabs x)) (sqrt 7)) (pow (sqrt (fabs x)) 1) (pow (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))) 7) (pow (cbrt (sqrt (fabs x))) 7) (pow (sqrt (* (cbrt (fabs x)) (cbrt (fabs x)))) 7) (pow (sqrt (cbrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow (sqrt 1) 7) (pow (sqrt (fabs x)) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow 1 7) (pow (sqrt (fabs x)) 7) (log (pow (sqrt (fabs x)) 7)) (exp (pow (sqrt (fabs x)) 7)) (* (cbrt (pow (sqrt (fabs x)) 7)) (cbrt (pow (sqrt (fabs x)) 7))) (cbrt (pow (sqrt (fabs x)) 7)) (* (* (pow (sqrt (fabs x)) 7) (pow (sqrt (fabs x)) 7)) (pow (sqrt (fabs x)) 7)) (/ 7 2) (sqrt (pow (sqrt (fabs x)) 7)) (sqrt (pow (sqrt (fabs x)) 7)) (pow (sqrt (fabs x)) (/ 7 2)) (pow (sqrt (fabs x)) (/ 7 2)) (- (* (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))) (/ 21.0 (pow (sqrt (fabs x)) 7)) (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)) (* 0.3333333333333333 (pow (fabs x) 3)) (* 0.3333333333333333 (pow (fabs x) 3)) (* 0.3333333333333333 (pow (fabs x) 3)) 1.037 * * [simplify]: iteration 0 : 5001 enodes (cost 1075 ) 1.042 * [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 (fabs x))) 7) (* (log (sqrt (fabs x))) 7) 7/2 7 7/2 (pow (sqrt (fabs x)) (* (cbrt 7) (cbrt 7))) (pow (sqrt (fabs x)) (sqrt 7)) (sqrt (fabs x)) (pow (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))) 7) (pow (cbrt (sqrt (fabs x))) 7) (pow (fabs (cbrt (fabs x))) 7) (pow (sqrt (cbrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) 1 (pow (sqrt (fabs x)) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) 1 (pow (sqrt (fabs x)) 7) (* (log (sqrt (fabs x))) 7) (exp (pow (sqrt (fabs x)) 7)) (* (cbrt (pow (sqrt (fabs x)) 7)) (cbrt (pow (sqrt (fabs x)) 7))) (cbrt (pow (sqrt (fabs x)) 7)) (pow (pow (sqrt (fabs x)) 7) 3) 7/2 (sqrt (pow (sqrt (fabs x)) 7)) (sqrt (pow (sqrt (fabs x)) 7)) (pow (sqrt (fabs x)) 7/2) (pow (sqrt (fabs x)) 7/2) (* (log (sqrt (fabs x))) 7) (* (log (sqrt (fabs x))) 7) 7/2 7 7/2 (pow (sqrt (fabs x)) (* (cbrt 7) (cbrt 7))) (pow (sqrt (fabs x)) (sqrt 7)) (sqrt (fabs x)) (pow (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))) 7) (pow (cbrt (sqrt (fabs x))) 7) (pow (fabs (cbrt (fabs x))) 7) (pow (sqrt (cbrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) 1 (pow (sqrt (fabs x)) 7) (pow (sqrt (sqrt (fabs x))) 7) (pow (sqrt (sqrt (fabs x))) 7) 1 (pow (sqrt (fabs x)) 7) (* (log (sqrt (fabs x))) 7) (exp (pow (sqrt (fabs x)) 7)) (* (cbrt (pow (sqrt (fabs x)) 7)) (cbrt (pow (sqrt (fabs x)) 7))) (cbrt (pow (sqrt (fabs x)) 7)) (pow (pow (sqrt (fabs x)) 7) 3) 7/2 (sqrt (pow (sqrt (fabs x)) 7)) (sqrt (pow (sqrt (fabs x)) 7)) (pow (sqrt (fabs x)) 7/2) (pow (sqrt (fabs x)) 7/2) (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) (/ (fabs x) (cbrt 3.0))) (/ (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)) (/ 21.0 (pow (sqrt (fabs x)) 7)) (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)) (sqrt (pow (fabs x) 7)) (* (pow (fabs x) 3) 0.3333333333333333) (* (pow (fabs x) 3) 0.3333333333333333) (* (pow (fabs x) 3) 0.3333333333333333) 1.042 * * * [progress]: adding candidates to table 1.295 * * [progress]: iteration 3 / 4 1.295 * * * [progress]: picking best candidate 1.307 * * * * [pick]: Picked # 1.307 * * * [progress]: localizing error 1.328 * * * [progress]: generating rewritten candidates 1.328 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.329 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 2) 1.334 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.362 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2) 1.374 * * * [progress]: generating series expansions 1.374 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.374 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 2) 1.374 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in (x) around 0 1.374 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 1.374 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.374 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 1.374 * [taylor]: Taking taylor expansion of (fabs x) in x 1.374 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 1.374 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.374 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 1.374 * [taylor]: Taking taylor expansion of (fabs x) in x 1.378 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in (x) around 0 1.378 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 1.378 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.378 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 1.378 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.378 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 1.378 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.378 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 1.378 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.382 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in (x) around 0 1.382 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 1.382 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.382 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 1.382 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.382 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 1.382 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.382 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 1.382 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.386 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.387 * [approximate]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) in (x) around 0 1.387 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) in x 1.387 * [taylor]: Taking taylor expansion of 1.0 in x 1.387 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) in x 1.387 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.387 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.387 * [taylor]: Taking taylor expansion of PI in x 1.387 * [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.387 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.387 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.387 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.387 * [taylor]: Taking taylor expansion of (fabs x) in x 1.387 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 1.387 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.387 * [taylor]: Taking taylor expansion of 0.2 in x 1.387 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.387 * [taylor]: Taking taylor expansion of (fabs x) in x 1.387 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 1.387 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 1.387 * [taylor]: Taking taylor expansion of 2.0 in x 1.387 * [taylor]: Taking taylor expansion of (fabs x) in x 1.388 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 1.388 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.388 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 1.388 * [taylor]: Taking taylor expansion of (fabs x) in x 1.388 * [taylor]: Taking taylor expansion of (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) in x 1.388 * [taylor]: Taking taylor expansion of 1.0 in x 1.388 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))))) in x 1.388 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.388 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.388 * [taylor]: Taking taylor expansion of PI in x 1.388 * [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.388 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.388 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.388 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.388 * [taylor]: Taking taylor expansion of (fabs x) in x 1.388 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 1.388 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.388 * [taylor]: Taking taylor expansion of 0.2 in x 1.388 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.388 * [taylor]: Taking taylor expansion of (fabs x) in x 1.388 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 1.388 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 1.388 * [taylor]: Taking taylor expansion of 2.0 in x 1.388 * [taylor]: Taking taylor expansion of (fabs x) in x 1.388 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 1.388 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.388 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 1.388 * [taylor]: Taking taylor expansion of (fabs x) in x 1.404 * [approximate]: Taking taylor expansion of (* 1.0 (* (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (sqrt (/ 1 PI)))) in (x) around 0 1.404 * [taylor]: Taking taylor expansion of (* 1.0 (* (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (sqrt (/ 1 PI)))) in x 1.404 * [taylor]: Taking taylor expansion of 1.0 in x 1.404 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (sqrt (/ 1 PI))) in x 1.404 * [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.404 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 1.404 * [taylor]: Taking taylor expansion of 2.0 in x 1.404 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.404 * [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.404 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 1.404 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.404 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 1.404 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.404 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 1.404 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 1.405 * [taylor]: Taking taylor expansion of 0.2 in x 1.405 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.405 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.405 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.405 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.405 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.405 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.405 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.405 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.405 * [taylor]: Taking taylor expansion of PI in x 1.405 * [taylor]: Taking taylor expansion of (* 1.0 (* (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (sqrt (/ 1 PI)))) in x 1.405 * [taylor]: Taking taylor expansion of 1.0 in x 1.405 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (fabs (/ 1 x))) (+ (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))))) (sqrt (/ 1 PI))) in x 1.405 * [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.405 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 1.405 * [taylor]: Taking taylor expansion of 2.0 in x 1.405 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.405 * [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.405 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 1.405 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.405 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 1.405 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.405 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 1.405 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 1.405 * [taylor]: Taking taylor expansion of 0.2 in x 1.405 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.405 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.405 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.405 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.405 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.405 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.405 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.405 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.405 * [taylor]: Taking taylor expansion of PI in x 1.428 * [approximate]: Taking taylor expansion of (* 1.0 (* (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) (sqrt (/ 1 PI)))) in (x) around 0 1.428 * [taylor]: Taking taylor expansion of (* 1.0 (* (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) (sqrt (/ 1 PI)))) in x 1.428 * [taylor]: Taking taylor expansion of 1.0 in x 1.428 * [taylor]: Taking taylor expansion of (* (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) (sqrt (/ 1 PI))) in x 1.428 * [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.428 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 1.428 * [taylor]: Taking taylor expansion of 0.2 in x 1.428 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.428 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.428 * [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.428 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 1.428 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.428 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 1.428 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.428 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 1.428 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 1.428 * [taylor]: Taking taylor expansion of 2.0 in x 1.428 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.428 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.428 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.428 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.428 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.428 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.428 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.428 * [taylor]: Taking taylor expansion of PI in x 1.429 * [taylor]: Taking taylor expansion of (* 1.0 (* (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) (sqrt (/ 1 PI)))) in x 1.429 * [taylor]: Taking taylor expansion of 1.0 in x 1.429 * [taylor]: Taking taylor expansion of (* (+ (* 0.2 (pow (fabs (/ -1 x)) 5)) (+ (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))))) (sqrt (/ 1 PI))) in x 1.429 * [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.429 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 1.429 * [taylor]: Taking taylor expansion of 0.2 in x 1.429 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.429 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.429 * [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.429 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 1.429 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 1.429 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 1.429 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.429 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 1.429 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 1.429 * [taylor]: Taking taylor expansion of 2.0 in x 1.429 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.429 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.429 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.429 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.429 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.429 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 1.429 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 1.429 * [taylor]: Taking taylor expansion of PI in x 1.447 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2) 1.447 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in (x) around 0 1.447 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in x 1.447 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.447 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.447 * [taylor]: Taking taylor expansion of (fabs x) in x 1.447 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs x) 3)) in x 1.447 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.447 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.447 * [taylor]: Taking taylor expansion of (fabs x) in x 1.449 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in (x) around 0 1.449 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in x 1.450 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.450 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.450 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.450 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ 1 x)) 3)) in x 1.450 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.450 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.450 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.452 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in (x) around 0 1.452 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in x 1.452 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.452 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.452 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.452 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow (fabs (/ -1 x)) 3)) in x 1.452 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.452 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.452 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.454 * * * [progress]: simplifying candidates 1.458 * [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 (fabs x)) 7) (log 0.047619047619047616)) (+ (* (log (fabs x)) 7) (log 0.047619047619047616)) (+ (log (pow (fabs x) 7)) (log 0.047619047619047616)) (log (* (pow (fabs x) 7) 0.047619047619047616)) (exp (* (pow (fabs x) 7) 0.047619047619047616)) (* (* (* (pow (fabs x) 7) (pow (fabs x) 7)) (pow (fabs x) 7)) (* (* 0.047619047619047616 0.047619047619047616) 0.047619047619047616)) (* (cbrt (* (pow (fabs x) 7) 0.047619047619047616)) (cbrt (* (pow (fabs x) 7) 0.047619047619047616))) (cbrt (* (pow (fabs x) 7) 0.047619047619047616)) (* (* (* (pow (fabs x) 7) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616)) (* (pow (fabs x) 7) 0.047619047619047616)) (sqrt (* (pow (fabs x) 7) 0.047619047619047616)) (sqrt (* (pow (fabs x) 7) 0.047619047619047616)) (* (pow (sqrt (fabs x)) 7) (sqrt 0.047619047619047616)) (* (pow (sqrt (fabs x)) 7) (sqrt 0.047619047619047616)) (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) (* (sqrt (pow (fabs x) 7)) (sqrt 0.047619047619047616)) (* (pow (fabs x) (/ 7 2)) (sqrt 0.047619047619047616)) (* (pow (fabs x) (/ 7 2)) (sqrt 0.047619047619047616)) (* (pow (fabs x) 7) (* (cbrt 0.047619047619047616) (cbrt 0.047619047619047616))) (* (pow (fabs x) 7) (sqrt 0.047619047619047616)) (* (pow (fabs x) 7) 1) (* (pow (cbrt (fabs x)) 7) 0.047619047619047616) (* (pow (sqrt (fabs x)) 7) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616) (* (cbrt (pow (fabs x) 7)) 0.047619047619047616) (* (sqrt (pow (fabs x) 7)) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616) (* (pow (fabs x) (/ 7 2)) 0.047619047619047616) (* (/ 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) 0.047619047619047616))))) (+ (- (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) 0.047619047619047616)))))) (+ (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) 0.047619047619047616)))))) (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) 0.047619047619047616)))))) (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) 0.047619047619047616)))))) (* (/ (* (* 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) 0.047619047619047616)))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616))))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616)))))) (* (* (* (/ 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) 0.047619047619047616)))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616))))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616)))))) (* (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) 0.047619047619047616)))))) (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) 0.047619047619047616))))))) (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) 0.047619047619047616)))))) (* (* (* (/ 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) 0.047619047619047616))))) (* (/ 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) 0.047619047619047616)))))) (* (/ 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) 0.047619047619047616)))))) (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) 0.047619047619047616)))))) (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) 0.047619047619047616)))))) (* 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) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616)) (* (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616))))) (* (+ (* (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) 0.047619047619047616) 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) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616)) (* (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616)))))) (* 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) 0.047619047619047616))) (* (+ (* (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) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616))))))) (* (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) 0.047619047619047616)))) (* 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) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616)) (* (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616))))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (* (pow (fabs x) 7) 0.047619047619047616) 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) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616)) (* (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616)))))) (* 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) 0.047619047619047616))) (* (- (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) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616))))))) (* (sqrt PI) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (- (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616)))) (* 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) 0.047619047619047616))) 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) 0.047619047619047616))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616)))) (* (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616))))))) (* 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) 0.047619047619047616))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616)))))) (* (sqrt PI) (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616))))) (* (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) 0.047619047619047616)))))) (* (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) 0.047619047619047616)))))) (* (/ (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) 0.047619047619047616)))))) (* (/ (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) 0.047619047619047616)))))) (* (/ (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) 0.047619047619047616)))))) (* (/ (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) 0.047619047619047616)))))) (* (/ 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) 0.047619047619047616)))) (* (* 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) 0.047619047619047616))) (/ 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) 0.047619047619047616))))) (cbrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616))))))) (* (/ 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) 0.047619047619047616)))))) (* (/ 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) 0.047619047619047616))))) (* (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ (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) 0.047619047619047616))))) (* (/ 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) 0.047619047619047616))))) (* (/ 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) 0.047619047619047616))))) (* (/ 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) 0.047619047619047616))))) (* (/ 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) 0.047619047619047616))))) (* (/ 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) 0.047619047619047616))))) (* (/ 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) 0.047619047619047616))))) (* (/ 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) 0.047619047619047616))))) (* (/ 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) 0.047619047619047616))))) (* (/ 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) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616)) (* (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616))))) (* (+ (* (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) 0.047619047619047616) 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) 0.047619047619047616))) (* (+ (* (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) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616))))))) (* (/ 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) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616)) (* (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616))))) (* (- (fabs x) (/ (pow (fabs x) 3) 3.0)) (* 1.0 (+ (pow (/ (pow (fabs x) 5) 5.0) 3) (pow (* (pow (fabs x) 7) 0.047619047619047616) 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) 0.047619047619047616))) (* (- (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) 0.047619047619047616) (* (pow (fabs x) 7) 0.047619047619047616))))))) (* (/ 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) 0.047619047619047616))) 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) 0.047619047619047616))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616)))))) (* 1.0 (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (* (pow (fabs x) 7) 0.047619047619047616))))) (- (* (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))) (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) 0.047619047619047616)))))) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 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))))))) (* 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)) 1.498 * * [simplify]: iteration 0 : 5692 enodes (cost 3747 ) 1.510 * [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 (* 0.047619047619047616 (pow (fabs x) 7))) (log (* 0.047619047619047616 (pow (fabs x) 7))) (log (* 0.047619047619047616 (pow (fabs x) 7))) (log (* 0.047619047619047616 (pow (fabs x) 7))) (pow (exp (pow (fabs x) 7)) 0.047619047619047616) (pow (* 0.047619047619047616 (pow (fabs x) 7)) 3) (* (cbrt (* 0.047619047619047616 (pow (fabs x) 7))) (cbrt (* 0.047619047619047616 (pow (fabs x) 7)))) (cbrt (* 0.047619047619047616 (pow (fabs x) 7))) (pow (* 0.047619047619047616 (pow (fabs x) 7)) 3) (sqrt (* 0.047619047619047616 (pow (fabs x) 7))) (sqrt (* 0.047619047619047616 (pow (fabs x) 7))) (* (pow (sqrt (fabs x)) 7) (sqrt 0.047619047619047616)) (* (pow (sqrt (fabs x)) 7) (sqrt 0.047619047619047616)) (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) (* (sqrt 0.047619047619047616) (sqrt (pow (fabs x) 7))) (* (sqrt 0.047619047619047616) (pow (fabs x) 7/2)) (* (sqrt 0.047619047619047616) (pow (fabs x) 7/2)) (* (pow (fabs x) 7) (* (cbrt 0.047619047619047616) (cbrt 0.047619047619047616))) (* (pow (fabs x) 7) (sqrt 0.047619047619047616)) (pow (fabs x) 7) (* 0.047619047619047616 (pow (cbrt (fabs x)) 7)) (* 0.047619047619047616 (pow (sqrt (fabs x)) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (cbrt (pow (fabs x) 7))) (* 0.047619047619047616 (sqrt (pow (fabs x) 7))) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7/2)) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))))) (log (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))))) (pow (exp (/ 1.0 (sqrt PI))) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) 3) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) 3) (* (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))))) (pow (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) 3) (sqrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))))) (sqrt (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (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) 5) 5.0)) (* 0.047619047619047616 (- (* 0.047619047619047616 (pow (fabs x) 14)) (* (pow (fabs x) 7) (/ (pow (fabs x) 5) 5.0))))))) (* 1.0 (* (+ (pow (* 0.047619047619047616 (pow (fabs x) 7)) 3) (pow (/ (pow (fabs x) 5) 5.0) 3)) (+ (* (fabs x) (fabs x)) (- (/ (pow (fabs x) 6) (* 3.0 3.0)) (/ (pow (fabs x) 4) 3.0))))))) (* (sqrt PI) (* (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* 0.047619047619047616 (- (* 0.047619047619047616 (pow (fabs x) 14)) (* (pow (fabs x) 7) (/ (pow (fabs x) 5) 5.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) 5) 5.0) (* 0.047619047619047616 (pow (fabs x) 7))))) (* 1.0 (* (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* 0.047619047619047616 (* 0.047619047619047616 (pow (fabs x) 14)))) (+ (* (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) (* 0.047619047619047616 (pow (fabs x) 7))))) (* 1.0 (+ (* 2.0 (* (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* 0.047619047619047616 (- (* 0.047619047619047616 (pow (fabs x) 14)) (* (pow (fabs x) 7) (/ (pow (fabs x) 5) 5.0))))) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (+ (pow (* 0.047619047619047616 (pow (fabs x) 7)) 3) (pow (/ (pow (fabs x) 5) 5.0) 3)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt PI) (* (+ (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* 0.047619047619047616 (- (* 0.047619047619047616 (pow (fabs x) 14)) (* (pow (fabs x) 7) (/ (pow (fabs x) 5) 5.0))))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (+ (* 2.0 (* (- (/ (pow (fabs x) 5) 5.0) (* 0.047619047619047616 (pow (fabs x) 7))) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* 0.047619047619047616 (* 0.047619047619047616 (pow (fabs x) 14)))) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (sqrt PI) (* (- (/ (pow (fabs x) 5) 5.0) (* 0.047619047619047616 (pow (fabs x) 7))) (- (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 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.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 (* (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)) (- (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.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 (* (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))))) (* (sqrt PI) (- (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))))) (* (sqrt (/ 1.0 (sqrt PI))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.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)) (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (* (/ 1.0 (sqrt PI)) (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0)))) (* 1.0 (* (/ 1.0 (sqrt PI)) (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (* (/ 1.0 (sqrt PI)) (* (cbrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) (cbrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))))) (* (/ 1.0 (sqrt PI)) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))))) (/ 1.0 (sqrt PI)) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (cbrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (cbrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ (sqrt 1.0) (sqrt PI))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ 1.0 (cbrt (sqrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ 1.0 (sqrt (cbrt PI)))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ 1.0 (sqrt (sqrt PI)))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) (* (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (/ 1.0 (sqrt (sqrt PI)))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))) (/ (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))) (sqrt PI)) (* (/ 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)) (* 0.047619047619047616 (- (* 0.047619047619047616 (pow (fabs x) 14)) (* (pow (fabs x) 7) (/ (pow (fabs x) 5) 5.0))))))) (* 1.0 (* (+ (pow (* 0.047619047619047616 (pow (fabs x) 7)) 3) (pow (/ (pow (fabs x) 5) 5.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) (* 0.047619047619047616 (pow (fabs x) 7))))) (* 1.0 (* (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* 0.047619047619047616 (* 0.047619047619047616 (pow (fabs x) 14)))) (+ (* (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) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* 0.047619047619047616 (- (* 0.047619047619047616 (pow (fabs x) 14)) (* (pow (fabs x) 7) (/ (pow (fabs x) 5) 5.0))))) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (+ (pow (* 0.047619047619047616 (pow (fabs x) 7)) 3) (pow (/ (pow (fabs x) 5) 5.0) 3)) (- (fabs x) (/ (pow (fabs x) 3) 3.0)))))) (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (* (- (/ (pow (fabs x) 5) 5.0) (* 0.047619047619047616 (pow (fabs x) 7))) (- (* (fabs x) (fabs x)) (/ (pow (fabs x) 6) (* 3.0 3.0))))) (* 1.0 (* (- (* (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 5) 5.0)) (* 0.047619047619047616 (* 0.047619047619047616 (pow (fabs x) 14)))) (- (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 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.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 (* (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0))))))) (* 1.0 (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.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)) (fabs (* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (* 0.047619047619047616 (pow (fabs x) 7)) (/ (pow (fabs x) 5) 5.0)))))) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* 0.047619047619047616 (pow (fabs x) 7)) (+ (* (pow (fabs x) 5) 0.2) (* (fabs x) 2.0)))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* 0.047619047619047616 (pow (fabs x) 7)) (+ (* (pow (fabs x) 5) 0.2) (* (fabs x) 2.0)))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* (pow (fabs x) 3) 0.6666666666666666) (+ (* 0.047619047619047616 (pow (fabs x) 7)) (+ (* (pow (fabs x) 5) 0.2) (* (fabs x) 2.0)))))) (* (pow (fabs x) 3) 0.3333333333333333) (* (pow (fabs x) 3) 0.3333333333333333) (* (pow (fabs x) 3) 0.3333333333333333) 1.511 * * * [progress]: adding candidates to table 1.948 * * [progress]: iteration 4 / 4 1.948 * * * [progress]: picking best candidate 1.957 * * * * [pick]: Picked # 1.957 * * * [progress]: localizing error 1.984 * * * [progress]: generating rewritten candidates 1.985 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 1.986 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2) 1.987 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1) 1.988 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.993 * * * [progress]: generating series expansions 1.993 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 1.993 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2) 1.993 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1) 1.993 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 1.993 * * * [progress]: simplifying candidates 1.994 * [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) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (/ 1.0 (sqrt (cbrt PI)))))) 2.052 * * [simplify]: iteration 0 : 4951 enodes (cost 327 ) 2.053 * * [simplify]: iteration 1 : 4951 enodes (cost 327 ) 2.055 * [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) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.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) 7) 21.0) (/ (pow (fabs x) 5) 5.0)))) (* (sqrt (cbrt PI)) (fabs (cbrt PI)))))) 2.055 * * * [progress]: adding candidates to table 2.180 * [progress]: [Phase 3 of 3] Extracting. 2.180 * * [regime]: Finding splitpoints for: (# # # #) 2.182 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x) 2.182 * * * * [regimes]: Trying to branch on (fabs x) from (# # # #) 2.226 * * * * [regimes]: Trying to branch on x from (# # # #) 2.263 * * * [regime]: Found split indices: #