20.172 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.073 * * * [progress]: [2/2] Setting up program. 0.078 * [progress]: [Phase 2 of 3] Improving. 0.079 * [simplify]: Simplifying using # : (* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))))) 0.081 * * [simplify]: iteration 0 : 90 enodes (cost 61 ) 0.084 * * [simplify]: iteration 1 : 389 enodes (cost 58 ) 0.095 * * [simplify]: iteration 2 : 2115 enodes (cost 36 ) 0.149 * * [simplify]: iteration 3 : 5001 enodes (cost 36 ) 0.153 * [simplify]: Simplified to: (/ (* (+ (+ (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (pow (/ 1.0 (fabs x)) 3)) (+ (/ 3.0 4.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 15.0 8.0)))) (/ 1.0 (/ 2.0 (pow (/ 1.0 (fabs x)) 3)))) (/ 1.0 (fabs x))) 1.0) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))) 0.160 * * [progress]: iteration 1 / 4 0.160 * * * [progress]: picking best candidate 0.169 * * * * [pick]: Picked # 0.169 * * * [progress]: localizing error 0.200 * * * [progress]: generating rewritten candidates 0.200 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.202 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.203 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2 2) 0.209 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2) 0.218 * * * [progress]: generating series expansions 0.218 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.218 * [approximate]: Taking taylor expansion of (exp (pow (fabs x) 2)) in (x) around 0 0.218 * [taylor]: Taking taylor expansion of (exp (pow (fabs x) 2)) in x 0.218 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 0.218 * [taylor]: Taking taylor expansion of (fabs x) in x 0.218 * [taylor]: Taking taylor expansion of (exp (pow (fabs x) 2)) in x 0.218 * [taylor]: Taking taylor expansion of (pow (fabs x) 2) in x 0.218 * [taylor]: Taking taylor expansion of (fabs x) in x 0.221 * [approximate]: Taking taylor expansion of (exp (pow (fabs (/ 1 x)) 2)) in (x) around 0 0.221 * [taylor]: Taking taylor expansion of (exp (pow (fabs (/ 1 x)) 2)) in x 0.221 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 0.221 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.222 * [taylor]: Taking taylor expansion of (exp (pow (fabs (/ 1 x)) 2)) in x 0.222 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 0.222 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.225 * [approximate]: Taking taylor expansion of (exp (pow (fabs (/ -1 x)) 2)) in (x) around 0 0.225 * [taylor]: Taking taylor expansion of (exp (pow (fabs (/ -1 x)) 2)) in x 0.225 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 0.225 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.225 * [taylor]: Taking taylor expansion of (exp (pow (fabs (/ -1 x)) 2)) in x 0.225 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 0.225 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.228 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.228 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2 2) 0.229 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0 0.229 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.229 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.229 * [taylor]: Taking taylor expansion of 1.0 in x 0.229 * [taylor]: Taking taylor expansion of (fabs x) in x 0.229 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.229 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.229 * [taylor]: Taking taylor expansion of 1.0 in x 0.229 * [taylor]: Taking taylor expansion of (fabs x) in x 0.232 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0 0.232 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.232 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.232 * [taylor]: Taking taylor expansion of 1.0 in x 0.232 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.235 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.235 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.235 * [taylor]: Taking taylor expansion of 1.0 in x 0.235 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.238 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0 0.238 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.238 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.238 * [taylor]: Taking taylor expansion of 1.0 in x 0.238 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.238 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.238 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.238 * [taylor]: Taking taylor expansion of 1.0 in x 0.238 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.241 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2) 0.241 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0 0.241 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.241 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.241 * [taylor]: Taking taylor expansion of 1.0 in x 0.241 * [taylor]: Taking taylor expansion of (fabs x) in x 0.242 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.242 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.242 * [taylor]: Taking taylor expansion of 1.0 in x 0.242 * [taylor]: Taking taylor expansion of (fabs x) in x 0.244 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0 0.244 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.244 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.244 * [taylor]: Taking taylor expansion of 1.0 in x 0.244 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.244 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.244 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.244 * [taylor]: Taking taylor expansion of 1.0 in x 0.244 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.247 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0 0.247 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.247 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.247 * [taylor]: Taking taylor expansion of 1.0 in x 0.247 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.248 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.248 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.248 * [taylor]: Taking taylor expansion of 1.0 in x 0.248 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.251 * * * [progress]: simplifying candidates 0.253 * [simplify]: Simplifying using # : (exp (fabs x)) (log (exp (* (fabs x) (fabs x)))) (exp (exp (* (fabs x) (fabs x)))) (* (cbrt (exp (* (fabs x) (fabs x)))) (cbrt (exp (* (fabs x) (fabs x))))) (cbrt (exp (* (fabs x) (fabs x)))) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x)))) (sqrt (exp (* (fabs x) (fabs x)))) (sqrt (exp (* (fabs x) (fabs x)))) (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 1.0) (log (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* 1 3) (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (* (cbrt (pow (/ 1.0 (fabs x)) 3)) (cbrt (pow (/ 1.0 (fabs x)) 3))) (cbrt (pow (/ 1.0 (fabs x)) 3)) (* (* (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (* (- (log 1.0) (log (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* 1 3) (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (* (cbrt (pow (/ 1.0 (fabs x)) 3)) (cbrt (pow (/ 1.0 (fabs x)) 3))) (cbrt (pow (/ 1.0 (fabs x)) 3)) (* (* (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (/ (* (+ (+ (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (pow (/ 1.0 (fabs x)) 3)) (+ (/ 3.0 4.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 15.0 8.0)))) (/ 1.0 (/ 2.0 (pow (/ 1.0 (fabs x)) 3)))) (/ 1.0 (fabs x))) 1.0) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) 0.258 * * [simplify]: iteration 0 : 341 enodes (cost 714 ) 0.267 * * [simplify]: iteration 1 : 1606 enodes (cost 583 ) 0.308 * * [simplify]: iteration 2 : 5002 enodes (cost 571 ) 0.313 * [simplify]: Simplified to: (exp (fabs x)) (pow (fabs x) 2) (exp (exp (* (fabs x) (fabs x)))) (* (cbrt (exp (* (fabs x) (fabs x)))) (cbrt (exp (* (fabs x) (fabs x))))) (cbrt (exp (* (fabs x) (fabs x)))) (pow (exp (pow (fabs x) 2)) 3) (sqrt (exp (* (fabs x) (fabs x)))) (sqrt (exp (* (fabs x) (fabs x)))) (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 (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) 3 (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (* 1.0 1.0) (pow (sqrt (fabs x)) 3)) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 2) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (pow (/ 1.0 (fabs x)) 3) 3) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (* 1.0 1.0) (pow (sqrt (fabs x)) 3)) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (pow (/ 1.0 (fabs x)) 2) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (log (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) 3 (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (* 1.0 1.0) (pow (sqrt (fabs x)) 3)) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 2) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (pow (/ 1.0 (fabs x)) 3) 3) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (* 1.0 1.0) (pow (sqrt (fabs x)) 3)) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (pow (/ 1.0 (fabs x)) 2) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (/ (* (* (+ (+ (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (pow (/ 1.0 (fabs x)) 3)) (+ (/ 3.0 4.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 15.0 8.0)))) (/ 1.0 (/ 2.0 (pow (/ 1.0 (fabs x)) 3)))) (/ 1.0 (fabs x))) 1.0) (exp (pow (fabs x) 2))) (sqrt PI)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) 0.314 * * * [progress]: adding candidates to table 0.552 * * [progress]: iteration 2 / 4 0.552 * * * [progress]: picking best candidate 0.619 * * * * [pick]: Picked # 0.619 * * * [progress]: localizing error 0.654 * * * [progress]: generating rewritten candidates 0.655 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.658 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.659 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2 2) 0.664 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2) 0.673 * * * [progress]: generating series expansions 0.673 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.674 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0 0.674 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 0.674 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 0.674 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 0.674 * [taylor]: Taking taylor expansion of (fabs x) in x 0.674 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 0.674 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 0.674 * [taylor]: Taking taylor expansion of (fabs x) in x 0.674 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 0.674 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 0.674 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 0.674 * [taylor]: Taking taylor expansion of (fabs x) in x 0.674 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 0.674 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 0.674 * [taylor]: Taking taylor expansion of (fabs x) in x 0.683 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0 0.683 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 0.683 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 0.683 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 0.683 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.683 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 0.683 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 0.683 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.684 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 0.684 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 0.684 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 0.684 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.684 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 0.684 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 0.684 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.693 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0 0.693 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 0.693 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 0.693 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 0.693 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.693 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 0.693 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 0.693 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.693 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 0.693 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 0.693 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 0.693 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.693 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 0.693 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 0.693 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.703 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.703 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2 2) 0.703 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0 0.703 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.703 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.703 * [taylor]: Taking taylor expansion of 1.0 in x 0.703 * [taylor]: Taking taylor expansion of (fabs x) in x 0.703 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.703 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.703 * [taylor]: Taking taylor expansion of 1.0 in x 0.703 * [taylor]: Taking taylor expansion of (fabs x) in x 0.706 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0 0.706 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.706 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.706 * [taylor]: Taking taylor expansion of 1.0 in x 0.706 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.706 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.706 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.706 * [taylor]: Taking taylor expansion of 1.0 in x 0.706 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.709 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0 0.709 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.709 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.709 * [taylor]: Taking taylor expansion of 1.0 in x 0.709 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.709 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.709 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.709 * [taylor]: Taking taylor expansion of 1.0 in x 0.709 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.712 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2) 0.713 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0 0.713 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.713 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.713 * [taylor]: Taking taylor expansion of 1.0 in x 0.713 * [taylor]: Taking taylor expansion of (fabs x) in x 0.713 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.713 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.713 * [taylor]: Taking taylor expansion of 1.0 in x 0.713 * [taylor]: Taking taylor expansion of (fabs x) in x 0.715 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0 0.715 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.715 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.715 * [taylor]: Taking taylor expansion of 1.0 in x 0.715 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.715 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.716 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.716 * [taylor]: Taking taylor expansion of 1.0 in x 0.716 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.719 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0 0.719 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.719 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.719 * [taylor]: Taking taylor expansion of 1.0 in x 0.719 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.719 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.719 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.719 * [taylor]: Taking taylor expansion of 1.0 in x 0.719 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.722 * * * [progress]: simplifying candidates 0.724 * [simplify]: Simplifying using # : (* (fabs x) (fabs x)) (* (log (exp (fabs x))) (fabs x)) (* 1 (fabs x)) (* (cbrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (fabs x) (fabs x)) (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (pow (exp (fabs x)) (sqrt (fabs x))) (pow (exp (fabs x)) 1) (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x)) (pow (cbrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) (pow 1 (fabs x)) (pow (exp (fabs x)) (fabs x)) (log (pow (exp (fabs x)) (fabs x))) (exp (pow (exp (fabs x)) (fabs x))) (* (cbrt (pow (exp (fabs x)) (fabs x))) (cbrt (pow (exp (fabs x)) (fabs x)))) (cbrt (pow (exp (fabs x)) (fabs x))) (* (* (pow (exp (fabs x)) (fabs x)) (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (fabs x))) (sqrt (pow (exp (fabs x)) (fabs x))) (sqrt (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2)) (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 1.0) (log (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* 1 3) (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (* (cbrt (pow (/ 1.0 (fabs x)) 3)) (cbrt (pow (/ 1.0 (fabs x)) 3))) (cbrt (pow (/ 1.0 (fabs x)) 3)) (* (* (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (* (- (log 1.0) (log (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* 1 3) (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (* (cbrt (pow (/ 1.0 (fabs x)) 3)) (cbrt (pow (/ 1.0 (fabs x)) 3))) (cbrt (pow (/ 1.0 (fabs x)) 3)) (* (* (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) 0.730 * * [simplify]: iteration 0 : 334 enodes (cost 743 ) 0.738 * * [simplify]: iteration 1 : 1538 enodes (cost 613 ) 0.771 * * [simplify]: iteration 2 : 5001 enodes (cost 599 ) 0.776 * [simplify]: Simplified to: (pow (fabs x) 2) (pow (fabs x) 2) (fabs x) (pow (cbrt (fabs x)) 4) (pow (sqrt (fabs x)) 3) (pow (fabs x) 2) (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (pow (exp (fabs x)) (sqrt (fabs x))) (exp (fabs x)) (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x)) (pow (cbrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) 1 (exp (pow (fabs x) 2)) (pow (fabs x) 2) (exp (pow (exp (fabs x)) (fabs x))) (* (cbrt (pow (exp (fabs x)) (fabs x))) (cbrt (pow (exp (fabs x)) (fabs x)))) (cbrt (pow (exp (fabs x)) (fabs x))) (pow (exp (pow (fabs x) 2)) 3) (sqrt (pow (exp (fabs x)) (fabs x))) (sqrt (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2)) (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 (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) 3 (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (* 1.0 1.0) (pow (sqrt (fabs x)) 3)) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 2) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (pow (/ 1.0 (fabs x)) 3) 3) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (* 1.0 1.0) (pow (sqrt (fabs x)) 3)) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (pow (/ 1.0 (fabs x)) 2) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (log (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) 3 (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (* 1.0 1.0) (pow (sqrt (fabs x)) 3)) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 2) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (pow (/ 1.0 (fabs x)) 3) 3) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (* 1.0 1.0) (pow (sqrt (fabs x)) 3)) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (pow (/ 1.0 (fabs x)) 2) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) 0.777 * * * [progress]: adding candidates to table 1.062 * * [progress]: iteration 3 / 4 1.062 * * * [progress]: picking best candidate 1.170 * * * * [pick]: Picked # 1.170 * * * [progress]: localizing error 1.213 * * * [progress]: generating rewritten candidates 1.213 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.217 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.218 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2) 1.223 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 2 2 1) 1.235 * * * [progress]: generating series expansions 1.235 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.236 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0 1.236 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 1.236 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 1.236 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 1.236 * [taylor]: Taking taylor expansion of (fabs x) in x 1.236 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 1.236 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 1.236 * [taylor]: Taking taylor expansion of (fabs x) in x 1.236 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 1.236 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 1.236 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 1.236 * [taylor]: Taking taylor expansion of (fabs x) in x 1.236 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 1.236 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 1.236 * [taylor]: Taking taylor expansion of (fabs x) in x 1.248 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0 1.248 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 1.248 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 1.248 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 1.248 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.248 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 1.248 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 1.248 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.248 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 1.248 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 1.248 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 1.248 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.248 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 1.248 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 1.248 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.257 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0 1.257 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 1.257 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 1.258 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 1.258 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.258 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 1.258 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 1.258 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.258 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 1.258 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 1.258 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 1.258 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.258 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 1.258 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 1.258 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.267 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.267 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2) 1.267 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0 1.267 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 1.267 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.267 * [taylor]: Taking taylor expansion of 1.0 in x 1.267 * [taylor]: Taking taylor expansion of (fabs x) in x 1.267 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 1.267 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.267 * [taylor]: Taking taylor expansion of 1.0 in x 1.267 * [taylor]: Taking taylor expansion of (fabs x) in x 1.270 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0 1.270 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 1.270 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.270 * [taylor]: Taking taylor expansion of 1.0 in x 1.270 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.270 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 1.270 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.270 * [taylor]: Taking taylor expansion of 1.0 in x 1.270 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.273 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0 1.273 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 1.273 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.273 * [taylor]: Taking taylor expansion of 1.0 in x 1.273 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.273 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 1.273 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.273 * [taylor]: Taking taylor expansion of 1.0 in x 1.273 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.276 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 2 2 1) 1.276 * [approximate]: Taking taylor expansion of (pow (sqrt (/ 1 (fabs x))) 3) in (x) around 0 1.276 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 (fabs x))) 3) in x 1.276 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs x))) in x 1.276 * [taylor]: Taking taylor expansion of (/ 1 (fabs x)) in x 1.276 * [taylor]: Taking taylor expansion of (fabs x) in x 1.277 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 (fabs x))) 3) in x 1.277 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs x))) in x 1.277 * [taylor]: Taking taylor expansion of (/ 1 (fabs x)) in x 1.277 * [taylor]: Taking taylor expansion of (fabs x) in x 1.280 * [approximate]: Taking taylor expansion of (pow (sqrt (/ 1 (fabs (/ 1 x)))) 3) in (x) around 0 1.280 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 (fabs (/ 1 x)))) 3) in x 1.280 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ 1 x)))) in x 1.280 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1.280 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.280 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 (fabs (/ 1 x)))) 3) in x 1.280 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ 1 x)))) in x 1.280 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1.280 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.283 * [approximate]: Taking taylor expansion of (pow (sqrt (/ 1 (fabs (/ -1 x)))) 3) in (x) around 0 1.283 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 (fabs (/ -1 x)))) 3) in x 1.283 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ -1 x)))) in x 1.283 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1.283 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.284 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 (fabs (/ -1 x)))) 3) in x 1.284 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ -1 x)))) in x 1.284 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1.284 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.287 * * * [progress]: simplifying candidates 1.289 * [simplify]: Simplifying using # : (* (fabs x) (fabs x)) (* (log (exp (fabs x))) (fabs x)) (* 1 (fabs x)) (* (cbrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (fabs x) (fabs x)) (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (pow (exp (fabs x)) (sqrt (fabs x))) (pow (exp (fabs x)) 1) (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x)) (pow (cbrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) (pow 1 (fabs x)) (pow (exp (fabs x)) (fabs x)) (log (pow (exp (fabs x)) (fabs x))) (exp (pow (exp (fabs x)) (fabs x))) (* (cbrt (pow (exp (fabs x)) (fabs x))) (cbrt (pow (exp (fabs x)) (fabs x)))) (cbrt (pow (exp (fabs x)) (fabs x))) (* (* (pow (exp (fabs x)) (fabs x)) (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (fabs x))) (sqrt (pow (exp (fabs x)) (fabs x))) (sqrt (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2)) (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 1.0) (log (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* 1 3) (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (* (cbrt (pow (/ 1.0 (fabs x)) 3)) (cbrt (pow (/ 1.0 (fabs x)) 3))) (cbrt (pow (/ 1.0 (fabs x)) 3)) (* (* (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (* (neg (log (sqrt (fabs x)))) 3) (* (- 0 (log (sqrt (fabs x)))) 3) (* (- (log 1) (log (sqrt (fabs x)))) 3) (* (log (/ 1 (sqrt (fabs x)))) 3) (* (log (/ 1 (sqrt (fabs x)))) 3) (* -1 3) (* (neg 1/2) 3) (* (neg 1) 3) (* (neg (/ 1 2)) 3) (* 1 3) (pow (/ 1 (sqrt (fabs x))) (* (cbrt 3) (cbrt 3))) (pow (/ 1 (sqrt (fabs x))) (sqrt 3)) (pow (/ 1 (sqrt (fabs x))) 1) (pow (* (cbrt (/ 1 (sqrt (fabs x)))) (cbrt (/ 1 (sqrt (fabs x))))) 3) (pow (cbrt (/ 1 (sqrt (fabs x)))) 3) (pow (sqrt (/ 1 (sqrt (fabs x)))) 3) (pow (sqrt (/ 1 (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ (cbrt 1) (cbrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ (cbrt 1) (sqrt (cbrt (fabs x)))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (fabs x)))) 3) (pow (/ (cbrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) 3) (pow (/ (cbrt 1) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (fabs x)))) 3) (pow (/ (cbrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) 1) 3) (pow (/ (cbrt 1) (sqrt (fabs x))) 3) (pow (/ (sqrt 1) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ (sqrt 1) (cbrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ (sqrt 1) (sqrt (cbrt (fabs x)))) 3) (pow (/ (sqrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1) (sqrt 1)) 3) (pow (/ (sqrt 1) (sqrt (fabs x))) 3) (pow (/ (sqrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1) 1) 3) (pow (/ (sqrt 1) (sqrt (fabs x))) 3) (pow (/ 1 (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ 1 (cbrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ 1 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt 1)) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 1) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow 1 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow 1 3) (pow (/ 1 (sqrt (fabs x))) 3) (* (/ 1 (sqrt (fabs x))) (/ 1 (sqrt (fabs x)))) (log (pow (/ 1 (sqrt (fabs x))) 3)) (exp (pow (/ 1 (sqrt (fabs x))) 3)) (* (cbrt (pow (/ 1 (sqrt (fabs x))) 3)) (cbrt (pow (/ 1 (sqrt (fabs x))) 3))) (cbrt (pow (/ 1 (sqrt (fabs x))) 3)) (* (* (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3)) (pow (/ 1 (sqrt (fabs x))) 3)) (pow (* (cbrt (/ 1 (sqrt (fabs x)))) (cbrt (/ 1 (sqrt (fabs x))))) 3) (pow (cbrt (/ 1 (sqrt (fabs x)))) 3) (pow (sqrt (/ 1 (sqrt (fabs x)))) 3) (pow (sqrt (/ 1 (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ (cbrt 1) (cbrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ (cbrt 1) (sqrt (cbrt (fabs x)))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (fabs x)))) 3) (pow (/ (cbrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) 3) (pow (/ (cbrt 1) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt (fabs x)))) 3) (pow (/ (cbrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1) (cbrt 1)) 1) 3) (pow (/ (cbrt 1) (sqrt (fabs x))) 3) (pow (/ (sqrt 1) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ (sqrt 1) (cbrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ (sqrt 1) (sqrt (cbrt (fabs x)))) 3) (pow (/ (sqrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1) (sqrt 1)) 3) (pow (/ (sqrt 1) (sqrt (fabs x))) 3) (pow (/ (sqrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1) 1) 3) (pow (/ (sqrt 1) (sqrt (fabs x))) 3) (pow (/ 1 (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ 1 (cbrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ 1 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt 1)) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 1) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow 1 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow 1 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow 1 3) (pow (sqrt (fabs x)) 3) (* (/ 1 (sqrt (fabs x))) (/ 1 (sqrt (fabs x)))) (sqrt (pow (/ 1 (sqrt (fabs x))) 3)) (sqrt (pow (/ 1 (sqrt (fabs x))) 3)) (pow (/ 1 (sqrt (fabs x))) (/ 3 2)) (pow (/ 1 (sqrt (fabs x))) (/ 3 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (sqrt (/ 1 (pow (fabs x) 3))) (sqrt (/ 1 (pow (fabs x) 3))) (sqrt (/ 1 (pow (fabs x) 3))) 1.297 * * [simplify]: iteration 0 : 638 enodes (cost 1041 ) 1.312 * * [simplify]: iteration 1 : 3290 enodes (cost 778 ) 1.359 * * [simplify]: iteration 2 : 5001 enodes (cost 769 ) 1.364 * [simplify]: Simplified to: (pow (fabs x) 2) (pow (fabs x) 2) (fabs x) (pow (cbrt (fabs x)) 4) (pow (sqrt (fabs x)) 3) (pow (fabs x) 2) (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (pow (exp (fabs x)) (sqrt (fabs x))) (exp (fabs x)) (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x)) (pow (cbrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) 1 (exp (pow (fabs x) 2)) (pow (fabs x) 2) (exp (pow (exp (fabs x)) (fabs x))) (* (cbrt (pow (exp (fabs x)) (fabs x))) (cbrt (pow (exp (fabs x)) (fabs x)))) (cbrt (pow (exp (fabs x)) (fabs x))) (pow (exp (pow (fabs x) 2)) 3) (sqrt (pow (exp (fabs x)) (fabs x))) (sqrt (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2)) (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 (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) 3 (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (/ (* 1.0 1.0) (fabs x)) (sqrt (fabs x))) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 2) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (pow (/ 1.0 (fabs x)) 3) 3) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (/ (* 1.0 1.0) (fabs x)) (sqrt (fabs x))) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (pow (/ 1.0 (fabs x)) 2) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (* (log (sqrt (fabs x))) -3) (* (log (sqrt (fabs x))) -3) (* (log (sqrt (fabs x))) -3) (* (log (sqrt (fabs x))) -3) (* (log (sqrt (fabs x))) -3) -3 -3/2 -3 -3/2 3 (pow (/ 1 (sqrt (fabs x))) (* (cbrt 3) (cbrt 3))) (pow (/ 1 (sqrt (fabs x))) (sqrt 3)) (/ 1 (sqrt (fabs x))) (/ 1 (fabs x)) (/ 1 (sqrt (fabs x))) (pow (/ 1 (sqrt (fabs x))) 3/2) (pow (/ 1 (sqrt (fabs x))) 3/2) (/ 1 (fabs x)) (/ 1 (sqrt (fabs x))) (/ 1 (pow (fabs (cbrt (fabs x))) 3)) (pow (/ 1 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) (/ 1 (fabs x)) (/ 1 (sqrt (fabs x))) (/ 1 (pow (fabs (cbrt (fabs x))) 3)) (pow (/ 1 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) (/ 1 (fabs x)) (/ 1 (sqrt (fabs x))) (/ 1 (pow (fabs (cbrt (fabs x))) 3)) (pow (/ 1 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) (/ 1 (fabs x)) (* (log (sqrt (fabs x))) -3) (exp (pow (/ 1 (sqrt (fabs x))) 3)) (/ 1 (fabs x)) (/ 1 (sqrt (fabs x))) (pow (pow (/ 1 (sqrt (fabs x))) 3) 3) (/ 1 (fabs x)) (/ 1 (sqrt (fabs x))) (pow (/ 1 (sqrt (fabs x))) 3/2) (pow (/ 1 (sqrt (fabs x))) 3/2) (/ 1 (fabs x)) (/ 1 (sqrt (fabs x))) (/ 1 (pow (fabs (cbrt (fabs x))) 3)) (pow (/ 1 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) (/ 1 (fabs x)) (/ 1 (sqrt (fabs x))) (/ 1 (pow (fabs (cbrt (fabs x))) 3)) (pow (/ 1 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) (/ 1 (fabs x)) (/ 1 (sqrt (fabs x))) (/ 1 (pow (fabs (cbrt (fabs x))) 3)) (pow (/ 1 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) 1 (pow (/ 1 (sqrt (fabs x))) 3) 1 (pow (sqrt (fabs x)) 3) (/ 1 (fabs x)) (sqrt (pow (/ 1 (sqrt (fabs x))) 3)) (sqrt (pow (/ 1 (sqrt (fabs x))) 3)) (pow (/ 1 (sqrt (fabs x))) 3/2) (pow (/ 1 (sqrt (fabs x))) 3/2) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (sqrt (/ 1 (pow (fabs x) 3))) (sqrt (/ 1 (pow (fabs x) 3))) (sqrt (/ 1 (pow (fabs x) 3))) 1.365 * * * [progress]: adding candidates to table 1.630 * * [progress]: iteration 4 / 4 1.630 * * * [progress]: picking best candidate 1.735 * * * * [pick]: Picked # 1.735 * * * [progress]: localizing error 1.794 * * * [progress]: generating rewritten candidates 1.794 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.797 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.799 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2) 1.804 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 2 2 2) 1.817 * * * [progress]: generating series expansions 1.817 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.817 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0 1.817 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 1.817 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 1.817 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 1.817 * [taylor]: Taking taylor expansion of (fabs x) in x 1.817 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 1.817 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 1.817 * [taylor]: Taking taylor expansion of (fabs x) in x 1.817 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 1.818 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 1.818 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 1.818 * [taylor]: Taking taylor expansion of (fabs x) in x 1.818 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 1.818 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 1.818 * [taylor]: Taking taylor expansion of (fabs x) in x 1.826 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0 1.826 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 1.826 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 1.826 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 1.826 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.826 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 1.826 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 1.826 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.827 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 1.827 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 1.827 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 1.827 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.827 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 1.827 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 1.827 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.836 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0 1.836 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 1.836 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 1.836 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 1.836 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.836 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 1.836 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 1.836 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.836 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 1.836 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 1.837 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 1.837 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.837 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 1.837 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 1.837 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.850 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.850 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2) 1.851 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0 1.851 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 1.851 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.851 * [taylor]: Taking taylor expansion of 1.0 in x 1.851 * [taylor]: Taking taylor expansion of (fabs x) in x 1.851 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 1.851 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.851 * [taylor]: Taking taylor expansion of 1.0 in x 1.851 * [taylor]: Taking taylor expansion of (fabs x) in x 1.853 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0 1.853 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 1.853 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.853 * [taylor]: Taking taylor expansion of 1.0 in x 1.853 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.854 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 1.854 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.854 * [taylor]: Taking taylor expansion of 1.0 in x 1.854 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.857 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0 1.857 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 1.857 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.857 * [taylor]: Taking taylor expansion of 1.0 in x 1.857 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.857 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 1.857 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.857 * [taylor]: Taking taylor expansion of 1.0 in x 1.857 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.860 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 2 2 2) 1.860 * [approximate]: Taking taylor expansion of (pow (* 1.0 (sqrt (/ 1 (fabs x)))) 3) in (x) around 0 1.860 * [taylor]: Taking taylor expansion of (pow (* 1.0 (sqrt (/ 1 (fabs x)))) 3) in x 1.860 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt (/ 1 (fabs x)))) in x 1.860 * [taylor]: Taking taylor expansion of 1.0 in x 1.860 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs x))) in x 1.860 * [taylor]: Taking taylor expansion of (/ 1 (fabs x)) in x 1.860 * [taylor]: Taking taylor expansion of (fabs x) in x 1.860 * [taylor]: Taking taylor expansion of (pow (* 1.0 (sqrt (/ 1 (fabs x)))) 3) in x 1.860 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt (/ 1 (fabs x)))) in x 1.860 * [taylor]: Taking taylor expansion of 1.0 in x 1.860 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs x))) in x 1.860 * [taylor]: Taking taylor expansion of (/ 1 (fabs x)) in x 1.860 * [taylor]: Taking taylor expansion of (fabs x) in x 1.864 * [approximate]: Taking taylor expansion of (pow (* 1.0 (sqrt (/ 1 (fabs (/ 1 x))))) 3) in (x) around 0 1.864 * [taylor]: Taking taylor expansion of (pow (* 1.0 (sqrt (/ 1 (fabs (/ 1 x))))) 3) in x 1.864 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt (/ 1 (fabs (/ 1 x))))) in x 1.864 * [taylor]: Taking taylor expansion of 1.0 in x 1.864 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ 1 x)))) in x 1.864 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1.864 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.865 * [taylor]: Taking taylor expansion of (pow (* 1.0 (sqrt (/ 1 (fabs (/ 1 x))))) 3) in x 1.865 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt (/ 1 (fabs (/ 1 x))))) in x 1.865 * [taylor]: Taking taylor expansion of 1.0 in x 1.865 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ 1 x)))) in x 1.865 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1.865 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.869 * [approximate]: Taking taylor expansion of (pow (* 1.0 (sqrt (/ 1 (fabs (/ -1 x))))) 3) in (x) around 0 1.869 * [taylor]: Taking taylor expansion of (pow (* 1.0 (sqrt (/ 1 (fabs (/ -1 x))))) 3) in x 1.869 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt (/ 1 (fabs (/ -1 x))))) in x 1.869 * [taylor]: Taking taylor expansion of 1.0 in x 1.869 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ -1 x)))) in x 1.869 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1.869 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.869 * [taylor]: Taking taylor expansion of (pow (* 1.0 (sqrt (/ 1 (fabs (/ -1 x))))) 3) in x 1.869 * [taylor]: Taking taylor expansion of (* 1.0 (sqrt (/ 1 (fabs (/ -1 x))))) in x 1.869 * [taylor]: Taking taylor expansion of 1.0 in x 1.869 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fabs (/ -1 x)))) in x 1.869 * [taylor]: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1.869 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.873 * * * [progress]: simplifying candidates 1.876 * [simplify]: Simplifying using # : (* (fabs x) (fabs x)) (* (log (exp (fabs x))) (fabs x)) (* 1 (fabs x)) (* (cbrt (fabs x)) (fabs x)) (* (sqrt (fabs x)) (fabs x)) (* (fabs x) (fabs x)) (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (pow (exp (fabs x)) (sqrt (fabs x))) (pow (exp (fabs x)) 1) (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x)) (pow (cbrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) (pow 1 (fabs x)) (pow (exp (fabs x)) (fabs x)) (log (pow (exp (fabs x)) (fabs x))) (exp (pow (exp (fabs x)) (fabs x))) (* (cbrt (pow (exp (fabs x)) (fabs x))) (cbrt (pow (exp (fabs x)) (fabs x)))) (cbrt (pow (exp (fabs x)) (fabs x))) (* (* (pow (exp (fabs x)) (fabs x)) (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (fabs x))) (sqrt (pow (exp (fabs x)) (fabs x))) (sqrt (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2)) (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 1.0) (log (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* 1 3) (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (* (cbrt (pow (/ 1.0 (fabs x)) 3)) (cbrt (pow (/ 1.0 (fabs x)) 3))) (cbrt (pow (/ 1.0 (fabs x)) 3)) (* (* (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3) (pow (cbrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (sqrt (/ 1.0 (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (fabs x)) 3) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3) (pow (/ 1.0 (cbrt (fabs x))) 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (fabs x)) 3) (pow 1 3) (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (pow (/ 1.0 (fabs x)) (/ 3 2)) (* (- (log 1.0) (log (sqrt (fabs x)))) 3) (* (log (/ 1.0 (sqrt (fabs x)))) 3) (* (log (/ 1.0 (sqrt (fabs x)))) 3) (* 1 3) (pow (/ 1.0 (sqrt (fabs x))) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (sqrt (fabs x))) (sqrt 3)) (pow (/ 1.0 (sqrt (fabs x))) 1) (pow (* (cbrt (/ 1.0 (sqrt (fabs x)))) (cbrt (/ 1.0 (sqrt (fabs x))))) 3) (pow (cbrt (/ 1.0 (sqrt (fabs x)))) 3) (pow (sqrt (/ 1.0 (sqrt (fabs x)))) 3) (pow (sqrt (/ 1.0 (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ (cbrt 1.0) (cbrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ (cbrt 1.0) (sqrt (cbrt (fabs x)))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1)) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ (sqrt 1.0) (cbrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ (sqrt 1.0) (sqrt (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt 1)) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ 1 (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ 1.0 (cbrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ 1.0 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1.0 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt 1)) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1.0 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow 1 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow 1.0 3) (pow (/ 1 (sqrt (fabs x))) 3) (* (/ 1.0 (sqrt (fabs x))) (/ 1.0 (sqrt (fabs x)))) (log (pow (/ 1.0 (sqrt (fabs x))) 3)) (exp (pow (/ 1.0 (sqrt (fabs x))) 3)) (* (cbrt (pow (/ 1.0 (sqrt (fabs x))) 3)) (cbrt (pow (/ 1.0 (sqrt (fabs x))) 3))) (cbrt (pow (/ 1.0 (sqrt (fabs x))) 3)) (* (* (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3)) (pow (/ 1.0 (sqrt (fabs x))) 3)) (pow (* (cbrt (/ 1.0 (sqrt (fabs x)))) (cbrt (/ 1.0 (sqrt (fabs x))))) 3) (pow (cbrt (/ 1.0 (sqrt (fabs x)))) 3) (pow (sqrt (/ 1.0 (sqrt (fabs x)))) 3) (pow (sqrt (/ 1.0 (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ (cbrt 1.0) (cbrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ (cbrt 1.0) (sqrt (cbrt (fabs x)))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt 1)) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (sqrt (fabs x)))) 3) (pow (/ (cbrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ (sqrt 1.0) (cbrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ (sqrt 1.0) (sqrt (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt 1)) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) 1) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ 1 (* (cbrt (sqrt (fabs x))) (cbrt (sqrt (fabs x))))) 3) (pow (/ 1.0 (cbrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt (* (cbrt (fabs x)) (cbrt (fabs x))))) 3) (pow (/ 1.0 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1.0 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 (sqrt 1)) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1.0 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1 1) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow 1 3) (pow (/ 1.0 (sqrt (fabs x))) 3) (pow 1.0 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow 1.0 3) (pow (sqrt (fabs x)) 3) (* (/ 1.0 (sqrt (fabs x))) (/ 1.0 (sqrt (fabs x)))) (sqrt (pow (/ 1.0 (sqrt (fabs x))) 3)) (sqrt (pow (/ 1.0 (sqrt (fabs x))) 3)) (pow (/ 1.0 (sqrt (fabs x))) (/ 3 2)) (pow (/ 1.0 (sqrt (fabs x))) (/ 3 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (/ (* (+ (+ (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (pow (/ 1.0 (fabs x)) 3)) (+ (/ 3.0 4.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 15.0 8.0)))) (/ 1.0 (/ 2.0 (* (* (/ 1 (pow (fabs (cbrt (fabs x))) 3)) (pow (/ 1 (sqrt (cbrt (fabs x)))) 3)) (pow (/ 1.0 (sqrt (fabs x))) 3))))) (/ 1.0 (fabs x))) 1.0) (/ (sqrt PI) (pow (exp (fabs x)) (fabs x)))) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (* 1.0 (sqrt (/ 1 (pow (fabs x) 3)))) (* 1.0 (sqrt (/ 1 (pow (fabs x) 3)))) (* 1.0 (sqrt (/ 1 (pow (fabs x) 3)))) 1.883 * * [simplify]: iteration 0 : 654 enodes (cost 1080 ) 1.897 * * [simplify]: iteration 1 : 3347 enodes (cost 889 ) 1.968 * * [simplify]: iteration 2 : 5002 enodes (cost 876 ) 1.974 * [simplify]: Simplified to: (pow (fabs x) 2) (pow (fabs x) 2) (fabs x) (pow (cbrt (fabs x)) 4) (pow (sqrt (fabs x)) 3) (pow (fabs x) 2) (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (pow (exp (fabs x)) (sqrt (fabs x))) (exp (fabs x)) (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x)) (pow (cbrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) 1 (exp (pow (fabs x) 2)) (pow (fabs x) 2) (exp (pow (exp (fabs x)) (fabs x))) (* (cbrt (pow (exp (fabs x)) (fabs x))) (cbrt (pow (exp (fabs x)) (fabs x)))) (cbrt (pow (exp (fabs x)) (fabs x))) (pow (exp (pow (fabs x) 2)) 3) (sqrt (pow (exp (fabs x)) (fabs x))) (sqrt (pow (exp (fabs x)) (fabs x))) (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2)) (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 (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) (log (pow (/ 1.0 (fabs x)) 3)) 3 (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (fabs x)) (sqrt 3)) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (/ (* 1.0 1.0) (fabs x)) (sqrt (fabs x))) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 2) (log (pow (/ 1.0 (fabs x)) 3)) (exp (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (pow (/ 1.0 (fabs x)) 3) 3) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (/ 1.0 (fabs x)) (/ (/ (* 1.0 1.0) (fabs x)) (sqrt (fabs x))) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ (pow (sqrt 1.0) 3) (pow (fabs x) 2)) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (pow (/ 1 (sqrt (fabs x))) 3) (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow 1.0 3) (pow (/ 1 (fabs x)) 3) (pow 1.0 3) (pow (fabs x) 3) (pow (/ 1.0 (fabs x)) 2) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 3/2) (log (pow (/ 1.0 (sqrt (fabs x))) 3)) (log (pow (/ 1.0 (sqrt (fabs x))) 3)) (log (pow (/ 1.0 (sqrt (fabs x))) 3)) 3 (pow (/ 1.0 (sqrt (fabs x))) (* (cbrt 3) (cbrt 3))) (pow (/ 1.0 (sqrt (fabs x))) (sqrt 3)) (/ 1.0 (sqrt (fabs x))) (* 1.0 (/ 1.0 (fabs x))) (/ 1.0 (sqrt (fabs x))) (pow (/ 1.0 (sqrt (fabs x))) 3/2) (pow (/ 1.0 (sqrt (fabs x))) 3/2) (* 1.0 (/ 1.0 (fabs x))) (/ 1.0 (sqrt (fabs x))) (/ (* 1.0 1.0) (* (pow (fabs (cbrt (fabs x))) 3) 1)) (pow (/ (cbrt 1.0) (sqrt (cbrt (fabs x)))) 3) (/ (* 1.0 1.0) (pow (sqrt (sqrt (fabs x))) 3)) (pow (/ (cbrt 1.0) (sqrt (sqrt (fabs x)))) 3) (* 1.0 1.0) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (/ (* 1.0 1.0) (pow (sqrt (sqrt (fabs x))) 3)) (pow (/ (cbrt 1.0) (sqrt (sqrt (fabs x)))) 3) (* 1.0 1.0) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (/ 1.0 (/ (sqrt (fabs x)) (sqrt 1.0))) (/ (pow (sqrt 1.0) 3) (pow (fabs (cbrt (fabs x))) 3)) (pow (/ (sqrt 1.0) (sqrt (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (/ 1 (fabs x)) (/ (pow 1.0 3) (sqrt (fabs x))) (/ 1 (pow (fabs (cbrt (fabs x))) 3)) (pow (/ 1.0 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1.0 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1.0 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (sqrt (fabs x))) 3) (pow 1.0 3) (pow (/ 1 (sqrt (fabs x))) 3) (* 1.0 (/ 1.0 (fabs x))) (log (pow (/ 1.0 (sqrt (fabs x))) 3)) (exp (pow (/ 1.0 (sqrt (fabs x))) 3)) (* 1.0 (/ 1.0 (fabs x))) (/ 1.0 (sqrt (fabs x))) (pow (pow (/ 1.0 (sqrt (fabs x))) 3) 3) (* 1.0 (/ 1.0 (fabs x))) (/ 1.0 (sqrt (fabs x))) (pow (/ 1.0 (sqrt (fabs x))) 3/2) (pow (/ 1.0 (sqrt (fabs x))) 3/2) (* 1.0 (/ 1.0 (fabs x))) (/ 1.0 (sqrt (fabs x))) (/ (* 1.0 1.0) (* (pow (fabs (cbrt (fabs x))) 3) 1)) (pow (/ (cbrt 1.0) (sqrt (cbrt (fabs x)))) 3) (/ (* 1.0 1.0) (pow (sqrt (sqrt (fabs x))) 3)) (pow (/ (cbrt 1.0) (sqrt (sqrt (fabs x)))) 3) (* 1.0 1.0) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (/ (* 1.0 1.0) (pow (sqrt (sqrt (fabs x))) 3)) (pow (/ (cbrt 1.0) (sqrt (sqrt (fabs x)))) 3) (* 1.0 1.0) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 3) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (/ 1.0 (/ (sqrt (fabs x)) (sqrt 1.0))) (/ (pow (sqrt 1.0) 3) (pow (fabs (cbrt (fabs x))) 3)) (pow (/ (sqrt 1.0) (sqrt (cbrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (/ (sqrt 1.0) (sqrt (sqrt (fabs x)))) 3) (pow (sqrt 1.0) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (/ 1 (fabs x)) (/ (pow 1.0 3) (sqrt (fabs x))) (/ 1 (pow (fabs (cbrt (fabs x))) 3)) (pow (/ 1.0 (sqrt (cbrt (fabs x)))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1.0 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1.0 (sqrt (fabs x))) 3) (pow (/ 1 (sqrt (sqrt (fabs x)))) 3) (pow (/ 1.0 (sqrt (sqrt (fabs x)))) 3) 1 (pow (/ 1.0 (sqrt (fabs x))) 3) 1 (pow (/ 1.0 (sqrt (fabs x))) 3) (pow 1.0 3) (pow (/ 1 (sqrt (fabs x))) 3) (pow 1.0 3) (pow (sqrt (fabs x)) 3) (* 1.0 (/ 1.0 (fabs x))) (sqrt (pow (/ 1.0 (sqrt (fabs x))) 3)) (sqrt (pow (/ 1.0 (sqrt (fabs x))) 3)) (pow (/ 1.0 (sqrt (fabs x))) 3/2) (pow (/ 1.0 (sqrt (fabs x))) 3/2) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (/ (* (* (+ (+ (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (pow (/ 1.0 (fabs x)) 3)) (+ (/ 3.0 4.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 15.0 8.0)))) (/ 1.0 (/ 2.0 (* (* (/ 1 (pow (fabs (cbrt (fabs x))) 3)) (pow (/ 1 (sqrt (cbrt (fabs x)))) 3)) (pow (/ 1.0 (sqrt (fabs x))) 3))))) (/ 1.0 (fabs x))) 1.0) (exp (pow (fabs x) 2))) (sqrt PI)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (* 1.0 (sqrt (/ 1 (pow (fabs x) 3)))) (* 1.0 (sqrt (/ 1 (pow (fabs x) 3)))) (* 1.0 (sqrt (/ 1 (pow (fabs x) 3)))) 1.975 * * * [progress]: adding candidates to table 2.335 * [progress]: [Phase 3 of 3] Extracting. 2.335 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # #) 2.360 * * * [regime-changes]: Trying 3 branch expressions: ((fabs x) (* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))))) x) 2.360 * * * * [regimes]: Trying to branch on (fabs x) from (# # # # # # # # # # # # # # # # # # # #) 2.502 * * * * [regimes]: Trying to branch on (* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))))) from (# # # # # # # # # # # # # # # # # # # #) 2.672 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # # # # # #) 2.809 * * * [regime]: Found split indices: #