5.604 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.067 * * * [progress]: [2/2] Setting up program. 0.072 * [progress]: [Phase 2 of 3] Improving. 0.072 * [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.095 * * [progress]: iteration 1 / 4 0.095 * * * [progress]: picking best candidate 0.105 * * * * [pick]: Picked # 0.105 * * * [progress]: localizing error 0.137 * * * [progress]: generating rewritten candidates 0.137 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2 2) 0.141 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 2) 0.146 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.149 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.152 * * * [progress]: generating series expansions 0.152 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2 2) 0.152 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in (x) around 0 0.152 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in x 0.152 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.152 * [taylor]: Taking taylor expansion of 1.0 in x 0.152 * [taylor]: Taking taylor expansion of (fabs x) in x 0.152 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 7) in x 0.153 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.153 * [taylor]: Taking taylor expansion of 1.0 in x 0.153 * [taylor]: Taking taylor expansion of (fabs x) in x 0.156 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in (x) around 0 0.156 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in x 0.157 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.157 * [taylor]: Taking taylor expansion of 1.0 in x 0.157 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.157 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 7) in x 0.157 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.157 * [taylor]: Taking taylor expansion of 1.0 in x 0.157 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.161 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in (x) around 0 0.161 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in x 0.161 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.161 * [taylor]: Taking taylor expansion of 1.0 in x 0.161 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.161 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 7) in x 0.161 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.161 * [taylor]: Taking taylor expansion of 1.0 in x 0.161 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.166 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 2) 0.166 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0 0.166 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 0.166 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.166 * [taylor]: Taking taylor expansion of 1.0 in x 0.166 * [taylor]: Taking taylor expansion of (fabs x) in x 0.166 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 0.166 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.166 * [taylor]: Taking taylor expansion of 1.0 in x 0.166 * [taylor]: Taking taylor expansion of (fabs x) in x 0.170 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0 0.170 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 0.170 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.170 * [taylor]: Taking taylor expansion of 1.0 in x 0.170 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.170 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 0.170 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.170 * [taylor]: Taking taylor expansion of 1.0 in x 0.170 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.174 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0 0.174 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 0.174 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.174 * [taylor]: Taking taylor expansion of 1.0 in x 0.174 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.174 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 0.174 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.174 * [taylor]: Taking taylor expansion of 1.0 in x 0.174 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.180 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.180 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0 0.180 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 0.180 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 0.180 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 0.180 * [taylor]: Taking taylor expansion of (fabs x) in x 0.180 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 0.180 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 0.180 * [taylor]: Taking taylor expansion of (fabs x) in x 0.180 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 0.180 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 0.180 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 0.180 * [taylor]: Taking taylor expansion of (fabs x) in x 0.180 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 0.180 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 0.180 * [taylor]: Taking taylor expansion of (fabs x) in x 0.189 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0 0.189 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 0.189 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 0.189 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 0.189 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.189 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 0.189 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 0.189 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.189 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 0.189 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 0.189 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 0.189 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.189 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 0.189 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 0.189 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.198 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0 0.198 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 0.198 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 0.198 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 0.198 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.198 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 0.198 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 0.198 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.198 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 0.198 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 0.198 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 0.198 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.198 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 0.198 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 0.198 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.207 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.207 * * * [progress]: simplifying candidates 0.208 * [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)) (* (- (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)) (* (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)) (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 7)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (* (/ 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.235 * * [simplify]: iteration 0 : 4958 enodes (cost 897 ) 0.235 * * [simplify]: iteration 1 : 4958 enodes (cost 897 ) 0.240 * [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) (* (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) (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 (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)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (* (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.240 * * * [progress]: adding candidates to table 0.505 * * [progress]: iteration 2 / 4 0.505 * * * [progress]: picking best candidate 0.591 * * * * [pick]: Picked # 0.591 * * * [progress]: localizing error 0.624 * * * [progress]: generating rewritten candidates 0.624 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1 2) 0.628 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.631 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.633 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2) 0.640 * * * [progress]: generating series expansions 0.640 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1 2) 0.641 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0 0.641 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 0.641 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.641 * [taylor]: Taking taylor expansion of 1.0 in x 0.641 * [taylor]: Taking taylor expansion of (fabs x) in x 0.641 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 0.641 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.641 * [taylor]: Taking taylor expansion of 1.0 in x 0.641 * [taylor]: Taking taylor expansion of (fabs x) in x 0.644 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0 0.644 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 0.644 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.644 * [taylor]: Taking taylor expansion of 1.0 in x 0.644 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.644 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 0.644 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.644 * [taylor]: Taking taylor expansion of 1.0 in x 0.644 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.648 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0 0.648 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 0.648 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.648 * [taylor]: Taking taylor expansion of 1.0 in x 0.648 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.648 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 0.648 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.648 * [taylor]: Taking taylor expansion of 1.0 in x 0.648 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.654 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.654 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0 0.654 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 0.655 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 0.655 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 0.655 * [taylor]: Taking taylor expansion of (fabs x) in x 0.655 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 0.655 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 0.655 * [taylor]: Taking taylor expansion of (fabs x) in x 0.655 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 0.655 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 0.655 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 0.655 * [taylor]: Taking taylor expansion of (fabs x) in x 0.655 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 0.655 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 0.655 * [taylor]: Taking taylor expansion of (fabs x) in x 0.663 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0 0.663 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 0.663 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 0.663 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 0.663 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.663 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 0.663 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 0.663 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.663 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 0.663 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 0.663 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 0.663 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.663 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 0.663 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 0.663 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.672 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0 0.672 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 0.672 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 0.672 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 0.672 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.672 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 0.672 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 0.672 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.672 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 0.672 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 0.672 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 0.672 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.672 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 0.672 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 0.672 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.681 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.681 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2) 0.681 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in (x) around 0 0.681 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.681 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.681 * [taylor]: Taking taylor expansion of 1.0 in x 0.681 * [taylor]: Taking taylor expansion of (fabs x) in x 0.681 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 3) in x 0.681 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 0.681 * [taylor]: Taking taylor expansion of 1.0 in x 0.681 * [taylor]: Taking taylor expansion of (fabs x) in x 0.684 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in (x) around 0 0.684 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.684 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.684 * [taylor]: Taking taylor expansion of 1.0 in x 0.684 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.684 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 3) in x 0.684 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 0.684 * [taylor]: Taking taylor expansion of 1.0 in x 0.684 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 0.687 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in (x) around 0 0.687 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.687 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.687 * [taylor]: Taking taylor expansion of 1.0 in x 0.687 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.687 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 3) in x 0.687 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 0.687 * [taylor]: Taking taylor expansion of 1.0 in x 0.687 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 0.690 * * * [progress]: simplifying candidates 0.692 * [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)) (* (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)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (/ 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.726 * * [simplify]: iteration 0 : 5158 enodes (cost 967 ) 0.731 * [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) (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 (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) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (/ 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.731 * * * [progress]: adding candidates to table 0.964 * * [progress]: iteration 3 / 4 0.965 * * * [progress]: picking best candidate 1.055 * * * * [pick]: Picked # 1.055 * * * [progress]: localizing error 1.098 * * * [progress]: generating rewritten candidates 1.099 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1 2) 1.105 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.109 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 1.110 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 1 2 1) 1.119 * * * [progress]: generating series expansions 1.119 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1 2) 1.119 * [approximate]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5)) in (x) around 0 1.119 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5)) in x 1.119 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (/ 1.0 (fabs x)) (sqrt 5))))) in x 1.119 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (/ 1.0 (fabs x)) (sqrt 5)))) in x 1.119 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.119 * [taylor]: Taking taylor expansion of 5 in x 1.119 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs x)) (sqrt 5))) in x 1.119 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) (sqrt 5)) in x 1.119 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs x))))) in x 1.119 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs x)))) in x 1.119 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.119 * [taylor]: Taking taylor expansion of 5 in x 1.119 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs x))) in x 1.119 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.119 * [taylor]: Taking taylor expansion of 1.0 in x 1.119 * [taylor]: Taking taylor expansion of (fabs x) in x 1.120 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5)) in x 1.120 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (/ 1.0 (fabs x)) (sqrt 5))))) in x 1.120 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (/ 1.0 (fabs x)) (sqrt 5)))) in x 1.120 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.120 * [taylor]: Taking taylor expansion of 5 in x 1.120 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs x)) (sqrt 5))) in x 1.120 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) (sqrt 5)) in x 1.120 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs x))))) in x 1.120 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs x)))) in x 1.120 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.120 * [taylor]: Taking taylor expansion of 5 in x 1.120 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs x))) in x 1.120 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.120 * [taylor]: Taking taylor expansion of 1.0 in x 1.120 * [taylor]: Taking taylor expansion of (fabs x) in x 1.135 * [approximate]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5)) (sqrt 5)) in (x) around 0 1.135 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5)) (sqrt 5)) in x 1.135 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5))))) in x 1.135 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5)))) in x 1.135 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.135 * [taylor]: Taking taylor expansion of 5 in x 1.136 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5))) in x 1.136 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5)) in x 1.136 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs (/ 1 x)))))) in x 1.136 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs (/ 1 x))))) in x 1.136 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.136 * [taylor]: Taking taylor expansion of 5 in x 1.136 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ 1 x)))) in x 1.136 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.136 * [taylor]: Taking taylor expansion of 1.0 in x 1.136 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.136 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5)) (sqrt 5)) in x 1.136 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5))))) in x 1.136 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5)))) in x 1.136 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.136 * [taylor]: Taking taylor expansion of 5 in x 1.136 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5))) in x 1.136 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5)) in x 1.136 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs (/ 1 x)))))) in x 1.136 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs (/ 1 x))))) in x 1.136 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.136 * [taylor]: Taking taylor expansion of 5 in x 1.136 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ 1 x)))) in x 1.136 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.137 * [taylor]: Taking taylor expansion of 1.0 in x 1.137 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.153 * [approximate]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5)) (sqrt 5)) in (x) around 0 1.153 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5)) (sqrt 5)) in x 1.153 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5))))) in x 1.153 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5)))) in x 1.153 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.153 * [taylor]: Taking taylor expansion of 5 in x 1.153 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5))) in x 1.153 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5)) in x 1.153 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs (/ -1 x)))))) in x 1.153 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs (/ -1 x))))) in x 1.153 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.153 * [taylor]: Taking taylor expansion of 5 in x 1.153 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ -1 x)))) in x 1.153 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.153 * [taylor]: Taking taylor expansion of 1.0 in x 1.153 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.153 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5)) (sqrt 5)) in x 1.153 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5))))) in x 1.154 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5)))) in x 1.154 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.154 * [taylor]: Taking taylor expansion of 5 in x 1.154 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5))) in x 1.154 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5)) in x 1.154 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs (/ -1 x)))))) in x 1.154 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs (/ -1 x))))) in x 1.154 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.154 * [taylor]: Taking taylor expansion of 5 in x 1.154 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ -1 x)))) 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.170 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.170 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0 1.170 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 1.170 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 1.170 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 1.170 * [taylor]: Taking taylor expansion of (fabs x) in x 1.170 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 1.170 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 1.170 * [taylor]: Taking taylor expansion of (fabs x) in x 1.171 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 1.171 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 1.171 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 1.171 * [taylor]: Taking taylor expansion of (fabs x) in x 1.171 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 1.171 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 1.171 * [taylor]: Taking taylor expansion of (fabs x) in x 1.179 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0 1.179 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 1.179 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 1.179 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 1.179 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.179 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 1.179 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 1.179 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.179 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 1.179 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 1.179 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 1.179 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.179 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 1.179 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 1.179 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.190 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0 1.191 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 1.191 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 1.191 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 1.191 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.191 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 1.191 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 1.191 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.191 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 1.191 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 1.191 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 1.191 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.191 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 1.191 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 1.191 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.200 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.200 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 1 2 1) 1.200 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) (sqrt 5)) in (x) around 0 1.200 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) (sqrt 5)) in x 1.200 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs x))))) in x 1.200 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs x)))) in x 1.200 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.200 * [taylor]: Taking taylor expansion of 5 in x 1.200 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs x))) in x 1.200 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.200 * [taylor]: Taking taylor expansion of 1.0 in x 1.200 * [taylor]: Taking taylor expansion of (fabs x) in x 1.200 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) (sqrt 5)) in x 1.200 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs x))))) in x 1.200 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs x)))) in x 1.200 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.200 * [taylor]: Taking taylor expansion of 5 in x 1.200 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs x))) in x 1.200 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.200 * [taylor]: Taking taylor expansion of 1.0 in x 1.200 * [taylor]: Taking taylor expansion of (fabs x) in x 1.208 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5)) in (x) around 0 1.208 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5)) in x 1.208 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs (/ 1 x)))))) in x 1.208 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs (/ 1 x))))) in x 1.208 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.208 * [taylor]: Taking taylor expansion of 5 in x 1.208 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ 1 x)))) in x 1.208 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.208 * [taylor]: Taking taylor expansion of 1.0 in x 1.208 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.208 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) (sqrt 5)) in x 1.208 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs (/ 1 x)))))) in x 1.208 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs (/ 1 x))))) in x 1.209 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.209 * [taylor]: Taking taylor expansion of 5 in x 1.209 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ 1 x)))) in x 1.209 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.209 * [taylor]: Taking taylor expansion of 1.0 in x 1.209 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.217 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5)) in (x) around 0 1.217 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5)) in x 1.217 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs (/ -1 x)))))) in x 1.217 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs (/ -1 x))))) in x 1.217 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.217 * [taylor]: Taking taylor expansion of 5 in x 1.217 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ -1 x)))) in x 1.217 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.217 * [taylor]: Taking taylor expansion of 1.0 in x 1.217 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.217 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) (sqrt 5)) in x 1.217 * [taylor]: Taking taylor expansion of (exp (* (sqrt 5) (log (/ 1.0 (fabs (/ -1 x)))))) in x 1.217 * [taylor]: Taking taylor expansion of (* (sqrt 5) (log (/ 1.0 (fabs (/ -1 x))))) in x 1.218 * [taylor]: Taking taylor expansion of (sqrt 5) in x 1.218 * [taylor]: Taking taylor expansion of 5 in x 1.218 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ -1 x)))) in x 1.218 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.218 * [taylor]: Taking taylor expansion of 1.0 in x 1.218 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.226 * * * [progress]: simplifying candidates 1.228 * [simplify]: Simplifying using # : (* (* (- (log 1.0) (log (fabs x))) (sqrt 5)) (sqrt 5)) (* (* (log (/ 1.0 (fabs x))) (sqrt 5)) (sqrt 5)) (* (* (log (/ 1.0 (fabs x))) (sqrt 5)) (sqrt 5)) (* (log (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt 5)) (* (log (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt 5)) (* (sqrt 5) (sqrt 5)) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (* (cbrt (sqrt 5)) (cbrt (sqrt 5)))) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt (* (cbrt 5) (cbrt 5)))) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt (sqrt 5))) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 1)) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt (sqrt 5))) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) 1) (pow (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (/ 1.0 (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (sqrt (/ 1.0 (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (sqrt (/ 1.0 (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (cbrt 1.0) (cbrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (cbrt 1.0) (sqrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt 5)) (sqrt 5)) (pow (pow (/ (cbrt 1.0) (fabs x)) (sqrt 5)) (sqrt 5)) (pow (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (sqrt 1.0) (cbrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (sqrt 1.0) (sqrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (sqrt 1.0) (sqrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (sqrt 1.0) 1) (sqrt 5)) (sqrt 5)) (pow (pow (/ (sqrt 1.0) (fabs x)) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1.0 (cbrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1 (sqrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1.0 (sqrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1 1) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5)) (pow (pow 1 (sqrt 5)) (sqrt 5)) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5)) (pow (pow 1.0 (sqrt 5)) (sqrt 5)) (pow (pow (/ 1 (fabs x)) (sqrt 5)) (sqrt 5)) (pow (* (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5)))) (sqrt 5)) (pow (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt 5)) (pow (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt 5)) (pow (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt 5)) (pow 1 (sqrt 5)) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1.0 (fabs x)) (/ (sqrt 5) 2)) (sqrt 5)) (pow (pow (/ 1.0 (fabs x)) (/ (sqrt 5) 2)) (sqrt 5)) (log (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5))) (exp (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5))) (* (cbrt (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5))) (cbrt (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5)))) (cbrt (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5))) (* (* (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5))) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5))) (sqrt (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5))) (sqrt (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt 5))) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (/ (sqrt 5) 2)) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (/ (sqrt 5) 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 (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))) (sqrt 5)) (* (log (/ 1.0 (fabs x))) (sqrt 5)) (* (log (/ 1.0 (fabs x))) (sqrt 5)) (* 1 (sqrt 5)) (pow (/ 1.0 (fabs x)) (* (cbrt (sqrt 5)) (cbrt (sqrt 5)))) (pow (/ 1.0 (fabs x)) (sqrt (* (cbrt 5) (cbrt 5)))) (pow (/ 1.0 (fabs x)) (sqrt (sqrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 1)) (pow (/ 1.0 (fabs x)) (sqrt (sqrt 5))) (pow (/ 1.0 (fabs x)) 1) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) (sqrt 5)) (pow (cbrt (/ 1.0 (fabs x))) (sqrt 5)) (pow (sqrt (/ 1.0 (fabs x))) (sqrt 5)) (pow (sqrt (/ 1.0 (fabs x))) (sqrt 5)) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt 5)) (pow (/ (cbrt 1.0) (cbrt (fabs x))) (sqrt 5)) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) (sqrt 5)) (pow (/ (cbrt 1.0) (sqrt (fabs x))) (sqrt 5)) (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt 5)) (pow (/ (cbrt 1.0) (fabs x)) (sqrt 5)) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt 5)) (pow (/ (sqrt 1.0) (cbrt (fabs x))) (sqrt 5)) (pow (/ (sqrt 1.0) (sqrt (fabs x))) (sqrt 5)) (pow (/ (sqrt 1.0) (sqrt (fabs x))) (sqrt 5)) (pow (/ (sqrt 1.0) 1) (sqrt 5)) (pow (/ (sqrt 1.0) (fabs x)) (sqrt 5)) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt 5)) (pow (/ 1.0 (cbrt (fabs x))) (sqrt 5)) (pow (/ 1 (sqrt (fabs x))) (sqrt 5)) (pow (/ 1.0 (sqrt (fabs x))) (sqrt 5)) (pow (/ 1 1) (sqrt 5)) (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow 1 (sqrt 5)) (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow 1.0 (sqrt 5)) (pow (/ 1 (fabs x)) (sqrt 5)) (log (pow (/ 1.0 (fabs x)) (sqrt 5))) (exp (pow (/ 1.0 (fabs x)) (sqrt 5))) (* (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5)))) (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (* (* (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow (/ 1.0 (fabs x)) (sqrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (pow (/ 1.0 (fabs x)) (/ (sqrt 5) 2)) (pow (/ 1.0 (fabs x)) (/ (sqrt 5) 2)) (exp (* (log (/ 1.0 (fabs x))) (pow (sqrt 5) 2))) (exp (* (log (/ 1.0 (fabs x))) (pow (sqrt 5) 2))) (exp (* (log (/ 1.0 (fabs x))) (pow (sqrt 5) 2))) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (pow (/ 1.0 (fabs x)) (sqrt 5)) (exp (* (log (/ 1.0 (fabs x))) (sqrt 5))) (exp (* (log (/ 1.0 (fabs x))) (sqrt 5))) (exp (* (log (/ 1.0 (fabs x))) (sqrt 5))) 1.271 * * [simplify]: iteration 0 : 5025 enodes (cost 1141 ) 1.276 * [simplify]: Simplified to: (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) (* (log (/ 1.0 (fabs x))) 5) 5 (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (* (cbrt (sqrt 5)) (cbrt (sqrt 5)))) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (fabs (cbrt 5))) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt (sqrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) (sqrt (sqrt 5))) (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) (sqrt 5)) (sqrt 5)) (pow (pow (cbrt (/ 1.0 (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (sqrt (/ 1.0 (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (sqrt (/ 1.0 (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (* (cbrt 1.0) (/ (cbrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x))))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (cbrt 1.0) (cbrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (fabs x)))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (cbrt 1.0) (sqrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (* (cbrt 1.0) (cbrt 1.0)) (sqrt 5)) (sqrt 5)) (pow (pow (/ (cbrt 1.0) (fabs x)) (sqrt 5)) (sqrt 5)) (pow (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (sqrt 1.0) (cbrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (sqrt 1.0) (sqrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ (sqrt 1.0) (sqrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (sqrt 1.0) (sqrt 5)) (sqrt 5)) (pow (pow (/ (sqrt 1.0) (fabs x)) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1.0 (cbrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1 (sqrt (fabs x))) (sqrt 5)) (sqrt 5)) (pow (pow (/ 1.0 (sqrt (fabs x))) (sqrt 5)) (sqrt 5)) 1 (pow (/ 1.0 (fabs x)) 5) 1 (pow (/ 1.0 (fabs x)) 5) (pow (pow 1.0 (sqrt 5)) (sqrt 5)) (pow (pow (fabs x) (neg (sqrt 5))) (sqrt 5)) (pow (* (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5)))) (sqrt 5)) (pow (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt 5)) (pow (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt 5)) (pow (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt 5)) 1 (pow (/ 1.0 (fabs x)) 5) (pow (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt 5)) (pow (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt 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)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (sqrt (pow (/ 1.0 (fabs x)) 5)) (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)))) (exp (pow (fabs x) 3/2)) (exp (fabs x)) (pow (* (cbrt (exp (fabs x))) (cbrt (exp (fabs x)))) (fabs x)) (pow (cbrt (exp (fabs x))) (fabs x)) (sqrt (exp (pow (fabs x) 2))) (sqrt (exp (pow (fabs x) 2))) 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))) (sqrt (exp (pow (fabs x) 2))) (sqrt (exp (pow (fabs x) 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))) (sqrt 5)) (* (log (/ 1.0 (fabs x))) (sqrt 5)) (* (log (/ 1.0 (fabs x))) (sqrt 5)) (sqrt 5) (pow (/ 1.0 (fabs x)) (* (cbrt (sqrt 5)) (cbrt (sqrt 5)))) (pow (/ 1.0 (fabs x)) (fabs (cbrt 5))) (pow (/ 1.0 (fabs x)) (sqrt (sqrt 5))) (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) (sqrt (sqrt 5))) (/ 1.0 (fabs x)) (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) (sqrt 5)) (pow (cbrt (/ 1.0 (fabs x))) (sqrt 5)) (pow (sqrt (/ 1.0 (fabs x))) (sqrt 5)) (pow (sqrt (/ 1.0 (fabs x))) (sqrt 5)) (pow (* (cbrt 1.0) (/ (cbrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x))))) (sqrt 5)) (pow (/ (cbrt 1.0) (cbrt (fabs x))) (sqrt 5)) (pow (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (fabs x)))) (sqrt 5)) (pow (/ (cbrt 1.0) (sqrt (fabs x))) (sqrt 5)) (pow (* (cbrt 1.0) (cbrt 1.0)) (sqrt 5)) (pow (/ (cbrt 1.0) (fabs x)) (sqrt 5)) (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt 5)) (pow (/ (sqrt 1.0) (cbrt (fabs x))) (sqrt 5)) (pow (/ (sqrt 1.0) (sqrt (fabs x))) (sqrt 5)) (pow (/ (sqrt 1.0) (sqrt (fabs x))) (sqrt 5)) (pow (sqrt 1.0) (sqrt 5)) (pow (/ (sqrt 1.0) (fabs x)) (sqrt 5)) (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt 5)) (pow (/ 1.0 (cbrt (fabs x))) (sqrt 5)) (pow (/ 1 (sqrt (fabs x))) (sqrt 5)) (pow (/ 1.0 (sqrt (fabs x))) (sqrt 5)) 1 (pow (/ 1.0 (fabs x)) (sqrt 5)) 1 (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow 1.0 (sqrt 5)) (pow (fabs x) (neg (sqrt 5))) (* (log (/ 1.0 (fabs x))) (sqrt 5)) (exp (pow (/ 1.0 (fabs x)) (sqrt 5))) (* (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5)))) (cbrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (pow (pow (/ 1.0 (fabs x)) (sqrt 5)) 3) (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (sqrt (pow (/ 1.0 (fabs x)) (sqrt 5))) (pow (/ 1.0 (fabs x)) 5) (pow (/ 1.0 (fabs x)) 5) (pow (/ 1.0 (fabs x)) 5) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow (/ 1.0 (fabs x)) (sqrt 5)) (pow (/ 1.0 (fabs x)) (sqrt 5)) 1.277 * * * [progress]: adding candidates to table 1.570 * * [progress]: iteration 4 / 4 1.570 * * * [progress]: picking best candidate 1.662 * * * * [pick]: Picked # 1.662 * * * [progress]: localizing error 1.704 * * * [progress]: generating rewritten candidates 1.704 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2) 1.710 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 2) 1.715 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 1.718 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.722 * * * [progress]: generating series expansions 1.722 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2) 1.722 * [approximate]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (cbrt 3)) in (x) around 0 1.722 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (cbrt 3)) in x 1.722 * [taylor]: Taking taylor expansion of (exp (* (cbrt 3) (log (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2))))) in x 1.722 * [taylor]: Taking taylor expansion of (* (cbrt 3) (log (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)))) in x 1.722 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.722 * [taylor]: Taking taylor expansion of 3 in x 1.723 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2))) in x 1.723 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) in x 1.723 * [taylor]: Taking taylor expansion of (exp (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs x))))) in x 1.723 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs x)))) in x 1.723 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in x 1.723 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.723 * [taylor]: Taking taylor expansion of 3 in x 1.723 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs x))) in x 1.723 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.723 * [taylor]: Taking taylor expansion of 1.0 in x 1.723 * [taylor]: Taking taylor expansion of (fabs x) in x 1.724 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (cbrt 3)) in x 1.724 * [taylor]: Taking taylor expansion of (exp (* (cbrt 3) (log (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2))))) in x 1.724 * [taylor]: Taking taylor expansion of (* (cbrt 3) (log (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)))) in x 1.724 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.724 * [taylor]: Taking taylor expansion of 3 in x 1.724 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2))) in x 1.724 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) in x 1.724 * [taylor]: Taking taylor expansion of (exp (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs x))))) in x 1.724 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs x)))) in x 1.724 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in x 1.724 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.724 * [taylor]: Taking taylor expansion of 3 in x 1.724 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs x))) in x 1.724 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.724 * [taylor]: Taking taylor expansion of 1.0 in x 1.724 * [taylor]: Taking taylor expansion of (fabs x) in x 1.745 * [approximate]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ 1 x))) (pow (cbrt 3) 2)) (cbrt 3)) in (x) around 0 1.745 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ 1 x))) (pow (cbrt 3) 2)) (cbrt 3)) in x 1.745 * [taylor]: Taking taylor expansion of (exp (* (cbrt 3) (log (pow (/ 1.0 (fabs (/ 1 x))) (pow (cbrt 3) 2))))) in x 1.745 * [taylor]: Taking taylor expansion of (* (cbrt 3) (log (pow (/ 1.0 (fabs (/ 1 x))) (pow (cbrt 3) 2)))) in x 1.745 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.745 * [taylor]: Taking taylor expansion of 3 in x 1.746 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs (/ 1 x))) (pow (cbrt 3) 2))) in x 1.746 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) (pow (cbrt 3) 2)) in x 1.746 * [taylor]: Taking taylor expansion of (exp (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs (/ 1 x)))))) in x 1.746 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs (/ 1 x))))) in x 1.746 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in x 1.746 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.746 * [taylor]: Taking taylor expansion of 3 in x 1.746 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ 1 x)))) in x 1.746 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.746 * [taylor]: Taking taylor expansion of 1.0 in x 1.746 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.746 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ 1 x))) (pow (cbrt 3) 2)) (cbrt 3)) in x 1.747 * [taylor]: Taking taylor expansion of (exp (* (cbrt 3) (log (pow (/ 1.0 (fabs (/ 1 x))) (pow (cbrt 3) 2))))) in x 1.747 * [taylor]: Taking taylor expansion of (* (cbrt 3) (log (pow (/ 1.0 (fabs (/ 1 x))) (pow (cbrt 3) 2)))) in x 1.747 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.747 * [taylor]: Taking taylor expansion of 3 in x 1.747 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs (/ 1 x))) (pow (cbrt 3) 2))) in x 1.747 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) (pow (cbrt 3) 2)) in x 1.747 * [taylor]: Taking taylor expansion of (exp (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs (/ 1 x)))))) in x 1.747 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs (/ 1 x))))) in x 1.747 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in x 1.747 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.747 * [taylor]: Taking taylor expansion of 3 in x 1.747 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ 1 x)))) in x 1.747 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.747 * [taylor]: Taking taylor expansion of 1.0 in x 1.747 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.766 * [approximate]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ -1 x))) (pow (cbrt 3) 2)) (cbrt 3)) in (x) around 0 1.767 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ -1 x))) (pow (cbrt 3) 2)) (cbrt 3)) in x 1.767 * [taylor]: Taking taylor expansion of (exp (* (cbrt 3) (log (pow (/ 1.0 (fabs (/ -1 x))) (pow (cbrt 3) 2))))) in x 1.767 * [taylor]: Taking taylor expansion of (* (cbrt 3) (log (pow (/ 1.0 (fabs (/ -1 x))) (pow (cbrt 3) 2)))) in x 1.767 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.767 * [taylor]: Taking taylor expansion of 3 in x 1.767 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs (/ -1 x))) (pow (cbrt 3) 2))) in x 1.767 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) (pow (cbrt 3) 2)) in x 1.767 * [taylor]: Taking taylor expansion of (exp (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs (/ -1 x)))))) in x 1.767 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs (/ -1 x))))) in x 1.767 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in x 1.767 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.767 * [taylor]: Taking taylor expansion of 3 in x 1.767 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ -1 x)))) in x 1.767 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.767 * [taylor]: Taking taylor expansion of 1.0 in x 1.767 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.768 * [taylor]: Taking taylor expansion of (pow (pow (/ 1.0 (fabs (/ -1 x))) (pow (cbrt 3) 2)) (cbrt 3)) in x 1.768 * [taylor]: Taking taylor expansion of (exp (* (cbrt 3) (log (pow (/ 1.0 (fabs (/ -1 x))) (pow (cbrt 3) 2))))) in x 1.768 * [taylor]: Taking taylor expansion of (* (cbrt 3) (log (pow (/ 1.0 (fabs (/ -1 x))) (pow (cbrt 3) 2)))) in x 1.768 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.768 * [taylor]: Taking taylor expansion of 3 in x 1.768 * [taylor]: Taking taylor expansion of (log (pow (/ 1.0 (fabs (/ -1 x))) (pow (cbrt 3) 2))) in x 1.768 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) (pow (cbrt 3) 2)) in x 1.768 * [taylor]: Taking taylor expansion of (exp (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs (/ -1 x)))))) in x 1.768 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3) 2) (log (/ 1.0 (fabs (/ -1 x))))) in x 1.768 * [taylor]: Taking taylor expansion of (pow (cbrt 3) 2) in x 1.768 * [taylor]: Taking taylor expansion of (cbrt 3) in x 1.768 * [taylor]: Taking taylor expansion of 3 in x 1.768 * [taylor]: Taking taylor expansion of (log (/ 1.0 (fabs (/ -1 x)))) in x 1.768 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.768 * [taylor]: Taking taylor expansion of 1.0 in x 1.768 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.788 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 2) 1.788 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in (x) around 0 1.788 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 1.788 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.788 * [taylor]: Taking taylor expansion of 1.0 in x 1.788 * [taylor]: Taking taylor expansion of (fabs x) in x 1.788 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs x)) 5) in x 1.788 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs x)) in x 1.788 * [taylor]: Taking taylor expansion of 1.0 in x 1.788 * [taylor]: Taking taylor expansion of (fabs x) in x 1.791 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in (x) around 0 1.791 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 1.791 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.791 * [taylor]: Taking taylor expansion of 1.0 in x 1.791 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.791 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ 1 x))) 5) in x 1.791 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ 1 x))) in x 1.792 * [taylor]: Taking taylor expansion of 1.0 in x 1.792 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.795 * [approximate]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in (x) around 0 1.795 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 1.795 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.795 * [taylor]: Taking taylor expansion of 1.0 in x 1.795 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.795 * [taylor]: Taking taylor expansion of (pow (/ 1.0 (fabs (/ -1 x))) 5) in x 1.796 * [taylor]: Taking taylor expansion of (/ 1.0 (fabs (/ -1 x))) in x 1.796 * [taylor]: Taking taylor expansion of 1.0 in x 1.796 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.799 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 1.799 * [approximate]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in (x) around 0 1.799 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 1.799 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 1.799 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 1.799 * [taylor]: Taking taylor expansion of (fabs x) in x 1.799 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 1.799 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 1.800 * [taylor]: Taking taylor expansion of (fabs x) in x 1.800 * [taylor]: Taking taylor expansion of (pow (exp (fabs x)) (fabs x)) in x 1.800 * [taylor]: Taking taylor expansion of (exp (* (fabs x) (log (exp (fabs x))))) in x 1.800 * [taylor]: Taking taylor expansion of (* (fabs x) (log (exp (fabs x)))) in x 1.800 * [taylor]: Taking taylor expansion of (fabs x) in x 1.800 * [taylor]: Taking taylor expansion of (log (exp (fabs x))) in x 1.800 * [taylor]: Taking taylor expansion of (exp (fabs x)) in x 1.800 * [taylor]: Taking taylor expansion of (fabs x) in x 1.808 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in (x) around 0 1.808 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 1.808 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 1.808 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 1.808 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.808 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 1.808 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 1.808 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.808 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ 1 x))) (fabs (/ 1 x))) in x 1.808 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x)))))) in x 1.808 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 x)) (log (exp (fabs (/ 1 x))))) in x 1.808 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.808 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ 1 x)))) in x 1.808 * [taylor]: Taking taylor expansion of (exp (fabs (/ 1 x))) in x 1.808 * [taylor]: Taking taylor expansion of (fabs (/ 1 x)) in x 1.818 * [approximate]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in (x) around 0 1.818 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 1.818 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 1.818 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 1.818 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.818 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 1.818 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 1.818 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.819 * [taylor]: Taking taylor expansion of (pow (exp (fabs (/ -1 x))) (fabs (/ -1 x))) in x 1.819 * [taylor]: Taking taylor expansion of (exp (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x)))))) in x 1.819 * [taylor]: Taking taylor expansion of (* (fabs (/ -1 x)) (log (exp (fabs (/ -1 x))))) in x 1.819 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.819 * [taylor]: Taking taylor expansion of (log (exp (fabs (/ -1 x)))) in x 1.819 * [taylor]: Taking taylor expansion of (exp (fabs (/ -1 x))) in x 1.819 * [taylor]: Taking taylor expansion of (fabs (/ -1 x)) in x 1.827 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.827 * * * [progress]: simplifying candidates 1.829 * [simplify]: Simplifying using # : (* (* (- (log 1.0) (log (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (* (* (log (/ 1.0 (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (* (* (log (/ 1.0 (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (* (log (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))) (cbrt 3)) (* (log (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))) (cbrt 3)) (* (* (cbrt 3) (cbrt 3)) (cbrt 3)) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt (* (cbrt 3) (cbrt 3)))) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt (sqrt 3))) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 1)) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (sqrt (cbrt 3))) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) 1) (pow (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (cbrt (/ 1.0 (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (sqrt (/ 1.0 (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (sqrt (/ 1.0 (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (cbrt 1.0) (cbrt (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (cbrt 1.0) (sqrt (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (cbrt 1.0) (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (sqrt 1.0) (cbrt (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (sqrt 1.0) (sqrt (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (sqrt 1.0) (sqrt (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (sqrt 1.0) 1) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ (sqrt 1.0) (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ 1.0 (cbrt (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ 1 (sqrt (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ 1.0 (sqrt (fabs x))) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ 1 1) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow 1 (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow 1.0 (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ 1 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (* (cbrt (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))) (cbrt (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))))) (cbrt 3)) (pow (cbrt (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))) (cbrt 3)) (pow (sqrt (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))) (cbrt 3)) (pow (sqrt (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3)))) (cbrt 3)) (pow 1 (cbrt 3)) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ 1.0 (fabs x)) (/ (* (cbrt 3) (cbrt 3)) 2)) (cbrt 3)) (pow (pow (/ 1.0 (fabs x)) (/ (* (cbrt 3) (cbrt 3)) 2)) (cbrt 3)) (log (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (exp (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (* (cbrt (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (cbrt (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3)))) (cbrt (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (* (* (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3)) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (sqrt (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (sqrt (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (cbrt 3))) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (/ (cbrt 3) 2)) (pow (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) (/ (cbrt 3) 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)) (* (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)) (exp (* (log (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2))) (cbrt 3))) (pow (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (cbrt 3)) (pow (/ 1.0 (fabs x)) 3) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (pow (/ 1.0 (fabs x)) (* (cbrt 3) (cbrt 3))) 1.871 * * [simplify]: iteration 0 : 5579 enodes (cost 1164 ) 1.876 * [simplify]: Simplified to: (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) (* (log (/ 1.0 (fabs x))) 3) 3 (pow (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (cbrt (pow (cbrt 3) 2))) (pow (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (cbrt (sqrt 3))) (pow (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (cbrt 1)) (pow (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (* (cbrt (cbrt 3)) (cbrt (cbrt 3)))) (pow (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (sqrt (cbrt 3))) (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (pow (pow (* (cbrt (/ 1.0 (fabs x))) (cbrt (/ 1.0 (fabs x)))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (cbrt (/ 1.0 (fabs x))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (sqrt (/ 1.0 (fabs x))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (sqrt (/ 1.0 (fabs x))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (* (cbrt 1.0) (/ (cbrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x))))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ (cbrt 1.0) (cbrt (fabs x))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (* (cbrt 1.0) (/ (cbrt 1.0) (sqrt (fabs x)))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ (cbrt 1.0) (sqrt (fabs x))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (* (cbrt 1.0) (cbrt 1.0)) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ (cbrt 1.0) (fabs x)) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ (sqrt 1.0) (* (cbrt (fabs x)) (cbrt (fabs x)))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ (sqrt 1.0) (cbrt (fabs x))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ (sqrt 1.0) (sqrt (fabs x))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ (sqrt 1.0) (sqrt (fabs x))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (sqrt 1.0) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ (sqrt 1.0) (fabs x)) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ 1.0 (cbrt (fabs x))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ 1 (sqrt (fabs x))) (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ 1.0 (sqrt (fabs x))) (pow (cbrt 3) 2)) (cbrt 3)) 1 (pow (/ 1.0 (fabs x)) 3) 1 (pow (/ 1.0 (fabs x)) 3) (pow (pow 1.0 (pow (cbrt 3) 2)) (cbrt 3)) (pow (pow (/ 1 (fabs x)) (pow (cbrt 3) 2)) (cbrt 3)) (pow (* (cbrt (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2))) (cbrt (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)))) (cbrt 3)) (pow (cbrt (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2))) (cbrt 3)) (pow (sqrt (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2))) (cbrt 3)) (pow (sqrt (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2))) (cbrt 3)) 1 (pow (/ 1.0 (fabs x)) 3) (pow (pow (/ 1.0 (fabs x)) (/ (pow (cbrt 3) 2) 2)) (cbrt 3)) (pow (pow (/ 1.0 (fabs x)) (/ (pow (cbrt 3) 2) 2)) (cbrt 3)) (* (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) (sqrt (pow (/ 1.0 (fabs x)) 3)) (sqrt (pow (/ 1.0 (fabs x)) 3)) (pow (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (/ (cbrt 3) 2)) (pow (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) (/ (cbrt 3) 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) (/ (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) (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 (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)) (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3) (pow (/ 1.0 (fabs x)) 3) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (/ 1.0 (pow (fabs x) 5)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (exp (pow (fabs x) 2)) (pow (/ 1.0 (fabs x)) (pow (cbrt 3) 2)) 1.877 * * * [progress]: adding candidates to table 2.223 * [progress]: [Phase 3 of 3] Extracting. 2.223 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # #) 2.240 * * * [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.240 * * * * [regimes]: Trying to branch on (fabs x) from (# # # # # # # # # # # # # # # # # # # #) 2.369 * * * * [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.529 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # # # # # #) 2.654 * * * [regime]: Found split indices: #