13.155 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.046 * * * [progress]: [2/2] Setting up program. 0.050 * [progress]: [Phase 2 of 3] Improving. 0.051 * [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.052 * * [simplify]: iteration 0 : 28 enodes (cost 67 ) 0.056 * * [simplify]: iteration 1 : 70 enodes (cost 66 ) 0.074 * * [simplify]: iteration 2 : 242 enodes (cost 47 ) 0.144 * * [simplify]: iteration 3 : 941 enodes (cost 35 ) 0.750 * * [simplify]: iteration 4 : 3244 enodes (cost 34 ) 1.695 * * [simplify]: iteration done : 5001 enodes (cost 34 ) 1.695 * [simplify]: Simplified to: (fabs (* (/ 1.0 (sqrt PI)) (fma (pow (fabs x) 7) (/ 1.0 21.0) (fma (fabs x) (fma (pow (fabs x) 4) (/ 1.0 5.0) 2.0) (* (pow (fabs x) 3) (/ 2.0 3.0)))))) 1.700 * * [progress]: iteration 1 / 4 1.700 * * * [progress]: picking best candidate 1.709 * * * * [pick]: Picked # 1.709 * * * [progress]: localizing error 1.735 * * * [progress]: generating rewritten candidates 1.735 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.736 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1.761 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 2.082 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 2.095 * * * [progress]: generating series expansions 2.095 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.095 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 2.096 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 2.096 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 2.096 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.096 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.096 * [taylor]: Taking taylor expansion of (fabs x) in x 2.096 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 2.096 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.096 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.096 * [taylor]: Taking taylor expansion of (fabs x) in x 2.110 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 2.110 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 2.110 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.110 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.110 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.110 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 2.110 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.110 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.110 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.125 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 2.125 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 2.125 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.125 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.125 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.125 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 2.125 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.125 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.125 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.140 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 2.140 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 2.140 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 2.140 * [taylor]: Taking taylor expansion of 0.2 in x 2.140 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.140 * [taylor]: Taking taylor expansion of (fabs x) in x 2.140 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 2.140 * [taylor]: Taking taylor expansion of 0.2 in x 2.140 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.140 * [taylor]: Taking taylor expansion of (fabs x) in x 2.159 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 2.159 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 2.159 * [taylor]: Taking taylor expansion of 0.2 in x 2.159 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.159 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.159 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 2.159 * [taylor]: Taking taylor expansion of 0.2 in x 2.159 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.159 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.183 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 2.183 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 2.183 * [taylor]: Taking taylor expansion of 0.2 in x 2.183 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.183 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.183 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 2.183 * [taylor]: Taking taylor expansion of 0.2 in x 2.183 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.183 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.202 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 2.202 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 2.202 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.202 * [taylor]: Taking taylor expansion of (fabs x) in x 2.202 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.202 * [taylor]: Taking taylor expansion of (fabs x) in x 2.210 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 2.210 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.210 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.211 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.211 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.219 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 2.219 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.219 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.219 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.219 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.228 * * * [progress]: simplifying candidates 2.230 * [simplify]: Simplifying using # : (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (expm1 (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log1p (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (expm1 (* (* (fabs x) (fabs x)) (fabs x))) (log1p (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 2.238 * * [simplify]: iteration 0 : 224 enodes (cost 2536 ) 2.287 * * [simplify]: iteration 1 : 608 enodes (cost 1770 ) 2.528 * * [simplify]: iteration 2 : 2079 enodes (cost 1220 ) 3.107 * * [simplify]: iteration done : 5000 enodes (cost 1220 ) 3.108 * [simplify]: Simplified to: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt PI)) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (pow (fabs x) 3) (/ 2.0 3.0))) (log1p (* (pow (fabs x) 3) (/ 2.0 3.0))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (exp (* (pow (fabs x) 3) (/ 2.0 3.0))) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (* (cbrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (cbrt (* (pow (fabs x) 3) (/ 2.0 3.0)))) (cbrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (sqrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (sqrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (pow (fabs x) 3)) (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0))) (* (pow (fabs x) 3) (/ (cbrt 2.0) (cbrt 3.0))) (* (/ (cbrt 2.0) (sqrt 3.0)) (pow (fabs x) 3)) (* (/ (cbrt 2.0) 3.0) (pow (fabs x) 3)) (* (pow (fabs x) 3) (/ (sqrt 2.0) (cbrt 3.0))) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (fabs x) 3)) (* (pow (fabs x) 3) (/ (sqrt 2.0) 3.0)) (* (/ 2.0 (cbrt 3.0)) (pow (fabs x) 3)) (/ (* 2.0 (pow (fabs x) 3)) (sqrt 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (/ (pow (fabs x) 3) 3.0) (* 2.0 (pow (fabs x) 3)) (expm1 (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (log1p (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) (log (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (log (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (log (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (log (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (log (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (log (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (log (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (log (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (log (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (log (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (log (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (exp (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (pow (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) 3) (pow (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) 3) (pow (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) 3) (pow (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) 3) (pow (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) 3) (pow (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) 3) (pow (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) 3) (pow (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) 3) (pow (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) 3) (pow (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) 3) (* (cbrt (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (cbrt (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))))) (cbrt (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (pow (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) 3) (sqrt (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (sqrt (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x)))) (/ (* 1.0 (pow (fabs x) 4)) 5.0) (* (* (fabs x) (pow (fabs x) 4)) (cbrt (/ 1.0 5.0))) (* (sqrt (/ 1.0 5.0)) (* (fabs x) (pow (fabs x) 4))) (* (pow (fabs x) 4) (* (fabs x) (/ (cbrt 1.0) (cbrt 5.0)))) (* (pow (fabs x) 4) (* (fabs x) (/ (cbrt 1.0) (sqrt 5.0)))) (* (* (/ (cbrt 1.0) 5.0) (fabs x)) (pow (fabs x) 4)) (* (* (/ (sqrt 1.0) (cbrt 5.0)) (fabs x)) (pow (fabs x) 4)) (* (* (/ (sqrt 1.0) (sqrt 5.0)) (fabs x)) (pow (fabs x) 4)) (* (* (pow (fabs x) 4) (/ (sqrt 1.0) 5.0)) (fabs x)) (/ (* 1.0 (pow (fabs x) 4)) (/ (cbrt 5.0) (fabs x))) (/ (* 1.0 (pow (fabs x) 4)) (/ (sqrt 5.0) (fabs x))) (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) (/ (* 1.0 (pow (fabs x) 4)) (/ 5.0 (fabs x))) (* (/ (pow (fabs x) 4) 5.0) (fabs x)) (* (* 1.0 (fabs x)) (pow (fabs x) 4)) (expm1 (pow (fabs x) 3)) (log1p (pow (fabs x) 3)) 3 3 3 3 (pow (fabs x) 3) (pow (fabs x) 3) 3 3 3 3 (log (pow (fabs x) 3)) (log (pow (fabs x) 3)) (log (pow (fabs x) 3)) (exp (pow (fabs x) 3)) (pow (pow (fabs x) 3) 3) (pow (pow (fabs x) 3) 3) (* (fabs x) (fabs x)) (fabs x) (pow (pow (fabs x) 3) 3) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (fabs (* (+ (fma 2.0 (fabs x) (* (pow (fabs x) 3) (/ 2.0 3.0))) (* (fabs x) (+ (/ (* 1.0 (pow (fabs x) 4)) 5.0) (* (/ 1.0 21.0) (pow (fabs x) 6))))) (/ 1.0 (sqrt PI)))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 3.109 * * * [progress]: adding candidates to table 3.568 * * [progress]: iteration 2 / 4 3.568 * * * [progress]: picking best candidate 3.576 * * * * [pick]: Picked # 3.576 * * * [progress]: localizing error 3.607 * * * [progress]: generating rewritten candidates 3.607 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 3.608 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 3.608 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 3.635 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2) 3.958 * * * [progress]: generating series expansions 3.959 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 3.959 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 3.959 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 3.959 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 3.959 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 3.959 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.959 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.959 * [taylor]: Taking taylor expansion of (fabs x) in x 3.959 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 3.959 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.960 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.960 * [taylor]: Taking taylor expansion of (fabs x) in x 3.977 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 3.977 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 3.978 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.978 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.978 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.978 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 3.978 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.978 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.978 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.993 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 3.993 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 3.993 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.993 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.993 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.993 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 3.993 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.993 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.993 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 4.008 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2) 4.009 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 4.009 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 4.009 * [taylor]: Taking taylor expansion of 0.2 in x 4.009 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 4.009 * [taylor]: Taking taylor expansion of (fabs x) in x 4.009 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 4.009 * [taylor]: Taking taylor expansion of 0.2 in x 4.009 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 4.009 * [taylor]: Taking taylor expansion of (fabs x) in x 4.028 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 4.028 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 4.028 * [taylor]: Taking taylor expansion of 0.2 in x 4.028 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 4.028 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 4.028 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 4.028 * [taylor]: Taking taylor expansion of 0.2 in x 4.028 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 4.028 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 4.047 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 4.047 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 4.047 * [taylor]: Taking taylor expansion of 0.2 in x 4.047 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 4.047 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 4.047 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 4.047 * [taylor]: Taking taylor expansion of 0.2 in x 4.047 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 4.047 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 4.072 * * * [progress]: simplifying candidates 4.074 * [simplify]: Simplifying using # : (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (exp (log1p (sqrt PI))) (expm1 (expm1 (log1p (sqrt PI)))) (log1p (expm1 (log1p (sqrt PI)))) (log (expm1 (log1p (sqrt PI)))) (exp (expm1 (log1p (sqrt PI)))) (* (cbrt (expm1 (log1p (sqrt PI)))) (cbrt (expm1 (log1p (sqrt PI))))) (cbrt (expm1 (log1p (sqrt PI)))) (* (* (expm1 (log1p (sqrt PI))) (expm1 (log1p (sqrt PI)))) (expm1 (log1p (sqrt PI)))) (sqrt (expm1 (log1p (sqrt PI)))) (sqrt (expm1 (log1p (sqrt PI)))) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (expm1 (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log1p (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log1p (sqrt PI)) (log1p (sqrt PI)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) 4.080 * * [simplify]: iteration 0 : 205 enodes (cost 2248 ) 4.122 * * [simplify]: iteration 1 : 549 enodes (cost 1604 ) 4.274 * * [simplify]: iteration 2 : 1748 enodes (cost 1086 ) 4.845 * * [simplify]: iteration done : 5000 enodes (cost 1086 ) 4.850 * [simplify]: Simplified to: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (exp (log1p (sqrt PI))) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (pow (fabs x) 3) (/ 2.0 3.0))) (log1p (* (pow (fabs x) 3) (/ 2.0 3.0))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (log (* (pow (fabs x) 3) (/ 2.0 3.0))) (exp (* (pow (fabs x) 3) (/ 2.0 3.0))) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (* (cbrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (cbrt (* (pow (fabs x) 3) (/ 2.0 3.0)))) (cbrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (sqrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (sqrt (* (pow (fabs x) 3) (/ 2.0 3.0))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (pow (fabs x) 3)) (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0))) (* (pow (fabs x) 3) (/ (cbrt 2.0) (cbrt 3.0))) (* (pow (fabs x) 3) (/ (cbrt 2.0) (sqrt 3.0))) (* (pow (fabs x) 3) (/ (cbrt 2.0) 3.0)) (* (/ (sqrt 2.0) (cbrt 3.0)) (pow (fabs x) 3)) (* (pow (fabs x) 3) (/ (sqrt 2.0) (sqrt 3.0))) (* (pow (fabs x) 3) (/ (sqrt 2.0) 3.0)) (* (pow (fabs x) 3) (/ 2.0 (cbrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (/ (pow (fabs x) 3) 3.0) (* (pow (fabs x) 3) 2.0) (expm1 (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (log1p (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) (log (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (log (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (log (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (log (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (log (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (log (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (log (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (log (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (log (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (log (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (log (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (exp (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (pow (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) 3) (pow (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) 3) (pow (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) 3) (pow (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) 3) (pow (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) 3) (pow (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) 3) (pow (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) 3) (pow (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) 3) (pow (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) 3) (pow (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) 3) (* (cbrt (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (cbrt (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))))) (cbrt (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (pow (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) 3) (sqrt (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (sqrt (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0)))) (/ 1.0 (/ 5.0 (pow (fabs x) 4))) (* (* (pow (fabs x) 4) (fabs x)) (cbrt (/ 1.0 5.0))) (* (* (sqrt (/ 1.0 5.0)) (fabs x)) (pow (fabs x) 4)) (* (pow (fabs x) 4) (* (fabs x) (/ (cbrt 1.0) (cbrt 5.0)))) (* (pow (fabs x) 4) (* (fabs x) (/ (cbrt 1.0) (sqrt 5.0)))) (* (pow (fabs x) 4) (* (fabs x) (/ (cbrt 1.0) 5.0))) (* (* (/ (sqrt 1.0) (cbrt 5.0)) (fabs x)) (pow (fabs x) 4)) (* (pow (fabs x) 4) (* (fabs x) (/ (sqrt 1.0) (sqrt 5.0)))) (* (pow (fabs x) 4) (* (fabs x) (/ (sqrt 1.0) 5.0))) (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 (cbrt 5.0)))) (/ (* 1.0 (pow (fabs x) 4)) (/ (sqrt 5.0) (fabs x))) (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 5.0))) (/ (* (pow (fabs x) 4) (fabs x)) 5.0) (* (* 1.0 (pow (fabs x) 4)) (fabs x)) (log1p (sqrt PI)) (log1p (sqrt PI)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) 4.851 * * * [progress]: adding candidates to table 5.305 * [progress]: [Phase 3 of 3] Extracting. 5.305 * * [regime]: Finding splitpoints for: (# #) 5.308 * * * [regime-changes]: Trying 5 branch expressions: ((fabs x) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) x) 5.308 * * * * [regimes]: Trying to branch on (fabs x) from (# #) 5.326 * * * * [regimes]: Trying to branch on (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) from (# #) 5.351 * * * * [regimes]: Trying to branch on (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) from (# #) 5.377 * * * * [regimes]: Trying to branch on (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) from (# #) 5.409 * * * * [regimes]: Trying to branch on x from (# #) 5.424 * * * [regime]: Found split indices: #