19.175 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.037 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying using # : (- (exp x) 1.0) 0.039 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.040 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 0.040 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 0.041 * * [simplify]: iteration done : 7 enodes (cost 4 ) 0.041 * [simplify]: Simplified to: (- (exp x) 1.0) 0.041 * * [progress]: iteration 1 / 4 0.041 * * * [progress]: picking best candidate 0.042 * * * * [pick]: Picked # 0.042 * * * [progress]: localizing error 0.046 * * * [progress]: generating rewritten candidates 0.046 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.050 * * * [progress]: generating series expansions 0.050 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.050 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 0.050 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.050 * [taylor]: Taking taylor expansion of (exp x) in x 0.050 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of 1.0 in x 0.051 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.051 * [taylor]: Taking taylor expansion of (exp x) in x 0.051 * [taylor]: Taking taylor expansion of x in x 0.051 * [taylor]: Taking taylor expansion of 1.0 in x 0.057 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 0.057 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.057 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of 1.0 in x 0.057 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.057 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of 1.0 in x 0.061 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 0.061 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.061 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.061 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.061 * [taylor]: Taking taylor expansion of -1 in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of 1.0 in x 0.062 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.062 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.062 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.062 * [taylor]: Taking taylor expansion of -1 in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of 1.0 in x 0.066 * * * [progress]: simplifying candidates 0.066 * [simplify]: Simplifying using # : (/ (exp (exp x)) (exp 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (- 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (- (exp x) 1.0) (- (exp x) 1.0) 0.068 * * [simplify]: iteration 0 : 39 enodes (cost 132 ) 0.073 * * [simplify]: iteration 1 : 83 enodes (cost 127 ) 0.089 * * [simplify]: iteration 2 : 184 enodes (cost 119 ) 0.307 * * [simplify]: iteration 3 : 311 enodes (cost 117 ) 0.363 * * [simplify]: iteration 4 : 606 enodes (cost 117 ) 0.499 * * [simplify]: iteration 5 : 1517 enodes (cost 117 ) 1.076 * * [simplify]: iteration done : 5002 enodes (cost 117 ) 1.077 * [simplify]: Simplified to: (exp (- (exp x) 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (pow (- (exp x) 1.0) 3) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ (exp x) 1.0)) (exp (+ x x))) (- 1.0) (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x) (- (exp x) 1.0) (- (exp x) 1.0) 1.077 * * * [progress]: adding candidates to table 1.111 * * [progress]: iteration 2 / 4 1.111 * * * [progress]: picking best candidate 1.115 * * * * [pick]: Picked # 1.115 * * * [progress]: localizing error 1.121 * * * [progress]: generating rewritten candidates 1.121 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 2) 1.124 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.134 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.142 * * * [progress]: generating series expansions 1.142 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 2) 1.142 * [approximate]: Taking taylor expansion of (* 1/6 x) in (x) around 0 1.142 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 1.142 * [taylor]: Taking taylor expansion of 1/6 in x 1.142 * [taylor]: Taking taylor expansion of x in x 1.142 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 1.142 * [taylor]: Taking taylor expansion of 1/6 in x 1.142 * [taylor]: Taking taylor expansion of x in x 1.147 * [approximate]: Taking taylor expansion of (/ 1/6 x) in (x) around 0 1.147 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x 1.147 * [taylor]: Taking taylor expansion of 1/6 in x 1.147 * [taylor]: Taking taylor expansion of x in x 1.148 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x 1.148 * [taylor]: Taking taylor expansion of 1/6 in x 1.148 * [taylor]: Taking taylor expansion of x in x 1.151 * [approximate]: Taking taylor expansion of (/ -1/6 x) in (x) around 0 1.151 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x 1.151 * [taylor]: Taking taylor expansion of -1/6 in x 1.151 * [taylor]: Taking taylor expansion of x in x 1.152 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x 1.152 * [taylor]: Taking taylor expansion of -1/6 in x 1.152 * [taylor]: Taking taylor expansion of x in x 1.156 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.156 * [approximate]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in (x) around 0 1.156 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x 1.156 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.156 * [taylor]: Taking taylor expansion of x in x 1.156 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 1.156 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 1.156 * [taylor]: Taking taylor expansion of 1/6 in x 1.156 * [taylor]: Taking taylor expansion of x in x 1.156 * [taylor]: Taking taylor expansion of 1/2 in x 1.156 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x 1.156 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.156 * [taylor]: Taking taylor expansion of x in x 1.156 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 1.156 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 1.156 * [taylor]: Taking taylor expansion of 1/6 in x 1.156 * [taylor]: Taking taylor expansion of x in x 1.156 * [taylor]: Taking taylor expansion of 1/2 in x 1.177 * [approximate]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in (x) around 0 1.177 * [taylor]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in x 1.177 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x 1.177 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1.177 * [taylor]: Taking taylor expansion of 1/6 in x 1.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.177 * [taylor]: Taking taylor expansion of x in x 1.177 * [taylor]: Taking taylor expansion of 1/2 in x 1.177 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.177 * [taylor]: Taking taylor expansion of x in x 1.178 * [taylor]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in x 1.178 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x 1.178 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1.178 * [taylor]: Taking taylor expansion of 1/6 in x 1.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.179 * [taylor]: Taking taylor expansion of x in x 1.179 * [taylor]: Taking taylor expansion of 1/2 in x 1.179 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.179 * [taylor]: Taking taylor expansion of x in x 1.199 * [approximate]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0 1.199 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x 1.199 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 1.199 * [taylor]: Taking taylor expansion of 1/2 in x 1.199 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1.199 * [taylor]: Taking taylor expansion of 1/6 in x 1.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.199 * [taylor]: Taking taylor expansion of x in x 1.200 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.200 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x 1.201 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 1.201 * [taylor]: Taking taylor expansion of 1/2 in x 1.201 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1.201 * [taylor]: Taking taylor expansion of 1/6 in x 1.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.201 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.201 * [taylor]: Taking taylor expansion of x in x 1.223 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.223 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) in (x) around 0 1.223 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) in x 1.224 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1.224 * [taylor]: Taking taylor expansion of 1/2 in x 1.224 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.224 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 3)) x) in x 1.224 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1.224 * [taylor]: Taking taylor expansion of 1/6 in x 1.224 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.224 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) in x 1.224 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1.224 * [taylor]: Taking taylor expansion of 1/2 in x 1.224 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.224 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 3)) x) in x 1.224 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1.224 * [taylor]: Taking taylor expansion of 1/6 in x 1.224 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.228 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in (x) around 0 1.228 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x 1.228 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1.228 * [taylor]: Taking taylor expansion of 1/2 in x 1.228 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.228 * [taylor]: Taking taylor expansion of x in x 1.229 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x 1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.229 * [taylor]: Taking taylor expansion of x in x 1.229 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1.229 * [taylor]: Taking taylor expansion of 1/6 in x 1.229 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.229 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.229 * [taylor]: Taking taylor expansion of x in x 1.230 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x 1.230 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1.230 * [taylor]: Taking taylor expansion of 1/2 in x 1.230 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.230 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.230 * [taylor]: Taking taylor expansion of x in x 1.231 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x 1.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.231 * [taylor]: Taking taylor expansion of x in x 1.231 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1.231 * [taylor]: Taking taylor expansion of 1/6 in x 1.231 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.231 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.231 * [taylor]: Taking taylor expansion of x in x 1.239 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in (x) around 0 1.239 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x 1.239 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1.239 * [taylor]: Taking taylor expansion of 1/2 in x 1.239 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.239 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.239 * [taylor]: Taking taylor expansion of x in x 1.240 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x 1.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.240 * [taylor]: Taking taylor expansion of x in x 1.240 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1.240 * [taylor]: Taking taylor expansion of 1/6 in x 1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.240 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.241 * [taylor]: Taking taylor expansion of x in x 1.241 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3))))) in x 1.241 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1.241 * [taylor]: Taking taylor expansion of 1/2 in x 1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.241 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.241 * [taylor]: Taking taylor expansion of x in x 1.242 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 1/6 (/ 1 (pow x 3)))) in x 1.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.242 * [taylor]: Taking taylor expansion of x in x 1.242 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1.242 * [taylor]: Taking taylor expansion of 1/6 in x 1.242 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.242 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.242 * [taylor]: Taking taylor expansion of x in x 1.251 * * * [progress]: simplifying candidates 1.252 * [simplify]: Simplifying using # : (* 1/6 x) (+ (log 1/6) (log x)) (log (* 1/6 x)) (exp (* 1/6 x)) (* (* (* 1/6 1/6) 1/6) (* (* x x) x)) (* (cbrt (* 1/6 x)) (cbrt (* 1/6 x))) (cbrt (* 1/6 x)) (* (* (* 1/6 x) (* 1/6 x)) (* 1/6 x)) (sqrt (* 1/6 x)) (sqrt (* 1/6 x)) (* (sqrt 1/6) (sqrt x)) (* (sqrt 1/6) (sqrt x)) (* 1/6 (* (cbrt x) (cbrt x))) (* 1/6 (sqrt x)) (* 1/6 1) (* (cbrt 1/6) x) (* (sqrt 1/6) x) (* 1/6 x) (+ (* (log x) 2) (log (+ 1/2 (* 1/6 x)))) (+ (* (log x) 2) (log (+ 1/2 (* 1/6 x)))) (+ (log (pow x 2)) (log (+ 1/2 (* 1/6 x)))) (log (* (pow x 2) (+ 1/2 (* 1/6 x)))) (exp (* (pow x 2) (+ 1/2 (* 1/6 x)))) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (+ 1/2 (* 1/6 x)) (+ 1/2 (* 1/6 x))) (+ 1/2 (* 1/6 x)))) (* (cbrt (* (pow x 2) (+ 1/2 (* 1/6 x)))) (cbrt (* (pow x 2) (+ 1/2 (* 1/6 x))))) (cbrt (* (pow x 2) (+ 1/2 (* 1/6 x)))) (* (* (* (pow x 2) (+ 1/2 (* 1/6 x))) (* (pow x 2) (+ 1/2 (* 1/6 x)))) (* (pow x 2) (+ 1/2 (* 1/6 x)))) (sqrt (* (pow x 2) (+ 1/2 (* 1/6 x)))) (sqrt (* (pow x 2) (+ 1/2 (* 1/6 x)))) (* (pow (sqrt x) 2) (sqrt (+ 1/2 (* 1/6 x)))) (* (pow (sqrt x) 2) (sqrt (+ 1/2 (* 1/6 x)))) (* x (sqrt (+ 1/2 (* 1/6 x)))) (* x (sqrt (+ 1/2 (* 1/6 x)))) (* (sqrt (pow x 2)) (sqrt (+ 1/2 (* 1/6 x)))) (* (sqrt (pow x 2)) (sqrt (+ 1/2 (* 1/6 x)))) (* (pow x (/ 2 2)) (sqrt (+ 1/2 (* 1/6 x)))) (* (pow x (/ 2 2)) (sqrt (+ 1/2 (* 1/6 x)))) (* (pow x 2) 1/2) (* (pow x 2) (* 1/6 x)) (* 1/2 (pow x 2)) (* (* 1/6 x) (pow x 2)) (* (pow x 2) (* (cbrt (+ 1/2 (* 1/6 x))) (cbrt (+ 1/2 (* 1/6 x))))) (* (pow x 2) (sqrt (+ 1/2 (* 1/6 x)))) (* (pow x 2) 1) (* (pow (cbrt x) 2) (+ 1/2 (* 1/6 x))) (* (pow (sqrt x) 2) (+ 1/2 (* 1/6 x))) (* (pow x 2) (+ 1/2 (* 1/6 x))) (* x (+ 1/2 (* 1/6 x))) (* (cbrt (pow x 2)) (+ 1/2 (* 1/6 x))) (* (sqrt (pow x 2)) (+ 1/2 (* 1/6 x))) (* (pow x 2) (+ 1/2 (* 1/6 x))) (* (pow x (/ 2 2)) (+ 1/2 (* 1/6 x))) (* (pow x 2) (+ (pow 1/2 3) (pow (* 1/6 x) 3))) (* (pow x 2) (- (* 1/2 1/2) (* (* 1/6 x) (* 1/6 x)))) (* (exp (* (pow x 2) (+ 1/2 (* 1/6 x)))) (exp x)) (log (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (exp (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (* (cbrt (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (cbrt (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x))) (cbrt (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (* (* (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x) (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (sqrt (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (sqrt (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (+ (pow (* (pow x 2) (+ 1/2 (* 1/6 x))) 3) (pow x 3)) (+ (* (* (pow x 2) (+ 1/2 (* 1/6 x))) (* (pow x 2) (+ 1/2 (* 1/6 x)))) (- (* x x) (* (* (pow x 2) (+ 1/2 (* 1/6 x))) x))) (- (* (* (pow x 2) (+ 1/2 (* 1/6 x))) (* (pow x 2) (+ 1/2 (* 1/6 x)))) (* x x)) (- (* (pow x 2) (+ 1/2 (* 1/6 x))) x) (+ (* (pow x 2) (* 1/6 x)) x) (+ (* (* 1/6 x) (pow x 2)) x) (* 1/6 x) (* 1/6 x) (* 1/6 x) (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3))) (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3))) (+ (* 1/2 (pow x 2)) (* 1/6 (pow x 3))) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) (+ (* 1/2 (pow x 2)) (+ x (* 1/6 (pow x 3)))) 1.259 * * [simplify]: iteration 0 : 112 enodes (cost 816 ) 1.288 * * [simplify]: iteration 1 : 313 enodes (cost 730 ) 1.502 * * [simplify]: iteration 2 : 1147 enodes (cost 673 ) 2.823 * * [simplify]: iteration 3 : 4997 enodes (cost 667 ) 4.914 * * [simplify]: iteration done : 5000 enodes (cost 667 ) 4.915 * [simplify]: Simplified to: (* x 1/6) (log (* 1/6 x)) (log (* 1/6 x)) (exp (* 1/6 x)) (* (pow x 3) 1/216) (* (cbrt (* 1/6 x)) (cbrt (* 1/6 x))) (cbrt (* 1/6 x)) (* (pow x 3) 1/216) (sqrt (* 1/6 x)) (sqrt (* 1/6 x)) (* (sqrt 1/6) (sqrt x)) (* (sqrt 1/6) (sqrt x)) (* (pow (cbrt x) 2) 1/6) (* 1/6 (sqrt x)) 1/6 (* (cbrt 1/6) x) (* (sqrt 1/6) x) (* x 1/6) (log (* (* x x) (+ 1/2 (* 1/6 x)))) (log (* (* x x) (+ 1/2 (* 1/6 x)))) (log (* (* x x) (+ 1/2 (* 1/6 x)))) (log (* (* x x) (+ 1/2 (* 1/6 x)))) (exp (* (pow x 2) (+ 1/2 (* 1/6 x)))) (pow (* (pow x 2) (+ 1/2 (* 1/6 x))) 3) (* (cbrt (* (pow x 2) (+ 1/2 (* 1/6 x)))) (cbrt (* (pow x 2) (+ 1/2 (* 1/6 x))))) (cbrt (* (pow x 2) (+ 1/2 (* 1/6 x)))) (pow (* (pow x 2) (+ 1/2 (* 1/6 x))) 3) (sqrt (* (pow x 2) (+ 1/2 (* 1/6 x)))) (sqrt (* (pow x 2) (+ 1/2 (* 1/6 x)))) (* x (sqrt (+ 1/2 (* 1/6 x)))) (* x (sqrt (+ 1/2 (* 1/6 x)))) (* x (sqrt (+ 1/2 (* 1/6 x)))) (* x (sqrt (+ 1/2 (* 1/6 x)))) (* (sqrt (+ 1/2 (* 1/6 x))) (fabs x)) (* (sqrt (+ 1/2 (* 1/6 x))) (fabs x)) (* x (sqrt (+ 1/2 (* 1/6 x)))) (* x (sqrt (+ 1/2 (* 1/6 x)))) (* 1/2 (pow x 2)) (* 1/6 (pow x 3)) (* 1/2 (pow x 2)) (* 1/6 (pow x 3)) (* (pow x 2) (* (cbrt (+ 1/2 (* 1/6 x))) (cbrt (+ 1/2 (* 1/6 x))))) (* (pow x 2) (sqrt (+ 1/2 (* 1/6 x)))) (* x x) (* (pow (cbrt x) 2) (+ 1/2 (* 1/6 x))) (* x (+ 1/2 (* 1/6 x))) (* (pow x 2) (+ 1/2 (* 1/6 x))) (* x (+ 1/2 (* 1/6 x))) (* (cbrt (pow x 2)) (+ 1/2 (* 1/6 x))) (* (fabs x) (+ 1/2 (* 1/6 x))) (* (pow x 2) (+ 1/2 (* 1/6 x))) (* x (+ 1/2 (* 1/6 x))) (* (+ (pow (* 1/6 x) 3) 1/8) (pow x 2)) (* (- 1/4 (* 1/36 (pow x 2))) (pow x 2)) (exp (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (log (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (exp (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (* (cbrt (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (cbrt (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x))) (cbrt (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (pow (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x) 3) (sqrt (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (sqrt (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x)) (+ (pow (* (pow x 2) (+ 1/2 (* 1/6 x))) 3) (pow x 3)) (- (* x x) (* (+ 1/2 (* 1/6 x)) (- (pow x 3) (* (pow x 4) (+ 1/2 (* 1/6 x)))))) (- (* (pow x 4) (* (+ 1/2 (* 1/6 x)) (+ 1/2 (* 1/6 x)))) (pow x 2)) (- (* (pow x 2) (+ 1/2 (* 1/6 x))) x) (+ x (* 1/6 (pow x 3))) (+ x (* 1/6 (pow x 3))) (* x 1/6) (* x 1/6) (* x 1/6) (* (pow x 2) (+ 1/2 (* 1/6 x))) (* (pow x 2) (+ 1/2 (* 1/6 x))) (* (pow x 2) (+ 1/2 (* 1/6 x))) (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x) (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x) (+ (* (pow x 2) (+ 1/2 (* 1/6 x))) x) 4.915 * * * [progress]: adding candidates to table 5.049 * * [progress]: iteration 3 / 4 5.049 * * * [progress]: picking best candidate 5.051 * * * * [pick]: Picked # 5.051 * * * [progress]: localizing error 5.059 * * * [progress]: generating rewritten candidates 5.059 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 5.067 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 5.074 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 5.078 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 5.081 * * * [progress]: generating series expansions 5.081 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 5.082 * [approximate]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in (x) around 0 5.082 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x 5.082 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.082 * [taylor]: Taking taylor expansion of (exp x) in x 5.082 * [taylor]: Taking taylor expansion of x in x 5.083 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.083 * [taylor]: Taking taylor expansion of 1.0 in x 5.084 * [taylor]: Taking taylor expansion of (- (sqrt (exp x)) (sqrt 1.0)) in x 5.084 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.084 * [taylor]: Taking taylor expansion of (exp x) in x 5.084 * [taylor]: Taking taylor expansion of x in x 5.085 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.085 * [taylor]: Taking taylor expansion of 1.0 in x 5.093 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in (x) around 0 5.093 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x 5.093 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.093 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.093 * [taylor]: Taking taylor expansion of x in x 5.093 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.093 * [taylor]: Taking taylor expansion of 1.0 in x 5.094 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x 5.094 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.094 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.094 * [taylor]: Taking taylor expansion of x in x 5.094 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.094 * [taylor]: Taking taylor expansion of 1.0 in x 5.106 * [approximate]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in (x) around 0 5.106 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x 5.106 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.106 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.106 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.106 * [taylor]: Taking taylor expansion of -1 in x 5.106 * [taylor]: Taking taylor expansion of x in x 5.107 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.107 * [taylor]: Taking taylor expansion of 1.0 in x 5.108 * [taylor]: Taking taylor expansion of (- (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x 5.108 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.108 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.108 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.108 * [taylor]: Taking taylor expansion of -1 in x 5.108 * [taylor]: Taking taylor expansion of x in x 5.108 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.108 * [taylor]: Taking taylor expansion of 1.0 in x 5.119 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 5.120 * [approximate]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 1.0)) in (x) around 0 5.120 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 1.0)) in x 5.120 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.120 * [taylor]: Taking taylor expansion of (exp x) in x 5.120 * [taylor]: Taking taylor expansion of x in x 5.121 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.121 * [taylor]: Taking taylor expansion of 1.0 in x 5.122 * [taylor]: Taking taylor expansion of (+ (sqrt (exp x)) (sqrt 1.0)) in x 5.122 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.122 * [taylor]: Taking taylor expansion of (exp x) in x 5.122 * [taylor]: Taking taylor expansion of x in x 5.123 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.123 * [taylor]: Taking taylor expansion of 1.0 in x 5.129 * [approximate]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 1.0)) in (x) around 0 5.129 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x 5.129 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.129 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.129 * [taylor]: Taking taylor expansion of x in x 5.129 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.129 * [taylor]: Taking taylor expansion of 1.0 in x 5.130 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ 1 x))) (sqrt 1.0)) in x 5.130 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.130 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.130 * [taylor]: Taking taylor expansion of x in x 5.130 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.130 * [taylor]: Taking taylor expansion of 1.0 in x 5.140 * [approximate]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 1.0)) in (x) around 0 5.140 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x 5.140 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.140 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.140 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.140 * [taylor]: Taking taylor expansion of -1 in x 5.140 * [taylor]: Taking taylor expansion of x in x 5.140 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.140 * [taylor]: Taking taylor expansion of 1.0 in x 5.141 * [taylor]: Taking taylor expansion of (+ (sqrt (exp (/ -1 x))) (sqrt 1.0)) in x 5.141 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.141 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.141 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.141 * [taylor]: Taking taylor expansion of -1 in x 5.141 * [taylor]: Taking taylor expansion of x in x 5.141 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.141 * [taylor]: Taking taylor expansion of 1.0 in x 5.151 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 5.151 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 5.151 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.151 * [taylor]: Taking taylor expansion of (exp x) in x 5.151 * [taylor]: Taking taylor expansion of x in x 5.152 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.152 * [taylor]: Taking taylor expansion of (exp x) in x 5.152 * [taylor]: Taking taylor expansion of x in x 5.156 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 5.156 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.156 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.156 * [taylor]: Taking taylor expansion of x in x 5.156 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.157 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.157 * [taylor]: Taking taylor expansion of x in x 5.160 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 5.160 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.160 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.160 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.160 * [taylor]: Taking taylor expansion of -1 in x 5.160 * [taylor]: Taking taylor expansion of x in x 5.160 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.160 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.160 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.160 * [taylor]: Taking taylor expansion of -1 in x 5.160 * [taylor]: Taking taylor expansion of x in x 5.169 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 5.169 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 5.169 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.169 * [taylor]: Taking taylor expansion of (exp x) in x 5.169 * [taylor]: Taking taylor expansion of x in x 5.171 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 5.171 * [taylor]: Taking taylor expansion of (exp x) in x 5.171 * [taylor]: Taking taylor expansion of x in x 5.174 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 5.174 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.174 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.174 * [taylor]: Taking taylor expansion of x in x 5.174 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 5.174 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.174 * [taylor]: Taking taylor expansion of x in x 5.177 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 5.177 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.177 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.177 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.177 * [taylor]: Taking taylor expansion of -1 in x 5.177 * [taylor]: Taking taylor expansion of x in x 5.178 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 5.178 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.178 * [taylor]: Taking taylor expansion of -1 in x 5.178 * [taylor]: Taking taylor expansion of x in x 5.181 * * * [progress]: simplifying candidates 5.182 * [simplify]: Simplifying using # : (/ (exp (sqrt (exp x))) (exp (sqrt 1.0))) (log (- (sqrt (exp x)) (sqrt 1.0))) (exp (- (sqrt (exp x)) (sqrt 1.0))) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (* (* (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))) (- (sqrt (exp x)) (sqrt 1.0))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (* (sqrt (exp x)) (sqrt (exp x))) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (exp x)) (sqrt 1.0)))) (- (sqrt 1.0)) (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt 1.0) (sqrt 1.0))) (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt 1.0)) (* (exp (sqrt (exp x))) (exp (sqrt 1.0))) (log (+ (sqrt (exp x)) (sqrt 1.0))) (exp (+ (sqrt (exp x)) (sqrt 1.0))) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (* (* (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (+ (sqrt (exp x)) (sqrt 1.0))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt (exp x)) (sqrt 1.0)))) (- (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt 1.0) (sqrt 1.0))) (- (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (- (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) (+ (sqrt 1.0) 1))) (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) 5.184 * * [simplify]: iteration 0 : 71 enodes (cost 592 ) 5.195 * * [simplify]: iteration 1 : 139 enodes (cost 528 ) 5.213 * * [simplify]: iteration 2 : 272 enodes (cost 504 ) 5.256 * * [simplify]: iteration 3 : 518 enodes (cost 496 ) 5.358 * * [simplify]: iteration 4 : 1038 enodes (cost 496 ) 5.653 * * [simplify]: iteration 5 : 2688 enodes (cost 496 ) 6.419 * * [simplify]: iteration done : 5001 enodes (cost 496 ) 6.420 * [simplify]: Simplified to: (exp (- (sqrt (exp x)) (sqrt 1.0))) (log (- (sqrt (exp x)) (sqrt 1.0))) (exp (- (sqrt (exp x)) (sqrt 1.0))) (* (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (cbrt (- (sqrt (exp x)) (sqrt 1.0)))) (cbrt (- (sqrt (exp x)) (sqrt 1.0))) (pow (- (sqrt (exp x)) (sqrt 1.0)) 3) (sqrt (- (sqrt (exp x)) (sqrt 1.0))) (sqrt (- (sqrt (exp x)) (sqrt 1.0))) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (exp x) (+ (* (sqrt (exp x)) (sqrt 1.0)) 1.0)) (- (sqrt 1.0)) (- (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (+ (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (- (sqrt (sqrt (exp x))) (sqrt (sqrt 1.0))) (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt 1.0)) (exp (+ (sqrt (exp x)) (sqrt 1.0))) (log (+ (sqrt (exp x)) (sqrt 1.0))) (exp (+ (sqrt (exp x)) (sqrt 1.0))) (* (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0)))) (cbrt (+ (sqrt (exp x)) (sqrt 1.0))) (pow (+ (sqrt (exp x)) (sqrt 1.0)) 3) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))) (sqrt (+ (sqrt (exp x)) (sqrt 1.0))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (- 1.0 (* (sqrt (exp x)) (sqrt 1.0))) (exp x)) (- (exp x) 1.0) (- (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (+ (- 1 (sqrt 1.0)) (* x (+ 1/2 (* 1/8 x)))) (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (+ 1 (+ (* x (+ 1/2 (* 1/8 x))) (sqrt 1.0))) (+ (sqrt (exp x)) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0)) (+ 1 (* x (+ 1/2 (* 1/8 x)))) (sqrt (exp x)) (sqrt (exp x)) (+ 1 (* x (+ 1/2 (* 1/8 x)))) (sqrt (exp x)) (sqrt (exp x)) 6.420 * * * [progress]: adding candidates to table 6.557 * [progress]: [Phase 3 of 3] Extracting. 6.557 * * [regime]: Finding splitpoints for: (# #) 6.557 * * * [regime-changes]: Trying 2 branch expressions: ((exp x) x) 6.557 * * * * [regimes]: Trying to branch on (exp x) from (# #) 6.568 * * * * [regimes]: Trying to branch on x from (# #) 6.578 * * * [regime]: Found split indices: #