19.401 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.065 * * * [progress]: [2/2] Setting up program. 0.070 * [progress]: [Phase 2 of 3] Improving. 0.071 * [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.088 * * [simplify]: iteration 0 : 5216 enodes (cost 49 ) 0.089 * [simplify]: Simplified to: (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (/ 1.0 (fabs x)) 7))))))) 0.096 * * [progress]: iteration 1 / 4 0.096 * * * [progress]: picking best candidate 0.107 * * * * [pick]: Picked # 0.107 * * * [progress]: localizing error 0.139 * * * [progress]: generating rewritten candidates 0.139 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2 2) 0.144 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.147 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 1 2) 0.151 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.155 * * * [progress]: generating series expansions 0.155 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2 2) 0.155 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in (x) around 0 0.155 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in x 0.155 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.155 * [taylor]: Taking taylor expansion of 1.0 in x 0.155 * [taylor]: Taking taylor expansion of (fabs x) in x 0.156 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in x 0.156 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.156 * [taylor]: Taking taylor expansion of 1.0 in x 0.156 * [taylor]: Taking taylor expansion of (fabs x) in x 0.160 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in (x) around 0 0.160 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in x 0.160 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.160 * [taylor]: Taking taylor expansion of 1.0 in x 0.160 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.160 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in x 0.160 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.160 * [taylor]: Taking taylor expansion of 1.0 in x 0.160 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.165 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in (x) around 0 0.165 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in x 0.165 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.165 * [taylor]: Taking taylor expansion of 1.0 in x 0.165 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.165 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in x 0.165 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.165 * [taylor]: Taking taylor expansion of 1.0 in x 0.165 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.170 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.171 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0 0.171 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 0.171 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 0.171 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 0.171 * [taylor]: Taking taylor expansion of (fabs x) in x 0.171 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 0.171 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 0.171 * [taylor]: Taking taylor expansion of (fabs x) in x 0.171 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 0.171 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 0.171 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 0.171 * [taylor]: Taking taylor expansion of (fabs x) in x 0.171 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 0.171 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 0.171 * [taylor]: Taking taylor expansion of (fabs x) in x 0.179 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0 0.179 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 0.179 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 0.179 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 0.179 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.179 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 0.179 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 0.179 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.180 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 0.180 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 0.180 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 0.180 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.180 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 0.180 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 0.180 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.191 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0 0.191 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 0.191 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 0.191 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 0.191 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.191 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 0.191 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 0.191 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.192 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 0.192 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 0.192 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 0.192 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.192 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 0.192 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 0.192 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.201 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 1 2) 0.201 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0 0.201 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 0.201 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.201 * [taylor]: Taking taylor expansion of 1.0 in x 0.201 * [taylor]: Taking taylor expansion of (fabs x) in x 0.201 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 0.201 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.201 * [taylor]: Taking taylor expansion of 1.0 in x 0.201 * [taylor]: Taking taylor expansion of (fabs x) in x 0.205 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0 0.205 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 0.205 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.205 * [taylor]: Taking taylor expansion of 1.0 in x 0.205 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.205 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 0.205 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.205 * [taylor]: Taking taylor expansion of 1.0 in x 0.205 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.209 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0 0.209 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 0.209 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.209 * [taylor]: Taking taylor expansion of 1.0 in x 0.209 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.209 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 0.209 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.209 * [taylor]: Taking taylor expansion of 1.0 in x 0.209 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.213 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.213 * * * [progress]: simplifying candidates 0.215 * [simplify]: Simplifying using # : (* (- (log 1.0) (log (fabs x))) 7) (* (log (/ 1.0 (fabs x))) 7) (* (log (/ 1.0 (fabs x))) 7) (* 1 7) (pow (/ 1.0 (fabs x)) (* (cbrt 7) (cbrt 7))) (pow (/ 1.0 (fabs x)) (sqrt 7)) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 7) (pow (cbrt (/ 1.0 (fabs x))) 7) (pow (sqrt (/ 1.0 (fabs x))) 7) (pow (sqrt (/ 1.0 (fabs x))) 7) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 7) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 7) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 7) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 7) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 7) (pow (/ (cbrt 1.0) (fabs x)) 7) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 7) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 7) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 7) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 7) (pow (/ (sqrt 1.0) 1) 7) (pow (/ (sqrt 1.0) (fabs x)) 7) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 7) (pow (/ 1.0 (cbrt (fabs x))) 7) (pow (/ 1 (sqrt (fabs x))) 7) (pow (/ 1.0 (sqrt (fabs x))) 7) (pow (/ 1 1) 7) (pow (/ 1.0 (fabs x)) 7) (pow 1 7) (pow (/ 1.0 (fabs x)) 7) (pow 1.0 7) (pow (/ 1 (fabs x)) 7) (log (pow (/ 1.0 (fabs x)) 7)) (exp (pow (/ 1.0 (fabs x)) 7)) (* (cbrt (pow (/ 1.0 (fabs x)) 7)) (cbrt (pow (/ 1.0 (fabs x)) 7))) (cbrt (pow (/ 1.0 (fabs x)) 7)) (* (* (pow (/ 1.0 (fabs x)) 7) (pow (/ 1.0 (fabs x)) 7)) (pow (/ 1.0 (fabs x)) 7)) (sqrt (pow (/ 1.0 (fabs x)) 7)) (sqrt (pow (/ 1.0 (fabs x)) 7)) (pow (/ 1.0 (fabs x)) (/ 7 2)) (pow (/ 1.0 (fabs x)) (/ 7 2)) (* (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 1.0) (log (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* 1 5) (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5) (pow (cbrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 5) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 5) (pow (/ (cbrt 1.0) (fabs x)) 5) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) 1) 5) (pow (/ (sqrt 1.0) (fabs x)) 5) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ 1.0 (cbrt (fabs x))) 5) (pow (/ 1 (sqrt (fabs x))) 5) (pow (/ 1.0 (sqrt (fabs x))) 5) (pow (/ 1 1) 5) (pow (/ 1.0 (fabs x)) 5) (pow 1 5) (pow (/ 1.0 (fabs x)) 5) (pow 1.0 5) (pow (/ 1 (fabs x)) 5) (log (pow (/ 1.0 (fabs x)) 5)) (exp (pow (/ 1.0 (fabs x)) 5)) (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5))) (cbrt (pow (/ 1.0 (fabs x)) 5)) (* (* (pow (/ 1.0 (fabs x)) 5) (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) (/ 5 2)) (pow (/ 1.0 (fabs x)) (/ 5 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)) (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 7)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (* (/ 1.0 (sqrt PI)) (* (pow (exp (fabs x)) (fabs x)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (/ 3.0 4.0) (pow (/ 1.0 (fabs x)) 5)) (* (/ 15.0 8.0) (pow (/ 1.0 (fabs x)) 7))))))) 0.260 * * [simplify]: iteration 0 : 4987 enodes (cost 897 ) 0.261 * * [simplify]: iteration 1 : 4987 enodes (cost 897 ) 0.265 * [simplify]: Simplified to: (* (log (/ 1.0 (fabs x))) 7) (* (log (/ 1.0 (fabs x))) 7) (* (log (/ 1.0 (fabs x))) 7) 7 (pow (/ 1.0 (fabs x)) (* (cbrt 7) (cbrt 7))) (pow (/ 1.0 (fabs x)) (sqrt 7)) (/ 1.0 (fabs x)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 7) (pow (cbrt (/ 1.0 (fabs x))) 7) (pow (sqrt (/ 1.0 (fabs x))) 7) (pow (sqrt (/ 1.0 (fabs x))) 7) (pow (* (cbrt 1.0) (/ (cbrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x))))) 7) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 7) (pow (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (fabs x)))) 7) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 7) (pow (* (cbrt 1.0) (cbrt 1.0)) 7) (pow (/ (cbrt 1.0) (fabs x)) 7) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 7) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 7) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 7) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 7) (pow (sqrt 1.0) 7) (pow (/ (sqrt 1.0) (fabs x)) 7) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 7) (pow (/ 1.0 (cbrt (fabs x))) 7) (pow (/ 1 (sqrt (fabs x))) 7) (pow (/ 1.0 (sqrt (fabs x))) 7) 1 (pow (/ 1.0 (fabs x)) 7) 1 (pow (/ 1.0 (fabs x)) 7) (pow 1.0 7) (pow (/ 1 (fabs x)) 7) (* (log (/ 1.0 (fabs x))) 7) (exp (pow (/ 1.0 (fabs x)) 7)) (* (cbrt (pow (/ 1.0 (fabs x)) 7)) (cbrt (pow (/ 1.0 (fabs x)) 7))) (cbrt (pow (/ 1.0 (fabs x)) 7)) (pow (pow (/ 1.0 (fabs x)) 7) 3) (sqrt (pow (/ 1.0 (fabs x)) 7)) (sqrt (pow (/ 1.0 (fabs x)) 7)) (pow (/ 1.0 (fabs x)) 7/2) (pow (/ 1.0 (fabs x)) 7/2) (pow (fabs x) 2) (pow (fabs x) 2) (fabs x) (* (fabs x) (cbrt (fabs x))) (pow (fabs x) 3/2) (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 (exp (pow (fabs x) 2))) (* (cbrt (exp (pow (fabs x) 2))) (cbrt (exp (pow (fabs x) 2)))) (cbrt (exp (pow (fabs x) 2))) (pow (exp (pow (fabs x) 2)) 3) (sqrt (exp (pow (fabs x) 2))) (sqrt (exp (pow (fabs x) 2))) (pow (sqrt (exp (fabs x))) (fabs x)) (pow (sqrt (exp (fabs x))) (fabs x)) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) 5 (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 5)) (/ 1.0 (fabs x)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5) (pow (cbrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (* (cbrt 1.0) (/ (cbrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x))))) 5) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 5) (pow (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (fabs x)))) 5) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5) (pow (* (cbrt 1.0) (cbrt 1.0)) 5) (pow (/ (cbrt 1.0) (fabs x)) 5) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (sqrt 1.0) 5) (pow (/ (sqrt 1.0) (fabs x)) 5) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ 1.0 (cbrt (fabs x))) 5) (pow (/ 1 (sqrt (fabs x))) 5) (pow (/ 1.0 (sqrt (fabs x))) 5) 1 (pow (/ 1.0 (fabs x)) 5) 1 (pow (/ 1.0 (fabs x)) 5) (pow 1.0 5) (pow (/ 1 (fabs x)) 5) (* (log (/ 1.0 (fabs x))) 5) (exp (pow (/ 1.0 (fabs x)) 5)) (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5))) (cbrt (pow (/ 1.0 (fabs x)) 5)) (pow (pow (/ 1.0 (fabs x)) 5) 3) (sqrt (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5/2) (pow (/ 1.0 (fabs x)) 5/2) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt PI)) (fabs (cbrt PI)) (sqrt (cbrt PI)) (sqrt (sqrt PI)) (sqrt (sqrt PI)) 1 (sqrt PI) 1/2 (sqrt (sqrt PI)) (sqrt (sqrt PI)) (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 7)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (* (exp (pow (fabs x) 2)) (* (/ 1.0 (sqrt PI)) (+ (/ 1.0 (fabs x)) (+ (* (/ 1.0 2.0) (pow (/ 1.0 (fabs x)) 3)) (+ (* (pow (/ 1.0 (fabs x)) 5) (/ 3.0 4.0)) (* (pow (/ 1.0 (fabs x)) 7) (/ 15.0 8.0))))))) 0.266 * * * [progress]: adding candidates to table 0.541 * * [progress]: iteration 2 / 4 0.541 * * * [progress]: picking best candidate 0.615 * * * * [pick]: Picked # 0.615 * * * [progress]: localizing error 0.649 * * * [progress]: generating rewritten candidates 0.649 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.654 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 2) 0.658 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.659 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2) 0.667 * * * [progress]: generating series expansions 0.668 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.668 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0 0.668 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 0.668 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 0.668 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 0.668 * [taylor]: Taking taylor expansion of (fabs x) in x 0.668 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 0.668 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 0.668 * [taylor]: Taking taylor expansion of (fabs x) in x 0.668 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 0.668 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 0.668 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 0.668 * [taylor]: Taking taylor expansion of (fabs x) in x 0.668 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 0.668 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 0.668 * [taylor]: Taking taylor expansion of (fabs x) in x 0.677 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0 0.677 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 0.677 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 0.677 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 0.677 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.677 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 0.677 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 0.677 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.677 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 0.677 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 0.677 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 0.677 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.677 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 0.677 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 0.677 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.686 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0 0.686 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 0.686 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 0.686 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 0.686 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.686 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 0.686 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 0.686 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.687 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 0.687 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 0.687 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 0.687 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.687 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 0.687 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 0.687 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.696 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 2) 0.696 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0 0.696 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 0.696 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.696 * [taylor]: Taking taylor expansion of 1.0 in x 0.696 * [taylor]: Taking taylor expansion of (fabs x) in x 0.696 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 0.696 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.696 * [taylor]: Taking taylor expansion of 1.0 in x 0.696 * [taylor]: Taking taylor expansion of (fabs x) in x 0.699 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0 0.699 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 0.699 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.699 * [taylor]: Taking taylor expansion of 1.0 in x 0.699 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.699 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 0.699 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.700 * [taylor]: Taking taylor expansion of 1.0 in x 0.700 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.704 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0 0.704 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 0.704 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.704 * [taylor]: Taking taylor expansion of 1.0 in x 0.704 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.704 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 0.704 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.704 * [taylor]: Taking taylor expansion of 1.0 in x 0.704 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.708 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.708 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2) 0.708 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0 0.708 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.708 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.708 * [taylor]: Taking taylor expansion of 1.0 in x 0.708 * [taylor]: Taking taylor expansion of (fabs x) in x 0.708 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.708 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.708 * [taylor]: Taking taylor expansion of 1.0 in x 0.708 * [taylor]: Taking taylor expansion of (fabs x) in x 0.711 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0 0.711 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.711 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.711 * [taylor]: Taking taylor expansion of 1.0 in x 0.711 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.711 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.711 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.711 * [taylor]: Taking taylor expansion of 1.0 in x 0.711 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.714 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0 0.714 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.714 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.714 * [taylor]: Taking taylor expansion of 1.0 in x 0.714 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.714 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.714 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.714 * [taylor]: Taking taylor expansion of 1.0 in x 0.714 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.717 * * * [progress]: simplifying candidates 0.719 * [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 1.0) (log (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* 1 5) (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5) (pow (cbrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 5) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 5) (pow (/ (cbrt 1.0) (fabs x)) 5) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) 1) 5) (pow (/ (sqrt 1.0) (fabs x)) 5) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ 1.0 (cbrt (fabs x))) 5) (pow (/ 1 (sqrt (fabs x))) 5) (pow (/ 1.0 (sqrt (fabs x))) 5) (pow (/ 1 1) 5) (pow (/ 1.0 (fabs x)) 5) (pow 1 5) (pow (/ 1.0 (fabs x)) 5) (pow 1.0 5) (pow (/ 1 (fabs x)) 5) (log (pow (/ 1.0 (fabs x)) 5)) (exp (pow (/ 1.0 (fabs x)) 5)) (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5))) (cbrt (pow (/ 1.0 (fabs x)) 5)) (* (* (pow (/ 1.0 (fabs x)) 5) (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) (/ 5 2)) (pow (/ 1.0 (fabs x)) (/ 5 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)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) 0.757 * * [simplify]: iteration 0 : 5099 enodes (cost 967 ) 0.762 * [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 (exp (pow (fabs x) 2))) (* (cbrt (exp (pow (fabs x) 2))) (cbrt (exp (pow (fabs x) 2)))) (cbrt (exp (pow (fabs x) 2))) (pow (exp (pow (fabs x) 2)) 3) (sqrt (exp (pow (fabs x) 2))) (sqrt (exp (pow (fabs x) 2))) (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2)) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) 5 (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 5)) (/ 1.0 (fabs x)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5) (pow (cbrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5) (pow (cbrt (/ 1.0 (fabs x))) 5) (pow (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (fabs x)))) 5) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5) (pow (* (cbrt 1.0) (cbrt 1.0)) 5) (pow (/ (cbrt 1.0) (fabs x)) 5) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (sqrt 1.0) 5) (pow (/ (sqrt 1.0) (fabs x)) 5) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ 1.0 (cbrt (fabs x))) 5) (pow (/ 1 (sqrt (fabs x))) 5) (pow (/ 1.0 (sqrt (fabs x))) 5) 1 (pow (/ 1.0 (fabs x)) 5) 1 (pow (/ 1.0 (fabs x)) 5) (pow 1.0 5) (pow (/ 1 (fabs x)) 5) (* (log (/ 1.0 (fabs x))) 5) (exp (pow (/ 1.0 (fabs x)) 5)) (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5))) (cbrt (pow (/ 1.0 (fabs x)) 5)) (pow (pow (/ 1.0 (fabs x)) 5) 3) (sqrt (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5/2) (pow (/ 1.0 (fabs x)) 5/2) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt 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 (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 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 (pow (sqrt (fabs x)) 3)) 1.0) (/ 1.0 (pow (sqrt (fabs x)) 3)) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (/ (pow (fabs x) 2) (sqrt 1.0))) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (* 1.0 (sqrt 1.0)) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (/ 1 (pow (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) (/ 1 (pow (fabs x) 3)) (pow (/ 1.0 (fabs x)) 2) (* (log (/ 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 (pow (sqrt (fabs x)) 3)) 1.0) (/ 1.0 (pow (sqrt (fabs x)) 3)) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (/ (pow (fabs x) 2) (sqrt 1.0))) (/ 1.0 (/ (fabs x) (sqrt 1.0))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (* 1.0 (sqrt 1.0)) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (/ 1 (pow (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) (/ 1 (pow (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) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) 0.763 * * * [progress]: adding candidates to table 1.003 * * [progress]: iteration 3 / 4 1.003 * * * [progress]: picking best candidate 1.082 * * * * [pick]: Picked # 1.082 * * * [progress]: localizing error 1.117 * * * [progress]: generating rewritten candidates 1.117 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1 2) 1.122 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1.123 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2) 1.128 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 1.136 * * * [progress]: generating series expansions 1.136 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1 2) 1.136 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0 1.136 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 1.136 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.136 * [taylor]: Taking taylor expansion of 1.0 in x 1.136 * [taylor]: Taking taylor expansion of (fabs x) in x 1.136 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 1.136 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.136 * [taylor]: Taking taylor expansion of 1.0 in x 1.136 * [taylor]: Taking taylor expansion of (fabs x) in x 1.142 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0 1.142 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 1.142 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.142 * [taylor]: Taking taylor expansion of 1.0 in x 1.142 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.142 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 1.143 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.143 * [taylor]: Taking taylor expansion of 1.0 in x 1.143 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.147 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0 1.147 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 1.147 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.147 * [taylor]: Taking taylor expansion of 1.0 in x 1.147 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.147 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 1.147 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.147 * [taylor]: Taking taylor expansion of 1.0 in x 1.147 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.151 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1.151 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2) 1.151 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0 1.151 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 1.151 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.151 * [taylor]: Taking taylor expansion of 1.0 in x 1.151 * [taylor]: Taking taylor expansion of (fabs x) in x 1.151 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 1.151 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.151 * [taylor]: Taking taylor expansion of 1.0 in x 1.151 * [taylor]: Taking taylor expansion of (fabs x) in x 1.154 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0 1.154 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 1.154 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.154 * [taylor]: Taking taylor expansion of 1.0 in x 1.154 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.154 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 1.154 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.154 * [taylor]: Taking taylor expansion of 1.0 in x 1.154 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.157 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0 1.157 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 1.157 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.157 * [taylor]: Taking taylor expansion of 1.0 in x 1.157 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.157 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 1.157 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.157 * [taylor]: Taking taylor expansion of 1.0 in x 1.157 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.160 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 1.160 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (* 1/2 (fabs x))) in (x) around 0 1.160 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (* 1/2 (fabs x))) in x 1.160 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs x)) (log (exp (fabs x))))) in x 1.160 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs x)) (log (exp (fabs x)))) in x 1.160 * [taylor]: Taking taylor expansion of (* 1/2 (fabs x)) in x 1.160 * [taylor]: Taking taylor expansion of 1/2 in x 1.160 * [taylor]: Taking taylor expansion of (fabs x) in x 1.160 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 1.160 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 1.160 * [taylor]: Taking taylor expansion of (fabs x) in x 1.160 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (* 1/2 (fabs x))) in x 1.160 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs x)) (log (exp (fabs x))))) in x 1.160 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs x)) (log (exp (fabs x)))) in x 1.160 * [taylor]: Taking taylor expansion of (* 1/2 (fabs x)) in x 1.160 * [taylor]: Taking taylor expansion of 1/2 in x 1.161 * [taylor]: Taking taylor expansion of (fabs x) in x 1.161 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 1.161 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 1.161 * [taylor]: Taking taylor expansion of (fabs x) in x 1.169 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (* 1/2 (fabs (/ 1 x)))) in (x) around 0 1.169 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (* 1/2 (fabs (/ 1 x)))) in x 1.169 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x)))))) in x 1.169 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x))))) in x 1.169 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ 1 x))) in x 1.169 * [taylor]: Taking taylor expansion of 1/2 in x 1.169 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.169 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 1.169 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 1.169 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.170 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (* 1/2 (fabs (/ 1 x)))) in x 1.170 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x)))))) in x 1.170 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ 1 x))) (log (exp (fabs (/ 1 x))))) in x 1.170 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ 1 x))) in x 1.170 * [taylor]: Taking taylor expansion of 1/2 in x 1.170 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.170 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 1.170 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 1.170 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.179 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (* 1/2 (fabs (/ -1 x)))) in (x) around 0 1.179 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (* 1/2 (fabs (/ -1 x)))) in x 1.179 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x)))))) in x 1.179 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x))))) in x 1.179 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ -1 x))) in x 1.179 * [taylor]: Taking taylor expansion of 1/2 in x 1.180 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.180 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 1.180 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 1.180 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.180 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (* 1/2 (fabs (/ -1 x)))) in x 1.180 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x)))))) in x 1.180 * [taylor]: Taking taylor expansion of (* (* 1/2 (fabs (/ -1 x))) (log (exp (fabs (/ -1 x))))) in x 1.180 * [taylor]: Taking taylor expansion of (* 1/2 (fabs (/ -1 x))) in x 1.180 * [taylor]: Taking taylor expansion of 1/2 in x 1.180 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.180 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 1.180 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 1.180 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.190 * * * [progress]: simplifying candidates 1.191 * [simplify]: Simplifying using # : (* (- (log 1.0) (log (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* 1 5) (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5) (pow (cbrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 5) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 5) (pow (/ (cbrt 1.0) (fabs x)) 5) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) 1) 5) (pow (/ (sqrt 1.0) (fabs x)) 5) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ 1.0 (cbrt (fabs x))) 5) (pow (/ 1 (sqrt (fabs x))) 5) (pow (/ 1.0 (sqrt (fabs x))) 5) (pow (/ 1 1) 5) (pow (/ 1.0 (fabs x)) 5) (pow 1 5) (pow (/ 1.0 (fabs x)) 5) (pow 1.0 5) (pow (/ 1 (fabs x)) 5) (log (pow (/ 1.0 (fabs x)) 5)) (exp (pow (/ 1.0 (fabs x)) 5)) (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5))) (cbrt (pow (/ 1.0 (fabs x)) 5)) (* (* (pow (/ 1.0 (fabs x)) 5) (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) (/ 5 2)) (pow (/ 1.0 (fabs x)) (/ 5 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)) (* (fabs x) (/ (fabs x) 2)) (* (log (exp (fabs x))) (/ (fabs x) 2)) (* 1 (/ (fabs x) 2)) (* (cbrt (fabs x)) (/ (fabs x) 2)) (* (sqrt (fabs x)) (/ (fabs x) 2)) (* (fabs x) (/ (fabs x) 2)) (pow (exp (fabs x)) (* (cbrt (/ (fabs x) 2)) (cbrt (/ (fabs x) 2)))) (pow (exp (fabs x)) (sqrt (/ (fabs x) 2))) (pow (exp (fabs x)) (/ (* (cbrt (fabs x)) (cbrt (fabs x))) (* (cbrt 2) (cbrt 2)))) (pow (exp (fabs x)) (/ (* (cbrt (fabs x)) (cbrt (fabs x))) (sqrt 2))) (pow (exp (fabs x)) (/ (* (cbrt (fabs x)) (cbrt (fabs x))) 1)) (pow (exp (fabs x)) (/ (sqrt (fabs x)) (* (cbrt 2) (cbrt 2)))) (pow (exp (fabs x)) (/ (sqrt (fabs x)) (sqrt 2))) (pow (exp (fabs x)) (/ (sqrt (fabs x)) 1)) (pow (exp (fabs x)) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (exp (fabs x)) (/ 1 (sqrt 2))) (pow (exp (fabs x)) (/ 1 1)) (pow (exp (fabs x)) 1) (pow (exp (fabs x)) (fabs x)) (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (/ (fabs x) 2)) (pow (cbrt (exp (fabs x))) (/ (fabs x) 2)) (pow (sqrt (exp (fabs x))) (/ (fabs x) 2)) (pow (sqrt (exp (fabs x))) (/ (fabs x) 2)) (pow 1 (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2)) (log (pow (exp (fabs x)) (/ (fabs x) 2))) (exp (pow (exp (fabs x)) (/ (fabs x) 2))) (* (cbrt (pow (exp (fabs x)) (/ (fabs x) 2))) (cbrt (pow (exp (fabs x)) (/ (fabs x) 2)))) (cbrt (pow (exp (fabs x)) (/ (fabs x) 2))) (* (* (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2))) (pow (exp (fabs x)) (/ (fabs x) 2))) (sqrt (pow (exp (fabs x)) (/ (fabs x) 2))) (sqrt (pow (exp (fabs x)) (/ (fabs x) 2))) (pow (exp (fabs x)) (/ (/ (fabs x) 2) 2)) (pow (exp (fabs x)) (/ (/ (fabs x) 2) 2)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (exp (* 1/2 (pow (fabs x) 2))) (exp (* 1/2 (pow (fabs x) 2))) (exp (* 1/2 (pow (fabs x) 2))) 1.243 * * [simplify]: iteration 0 : 5832 enodes (cost 1131 ) 1.248 * [simplify]: Simplified to: (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) 5 (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 5)) (/ 1.0 (fabs x)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5) (pow (cbrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5) (pow (cbrt (/ 1.0 (fabs x))) 5) (pow (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (fabs x)))) 5) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5) (pow (* (cbrt 1.0) (cbrt 1.0)) 5) (pow (/ (cbrt 1.0) (fabs x)) 5) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (sqrt 1.0) 5) (pow (/ (sqrt 1.0) (fabs x)) 5) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ 1.0 (cbrt (fabs x))) 5) (pow (/ 1 (sqrt (fabs x))) 5) (pow (/ 1.0 (sqrt (fabs x))) 5) 1 (pow (/ 1.0 (fabs x)) 5) 1 (pow (/ 1.0 (fabs x)) 5) (pow 1.0 5) (pow (/ 1 (fabs x)) 5) (* (log (/ 1.0 (fabs x))) 5) (exp (pow (/ 1.0 (fabs x)) 5)) (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5))) (cbrt (pow (/ 1.0 (fabs x)) 5)) (pow (pow (/ 1.0 (fabs x)) 5) 3) (sqrt (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5/2) (pow (/ 1.0 (fabs x)) 5/2) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt 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 (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 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 (pow (sqrt (fabs x)) 3)) 1.0) (/ 1.0 (pow (sqrt (fabs x)) 3)) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (* (sqrt 1.0) (/ 1.0 (pow (fabs x) 2))) (* 1.0 (/ (sqrt 1.0) (fabs x))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (* 1.0 (sqrt 1.0)) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (/ 1 (pow (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) (/ 1 (pow (fabs x) 3)) (pow (/ 1.0 (fabs x)) 2) (* (log (/ 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 (pow (sqrt (fabs x)) 3)) 1.0) (/ 1.0 (pow (sqrt (fabs x)) 3)) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (* (sqrt 1.0) (/ 1.0 (pow (fabs x) 2))) (* 1.0 (/ (sqrt 1.0) (fabs x))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (* 1.0 (sqrt 1.0)) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (pow (fabs x) 2)) (/ (pow 1.0 3) (fabs x)) (/ 1 (pow (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) (/ 1 (pow (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) (/ (pow (fabs x) 2) 2) (/ (pow (fabs x) 2) 2) (/ (fabs x) 2) (/ (pow (cbrt (fabs x)) 4) 2) (/ (pow (sqrt (fabs x)) 3) 2) (/ (pow (fabs x) 2) 2) (pow (exp (fabs x)) (* (cbrt (/ (fabs x) 2)) (cbrt (/ (fabs x) 2)))) (pow (exp (fabs x)) (sqrt (/ (fabs x) 2))) (pow (exp (fabs x)) (* (/ (cbrt (fabs x)) (cbrt 2)) (/ (cbrt (fabs x)) (cbrt 2)))) (pow (exp (fabs x)) (* (/ (cbrt (fabs x)) (sqrt 2)) (cbrt (fabs x)))) (pow (exp (fabs x)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (pow (exp (fabs x)) (/ (sqrt (fabs x)) (* (cbrt 2) (cbrt 2)))) (pow (exp (fabs x)) (/ (sqrt (fabs x)) (sqrt 2))) (pow (exp (fabs x)) (sqrt (fabs x))) (pow (exp (fabs x)) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (exp (fabs x)) (/ 1 (sqrt 2))) (exp (fabs x)) (exp (fabs x)) (exp (pow (fabs x) 2)) (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (/ (fabs x) 2)) (pow (cbrt (exp (fabs x))) (/ (fabs x) 2)) (pow (sqrt (exp (fabs x))) (/ (fabs x) 2)) (pow (sqrt (exp (fabs x))) (/ (fabs x) 2)) 1 (pow (exp (fabs x)) (/ (fabs x) 2)) (/ (pow (fabs x) 2) 2) (exp (pow (exp (fabs x)) (/ (fabs x) 2))) (* (cbrt (pow (exp (fabs x)) (/ (fabs x) 2))) (cbrt (pow (exp (fabs x)) (/ (fabs x) 2)))) (cbrt (pow (exp (fabs x)) (/ (fabs x) 2))) (pow (pow (exp (fabs x)) (/ (fabs x) 2)) 3) (sqrt (pow (exp (fabs x)) (/ (fabs x) 2))) (sqrt (pow (exp (fabs x)) (/ (fabs x) 2))) (pow (exp (fabs x)) (/ (fabs x) 4)) (pow (exp (fabs x)) (/ (fabs x) 4)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (pow (exp (fabs x)) (/ (fabs x) 2)) (pow (exp (fabs x)) (/ (fabs x) 2)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (sqrt (exp (pow (fabs x) 2))) (sqrt (exp (pow (fabs x) 2))) (sqrt (exp (pow (fabs x) 2))) 1.249 * * * [progress]: adding candidates to table 1.588 * * [progress]: iteration 4 / 4 1.588 * * * [progress]: picking best candidate 1.706 * * * * [pick]: Picked # 1.706 * * * [progress]: localizing error 1.747 * * * [progress]: generating rewritten candidates 1.747 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2) 1.755 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 2) 1.759 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 1.761 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 1.772 * * * [progress]: generating series expansions 1.773 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2) 1.773 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0 1.773 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 1.773 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.773 * [taylor]: Taking taylor expansion of 1.0 in x 1.773 * [taylor]: Taking taylor expansion of (fabs x) in x 1.773 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 1.773 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.773 * [taylor]: Taking taylor expansion of 1.0 in x 1.773 * [taylor]: Taking taylor expansion of (fabs x) in x 1.776 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0 1.776 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 1.776 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.776 * [taylor]: Taking taylor expansion of 1.0 in x 1.776 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.776 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 1.776 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.776 * [taylor]: Taking taylor expansion of 1.0 in x 1.776 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.779 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0 1.779 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 1.779 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.779 * [taylor]: Taking taylor expansion of 1.0 in x 1.779 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.779 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 1.779 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.779 * [taylor]: Taking taylor expansion of 1.0 in x 1.779 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.782 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 2) 1.782 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0 1.782 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 1.782 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.782 * [taylor]: Taking taylor expansion of 1.0 in x 1.782 * [taylor]: Taking taylor expansion of (fabs x) in x 1.782 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 1.782 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.782 * [taylor]: Taking taylor expansion of 1.0 in x 1.782 * [taylor]: Taking taylor expansion of (fabs x) in x 1.786 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0 1.786 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 1.786 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.786 * [taylor]: Taking taylor expansion of 1.0 in x 1.786 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.786 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 1.786 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.786 * [taylor]: Taking taylor expansion of 1.0 in x 1.786 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.790 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0 1.790 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 1.790 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.790 * [taylor]: Taking taylor expansion of 1.0 in x 1.790 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.790 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 1.790 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.790 * [taylor]: Taking taylor expansion of 1.0 in x 1.790 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.794 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.794 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 1 1) 1.794 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0 1.794 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 1.794 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.794 * [taylor]: Taking taylor expansion of 1.0 in x 1.794 * [taylor]: Taking taylor expansion of (fabs x) in x 1.794 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 1.794 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.794 * [taylor]: Taking taylor expansion of 1.0 in x 1.794 * [taylor]: Taking taylor expansion of (fabs x) in x 1.797 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0 1.797 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 1.797 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.797 * [taylor]: Taking taylor expansion of 1.0 in x 1.797 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.797 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 1.797 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.797 * [taylor]: Taking taylor expansion of 1.0 in x 1.797 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.800 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0 1.800 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 1.800 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.800 * [taylor]: Taking taylor expansion of 1.0 in x 1.800 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.800 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 1.800 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.800 * [taylor]: Taking taylor expansion of 1.0 in x 1.800 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.803 * * * [progress]: simplifying candidates 1.805 * [simplify]: Simplifying using # : (log (* (cbrt (exp (pow (/ 1.0 (fabs x)) 3))) (cbrt (exp (pow (/ 1.0 (fabs x)) 3))))) (log (cbrt (exp (pow (/ 1.0 (fabs x)) 3)))) (log (sqrt (exp (pow (/ 1.0 (fabs x)) 3)))) (log (sqrt (exp (pow (/ 1.0 (fabs x)) 3)))) (log 1) (log (exp (pow (/ 1.0 (fabs x)) 3))) (log (exp (pow (/ 1.0 (fabs x)) 3))) (log (exp (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3))) (log (exp (pow (sqrt (/ 1.0 (fabs x))) 3))) (log (exp (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3))) (log (exp (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3))) (log (exp (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3))) (log (exp (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3))) (log (exp (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3))) (log (exp (pow (/ (sqrt 1.0) 1) 3))) (log (exp (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3))) (log (exp (pow (/ 1 (sqrt (fabs x))) 3))) (log (exp (pow (/ 1 1) 3))) (log (exp (pow 1 3))) (log (exp (pow 1.0 3))) (log (exp (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))))) (log (exp (* (cbrt (pow (/ 1.0 (fabs x)) 3)) (cbrt (pow (/ 1.0 (fabs x)) 3))))) (log (exp (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 3))) (log (exp (pow (sqrt (/ 1.0 (fabs x))) 3))) (log (exp (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3))) (log (exp (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 3))) (log (exp (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 3))) (log (exp (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 3))) (log (exp (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3))) (log (exp (pow (/ (sqrt 1.0) 1) 3))) (log (exp (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 3))) (log (exp (pow (/ 1 (sqrt (fabs x))) 3))) (log (exp (pow (/ 1 1) 3))) (log (exp (pow 1 3))) (log (exp (pow 1.0 3))) (log (exp (/ 1.0 (fabs x)))) (log (exp (sqrt (pow (/ 1.0 (fabs x)) 3)))) (log (exp 1)) (log (exp (pow (/ 1.0 (fabs x)) (/ 3 2)))) (log (log (exp (pow (/ 1.0 (fabs x)) 3)))) (exp (log (exp (pow (/ 1.0 (fabs x)) 3)))) (* (cbrt (log (exp (pow (/ 1.0 (fabs x)) 3)))) (cbrt (log (exp (pow (/ 1.0 (fabs x)) 3))))) (cbrt (log (exp (pow (/ 1.0 (fabs x)) 3)))) (* (* (log (exp (pow (/ 1.0 (fabs x)) 3))) (log (exp (pow (/ 1.0 (fabs x)) 3)))) (log (exp (pow (/ 1.0 (fabs x)) 3)))) (sqrt (log (exp (pow (/ 1.0 (fabs x)) 3)))) (sqrt (log (exp (pow (/ 1.0 (fabs x)) 3)))) (* (- (log 1.0) (log (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* 1 5) (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5) (pow (cbrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (cbrt 1.0) (cbrt (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) 5) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 5) (pow (/ (cbrt 1.0) (fabs x)) 5) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) 1) 5) (pow (/ (sqrt 1.0) (fabs x)) 5) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ 1.0 (cbrt (fabs x))) 5) (pow (/ 1 (sqrt (fabs x))) 5) (pow (/ 1.0 (sqrt (fabs x))) 5) (pow (/ 1 1) 5) (pow (/ 1.0 (fabs x)) 5) (pow 1 5) (pow (/ 1.0 (fabs x)) 5) (pow 1.0 5) (pow (/ 1 (fabs x)) 5) (log (pow (/ 1.0 (fabs x)) 5)) (exp (pow (/ 1.0 (fabs x)) 5)) (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5))) (cbrt (pow (/ 1.0 (fabs x)) 5)) (* (* (pow (/ 1.0 (fabs x)) 5) (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) (/ 5 2)) (pow (/ 1.0 (fabs x)) (/ 5 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)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (exp (pow (/ 1.0 (fabs x)) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) 1.829 * * [simplify]: iteration 0 : 5061 enodes (cost 1097 ) 1.834 * [simplify]: Simplified to: (* 2 (log (cbrt (exp (pow (/ 1.0 (fabs x)) 3))))) (log (cbrt (exp (pow (/ 1.0 (fabs x)) 3)))) (log (sqrt (exp (pow (/ 1.0 (fabs x)) 3)))) (log (sqrt (exp (pow (/ 1.0 (fabs x)) 3)))) (log 1) (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (* (/ 1.0 (pow (sqrt (fabs x)) 3)) 1.0) (* 1.0 1.0) (* (/ 1.0 (fabs x)) (/ (sqrt 1.0) (fabs x))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (* 1.0 (sqrt 1.0)) (/ 1 (* (fabs x) (fabs x))) (/ 1 (pow (sqrt (fabs x)) 3)) 1 1 (pow 1.0 3) (pow (/ 1.0 (fabs x)) 2) (pow (/ 1.0 (fabs x)) 2) (pow (/ 1.0 (fabs x)) 2) (pow (/ 1.0 (fabs x)) 3/2) (pow (/ 1.0 (fabs x)) 2) (* (/ 1.0 (pow (sqrt (fabs x)) 3)) 1.0) (* 1.0 1.0) (* (/ 1.0 (fabs x)) (/ (sqrt 1.0) (fabs x))) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (* 1.0 (sqrt 1.0)) (/ 1 (* (fabs x) (fabs x))) (/ 1 (pow (sqrt (fabs x)) 3)) 1 1 (pow 1.0 3) (/ 1.0 (fabs x)) (sqrt (pow (/ 1.0 (fabs x)) 3)) 1 (pow (/ 1.0 (fabs x)) 3/2) (* 3 (log (/ 1.0 (fabs x)))) (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) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) 5 (pow (/ 1.0 (fabs x)) (* (cbrt 5) (cbrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 5)) (/ 1.0 (fabs x)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5) (pow (cbrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (sqrt (/ 1.0 (fabs x))) 5) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) 5) (pow (cbrt (/ 1.0 (fabs x))) 5) (pow (* (/ (cbrt 1.0) (sqrt (fabs x))) (cbrt 1.0)) 5) (pow (/ (cbrt 1.0) (sqrt (fabs x))) 5) (pow (* (cbrt 1.0) (cbrt 1.0)) 5) (pow (/ (cbrt 1.0) (fabs x)) 5) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ (sqrt 1.0) (cbrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 5) (pow (sqrt 1.0) 5) (pow (/ (sqrt 1.0) (fabs x)) 5) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) 5) (pow (/ 1.0 (cbrt (fabs x))) 5) (pow (/ 1 (sqrt (fabs x))) 5) (pow (/ 1.0 (sqrt (fabs x))) 5) 1 (pow (/ 1.0 (fabs x)) 5) 1 (pow (/ 1.0 (fabs x)) 5) (pow 1.0 5) (pow (/ 1 (fabs x)) 5) (* (log (/ 1.0 (fabs x))) 5) (exp (pow (/ 1.0 (fabs x)) 5)) (* (cbrt (pow (/ 1.0 (fabs x)) 5)) (cbrt (pow (/ 1.0 (fabs x)) 5))) (cbrt (pow (/ 1.0 (fabs x)) 5)) (pow (pow (/ 1.0 (fabs x)) 5) 3) (sqrt (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (pow (/ 1.0 (fabs x)) 5/2) (pow (/ 1.0 (fabs x)) 5/2) (log (sqrt PI)) (exp (sqrt PI)) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI)) (* PI (sqrt 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 (log (/ 1.0 (fabs x)))) (* 3 (log (/ 1.0 (fabs x)))) (* 3 (log (/ 1.0 (fabs x)))) 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 (pow (sqrt (fabs x)) 3)) 1.0) (/ 1.0 (pow (sqrt (fabs x)) 3)) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (* (/ 1.0 (fabs x)) (/ (sqrt 1.0) (fabs x))) (* (/ 1.0 (fabs x)) (sqrt 1.0)) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (* 1.0 (sqrt 1.0)) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (* (fabs x) (fabs x))) (/ (pow 1.0 3) (fabs x)) (/ 1 (pow (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) (/ 1 (pow (fabs x) 3)) (pow (/ 1.0 (fabs x)) 2) (* 3 (log (/ 1.0 (fabs x)))) (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 (pow (sqrt (fabs x)) 3)) 1.0) (/ 1.0 (pow (sqrt (fabs x)) 3)) (* 1.0 1.0) (/ 1.0 (pow (fabs x) 3)) (* (/ 1.0 (fabs x)) (/ (sqrt 1.0) (fabs x))) (* (/ 1.0 (fabs x)) (sqrt 1.0)) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (pow (/ (sqrt 1.0) (sqrt (fabs x))) 3) (* 1.0 (sqrt 1.0)) (pow (/ (sqrt 1.0) (fabs x)) 3) (/ 1 (* (fabs x) (fabs x))) (/ (pow 1.0 3) (fabs x)) (/ 1 (pow (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) (/ 1 (pow (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) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (exp (pow (/ 1.0 (fabs x)) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) (/ 1.0 (pow (fabs x) 3)) 1.835 * * * [progress]: adding candidates to table 2.200 * [progress]: [Phase 3 of 3] Extracting. 2.200 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # # # # #) 2.224 * * * [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.224 * * * * [regimes]: Trying to branch on (fabs x) from (# # # # # # # # # # # # # # # # # # # # # # # #) 2.386 * * * * [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.579 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # # # # # # # # # #) 2.735 * * * [regime]: Found split indices: #