19.997 * [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.051 * * [simplify]: iteration 0 : 69 enodes (cost 42 ) 0.053 * * [simplify]: iteration 1 : 231 enodes (cost 42 ) 0.058 * * [simplify]: iteration 2 : 900 enodes (cost 42 ) 0.082 * * [simplify]: iteration 3 : 3753 enodes (cost 42 ) 0.152 * * [simplify]: iteration 4 : 5001 enodes (cost 42 ) 0.153 * [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.153 * * [progress]: iteration 1 / 4 0.153 * * * [progress]: picking best candidate 0.157 * * * * [pick]: Picked # 0.157 * * * [progress]: localizing error 0.181 * * * [progress]: generating rewritten candidates 0.181 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.182 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 0.188 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 0.194 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2) 0.202 * * * [progress]: generating series expansions 0.202 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.202 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 0.202 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.202 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.202 * [taylor]: Taking taylor expansion of (fabs x) in x 0.202 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.202 * [taylor]: Taking taylor expansion of (fabs x) in x 0.214 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.215 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.215 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.215 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.215 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.223 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.223 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.223 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.223 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.223 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.232 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 0.232 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.232 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.232 * [taylor]: Taking taylor expansion of (fabs x) in x 0.232 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.232 * [taylor]: Taking taylor expansion of (fabs x) in x 0.240 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.240 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.240 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.240 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.241 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.249 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.249 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.249 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.249 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.249 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.258 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2) 0.258 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.258 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.258 * [taylor]: Taking taylor expansion of (fabs x) in x 0.258 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.258 * [taylor]: Taking taylor expansion of (fabs x) in x 0.267 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.267 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.267 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.267 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.267 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.276 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.276 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.276 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.276 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.276 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.284 * * * [progress]: simplifying candidates 0.286 * [simplify]: Simplifying using # : (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 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)) (+ (+ 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)))))) (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) (pow (fabs x) 3) (pow (fabs x) 3) 0.290 * * [simplify]: iteration 0 : 164 enodes (cost 423 ) 0.293 * * [simplify]: iteration 1 : 561 enodes (cost 288 ) 0.305 * * [simplify]: iteration 2 : 2251 enodes (cost 278 ) 0.360 * * [simplify]: iteration 3 : 5001 enodes (cost 260 ) 0.362 * [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)) 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 (fabs x) 9) (pow (fabs x) 9) (pow (fabs x) 2) (fabs x) (pow (fabs x) 9) (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))) (pow (fabs x) 2) (pow (fabs x) 2) 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 (fabs x) 9) (pow (fabs x) 9) (pow (fabs x) 2) (fabs x) (pow (fabs x) 9) (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))) (pow (fabs x) 2) (pow (fabs x) 2) 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 (fabs x) 9) (pow (fabs x) 9) (pow (fabs x) 2) (fabs x) (pow (fabs x) 9) (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))) (pow (fabs x) 2) (pow (fabs x) 2) (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)))))) (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) (pow (fabs x) 3) (pow (fabs x) 3) 0.363 * * * [progress]: adding candidates to table 0.649 * * [progress]: iteration 2 / 4 0.649 * * * [progress]: picking best candidate 0.669 * * * * [pick]: Picked # 0.669 * * * [progress]: localizing error 0.700 * * * [progress]: generating rewritten candidates 0.700 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.701 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 0.707 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 2) 0.713 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2) 0.740 * * * [progress]: generating series expansions 0.740 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.740 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1 1) 0.740 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.740 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.740 * [taylor]: Taking taylor expansion of (fabs x) in x 0.740 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.740 * [taylor]: Taking taylor expansion of (fabs x) in x 0.749 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.749 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.749 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.749 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.749 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.757 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.758 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.758 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.758 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.758 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.766 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 2) 0.767 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 0.767 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.767 * [taylor]: Taking taylor expansion of (fabs x) in x 0.767 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 0.767 * [taylor]: Taking taylor expansion of (fabs x) in x 0.775 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 0.775 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.775 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.775 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 0.775 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.787 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 0.787 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.787 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.787 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 0.787 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.795 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2) 0.796 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in (x) around 0 0.796 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.796 * [taylor]: Taking taylor expansion of 0.2 in x 0.796 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.796 * [taylor]: Taking taylor expansion of (fabs x) in x 0.796 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs x) 5)) in x 0.796 * [taylor]: Taking taylor expansion of 0.2 in x 0.796 * [taylor]: Taking taylor expansion of (pow (fabs x) 5) in x 0.796 * [taylor]: Taking taylor expansion of (fabs x) in x 0.815 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in (x) around 0 0.815 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 0.815 * [taylor]: Taking taylor expansion of 0.2 in x 0.815 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 0.815 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.815 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ 1 x)) 5)) in x 0.815 * [taylor]: Taking taylor expansion of 0.2 in x 0.815 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 5) in x 0.815 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.834 * [approximate]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in (x) around 0 0.834 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.834 * [taylor]: Taking taylor expansion of 0.2 in x 0.834 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.834 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.834 * [taylor]: Taking taylor expansion of (* 0.2 (pow (fabs (/ -1 x)) 5)) in x 0.834 * [taylor]: Taking taylor expansion of 0.2 in x 0.834 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 5) in x 0.834 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.853 * * * [progress]: simplifying candidates 0.855 * [simplify]: Simplifying using # : (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 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)) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (- (log 1.0) (log 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (+ (log (fabs x)) (log (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (+ (log (* (fabs x) (fabs x))) (log (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (+ (log (* (* (fabs x) (fabs x)) (fabs x))) (log (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (+ (log (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (log (fabs x)))) (+ (log (/ 1.0 5.0)) (log (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (log (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (exp (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 5.0 5.0) 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (/ 1.0 5.0)) (/ 1.0 5.0)) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (* (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))) (* (cbrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (sqrt (/ 1.0 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (cbrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ (sqrt 1.0) 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (cbrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 (sqrt 5.0)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* (/ 1 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (* 1.0 (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))) (fabs (* (/ 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)))))) (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.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) 0.861 * * [simplify]: iteration 0 : 463 enodes (cost 950 ) 0.870 * * [simplify]: iteration 1 : 1992 enodes (cost 620 ) 0.906 * * [simplify]: iteration 2 : 5001 enodes (cost 580 ) 0.909 * [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)) 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)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (+ (log (* (/ 1.0 5.0) (fabs x))) (* (log (fabs x)) 4)) (pow (exp (* (/ 1.0 5.0) (fabs x))) (pow (fabs x) 4)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (* (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x))))) (cbrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (pow (* (/ 1.0 5.0) (pow (fabs x) 4)) 3) (pow (fabs x) 3)) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (sqrt (* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1.0 5.0) (pow (fabs x) 4)) (* (* (cbrt (/ 1.0 5.0)) 1) (pow (fabs x) 5)) (* (* (sqrt (/ 1.0 5.0)) 1) (pow (fabs x) 5)) (* (* (/ (cbrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (cbrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (cbrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ (sqrt 1.0) (cbrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (sqrt 1.0) (sqrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ (sqrt 1.0) 5.0) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 (cbrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 (sqrt 5.0)) (pow (fabs x) 4)) (fabs x)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (* (* (/ 1.0 5.0) 1) (pow (fabs x) 5)) (/ (* (pow (fabs x) 4) (fabs x)) 5.0) (* (* 1.0 (pow (fabs x) 4)) (fabs x)) (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)))))) (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.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) (* 0.2 (pow (fabs x) 5)) 0.909 * * * [progress]: adding candidates to table 1.292 * * [progress]: iteration 3 / 4 1.292 * * * [progress]: picking best candidate 1.313 * * * * [pick]: Picked # 1.313 * * * [progress]: localizing error 1.342 * * * [progress]: generating rewritten candidates 1.342 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.344 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 1.354 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 2) 1.359 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1 1) 1.368 * * * [progress]: generating series expansions 1.368 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.368 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 1.369 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 1.369 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.369 * [taylor]: Taking taylor expansion of (fabs x) in x 1.369 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.369 * [taylor]: Taking taylor expansion of (fabs x) in x 1.380 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 1.380 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.380 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.381 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.381 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.389 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 1.390 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.390 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.390 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.390 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.398 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 2) 1.398 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in (x) around 0 1.398 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x 1.398 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.398 * [taylor]: Taking taylor expansion of (fabs x) in x 1.399 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x 1.399 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.399 * [taylor]: Taking taylor expansion of (fabs x) in x 1.410 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in (x) around 0 1.410 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x 1.410 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.410 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.411 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x 1.411 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.411 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.422 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in (x) around 0 1.423 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x 1.423 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.423 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.423 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x 1.423 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.423 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.435 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2 1 1 1 1 1) 1.435 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in (x) around 0 1.435 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x 1.435 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.435 * [taylor]: Taking taylor expansion of (fabs x) in x 1.435 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs x) 3)) in x 1.435 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 1.435 * [taylor]: Taking taylor expansion of (fabs x) in x 1.447 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in (x) around 0 1.447 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x 1.447 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.447 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.447 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ 1 x)) 3)) in x 1.447 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 1.447 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.459 * [approximate]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in (x) around 0 1.459 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x 1.459 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.459 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.460 * [taylor]: Taking taylor expansion of (sqrt (pow (fabs (/ -1 x)) 3)) in x 1.460 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 1.460 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.474 * * * [progress]: simplifying candidates 1.475 * [simplify]: Simplifying using # : (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (+ (+ 1 1/2) (+ 1 1/2)) (+ (+ 1 1/2) (+ 1 (/ 1 2))) (+ (+ 1 (/ 1 2)) (+ 1 1/2)) (+ (+ 1 (/ 1 2)) (+ 1 (/ 1 2))) (+ 1 1) (+ 1 1) (+ 3 3) (+ 1 1) (+ 1 1) (* (fabs x) (fabs x)) (* (fabs x) (fabs x)) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (fabs x))) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (+ 1 1) (+ 1 1) (+ (+ (log (fabs x)) (log (sqrt (fabs x)))) (+ (log (fabs x)) (log (sqrt (fabs x))))) (+ (+ (log (fabs x)) (log (sqrt (fabs x)))) (log (* (fabs x) (sqrt (fabs x))))) (+ (log (* (fabs x) (sqrt (fabs x)))) (+ (log (fabs x)) (log (sqrt (fabs x))))) (+ (log (* (fabs x) (sqrt (fabs x)))) (log (* (fabs x) (sqrt (fabs x))))) (log (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (exp (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))) (* (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))))) (* (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x))))) (* (cbrt (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (cbrt (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))))) (cbrt (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (* (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (sqrt (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (sqrt (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))))) (* (fabs x) (fabs x)) (* (sqrt (fabs x)) (sqrt (fabs x))) (* 2 (+ 1 1/2)) (* 2 (+ 1 (/ 1 2))) (* 2 1) (* 2 1) (* 2 3) (* 2 1) (* 2 1) (* (* (fabs x) (sqrt (fabs x))) (fabs x)) (* (sqrt (fabs x)) (* (fabs x) (sqrt (fabs x)))) (+ 1 1/2) (+ 1 (/ 1 2)) (* (fabs x) (sqrt (fabs x))) (+ (log (fabs x)) (log (sqrt (fabs x)))) (log (* (fabs x) (sqrt (fabs x)))) (exp (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (cbrt (* (fabs x) (sqrt (fabs x)))) (cbrt (* (fabs x) (sqrt (fabs x))))) (cbrt (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))) (sqrt (* (fabs x) (sqrt (fabs x)))) (sqrt (* (fabs x) (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (fabs x) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt 1)) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) 1) (* (cbrt (fabs x)) (sqrt (fabs x))) (* (sqrt (fabs x)) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (+ 1 1/2) (+ 1 (/ 1 2)) (* (fabs x) (sqrt (fabs x))) (+ (log (fabs x)) (log (sqrt (fabs x)))) (log (* (fabs x) (sqrt (fabs x)))) (exp (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (sqrt (fabs x)) (sqrt (fabs x))) (sqrt (fabs x)))) (* (cbrt (* (fabs x) (sqrt (fabs x)))) (cbrt (* (fabs x) (sqrt (fabs x))))) (cbrt (* (fabs x) (sqrt (fabs x)))) (* (* (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x)))) (* (fabs x) (sqrt (fabs x)))) (sqrt (* (fabs x) (sqrt (fabs x)))) (sqrt (* (fabs x) (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (fabs x) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) (sqrt 1)) (* (fabs x) (sqrt (sqrt (fabs x)))) (* (fabs x) 1) (* (cbrt (fabs x)) (sqrt (fabs x))) (* (sqrt (fabs x)) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (* (fabs x) (sqrt (fabs x))) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) 1.480 * * [simplify]: iteration 0 : 187 enodes (cost 485 ) 1.484 * * [simplify]: iteration 1 : 656 enodes (cost 356 ) 1.505 * * [simplify]: iteration 2 : 3526 enodes (cost 318 ) 1.626 * * [simplify]: iteration 3 : 5002 enodes (cost 302 ) 1.628 * [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)) 3 3 3 3 2 2 6 2 2 (pow (fabs x) 2) (pow (fabs x) 2) (pow (fabs x) 3) (pow (fabs x) 3) (fabs x) (pow (fabs x) 3) (pow (fabs x) 3) 2 2 (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (* 3 (log (fabs x))) (exp (pow (fabs x) 3)) (pow (fabs x) 9) (pow (fabs x) 9) (pow (fabs x) 9) (pow (fabs x) 9) (pow (fabs x) 2) (fabs x) (pow (fabs x) 9) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (pow (fabs x) 2) (fabs x) 3 3 2 2 6 2 2 (pow (sqrt (fabs x)) 5) (pow (fabs x) 2) 3/2 3/2 (pow (sqrt (fabs x)) 3) (* 3 (log (sqrt (fabs x)))) (* 3 (log (sqrt (fabs x)))) (exp (* (fabs x) (sqrt (fabs x)))) (pow (pow (sqrt (fabs x)) 3) 3) (fabs x) (sqrt (fabs x)) (pow (pow (sqrt (fabs x)) 3) 3) (fabs (pow (sqrt (fabs x)) 3/2)) (fabs (pow (sqrt (fabs x)) 3/2)) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (fabs (cbrt (fabs x))) (fabs x)) (* (fabs x) (sqrt (sqrt (fabs x)))) (fabs x) (* (fabs x) (sqrt (sqrt (fabs x)))) (fabs x) (* (cbrt (fabs x)) (sqrt (fabs x))) (fabs x) (pow (sqrt (fabs x)) 3) 3/2 3/2 (pow (sqrt (fabs x)) 3) (* 3 (log (sqrt (fabs x)))) (* 3 (log (sqrt (fabs x)))) (exp (* (fabs x) (sqrt (fabs x)))) (pow (pow (sqrt (fabs x)) 3) 3) (fabs x) (sqrt (fabs x)) (pow (pow (sqrt (fabs x)) 3) 3) (fabs (pow (sqrt (fabs x)) 3/2)) (fabs (pow (sqrt (fabs x)) 3/2)) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (sqrt (fabs x)) (sqrt (sqrt (fabs x)))) (* (fabs x) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) (* (fabs (cbrt (fabs x))) (fabs x)) (* (fabs x) (sqrt (sqrt (fabs x)))) (fabs x) (* (fabs x) (sqrt (sqrt (fabs x)))) (fabs x) (* (cbrt (fabs x)) (sqrt (fabs x))) (fabs x) (pow (sqrt (fabs x)) 3) (pow (sqrt (fabs x)) 3) (pow (sqrt (fabs x)) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) (sqrt (pow (fabs x) 3)) 1.628 * * * [progress]: adding candidates to table 2.003 * * [progress]: iteration 4 / 4 2.003 * * * [progress]: picking best candidate 2.025 * * * * [pick]: Picked # 2.026 * * * [progress]: localizing error 2.059 * * * [progress]: generating rewritten candidates 2.059 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 2.060 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1 1) 2.066 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2 1 1) 2.072 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 2 2) 2.082 * * * [progress]: generating series expansions 2.082 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.082 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1 1) 2.083 * [approximate]: Taking taylor expansion of (pow (pow (fabs x) 2) 3/2) in (x) around 0 2.083 * [taylor]: Taking taylor expansion of (pow (pow (fabs x) 2) 3/2) in x 2.083 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (pow (fabs x) 2)))) in x 2.083 * [taylor]: Taking taylor expansion of (* 3/2 (log (pow (fabs x) 2))) in x 2.083 * [taylor]: Taking taylor expansion of 3/2 in x 2.083 * [taylor]: Taking taylor expansion of (log (pow (fabs x) 2)) in x 2.083 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 2.083 * [taylor]: Taking taylor expansion of (fabs x) in x 2.083 * [taylor]: Taking taylor expansion of (pow (pow (fabs x) 2) 3/2) in x 2.083 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (pow (fabs x) 2)))) in x 2.083 * [taylor]: Taking taylor expansion of (* 3/2 (log (pow (fabs x) 2))) in x 2.083 * [taylor]: Taking taylor expansion of 3/2 in x 2.083 * [taylor]: Taking taylor expansion of (log (pow (fabs x) 2)) in x 2.083 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 2.083 * [taylor]: Taking taylor expansion of (fabs x) in x 2.121 * [approximate]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 2) 3/2) in (x) around 0 2.121 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 2) 3/2) in x 2.121 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (pow (fabs (/ 1 x)) 2)))) in x 2.121 * [taylor]: Taking taylor expansion of (* 3/2 (log (pow (fabs (/ 1 x)) 2))) in x 2.121 * [taylor]: Taking taylor expansion of 3/2 in x 2.121 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ 1 x)) 2)) in x 2.121 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 2.121 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.122 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ 1 x)) 2) 3/2) in x 2.122 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (pow (fabs (/ 1 x)) 2)))) in x 2.122 * [taylor]: Taking taylor expansion of (* 3/2 (log (pow (fabs (/ 1 x)) 2))) in x 2.122 * [taylor]: Taking taylor expansion of 3/2 in x 2.122 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ 1 x)) 2)) in x 2.122 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 2.122 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.160 * [approximate]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 2) 3/2) in (x) around 0 2.160 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 2) 3/2) in x 2.160 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (pow (fabs (/ -1 x)) 2)))) in x 2.160 * [taylor]: Taking taylor expansion of (* 3/2 (log (pow (fabs (/ -1 x)) 2))) in x 2.160 * [taylor]: Taking taylor expansion of 3/2 in x 2.160 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ -1 x)) 2)) in x 2.160 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 2.160 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.160 * [taylor]: Taking taylor expansion of (pow (pow (fabs (/ -1 x)) 2) 3/2) in x 2.160 * [taylor]: Taking taylor expansion of (exp (* 3/2 (log (pow (fabs (/ -1 x)) 2)))) in x 2.160 * [taylor]: Taking taylor expansion of (* 3/2 (log (pow (fabs (/ -1 x)) 2))) in x 2.160 * [taylor]: Taking taylor expansion of 3/2 in x 2.161 * [taylor]: Taking taylor expansion of (log (pow (fabs (/ -1 x)) 2)) in x 2.161 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 2.161 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.202 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2 1 1) 2.202 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 2.202 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.202 * [taylor]: Taking taylor expansion of (fabs x) in x 2.202 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.202 * [taylor]: Taking taylor expansion of (fabs x) in x 2.210 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 2.211 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.211 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.211 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.211 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.220 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 2.220 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.220 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.220 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.220 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.228 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 2 2) 2.229 * [approximate]: Taking taylor expansion of (pow (fabs x) 3) in (x) around 0 2.229 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.229 * [taylor]: Taking taylor expansion of (fabs x) in x 2.229 * [taylor]: Taking taylor expansion of (pow (fabs x) 3) in x 2.229 * [taylor]: Taking taylor expansion of (fabs x) in x 2.237 * [approximate]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in (x) around 0 2.237 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.237 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.237 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 3) in x 2.237 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 2.246 * [approximate]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in (x) around 0 2.246 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.246 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.246 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 3) in x 2.246 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 2.258 * * * [progress]: simplifying candidates 2.259 * [simplify]: Simplifying using # : (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (sqrt (* (cbrt PI) (cbrt PI))) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (sqrt 1) (sqrt PI) (/ 1 2) (sqrt (sqrt PI)) (sqrt (sqrt PI)) (* (* (log (fabs x)) 2) (+ 1 1/2)) (* (* (log (fabs x)) 2) (+ 1 1/2)) (* (log (pow (fabs x) 2)) (+ 1 1/2)) (* (log (pow (fabs x) 2)) (+ 1 1/2)) (* 2 (+ 1 1/2)) (pow (pow (fabs x) 2) (* (cbrt (+ 1 1/2)) (cbrt (+ 1 1/2)))) (pow (pow (fabs x) 2) (sqrt (+ 1 1/2))) (pow (pow (fabs x) 2) 1) (pow (pow (fabs x) 2) 1) (pow (pow (fabs x) 2) 1) (pow (pow (fabs x) 2) 1/2) (pow (pow (* (cbrt (fabs x)) (cbrt (fabs x))) 2) (+ 1 1/2)) (pow (pow (cbrt (fabs x)) 2) (+ 1 1/2)) (pow (pow (sqrt (fabs x)) 2) (+ 1 1/2)) (pow (pow (sqrt (fabs x)) 2) (+ 1 1/2)) (pow (pow 1 2) (+ 1 1/2)) (pow (pow (fabs x) 2) (+ 1 1/2)) (pow (fabs x) (+ 1 1/2)) (pow (fabs x) (+ 1 1/2)) (pow (* (cbrt (pow (fabs x) 2)) (cbrt (pow (fabs x) 2))) (+ 1 1/2)) (pow (cbrt (pow (fabs x) 2)) (+ 1 1/2)) (pow (sqrt (pow (fabs x) 2)) (+ 1 1/2)) (pow (sqrt (pow (fabs x) 2)) (+ 1 1/2)) (pow 1 (+ 1 1/2)) (pow (pow (fabs x) 2) (+ 1 1/2)) (pow (pow (fabs x) (/ 2 2)) (+ 1 1/2)) (pow (pow (fabs x) (/ 2 2)) (+ 1 1/2)) (log (pow (pow (fabs x) 2) (+ 1 1/2))) (exp (pow (pow (fabs x) 2) (+ 1 1/2))) (* (cbrt (pow (pow (fabs x) 2) (+ 1 1/2))) (cbrt (pow (pow (fabs x) 2) (+ 1 1/2)))) (cbrt (pow (pow (fabs x) 2) (+ 1 1/2))) (* (* (pow (pow (fabs x) 2) (+ 1 1/2)) (pow (pow (fabs x) 2) (+ 1 1/2))) (pow (pow (fabs x) 2) (+ 1 1/2))) (sqrt (pow (pow (fabs x) 2) (+ 1 1/2))) (sqrt (pow (pow (fabs x) 2) (+ 1 1/2))) (pow (pow (fabs x) 2) (/ (+ 1 1/2) 2)) (pow (pow (fabs x) 2) (/ (+ 1 1/2) 2)) (+ (+ 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) 2) (+ 1 1/2)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (pow (pow (fabs x) 2) 3/2) (pow (pow (fabs x) 2) 3/2) (pow (pow (fabs x) 2) 3/2) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 2.265 * * [simplify]: iteration 0 : 298 enodes (cost 435 ) 2.272 * * [simplify]: iteration 1 : 1274 enodes (cost 317 ) 2.307 * * [simplify]: iteration 2 : 5001 enodes (cost 299 ) 2.309 * [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)) (* (log (fabs x)) 3) (* (log (fabs x)) 3) (* (log (fabs x)) 3) (* (log (fabs x)) 3) 3 (pow (pow (fabs x) 2) (* (cbrt 3/2) (cbrt 3/2))) (pow (pow (fabs x) 2) (sqrt 3/2)) (pow (fabs x) 2) (pow (fabs x) 2) (pow (fabs x) 2) (fabs (fabs x)) (pow (pow (cbrt (fabs x)) 4) 3/2) (pow (pow (cbrt (fabs x)) 2) 3/2) (pow (fabs x) 3/2) (pow (fabs x) 3/2) 1 (pow (pow (fabs x) 2) 3/2) (pow (fabs x) 3/2) (pow (fabs x) 3/2) (pow (* (cbrt (pow (fabs x) 2)) (cbrt (pow (fabs x) 2))) 3/2) (pow (cbrt (pow (fabs x) 2)) 3/2) (pow (fabs (fabs x)) 3/2) (pow (fabs (fabs x)) 3/2) 1 (pow (pow (fabs x) 2) 3/2) (pow (fabs x) 3/2) (pow (fabs x) 3/2) (* (log (fabs x)) 3) (exp (pow (pow (fabs x) 2) 3/2)) (* (cbrt (pow (pow (fabs x) 2) 3/2)) (cbrt (pow (pow (fabs x) 2) 3/2))) (cbrt (pow (pow (fabs x) 2) 3/2)) (pow (pow (pow (fabs x) 2) 3/2) 3) (sqrt (pow (pow (fabs x) 2) 3/2)) (sqrt (pow (pow (fabs x) 2) 3/2)) (pow (pow (fabs x) 2) 3/4) (pow (pow (fabs x) 2) 3/4) 3 3 3 3 (pow (fabs x) 3) (pow (fabs x) 3) 3 3 3 3 (* (log (fabs x)) 3) (* (log (fabs x)) 3) (* (log (fabs x)) 3) (exp (pow (fabs x) 3)) (pow (pow (fabs x) 3) 3) (pow (pow (fabs x) 3) 3) (pow (fabs x) 2) (fabs x) (pow (pow (fabs x) 3) 3) (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)) (pow (fabs x) 3/2) (pow (fabs x) 3/2) (* (pow (cbrt (fabs x)) 2) (pow (fabs x) 2)) (pow (fabs x) 5/2) (pow (fabs x) 2) (pow (fabs x) 2) 3 3 3 3 (pow (fabs x) 3) (pow (fabs x) 3) 3 3 3 3 (* (log (fabs x)) 3) (* (log (fabs x)) 3) (* (log (fabs x)) 3) (exp (pow (fabs x) 3)) (pow (pow (fabs x) 3) 3) (pow (pow (fabs x) 3) 3) (pow (fabs x) 2) (fabs x) (pow (pow (fabs x) 3) 3) (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)) (pow (fabs x) 3/2) (pow (fabs x) 3/2) (* (pow (cbrt (fabs x)) 2) (pow (fabs x) 2)) (pow (fabs x) 5/2) (pow (fabs x) 2) (pow (fabs x) 2) (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) 2) 3/2) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))) (pow (pow (fabs x) 2) 3/2) (pow (pow (fabs x) 2) 3/2) (pow (pow (fabs x) 2) 3/2) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) (pow (fabs x) 3) 2.310 * * * [progress]: adding candidates to table 2.680 * [progress]: [Phase 3 of 3] Extracting. 2.680 * * [regime]: Finding splitpoints for: (# # # #) 2.688 * * * [regime-changes]: Trying 2 branch expressions: ((fabs x) x) 2.688 * * * * [regimes]: Trying to branch on (fabs x) from (# # # #) 2.722 * * * * [regimes]: Trying to branch on x from (# # # #) 2.754 * * * [regime]: Found split indices: #