22.041 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.044 * * * [progress]: [2/2] Setting up program. 0.048 * [progress]: [Phase 2 of 3] Improving. 0.048 * [simplify]: Simplifying using # : (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) 0.048 * [simplify]: Sending expressions to egg_math: (fabs (* (/ h0 (sqrt h1)) (+ (+ (+ (* h2 (fabs h3)) (* (/ h2 h4) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ h0 h5) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (fabs h3)) (fabs h3)))) (* (/ h0 h6) (* (* (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (fabs h3)) (fabs h3)) (fabs h3)) (fabs h3)))))) 0.051 * * [simplify]: iteration 0 : 69 enodes (cost 42 ) 0.053 * * [simplify]: iteration 1 : 231 enodes (cost 42 ) 0.059 * * [simplify]: iteration 2 : 900 enodes (cost 42 ) 0.083 * * [simplify]: iteration 3 : 3753 enodes (cost 42 ) 0.154 * * [simplify]: iteration 4 : 5001 enodes (cost 42 ) 0.155 * [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.155 * * [progress]: iteration 1 / 4 0.155 * * * [progress]: picking best candidate 0.159 * * * * [pick]: Picked # 0.159 * * * [progress]: localizing error 0.190 * * * [progress]: generating rewritten candidates 0.190 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.191 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 0.249 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 0.266 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 0.287 * * * [progress]: generating series expansions 0.288 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.288 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 0.288 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 0.288 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.288 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.288 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.288 * [taylor]: Taking taylor expansion of (fabs x) in x 0.290 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.290 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.290 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.290 * [taylor]: Taking taylor expansion of (fabs x) in x 0.308 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.308 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.308 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.308 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.308 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.308 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.308 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.308 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.308 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.322 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.322 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.322 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.322 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.322 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.322 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.322 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.322 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.322 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.335 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 0.336 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.336 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.336 * [taylor]: Taking taylor expansion of (fabs x) in x 0.336 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.336 * [taylor]: Taking taylor expansion of (fabs x) in x 0.344 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.344 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.344 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.344 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.344 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.352 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.353 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.353 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.353 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.353 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.361 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) 0.361 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.361 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.361 * [taylor]: Taking taylor expansion of (fabs x) in x 0.361 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.361 * [taylor]: Taking taylor expansion of (fabs x) in x 0.368 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.368 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.368 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.369 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.369 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.377 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.377 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.377 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.377 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.378 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.386 * * * [progress]: simplifying candidates 0.387 * [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 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)) (+ (+ 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)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 0.388 * [simplify]: Sending expressions to egg_math: (log (sqrt h0)) (exp (sqrt h0)) (* (cbrt (sqrt h0)) (cbrt (sqrt h0))) (cbrt (sqrt h0)) (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (sqrt (* (cbrt h0) (cbrt h0))) (sqrt (cbrt h0)) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (sqrt 1) (sqrt h0) (/ 1 2) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (+ (- (log h1) (log h2)) (+ (+ (log (fabs h3)) (log (fabs h3))) (log (fabs h3)))) (+ (- (log h1) (log h2)) (+ (log (* (fabs h3) (fabs h3))) (log (fabs h3)))) (+ (- (log h1) (log h2)) (log (* (* (fabs h3) (fabs h3)) (fabs h3)))) (+ (log (/ h1 h2)) (+ (+ (log (fabs h3)) (log (fabs h3))) (log (fabs h3)))) (+ (log (/ h1 h2)) (+ (log (* (fabs h3) (fabs h3))) (log (fabs h3)))) (+ (log (/ h1 h2)) (log (* (* (fabs h3) (fabs h3)) (fabs h3)))) (log (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (exp (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ (* (* h1 h1) h1) (* (* h2 h2) h2)) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ (* (* h1 h1) h1) (* (* h2 h2) h2)) (* (* (* (* (fabs h3) (fabs h3)) (* (fabs h3) (fabs h3))) (* (fabs h3) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ (* (* h1 h1) h1) (* (* h2 h2) h2)) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (* (* (/ h1 h2) (/ h1 h2)) (/ h1 h2)) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (* (* (/ h1 h2) (/ h1 h2)) (/ h1 h2)) (* (* (* (* (fabs h3) (fabs h3)) (* (fabs h3) (fabs h3))) (* (fabs h3) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (* (* (/ h1 h2) (/ h1 h2)) (/ h1 h2)) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (cbrt (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (cbrt (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))))) (cbrt (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (* (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (sqrt (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (sqrt (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ h1 h2) (* (fabs h3) (fabs h3))) (* (cbrt (/ h1 h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (sqrt (/ h1 h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (cbrt h1) (cbrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (cbrt h1) (sqrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (cbrt h1) h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (sqrt h1) (cbrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (sqrt h1) (sqrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (sqrt h1) h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 (cbrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 (sqrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ 1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* h1 (* (* (fabs h3) (fabs h3)) (fabs h3))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs h3)) (log (fabs h3))) (log (fabs h3))) (+ (log (* (fabs h3) (fabs h3))) (log (fabs h3))) (log (* (* (fabs h3) (fabs h3)) (fabs h3))) (exp (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (* (fabs h3) (fabs h3))) (* (fabs h3) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3)))) (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (sqrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (sqrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (fabs h3) (sqrt (fabs h3))) (* (fabs h3) (sqrt (fabs h3))) (* (* (fabs h3) (fabs h3)) (* (cbrt (fabs h3)) (cbrt (fabs h3)))) (* (* (fabs h3) (fabs h3)) (sqrt (fabs h3))) (* (* (fabs h3) (fabs h3)) 1) (* (fabs h3) (fabs h3)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs h3)) (log (fabs h3))) (log (fabs h3))) (+ (log (* (fabs h3) (fabs h3))) (log (fabs h3))) (log (* (* (fabs h3) (fabs h3)) (fabs h3))) (exp (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (* (fabs h3) (fabs h3))) (* (fabs h3) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3)))) (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (sqrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (sqrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (fabs h3) (sqrt (fabs h3))) (* (fabs h3) (sqrt (fabs h3))) (* (* (fabs h3) (fabs h3)) (* (cbrt (fabs h3)) (cbrt (fabs h3)))) (* (* (fabs h3) (fabs h3)) (sqrt (fabs h3))) (* (* (fabs h3) (fabs h3)) 1) (* (fabs h3) (fabs h3)) (fabs (* (/ h4 (sqrt h0)) (+ (+ (+ (* h1 (fabs h3)) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ h4 h5) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (fabs h3)) (fabs h3)))) (* (/ h4 h6) (* (* (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (fabs h3)) (fabs h3)) (fabs h3)) (fabs h3)))))) (* h7 (pow (fabs h3) 3)) (* h7 (pow (fabs h3) 3)) (* h7 (pow (fabs h3) 3)) (pow (fabs h3) 3) (pow (fabs h3) 3) (pow (fabs h3) 3) (pow (fabs h3) 3) (pow (fabs h3) 3) (pow (fabs h3) 3) 0.393 * * [simplify]: iteration 0 : 340 enodes (cost 603 ) 0.399 * * [simplify]: iteration 1 : 1373 enodes (cost 426 ) 0.428 * * [simplify]: iteration 2 : 5002 enodes (cost 425 ) 0.430 * [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) 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)) 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)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 0.431 * * * [progress]: adding candidates to table 0.759 * * [progress]: iteration 2 / 4 0.759 * * * [progress]: picking best candidate 0.774 * * * * [pick]: Picked # 0.774 * * * [progress]: localizing error 0.805 * * * [progress]: generating rewritten candidates 0.805 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.806 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 0.863 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 0.881 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2) 0.902 * * * [progress]: generating series expansions 0.902 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.902 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 0.903 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 0.903 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.903 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.903 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.903 * [taylor]: Taking taylor expansion of (fabs x) in x 0.903 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 0.903 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.903 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.903 * [taylor]: Taking taylor expansion of (fabs x) in x 0.916 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 0.916 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.916 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.916 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.916 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.916 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 0.916 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.916 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.916 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.929 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 0.929 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.929 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.929 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.929 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.929 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 0.929 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 0.929 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.929 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.942 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 0.942 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.942 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.942 * [taylor]: Taking taylor expansion of (fabs x) in x 0.943 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.943 * [taylor]: Taking taylor expansion of (fabs x) in x 0.950 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.950 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.950 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.950 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.950 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.961 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.961 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.961 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.961 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.961 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.969 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2) 0.969 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.969 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.969 * [taylor]: Taking taylor expansion of (fabs x) in x 0.969 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.970 * [taylor]: Taking taylor expansion of (fabs x) in x 0.977 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.977 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.977 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.977 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.977 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.985 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.985 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.985 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.985 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.986 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.993 * * * [progress]: simplifying candidates 0.995 * [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 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)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (* (* (fabs x) (fabs x)) (fabs x))) (exp (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (cbrt (* (* (fabs x) (fabs x)) (fabs x)))) (cbrt (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (sqrt (* (* (fabs x) (fabs x)) (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (* (fabs x) (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (fabs x)) 1) (* (fabs x) (fabs x)) (fabs (* (/ 1.0 (sqrt PI)) (+ (+ (+ (* 2.0 (fabs x)) (* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 21.0) (* (* (* (* (pow (pow (fabs x) 3) 1) (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)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 0.995 * [simplify]: Sending expressions to egg_math: (log (sqrt h0)) (exp (sqrt h0)) (* (cbrt (sqrt h0)) (cbrt (sqrt h0))) (cbrt (sqrt h0)) (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (sqrt (* (cbrt h0) (cbrt h0))) (sqrt (cbrt h0)) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (sqrt 1) (sqrt h0) (/ 1 2) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (+ (- (log h1) (log h2)) (+ (+ (log (fabs h3)) (log (fabs h3))) (log (fabs h3)))) (+ (- (log h1) (log h2)) (+ (log (* (fabs h3) (fabs h3))) (log (fabs h3)))) (+ (- (log h1) (log h2)) (log (* (* (fabs h3) (fabs h3)) (fabs h3)))) (+ (log (/ h1 h2)) (+ (+ (log (fabs h3)) (log (fabs h3))) (log (fabs h3)))) (+ (log (/ h1 h2)) (+ (log (* (fabs h3) (fabs h3))) (log (fabs h3)))) (+ (log (/ h1 h2)) (log (* (* (fabs h3) (fabs h3)) (fabs h3)))) (log (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (exp (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ (* (* h1 h1) h1) (* (* h2 h2) h2)) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ (* (* h1 h1) h1) (* (* h2 h2) h2)) (* (* (* (* (fabs h3) (fabs h3)) (* (fabs h3) (fabs h3))) (* (fabs h3) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ (* (* h1 h1) h1) (* (* h2 h2) h2)) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (* (* (/ h1 h2) (/ h1 h2)) (/ h1 h2)) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (* (* (/ h1 h2) (/ h1 h2)) (/ h1 h2)) (* (* (* (* (fabs h3) (fabs h3)) (* (fabs h3) (fabs h3))) (* (fabs h3) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (* (* (/ h1 h2) (/ h1 h2)) (/ h1 h2)) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (cbrt (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (cbrt (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))))) (cbrt (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (* (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (sqrt (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (sqrt (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ h1 h2) (* (fabs h3) (fabs h3))) (* (cbrt (/ h1 h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (sqrt (/ h1 h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (cbrt h1) (cbrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (cbrt h1) (sqrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (cbrt h1) h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (sqrt h1) (cbrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (sqrt h1) (sqrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ (sqrt h1) h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 (cbrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 (sqrt h2)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (/ 1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* h1 (* (* (fabs h3) (fabs h3)) (fabs h3))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs h3)) (log (fabs h3))) (log (fabs h3))) (+ (log (* (fabs h3) (fabs h3))) (log (fabs h3))) (log (* (* (fabs h3) (fabs h3)) (fabs h3))) (exp (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (* (fabs h3) (fabs h3))) (* (fabs h3) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3)))) (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (sqrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (sqrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (fabs h3) (sqrt (fabs h3))) (* (fabs h3) (sqrt (fabs h3))) (* (* (fabs h3) (fabs h3)) (* (cbrt (fabs h3)) (cbrt (fabs h3)))) (* (* (fabs h3) (fabs h3)) (sqrt (fabs h3))) (* (* (fabs h3) (fabs h3)) 1) (* (fabs h3) (fabs h3)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs h3)) (log (fabs h3))) (log (fabs h3))) (+ (log (* (fabs h3) (fabs h3))) (log (fabs h3))) (log (* (* (fabs h3) (fabs h3)) (fabs h3))) (exp (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (* (fabs h3) (fabs h3))) (* (fabs h3) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3)))) (cbrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (* (fabs h3) (fabs h3)) (fabs h3))) (sqrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (sqrt (* (* (fabs h3) (fabs h3)) (fabs h3))) (* (fabs h3) (sqrt (fabs h3))) (* (fabs h3) (sqrt (fabs h3))) (* (* (fabs h3) (fabs h3)) (* (cbrt (fabs h3)) (cbrt (fabs h3)))) (* (* (fabs h3) (fabs h3)) (sqrt (fabs h3))) (* (* (fabs h3) (fabs h3)) 1) (* (fabs h3) (fabs h3)) (fabs (* (/ h4 (sqrt h0)) (+ (+ (+ (* h1 (fabs h3)) (* (/ h1 h2) (* (* (fabs h3) (fabs h3)) (fabs h3)))) (* (/ h4 h5) (* (* (* (* (fabs h3) (fabs h3)) (fabs h3)) (fabs h3)) (fabs h3)))) (* (/ h4 h6) (* (* (* (* (pow (pow (fabs h3) 3) 1) (fabs h3)) (fabs h3)) (fabs h3)) (fabs h3)))))) (* h7 (pow (fabs h3) 3)) (* h7 (pow (fabs h3) 3)) (* h7 (pow (fabs h3) 3)) (pow (fabs h3) 3) (pow (fabs h3) 3) (pow (fabs h3) 3) (pow (fabs h3) 3) (pow (fabs h3) 3) (pow (fabs h3) 3) 1.000 * * [simplify]: iteration 0 : 349 enodes (cost 601 ) 1.007 * * [simplify]: iteration 1 : 1493 enodes (cost 424 ) 1.037 * * [simplify]: iteration 2 : 5002 enodes (cost 423 ) 1.039 * [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) 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) (pow (pow (fabs x) 3) 1/2) (pow (pow (fabs x) 3) 1/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)) 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) (pow (pow (fabs x) 3) 1/2) (pow (pow (fabs x) 3) 1/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) (* (* (* (* (pow (pow (fabs x) 3) 1) (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)) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 1.040 * * * [progress]: adding candidates to table 1.430 * * [progress]: iteration 3 / 4 1.430 * * * [progress]: picking best candidate 1.440 * * * * [pick]: Picked # 1.441 * * * [progress]: localizing error 1.475 * * * [progress]: generating rewritten candidates 1.475 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.476 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 1.483 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 1.540 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 1.562 * * * [progress]: generating series expansions 1.562 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.562 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 1.562 * [approximate]: Taking taylor expansion of (pow (fabs (pow (fabs x) 3/2)) 2) in (x) around 0 1.562 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs x) 3/2)) 2) in x 1.562 * [taylor]: Taking taylor expansion of (fabs (pow (fabs x) 3/2)) in x 1.563 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs x) 3/2)) 2) in x 1.563 * [taylor]: Taking taylor expansion of (fabs (pow (fabs x) 3/2)) in x 1.568 * [approximate]: Taking taylor expansion of (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) in (x) around 0 1.568 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) in x 1.568 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ 1 x)) 3/2)) in x 1.568 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ 1 x)) 3/2)) 2) in x 1.568 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ 1 x)) 3/2)) in x 1.573 * [approximate]: Taking taylor expansion of (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) in (x) around 0 1.573 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) in x 1.573 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ -1 x)) 3/2)) in x 1.573 * [taylor]: Taking taylor expansion of (pow (fabs (pow (fabs (/ -1 x)) 3/2)) 2) in x 1.573 * [taylor]: Taking taylor expansion of (fabs (pow (fabs (/ -1 x)) 3/2)) in x 1.578 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 1.578 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 1.579 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.579 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.579 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.579 * [taylor]: Taking taylor expansion of (fabs x) in x 1.579 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 1.579 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.579 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.579 * [taylor]: Taking taylor expansion of (fabs x) in x 1.591 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 1.591 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.591 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.591 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.591 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.591 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 1.591 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.591 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.591 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.605 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 1.605 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.605 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.605 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.605 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.605 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 1.605 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 1.605 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.605 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.618 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1 1) 1.618 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1.618 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.618 * [taylor]: Taking taylor expansion of (fabs x) in x 1.618 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.618 * [taylor]: Taking taylor expansion of (fabs x) in x 1.629 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1.629 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.629 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.629 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.629 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.637 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1.637 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.637 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.637 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.637 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.645 * * * [progress]: simplifying candidates 1.647 * [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) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (+ 1 1) (+ (log (fabs (pow (fabs x) 3/2))) (log (fabs (pow (fabs x) 3/2)))) (log (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (exp (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (* (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2))) (* (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2)))) (* (cbrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (cbrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))))) (cbrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (* (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (sqrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (sqrt (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))) (* (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2)))) (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2))))) (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2)))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* 1 1) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* (sqrt (fabs (pow (fabs x) 3/2))) (sqrt (fabs (pow (fabs x) 3/2)))) (* 2 1) (* (fabs (pow (fabs x) 3/2)) (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2))))) (* (fabs (pow (fabs x) 3/2)) (sqrt (fabs (pow (fabs x) 3/2)))) (* (fabs (pow (fabs x) 3/2)) 1) (* (cbrt (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2))) (* (sqrt (fabs (pow (fabs x) 3/2))) (fabs (pow (fabs x) 3/2))) (* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (* (/ 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) (+ (+ 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 (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (pow (fabs (pow (fabs x) 3/2)) 2) (pow (fabs (pow (fabs x) 3/2)) 2) (pow (fabs (pow (fabs x) 3/2)) 2) (* 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.647 * [simplify]: Sending expressions to egg_math: (log (sqrt h0)) (exp (sqrt h0)) (* (cbrt (sqrt h0)) (cbrt (sqrt h0))) (cbrt (sqrt h0)) (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (sqrt (* (cbrt h0) (cbrt h0))) (sqrt (cbrt h0)) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (sqrt 1) (sqrt h0) (/ 1 2) (sqrt (sqrt h0)) (sqrt (sqrt h0)) (+ 1 1) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (+ 1 1) (+ (log (fabs (pow (fabs h1) 3/2))) (log (fabs (pow (fabs h1) 3/2)))) (log (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (exp (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (* (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2))) (* (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2)))) (* (cbrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (cbrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))))) (cbrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (* (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (sqrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (sqrt (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2)))) (* (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2)))) (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2))))) (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2)))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* 1 1) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (sqrt (fabs (pow (fabs h1) 3/2)))) (* 2 1) (* (fabs (pow (fabs h1) 3/2)) (* (cbrt (fabs (pow (fabs h1) 3/2))) (cbrt (fabs (pow (fabs h1) 3/2))))) (* (fabs (pow (fabs h1) 3/2)) (sqrt (fabs (pow (fabs h1) 3/2)))) (* (fabs (pow (fabs h1) 3/2)) 1) (* (cbrt (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2))) (* (sqrt (fabs (pow (fabs h1) 3/2))) (fabs (pow (fabs h1) 3/2))) (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1))) (+ (- (log h2) (log h3)) (+ (+ (log (fabs h1)) (log (fabs h1))) (log (fabs h1)))) (+ (- (log h2) (log h3)) (+ (log (* (fabs h1) (fabs h1))) (log (fabs h1)))) (+ (- (log h2) (log h3)) (log (* (* (fabs h1) (fabs h1)) (fabs h1)))) (+ (log (/ h2 h3)) (+ (+ (log (fabs h1)) (log (fabs h1))) (log (fabs h1)))) (+ (log (/ h2 h3)) (+ (log (* (fabs h1) (fabs h1))) (log (fabs h1)))) (+ (log (/ h2 h3)) (log (* (* (fabs h1) (fabs h1)) (fabs h1)))) (log (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (exp (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ (* (* h2 h2) h2) (* (* h3 h3) h3)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ (* (* h2 h2) h2) (* (* h3 h3) h3)) (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ (* (* h2 h2) h2) (* (* h3 h3) h3)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h2 h3) (/ h2 h3)) (/ h2 h3)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h2 h3) (/ h2 h3)) (/ h2 h3)) (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h2 h3) (/ h2 h3)) (/ h2 h3)) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (cbrt (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (cbrt (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1))))) (cbrt (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (* (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (sqrt (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (sqrt (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ h2 h3) (* (fabs h1) (fabs h1))) (* (cbrt (/ h2 h3)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (sqrt (/ h2 h3)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (cbrt h2) (cbrt h3)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (cbrt h2) (sqrt h3)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (cbrt h2) h3) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (sqrt h2) (cbrt h3)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (sqrt h2) (sqrt h3)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ (sqrt h2) h3) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h2 (cbrt h3)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h2 (sqrt h3)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (/ 1 h3) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* h2 (* (* (fabs h1) (fabs h1)) (fabs h1))) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log (fabs h1)) (log (fabs h1))) (log (fabs h1))) (+ (log (* (fabs h1) (fabs h1))) (log (fabs h1))) (log (* (* (fabs h1) (fabs h1)) (fabs h1))) (exp (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (* (fabs h1) (fabs h1))) (* (fabs h1) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1)))) (cbrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (* (fabs h1) (fabs h1)) (fabs h1))) (sqrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (sqrt (* (* (fabs h1) (fabs h1)) (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (* (fabs h1) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) (* (cbrt (fabs h1)) (cbrt (fabs h1)))) (* (* (fabs h1) (fabs h1)) (sqrt (fabs h1))) (* (* (fabs h1) (fabs h1)) 1) (* (fabs h1) (fabs h1)) (fabs (* (/ h4 (sqrt h0)) (+ (+ (+ (* h2 (fabs h1)) (* (/ h2 h3) (* (* (fabs h1) (fabs h1)) (fabs h1)))) (* (/ h4 h5) (* (* (* (* (fabs h1) (fabs h1)) (fabs h1)) (fabs h1)) (fabs h1)))) (* (/ h4 h6) (* (* (* (* (* (fabs (pow (fabs h1) 3/2)) (fabs (pow (fabs h1) 3/2))) (fabs h1)) (fabs h1)) (fabs h1)) (fabs h1)))))) (pow (fabs (pow (fabs h1) 3/2)) 2) (pow (fabs (pow (fabs h1) 3/2)) 2) (pow (fabs (pow (fabs h1) 3/2)) 2) (* h7 (pow (fabs h1) 3)) (* h7 (pow (fabs h1) 3)) (* h7 (pow (fabs h1) 3)) (pow (fabs h1) 3) (pow (fabs h1) 3) (pow (fabs h1) 3) 1.654 * * [simplify]: iteration 0 : 405 enodes (cost 670 ) 1.661 * * [simplify]: iteration 1 : 1675 enodes (cost 507 ) 1.695 * * [simplify]: iteration 2 : 5001 enodes (cost 448 ) 1.697 * [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)) 2 (pow (fabs x) 3) 2 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (pow (fabs x) 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)) (pow (cbrt (fabs (pow (fabs x) 3/2))) 4) (* (cbrt (fabs (pow (fabs x) 3/2))) (cbrt (fabs (pow (fabs x) 3/2)))) (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)) 1 (pow (fabs x) 3) (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)) 2 (* (pow (cbrt (fabs (pow (fabs x) 3/2))) 4) (cbrt (fabs (pow (fabs x) 3/2)))) (pow (sqrt (fabs (pow (fabs x) 3/2))) 3) (fabs (pow (fabs x) 3/2)) (pow (cbrt (fabs (pow (fabs x) 3/2))) 4) (pow (sqrt (fabs (pow (fabs x) 3/2))) 3) (pow (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 (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 (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2))) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (* 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.698 * * * [progress]: adding candidates to table 2.097 * * [progress]: iteration 4 / 4 2.097 * * * [progress]: picking best candidate 2.103 * * * * [pick]: Picked # 2.103 * * * [progress]: localizing error 2.136 * * * [progress]: generating rewritten candidates 2.136 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 2.141 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 2.142 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1) 2.148 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2) 2.209 * * * [progress]: generating series expansions 2.209 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 2.209 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 2.209 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.209 * [taylor]: Taking taylor expansion of (fabs x) in x 2.209 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.209 * [taylor]: Taking taylor expansion of (fabs x) in x 2.217 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 2.217 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.217 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.217 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.217 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.225 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 2.225 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.225 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.225 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.225 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.233 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 2.233 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1) 2.233 * [approximate]: Taking taylor expansion of (pow (pow (fabs x) 3) 3) in (x) around 0 2.233 * [taylor]: Taking taylor expansion of (pow (pow (fabs x) 3) 3) in x 2.233 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.233 * [taylor]: Taking taylor expansion of (fabs x) in x 2.233 * [taylor]: Taking taylor expansion of (pow (pow (fabs x) 3) 3) in x 2.233 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.233 * [taylor]: Taking taylor expansion of (fabs x) in x 2.248 * [approximate]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 3) 3) in (x) around 0 2.248 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 3) 3) in x 2.248 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.248 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.249 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 3) 3) in x 2.249 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.249 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.265 * [approximate]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 3) 3) in (x) around 0 2.265 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 3) 3) in x 2.265 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.265 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.266 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 3) 3) in x 2.266 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.266 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.285 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2) 2.285 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in (x) around 0 2.286 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 2.286 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.286 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.286 * [taylor]: Taking taylor expansion of (fabs x) in x 2.286 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs x) 3)) in x 2.286 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.286 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.286 * [taylor]: Taking taylor expansion of (fabs x) in x 2.298 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in (x) around 0 2.298 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 2.298 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.298 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.298 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.298 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ 1 x)) 3)) in x 2.298 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.299 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.299 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.312 * [approximate]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in (x) around 0 2.312 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 2.312 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.312 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.312 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.312 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (fabs (/ -1 x)) 3)) in x 2.312 * [taylor]: Taking taylor expansion of 0.6666666666666666 in x 2.312 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.312 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.325 * * * [progress]: simplifying candidates 2.327 * [simplify]: Simplifying using # : (log (cbrt (pow (pow (fabs x) 3) 3))) (exp (cbrt (pow (pow (fabs x) 3) 3))) (cbrt (pow (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) 3)) (cbrt (pow (pow (cbrt (fabs x)) 3) 3)) (cbrt (pow (pow (sqrt (fabs x)) 3) 3)) (cbrt (pow (pow (sqrt (fabs x)) 3) 3)) (cbrt (pow (pow 1 3) 3)) (cbrt (pow (pow (fabs x) 3) 3)) (cbrt (pow (* (fabs x) (fabs x)) 3)) (cbrt (pow (fabs x) 3)) (cbrt (pow (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3))) 3)) (cbrt (pow (cbrt (pow (fabs x) 3)) 3)) (cbrt (pow (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) 3)) (cbrt (pow (pow (cbrt (fabs x)) 3) 3)) (cbrt (pow (pow (sqrt (fabs x)) 3) 3)) (cbrt (pow (pow (sqrt (fabs x)) 3) 3)) (cbrt (pow (pow 1 3) 3)) (cbrt (pow (pow (fabs x) 3) 3)) (cbrt (pow (fabs x) 3)) (cbrt (pow (* (fabs x) (fabs x)) 3)) (cbrt (pow (sqrt (pow (fabs x) 3)) 3)) (cbrt (pow (sqrt (pow (fabs x) 3)) 3)) (cbrt (pow 1 3)) (cbrt (pow (pow (fabs x) 3) 3)) (cbrt (pow (pow (fabs x) (/ 3 2)) 3)) (cbrt (pow (pow (fabs x) (/ 3 2)) 3)) (cbrt (* (pow (fabs x) 3) (pow (fabs x) 3))) (cbrt (pow (fabs x) 3)) (cbrt (* (cbrt (pow (pow (fabs x) 3) 3)) (cbrt (pow (pow (fabs x) 3) 3)))) (cbrt (cbrt (pow (pow (fabs x) 3) 3))) (cbrt (pow (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) 3)) (cbrt (pow (pow (cbrt (fabs x)) 3) 3)) (cbrt (pow (pow (sqrt (fabs x)) 3) 3)) (cbrt (pow (pow (sqrt (fabs x)) 3) 3)) (cbrt (pow (pow 1 3) 3)) (cbrt (pow (pow (fabs x) 3) 3)) (cbrt (pow (* (fabs x) (fabs x)) 3)) (cbrt (pow (fabs x) 3)) (cbrt (pow (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3))) 3)) (cbrt (pow (cbrt (pow (fabs x) 3)) 3)) (cbrt (pow (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) 3)) (cbrt (pow (pow (cbrt (fabs x)) 3) 3)) (cbrt (pow (pow (sqrt (fabs x)) 3) 3)) (cbrt (pow (pow (sqrt (fabs x)) 3) 3)) (cbrt (pow (pow 1 3) 3)) (cbrt (pow (pow (fabs x) 3) 3)) (cbrt (pow (fabs x) 3)) (cbrt (pow (* (fabs x) (fabs x)) 3)) (cbrt (pow (sqrt (pow (fabs x) 3)) 3)) (cbrt (pow (sqrt (pow (fabs x) 3)) 3)) (cbrt (pow 1 3)) (cbrt (pow (pow (fabs x) 3) 3)) (cbrt (pow (pow (fabs x) (/ 3 2)) 3)) (cbrt (pow (pow (fabs x) (/ 3 2)) 3)) (cbrt (pow (fabs x) 3)) (cbrt (* (pow (fabs x) 3) (pow (fabs x) 3))) (cbrt (sqrt (pow (pow (fabs x) 3) 3))) (cbrt (sqrt (pow (pow (fabs x) 3) 3))) (cbrt 1) (cbrt (pow (pow (fabs x) 3) 3)) (cbrt (pow (pow (fabs x) 3) (/ 3 2))) (cbrt (pow (pow (fabs x) 3) (/ 3 2))) (* (cbrt (cbrt (pow (pow (fabs x) 3) 3))) (cbrt (cbrt (pow (pow (fabs x) 3) 3)))) (cbrt (cbrt (pow (pow (fabs x) 3) 3))) (* (* (cbrt (pow (pow (fabs x) 3) 3)) (cbrt (pow (pow (fabs x) 3) 3))) (cbrt (pow (pow (fabs x) 3) 3))) (sqrt (cbrt (pow (pow (fabs x) 3) 3))) (sqrt (cbrt (pow (pow (fabs x) 3) 3))) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* (* (log (fabs x)) 3) 3) (* (* (log (fabs x)) 3) 3) (* (log (pow (fabs x) 3)) 3) (* (log (pow (fabs x) 3)) 3) (* 3 3) (pow (pow (fabs x) 3) (* (cbrt 3) (cbrt 3))) (pow (pow (fabs x) 3) (sqrt 3)) (pow (pow (fabs x) 3) 1) (pow (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) 3) (pow (pow (cbrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow 1 3) 3) (pow (pow (fabs x) 3) 3) (pow (* (fabs x) (fabs x)) 3) (pow (fabs x) 3) (pow (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3))) 3) (pow (cbrt (pow (fabs x) 3)) 3) (pow (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) 3) (pow (pow (cbrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow 1 3) 3) (pow (pow (fabs x) 3) 3) (pow (fabs x) 3) (pow (* (fabs x) (fabs x)) 3) (pow (sqrt (pow (fabs x) 3)) 3) (pow (sqrt (pow (fabs x) 3)) 3) (pow 1 3) (pow (pow (fabs x) 3) 3) (pow (pow (fabs x) (/ 3 2)) 3) (pow (pow (fabs x) (/ 3 2)) 3) (* (pow (fabs x) 3) (pow (fabs x) 3)) (log (pow (pow (fabs x) 3) 3)) (exp (pow (pow (fabs x) 3) 3)) (* (cbrt (pow (pow (fabs x) 3) 3)) (cbrt (pow (pow (fabs x) 3) 3))) (cbrt (pow (pow (fabs x) 3) 3)) (* (* (pow (pow (fabs x) 3) 3) (pow (pow (fabs x) 3) 3)) (pow (pow (fabs x) 3) 3)) (pow (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) 3) (pow (pow (cbrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow 1 3) 3) (pow (pow (fabs x) 3) 3) (pow (* (fabs x) (fabs x)) 3) (pow (fabs x) 3) (pow (* (cbrt (pow (fabs x) 3)) (cbrt (pow (fabs x) 3))) 3) (pow (cbrt (pow (fabs x) 3)) 3) (pow (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 3) 3) (pow (pow (cbrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow 1 3) 3) (pow (pow (fabs x) 3) 3) (pow (fabs x) 3) (pow (* (fabs x) (fabs x)) 3) (pow (sqrt (pow (fabs x) 3)) 3) (pow (sqrt (pow (fabs x) 3)) 3) (pow 1 3) (pow (pow (fabs x) 3) 3) (pow (pow (fabs x) (/ 3 2)) 3) (pow (pow (fabs x) (/ 3 2)) 3) (* (pow (fabs x) 3) (pow (fabs x) 3)) (sqrt (pow (pow (fabs x) 3) 3)) (sqrt (pow (pow (fabs x) 3) 3)) (pow (pow (fabs x) 3) (/ 3 2)) (pow (pow (fabs x) 3) (/ 3 2)) (* (/ 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))) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (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 (pow (fabs x) 3) 3)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (pow (fabs x) 9) (pow (fabs x) 9) (pow (fabs x) 9) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) 2.328 * [simplify]: Sending expressions to egg_math: (log (cbrt (pow (pow (fabs h0) 3) 3))) (exp (cbrt (pow (pow (fabs h0) 3) 3))) (cbrt (pow (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3) 3)) (cbrt (pow (pow (cbrt (fabs h0)) 3) 3)) (cbrt (pow (pow (sqrt (fabs h0)) 3) 3)) (cbrt (pow (pow (sqrt (fabs h0)) 3) 3)) (cbrt (pow (pow 1 3) 3)) (cbrt (pow (pow (fabs h0) 3) 3)) (cbrt (pow (* (fabs h0) (fabs h0)) 3)) (cbrt (pow (fabs h0) 3)) (cbrt (pow (* (cbrt (pow (fabs h0) 3)) (cbrt (pow (fabs h0) 3))) 3)) (cbrt (pow (cbrt (pow (fabs h0) 3)) 3)) (cbrt (pow (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3) 3)) (cbrt (pow (pow (cbrt (fabs h0)) 3) 3)) (cbrt (pow (pow (sqrt (fabs h0)) 3) 3)) (cbrt (pow (pow (sqrt (fabs h0)) 3) 3)) (cbrt (pow (pow 1 3) 3)) (cbrt (pow (pow (fabs h0) 3) 3)) (cbrt (pow (fabs h0) 3)) (cbrt (pow (* (fabs h0) (fabs h0)) 3)) (cbrt (pow (sqrt (pow (fabs h0) 3)) 3)) (cbrt (pow (sqrt (pow (fabs h0) 3)) 3)) (cbrt (pow 1 3)) (cbrt (pow (pow (fabs h0) 3) 3)) (cbrt (pow (pow (fabs h0) (/ 3 2)) 3)) (cbrt (pow (pow (fabs h0) (/ 3 2)) 3)) (cbrt (* (pow (fabs h0) 3) (pow (fabs h0) 3))) (cbrt (pow (fabs h0) 3)) (cbrt (* (cbrt (pow (pow (fabs h0) 3) 3)) (cbrt (pow (pow (fabs h0) 3) 3)))) (cbrt (cbrt (pow (pow (fabs h0) 3) 3))) (cbrt (pow (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3) 3)) (cbrt (pow (pow (cbrt (fabs h0)) 3) 3)) (cbrt (pow (pow (sqrt (fabs h0)) 3) 3)) (cbrt (pow (pow (sqrt (fabs h0)) 3) 3)) (cbrt (pow (pow 1 3) 3)) (cbrt (pow (pow (fabs h0) 3) 3)) (cbrt (pow (* (fabs h0) (fabs h0)) 3)) (cbrt (pow (fabs h0) 3)) (cbrt (pow (* (cbrt (pow (fabs h0) 3)) (cbrt (pow (fabs h0) 3))) 3)) (cbrt (pow (cbrt (pow (fabs h0) 3)) 3)) (cbrt (pow (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3) 3)) (cbrt (pow (pow (cbrt (fabs h0)) 3) 3)) (cbrt (pow (pow (sqrt (fabs h0)) 3) 3)) (cbrt (pow (pow (sqrt (fabs h0)) 3) 3)) (cbrt (pow (pow 1 3) 3)) (cbrt (pow (pow (fabs h0) 3) 3)) (cbrt (pow (fabs h0) 3)) (cbrt (pow (* (fabs h0) (fabs h0)) 3)) (cbrt (pow (sqrt (pow (fabs h0) 3)) 3)) (cbrt (pow (sqrt (pow (fabs h0) 3)) 3)) (cbrt (pow 1 3)) (cbrt (pow (pow (fabs h0) 3) 3)) (cbrt (pow (pow (fabs h0) (/ 3 2)) 3)) (cbrt (pow (pow (fabs h0) (/ 3 2)) 3)) (cbrt (pow (fabs h0) 3)) (cbrt (* (pow (fabs h0) 3) (pow (fabs h0) 3))) (cbrt (sqrt (pow (pow (fabs h0) 3) 3))) (cbrt (sqrt (pow (pow (fabs h0) 3) 3))) (cbrt 1) (cbrt (pow (pow (fabs h0) 3) 3)) (cbrt (pow (pow (fabs h0) 3) (/ 3 2))) (cbrt (pow (pow (fabs h0) 3) (/ 3 2))) (* (cbrt (cbrt (pow (pow (fabs h0) 3) 3))) (cbrt (cbrt (pow (pow (fabs h0) 3) 3)))) (cbrt (cbrt (pow (pow (fabs h0) 3) 3))) (* (* (cbrt (pow (pow (fabs h0) 3) 3)) (cbrt (pow (pow (fabs h0) 3) 3))) (cbrt (pow (pow (fabs h0) 3) 3))) (sqrt (cbrt (pow (pow (fabs h0) 3) 3))) (sqrt (cbrt (pow (pow (fabs h0) 3) 3))) (log (sqrt h1)) (exp (sqrt h1)) (* (cbrt (sqrt h1)) (cbrt (sqrt h1))) (cbrt (sqrt h1)) (* (* (sqrt h1) (sqrt h1)) (sqrt h1)) (sqrt (* (cbrt h1) (cbrt h1))) (sqrt (cbrt h1)) (sqrt (sqrt h1)) (sqrt (sqrt h1)) (sqrt 1) (sqrt h1) (/ 1 2) (sqrt (sqrt h1)) (sqrt (sqrt h1)) (* (* (log (fabs h0)) 3) 3) (* (* (log (fabs h0)) 3) 3) (* (log (pow (fabs h0) 3)) 3) (* (log (pow (fabs h0) 3)) 3) (* 3 3) (pow (pow (fabs h0) 3) (* (cbrt 3) (cbrt 3))) (pow (pow (fabs h0) 3) (sqrt 3)) (pow (pow (fabs h0) 3) 1) (pow (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3) 3) (pow (pow (cbrt (fabs h0)) 3) 3) (pow (pow (sqrt (fabs h0)) 3) 3) (pow (pow (sqrt (fabs h0)) 3) 3) (pow (pow 1 3) 3) (pow (pow (fabs h0) 3) 3) (pow (* (fabs h0) (fabs h0)) 3) (pow (fabs h0) 3) (pow (* (cbrt (pow (fabs h0) 3)) (cbrt (pow (fabs h0) 3))) 3) (pow (cbrt (pow (fabs h0) 3)) 3) (pow (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3) 3) (pow (pow (cbrt (fabs h0)) 3) 3) (pow (pow (sqrt (fabs h0)) 3) 3) (pow (pow (sqrt (fabs h0)) 3) 3) (pow (pow 1 3) 3) (pow (pow (fabs h0) 3) 3) (pow (fabs h0) 3) (pow (* (fabs h0) (fabs h0)) 3) (pow (sqrt (pow (fabs h0) 3)) 3) (pow (sqrt (pow (fabs h0) 3)) 3) (pow 1 3) (pow (pow (fabs h0) 3) 3) (pow (pow (fabs h0) (/ 3 2)) 3) (pow (pow (fabs h0) (/ 3 2)) 3) (* (pow (fabs h0) 3) (pow (fabs h0) 3)) (log (pow (pow (fabs h0) 3) 3)) (exp (pow (pow (fabs h0) 3) 3)) (* (cbrt (pow (pow (fabs h0) 3) 3)) (cbrt (pow (pow (fabs h0) 3) 3))) (cbrt (pow (pow (fabs h0) 3) 3)) (* (* (pow (pow (fabs h0) 3) 3) (pow (pow (fabs h0) 3) 3)) (pow (pow (fabs h0) 3) 3)) (pow (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3) 3) (pow (pow (cbrt (fabs h0)) 3) 3) (pow (pow (sqrt (fabs h0)) 3) 3) (pow (pow (sqrt (fabs h0)) 3) 3) (pow (pow 1 3) 3) (pow (pow (fabs h0) 3) 3) (pow (* (fabs h0) (fabs h0)) 3) (pow (fabs h0) 3) (pow (* (cbrt (pow (fabs h0) 3)) (cbrt (pow (fabs h0) 3))) 3) (pow (cbrt (pow (fabs h0) 3)) 3) (pow (pow (* (cbrt (fabs h0)) (cbrt (fabs h0))) 3) 3) (pow (pow (cbrt (fabs h0)) 3) 3) (pow (pow (sqrt (fabs h0)) 3) 3) (pow (pow (sqrt (fabs h0)) 3) 3) (pow (pow 1 3) 3) (pow (pow (fabs h0) 3) 3) (pow (fabs h0) 3) (pow (* (fabs h0) (fabs h0)) 3) (pow (sqrt (pow (fabs h0) 3)) 3) (pow (sqrt (pow (fabs h0) 3)) 3) (pow 1 3) (pow (pow (fabs h0) 3) 3) (pow (pow (fabs h0) (/ 3 2)) 3) (pow (pow (fabs h0) (/ 3 2)) 3) (* (pow (fabs h0) 3) (pow (fabs h0) 3)) (sqrt (pow (pow (fabs h0) 3) 3)) (sqrt (pow (pow (fabs h0) 3) 3)) (pow (pow (fabs h0) 3) (/ 3 2)) (pow (pow (fabs h0) 3) (/ 3 2)) (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0))) (+ (- (log h2) (log h3)) (+ (+ (log (fabs h0)) (log (fabs h0))) (log (fabs h0)))) (+ (- (log h2) (log h3)) (+ (log (* (fabs h0) (fabs h0))) (log (fabs h0)))) (+ (- (log h2) (log h3)) (log (* (* (fabs h0) (fabs h0)) (fabs h0)))) (+ (log (/ h2 h3)) (+ (+ (log (fabs h0)) (log (fabs h0))) (log (fabs h0)))) (+ (log (/ h2 h3)) (+ (log (* (fabs h0) (fabs h0))) (log (fabs h0)))) (+ (log (/ h2 h3)) (log (* (* (fabs h0) (fabs h0)) (fabs h0)))) (log (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (exp (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (/ (* (* h2 h2) h2) (* (* h3 h3) h3)) (* (* (* (* (fabs h0) (fabs h0)) (fabs h0)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (/ (* (* h2 h2) h2) (* (* h3 h3) h3)) (* (* (* (* (fabs h0) (fabs h0)) (* (fabs h0) (fabs h0))) (* (fabs h0) (fabs h0))) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (/ (* (* h2 h2) h2) (* (* h3 h3) h3)) (* (* (* (* (fabs h0) (fabs h0)) (fabs h0)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (* (* (/ h2 h3) (/ h2 h3)) (/ h2 h3)) (* (* (* (* (fabs h0) (fabs h0)) (fabs h0)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (* (* (/ h2 h3) (/ h2 h3)) (/ h2 h3)) (* (* (* (* (fabs h0) (fabs h0)) (* (fabs h0) (fabs h0))) (* (fabs h0) (fabs h0))) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (* (* (/ h2 h3) (/ h2 h3)) (/ h2 h3)) (* (* (* (* (fabs h0) (fabs h0)) (fabs h0)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (cbrt (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (cbrt (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0))))) (cbrt (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (* (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (sqrt (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (sqrt (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (/ h2 h3) (* (fabs h0) (fabs h0))) (* (cbrt (/ h2 h3)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (sqrt (/ h2 h3)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ (cbrt h2) (cbrt h3)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ (cbrt h2) (sqrt h3)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ (cbrt h2) h3) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ (sqrt h2) (cbrt h3)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ (sqrt h2) (sqrt h3)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ (sqrt h2) h3) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ h2 (cbrt h3)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ h2 (sqrt h3)) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* (/ 1 h3) (* (* (fabs h0) (fabs h0)) (fabs h0))) (* h2 (* (* (fabs h0) (fabs h0)) (fabs h0))) (pow (fabs h0) 3) (pow (fabs h0) 3) (pow (fabs h0) 3) (fabs (* (/ h4 (sqrt h1)) (+ (+ (+ (* h2 (fabs h0)) (* (/ h2 h3) (* (* (fabs h0) (fabs h0)) (fabs h0)))) (* (/ h4 h5) (* (* (* (* (fabs h0) (fabs h0)) (fabs h0)) (fabs h0)) (fabs h0)))) (* (/ h4 h6) (* (* (* (* (cbrt (pow (pow (fabs h0) 3) 3)) (fabs h0)) (fabs h0)) (fabs h0)) (fabs h0)))))) (pow (fabs h0) 9) (pow (fabs h0) 9) (pow (fabs h0) 9) (* h7 (pow (fabs h0) 3)) (* h7 (pow (fabs h0) 3)) (* h7 (pow (fabs h0) 3)) 2.334 * * [simplify]: iteration 0 : 459 enodes (cost 687 ) 2.342 * * [simplify]: iteration 1 : 2138 enodes (cost 619 ) 2.405 * * [simplify]: iteration 2 : 5001 enodes (cost 612 ) 2.408 * [simplify]: Simplified to: (log (pow (fabs x) 3)) (exp (pow (fabs x) 3)) (* (fabs x) (fabs x)) (fabs x) (pow (sqrt (fabs x)) 3) (pow (sqrt (fabs x)) 3) 1 (pow (fabs x) 3) (* (fabs x) (fabs x)) (fabs x) (* (fabs x) (fabs x)) (fabs x) (* (fabs x) (fabs x)) (fabs x) (pow (sqrt (fabs x)) 3) (pow (sqrt (fabs x)) 3) 1 (pow (fabs x) 3) (fabs x) (* (fabs x) (fabs x)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) 1 (pow (fabs x) 3) (pow (fabs x) 3/2) (pow (fabs x) 3/2) (* (fabs x) (fabs x)) (fabs x) (* (fabs x) (fabs x)) (fabs x) (* (fabs x) (fabs x)) (fabs x) (pow (sqrt (fabs x)) 3) (pow (sqrt (fabs x)) 3) 1 (pow (fabs x) 3) (* (fabs x) (fabs x)) (fabs x) (* (fabs x) (fabs x)) (fabs x) (* (fabs x) (fabs x)) (fabs x) (pow (sqrt (fabs x)) 3) (pow (sqrt (fabs x)) 3) 1 (pow (fabs x) 3) (fabs x) (* (fabs x) (fabs x)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) 1 (pow (fabs x) 3) (pow (fabs x) 3/2) (pow (fabs x) 3/2) (fabs x) (* (fabs x) (fabs x)) (cbrt (sqrt (pow (pow (fabs x) 3) 3))) (cbrt (sqrt (pow (pow (fabs x) 3) 3))) 1 (pow (fabs x) 3) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (* (fabs x) (fabs x)) (fabs x) (pow (pow (fabs x) 3) 3) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (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)) (* (log (fabs x)) 9) (* (log (fabs x)) 9) (* (log (fabs x)) 9) (* (log (fabs x)) 9) 9 (pow (pow (fabs x) 3) (* (cbrt 3) (cbrt 3))) (pow (pow (fabs x) 3) (sqrt 3)) (pow (fabs x) 3) (pow (fabs x) 6) (pow (fabs x) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) 1 (pow (pow (fabs x) 3) 3) (pow (fabs x) 6) (pow (fabs x) 3) (pow (fabs x) 6) (pow (fabs x) 3) (pow (fabs x) 6) (pow (fabs x) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) 1 (pow (pow (fabs x) 3) 3) (pow (fabs x) 3) (pow (fabs x) 6) (pow (pow (fabs x) 3) 3/2) (pow (pow (fabs x) 3) 3/2) 1 (pow (pow (fabs x) 3) 3) (pow (pow (fabs x) 3/2) 3) (pow (pow (fabs x) 3/2) 3) (pow (fabs x) 6) (* (log (fabs x)) 9) (exp (pow (pow (fabs x) 3) 3)) (pow (fabs x) 6) (pow (fabs x) 3) (pow (pow (pow (fabs x) 3) 3) 3) (pow (fabs x) 6) (pow (fabs x) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) 1 (pow (pow (fabs x) 3) 3) (pow (fabs x) 6) (pow (fabs x) 3) (pow (fabs x) 6) (pow (fabs x) 3) (pow (fabs x) 6) (pow (fabs x) 3) (pow (pow (sqrt (fabs x)) 3) 3) (pow (pow (sqrt (fabs x)) 3) 3) 1 (pow (pow (fabs x) 3) 3) (pow (fabs x) 3) (pow (fabs x) 6) (pow (pow (fabs x) 3) 3/2) (pow (pow (fabs x) 3) 3/2) 1 (pow (pow (fabs x) 3) 3) (pow (pow (fabs x) 3/2) 3) (pow (pow (fabs x) 3/2) 3) (pow (fabs x) 6) (sqrt (pow (pow (fabs x) 3) 3)) (sqrt (pow (pow (fabs x) 3) 3)) (pow (pow (fabs x) 3) 3/2) (pow (pow (fabs x) 3) 3/2) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (* (pow (fabs x) 3) (/ 2.0 3.0)) (- (log (* (pow (fabs x) 3) 2.0)) (log 3.0)) (- (log (* (pow (fabs x) 3) 2.0)) (log 3.0)) (- (log (* (pow (fabs x) 3) 2.0)) (log 3.0)) (- (log (* (pow (fabs x) 3) 2.0)) (log 3.0)) (- (log (* (pow (fabs x) 3) 2.0)) (log 3.0)) (- (log (* (pow (fabs x) 3) 2.0)) (log 3.0)) (- (log (* (pow (fabs x) 3) 2.0)) (log 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) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (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 (pow (fabs x) 3) 3)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (pow (fabs x) 9) (pow (fabs x) 9) (pow (fabs x) 9) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) (* 0.6666666666666666 (pow (fabs x) 3)) 2.409 * * * [progress]: adding candidates to table 2.825 * [progress]: [Phase 3 of 3] Extracting. 2.826 * * [regime]: Finding splitpoints for: (# # # #) 2.831 * * * [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) 2.831 * * * * [regimes]: Trying to branch on (fabs x) from (# # # #) 2.862 * * * * [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 (# # # #) 2.899 * * * * [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 (# # # #) 2.940 * * * * [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 (# # # #) 2.984 * * * * [regimes]: Trying to branch on x from (# # # #) 3.012 * * * [regime]: Found split indices: #