16.373 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.050 * * * [progress]: [2/2] Setting up program. 0.054 * [progress]: [Phase 2 of 3] Improving. 0.054 * [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.057 * * [simplify]: iteration 0 : 69 enodes (cost 42 ) 0.059 * * [simplify]: iteration 1 : 231 enodes (cost 42 ) 0.065 * * [simplify]: iteration 2 : 900 enodes (cost 42 ) 0.088 * * [simplify]: iteration 3 : 3753 enodes (cost 42 ) 0.161 * * [simplify]: iteration 4 : 5001 enodes (cost 42 ) 0.161 * [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.162 * * [progress]: iteration 1 / 4 0.162 * * * [progress]: picking best candidate 0.166 * * * * [pick]: Picked # 0.166 * * * [progress]: localizing error 0.191 * * * [progress]: generating rewritten candidates 0.191 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.191 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 0.218 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 0.540 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 0.553 * * * [progress]: generating series expansions 0.553 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.553 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 0.554 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 0.554 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.554 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.554 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.554 * [taylor]: Taking taylor expansion of (fabs x) in x 0.554 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.554 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.554 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.554 * [taylor]: Taking taylor expansion of (fabs x) in x 0.569 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.569 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.569 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.569 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.569 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.569 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.569 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.569 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.569 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.584 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.584 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.584 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.584 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.584 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.584 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.584 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.584 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.584 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.599 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 0.599 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 0.599 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.599 * [taylor]: Taking taylor expansion of 0.2 in x 0.599 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.600 * [taylor]: Taking taylor expansion of (fabs x) in x 0.600 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.600 * [taylor]: Taking taylor expansion of 0.2 in x 0.600 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.600 * [taylor]: Taking taylor expansion of (fabs x) in x 0.619 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 0.619 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 0.619 * [taylor]: Taking taylor expansion of 0.2 in x 0.619 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 0.619 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.619 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 0.619 * [taylor]: Taking taylor expansion of 0.2 in x 0.619 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 0.619 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.644 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 0.644 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.644 * [taylor]: Taking taylor expansion of 0.2 in x 0.644 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.644 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.644 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.644 * [taylor]: Taking taylor expansion of 0.2 in x 0.644 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.644 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.664 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 0.665 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.665 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.665 * [taylor]: Taking taylor expansion of (fabs x) in x 0.665 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.665 * [taylor]: Taking taylor expansion of (fabs x) in x 0.673 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.673 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.673 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.673 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.673 * [taylor]: Taking taylor expansion of (fabs (/ 1 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 * * * [progress]: simplifying candidates 0.693 * [simplify]: Simplifying using # : (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (+ (- (log 2.0) (log 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (- (log 2.0) (log 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (+ (log (* (fabs x) (fabs x))) (log (fabs x)))) (+ (log (/ 2.0 3.0)) (log (* (* (fabs x) (fabs x)) (fabs x)))) (log (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (exp (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ 2.0 3.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (sqrt (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 2.0 3.0) (* (fabs x) (fabs x))) (* (cbrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (sqrt (/ 2.0 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (cbrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ (sqrt 2.0) 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (cbrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 (sqrt 3.0)) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1 3.0) (* (* (fabs x) (fabs x)) (fabs x))) (* 2.0 (* (* (fabs x) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 0.701 * * [simplify]: iteration 0 : 629 enodes (cost 1132 ) 0.712 * * [simplify]: iteration 1 : 2659 enodes (cost 763 ) 0.756 * * [simplify]: iteration 2 : 5001 enodes (cost 731 ) 0.760 * [simplify]: Simplified to: (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)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (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) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (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) 1) (pow (fabs x) 5)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (/ (* (pow (fabs x) 4) (fabs x)) 5.0) (* (* 1.0 (pow (fabs x) 4)) (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.760 * * * [progress]: adding candidates to table 1.190 * * [progress]: iteration 2 / 4 1.190 * * * [progress]: picking best candidate 1.200 * * * * [pick]: Picked # 1.200 * * * [progress]: localizing error 1.235 * * * [progress]: generating rewritten candidates 1.236 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.236 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1) 1.246 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 1.272 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 1.314 * * * [progress]: generating series expansions 1.314 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.314 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1) 1.314 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in (x) around 0 1.314 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 1.314 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.314 * [taylor]: Taking taylor expansion of (fabs x) in x 1.315 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 1.315 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 1.315 * [taylor]: Taking taylor expansion of (fabs x) in x 1.331 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in (x) around 0 1.331 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 1.331 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.331 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.332 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 1.332 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 1.332 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.349 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in (x) around 0 1.349 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 1.349 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.349 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.350 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 1.350 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 1.350 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.366 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 1.367 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 1.367 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.367 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.367 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.367 * [taylor]: Taking taylor expansion of (fabs x) in x 1.367 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.367 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.367 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.367 * [taylor]: Taking taylor expansion of (fabs x) in x 1.382 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 1.382 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.382 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.382 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.382 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.382 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.382 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.382 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.382 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.402 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 1.402 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.402 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.402 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.402 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.402 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.402 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.402 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.402 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.417 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 1.417 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1.417 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.417 * [taylor]: Taking taylor expansion of (fabs x) in x 1.417 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.417 * [taylor]: Taking taylor expansion of (fabs x) in x 1.426 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1.426 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.426 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.426 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.426 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.435 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1.435 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.435 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.435 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.435 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.444 * * * [progress]: simplifying candidates 1.446 * [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)) (+ (+ 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))) (* (/ 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 1) 1/2) 1/2) (+ (+ (+ 1 1) 1/2) (/ 1 2)) (+ (+ (+ 1 1) (/ 1 2)) 1/2) (+ (+ (+ 1 1) (/ 1 2)) (/ 1 2)) (+ (+ 2 1/2) 1/2) (+ (+ 2 1/2) (/ 1 2)) (+ (+ 2 (/ 1 2)) 1/2) (+ (+ 2 (/ 1 2)) (/ 1 2)) (+ (+ (+ 1 1) 1/2) 1/2) (+ (+ (+ 1 1) 1/2) (/ 1 2)) (+ (+ (+ 1 1) (/ 1 2)) 1/2) (+ (+ (+ 1 1) (/ 1 2)) (/ 1 2)) (+ (+ (* 2 1) 1/2) 1/2) (+ (+ (* 2 1) 1/2) (/ 1 2)) (+ (+ (* 2 1) (/ 1 2)) 1/2) (+ (+ (* 2 1) (/ 1 2)) (/ 1 2)) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (sqrt (fabs x)))) (log (sqrt (fabs x)))) (+ (+ (log (* (fabs x) (fabs x))) (log (sqrt (fabs x)))) (log (sqrt (fabs x)))) (+ (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (log (sqrt (fabs x)))) (log (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (exp (* (* (* (fabs x) (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)))) (* (* (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)))) (* (* (sqrt (fabs x)) (sqrt (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)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (cbrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (cbrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))))) (cbrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (sqrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (sqrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt 1)) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) 1) (* (sqrt (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 1.453 * * [simplify]: iteration 0 : 461 enodes (cost 731 ) 1.461 * * [simplify]: iteration 1 : 2155 enodes (cost 515 ) 1.502 * * [simplify]: iteration 2 : 5001 enodes (cost 509 ) 1.505 * [simplify]: Simplified to: (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)) 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)) (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (log (* (* (fabs x) (fabs x)) (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) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (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) 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (* 3 (log (fabs x))) (* 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) (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)) (* (* (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))) (fabs x)) (pow (sqrt (fabs x)) 3)) (* (* (fabs (cbrt (fabs x))) (fabs x)) (pow (sqrt (fabs x)) 3)) (* (* (sqrt (sqrt (fabs x))) (fabs x)) (pow (sqrt (fabs x)) 3)) (* (pow (sqrt (fabs x)) 3) (fabs x)) (* (* (sqrt (sqrt (fabs x))) (fabs x)) (pow (sqrt (fabs x)) 3)) (* (pow (sqrt (fabs x)) 3) (fabs x)) (fabs x) (* (pow (sqrt (fabs x)) 3) (fabs x)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 1.505 * * * [progress]: adding candidates to table 1.948 * * [progress]: iteration 3 / 4 1.948 * * * [progress]: picking best candidate 1.959 * * * * [pick]: Picked # 1.959 * * * [progress]: localizing error 1.990 * * * [progress]: generating rewritten candidates 1.990 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.991 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1) 2.001 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 1) 2.031 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 2.070 * * * [progress]: generating series expansions 2.070 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.070 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1) 2.070 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in (x) around 0 2.070 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 2.070 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.070 * [taylor]: Taking taylor expansion of (fabs x) in x 2.071 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 2.071 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.071 * [taylor]: Taking taylor expansion of (fabs x) in x 2.087 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in (x) around 0 2.088 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 2.088 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.088 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.088 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 2.088 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.088 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.110 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in (x) around 0 2.110 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 2.110 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.110 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.111 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 2.111 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.111 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.127 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 1) 2.128 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 2.128 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 2.128 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.128 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.128 * [taylor]: Taking taylor expansion of (fabs x) in x 2.128 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 2.128 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.128 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.128 * [taylor]: Taking taylor expansion of (fabs x) in x 2.143 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 2.143 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 2.143 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.143 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.143 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.143 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 2.143 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.143 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.143 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.158 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 2.159 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 2.159 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.159 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.159 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.159 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 2.159 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.159 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.159 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.173 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 2.173 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 2.173 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.173 * [taylor]: Taking taylor expansion of (fabs x) in x 2.174 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.174 * [taylor]: Taking taylor expansion of (fabs x) in x 2.182 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 2.182 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.182 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.182 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.182 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.196 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 2.196 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.196 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.196 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.196 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.205 * * * [progress]: simplifying candidates 2.207 * [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)) (+ (+ 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))) (* (/ 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 1) 1/2) 1/2) (+ (+ (+ 1 1) 1/2) (/ 1 2)) (+ (+ (+ 1 1) (/ 1 2)) 1/2) (+ (+ (+ 1 1) (/ 1 2)) (/ 1 2)) (+ (+ 2 1/2) 1/2) (+ (+ 2 1/2) (/ 1 2)) (+ (+ 2 (/ 1 2)) 1/2) (+ (+ 2 (/ 1 2)) (/ 1 2)) (+ (+ (+ 1 1) 1/2) 1/2) (+ (+ (+ 1 1) 1/2) (/ 1 2)) (+ (+ (+ 1 1) (/ 1 2)) 1/2) (+ (+ (+ 1 1) (/ 1 2)) (/ 1 2)) (+ (+ (* 2 1) 1/2) 1/2) (+ (+ (* 2 1) 1/2) (/ 1 2)) (+ (+ (* 2 1) (/ 1 2)) 1/2) (+ (+ (* 2 1) (/ 1 2)) (/ 1 2)) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (sqrt (fabs x)))) (log (sqrt (fabs x)))) (+ (+ (log (* (fabs x) (fabs x))) (log (sqrt (fabs x)))) (log (sqrt (fabs x)))) (+ (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (log (sqrt (fabs x)))) (log (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (exp (* (* (* (fabs x) (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)))) (* (* (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)))) (* (* (sqrt (fabs x)) (sqrt (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)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (cbrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (cbrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))))) (cbrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (sqrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (sqrt (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt 1)) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (sqrt (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (sqrt (fabs x))) 1) (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 2.214 * * [simplify]: iteration 0 : 461 enodes (cost 725 ) 2.223 * * [simplify]: iteration 1 : 2155 enodes (cost 510 ) 2.263 * * [simplify]: iteration 2 : 5001 enodes (cost 504 ) 2.266 * [simplify]: Simplified to: (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)) 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)) (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (log (* (* (fabs x) (fabs x)) (sqrt (fabs x)))) (log (* (* (fabs x) (fabs x)) (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) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (+ (log (/ 2.0 3.0)) (log (pow (fabs x) 3))) (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) 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (* 3 (log (fabs x))) (* 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) (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)) (* (* (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))) (fabs x)) (pow (sqrt (fabs x)) 3)) (* (* (fabs (cbrt (fabs x))) (fabs x)) (pow (sqrt (fabs x)) 3)) (* (* (sqrt (sqrt (fabs x))) (fabs x)) (pow (sqrt (fabs x)) 3)) (* (pow (sqrt (fabs x)) 3) (fabs x)) (* (* (sqrt (sqrt (fabs x))) (fabs x)) (pow (sqrt (fabs x)) 3)) (* (pow (sqrt (fabs x)) 3) (fabs x)) (fabs x) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 2.267 * * * [progress]: adding candidates to table 2.738 * * [progress]: iteration 4 / 4 2.738 * * * [progress]: picking best candidate 2.743 * * * * [pick]: Picked # 2.743 * * * [progress]: localizing error 2.776 * * * [progress]: generating rewritten candidates 2.776 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 2.777 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1) 2.804 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1 2) 2.810 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1 1) 2.821 * * * [progress]: generating series expansions 2.821 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.822 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1) 2.822 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in (x) around 0 2.822 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 2.822 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.822 * [taylor]: Taking taylor expansion of (fabs x) in x 2.823 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 5)) in x 2.823 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.823 * [taylor]: Taking taylor expansion of (fabs x) in x 2.839 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in (x) around 0 2.839 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 2.839 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.839 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.840 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 5)) in x 2.840 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.840 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.857 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in (x) around 0 2.857 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 2.857 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.857 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.858 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 5)) in x 2.858 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.858 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.880 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1 2) 2.880 * [approximate]: Taking taylor expansion of (pow (pow (fabs x) 5) 1/4) in (x) around 0 2.880 * [taylor]: Taking taylor expansion of (pow (pow (fabs x) 5) 1/4) in x 2.880 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs x) 5)))) in x 2.880 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs x) 5))) in x 2.880 * [taylor]: Taking taylor expansion of 1/4 in x 2.880 * [taylor]: Taking taylor expansion of (log (pow (fabs x) 5)) in x 2.880 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.880 * [taylor]: Taking taylor expansion of (fabs x) in x 2.881 * [taylor]: Taking taylor expansion of (pow (pow (fabs x) 5) 1/4) in x 2.881 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs x) 5)))) in x 2.881 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs x) 5))) in x 2.881 * [taylor]: Taking taylor expansion of 1/4 in x 2.881 * [taylor]: Taking taylor expansion of (log (pow (fabs x) 5)) in x 2.881 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 2.881 * [taylor]: Taking taylor expansion of (fabs x) in x 2.929 * [approximate]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 5) 1/4) in (x) around 0 2.929 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 5) 1/4) in x 2.929 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (/ 1 x)) 5)))) in x 2.929 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (/ 1 x)) 5))) in x 2.929 * [taylor]: Taking taylor expansion of 1/4 in x 2.929 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ 1 x)) 5)) in x 2.929 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.929 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.930 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 5) 1/4) in x 2.930 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (/ 1 x)) 5)))) in x 2.930 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (/ 1 x)) 5))) in x 2.930 * [taylor]: Taking taylor expansion of 1/4 in x 2.930 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ 1 x)) 5)) in x 2.930 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 2.930 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.984 * [approximate]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 5) 1/4) in (x) around 0 2.984 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 5) 1/4) in x 2.984 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (/ -1 x)) 5)))) in x 2.984 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (/ -1 x)) 5))) in x 2.984 * [taylor]: Taking taylor expansion of 1/4 in x 2.984 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ -1 x)) 5)) in x 2.985 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.985 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.985 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 5) 1/4) in x 2.985 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (/ -1 x)) 5)))) in x 2.985 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (/ -1 x)) 5))) in x 2.985 * [taylor]: Taking taylor expansion of 1/4 in x 2.985 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ -1 x)) 5)) in x 2.985 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 2.985 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.034 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1 1) 3.034 * [approximate]: Taking taylor expansion of (pow (pow (fabs x) 5) 1/4) in (x) around 0 3.034 * [taylor]: Taking taylor expansion of (pow (pow (fabs x) 5) 1/4) in x 3.034 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs x) 5)))) in x 3.034 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs x) 5))) in x 3.034 * [taylor]: Taking taylor expansion of 1/4 in x 3.034 * [taylor]: Taking taylor expansion of (log (pow (fabs x) 5)) in x 3.034 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 3.034 * [taylor]: Taking taylor expansion of (fabs x) in x 3.034 * [taylor]: Taking taylor expansion of (pow (pow (fabs x) 5) 1/4) in x 3.034 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs x) 5)))) in x 3.034 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs x) 5))) in x 3.034 * [taylor]: Taking taylor expansion of 1/4 in x 3.034 * [taylor]: Taking taylor expansion of (log (pow (fabs x) 5)) in x 3.034 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 3.034 * [taylor]: Taking taylor expansion of (fabs x) in x 3.087 * [approximate]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 5) 1/4) in (x) around 0 3.087 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 5) 1/4) in x 3.087 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (/ 1 x)) 5)))) in x 3.087 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (/ 1 x)) 5))) in x 3.087 * [taylor]: Taking taylor expansion of 1/4 in x 3.087 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ 1 x)) 5)) in x 3.087 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 3.087 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.088 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 5) 1/4) in x 3.088 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (/ 1 x)) 5)))) in x 3.088 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (/ 1 x)) 5))) in x 3.088 * [taylor]: Taking taylor expansion of 1/4 in x 3.088 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ 1 x)) 5)) in x 3.088 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 3.088 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 3.136 * [approximate]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 5) 1/4) in (x) around 0 3.136 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 5) 1/4) in x 3.136 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (/ -1 x)) 5)))) in x 3.136 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (/ -1 x)) 5))) in x 3.136 * [taylor]: Taking taylor expansion of 1/4 in x 3.136 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ -1 x)) 5)) in x 3.136 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 3.136 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.137 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 5) 1/4) in x 3.137 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (fabs (/ -1 x)) 5)))) in x 3.137 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (fabs (/ -1 x)) 5))) in x 3.137 * [taylor]: Taking taylor expansion of 1/4 in x 3.137 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ -1 x)) 5)) in x 3.137 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 3.137 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 3.191 * * * [progress]: simplifying candidates 3.193 * [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)) (+ (+ 1 (/ 1/2 2)) (+ 1 (/ 1/2 2))) (+ (+ 1 (/ 1/2 2)) (+ 1 (/ (/ 1 2) 2))) (+ (+ 1 (/ (/ 1 2) 2)) (+ 1 (/ 1/2 2))) (+ (+ 1 (/ (/ 1 2) 2)) (+ 1 (/ (/ 1 2) 2))) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (fabs x) (fabs x)) (* (fabs x) (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) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x))))) (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x))))) (+ 1 1) (+ 1 1) (+ (+ (log (fabs x)) (log (sqrt (sqrt (fabs x))))) (+ (log (fabs x)) (log (sqrt (sqrt (fabs x)))))) (+ (+ (log (fabs x)) (log (sqrt (sqrt (fabs x))))) (log (* (fabs x) (sqrt (sqrt (fabs x)))))) (+ (log (* (fabs x) (sqrt (sqrt (fabs x))))) (+ (log (fabs x)) (log (sqrt (sqrt (fabs x)))))) (+ (log (* (fabs x) (sqrt (sqrt (fabs x))))) (log (* (fabs x) (sqrt (sqrt (fabs x)))))) (log (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))))) (exp (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (sqrt (fabs x))) (sqrt (sqrt (fabs x)))) (sqrt (sqrt (fabs x))))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (sqrt (fabs x))) (sqrt (sqrt (fabs x)))) (sqrt (sqrt (fabs x)))))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (sqrt (fabs x))) (sqrt (sqrt (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) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x))))) (* (fabs x) (sqrt (sqrt (fabs x))))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (sqrt (fabs x))) (sqrt (sqrt (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) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x))))) (* (fabs x) (sqrt (sqrt (fabs x)))))) (* (cbrt (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))))) (cbrt (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x))))))) (cbrt (* (* (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) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))))) (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))))) (sqrt (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))))) (sqrt (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))))) (* (fabs x) (fabs x)) (* (sqrt (sqrt (fabs x))) (sqrt (sqrt (fabs x)))) (* 2 (+ 1 (/ 1/2 2))) (* 2 (+ 1 (/ (/ 1 2) 2))) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* (fabs x) (sqrt (sqrt (fabs x)))) (fabs x)) (* (sqrt (sqrt (fabs x))) (* (fabs x) (sqrt (sqrt (fabs x))))) (+ 1 (/ 1/2 2)) (+ 1 (/ (/ 1 2) 2)) (* (fabs x) (sqrt (sqrt (fabs x)))) (+ (log (fabs x)) (log (sqrt (sqrt (fabs x))))) (log (* (fabs x) (sqrt (sqrt (fabs x))))) (exp (* (fabs x) (sqrt (sqrt (fabs x))))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (sqrt (fabs x))) (sqrt (sqrt (fabs x)))) (sqrt (sqrt (fabs x))))) (* (cbrt (* (fabs x) (sqrt (sqrt (fabs x))))) (cbrt (* (fabs x) (sqrt (sqrt (fabs x)))))) (cbrt (* (fabs x) (sqrt (sqrt (fabs x))))) (* (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x))))) (* (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 (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (fabs x) (* (cbrt (sqrt (sqrt (fabs x)))) (cbrt (sqrt (sqrt (fabs x)))))) (* (fabs x) (sqrt (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))))) (* (fabs x) (sqrt (sqrt (* (cbrt (fabs x)) (cbrt (fabs x)))))) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (* (fabs x) (sqrt (sqrt 1))) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (* (fabs x) (sqrt 1)) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (* (fabs x) 1) (* (cbrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (+ 1 (/ 1/2 2)) (+ 1 (/ (/ 1 2) 2)) (* (fabs x) (sqrt (sqrt (fabs x)))) (+ (log (fabs x)) (log (sqrt (sqrt (fabs x))))) (log (* (fabs x) (sqrt (sqrt (fabs x))))) (exp (* (fabs x) (sqrt (sqrt (fabs x))))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (sqrt (fabs x))) (sqrt (sqrt (fabs x)))) (sqrt (sqrt (fabs x))))) (* (cbrt (* (fabs x) (sqrt (sqrt (fabs x))))) (cbrt (* (fabs x) (sqrt (sqrt (fabs x)))))) (cbrt (* (fabs x) (sqrt (sqrt (fabs x))))) (* (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x))))) (* (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 (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (fabs x) (* (cbrt (sqrt (sqrt (fabs x)))) (cbrt (sqrt (sqrt (fabs x)))))) (* (fabs x) (sqrt (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x)))))) (* (fabs x) (sqrt (sqrt (* (cbrt (fabs x)) (cbrt (fabs x)))))) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (* (fabs x) (sqrt (sqrt 1))) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (* (fabs x) (sqrt 1)) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (* (fabs x) 1) (* (cbrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (pow (pow (fabs x) 5) 1/4) (pow (pow (fabs x) 5) 1/4) (pow (pow (fabs x) 5) 1/4) (pow (pow (fabs x) 5) 1/4) (pow (pow (fabs x) 5) 1/4) (pow (pow (fabs x) 5) 1/4) 3.198 * * [simplify]: iteration 0 : 205 enodes (cost 714 ) 3.202 * * [simplify]: iteration 1 : 767 enodes (cost 586 ) 3.220 * * [simplify]: iteration 2 : 3140 enodes (cost 565 ) 3.296 * * [simplify]: iteration 3 : 5001 enodes (cost 553 ) 3.299 * [simplify]: Simplified to: (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)) 5/2 5/2 5/2 5/2 2 2 2 2 (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (pow (sqrt (fabs x)) 3) (fabs x)) (* (pow (sqrt (fabs x)) 3) (fabs x)) (* (pow (sqrt (fabs x)) 3) (fabs x)) (* (pow (sqrt (fabs x)) 3) (fabs x)) 2 2 (* 2 (log (* (fabs x) (sqrt (sqrt (fabs x)))))) (* 2 (log (* (fabs x) (sqrt (sqrt (fabs x)))))) (* 2 (log (* (fabs x) (sqrt (sqrt (fabs x)))))) (* 2 (log (* (fabs x) (sqrt (sqrt (fabs x)))))) (* 2 (log (* (fabs x) (sqrt (sqrt (fabs x)))))) (pow (exp (fabs x)) (pow (sqrt (fabs x)) 3)) (pow (* (fabs x) (sqrt (sqrt (fabs x)))) 6) (pow (* (fabs x) (sqrt (sqrt (fabs x)))) 6) (pow (* (fabs x) (sqrt (sqrt (fabs x)))) 6) (pow (* (fabs x) (sqrt (sqrt (fabs x)))) 6) (* (cbrt (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))))) (cbrt (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x))))))) (cbrt (* (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt (sqrt (fabs x)))))) (pow (* (fabs x) (sqrt (sqrt (fabs x)))) 6) (fabs (* (fabs x) (sqrt (sqrt (fabs x))))) (fabs (* (fabs x) (sqrt (sqrt (fabs x))))) (* (fabs x) (fabs x)) (sqrt (fabs x)) 5/2 5/2 2 2 2 2 (* (fabs x) (pow (sqrt (sqrt (fabs x))) 5)) (pow (sqrt (fabs x)) 3) 5/4 5/4 (pow (sqrt (sqrt (fabs x))) 5) (log (* (fabs x) (sqrt (sqrt (fabs x))))) (log (* (fabs x) (sqrt (sqrt (fabs x))))) (exp (* (fabs x) (sqrt (sqrt (fabs x))))) (pow (pow (sqrt (sqrt (fabs x))) 5) 3) (* (cbrt (* (fabs x) (sqrt (sqrt (fabs x))))) (cbrt (* (fabs x) (sqrt (sqrt (fabs x)))))) (cbrt (* (fabs x) (sqrt (sqrt (fabs x))))) (pow (pow (sqrt (sqrt (fabs x))) 5) 3) (sqrt (* (fabs x) (sqrt (sqrt (fabs x))))) (sqrt (* (fabs x) (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (fabs x) (* (cbrt (sqrt (sqrt (fabs x)))) (cbrt (sqrt (sqrt (fabs x)))))) (* (fabs (cbrt (sqrt (fabs x)))) (fabs x)) (* (fabs x) (sqrt (sqrt (* (cbrt (fabs x)) (cbrt (fabs x)))))) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (fabs x) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (fabs x) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (fabs x) (* (cbrt (fabs x)) (sqrt (sqrt (fabs x)))) (pow (sqrt (sqrt (fabs x))) 3) (pow (sqrt (sqrt (fabs x))) 5) 5/4 5/4 (pow (sqrt (sqrt (fabs x))) 5) (log (* (fabs x) (sqrt (sqrt (fabs x))))) (log (* (fabs x) (sqrt (sqrt (fabs x))))) (exp (* (fabs x) (sqrt (sqrt (fabs x))))) (pow (pow (sqrt (sqrt (fabs x))) 5) 3) (* (cbrt (* (fabs x) (sqrt (sqrt (fabs x))))) (cbrt (* (fabs x) (sqrt (sqrt (fabs x)))))) (cbrt (* (fabs x) (sqrt (sqrt (fabs x))))) (pow (pow (sqrt (sqrt (fabs x))) 5) 3) (sqrt (* (fabs x) (sqrt (sqrt (fabs x))))) (sqrt (* (fabs x) (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (sqrt (fabs x)) (sqrt (sqrt (sqrt (fabs x))))) (* (fabs x) (* (cbrt (sqrt (sqrt (fabs x)))) (cbrt (sqrt (sqrt (fabs x)))))) (* (fabs (cbrt (sqrt (fabs x)))) (fabs x)) (* (fabs x) (sqrt (sqrt (* (cbrt (fabs x)) (cbrt (fabs x)))))) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (fabs x) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (fabs x) (* (fabs x) (sqrt (sqrt (sqrt (fabs x))))) (fabs x) (* (cbrt (fabs x)) (sqrt (sqrt (fabs x)))) (pow (sqrt (sqrt (fabs x))) 3) (pow (sqrt (sqrt (fabs x))) 5) (pow (sqrt (sqrt (fabs x))) 5) (pow (sqrt (sqrt (fabs x))) 5) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (sqrt (pow (fabs x) 5)) (pow (pow (fabs x) 5) 1/4) (pow (pow (fabs x) 5) 1/4) (pow (pow (fabs x) 5) 1/4) (pow (pow (fabs x) 5) 1/4) (pow (pow (fabs x) 5) 1/4) (pow (pow (fabs x) 5) 1/4) 3.300 * * * [progress]: adding candidates to table 3.783 * [progress]: [Phase 3 of 3] Extracting. 3.783 * * [regime]: Finding splitpoints for: (# # #) 3.788 * * * [regime-changes]: Trying 5 branch expressions: ((fabs x) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) x) 3.788 * * * * [regimes]: Trying to branch on (fabs x) from (# # #) 3.818 * * * * [regimes]: Trying to branch on (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) from (# # #) 3.853 * * * * [regimes]: Trying to branch on (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) from (# # #) 3.887 * * * * [regimes]: Trying to branch on (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) from (# # #) 3.928 * * * * [regimes]: Trying to branch on x from (# # #) 3.954 * * * [regime]: Found split indices: #