132.437 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.042 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.047 * [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.048 * * [simplify]: iteration 0 : 28 enodes (cost 67 ) 0.052 * * [simplify]: iteration 1 : 69 enodes (cost 67 ) 0.069 * * [simplify]: iteration 2 : 221 enodes (cost 48 ) 0.124 * * [simplify]: iteration 3 : 795 enodes (cost 37 ) 0.372 * * [simplify]: iteration 4 : 2607 enodes (cost 37 ) 1.246 * * [simplify]: iteration done : 5000 enodes (cost 37 ) 1.246 * [simplify]: Simplified to: (fabs (/ (+ (* (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)))) (/ (sqrt PI) 1.0))) 1.251 * * [progress]: iteration 1 / 4 1.252 * * * [progress]: picking best candidate 1.260 * * * * [pick]: Picked # 1.260 * * * [progress]: localizing error 1.290 * * * [progress]: generating rewritten candidates 1.290 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.291 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1.317 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 1.643 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 6.543 * * * [progress]: generating series expansions 6.543 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 6.543 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 6.543 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 6.543 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 6.543 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.544 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 6.544 * [taylor]: Taking taylor expansion of (fabs x) in x 6.545 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 6.545 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.545 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 6.545 * [taylor]: Taking taylor expansion of (fabs x) in x 6.560 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 6.560 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 6.560 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.560 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.560 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.560 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 6.560 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.560 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 6.560 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.575 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 6.575 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 6.575 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.575 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.575 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.575 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 6.575 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 6.576 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 6.576 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.591 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 6.591 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 6.591 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 6.591 * [taylor]: Taking taylor expansion of 0.2 in x 6.591 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 6.591 * [taylor]: Taking taylor expansion of (fabs x) in x 6.591 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 6.591 * [taylor]: Taking taylor expansion of 0.2 in x 6.591 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 6.591 * [taylor]: Taking taylor expansion of (fabs x) in x 6.615 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 6.615 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 6.615 * [taylor]: Taking taylor expansion of 0.2 in x 6.615 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 6.615 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.615 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 6.615 * [taylor]: Taking taylor expansion of 0.2 in x 6.615 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 6.615 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.635 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 6.635 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 6.635 * [taylor]: Taking taylor expansion of 0.2 in x 6.635 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 6.635 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.635 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 6.635 * [taylor]: Taking taylor expansion of 0.2 in x 6.635 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 6.635 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.655 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 6.655 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in (x) around 0 6.655 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 6.655 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 6.656 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 6.656 * [taylor]: Taking taylor expansion of (fabs x) in x 6.656 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 6.656 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 6.656 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 6.656 * [taylor]: Taking taylor expansion of (fabs x) in x 6.679 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in (x) around 0 6.679 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 6.679 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 6.679 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 6.679 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.679 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 6.679 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 6.679 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 6.679 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 6.706 * [approximate]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in (x) around 0 6.706 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 6.706 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 6.706 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 6.706 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.706 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 6.706 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 6.706 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 6.706 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 6.731 * * * [progress]: simplifying candidates 6.734 * [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.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (+ (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (+ (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (+ (log (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 21.0)) (log (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (+ (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (+ (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (+ (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (+ (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (+ (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (+ (log (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 21.0)) (log (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (exp (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.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))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.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))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.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))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.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))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.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))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.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)) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 21.0 21.0) 21.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) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.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))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.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))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.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))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.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))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.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))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.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)) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (/ 1.0 21.0)) (/ 1.0 21.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) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (cbrt (/ 1.0 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (sqrt (/ 1.0 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (cbrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (sqrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (cbrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (sqrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (cbrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (sqrt 21.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* 1.0 (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (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)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) 6.745 * * [simplify]: iteration 0 : 297 enodes (cost 4429 ) 6.809 * * [simplify]: iteration 1 : 945 enodes (cost 3002 ) 7.076 * * [simplify]: iteration 2 : 3432 enodes (cost 1751 ) 8.220 * * [simplify]: iteration done : 5000 enodes (cost 1751 ) 8.221 * [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)) (* (fabs x) (* (pow (fabs x) 4) (cbrt (/ 1.0 5.0)))) (* (sqrt (/ 1.0 5.0)) (* (pow (fabs x) 4) (fabs x))) (* (* (/ (cbrt 1.0) (cbrt 5.0)) (fabs x)) (pow (fabs x) 4)) (* (pow (fabs x) 4) (* (fabs x) (/ (cbrt 1.0) (sqrt 5.0)))) (* (* (pow (fabs x) 4) (fabs x)) (/ (cbrt 1.0) 5.0)) (* (pow (fabs x) 4) (* (fabs x) (/ (sqrt 1.0) (cbrt 5.0)))) (* (fabs x) (* (/ (sqrt 1.0) (sqrt 5.0)) (pow (fabs x) 4))) (* (* (/ (sqrt 1.0) 5.0) (fabs x)) (pow (fabs x) 4)) (* (* (/ 1.0 (cbrt 5.0)) (fabs x)) (pow (fabs x) 4)) (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 (sqrt 5.0)))) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) (* (* (/ 1.0 5.0) (fabs x)) (pow (fabs x) 4)) (/ (* (pow (fabs x) 4) (fabs x)) 5.0) (* 1.0 (* (pow (fabs x) 4) (fabs x))) (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (log (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (exp (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (* (cbrt (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (cbrt (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)))) (cbrt (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (pow (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) 3) (sqrt (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (sqrt (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x))) (* (pow (fabs x) 6) (/ 1.0 21.0)) (* (pow (fabs x) 6) (* (fabs x) (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))) (* (fabs x) (/ (* (sqrt 1.0) (pow (fabs x) 6)) (cbrt 21.0))) (* (* (/ (sqrt 1.0) (sqrt 21.0)) (fabs x)) (pow (fabs x) 6)) (* (pow (fabs x) 6) (* (fabs x) (/ (sqrt 1.0) 21.0))) (* (fabs x) (* (/ 1.0 (cbrt 21.0)) (pow (fabs x) 6))) (* (pow (fabs x) 6) (* (fabs x) (/ 1.0 (sqrt 21.0)))) (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) (* (* (pow (fabs x) 6) (/ 1.0 21.0)) (fabs x)) (/ (* (pow (fabs x) 6) (fabs x)) 21.0) (* (* 1.0 (fabs x)) (pow (fabs x) 6)) (fabs (/ (* (+ (+ (* (/ 2.0 3.0) (pow (fabs x) 3)) (* 2.0 (fabs x))) (* (fabs x) (+ (* (pow (fabs x) 4) (/ 1.0 5.0)) (* (pow (fabs x) 6) (/ 1.0 21.0))))) 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)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) (* 0.047619047619047616 (pow (fabs x) 7)) 8.222 * * * [progress]: adding candidates to table 8.722 * * [progress]: iteration 2 / 4 8.722 * * * [progress]: picking best candidate 8.736 * * * * [pick]: Picked # 8.737 * * * [progress]: localizing error 8.766 * * * [progress]: generating rewritten candidates 8.766 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 8.767 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 8.793 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 9.119 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 9.132 * * * [progress]: generating series expansions 9.132 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 9.132 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 9.133 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 9.133 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 9.133 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 9.133 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 9.133 * [taylor]: Taking taylor expansion of (fabs x) in x 9.133 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 9.133 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 9.133 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 9.133 * [taylor]: Taking taylor expansion of (fabs x) in x 9.148 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 9.148 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 9.148 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 9.148 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 9.148 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.149 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 9.149 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 9.149 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 9.149 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.167 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 9.167 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 9.167 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 9.167 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 9.167 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.167 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 9.167 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 9.167 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 9.167 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.182 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 9.182 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 9.183 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 9.183 * [taylor]: Taking taylor expansion of 0.2 in x 9.183 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 9.183 * [taylor]: Taking taylor expansion of (fabs x) in x 9.183 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 9.183 * [taylor]: Taking taylor expansion of 0.2 in x 9.183 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 9.183 * [taylor]: Taking taylor expansion of (fabs x) in x 9.202 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 9.202 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 9.202 * [taylor]: Taking taylor expansion of 0.2 in x 9.202 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 9.202 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.202 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 9.202 * [taylor]: Taking taylor expansion of 0.2 in x 9.202 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 9.202 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.223 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 9.223 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 9.223 * [taylor]: Taking taylor expansion of 0.2 in x 9.223 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 9.223 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.223 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 9.223 * [taylor]: Taking taylor expansion of 0.2 in x 9.223 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 9.223 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.242 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) 9.243 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 9.243 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 9.243 * [taylor]: Taking taylor expansion of (fabs x) in x 9.243 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 9.243 * [taylor]: Taking taylor expansion of (fabs x) in x 9.251 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 9.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 9.251 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.254 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 9.254 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 9.263 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 9.264 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 9.264 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.264 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 9.264 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 9.273 * * * [progress]: simplifying candidates 9.275 * [simplify]: Simplifying using # : (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* (/ 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 (/ (* (pow (fabs x) 6) (fabs x)) 21.0))))) (* 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) 9.282 * * [simplify]: iteration 0 : 217 enodes (cost 2435 ) 9.329 * * [simplify]: iteration 1 : 630 enodes (cost 1711 ) 9.481 * * [simplify]: iteration 2 : 2252 enodes (cost 1163 ) 10.164 * * [simplify]: iteration done : 5001 enodes (cost 1163 ) 10.165 * [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)) (/ (* (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) 1.0) (/ 5.0 (fabs x))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (pow (exp (/ 1.0 5.0)) (* (fabs x) (pow (fabs x) 4))) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3) (* (cbrt (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (cbrt (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (cbrt (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3) (sqrt (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (sqrt (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (/ 1.0 (/ 5.0 (pow (fabs x) 4))) (* (pow (fabs x) 4) (* (fabs x) (cbrt (/ 1.0 5.0)))) (* (sqrt (/ 1.0 5.0)) (* (fabs x) (pow (fabs x) 4))) (* (* (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)) (* (pow (fabs x) 4) (* (fabs x) (/ (sqrt 1.0) (cbrt 5.0)))) (* (* (/ (sqrt 1.0) (sqrt 5.0)) (fabs x)) (pow (fabs x) 4)) (* (* (fabs x) (pow (fabs x) 4)) (/ (sqrt 1.0) 5.0)) (* (pow (fabs x) 4) (* (fabs x) (/ 1.0 (cbrt 5.0)))) (* (/ 1.0 (sqrt 5.0)) (* (fabs x) (pow (fabs x) 4))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (* (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 (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 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) 10.166 * * * [progress]: adding candidates to table 10.605 * * [progress]: iteration 3 / 4 10.605 * * * [progress]: picking best candidate 10.614 * * * * [pick]: Picked # 10.614 * * * [progress]: localizing error 10.638 * * * [progress]: generating rewritten candidates 10.638 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2) 10.639 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2) 10.654 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2) 10.660 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 10.835 * * * [progress]: generating series expansions 10.835 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2) 10.835 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2) 10.836 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 10.836 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 10.836 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 10.836 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 10.836 * [taylor]: Taking taylor expansion of (fabs x) in x 10.836 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 10.836 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 10.836 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 10.836 * [taylor]: Taking taylor expansion of (fabs x) in x 10.850 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 10.851 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 10.851 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 10.851 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 10.851 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 10.851 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 10.851 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 10.851 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 10.851 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 10.869 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 10.869 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 10.869 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 10.869 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 10.869 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 10.869 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 10.869 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 10.869 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 10.869 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 10.884 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2) 10.884 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 10.884 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 10.884 * [taylor]: Taking taylor expansion of 0.2 in x 10.884 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 10.884 * [taylor]: Taking taylor expansion of (fabs x) in x 10.884 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 10.884 * [taylor]: Taking taylor expansion of 0.2 in x 10.884 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 10.884 * [taylor]: Taking taylor expansion of (fabs x) in x 10.903 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 10.903 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 10.903 * [taylor]: Taking taylor expansion of 0.2 in x 10.903 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 10.903 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 10.903 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 10.903 * [taylor]: Taking taylor expansion of 0.2 in x 10.903 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 10.903 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 10.923 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 10.923 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 10.923 * [taylor]: Taking taylor expansion of 0.2 in x 10.923 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 10.923 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 10.923 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 10.923 * [taylor]: Taking taylor expansion of 0.2 in x 10.923 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 10.923 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 10.943 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 10.945 * [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 10.945 * [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 10.945 * [taylor]: Taking taylor expansion of 1.0 in x 10.945 * [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 10.945 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 10.945 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 10.945 * [taylor]: Taking taylor expansion of PI in x 10.947 * [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 10.947 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 10.947 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 10.947 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 10.947 * [taylor]: Taking taylor expansion of (fabs x) in x 10.948 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 10.948 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 10.948 * [taylor]: Taking taylor expansion of 0.2 in x 10.948 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 10.948 * [taylor]: Taking taylor expansion of (fabs x) in x 10.948 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 10.948 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 10.948 * [taylor]: Taking taylor expansion of 2.0 in x 10.948 * [taylor]: Taking taylor expansion of (fabs x) in x 10.948 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 10.948 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 10.948 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 10.948 * [taylor]: Taking taylor expansion of (fabs x) in x 10.948 * [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 10.948 * [taylor]: Taking taylor expansion of 1.0 in x 10.948 * [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 10.948 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 10.948 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 10.948 * [taylor]: Taking taylor expansion of PI in x 10.950 * [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 10.950 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 10.950 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 10.950 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 10.950 * [taylor]: Taking taylor expansion of (fabs x) in x 10.950 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs x) 5)) (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7)))) in x 10.950 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 10.950 * [taylor]: Taking taylor expansion of 0.2 in x 10.950 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 10.950 * [taylor]: Taking taylor expansion of (fabs x) in x 10.950 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs x)) (* 0.047619047619047616 (pow (fabs x) 7))) in x 10.950 * [taylor]: Taking taylor expansion of (* 2.0 (fabs x)) in x 10.950 * [taylor]: Taking taylor expansion of 2.0 in x 10.950 * [taylor]: Taking taylor expansion of (fabs x) in x 10.950 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs x) 7)) in x 10.950 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 10.950 * [taylor]: Taking taylor expansion of (pow (fabs x) 7) in x 10.950 * [taylor]: Taking taylor expansion of (fabs x) in x 11.056 * [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 11.056 * [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 11.056 * [taylor]: Taking taylor expansion of 1.0 in x 11.056 * [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 11.057 * [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 11.057 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 11.057 * [taylor]: Taking taylor expansion of 2.0 in x 11.057 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 11.057 * [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 11.057 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 11.057 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 11.057 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 11.057 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 11.057 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 11.057 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 11.057 * [taylor]: Taking taylor expansion of 0.2 in x 11.057 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 11.057 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 11.057 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 11.057 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 11.057 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 11.057 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 11.057 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 11.057 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 11.057 * [taylor]: Taking taylor expansion of PI in x 11.059 * [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 11.059 * [taylor]: Taking taylor expansion of 1.0 in x 11.059 * [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 11.059 * [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 11.059 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ 1 x))) in x 11.059 * [taylor]: Taking taylor expansion of 2.0 in x 11.059 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 11.059 * [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 11.059 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ 1 x)) 7)) in x 11.059 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 11.059 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 7) in x 11.059 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 11.059 * [taylor]: Taking taylor expansion of (+ (* 0.2 (pow (fabs (/ 1 x)) 5)) (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3))) in x 11.060 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 11.060 * [taylor]: Taking taylor expansion of 0.2 in x 11.060 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 11.060 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 11.060 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 11.060 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 11.060 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 11.060 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 11.060 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 11.060 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 11.060 * [taylor]: Taking taylor expansion of PI in x 11.167 * [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 11.167 * [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 11.167 * [taylor]: Taking taylor expansion of 1.0 in x 11.167 * [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 11.167 * [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 11.167 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 11.167 * [taylor]: Taking taylor expansion of 0.2 in x 11.167 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 11.167 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 11.167 * [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 11.167 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 11.167 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 11.167 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 11.167 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 11.168 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 11.168 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 11.168 * [taylor]: Taking taylor expansion of 2.0 in x 11.168 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 11.168 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 11.168 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 11.168 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 11.168 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 11.168 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 11.168 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 11.168 * [taylor]: Taking taylor expansion of PI in x 11.170 * [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 11.170 * [taylor]: Taking taylor expansion of 1.0 in x 11.170 * [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 11.170 * [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 11.170 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 11.170 * [taylor]: Taking taylor expansion of 0.2 in x 11.170 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 11.170 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 11.170 * [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 11.170 * [taylor]: Taking taylor expansion of (* 0.047619047619047616 (pow (fabs (/ -1 x)) 7)) in x 11.170 * [taylor]: Taking taylor expansion of 0.047619047619047616 in x 11.170 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 7) in x 11.170 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 11.170 * [taylor]: Taking taylor expansion of (+ (* 2.0 (fabs (/ -1 x))) (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3))) in x 11.170 * [taylor]: Taking taylor expansion of (* 2.0 (fabs (/ -1 x))) in x 11.170 * [taylor]: Taking taylor expansion of 2.0 in x 11.170 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 11.170 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 11.170 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 11.170 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 11.170 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 11.170 * [taylor]: Taking taylor expansion of (sqrt (/ 1 PI)) in x 11.170 * [taylor]: Taking taylor expansion of (/ 1 PI) in x 11.170 * [taylor]: Taking taylor expansion of PI in x 11.276 * * * [progress]: simplifying candidates 11.279 * [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)) (- (+ (* (log (fabs x)) 4) (log 1.0)) (- (log 5.0) (log (fabs x)))) (- (+ (* (log (fabs x)) 4) (log 1.0)) (log (/ 5.0 (fabs x)))) (- (+ (* (log (fabs x)) 4) (log 1.0)) (- (log 5.0) (log (fabs x)))) (- (+ (* (log (fabs x)) 4) (log 1.0)) (log (/ 5.0 (fabs x)))) (- (+ (log (pow (fabs x) 4)) (log 1.0)) (- (log 5.0) (log (fabs x)))) (- (+ (log (pow (fabs x) 4)) (log 1.0)) (log (/ 5.0 (fabs x)))) (- (log (* (pow (fabs x) 4) 1.0)) (- (log 5.0) (log (fabs x)))) (- (log (* (pow (fabs x) 4) 1.0)) (log (/ 5.0 (fabs x)))) (log (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (exp (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (/ (* (* (* (pow (fabs x) 4) (pow (fabs x) 4)) (pow (fabs x) 4)) (* (* 1.0 1.0) 1.0)) (/ (* (* 5.0 5.0) 5.0) (* (* (fabs x) (fabs x)) (fabs x)))) (/ (* (* (* (pow (fabs x) 4) (pow (fabs x) 4)) (pow (fabs x) 4)) (* (* 1.0 1.0) 1.0)) (* (* (/ 5.0 (fabs x)) (/ 5.0 (fabs x))) (/ 5.0 (fabs x)))) (/ (* (* (* (pow (fabs x) 4) 1.0) (* (pow (fabs x) 4) 1.0)) (* (pow (fabs x) 4) 1.0)) (/ (* (* 5.0 5.0) 5.0) (* (* (fabs x) (fabs x)) (fabs x)))) (/ (* (* (* (pow (fabs x) 4) 1.0) (* (pow (fabs x) 4) 1.0)) (* (pow (fabs x) 4) 1.0)) (* (* (/ 5.0 (fabs x)) (/ 5.0 (fabs x))) (/ 5.0 (fabs x)))) (* (cbrt (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (cbrt (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (cbrt (/ (* (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)))) (sqrt (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (sqrt (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (- (* (pow (fabs x) 4) 1.0)) (- (/ 5.0 (fabs x))) (/ (pow (fabs x) 4) (* (cbrt (/ 5.0 (fabs x))) (cbrt (/ 5.0 (fabs x))))) (/ 1.0 (cbrt (/ 5.0 (fabs x)))) (/ (pow (fabs x) 4) (sqrt (/ 5.0 (fabs x)))) (/ 1.0 (sqrt (/ 5.0 (fabs x)))) (/ (pow (fabs x) 4) (/ (* (cbrt 5.0) (cbrt 5.0)) (* (cbrt (fabs x)) (cbrt (fabs x))))) (/ 1.0 (/ (cbrt 5.0) (cbrt (fabs x)))) (/ (pow (fabs x) 4) (/ (* (cbrt 5.0) (cbrt 5.0)) (sqrt (fabs x)))) (/ 1.0 (/ (cbrt 5.0) (sqrt (fabs x)))) (/ (pow (fabs x) 4) (/ (* (cbrt 5.0) (cbrt 5.0)) 1)) (/ 1.0 (/ (cbrt 5.0) (fabs x))) (/ (pow (fabs x) 4) (/ (sqrt 5.0) (* (cbrt (fabs x)) (cbrt (fabs x))))) (/ 1.0 (/ (sqrt 5.0) (cbrt (fabs x)))) (/ (pow (fabs x) 4) (/ (sqrt 5.0) (sqrt (fabs x)))) (/ 1.0 (/ (sqrt 5.0) (sqrt (fabs x)))) (/ (pow (fabs x) 4) (/ (sqrt 5.0) 1)) (/ 1.0 (/ (sqrt 5.0) (fabs x))) (/ (pow (fabs x) 4) (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x))))) (/ 1.0 (/ 5.0 (cbrt (fabs x)))) (/ (pow (fabs x) 4) (/ 1 (sqrt (fabs x)))) (/ 1.0 (/ 5.0 (sqrt (fabs x)))) (/ (pow (fabs x) 4) (/ 1 1)) (/ 1.0 (/ 5.0 (fabs x))) (/ (pow (fabs x) 4) 1) (/ 1.0 (/ 5.0 (fabs x))) (/ (pow (fabs x) 4) 5.0) (/ 1.0 (/ 1 (fabs x))) (/ 1 (/ 5.0 (fabs x))) (/ (/ 5.0 (fabs x)) (* (pow (fabs x) 4) 1.0)) (/ (* (pow (fabs x) 4) 1.0) (* (cbrt (/ 5.0 (fabs x))) (cbrt (/ 5.0 (fabs x))))) (/ (* (pow (fabs x) 4) 1.0) (sqrt (/ 5.0 (fabs x)))) (/ (* (pow (fabs x) 4) 1.0) (/ (* (cbrt 5.0) (cbrt 5.0)) (* (cbrt (fabs x)) (cbrt (fabs x))))) (/ (* (pow (fabs x) 4) 1.0) (/ (* (cbrt 5.0) (cbrt 5.0)) (sqrt (fabs x)))) (/ (* (pow (fabs x) 4) 1.0) (/ (* (cbrt 5.0) (cbrt 5.0)) 1)) (/ (* (pow (fabs x) 4) 1.0) (/ (sqrt 5.0) (* (cbrt (fabs x)) (cbrt (fabs x))))) (/ (* (pow (fabs x) 4) 1.0) (/ (sqrt 5.0) (sqrt (fabs x)))) (/ (* (pow (fabs x) 4) 1.0) (/ (sqrt 5.0) 1)) (/ (* (pow (fabs x) 4) 1.0) (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x))))) (/ (* (pow (fabs x) 4) 1.0) (/ 1 (sqrt (fabs x)))) (/ (* (pow (fabs x) 4) 1.0) (/ 1 1)) (/ (* (pow (fabs x) 4) 1.0) 1) (/ (* (pow (fabs x) 4) 1.0) 5.0) (/ (/ 5.0 (fabs x)) 1.0) (/ (* (pow (fabs x) 4) 1.0) 5.0) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI))) (+ (log (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (- (log 1.0) (log (sqrt PI)))) (+ (log (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (log (/ 1.0 (sqrt PI)))) (log (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI)))) (exp (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI)))) (* (* (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (/ (* (* 1.0 1.0) 1.0) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)))) (* (* (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (* (* (/ 1.0 (sqrt PI)) (/ 1.0 (sqrt PI))) (/ 1.0 (sqrt PI)))) (* (cbrt (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI)))) (cbrt (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI))))) (cbrt (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI)))) (* (* (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI)))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI)))) (sqrt (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI)))) (sqrt (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI)))) (* (+ (* (+ (pow (* 2.0 (fabs x)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)) (* 21.0 (/ 5.0 (fabs x)))) (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (+ (* (* 1.0 (pow (fabs x) 7)) (/ 5.0 (fabs x))) (* 21.0 (* (pow (fabs x) 4) 1.0))))) 1.0) (* (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (* 21.0 (/ 5.0 (fabs x)))) (sqrt PI)) (* (+ (* (+ (pow (* 2.0 (fabs x)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)) (+ (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (* 1.0 (/ (pow (fabs x) 7) 21.0))) (- (* (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))))) (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (+ (pow (* 1.0 (/ (pow (fabs x) 7) 21.0)) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3)))) 1.0) (* (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (+ (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (* 1.0 (/ (pow (fabs x) 7) 21.0))) (- (* (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))))) (sqrt PI)) (* (+ (* (+ (pow (* 2.0 (fabs x)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)) (- (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (- (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (* 1.0 (/ (pow (fabs x) 7) 21.0))) (* (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))))) 1.0) (* (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (- (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (sqrt PI)) (* (+ (* (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* 21.0 (/ 5.0 (fabs x)))) (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* (* 1.0 (pow (fabs x) 7)) (/ 5.0 (fabs x))) (* 21.0 (* (pow (fabs x) 4) 1.0))))) 1.0) (* (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* 21.0 (/ 5.0 (fabs x)))) (sqrt PI)) (* (+ (* (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (+ (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (* 1.0 (/ (pow (fabs x) 7) 21.0))) (- (* (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))))) (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (pow (* 1.0 (/ (pow (fabs x) 7) 21.0)) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3)))) 1.0) (* (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (* 1.0 (/ (pow (fabs x) 7) 21.0))) (- (* (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))))) (sqrt PI)) (* (+ (* (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (- (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (- (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (* 1.0 (/ (pow (fabs x) 7) 21.0))) (* (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))))) 1.0) (* (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (- (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (sqrt PI)) (* (+ (pow (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) 3) (pow (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) 3)) 1.0) (* (+ (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (- (* (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))))) (sqrt PI)) (* (- (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) 1.0) (* (- (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (sqrt PI)) (* (sqrt (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (sqrt (/ 1.0 (sqrt PI)))) (* (sqrt (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (sqrt (/ 1.0 (sqrt PI)))) (* (sqrt (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (sqrt (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (* (cbrt (/ 1.0 (sqrt PI))) (cbrt (/ 1.0 (sqrt PI))))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (sqrt (/ 1.0 (sqrt PI)))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (* (cbrt PI) (cbrt PI))))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt PI)))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt PI)))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (sqrt 1.0) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (sqrt 1.0) (sqrt (* (cbrt PI) (cbrt PI))))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (sqrt 1.0) (sqrt 1))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (sqrt 1.0) (sqrt (sqrt PI)))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ (sqrt 1.0) 1)) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1 (* (cbrt (sqrt PI)) (cbrt (sqrt PI))))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1 (sqrt (* (cbrt PI) (cbrt PI))))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1 (sqrt (sqrt PI)))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1 (sqrt 1))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1 (sqrt (sqrt PI)))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1 1)) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) 1) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) 1.0) (* (cbrt (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (/ 1.0 (sqrt PI))) (* (sqrt (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (/ 1.0 (sqrt PI))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 1.0 (sqrt PI))) (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) 1.0) (* (+ (* (+ (pow (* 2.0 (fabs x)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)) (* 21.0 (/ 5.0 (fabs x)))) (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (+ (* (* 1.0 (pow (fabs x) 7)) (/ 5.0 (fabs x))) (* 21.0 (* (pow (fabs x) 4) 1.0))))) (/ 1.0 (sqrt PI))) (* (+ (* (+ (pow (* 2.0 (fabs x)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)) (+ (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (* 1.0 (/ (pow (fabs x) 7) 21.0))) (- (* (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))))) (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (+ (pow (* 1.0 (/ (pow (fabs x) 7) 21.0)) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3)))) (/ 1.0 (sqrt PI))) (* (+ (* (+ (pow (* 2.0 (fabs x)) 3) (pow (* (/ 2.0 3.0) (pow (fabs x) 3)) 3)) (- (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (* (+ (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (- (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (* (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))))) (- (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (* 1.0 (/ (pow (fabs x) 7) 21.0))) (* (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))))) (/ 1.0 (sqrt PI))) (* (+ (* (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* 21.0 (/ 5.0 (fabs x)))) (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* (* 1.0 (pow (fabs x) 7)) (/ 5.0 (fabs x))) (* 21.0 (* (pow (fabs x) 4) 1.0))))) (/ 1.0 (sqrt PI))) (* (+ (* (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (+ (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (* 1.0 (/ (pow (fabs x) 7) 21.0))) (- (* (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))))) (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (pow (* 1.0 (/ (pow (fabs x) 7) 21.0)) 3) (pow (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) 3)))) (/ 1.0 (sqrt PI))) (* (+ (* (- (* (* 2.0 (fabs x)) (* 2.0 (fabs x))) (* (* (/ 2.0 3.0) (pow (fabs x) 3)) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (- (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (* (- (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (- (* (* 1.0 (/ (pow (fabs x) 7) 21.0)) (* 1.0 (/ (pow (fabs x) 7) 21.0))) (* (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))))) (/ 1.0 (sqrt PI))) (* (+ (pow (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) 3) (pow (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) 3)) (/ 1.0 (sqrt PI))) (* (- (* (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3)))) (* (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x)))))) (/ 1.0 (sqrt PI))) (fabs (* (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (* 1.0 (/ (pow (fabs x) 7) 21.0)) (/ (* (pow (fabs x) 4) 1.0) (/ 5.0 (fabs x))))) (/ 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)) (* 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))))))) 11.298 * * [simplify]: iteration 0 : 392 enodes (cost 5886 )