21.573 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.041 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.046 * [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.047 * * [simplify]: iteration 0 : 28 enodes (cost 67 ) 0.051 * * [simplify]: iteration 1 : 69 enodes (cost 67 ) 0.069 * * [simplify]: iteration 2 : 221 enodes (cost 48 ) 0.124 * * [simplify]: iteration 3 : 781 enodes (cost 37 ) 0.410 * * [simplify]: iteration 4 : 2529 enodes (cost 37 ) 1.358 * * [simplify]: iteration done : 5000 enodes (cost 37 ) 1.358 * [simplify]: Simplified to: (fabs (* (/ 1.0 (sqrt PI)) (+ (* (fabs x) (+ 2.0 (+ (* (pow (fabs x) 4) (/ 1.0 5.0)) (* (pow (fabs x) 6) (/ 1.0 21.0))))) (/ 2.0 (/ 3.0 (pow (fabs x) 3)))))) 1.363 * * [progress]: iteration 1 / 4 1.363 * * * [progress]: picking best candidate 1.371 * * * * [pick]: Picked # 1.371 * * * [progress]: localizing error 1.395 * * * [progress]: generating rewritten candidates 1.395 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.396 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1.425 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 1.928 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 1.941 * * * [progress]: generating series expansions 1.941 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.942 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 1.942 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 1.942 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.942 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.942 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.942 * [taylor]: Taking taylor expansion of (fabs x) in x 1.942 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.942 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.942 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.942 * [taylor]: Taking taylor expansion of (fabs x) in x 1.956 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 1.956 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.956 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.956 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.956 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.957 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.957 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.957 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.957 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.971 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 1.971 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.971 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.971 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.971 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.971 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.971 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.971 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.971 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.989 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 1.989 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 1.989 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.989 * [taylor]: Taking taylor expansion of 0.2 in x 1.989 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.989 * [taylor]: Taking taylor expansion of (fabs x) in x 1.989 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.990 * [taylor]: Taking taylor expansion of 0.2 in x 1.990 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.990 * [taylor]: Taking taylor expansion of (fabs x) in x 2.008 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 2.008 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 2.008 * [taylor]: Taking taylor expansion of 0.2 in x 2.008 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.008 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.008 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 2.008 * [taylor]: Taking taylor expansion of 0.2 in x 2.008 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.008 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.027 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 2.027 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 2.027 * [taylor]: Taking taylor expansion of 0.2 in x 2.027 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.027 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.027 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 2.027 * [taylor]: Taking taylor expansion of 0.2 in x 2.027 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.027 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.046 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 2.046 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 2.046 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.046 * [taylor]: Taking taylor expansion of (fabs x) in x 2.046 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.046 * [taylor]: Taking taylor expansion of (fabs x) in x 2.054 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 2.054 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.055 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.055 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.055 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.063 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 2.063 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.063 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.063 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.063 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.074 * * * [progress]: simplifying candidates 2.076 * [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)) (* (/ 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))) (* (/ 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))) (+ (+ 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.083 * * [simplify]: iteration 0 : 216 enodes (cost 2448 ) 2.133 * * [simplify]: iteration 1 : 598 enodes (cost 1707 ) 2.355 * * [simplify]: iteration 2 : 2039 enodes (cost 1163 ) 2.907 * * [simplify]: iteration done : 5000 enodes (cost 1163 ) 2.907 * [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)) (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (exp (* (/ 2.0 3.0) (pow (fabs x) 3))) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (* (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3)))) (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0))) (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0))) (* (/ (cbrt 2.0) (cbrt 3.0)) (pow (fabs x) 3)) (* (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)) (* (/ (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)) (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0))) (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)) (/ (pow (fabs x) 3) 3.0) (* 2.0 (pow (fabs x) 3)) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (log (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (exp (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) 3) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) 3) (* (cbrt (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (cbrt (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)))) (cbrt (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (pow (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) 3) (sqrt (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (sqrt (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4))) (/ (* (pow (fabs x) 4) 1.0) 5.0) (* (cbrt (/ 1.0 5.0)) (* (fabs x) (pow (fabs x) 4))) (* (sqrt (/ 1.0 5.0)) (* (fabs x) (pow (fabs x) 4))) (* (* (fabs x) (pow (fabs x) 4)) (/ (cbrt 1.0) (cbrt 5.0))) (/ (cbrt 1.0) (/ (sqrt 5.0) (* (fabs x) (pow (fabs x) 4)))) (* (* (fabs x) (pow (fabs x) 4)) (/ (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)))) (* (* (fabs x) (pow (fabs x) 4)) (/ (sqrt 1.0) 5.0)) (/ (* (pow (fabs x) 4) 1.0) (/ (cbrt 5.0) (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ (sqrt 5.0) (fabs x))) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) (* (fabs x) (/ (pow (fabs x) 4) 5.0)) (* (* (pow (fabs x) 4) 1.0) (fabs x)) 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 (* (/ 1.0 (sqrt PI)) (+ (* (fabs x) (+ (/ (* (pow (fabs x) 4) 1.0) 5.0) (* (pow (fabs x) 6) (/ 1.0 21.0)))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (* 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.908 * * * [progress]: adding candidates to table 3.321 * * [progress]: iteration 2 / 4 3.321 * * * [progress]: picking best candidate 3.336 * * * * [pick]: Picked # 3.336 * * * [progress]: localizing error 3.364 * * * [progress]: generating rewritten candidates 3.364 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 3.365 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 3.391 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 3.708 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 3.723 * * * [progress]: generating series expansions 3.723 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 3.723 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 3.724 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 3.724 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 3.724 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.724 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.724 * [taylor]: Taking taylor expansion of (fabs x) in x 3.724 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 3.724 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.724 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.724 * [taylor]: Taking taylor expansion of (fabs x) in x 3.738 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 3.738 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 3.738 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.738 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.738 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.738 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 3.738 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.738 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.738 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.753 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 3.753 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 3.753 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.753 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.753 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.753 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 3.753 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.753 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.753 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.767 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 3.767 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 3.767 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 3.767 * [taylor]: Taking taylor expansion of 0.2 in x 3.767 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 3.767 * [taylor]: Taking taylor expansion of (fabs x) in x 3.768 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 3.768 * [taylor]: Taking taylor expansion of 0.2 in x 3.768 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 3.768 * [taylor]: Taking taylor expansion of (fabs x) in x 3.786 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 3.786 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 3.786 * [taylor]: Taking taylor expansion of 0.2 in x 3.786 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 3.786 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.786 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 3.786 * [taylor]: Taking taylor expansion of 0.2 in x 3.786 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 3.786 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.809 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 3.809 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 3.809 * [taylor]: Taking taylor expansion of 0.2 in x 3.809 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 3.809 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.809 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 3.809 * [taylor]: Taking taylor expansion of 0.2 in x 3.809 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 3.809 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.828 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) 3.828 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 3.828 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.828 * [taylor]: Taking taylor expansion of (fabs x) in x 3.828 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.828 * [taylor]: Taking taylor expansion of (fabs x) in x 3.836 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 3.836 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.836 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.836 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.836 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.845 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 3.845 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.845 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.845 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.845 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.853 * * * [progress]: simplifying candidates 3.856 * [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)) (* (/ 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))) (* (/ 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))) (+ (+ 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) (* (* (* (* (pow (fabs x) 3) (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) 3.863 * * [simplify]: iteration 0 : 218 enodes (cost 2444 ) 3.918 * * [simplify]: iteration 1 : 609 enodes (cost 1527 ) 4.151 * * [simplify]: iteration 2 : 2058 enodes (cost 1025 ) 4.715 * * [simplify]: iteration done : 5001 enodes (cost 1025 ) 4.716 * [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)) (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (exp (* (/ 2.0 3.0) (pow (fabs x) 3))) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (* (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3)))) (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0))) (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0))) (* (/ (cbrt 2.0) (cbrt 3.0)) (pow (fabs x) 3)) (* (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)) (* (/ (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)) (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0))) (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)) (/ (pow (fabs x) 3) 3.0) (* 2.0 (pow (fabs x) 3)) (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0) (log (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (log (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (log (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (log (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (log (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (log (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (log (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (log (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (log (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (log (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (log (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (pow (exp (/ 1.0 5.0)) (pow (fabs x) 5)) (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (* (cbrt (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (cbrt (/ (* 1.0 (pow (fabs x) 5)) 5.0))) (cbrt (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (sqrt (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (sqrt (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (pow (fabs x) 4) (/ 1.0 5.0)) (* (cbrt (/ 1.0 5.0)) (pow (fabs x) 5)) (* (sqrt (/ 1.0 5.0)) (pow (fabs x) 5)) (* (pow (fabs x) 5) (/ (cbrt 1.0) (cbrt 5.0))) (/ (cbrt 1.0) (/ (sqrt 5.0) (pow (fabs x) 5))) (* (pow (fabs x) 5) (/ (cbrt 1.0) 5.0)) (* (pow (fabs x) 5) (/ (sqrt 1.0) (cbrt 5.0))) (* (/ (sqrt 1.0) (sqrt 5.0)) (pow (fabs x) 5)) (/ (sqrt 1.0) (/ 5.0 (pow (fabs x) 5))) (/ (pow (fabs x) 5) (/ (cbrt 5.0) 1.0)) (* (/ 1.0 (sqrt 5.0)) (pow (fabs x) 5)) (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (pow (fabs x) 5) 5.0) (* 1.0 (pow (fabs x) 5)) 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 (fabs x) 8) (fabs x)) (* (pow (fabs x) 8) (fabs x)) (* (fabs x) (fabs x)) (fabs x) (* (pow (fabs x) 8) (fabs x)) (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 (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 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) 4.716 * * * [progress]: adding candidates to table 5.156 * * [progress]: iteration 3 / 4 5.156 * * * [progress]: picking best candidate 5.170 * * * * [pick]: Picked # 5.171 * * * [progress]: localizing error 5.197 * * * [progress]: generating rewritten candidates 5.197 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 5.198 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 5.210 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 5.418 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 5.437 * * * [progress]: generating series expansions 5.437 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 5.437 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 5.438 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 5.438 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 5.438 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.438 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 5.438 * [taylor]: Taking taylor expansion of (fabs x) in x 5.438 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 5.438 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.438 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 5.438 * [taylor]: Taking taylor expansion of (fabs x) in x 5.452 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 5.452 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 5.452 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.453 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 5.453 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.453 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 5.453 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.453 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 5.453 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.467 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 5.467 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 5.467 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.467 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 5.467 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.467 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 5.467 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.467 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 5.467 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.482 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 5.483 * [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 5.483 * [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 5.483 * [taylor]: Taking taylor expansion of 1.0 in x 5.483 * [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 5.484 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 5.484 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 5.484 * [taylor]: Taking taylor expansion of PI in x 5.486 * [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 5.486 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 5.486 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.486 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 5.486 * [taylor]: Taking taylor expansion of (fabs x) in x 5.486 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 5.486 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 5.486 * [taylor]: Taking taylor expansion of 0.2 in x 5.486 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 5.486 * [taylor]: Taking taylor expansion of (fabs x) in x 5.486 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 5.486 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 5.486 * [taylor]: Taking taylor expansion of 2.0 in x 5.486 * [taylor]: Taking taylor expansion of (fabs x) in x 5.486 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 5.486 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.486 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 5.486 * [taylor]: Taking taylor expansion of (fabs x) in x 5.486 * [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 5.486 * [taylor]: Taking taylor expansion of 1.0 in x 5.486 * [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 5.486 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 5.486 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 5.486 * [taylor]: Taking taylor expansion of PI in x 5.488 * [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 5.488 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 5.488 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.488 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 5.488 * [taylor]: Taking taylor expansion of (fabs x) in x 5.488 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 5.488 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 5.488 * [taylor]: Taking taylor expansion of 0.2 in x 5.488 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 5.489 * [taylor]: Taking taylor expansion of (fabs x) in x 5.489 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 5.489 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 5.489 * [taylor]: Taking taylor expansion of 2.0 in x 5.489 * [taylor]: Taking taylor expansion of (fabs x) in x 5.489 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 5.489 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.489 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 5.489 * [taylor]: Taking taylor expansion of (fabs x) in x 5.592 * [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 5.592 * [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 5.592 * [taylor]: Taking taylor expansion of 1.0 in x 5.592 * [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 5.592 * [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 5.592 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 5.592 * [taylor]: Taking taylor expansion of 2.0 in x 5.592 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.592 * [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 5.592 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 5.592 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.592 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 5.593 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.593 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 5.593 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 5.593 * [taylor]: Taking taylor expansion of 0.2 in x 5.593 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 5.593 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.593 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 5.593 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.593 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 5.593 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.593 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 5.593 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 5.593 * [taylor]: Taking taylor expansion of PI in x 5.595 * [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 5.595 * [taylor]: Taking taylor expansion of 1.0 in x 5.595 * [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 5.595 * [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 5.595 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 5.595 * [taylor]: Taking taylor expansion of 2.0 in x 5.595 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.595 * [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 5.595 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 5.595 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.595 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 5.595 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.595 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 5.595 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 5.595 * [taylor]: Taking taylor expansion of 0.2 in x 5.595 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 5.595 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.595 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 5.595 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.595 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 5.595 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.595 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 5.595 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 5.595 * [taylor]: Taking taylor expansion of PI in x 5.698 * [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 5.698 * [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 5.698 * [taylor]: Taking taylor expansion of 1.0 in x 5.698 * [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 5.698 * [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 5.698 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 5.698 * [taylor]: Taking taylor expansion of 0.2 in x 5.698 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 5.698 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.698 * [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 5.698 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 5.698 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.698 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 5.698 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.698 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 5.698 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 5.698 * [taylor]: Taking taylor expansion of 2.0 in x 5.698 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.698 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 5.698 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.698 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 5.698 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.698 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 5.699 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 5.699 * [taylor]: Taking taylor expansion of PI in x 5.700 * [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 5.701 * [taylor]: Taking taylor expansion of 1.0 in x 5.701 * [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 5.701 * [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 5.701 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 5.701 * [taylor]: Taking taylor expansion of 0.2 in x 5.701 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 5.701 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.701 * [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 5.701 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 5.701 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.701 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 5.701 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.701 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 5.701 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 5.701 * [taylor]: Taking taylor expansion of 2.0 in x 5.701 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.701 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 5.701 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 5.701 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 5.701 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.701 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 5.701 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 5.701 * [taylor]: Taking taylor expansion of PI in x 5.801 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 5.802 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in (x) around 0 5.802 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 5.802 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.802 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 5.802 * [taylor]: Taking taylor expansion of (fabs x) in x 5.802 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 5.802 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.802 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 5.802 * [taylor]: Taking taylor expansion of (fabs x) in x 5.825 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in (x) around 0 5.825 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 5.825 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.825 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 5.825 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.825 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 5.825 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.825 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 5.825 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 5.851 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in (x) around 0 5.851 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 5.851 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.851 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 5.851 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.851 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 5.851 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 5.851 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 5.851 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 5.874 * * * [progress]: simplifying candidates 5.878 * [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 2.0) (log 3.0)) (* (log (fabs x)) 3)) (+ (- (log 2.0) (log 3.0)) (* (log (fabs x)) 3)) (+ (- (log 2.0) (log 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (* (log (fabs x)) 3)) (+ (log (/ 2.0 3.0)) (* (log (fabs x)) 3)) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (exp (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (pow (fabs x) 3))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (pow (fabs x) 3))) (* (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3)))) (cbrt (* (/ 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) (pow (fabs x) 3))) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (sqrt (pow (fabs x) 3))) (* (sqrt (/ 2.0 3.0)) (sqrt (pow (fabs x) 3))) (* (sqrt (/ 2.0 3.0)) (pow (fabs x) (/ 3 2))) (* (sqrt (/ 2.0 3.0)) (pow (fabs x) (/ 3 2))) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (sqrt (pow (fabs x) 3))) (* (/ (sqrt 2.0) (sqrt 3.0)) (sqrt (pow (fabs x) 3))) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (fabs x) (/ 3 2))) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (fabs x) (/ 3 2))) (* (/ 2.0 3.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3)) (* (/ 2.0 3.0) (pow (sqrt (fabs x)) 3)) (* (/ 2.0 3.0) (pow 1 3)) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3)))) (* (/ 2.0 3.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3)) (* (/ 2.0 3.0) (pow (sqrt (fabs x)) 3)) (* (/ 2.0 3.0) (pow 1 3)) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (sqrt (pow (fabs x) 3))) (* (/ 2.0 3.0) 1) (* (/ 2.0 3.0) (pow (fabs x) (/ 3 2))) (* (cbrt (/ 2.0 3.0)) (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) (pow (fabs x) 3)) (* (/ (sqrt 2.0) (cbrt 3.0)) (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)) (* (/ 1 3.0) (pow (fabs x) 3)) (* 2.0 (pow (fabs x) 3)) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI))) (+ (log (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (- (log 1.0) (log (sqrt PI)))) (+ (log (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (log (/ 1.0 (sqrt PI)))) (log (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI)))) (exp (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI)))) (* (* (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (/ (* (* 1.0 1.0) 1.0) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)))) (* (* (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (* (* (/ 1.0 (sqrt PI)) (/ 1.0 (sqrt PI))) (/ 1.0 (sqrt PI)))) (* (cbrt (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI)))) (cbrt (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI))))) (cbrt (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI)))) (* (* (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI)))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI)))) (sqrt (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI)))) (sqrt (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI)))) (* (+ (* (+ (pow (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) 3) (pow (* 2.0 (fabs x)) 3)) (* 5.0 3.0)) (* (+ (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))))) (+ (* (* 1.0 (pow (fabs x) 5)) 3.0) (* 5.0 (* 2.0 (pow (fabs x) 3)))))) 1.0) (* (* (+ (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))))) (* 5.0 3.0)) (sqrt PI)) (* (+ (* (+ (pow (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) 3) (pow (* 2.0 (fabs x)) 3)) (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (* (+ (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))))) (+ (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)))) 1.0) (* (* (+ (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))))) (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (sqrt PI)) (* (+ (* (+ (pow (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) 3) (pow (* 2.0 (fabs x)) 3)) (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* (+ (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))))) (- (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) 1.0) (* (* (+ (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))))) (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (sqrt PI)) (* (+ (* (- (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (* 5.0 3.0)) (* (- (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (* (* 1.0 (pow (fabs x) 5)) 3.0) (* 5.0 (* 2.0 (pow (fabs x) 3)))))) 1.0) (* (* (- (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (* 5.0 3.0)) (sqrt PI)) (* (+ (* (- (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (* (- (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)))) 1.0) (* (* (- (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (sqrt PI)) (* (+ (* (- (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* (- (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (- (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) 1.0) (* (* (- (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (sqrt PI)) (* (+ (pow (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) 3) (pow (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) 3)) 1.0) (* (+ (* (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x)))) (- (* (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (sqrt PI)) (* (- (* (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x)))) (* (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) 1.0) (* (- (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (sqrt PI)) (* (sqrt (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (sqrt (/ 1.0 (sqrt PI)))) (* (sqrt (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (sqrt (/ 1.0 (sqrt PI)))) (* (sqrt (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* (cbrt (/ 1.0 (sqrt PI))) (cbrt (/ 1.0 (sqrt PI))))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (* (cbrt PI) (cbrt PI))))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt PI)))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt PI)))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (sqrt 1.0) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (sqrt 1.0) (sqrt (* (cbrt PI) (cbrt PI))))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (sqrt 1.0) (sqrt 1))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ (sqrt 1.0) 1)) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1 (* (cbrt (sqrt PI)) (cbrt (sqrt PI))))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1 (sqrt (* (cbrt PI) (cbrt PI))))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1 (sqrt (sqrt PI)))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1 (sqrt 1))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1 (sqrt (sqrt PI)))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1 1)) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) 1) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) 1.0) (* (cbrt (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (/ 1.0 (sqrt PI))) (* (sqrt (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (/ 1.0 (sqrt PI))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI))) (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) 1.0) (* (+ (* (+ (pow (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) 3) (pow (* 2.0 (fabs x)) 3)) (* 5.0 3.0)) (* (+ (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))))) (+ (* (* 1.0 (pow (fabs x) 5)) 3.0) (* 5.0 (* 2.0 (pow (fabs x) 3)))))) (/ 1.0 (sqrt PI))) (* (+ (* (+ (pow (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) 3) (pow (* 2.0 (fabs x)) 3)) (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (* (+ (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))))) (+ (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)))) (/ 1.0 (sqrt PI))) (* (+ (* (+ (pow (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) 3) (pow (* 2.0 (fabs x)) 3)) (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* (+ (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))))) (- (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (/ 1.0 (sqrt PI))) (* (+ (* (- (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (* 5.0 3.0)) (* (- (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (* (* 1.0 (pow (fabs x) 5)) 3.0) (* 5.0 (* 2.0 (pow (fabs x) 3)))))) (/ 1.0 (sqrt PI))) (* (+ (* (- (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (* (- (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)))) (/ 1.0 (sqrt PI))) (* (+ (* (- (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* (- (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (- (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (/ 1.0 (sqrt PI))) (* (+ (pow (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) 3) (pow (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) 3)) (/ 1.0 (sqrt PI))) (* (- (* (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x)))) (* (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (/ 1.0 (sqrt PI))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (+ (- (log 1.0) (log 21.0)) (+ (* (log (fabs x)) 6) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (* (log (fabs x)) 6) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (log (pow (fabs x) 6)) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (log (* (pow (fabs x) 6) (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (* (log (fabs x)) 6) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (* (log (fabs x)) 6) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (log (pow (fabs x) 6)) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (log (* (pow (fabs x) 6) (fabs x)))) (log (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (exp (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (pow (fabs x) 6) (pow (fabs x) 6)) (pow (fabs x) 6)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0)) (* (* (* (pow (fabs x) 6) (fabs x)) (* (pow (fabs x) 6) (fabs x))) (* (pow (fabs x) 6) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (pow (fabs x) 6) (pow (fabs x) 6)) (pow (fabs x) 6)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0)) (* (* (* (pow (fabs x) 6) (fabs x)) (* (pow (fabs x) 6) (fabs x))) (* (pow (fabs x) 6) (fabs x)))) (* (cbrt (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (cbrt (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))))) (cbrt (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (* (* (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (sqrt (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (sqrt (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x)))) (* (/ 1.0 21.0) (pow (fabs x) 6)) (* (cbrt (/ 1.0 21.0)) (* (pow (fabs x) 6) (fabs x))) (* (sqrt (/ 1.0 21.0)) (* (pow (fabs x) 6) (fabs x))) (* (/ (cbrt 1.0) (cbrt 21.0)) (* (pow (fabs x) 6) (fabs x))) (* (/ (cbrt 1.0) (sqrt 21.0)) (* (pow (fabs x) 6) (fabs x))) (* (/ (cbrt 1.0) 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ (sqrt 1.0) (cbrt 21.0)) (* (pow (fabs x) 6) (fabs x))) (* (/ (sqrt 1.0) (sqrt 21.0)) (* (pow (fabs x) 6) (fabs x))) (* (/ (sqrt 1.0) 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 (cbrt 21.0)) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 (sqrt 21.0)) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* (/ 1 21.0) (* (pow (fabs x) 6) (fabs x))) (* 1.0 (* (pow (fabs x) 6) (fabs x))) (fabs (* (+ (+ (* (/ 1.0 21.0) (* (pow (fabs x) 6) (fabs x))) (* 2.0 (fabs x))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (/ 1.0 (sqrt PI)))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) 5.891 * * [simplify]: iteration 0 : 352 enodes (cost 5636 ) 5.986 * * [simplify]: iteration 1 : 1042 enodes (cost 4863 ) 6.511 * * [simplify]: iteration 2 : 4607 enodes (cost 4478 ) 7.589 * * [simplify]: iteration done : 5000 enodes (cost 4478 ) 7.591 * [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 (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (exp (* (/ 2.0 3.0) (pow (fabs x) 3))) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (* (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3)))) (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (sqrt (pow (fabs x) 3))) (* (sqrt (/ 2.0 3.0)) (sqrt (pow (fabs x) 3))) (* (pow (fabs x) 3/2) (sqrt (/ 2.0 3.0))) (* (pow (fabs x) 3/2) (sqrt (/ 2.0 3.0))) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (sqrt (pow (fabs x) 3))) (* (/ (sqrt 2.0) (sqrt 3.0)) (sqrt (pow (fabs x) 3))) (* (pow (fabs x) 3/2) (/ (sqrt 2.0) (sqrt 3.0))) (* (pow (fabs x) 3/2) (/ (sqrt 2.0) (sqrt 3.0))) (/ (* 2.0 (* (fabs x) (fabs x))) 3.0) (* (/ 2.0 3.0) (pow (sqrt (fabs x)) 3)) (/ 2.0 3.0) (/ (* 2.0 (* (fabs x) (fabs x))) 3.0) (/ (* 2.0 (* (fabs x) (fabs x))) 3.0) (/ (* 2.0 (* (fabs x) (fabs x))) 3.0) (* (/ 2.0 3.0) (pow (sqrt (fabs x)) 3)) (/ 2.0 3.0) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (sqrt (pow (fabs x) 3))) (/ 2.0 3.0) (* (/ 2.0 3.0) (pow (fabs x) 3/2)) (* (cbrt (/ 2.0 3.0)) (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) (pow (fabs x) 3)) (* (/ (sqrt 2.0) (cbrt 3.0)) (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)) (/ (pow (fabs x) 3) 3.0) (* 2.0 (pow (fabs x) 3)) (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (log (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (log (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (log (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (pow (exp (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (/ 1.0 (sqrt PI))) (pow (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) 3) (pow (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) 3) (* (cbrt (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))))) (cbrt (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (pow (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) 3) (sqrt (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (sqrt (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (* (+ (* (* 5.0 3.0) (+ (pow (* 2.0 (fabs x)) 3) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3))) (* (+ (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (+ (* (* 1.0 (pow (fabs x) 5)) 3.0) (* 5.0 (* 2.0 (pow (fabs x) 3)))))) 1.0) (* (* (sqrt PI) (+ (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (* 5.0 3.0)) (* (+ (* (+ (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)) (+ (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (* (+ (pow (* 2.0 (fabs x)) 3) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3)) (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (- (* (/ 2.0 3.0) (pow (fabs x) 3)) (/ (* 1.0 (pow (fabs x) 5)) 5.0)))))) 1.0) (* (+ (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (- (* (/ 2.0 3.0) (pow (fabs x) 3)) (/ (* 1.0 (pow (fabs x) 5)) 5.0)))) (sqrt PI))) (* (+ (* (- (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (pow (fabs x) 6))) (+ (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (* (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (pow (* 2.0 (fabs x)) 3) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3)))) 1.0) (* (sqrt PI) (* (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))))) (* (+ (* (+ (* (* 1.0 (pow (fabs x) 5)) 3.0) (* 5.0 (* 2.0 (pow (fabs x) 3)))) (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x)))) (* (* 5.0 3.0) (- (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))))) 1.0) (* (sqrt PI) (* (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x))) (* 5.0 3.0))) (* (+ (* (- (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (- (* (/ 2.0 3.0) (pow (fabs x) 3)) (/ (* 1.0 (pow (fabs x) 5)) 5.0))))) (* (+ (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)) (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x))))) 1.0) (* (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x))) (* (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (- (* (/ 2.0 3.0) (pow (fabs x) 3)) (/ (* 1.0 (pow (fabs x) 5)) 5.0)))) (sqrt PI))) (* 1.0 (+ (* (- (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x))) (- (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (pow (fabs x) 6)))))) (* (sqrt PI) (* (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x))) (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (* 1.0 (+ (pow (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) 3) (pow (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))) 3))) (* (+ (* (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (* (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (- (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (sqrt PI)) (* (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (- (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) 1.0) (* (sqrt PI) (- (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (* (sqrt (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt (/ 1.0 (sqrt PI)))) (* (sqrt (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt (/ 1.0 (sqrt PI)))) (* (sqrt (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (* (cbrt (/ 1.0 (sqrt PI))) (cbrt (/ 1.0 (sqrt PI))))) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))))) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (fabs (cbrt PI)))) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt PI)))) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (* (cbrt 1.0) (cbrt 1.0))) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt PI)))) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (* (cbrt 1.0) (cbrt 1.0))) (/ (* (sqrt 1.0) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (/ (sqrt 1.0) (fabs (cbrt PI)))) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt 1.0) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt 1.0) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (fabs (cbrt PI))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt (sqrt PI))) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt (sqrt PI))) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (cbrt (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (/ 1.0 (sqrt PI))) (* (sqrt (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (/ 1.0 (sqrt PI))) (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (/ 1.0 (sqrt PI)) (+ (* (* 5.0 3.0) (+ (pow (* 2.0 (fabs x)) 3) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3))) (* (+ (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (+ (* (* 1.0 (pow (fabs x) 5)) 3.0) (* 5.0 (* 2.0 (pow (fabs x) 3))))))) (* (/ 1.0 (sqrt PI)) (+ (* (+ (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)) (+ (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (* (+ (pow (* 2.0 (fabs x)) 3) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3)) (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (- (* (/ 2.0 3.0) (pow (fabs x) 3)) (/ (* 1.0 (pow (fabs x) 5)) 5.0))))))) (* (+ (* (- (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (pow (fabs x) 6))) (+ (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (* (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (pow (* 2.0 (fabs x)) 3) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3)))) (/ 1.0 (sqrt PI))) (* (/ 1.0 (sqrt PI)) (+ (* (+ (* (* 1.0 (pow (fabs x) 5)) 3.0) (* 5.0 (* 2.0 (pow (fabs x) 3)))) (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x)))) (* (* 5.0 3.0) (- (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x))))))) (* (+ (* (- (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (- (* (/ 2.0 3.0) (pow (fabs x) 3)) (/ (* 1.0 (pow (fabs x) 5)) 5.0))))) (* (+ (pow (/ (* 1.0 (pow (fabs x) 5)) 5.0) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)) (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x))))) (/ 1.0 (sqrt PI))) (* (+ (* (- (* (pow (fabs x) 14) (/ (* 1.0 1.0) (* 21.0 21.0))) (* (* 2.0 (fabs x)) (* 2.0 (fabs x)))) (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x))) (- (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (pow (fabs x) 6))))) (/ 1.0 (sqrt PI))) (* (+ (pow (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) 3) (pow (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))) 3)) (/ 1.0 (sqrt PI))) (* (/ 1.0 (sqrt PI)) (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (- (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (* (pow (fabs x) 7) (/ 1.0 21.0)) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (exp (* (pow (fabs x) 7) (/ 1.0 21.0))) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3) (* (cbrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (cbrt (* (pow (fabs x) 7) (/ 1.0 21.0)))) (cbrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3) (sqrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (sqrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (* (/ 1.0 21.0) (pow (fabs x) 6)) (* (pow (fabs x) 7) (cbrt (/ 1.0 21.0))) (* (sqrt (/ 1.0 21.0)) (pow (fabs x) 7)) (* (pow (fabs x) 7) (/ (cbrt 1.0) (cbrt 21.0))) (* (pow (fabs x) 7) (/ (cbrt 1.0) (sqrt 21.0))) (* (/ (cbrt 1.0) 21.0) (pow (fabs x) 7)) (* (pow (fabs x) 7) (/ (sqrt 1.0) (cbrt 21.0))) (* (pow (fabs x) 7) (/ (sqrt 1.0) (sqrt 21.0))) (* (pow (fabs x) 7) (/ (sqrt 1.0) 21.0)) (* (/ 1.0 (cbrt 21.0)) (pow (fabs x) 7)) (* (/ 1.0 (sqrt 21.0)) (pow (fabs x) 7)) (* (pow (fabs x) 7) (/ 1.0 21.0)) (* (pow (fabs x) 7) (/ 1.0 21.0)) (/ (pow (fabs x) 7) 21.0) (* (pow (fabs x) 7) 1.0) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) (* 1.0 (* (sqrt (/ 1 PI)) (+ (* 0.6666666666666666 (pow (fabs x) 3)) (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))))))) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) 7.599 * * * [progress]: adding candidates to table 8.328 * * [progress]: iteration 4 / 4 8.328 * * * [progress]: picking best candidate 8.339 * * * * [pick]: Picked # 8.339 * * * [progress]: localizing error 8.365 * * * [progress]: generating rewritten candidates 8.365 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 8.366 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 8.415 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 2) 8.427 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2) 8.445 * * * [progress]: generating series expansions 8.445 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 8.445 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 8.447 * [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 8.447 * [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 8.447 * [taylor]: Taking taylor expansion of 1.0 in x 8.447 * [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 8.447 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 8.447 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 8.447 * [taylor]: Taking taylor expansion of PI in x 8.449 * [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 8.449 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 8.449 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.449 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 8.449 * [taylor]: Taking taylor expansion of (fabs x) in x 8.450 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 8.450 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 8.450 * [taylor]: Taking taylor expansion of 0.2 in x 8.450 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 8.450 * [taylor]: Taking taylor expansion of (fabs x) in x 8.450 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 8.450 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 8.450 * [taylor]: Taking taylor expansion of 2.0 in x 8.450 * [taylor]: Taking taylor expansion of (fabs x) in x 8.450 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 8.450 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.450 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 8.450 * [taylor]: Taking taylor expansion of (fabs x) in x 8.450 * [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 8.450 * [taylor]: Taking taylor expansion of 1.0 in x 8.450 * [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 8.450 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 8.450 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 8.450 * [taylor]: Taking taylor expansion of PI in x 8.452 * [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 8.452 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 8.452 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.452 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 8.452 * [taylor]: Taking taylor expansion of (fabs x) in x 8.452 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 8.452 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 8.452 * [taylor]: Taking taylor expansion of 0.2 in x 8.452 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 8.452 * [taylor]: Taking taylor expansion of (fabs x) in x 8.452 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 8.452 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 8.452 * [taylor]: Taking taylor expansion of 2.0 in x 8.452 * [taylor]: Taking taylor expansion of (fabs x) in x 8.452 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 8.452 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.452 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 8.452 * [taylor]: Taking taylor expansion of (fabs x) in x 8.552 * [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 8.553 * [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 8.553 * [taylor]: Taking taylor expansion of 1.0 in x 8.553 * [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 8.553 * [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 8.553 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 8.553 * [taylor]: Taking taylor expansion of 2.0 in x 8.553 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.553 * [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 8.553 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 8.553 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.553 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 8.553 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.553 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 8.553 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 8.553 * [taylor]: Taking taylor expansion of 0.2 in x 8.553 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 8.553 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.553 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 8.553 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.553 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 8.553 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.553 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 8.553 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 8.553 * [taylor]: Taking taylor expansion of PI in x 8.555 * [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 8.555 * [taylor]: Taking taylor expansion of 1.0 in x 8.555 * [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 8.555 * [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 8.555 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 8.555 * [taylor]: Taking taylor expansion of 2.0 in x 8.555 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.555 * [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 8.555 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 8.555 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.556 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 8.556 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.556 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 8.556 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 8.556 * [taylor]: Taking taylor expansion of 0.2 in x 8.556 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 8.556 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.556 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 8.556 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.556 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 8.556 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.556 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 8.556 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 8.556 * [taylor]: Taking taylor expansion of PI in x 8.661 * [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 8.661 * [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 8.661 * [taylor]: Taking taylor expansion of 1.0 in x 8.661 * [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 8.661 * [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 8.661 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 8.661 * [taylor]: Taking taylor expansion of 0.2 in x 8.661 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 8.661 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.661 * [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 8.661 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 8.661 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.661 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 8.661 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.662 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 8.662 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 8.662 * [taylor]: Taking taylor expansion of 2.0 in x 8.662 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.662 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 8.662 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.662 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 8.662 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.662 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 8.662 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 8.662 * [taylor]: Taking taylor expansion of PI in x 8.664 * [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 8.664 * [taylor]: Taking taylor expansion of 1.0 in x 8.664 * [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 8.664 * [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 8.664 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 8.664 * [taylor]: Taking taylor expansion of 0.2 in x 8.664 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 8.664 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.664 * [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 8.664 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 8.664 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.664 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 8.664 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.664 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 8.664 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 8.664 * [taylor]: Taking taylor expansion of 2.0 in x 8.664 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.664 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 8.664 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.664 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 8.664 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.664 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 8.664 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 8.664 * [taylor]: Taking taylor expansion of PI in x 8.767 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 2) 8.768 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 8.768 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 8.768 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.768 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 8.768 * [taylor]: Taking taylor expansion of (fabs x) in x 8.768 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 8.768 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.768 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 8.768 * [taylor]: Taking taylor expansion of (fabs x) in x 8.787 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 8.787 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 8.788 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.788 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 8.788 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.788 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 8.788 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.788 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 8.788 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.802 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 8.802 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 8.802 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.802 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 8.802 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.802 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 8.802 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 8.802 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 8.802 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.817 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2) 8.817 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in (x) around 0 8.817 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 8.817 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.817 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 8.817 * [taylor]: Taking taylor expansion of (fabs x) in x 8.817 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 8.817 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.817 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 8.817 * [taylor]: Taking taylor expansion of (fabs x) in x 8.840 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in (x) around 0 8.840 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 8.840 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.840 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 8.840 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.840 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 8.840 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.840 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 8.840 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 8.869 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in (x) around 0 8.869 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 8.869 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.869 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 8.869 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.869 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 8.869 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 8.869 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 8.869 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 8.892 * * * [progress]: simplifying candidates 8.895 * [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 1.0) (log (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (log (sqrt PI))) (- (log (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (log (sqrt PI))) (log (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (exp (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (/ (* (* (* 1.0 1.0) 1.0) (* (* (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (/ (* (* (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (cbrt (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (cbrt (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI)))) (cbrt (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (* (* (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI)) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (sqrt (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (sqrt (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (- (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (- (sqrt PI)) (/ 1.0 (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (cbrt (sqrt PI))) (/ 1.0 (sqrt (* (cbrt PI) (cbrt PI)))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt (cbrt PI))) (/ 1.0 (sqrt (sqrt PI))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt (sqrt PI))) (/ 1.0 (sqrt 1)) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt PI)) (/ 1.0 (sqrt (sqrt PI))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt (sqrt PI))) (/ 1.0 1) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt PI)) (/ 1 (sqrt PI)) (/ (sqrt PI) (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt (* (cbrt PI) (cbrt PI)))) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt (sqrt PI))) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt 1)) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt (sqrt PI))) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) 1) (/ (sqrt PI) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (sqrt PI) (* (* 5.0 3.0) (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (pow (fabs x) 7) (/ 1.0 21.0)) (* (pow (fabs x) 7) (/ 1.0 21.0))) (* (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))))) (* (sqrt PI) (* (* 5.0 3.0) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (sqrt PI) (* (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (pow (fabs x) 7) (/ 1.0 21.0)) (* (pow (fabs x) 7) (/ 1.0 21.0))) (* (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))))) (* (sqrt PI) (* (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (sqrt PI) (* (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (pow (fabs x) 7) (/ 1.0 21.0)) (* (pow (fabs x) 7) (/ 1.0 21.0))) (* (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))))) (* (sqrt PI) (* (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (sqrt PI) (+ (* (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (- (* (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (* (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))))) (* (sqrt PI) (- (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (+ (- (log 2.0) (log 3.0)) (* (log (fabs x)) 3)) (+ (- (log 2.0) (log 3.0)) (* (log (fabs x)) 3)) (+ (- (log 2.0) (log 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (* (log (fabs x)) 3)) (+ (log (/ 2.0 3.0)) (* (log (fabs x)) 3)) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (exp (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (pow (fabs x) 3))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (pow (fabs x) 3) (pow (fabs x) 3)) (pow (fabs x) 3))) (* (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3)))) (cbrt (* (/ 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) (pow (fabs x) 3))) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (sqrt (pow (fabs x) 3))) (* (sqrt (/ 2.0 3.0)) (sqrt (pow (fabs x) 3))) (* (sqrt (/ 2.0 3.0)) (pow (fabs x) (/ 3 2))) (* (sqrt (/ 2.0 3.0)) (pow (fabs x) (/ 3 2))) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (sqrt (pow (fabs x) 3))) (* (/ (sqrt 2.0) (sqrt 3.0)) (sqrt (pow (fabs x) 3))) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (fabs x) (/ 3 2))) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (fabs x) (/ 3 2))) (* (/ 2.0 3.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3)) (* (/ 2.0 3.0) (pow (sqrt (fabs x)) 3)) (* (/ 2.0 3.0) (pow 1 3)) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (/ 2.0 3.0) (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3)))) (* (/ 2.0 3.0) (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3)) (* (/ 2.0 3.0) (pow (sqrt (fabs x)) 3)) (* (/ 2.0 3.0) (pow 1 3)) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (sqrt (pow (fabs x) 3))) (* (/ 2.0 3.0) 1) (* (/ 2.0 3.0) (pow (fabs x) (/ 3 2))) (* (cbrt (/ 2.0 3.0)) (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) (pow (fabs x) 3)) (* (/ (sqrt 2.0) (cbrt 3.0)) (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)) (* (/ 1 3.0) (pow (fabs x) 3)) (* 2.0 (pow (fabs x) 3)) (+ (* (log (fabs x)) 7) (- (log 1.0) (log 21.0))) (+ (* (log (fabs x)) 7) (log (/ 1.0 21.0))) (+ (* (log (fabs x)) 7) (- (log 1.0) (log 21.0))) (+ (* (log (fabs x)) 7) (log (/ 1.0 21.0))) (+ (log (pow (fabs x) 7)) (- (log 1.0) (log 21.0))) (+ (log (pow (fabs x) 7)) (log (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (exp (* (pow (fabs x) 7) (/ 1.0 21.0))) (* (* (* (pow (fabs x) 7) (pow (fabs x) 7)) (pow (fabs x) 7)) (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.0))) (* (* (* (pow (fabs x) 7) (pow (fabs x) 7)) (pow (fabs x) 7)) (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.0))) (* (cbrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (cbrt (* (pow (fabs x) 7) (/ 1.0 21.0)))) (cbrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (* (* (* (pow (fabs x) 7) (/ 1.0 21.0)) (* (pow (fabs x) 7) (/ 1.0 21.0))) (* (pow (fabs x) 7) (/ 1.0 21.0))) (sqrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (sqrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (* (pow (sqrt (fabs x)) 7) (sqrt (/ 1.0 21.0))) (* (pow (sqrt (fabs x)) 7) (sqrt (/ 1.0 21.0))) (* (pow (sqrt (fabs x)) 7) (/ (sqrt 1.0) (sqrt 21.0))) (* (pow (sqrt (fabs x)) 7) (/ (sqrt 1.0) (sqrt 21.0))) (* (sqrt (pow (fabs x) 7)) (sqrt (/ 1.0 21.0))) (* (sqrt (pow (fabs x) 7)) (sqrt (/ 1.0 21.0))) (* (sqrt (pow (fabs x) 7)) (/ (sqrt 1.0) (sqrt 21.0))) (* (sqrt (pow (fabs x) 7)) (/ (sqrt 1.0) (sqrt 21.0))) (* (pow (fabs x) (/ 7 2)) (sqrt (/ 1.0 21.0))) (* (pow (fabs x) (/ 7 2)) (sqrt (/ 1.0 21.0))) (* (pow (fabs x) (/ 7 2)) (/ (sqrt 1.0) (sqrt 21.0))) (* (pow (fabs x) (/ 7 2)) (/ (sqrt 1.0) (sqrt 21.0))) (* (pow (fabs x) 7) (* (cbrt (/ 1.0 21.0)) (cbrt (/ 1.0 21.0)))) (* (pow (fabs x) 7) (sqrt (/ 1.0 21.0))) (* (pow (fabs x) 7) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 21.0) (cbrt 21.0)))) (* (pow (fabs x) 7) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0))) (* (pow (fabs x) 7) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (* (pow (fabs x) 7) (/ (sqrt 1.0) (* (cbrt 21.0) (cbrt 21.0)))) (* (pow (fabs x) 7) (/ (sqrt 1.0) (sqrt 21.0))) (* (pow (fabs x) 7) (/ (sqrt 1.0) 1)) (* (pow (fabs x) 7) (/ 1 (* (cbrt 21.0) (cbrt 21.0)))) (* (pow (fabs x) 7) (/ 1 (sqrt 21.0))) (* (pow (fabs x) 7) (/ 1 1)) (* (pow (fabs x) 7) 1) (* (pow (fabs x) 7) 1.0) (* (pow (cbrt (fabs x)) 7) (/ 1.0 21.0)) (* (pow (sqrt (fabs x)) 7) (/ 1.0 21.0)) (* (pow (fabs x) 7) (/ 1.0 21.0)) (* (cbrt (pow (fabs x) 7)) (/ 1.0 21.0)) (* (sqrt (pow (fabs x) 7)) (/ 1.0 21.0)) (* (pow (fabs x) 7) (/ 1.0 21.0)) (* (pow (fabs x) (/ 7 2)) (/ 1.0 21.0)) (* (pow (fabs x) 7) 1.0) (fabs (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (* 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.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) 8.904 * * [simplify]: iteration 0 : 284 enodes (cost 3084 ) 8.976 * * [simplify]: iteration 1 : 797 enodes (cost 2890 ) 9.357 * * [simplify]: iteration 2 : 3306 enodes (cost 2606 ) 10.134 * * [simplify]: iteration done : 5000 enodes (cost 2606 ) 10.135 * [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 (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (log (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (log (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (exp (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (pow (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI)) 3) (pow (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI)) 3) (* (cbrt (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (cbrt (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI)))) (cbrt (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (pow (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI)) 3) (sqrt (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (sqrt (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (- (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (- (sqrt PI)) (/ 1.0 (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (cbrt (sqrt PI))) (/ 1.0 (fabs (cbrt PI))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt (cbrt PI))) (/ 1.0 (sqrt (sqrt PI))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt (sqrt PI))) 1.0 (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt PI)) (/ 1.0 (sqrt (sqrt PI))) (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt (sqrt PI))) 1.0 (/ (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (sqrt PI)) (/ 1 (sqrt PI)) (/ (sqrt PI) (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))))) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (fabs (cbrt PI))) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt (sqrt PI))) (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt (sqrt PI))) (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (/ (sqrt PI) (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (* (sqrt PI) (* 5.0 3.0)) (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (pow (fabs x) 7) (/ 1.0 21.0)) (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x)))))) (* (sqrt PI) (* (* 5.0 3.0) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (sqrt PI) (* (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (- (* (/ 2.0 3.0) (pow (fabs x) 3)) (/ (* 1.0 (pow (fabs x) 5)) 5.0)))) (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (pow (fabs x) 7) (/ 1.0 21.0)) (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x))))))) (* (* (sqrt PI) (+ (* (/ (* 1.0 (pow (fabs x) 5)) 5.0) (/ (* 1.0 (pow (fabs x) 5)) 5.0)) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (- (* (/ 2.0 3.0) (pow (fabs x) 3)) (/ (* 1.0 (pow (fabs x) 5)) 5.0))))) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0)))) (* (* (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (pow (fabs x) 7) (/ 1.0 21.0)) (- (* (pow (fabs x) 7) (/ 1.0 21.0)) (* 2.0 (fabs x)))))) (sqrt PI)) (* (sqrt PI) (* (- (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (- (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (* (+ (* (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))) (- (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))) (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3)))))) (sqrt PI)) (* (sqrt PI) (- (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (log (* (/ 2.0 3.0) (pow (fabs x) 3))) (exp (* (/ 2.0 3.0) (pow (fabs x) 3))) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (* (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3)))) (cbrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (sqrt (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (pow (sqrt (fabs x)) 3)) (* (sqrt (/ 2.0 3.0)) (sqrt (pow (fabs x) 3))) (* (sqrt (/ 2.0 3.0)) (sqrt (pow (fabs x) 3))) (* (sqrt (/ 2.0 3.0)) (pow (fabs x) 3/2)) (* (sqrt (/ 2.0 3.0)) (pow (fabs x) 3/2)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (pow (sqrt (fabs x)) 3)) (* (/ (sqrt 2.0) (sqrt 3.0)) (sqrt (pow (fabs x) 3))) (* (/ (sqrt 2.0) (sqrt 3.0)) (sqrt (pow (fabs x) 3))) (* (pow (fabs x) 3/2) (/ (sqrt 2.0) (sqrt 3.0))) (* (pow (fabs x) 3/2) (/ (sqrt 2.0) (sqrt 3.0))) (/ (* (fabs x) (* 2.0 (fabs x))) 3.0) (* (/ 2.0 3.0) (pow (sqrt (fabs x)) 3)) (/ 2.0 3.0) (/ (* (fabs x) (* 2.0 (fabs x))) 3.0) (/ (* (fabs x) (* 2.0 (fabs x))) 3.0) (/ (* (fabs x) (* 2.0 (fabs x))) 3.0) (* (/ 2.0 3.0) (pow (sqrt (fabs x)) 3)) (/ 2.0 3.0) (* (/ 2.0 3.0) (fabs x)) (* (/ 2.0 3.0) (sqrt (pow (fabs x) 3))) (/ 2.0 3.0) (* (/ 2.0 3.0) (pow (fabs x) 3/2)) (* (cbrt (/ 2.0 3.0)) (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) (pow (fabs x) 3)) (* (/ (sqrt 2.0) (cbrt 3.0)) (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)) (/ (pow (fabs x) 3) 3.0) (* 2.0 (pow (fabs x) 3)) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (log (* (pow (fabs x) 7) (/ 1.0 21.0))) (exp (* (pow (fabs x) 7) (/ 1.0 21.0))) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3) (* (cbrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (cbrt (* (pow (fabs x) 7) (/ 1.0 21.0)))) (cbrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (pow (* (pow (fabs x) 7) (/ 1.0 21.0)) 3) (sqrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (sqrt (* (pow (fabs x) 7) (/ 1.0 21.0))) (* (pow (sqrt (fabs x)) 7) (sqrt (/ 1.0 21.0))) (* (pow (sqrt (fabs x)) 7) (sqrt (/ 1.0 21.0))) (* (pow (sqrt (fabs x)) 7) (/ (sqrt 1.0) (sqrt 21.0))) (* (pow (sqrt (fabs x)) 7) (/ (sqrt 1.0) (sqrt 21.0))) (* (sqrt (pow (fabs x) 7)) (sqrt (/ 1.0 21.0))) (* (sqrt (pow (fabs x) 7)) (sqrt (/ 1.0 21.0))) (* (sqrt (pow (fabs x) 7)) (/ (sqrt 1.0) (sqrt 21.0))) (* (sqrt (pow (fabs x) 7)) (/ (sqrt 1.0) (sqrt 21.0))) (* (pow (fabs x) 7/2) (sqrt (/ 1.0 21.0))) (* (pow (fabs x) 7/2) (sqrt (/ 1.0 21.0))) (* (pow (fabs x) 7/2) (/ (sqrt 1.0) (sqrt 21.0))) (* (pow (fabs x) 7/2) (/ (sqrt 1.0) (sqrt 21.0))) (* (pow (fabs x) 7) (* (cbrt (/ 1.0 21.0)) (cbrt (/ 1.0 21.0)))) (* (pow (fabs x) 7) (sqrt (/ 1.0 21.0))) (* (pow (fabs x) 7) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 21.0) (cbrt 21.0)))) (* (pow (fabs x) 7) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 21.0))) (* (pow (fabs x) 7) (* (cbrt 1.0) (cbrt 1.0))) (* (pow (fabs x) 7) (/ (sqrt 1.0) (* (cbrt 21.0) (cbrt 21.0)))) (* (pow (fabs x) 7) (/ (sqrt 1.0) (sqrt 21.0))) (* (pow (fabs x) 7) (sqrt 1.0)) (/ (pow (fabs x) 7) (* (cbrt 21.0) (cbrt 21.0))) (/ (pow (fabs x) 7) (sqrt 21.0)) (pow (fabs x) 7) (pow (fabs x) 7) (* (pow (fabs x) 7) 1.0) (* (pow (cbrt (fabs x)) 7) (/ 1.0 21.0)) (* (pow (sqrt (fabs x)) 7) (/ 1.0 21.0)) (* (pow (fabs x) 7) (/ 1.0 21.0)) (* (cbrt (pow (fabs x) 7)) (/ 1.0 21.0)) (* (sqrt (pow (fabs x) 7)) (/ 1.0 21.0)) (* (pow (fabs x) 7) (/ 1.0 21.0)) (* (pow (fabs x) 7/2) (/ 1.0 21.0)) (* (pow (fabs x) 7) 1.0) (fabs (/ (* 1.0 (+ (+ (/ (* 1.0 (pow (fabs x) 5)) 5.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (pow (fabs x) 7) (/ 1.0 21.0))))) (sqrt PI))) (* 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.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) 10.137 * * * [progress]: adding candidates to table 10.736 * [progress]: [Phase 3 of 3] Extracting. 10.736 * * [regime]: Finding splitpoints for: (# # #) 10.740 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x) 10.740 * * * * [regimes]: Trying to branch on (fabs x) from (# # #) 10.768 * * * * [regimes]: Trying to branch on x from (# # #) 10.794 * * * [regime]: Found split indices: #