25.045 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.045 * * * [progress]: [2/2] Setting up program. 0.050 * [progress]: [Phase 2 of 3] Improving. 0.050 * [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.053 * * [simplify]: iteration 0 : 70 enodes (cost 42 ) 0.056 * * [simplify]: iteration 1 : 252 enodes (cost 42 ) 0.062 * * [simplify]: iteration 2 : 1059 enodes (cost 42 ) 0.090 * * [simplify]: iteration 3 : 4713 enodes (cost 42 ) 0.165 * * [simplify]: iteration 4 : 5001 enodes (cost 42 ) 0.166 * [simplify]: Simplified to: (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.166 * * [progress]: iteration 1 / 4 0.166 * * * [progress]: picking best candidate 0.170 * * * * [pick]: Picked # 0.170 * * * [progress]: localizing error 0.195 * * * [progress]: generating rewritten candidates 0.195 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.196 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 0.226 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 0.551 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 0.565 * * * [progress]: generating series expansions 0.565 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.565 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 0.565 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 0.565 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.565 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.565 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.565 * [taylor]: Taking taylor expansion of (fabs x) in x 0.566 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.566 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.566 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.566 * [taylor]: Taking taylor expansion of (fabs x) in x 0.580 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.580 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.580 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.580 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.580 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.580 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.581 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.581 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.581 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.595 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.595 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.596 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.596 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.596 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.596 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.596 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.596 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.596 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.610 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 0.610 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 0.610 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.610 * [taylor]: Taking taylor expansion of 0.2 in x 0.610 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.610 * [taylor]: Taking taylor expansion of (fabs x) in x 0.611 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.611 * [taylor]: Taking taylor expansion of 0.2 in x 0.611 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.611 * [taylor]: Taking taylor expansion of (fabs x) in x 0.634 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 0.634 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 0.634 * [taylor]: Taking taylor expansion of 0.2 in x 0.634 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 0.634 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.634 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 0.634 * [taylor]: Taking taylor expansion of 0.2 in x 0.634 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 0.634 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.654 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 0.654 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.654 * [taylor]: Taking taylor expansion of 0.2 in x 0.654 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.654 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.654 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.654 * [taylor]: Taking taylor expansion of 0.2 in x 0.654 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.654 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.673 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 0.673 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.673 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.673 * [taylor]: Taking taylor expansion of (fabs x) in x 0.673 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.673 * [taylor]: Taking taylor expansion of (fabs x) in x 0.682 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.682 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.682 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.682 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.682 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.691 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.691 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.691 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.691 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.691 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.700 * * * [progress]: simplifying candidates 0.702 * [simplify]: Simplifying using # : (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (expm1 (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log1p (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (expm1 (* (* (fabs x) (fabs x)) (fabs x))) (log1p (* (* (fabs x) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 0.714 * * [simplify]: iteration 0 : 639 enodes (cost 1188 ) 0.725 * * [simplify]: iteration 1 : 2694 enodes (cost 819 ) 0.772 * * [simplify]: iteration 2 : 5002 enodes (cost 787 ) 0.776 * [simplify]: Simplified to: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3)) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (* (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)))) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (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))) (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0))) (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0))) (/ (* (cbrt 2.0) (pow (fabs x) 3)) (cbrt 3.0)) (/ (* (cbrt 2.0) (pow (fabs x) 3)) (sqrt 3.0)) (/ (* (cbrt 2.0) (pow (fabs x) 3)) 3.0) (/ (* (sqrt 2.0) (pow (fabs x) 3)) (cbrt 3.0)) (/ (* (sqrt 2.0) (pow (fabs x) 3)) (sqrt 3.0)) (/ (* (sqrt 2.0) (pow (fabs x) 3)) 3.0) (* (pow (fabs x) 3) (/ 2.0 (cbrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (/ (pow (fabs x) 3) 3.0) (* (pow (fabs x) 3) 2.0) (expm1 (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log1p (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (pow (exp (* (/ 1.0 5.0) (fabs x))) (pow (fabs x) 4)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (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)))) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (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) (pow (fabs x) 4)) (* (* (cbrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (sqrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (cbrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (cbrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (cbrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ (sqrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (sqrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (sqrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 (cbrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 (sqrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (/ (* (pow (fabs x) 4) (fabs x)) 5.0) (* (* 1.0 (pow (fabs x) 4)) (fabs x)) (expm1 (* (* (fabs x) (fabs x)) (fabs x))) (log1p (* (* (fabs x) (fabs x)) (fabs x))) 3 3 3 3 (pow (fabs x) 3) (pow (fabs x) 3) 3 3 3 3 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (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) (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 0.777 * * * [progress]: adding candidates to table 1.230 * * [progress]: iteration 2 / 4 1.230 * * * [progress]: picking best candidate 1.249 * * * * [pick]: Picked # 1.250 * * * [progress]: localizing error 1.281 * * * [progress]: generating rewritten candidates 1.281 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.282 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1.309 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1) 1.319 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2) 1.648 * * * [progress]: generating series expansions 1.648 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.648 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 1.649 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 1.649 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.649 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.649 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.649 * [taylor]: Taking taylor expansion of (fabs x) in x 1.649 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.649 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.649 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.649 * [taylor]: Taking taylor expansion of (fabs x) in x 1.663 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 1.663 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.663 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.663 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.663 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.663 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.663 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.663 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.663 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.682 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 1.682 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.682 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.682 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.682 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.682 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.682 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.682 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.682 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.697 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1) 1.697 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in (x) around 0 1.697 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 1.697 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.697 * [taylor]: Taking taylor expansion of (fabs x) in x 1.698 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 1.698 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.698 * [taylor]: Taking taylor expansion of (fabs x) in x 1.714 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in (x) around 0 1.714 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 1.714 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.714 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.715 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 1.715 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.715 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.731 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in (x) around 0 1.731 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 1.731 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.731 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.732 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 1.732 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.732 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.749 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2) 1.749 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 1.749 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.749 * [taylor]: Taking taylor expansion of 0.2 in x 1.749 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.750 * [taylor]: Taking taylor expansion of (fabs x) in x 1.750 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 1.750 * [taylor]: Taking taylor expansion of 0.2 in x 1.750 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.750 * [taylor]: Taking taylor expansion of (fabs x) in x 1.771 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 1.771 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 1.771 * [taylor]: Taking taylor expansion of 0.2 in x 1.771 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.771 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.771 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 1.771 * [taylor]: Taking taylor expansion of 0.2 in x 1.771 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.771 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.791 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 1.791 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 1.791 * [taylor]: Taking taylor expansion of 0.2 in x 1.791 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.791 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.791 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 1.791 * [taylor]: Taking taylor expansion of 0.2 in x 1.791 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.791 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.810 * * * [progress]: simplifying candidates 1.812 * [simplify]: Simplifying using # : (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (expm1 (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (log1p (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (+ (+ 1 1) 1/2) (+ (+ 1 1) (/ 1 2)) (+ 2 1/2) (+ 2 (/ 1 2)) (+ (+ 1 1) 1/2) (+ (+ 1 1) (/ 1 2)) (+ (* 2 1) 1/2) (+ (* 2 1) (/ 1 2)) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (+ (+ (log (fabs x)) (log (fabs x))) (log (sqrt (fabs x)))) (+ (log (* (fabs x) (fabs x))) (log (sqrt (fabs x)))) (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (exp (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x))))) (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (* (fabs x) (fabs x)) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) (* (* (fabs x) (fabs x)) (sqrt (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt 1)) (* (* (fabs x) (fabs x)) (sqrt (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (sqrt (fabs x))) (expm1 (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log1p (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) 1.821 * * [simplify]: iteration 0 : 664 enodes (cost 1221 ) 1.833 * * [simplify]: iteration 1 : 3205 enodes (cost 875 ) 1.895 * * [simplify]: iteration 2 : 5002 enodes (cost 818 ) 1.899 * [simplify]: Simplified to: (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3)) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (* (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)))) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (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))) (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0))) (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0))) (/ (* (cbrt 2.0) (pow (fabs x) 3)) (cbrt 3.0)) (/ (* (cbrt 2.0) (pow (fabs x) 3)) (sqrt 3.0)) (/ (* (cbrt 2.0) (pow (fabs x) 3)) 3.0) (/ (* (sqrt 2.0) (pow (fabs x) 3)) (cbrt 3.0)) (/ (* (sqrt 2.0) (pow (fabs x) 3)) (sqrt 3.0)) (/ (* (sqrt 2.0) (pow (fabs x) 3)) 3.0) (* (pow (fabs x) 3) (/ 2.0 (cbrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (/ (pow (fabs x) 3) 3.0) (* (pow (fabs x) 3) 2.0) (expm1 (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (log1p (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) 5/2 5/2 5/2 5/2 5/2 5/2 5/2 5/2 (* (pow (sqrt (fabs x)) 3) (fabs x)) (* (pow (sqrt (fabs x)) 3) (fabs x)) (fma 2 (log (fabs x)) (log (sqrt (fabs x)))) (fma 2 (log (fabs x)) (log (sqrt (fabs x)))) (fma 2 (log (fabs x)) (log (sqrt (fabs x)))) (pow (exp (pow (sqrt (fabs x)) 3)) (fabs x)) (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)) (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)) (* (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x))))) (cbrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)) (sqrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (sqrt (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (* (fabs x) (fabs x)) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (fabs x) (* (fabs x) (fabs (cbrt (fabs x))))) (* (* (fabs x) (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (fabs x)) (pow (sqrt (fabs x)) 3) (expm1 (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log1p (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (fma (log (fabs x)) 4 (+ (log (fabs x)) (log (/ 1.0 5.0)))) (pow (exp (* (/ 1.0 5.0) (fabs x))) (pow (fabs x) 4)) (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3)) (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3)) (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3)) (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3)) (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3)) (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3)) (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3)) (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3)) (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3)) (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3)) (* (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)))) (/ (pow (pow (fabs x) 5) 3) (pow (/ 5.0 1.0) 3)) (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)))) (/ (* (pow (fabs x) 4) 1.0) 5.0) (* (* (cbrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (sqrt (/ 1.0 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (cbrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (cbrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (cbrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ (sqrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (sqrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (sqrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 (cbrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 (sqrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) (pow (fabs x) 4)) (fabs x)) (/ (* (fabs x) (pow (fabs x) 4)) 5.0) (* (* 1.0 (pow (fabs x) 4)) (fabs x)) (* (pow (sqrt (fabs x)) 3) (fabs x)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) 1.900 * * * [progress]: adding candidates to table 2.469 * * [progress]: iteration 3 / 4 2.469 * * * [progress]: picking best candidate 2.495 * * * * [pick]: Picked # 2.495 * * * [progress]: localizing error 2.530 * * * [progress]: generating rewritten candidates 2.530 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1) 2.534 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 2.535 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1 1 2) 2.537 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2) 2.566 * * * [progress]: generating series expansions 2.566 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1) 2.567 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in (x) around 0 2.567 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 2.567 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.567 * [taylor]: Taking taylor expansion of (fabs x) in x 2.567 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 2.567 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.567 * [taylor]: Taking taylor expansion of (fabs x) in x 2.587 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in (x) around 0 2.587 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 2.587 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.587 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.588 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 2.588 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.588 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.605 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in (x) around 0 2.605 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 2.605 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.605 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.606 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 2.606 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.606 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.623 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 2.623 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1 1 2) 2.623 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs x)) 3) in (x) around 0 2.623 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs x)) 3) in x 2.623 * [taylor]: Taking taylor expansion of (sqrt (fabs x)) in x 2.623 * [taylor]: Taking taylor expansion of (fabs x) in x 2.623 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs x)) 3) in x 2.623 * [taylor]: Taking taylor expansion of (sqrt (fabs x)) in x 2.623 * [taylor]: Taking taylor expansion of (fabs x) in x 2.634 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 3) in (x) around 0 2.634 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 3) in x 2.634 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ 1 x))) in x 2.634 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.634 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ 1 x))) 3) in x 2.634 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ 1 x))) in x 2.634 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.645 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 3) in (x) around 0 2.645 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 3) in x 2.645 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ -1 x))) in x 2.645 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.646 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (/ -1 x))) 3) in x 2.646 * [taylor]: Taking taylor expansion of (sqrt (fabs (/ -1 x))) in x 2.646 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.657 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2) 2.658 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 2.658 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 2.658 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.658 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.658 * [taylor]: Taking taylor expansion of (fabs x) in x 2.658 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 2.658 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.658 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.658 * [taylor]: Taking taylor expansion of (fabs x) in x 2.675 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 2.675 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 2.675 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.675 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.675 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.675 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 2.675 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.675 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.675 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.690 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 2.690 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 2.690 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.690 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.690 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.691 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 2.691 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.691 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.691 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.705 * * * [progress]: simplifying candidates 2.707 * [simplify]: Simplifying using # : (expm1 (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (log1p (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (log (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (exp (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (cbrt (pow (fabs x) 6)) (cbrt (pow (sqrt (fabs x)) 3)) (* (cbrt (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (cbrt (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3))))) (cbrt (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (* (* (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3))) (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (sqrt (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (sqrt (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (pow (sqrt (fabs x)) 3)) (log1p (pow (sqrt (fabs x)) 3)) (* (log (sqrt (fabs x))) 3) (* (log (sqrt (fabs x))) 3) (* 1/2 3) (* 1 3) (* (/ 1 2) 3) (pow (sqrt (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (sqrt (fabs x)) (sqrt 3)) (pow (sqrt (fabs x)) 1) (pow (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))) 3) (pow (cbrt (sqrt (fabs x))) 3) (pow (sqrt (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (sqrt (cbrt (fabs x))) 3) (pow (sqrt (sqrt (fabs x))) 3) (pow (sqrt (sqrt (fabs x))) 3) (pow (sqrt 1) 3) (pow (sqrt (fabs x)) 3) (pow (sqrt (sqrt (fabs x))) 3) (pow (sqrt (sqrt (fabs x))) 3) (pow 1 3) (pow (sqrt (fabs x)) 3) (* (sqrt (fabs x)) (sqrt (fabs x))) (log (pow (sqrt (fabs x)) 3)) (exp (pow (sqrt (fabs x)) 3)) (* (cbrt (pow (sqrt (fabs x)) 3)) (cbrt (pow (sqrt (fabs x)) 3))) (cbrt (pow (sqrt (fabs x)) 3)) (* (* (pow (sqrt (fabs x)) 3) (pow (sqrt (fabs x)) 3)) (pow (sqrt (fabs x)) 3)) (pow (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))) 3) (pow (cbrt (sqrt (fabs x))) 3) (pow (sqrt (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (sqrt (cbrt (fabs x))) 3) (pow (sqrt (sqrt (fabs x))) 3) (pow (sqrt (sqrt (fabs x))) 3) (pow (sqrt 1) 3) (pow (sqrt (fabs x)) 3) (pow (sqrt (sqrt (fabs x))) 3) (pow (sqrt (sqrt (fabs x))) 3) (pow 1 3) (pow (sqrt (fabs x)) 3) (* (sqrt (fabs x)) (sqrt (fabs x))) (/ 3 2) (sqrt (pow (sqrt (fabs x)) 3)) (sqrt (pow (sqrt (fabs x)) 3)) (pow (sqrt (fabs x)) (/ 3 2)) (pow (sqrt (fabs x)) (/ 3 2)) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (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) (* (* (* (* (* (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) 2.713 * * [simplify]: iteration 0 : 435 enodes (cost 649 ) 2.722 * * [simplify]: iteration 1 : 2034 enodes (cost 540 ) 2.782 * * [simplify]: iteration 2 : 5002 enodes (cost 522 ) 2.785 * [simplify]: Simplified to: (expm1 (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (log1p (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (log (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (exp (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (* (fabs x) (fabs x)) (sqrt (fabs x)) (* (cbrt (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (cbrt (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3))))) (cbrt (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)) (sqrt (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (sqrt (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3)))) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (pow (sqrt (fabs x)) 3)) (log1p (pow (sqrt (fabs x)) 3)) (log (pow (sqrt (fabs x)) 3)) (log (pow (sqrt (fabs x)) 3)) 3/2 3 3/2 (pow (sqrt (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (sqrt (fabs x)) (sqrt 3)) (sqrt (fabs x)) (fabs x) (sqrt (fabs x)) (pow (fabs (cbrt (fabs x))) 3) (pow (sqrt (cbrt (fabs x))) 3) (pow (sqrt (fabs x)) 3/2) (pow (sqrt (fabs x)) 3/2) 1 (pow (sqrt (fabs x)) 3) (pow (sqrt (fabs x)) 3/2) (pow (sqrt (fabs x)) 3/2) 1 (pow (sqrt (fabs x)) 3) (fabs x) (log (pow (sqrt (fabs x)) 3)) (exp (pow (sqrt (fabs x)) 3)) (fabs x) (sqrt (fabs x)) (pow (pow (sqrt (fabs x)) 3) 3) (fabs x) (sqrt (fabs x)) (pow (fabs (cbrt (fabs x))) 3) (pow (sqrt (cbrt (fabs x))) 3) (pow (sqrt (fabs x)) 3/2) (pow (sqrt (fabs x)) 3/2) 1 (pow (sqrt (fabs x)) 3) (pow (sqrt (fabs x)) 3/2) (pow (sqrt (fabs x)) 3/2) 1 (pow (sqrt (fabs x)) 3) (fabs x) 3/2 (sqrt (pow (sqrt (fabs x)) 3)) (sqrt (pow (sqrt (fabs x)) 3)) (pow (sqrt (fabs x)) 3/2) (pow (sqrt (fabs x)) 3/2) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3)) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (* (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)))) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (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))) (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0))) (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0))) (/ (* (cbrt 2.0) (pow (fabs x) 3)) (cbrt 3.0)) (/ (* (cbrt 2.0) (pow (fabs x) 3)) (sqrt 3.0)) (/ (* (cbrt 2.0) (pow (fabs x) 3)) 3.0) (/ (* (sqrt 2.0) (pow (fabs x) 3)) (cbrt 3.0)) (/ (* (sqrt 2.0) (pow (fabs x) 3)) (sqrt 3.0)) (/ (* (sqrt 2.0) (pow (fabs x) 3)) 3.0) (* (pow (fabs x) 3) (/ 2.0 (cbrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (/ (pow (fabs x) 3) 3.0) (* (pow (fabs x) 3) 2.0) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (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) (* (* (* (* (* (cbrt (* (pow (fabs x) 6) (pow (sqrt (fabs x)) 3))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) 2.785 * * * [progress]: adding candidates to table 3.312 * * [progress]: iteration 4 / 4 3.312 * * * [progress]: picking best candidate 3.337 * * * * [pick]: Picked # 3.337 * * * [progress]: localizing error 3.374 * * * [progress]: generating rewritten candidates 3.375 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1) 3.382 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 3.383 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1 1 2) 3.388 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2) 3.417 * * * [progress]: generating series expansions 3.417 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1) 3.417 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in (x) around 0 3.417 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 3.417 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 3.417 * [taylor]: Taking taylor expansion of (fabs x) in x 3.418 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 3.418 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 3.418 * [taylor]: Taking taylor expansion of (fabs x) in x 3.440 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in (x) around 0 3.440 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 3.440 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 3.440 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.441 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 3.441 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 3.441 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.457 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in (x) around 0 3.457 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 3.457 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 3.457 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.458 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 3.458 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 3.458 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.475 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 3.475 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1 1 2) 3.475 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in (x) around 0 3.475 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x 3.475 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.475 * [taylor]: Taking taylor expansion of (fabs x) in x 3.475 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x 3.475 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.475 * [taylor]: Taking taylor expansion of (fabs x) in x 3.487 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in (x) around 0 3.487 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x 3.487 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.487 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.488 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x 3.488 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.488 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.500 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in (x) around 0 3.500 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x 3.500 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.500 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.501 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x 3.501 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.501 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.512 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2) 3.513 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 3.513 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 3.513 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.513 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.513 * [taylor]: Taking taylor expansion of (fabs x) in x 3.513 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 3.513 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.513 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 3.513 * [taylor]: Taking taylor expansion of (fabs x) in x 3.530 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 3.530 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 3.530 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.530 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.530 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.530 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 3.530 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.530 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 3.530 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.545 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 3.545 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 3.545 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.545 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.545 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.546 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 3.546 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 3.546 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 3.546 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.560 * * * [progress]: simplifying candidates 3.561 * [simplify]: Simplifying using # : (expm1 (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (log1p (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (log (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (exp (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (cbrt (pow (fabs x) 6)) (cbrt (* (fabs x) (sqrt (fabs x)))) (* (cbrt (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (cbrt (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x))))))) (cbrt (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (* (* (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x))))) (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (sqrt (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (sqrt (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (fabs x) (sqrt (fabs x)))) (log1p (* (fabs x) (sqrt (fabs x)))) (+ 1 1/2) (+ 1 (/ 1 2)) (* (fabs x) (sqrt (fabs x))) (+ (log (fabs x)) (log (sqrt (fabs x)))) (log (* (fabs x) (sqrt (fabs x)))) (exp (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (cbrt (* (fabs x) (sqrt (fabs x)))) (cbrt (* (fabs x) (sqrt (fabs x))))) (cbrt (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))) (sqrt (* (fabs x) (sqrt (fabs x)))) (sqrt (* (fabs x) (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (fabs x) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt 1)) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) 1) (* (cbrt (fabs x)) (sqrt (fabs x))) (* (sqrt (fabs x)) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (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) (* (* (* (* (* (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x))))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) 3.567 * * [simplify]: iteration 0 : 401 enodes (cost 658 ) 3.575 * * [simplify]: iteration 1 : 1879 enodes (cost 552 ) 3.617 * * [simplify]: iteration 2 : 5002 enodes (cost 519 ) 3.620 * [simplify]: Simplified to: (expm1 (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (log1p (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (log (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (exp (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (* (fabs x) (fabs x)) (sqrt (fabs x)) (* (cbrt (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (cbrt (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x))))))) (cbrt (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (* (sqrt (fabs x)) (pow (fabs x) 7)) (sqrt (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (sqrt (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x)))))) (expm1 (sqrt PI)) (log1p (sqrt PI)) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (sqrt PI) PI) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (expm1 (* (fabs x) (sqrt (fabs x)))) (log1p (* (fabs x) (sqrt (fabs x)))) 3/2 3/2 (pow (sqrt (fabs x)) 3) (* 3 (log (sqrt (fabs x)))) (* 3 (log (sqrt (fabs x)))) (exp (pow (sqrt (fabs x)) 3)) (pow (pow (sqrt (fabs x)) 3) 3) (fabs x) (sqrt (fabs x)) (pow (pow (sqrt (fabs x)) 3) 3) (sqrt (* (fabs x) (sqrt (fabs x)))) (sqrt (* (fabs x) (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (fabs (cbrt (fabs x))) (fabs x)) (* (fabs x) (sqrt (sqrt (fabs x)))) (fabs x) (* (fabs x) (sqrt (sqrt (fabs x)))) (fabs x) (* (cbrt (fabs x)) (sqrt (fabs x))) (fabs x) (pow (sqrt (fabs x)) 3) (expm1 (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (log1p (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (fma 3 (log (fabs x)) (log (/ 2.0 3.0))) (pow (exp (/ 2.0 3.0)) (pow (fabs x) 3)) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (* (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)))) (pow (* (pow (fabs x) 3) (/ 2.0 3.0)) 3) (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))) (* (pow (fabs x) 3) (cbrt (/ 2.0 3.0))) (* (pow (fabs x) 3) (sqrt (/ 2.0 3.0))) (/ (* (cbrt 2.0) (pow (fabs x) 3)) (cbrt 3.0)) (/ (* (cbrt 2.0) (pow (fabs x) 3)) (sqrt 3.0)) (/ (* (cbrt 2.0) (pow (fabs x) 3)) 3.0) (/ (* (sqrt 2.0) (pow (fabs x) 3)) (cbrt 3.0)) (/ (* (sqrt 2.0) (pow (fabs x) 3)) (sqrt 3.0)) (/ (* (sqrt 2.0) (pow (fabs x) 3)) 3.0) (* (pow (fabs x) 3) (/ 2.0 (cbrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 (sqrt 3.0))) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (/ (pow (fabs x) 3) 3.0) (* (pow (fabs x) 3) 2.0) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (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) (* (* (* (* (* (cbrt (* (pow (fabs x) 6) (* (fabs x) (sqrt (fabs x))))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) 3.620 * * * [progress]: adding candidates to table 4.150 * [progress]: [Phase 3 of 3] Extracting. 4.150 * * [regime]: Finding splitpoints for: (# # # # # #) 4.160 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x) 4.160 * * * * [regimes]: Trying to branch on (fabs x) from (# # # # # #) 4.211 * * * * [regimes]: Trying to branch on x from (# # # # # #) 4.259 * * * [regime]: Found split indices: #