23.890 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.032 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying using # : (/ (exp x) (- (exp x) 1.0)) 0.036 * * [simplify]: iteration 0 : 7 enodes (cost 4 ) 0.037 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 0.038 * * [simplify]: iteration 2 : 8 enodes (cost 4 ) 0.038 * [simplify]: Simplified to: (/ (exp x) (- (exp x) 1.0)) 0.038 * * [progress]: iteration 1 / 4 0.038 * * * [progress]: picking best candidate 0.040 * * * * [pick]: Picked # 0.040 * * * [progress]: localizing error 0.044 * * * [progress]: generating rewritten candidates 0.044 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.048 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.056 * * * [progress]: generating series expansions 0.056 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.056 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 0.056 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.056 * [taylor]: Taking taylor expansion of (exp x) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of 1.0 in x 0.056 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.056 * [taylor]: Taking taylor expansion of (exp x) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [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.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 -1 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 -1 in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of 1.0 in x 0.058 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.058 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in (x) around 0 0.058 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x 0.058 * [taylor]: Taking taylor expansion of (exp x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.058 * [taylor]: Taking taylor expansion of (exp x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of 1.0 in x 0.058 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x 0.058 * [taylor]: Taking taylor expansion of (exp x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.058 * [taylor]: Taking taylor expansion of (exp x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of 1.0 in x 0.059 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in (x) around 0 0.059 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x 0.059 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.059 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of 1.0 in x 0.060 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x 0.060 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.060 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of 1.0 in x 0.062 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in (x) around 0 0.062 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (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 (- (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.062 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (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 (- (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.064 * * * [progress]: simplifying candidates 0.065 * [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))) (neg 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) (neg 1.0) (- x (log (- (exp x) 1.0))) (log (/ (exp x) (- (exp x) 1.0))) (exp (/ (exp x) (- (exp x) 1.0))) (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))) (* (cbrt (/ (exp x) (- (exp x) 1.0))) (cbrt (/ (exp x) (- (exp x) 1.0)))) (cbrt (/ (exp x) (- (exp x) 1.0))) (* (* (/ (exp x) (- (exp x) 1.0)) (/ (exp x) (- (exp x) 1.0))) (/ (exp x) (- (exp x) 1.0))) (sqrt (/ (exp x) (- (exp x) 1.0))) (sqrt (/ (exp x) (- (exp x) 1.0))) (neg (exp x)) (neg (- (exp x) 1.0)) (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1.0))) (/ (cbrt (exp x)) (sqrt (- (exp x) 1.0))) (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (- (exp x) 1.0)) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))) (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (- (exp x) 1.0)) (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0))) (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (- (exp x) 1.0)) (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (exp x) (sqrt (- (exp x) 1.0))) (/ 1 1) (/ (exp x) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0))) (/ 1 1) (/ (exp x) (- (exp x) 1.0)) (/ 1 (- (exp x) 1.0)) (/ (- (exp x) 1.0) (exp x)) (/ (exp x) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (sqrt (- (exp x) 1.0))) (/ (exp x) 1) (/ (exp x) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (exp x) 1) (/ (- (exp x) 1.0) (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))) (/ (- (exp x) 1.0) (exp x)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ (exp x) (- (* (exp x) (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) (+ 1/2 (+ (* 1/12 x) (/ 1 x))) (/ (exp x) (- (exp x) 1.0)) (/ (exp x) (- (exp x) 1.0)) 0.068 * * [simplify]: iteration 0 : 180 enodes (cost 378 ) 0.071 * * [simplify]: iteration 1 : 542 enodes (cost 357 ) 0.080 * * [simplify]: iteration 2 : 2174 enodes (cost 354 ) 0.129 * * [simplify]: iteration 3 : 5003 enodes (cost 354 ) 0.131 * [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 (+ 1.0 (exp x))) (exp (+ x x))) (neg 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) (neg 1.0) (- x (log (- (exp x) 1.0))) (- x (log (- (exp x) 1.0))) (exp (/ (exp x) (- (exp x) 1.0))) (pow (/ (exp x) (- (exp x) 1.0)) 3) (* (cbrt (/ (exp x) (- (exp x) 1.0))) (cbrt (/ (exp x) (- (exp x) 1.0)))) (cbrt (/ (exp x) (- (exp x) 1.0))) (pow (/ (exp x) (- (exp x) 1.0)) 3) (sqrt (/ (exp x) (- (exp x) 1.0))) (sqrt (/ (exp x) (- (exp x) 1.0))) (neg (exp x)) (neg (- (exp x) 1.0)) (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1.0))) (/ (cbrt (exp x)) (sqrt (- (exp x) 1.0))) (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (exp x) 1.0)) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))) (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (exp x) 1.0)) (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0))) (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0))) (sqrt (exp x)) (/ (sqrt (exp x)) (- (exp x) 1.0)) (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0))) (sqrt (exp x)) (/ (sqrt (exp x)) (- (exp x) 1.0)) (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (cbrt (- (exp x) 1.0))) (/ 1 (sqrt (- (exp x) 1.0))) (/ (exp x) (sqrt (- (exp x) 1.0))) 1 (/ (exp x) (- (exp x) 1.0)) (/ 1 (+ (sqrt (exp x)) (sqrt 1.0))) (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0))) 1 (/ (exp x) (- (exp x) 1.0)) (/ 1 (- (exp x) 1.0)) (- 1 (/ 1.0 (exp x))) (/ (exp x) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))) (/ (exp x) (sqrt (- (exp x) 1.0))) (exp x) (/ (exp x) (+ (sqrt (exp x)) (sqrt 1.0))) (exp x) (/ (- (exp x) 1.0) (cbrt (exp x))) (/ (- (exp x) 1.0) (sqrt (exp x))) (- 1 (/ 1.0 (exp x))) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ (exp x) (- (* (exp x) (exp x)) (* 1.0 1.0))) (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) (- (exp x) 1.0) (- (exp x) 1.0) (+ 1/2 (+ (* 1/12 x) (/ 1 x))) (/ (exp x) (- (exp x) 1.0)) (/ (exp x) (- (exp x) 1.0)) 0.132 * * * [progress]: adding candidates to table 0.201 * * [progress]: iteration 2 / 4 0.201 * * * [progress]: picking best candidate 0.209 * * * * [pick]: Picked # 0.209 * * * [progress]: localizing error 0.215 * * * [progress]: generating rewritten candidates 0.215 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 0.218 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.224 * * * [progress]: generating series expansions 0.224 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 0.224 * [approximate]: Taking taylor expansion of (* 1/12 x) in (x) around 0 0.224 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 0.224 * [taylor]: Taking taylor expansion of 1/12 in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 0.224 * [taylor]: Taking taylor expansion of 1/12 in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.225 * [approximate]: Taking taylor expansion of (/ 1/12 x) in (x) around 0 0.225 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 0.225 * [taylor]: Taking taylor expansion of 1/12 in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of (/ 1/12 x) in x 0.225 * [taylor]: Taking taylor expansion of 1/12 in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [approximate]: Taking taylor expansion of (/ -1/12 x) in (x) around 0 0.225 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 0.225 * [taylor]: Taking taylor expansion of -1/12 in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of (/ -1/12 x) in x 0.225 * [taylor]: Taking taylor expansion of -1/12 in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.226 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.226 * [approximate]: Taking taylor expansion of (+ (* 1/12 x) (/ 1 x)) in (x) around 0 0.226 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (/ 1 x)) in x 0.226 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 0.226 * [taylor]: Taking taylor expansion of 1/12 in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.226 * [taylor]: Taking taylor expansion of (+ (* 1/12 x) (/ 1 x)) in x 0.226 * [taylor]: Taking taylor expansion of (* 1/12 x) in x 0.226 * [taylor]: Taking taylor expansion of 1/12 in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.227 * [approximate]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in (x) around 0 0.227 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.227 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 0.227 * [taylor]: Taking taylor expansion of 1/12 in x 0.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.227 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.227 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 0.227 * [taylor]: Taking taylor expansion of 1/12 in x 0.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.229 * [approximate]: Taking taylor expansion of (neg (+ x (* 1/12 (/ 1 x)))) in (x) around 0 0.229 * [taylor]: Taking taylor expansion of (neg (+ x (* 1/12 (/ 1 x)))) in x 0.229 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 0.229 * [taylor]: Taking taylor expansion of x in x 0.229 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 0.229 * [taylor]: Taking taylor expansion of 1/12 in x 0.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.229 * [taylor]: Taking taylor expansion of x in x 0.229 * [taylor]: Taking taylor expansion of (neg (+ x (* 1/12 (/ 1 x)))) in x 0.229 * [taylor]: Taking taylor expansion of (+ x (* 1/12 (/ 1 x))) in x 0.229 * [taylor]: Taking taylor expansion of x in x 0.229 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 x)) in x 0.229 * [taylor]: Taking taylor expansion of 1/12 in x 0.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.229 * [taylor]: Taking taylor expansion of x in x 0.230 * * * [progress]: simplifying candidates 0.231 * [simplify]: Simplifying using # : (* 1/12 x) (+ (log 1/12) (log x)) (log (* 1/12 x)) (exp (* 1/12 x)) (* (* (* 1/12 1/12) 1/12) (* (* x x) x)) (* (cbrt (* 1/12 x)) (cbrt (* 1/12 x))) (cbrt (* 1/12 x)) (* (* (* 1/12 x) (* 1/12 x)) (* 1/12 x)) (sqrt (* 1/12 x)) (sqrt (* 1/12 x)) (* (sqrt 1/12) (sqrt x)) (* (sqrt 1/12) (sqrt x)) (* 1/12 (* (cbrt x) (cbrt x))) (* 1/12 (sqrt x)) (* 1/12 1) (* (cbrt 1/12) x) (* (sqrt 1/12) x) (* 1/12 x) (* (exp (* 1/12 x)) (exp (/ 1 x))) (log (+ (* 1/12 x) (/ 1 x))) (exp (+ (* 1/12 x) (/ 1 x))) (* (cbrt (+ (* 1/12 x) (/ 1 x))) (cbrt (+ (* 1/12 x) (/ 1 x)))) (cbrt (+ (* 1/12 x) (/ 1 x))) (* (* (+ (* 1/12 x) (/ 1 x)) (+ (* 1/12 x) (/ 1 x))) (+ (* 1/12 x) (/ 1 x))) (sqrt (+ (* 1/12 x) (/ 1 x))) (sqrt (+ (* 1/12 x) (/ 1 x))) (+ (pow (* 1/12 x) 3) (pow (/ 1 x) 3)) (+ (* (* 1/12 x) (* 1/12 x)) (- (* (/ 1 x) (/ 1 x)) (* (* 1/12 x) (/ 1 x)))) (- (* (* 1/12 x) (* 1/12 x)) (* (/ 1 x) (/ 1 x))) (- (* 1/12 x) (/ 1 x)) (* 1/12 x) (* 1/12 x) (* 1/12 x) (+ (* 1/12 x) (/ 1 x)) (+ (* 1/12 x) (/ 1 x)) (+ (* 1/12 x) (/ 1 x)) 0.233 * * [simplify]: iteration 0 : 130 enodes (cost 119 ) 0.236 * * [simplify]: iteration 1 : 448 enodes (cost 109 ) 0.247 * * [simplify]: iteration 2 : 2305 enodes (cost 108 ) 0.296 * * [simplify]: iteration 3 : 5001 enodes (cost 108 ) 0.297 * [simplify]: Simplified to: (* 1/12 x) (log (* 1/12 x)) (log (* 1/12 x)) (exp (* 1/12 x)) (pow (* 1/12 x) 3) (* (cbrt (* 1/12 x)) (cbrt (* 1/12 x))) (cbrt (* 1/12 x)) (pow (* 1/12 x) 3) (sqrt (* 1/12 x)) (sqrt (* 1/12 x)) (* (sqrt 1/12) (sqrt x)) (* (sqrt 1/12) (sqrt x)) (* 1/12 (* (cbrt x) (cbrt x))) (* 1/12 (sqrt x)) 1/12 (* (cbrt 1/12) x) (* (sqrt 1/12) x) (* 1/12 x) (exp (+ (* 1/12 x) (/ 1 x))) (log (+ (* 1/12 x) (/ 1 x))) (exp (+ (* 1/12 x) (/ 1 x))) (* (cbrt (+ (* 1/12 x) (/ 1 x))) (cbrt (+ (* 1/12 x) (/ 1 x)))) (cbrt (+ (* 1/12 x) (/ 1 x))) (pow (+ (* 1/12 x) (/ 1 x)) 3) (sqrt (+ (* 1/12 x) (/ 1 x))) (sqrt (+ (* 1/12 x) (/ 1 x))) (+ (pow (* 1/12 x) 3) (pow (/ 1 x) 3)) (+ (+ -1/12 (* 1/144 (* x x))) (/ (/ 1 x) x)) (+ (/ (neg (/ 1 x)) x) (* 1/144 (* x x))) (- (* 1/12 x) (/ 1 x)) (* 1/12 x) (* 1/12 x) (* 1/12 x) (+ (* 1/12 x) (/ 1 x)) (+ (* 1/12 x) (/ 1 x)) (+ (* 1/12 x) (/ 1 x)) 0.297 * * * [progress]: adding candidates to table 0.331 * * [progress]: iteration 3 / 4 0.331 * * * [progress]: picking best candidate 0.338 * * * * [pick]: Picked # 0.338 * * * [progress]: localizing error 0.343 * * * [progress]: generating rewritten candidates 0.343 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.350 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 0.354 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.365 * * * [progress]: generating series expansions 0.365 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.366 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in (x) around 0 0.366 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x 0.366 * [taylor]: Taking taylor expansion of 1 in x 0.366 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x 0.366 * [taylor]: Taking taylor expansion of 1.0 in x 0.366 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.366 * [taylor]: Taking taylor expansion of (exp x) in x 0.366 * [taylor]: Taking taylor expansion of x in x 0.366 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x 0.366 * [taylor]: Taking taylor expansion of 1 in x 0.366 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x 0.366 * [taylor]: Taking taylor expansion of 1.0 in x 0.366 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.366 * [taylor]: Taking taylor expansion of (exp x) in x 0.366 * [taylor]: Taking taylor expansion of x in x 0.367 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in (x) around 0 0.367 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x 0.367 * [taylor]: Taking taylor expansion of 1 in x 0.367 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x 0.367 * [taylor]: Taking taylor expansion of 1.0 in x 0.367 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 0.367 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.367 * [taylor]: Taking taylor expansion of x in x 0.367 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x 0.367 * [taylor]: Taking taylor expansion of 1 in x 0.367 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x 0.367 * [taylor]: Taking taylor expansion of 1.0 in x 0.367 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 0.367 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.367 * [taylor]: Taking taylor expansion of x in x 0.369 * [approximate]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in (x) around 0 0.369 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x 0.369 * [taylor]: Taking taylor expansion of 1 in x 0.369 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x 0.369 * [taylor]: Taking taylor expansion of 1.0 in x 0.369 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 0.369 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.369 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.369 * [taylor]: Taking taylor expansion of -1 in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x 0.369 * [taylor]: Taking taylor expansion of 1 in x 0.369 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x 0.369 * [taylor]: Taking taylor expansion of 1.0 in x 0.369 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 0.369 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.369 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.369 * [taylor]: Taking taylor expansion of -1 in x 0.370 * [taylor]: Taking taylor expansion of x in x 0.371 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 0.371 * [approximate]: Taking taylor expansion of (/ 1.0 (exp x)) in (x) around 0 0.371 * [taylor]: Taking taylor expansion of (/ 1.0 (exp x)) in x 0.371 * [taylor]: Taking taylor expansion of 1.0 in x 0.371 * [taylor]: Taking taylor expansion of (exp x) in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.371 * [taylor]: Taking taylor expansion of (/ 1.0 (exp x)) in x 0.371 * [taylor]: Taking taylor expansion of 1.0 in x 0.371 * [taylor]: Taking taylor expansion of (exp x) in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.372 * [approximate]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in (x) around 0 0.372 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in x 0.372 * [taylor]: Taking taylor expansion of 1.0 in x 0.372 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ 1 x))) in x 0.372 * [taylor]: Taking taylor expansion of 1.0 in x 0.372 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.373 * [approximate]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in (x) around 0 0.373 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in x 0.373 * [taylor]: Taking taylor expansion of 1.0 in x 0.373 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.374 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.374 * [taylor]: Taking taylor expansion of -1 in x 0.374 * [taylor]: Taking taylor expansion of x in x 0.374 * [taylor]: Taking taylor expansion of (/ 1.0 (exp (/ -1 x))) in x 0.374 * [taylor]: Taking taylor expansion of 1.0 in x 0.374 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.374 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.374 * [taylor]: Taking taylor expansion of -1 in x 0.374 * [taylor]: Taking taylor expansion of x in x 0.375 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.375 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in (x) around 0 0.375 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in x 0.375 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x 0.375 * [taylor]: Taking taylor expansion of 1 in x 0.375 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x 0.375 * [taylor]: Taking taylor expansion of 1.0 in x 0.375 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.375 * [taylor]: Taking taylor expansion of (exp x) in x 0.375 * [taylor]: Taking taylor expansion of x in x 0.375 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) in x 0.375 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp x)))) in x 0.375 * [taylor]: Taking taylor expansion of 1 in x 0.375 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp x))) in x 0.375 * [taylor]: Taking taylor expansion of 1.0 in x 0.375 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x 0.375 * [taylor]: Taking taylor expansion of (exp x) in x 0.375 * [taylor]: Taking taylor expansion of x in x 0.376 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in (x) around 0 0.376 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in x 0.376 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x 0.376 * [taylor]: Taking taylor expansion of 1 in x 0.376 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x 0.376 * [taylor]: Taking taylor expansion of 1.0 in x 0.377 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 0.377 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.377 * [taylor]: Taking taylor expansion of x in x 0.377 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ 1 x)))))) in x 0.377 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ 1 x))))) in x 0.377 * [taylor]: Taking taylor expansion of 1 in x 0.377 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ 1 x)))) in x 0.377 * [taylor]: Taking taylor expansion of 1.0 in x 0.377 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x 0.377 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.377 * [taylor]: Taking taylor expansion of x in x 0.380 * [approximate]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in (x) around 0 0.380 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in x 0.380 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x 0.380 * [taylor]: Taking taylor expansion of 1 in x 0.380 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x 0.380 * [taylor]: Taking taylor expansion of 1.0 in x 0.380 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 0.380 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.380 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.380 * [taylor]: Taking taylor expansion of -1 in x 0.380 * [taylor]: Taking taylor expansion of x in x 0.381 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (* 1.0 (/ 1 (exp (/ -1 x)))))) in x 0.381 * [taylor]: Taking taylor expansion of (- 1 (* 1.0 (/ 1 (exp (/ -1 x))))) in x 0.381 * [taylor]: Taking taylor expansion of 1 in x 0.381 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (exp (/ -1 x)))) in x 0.381 * [taylor]: Taking taylor expansion of 1.0 in x 0.381 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x 0.381 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.381 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.381 * [taylor]: Taking taylor expansion of -1 in x 0.381 * [taylor]: Taking taylor expansion of x in x 0.386 * * * [progress]: simplifying candidates 0.388 * [simplify]: Simplifying using # : (/ (exp 1) (exp (/ 1.0 (exp x)))) (log (- 1 (/ 1.0 (exp x)))) (exp (- 1 (/ 1.0 (exp x)))) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))) (* (* (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x)))) (- 1 (/ 1.0 (exp x)))) (sqrt (- 1 (/ 1.0 (exp x)))) (sqrt (- 1 (/ 1.0 (exp x)))) (- (pow 1 3) (pow (/ 1.0 (exp x)) 3)) (+ (* 1 1) (+ (* (/ 1.0 (exp x)) (/ 1.0 (exp x))) (* 1 (/ 1.0 (exp x))))) (neg (/ 1.0 (exp x))) (- (* 1 1) (* (/ 1.0 (exp x)) (/ 1.0 (exp x)))) (+ 1 (/ 1.0 (exp x))) (+ (sqrt 1) (sqrt (/ 1.0 (exp x)))) (- (sqrt 1) (sqrt (/ 1.0 (exp x)))) (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))) (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x)))) (+ 1 (sqrt (/ 1.0 (exp x)))) (- 1 (sqrt (/ 1.0 (exp x)))) (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))) (- 1 (/ 1.0 (exp x))) (neg (/ 1.0 (exp x))) (- (log 1.0) x) (log (/ 1.0 (exp x))) (exp (/ 1.0 (exp x))) (/ (* (* 1.0 1.0) 1.0) (* (* (exp x) (exp x)) (exp x))) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x)))) (cbrt (/ 1.0 (exp x))) (* (* (/ 1.0 (exp x)) (/ 1.0 (exp x))) (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x))) (neg 1.0) (neg (exp x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt 1.0) (cbrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))) (/ (cbrt 1.0) (sqrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (exp x)) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt 1.0) (cbrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (exp x)) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1.0 (cbrt (exp x))) (/ 1 (sqrt (exp x))) (/ 1.0 (sqrt (exp x))) (/ 1 1) (/ 1.0 (exp x)) (/ 1 (exp x)) (/ (exp x) 1.0) (/ 1.0 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1.0 (sqrt (exp x))) (/ 1.0 1) (/ (exp x) (cbrt 1.0)) (/ (exp x) (sqrt 1.0)) (/ (exp x) 1.0) (neg 1) (neg (log (- 1 (/ 1.0 (exp x))))) (- 0 (log (- 1 (/ 1.0 (exp x))))) (- (log 1) (log (- 1 (/ 1.0 (exp x))))) (log (/ 1 (- 1 (/ 1.0 (exp x))))) (exp (/ 1 (- 1 (/ 1.0 (exp x))))) (/ (* (* 1 1) 1) (* (* (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x)))) (- 1 (/ 1.0 (exp x))))) (* (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x)))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (* (* (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (- 1 (/ 1.0 (exp x))))) (/ 1 (- 1 (/ 1.0 (exp x))))) (sqrt (/ 1 (- 1 (/ 1.0 (exp x))))) (sqrt (/ 1 (- 1 (/ 1.0 (exp x))))) (neg 1) (neg (- 1 (/ 1.0 (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ (cbrt 1) (cbrt (- 1 (/ 1.0 (exp x))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- 1 (/ 1.0 (exp x))))) (/ (cbrt 1) (sqrt (- 1 (/ 1.0 (exp x))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- 1 (/ 1.0 (exp x)))) (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ (cbrt 1) (- (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ (cbrt 1) (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ (* (cbrt 1) (cbrt 1)) (+ 1 (sqrt (/ 1.0 (exp x))))) (/ (cbrt 1) (- 1 (sqrt (/ 1.0 (exp x))))) (/ (* (cbrt 1) (cbrt 1)) (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ (cbrt 1) (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- 1 (/ 1.0 (exp x)))) (/ (sqrt 1) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ (sqrt 1) (cbrt (- 1 (/ 1.0 (exp x))))) (/ (sqrt 1) (sqrt (- 1 (/ 1.0 (exp x))))) (/ (sqrt 1) (sqrt (- 1 (/ 1.0 (exp x))))) (/ (sqrt 1) 1) (/ (sqrt 1) (- 1 (/ 1.0 (exp x)))) (/ (sqrt 1) (+ (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ (sqrt 1) (- (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ (sqrt 1) (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ (sqrt 1) (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ (sqrt 1) (+ 1 (sqrt (/ 1.0 (exp x))))) (/ (sqrt 1) (- 1 (sqrt (/ 1.0 (exp x))))) (/ (sqrt 1) (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ (sqrt 1) (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ (sqrt 1) 1) (/ (sqrt 1) (- 1 (/ 1.0 (exp x)))) (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 1) (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (+ (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ 1 (- (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ 1 (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 1) (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (- 1 (/ 1.0 (exp x)))) (/ (- 1 (/ 1.0 (exp x))) 1) (/ 1 (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x)))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 1) (/ 1 (+ (sqrt 1) (sqrt (/ 1.0 (exp x))))) (/ 1 (+ (sqrt 1) (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 1) (/ (- 1 (/ 1.0 (exp x))) (cbrt 1)) (/ (- 1 (/ 1.0 (exp x))) (sqrt 1)) (/ (- 1 (/ 1.0 (exp x))) 1) (/ 1 (- (pow 1 3) (pow (/ 1.0 (exp x)) 3))) (/ 1 (- (* 1 1) (* (/ 1.0 (exp x)) (/ 1.0 (exp x))))) (- (+ (* 0.16666666666666666 (pow x 3)) (* 1.0 x)) (* 0.5 (pow x 2))) (- 1 (* 1.0 (/ 1 (exp x)))) (- 1 (* 1.0 (/ 1 (exp x)))) (- (+ (* 0.5 (pow x 2)) 1.0) (* 1.0 x)) (/ 1.0 (exp x)) (/ 1.0 (exp x)) (+ 0.5 (+ (* 0.08333333333333334 x) (* 1.0 (/ 1 x)))) (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) (/ 1 (- 1 (* 1.0 (/ 1 (exp x))))) 0.393 * * [simplify]: iteration 0 : 310 enodes (cost 722 ) 0.399 * * [simplify]: iteration 1 : 1324 enodes (cost 620 ) 0.418 * * [simplify]: iteration 2 : 5001 enodes (cost 618 ) 0.422 * [simplify]: Simplified to: (exp (- 1 (/ 1.0 (exp x)))) (log (- 1 (/ 1.0 (exp x)))) (exp (- 1 (/ 1.0 (exp x)))) (* (cbrt (- 1 (/ 1.0 (exp x)))) (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x)))) (pow (- 1 (/ 1.0 (exp x))) 3) (sqrt (- 1 (/ 1.0 (exp x)))) (sqrt (- 1 (/ 1.0 (exp x)))) (- 1 (pow (/ 1.0 (exp x)) 3)) (+ (* (/ 1.0 (exp x)) (+ (/ 1.0 (exp x)) 1)) 1) (neg (/ 1.0 (exp x))) (- 1 (* (/ 1.0 (exp x)) (/ 1.0 (exp x)))) (+ 1 (/ 1.0 (exp x))) (+ 1 (sqrt (/ 1.0 (exp x)))) (- 1 (sqrt (/ 1.0 (exp x)))) (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))) (+ 1 (sqrt (/ 1.0 (exp x)))) (- 1 (sqrt (/ 1.0 (exp x)))) (+ 1 (/ (sqrt 1.0) (sqrt (exp x)))) (- 1 (/ (sqrt 1.0) (sqrt (exp x)))) (- 1 (/ 1.0 (exp x))) (neg (/ 1.0 (exp x))) (- (log 1.0) x) (- (log 1.0) x) (exp (/ 1.0 (exp x))) (pow (/ 1.0 (exp x)) 3) (* (cbrt (/ 1.0 (exp x))) (cbrt (/ 1.0 (exp x)))) (cbrt (/ 1.0 (exp x))) (pow (/ 1.0 (exp x)) 3) (sqrt (/ 1.0 (exp x))) (sqrt (/ 1.0 (exp x))) (neg 1.0) (neg (exp x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt 1.0) (cbrt (exp x))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (exp x))) (/ (cbrt 1.0) (sqrt (exp x))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (exp x)) (/ (sqrt 1.0) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt 1.0) (cbrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x))) (/ (sqrt 1.0) (sqrt (exp x))) (sqrt 1.0) (/ (sqrt 1.0) (exp x)) (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1.0 (cbrt (exp x))) (/ 1 (sqrt (exp x))) (/ 1.0 (sqrt (exp x))) 1 (/ 1.0 (exp x)) (/ 1 (exp x)) (/ (exp x) 1.0) (/ 1.0 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1.0 (sqrt (exp x))) 1.0 (/ (exp x) (cbrt 1.0)) (/ (exp x) (sqrt 1.0)) (/ (exp x) 1.0) -1 (log (/ 1 (- 1 (/ 1.0 (exp x))))) (log (/ 1 (- 1 (/ 1.0 (exp x))))) (log (/ 1 (- 1 (/ 1.0 (exp x))))) (log (/ 1 (- 1 (/ 1.0 (exp x))))) (exp (/ 1 (- 1 (/ 1.0 (exp x))))) (pow (/ 1 (- 1 (/ 1.0 (exp x)))) 3) (* (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x)))))) (cbrt (/ 1 (- 1 (/ 1.0 (exp x))))) (pow (/ 1 (- 1 (/ 1.0 (exp x)))) 3) (sqrt (/ 1 (- 1 (/ 1.0 (exp x))))) (sqrt (/ 1 (- 1 (/ 1.0 (exp x))))) -1 (+ -1 (/ 1.0 (exp x))) (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (- 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (- 1 (/ (sqrt 1.0) (sqrt (exp x))))) 1 (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (- 1 (/ 1.0 (exp x)))) (- 1 (/ 1.0 (exp x))) (/ (/ 1 (cbrt (- 1 (/ 1.0 (exp x))))) (cbrt (- 1 (/ 1.0 (exp x))))) (/ 1 (sqrt (- 1 (/ 1.0 (exp x))))) 1 (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) (/ 1 (+ 1 (sqrt (/ 1.0 (exp x))))) (/ 1 (+ 1 (/ (sqrt 1.0) (sqrt (exp x))))) 1 (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x))) (/ 1 (- 1 (pow (/ 1.0 (exp x)) 3))) (/ 1 (- 1 (* (/ 1.0 (exp x)) (/ 1.0 (exp x))))) (- (+ (* 0.16666666666666666 (pow x 3)) (* 1.0 x)) (* 0.5 (pow x 2))) (- 1 (/ 1.0 (exp x))) (- 1 (/ 1.0 (exp x))) (- 1.0 (* x (- 1.0 (* x 0.5)))) (/ 1.0 (exp x)) (/ 1.0 (exp x)) (+ 0.5 (+ (* 0.08333333333333334 x) (* 1.0 (/ 1 x)))) (/ 1 (- 1 (/ 1.0 (exp x)))) (/ 1 (- 1 (/ 1.0 (exp x)))) 0.423 * * * [progress]: adding candidates to table 0.503 * * [progress]: iteration 4 / 4 0.503 * * * [progress]: picking best candidate 0.509 * * * * [pick]: Picked # 0.509 * * * [progress]: localizing error 0.521 * * * [progress]: generating rewritten candidates 0.521 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 0.532 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.567 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.583 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.606 * * * [progress]: generating series expansions 0.606 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 0.606 * [approximate]: Taking taylor expansion of (- (pow (exp x) 3) 1.0) in (x) around 0 0.606 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) 1.0) in x 0.606 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.606 * [taylor]: Taking taylor expansion of (exp x) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of 1.0 in x 0.606 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) 1.0) in x 0.606 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.606 * [taylor]: Taking taylor expansion of (exp x) in x 0.606 * [taylor]: Taking taylor expansion of x in x 0.606 * [taylor]: Taking taylor expansion of 1.0 in x 0.607 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) 1.0) in (x) around 0 0.607 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) 1.0) in x 0.607 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.607 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.607 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of 1.0 in x 0.608 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) 1.0) in x 0.608 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of 1.0 in x 0.610 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) 1.0) in (x) around 0 0.610 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) 1.0) in x 0.610 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.610 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.610 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.610 * [taylor]: Taking taylor expansion of -1 in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.610 * [taylor]: Taking taylor expansion of 1.0 in x 0.610 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) 1.0) in x 0.610 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.610 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.610 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.610 * [taylor]: Taking taylor expansion of -1 in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.610 * [taylor]: Taking taylor expansion of 1.0 in x 0.612 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.612 * [approximate]: Taking taylor expansion of (/ (* (+ (* 1.0 (exp x)) (+ (pow (exp x) 2) 1.0)) (exp x)) (- (pow (exp x) 3) 1.0)) in (x) around 0 0.612 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1.0 (exp x)) (+ (pow (exp x) 2) 1.0)) (exp x)) (- (pow (exp x) 3) 1.0)) in x 0.612 * [taylor]: Taking taylor expansion of (* (+ (* 1.0 (exp x)) (+ (pow (exp x) 2) 1.0)) (exp x)) in x 0.612 * [taylor]: Taking taylor expansion of (+ (* 1.0 (exp x)) (+ (pow (exp x) 2) 1.0)) in x 0.612 * [taylor]: Taking taylor expansion of (* 1.0 (exp x)) in x 0.612 * [taylor]: Taking taylor expansion of 1.0 in x 0.612 * [taylor]: Taking taylor expansion of (exp x) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1.0) in x 0.612 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 0.612 * [taylor]: Taking taylor expansion of (exp x) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of 1.0 in x 0.612 * [taylor]: Taking taylor expansion of (exp x) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) 1.0) in x 0.612 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.612 * [taylor]: Taking taylor expansion of (exp x) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of 1.0 in x 0.613 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1.0 (exp x)) (+ (pow (exp x) 2) 1.0)) (exp x)) (- (pow (exp x) 3) 1.0)) in x 0.613 * [taylor]: Taking taylor expansion of (* (+ (* 1.0 (exp x)) (+ (pow (exp x) 2) 1.0)) (exp x)) in x 0.613 * [taylor]: Taking taylor expansion of (+ (* 1.0 (exp x)) (+ (pow (exp x) 2) 1.0)) in x 0.613 * [taylor]: Taking taylor expansion of (* 1.0 (exp x)) in x 0.613 * [taylor]: Taking taylor expansion of 1.0 in x 0.613 * [taylor]: Taking taylor expansion of (exp x) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1.0) in x 0.613 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 0.613 * [taylor]: Taking taylor expansion of (exp x) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of 1.0 in x 0.613 * [taylor]: Taking taylor expansion of (exp x) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) 1.0) in x 0.613 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.613 * [taylor]: Taking taylor expansion of (exp x) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of 1.0 in x 0.615 * [approximate]: Taking taylor expansion of (/ (* (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)) (exp (/ 1 x))) (- (pow (exp (/ 1 x)) 3) 1.0)) in (x) around 0 0.615 * [taylor]: Taking taylor expansion of (/ (* (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)) (exp (/ 1 x))) (- (pow (exp (/ 1 x)) 3) 1.0)) in x 0.615 * [taylor]: Taking taylor expansion of (* (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)) (exp (/ 1 x))) in x 0.615 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)) in x 0.615 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.615 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.615 * [taylor]: Taking taylor expansion of x in x 0.615 * [taylor]: Taking taylor expansion of (+ (* 1.0 (exp (/ 1 x))) 1.0) in x 0.615 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 1 x))) in x 0.615 * [taylor]: Taking taylor expansion of 1.0 in x 0.615 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.615 * [taylor]: Taking taylor expansion of x in x 0.615 * [taylor]: Taking taylor expansion of 1.0 in x 0.615 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.615 * [taylor]: Taking taylor expansion of x in x 0.615 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) 1.0) in x 0.615 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.615 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.615 * [taylor]: Taking taylor expansion of x in x 0.615 * [taylor]: Taking taylor expansion of 1.0 in x 0.616 * [taylor]: Taking taylor expansion of (/ (* (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)) (exp (/ 1 x))) (- (pow (exp (/ 1 x)) 3) 1.0)) in x 0.616 * [taylor]: Taking taylor expansion of (* (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)) (exp (/ 1 x))) in x 0.616 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)) in x 0.616 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 0.616 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.616 * [taylor]: Taking taylor expansion of (+ (* 1.0 (exp (/ 1 x))) 1.0) in x 0.616 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 1 x))) in x 0.616 * [taylor]: Taking taylor expansion of 1.0 in x 0.616 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.616 * [taylor]: Taking taylor expansion of 1.0 in x 0.616 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.616 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) 1.0) in x 0.616 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.616 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.616 * [taylor]: Taking taylor expansion of 1.0 in x 0.625 * [approximate]: Taking taylor expansion of (/ (* (+ (pow (exp (/ -1 x)) 2) (+ (* 1.0 (exp (/ -1 x))) 1.0)) (exp (/ -1 x))) (- (pow (exp (/ -1 x)) 3) 1.0)) in (x) around 0 0.625 * [taylor]: Taking taylor expansion of (/ (* (+ (pow (exp (/ -1 x)) 2) (+ (* 1.0 (exp (/ -1 x))) 1.0)) (exp (/ -1 x))) (- (pow (exp (/ -1 x)) 3) 1.0)) in x 0.625 * [taylor]: Taking taylor expansion of (* (+ (pow (exp (/ -1 x)) 2) (+ (* 1.0 (exp (/ -1 x))) 1.0)) (exp (/ -1 x))) in x 0.625 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (+ (* 1.0 (exp (/ -1 x))) 1.0)) in x 0.625 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 0.625 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.625 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.625 * [taylor]: Taking taylor expansion of -1 in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of (+ (* 1.0 (exp (/ -1 x))) 1.0) in x 0.625 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ -1 x))) in x 0.625 * [taylor]: Taking taylor expansion of 1.0 in x 0.625 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.625 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.625 * [taylor]: Taking taylor expansion of -1 in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of 1.0 in x 0.625 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.625 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.625 * [taylor]: Taking taylor expansion of -1 in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) 1.0) in x 0.625 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.625 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.625 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.625 * [taylor]: Taking taylor expansion of -1 in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of 1.0 in x 0.626 * [taylor]: Taking taylor expansion of (/ (* (+ (pow (exp (/ -1 x)) 2) (+ (* 1.0 (exp (/ -1 x))) 1.0)) (exp (/ -1 x))) (- (pow (exp (/ -1 x)) 3) 1.0)) in x 0.626 * [taylor]: Taking taylor expansion of (* (+ (pow (exp (/ -1 x)) 2) (+ (* 1.0 (exp (/ -1 x))) 1.0)) (exp (/ -1 x))) in x 0.626 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (+ (* 1.0 (exp (/ -1 x))) 1.0)) in x 0.626 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 0.626 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.626 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.626 * [taylor]: Taking taylor expansion of -1 in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of (+ (* 1.0 (exp (/ -1 x))) 1.0) in x 0.626 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ -1 x))) in x 0.626 * [taylor]: Taking taylor expansion of 1.0 in x 0.626 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.626 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.626 * [taylor]: Taking taylor expansion of -1 in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of 1.0 in x 0.627 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.627 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.627 * [taylor]: Taking taylor expansion of -1 in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) 1.0) in x 0.627 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.627 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.627 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.627 * [taylor]: Taking taylor expansion of -1 in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of 1.0 in x 0.635 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 0.635 * [approximate]: Taking taylor expansion of (/ (exp x) (- (pow (exp x) 3) 1.0)) in (x) around 0 0.635 * [taylor]: Taking taylor expansion of (/ (exp x) (- (pow (exp x) 3) 1.0)) in x 0.635 * [taylor]: Taking taylor expansion of (exp x) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) 1.0) in x 0.635 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.635 * [taylor]: Taking taylor expansion of (exp x) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of 1.0 in x 0.635 * [taylor]: Taking taylor expansion of (/ (exp x) (- (pow (exp x) 3) 1.0)) in x 0.635 * [taylor]: Taking taylor expansion of (exp x) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) 1.0) in x 0.635 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.635 * [taylor]: Taking taylor expansion of (exp x) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.636 * [taylor]: Taking taylor expansion of 1.0 in x 0.637 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 1.0)) in (x) around 0 0.637 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 1.0)) in x 0.637 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.637 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) 1.0) in x 0.637 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.637 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.637 * [taylor]: Taking taylor expansion of 1.0 in x 0.637 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (pow (exp (/ 1 x)) 3) 1.0)) in x 0.637 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.637 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) 1.0) in x 0.637 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.637 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.637 * [taylor]: Taking taylor expansion of x in x 0.637 * [taylor]: Taking taylor expansion of 1.0 in x 0.642 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 1.0)) in (x) around 0 0.642 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 1.0)) in x 0.642 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.642 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.642 * [taylor]: Taking taylor expansion of -1 in x 0.642 * [taylor]: Taking taylor expansion of x in x 0.642 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) 1.0) in x 0.642 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.642 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.642 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.642 * [taylor]: Taking taylor expansion of -1 in x 0.642 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of 1.0 in x 0.643 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (pow (exp (/ -1 x)) 3) 1.0)) in x 0.643 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.643 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.643 * [taylor]: Taking taylor expansion of -1 in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) 1.0) in x 0.643 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.643 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.643 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.643 * [taylor]: Taking taylor expansion of -1 in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of 1.0 in x 0.648 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.648 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0 0.648 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.648 * [taylor]: Taking taylor expansion of (exp x) in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.648 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.648 * [taylor]: Taking taylor expansion of (exp x) in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.649 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 0.649 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.649 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.649 * [taylor]: Taking taylor expansion of x in x 0.649 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.649 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.649 * [taylor]: Taking taylor expansion of x in x 0.650 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0 0.650 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.650 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.650 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.651 * [taylor]: Taking taylor expansion of -1 in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.651 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.651 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.651 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.651 * [taylor]: Taking taylor expansion of -1 in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.652 * * * [progress]: simplifying candidates 0.657 * [simplify]: Simplifying using # : (/ (exp (pow (exp x) 3)) (exp (pow 1.0 3))) (log (- (pow (exp x) 3) (pow 1.0 3))) (exp (- (pow (exp x) 3) (pow 1.0 3))) (* (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (cbrt (- (pow (exp x) 3) (pow 1.0 3)))) (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (* (* (- (pow (exp x) 3) (pow 1.0 3)) (- (pow (exp x) 3) (pow 1.0 3))) (- (pow (exp x) 3) (pow 1.0 3))) (sqrt (- (pow (exp x) 3) (pow 1.0 3))) (sqrt (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (- (exp x) 1.0) (- (pow (pow (exp x) 3) 3) (pow (pow 1.0 3) 3)) (+ (* (pow (exp x) 3) (pow (exp x) 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (* (pow (exp x) 3) (pow 1.0 3)))) (neg (pow 1.0 3)) (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow 1.0 3))) (+ (pow (exp x) 3) (pow 1.0 3)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))) (+ (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2))) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))) (+ (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2))) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2))) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)) (+ (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3))) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3))) (+ (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2))) (- (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2))) (+ (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3)) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3)) (+ (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3)) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3)) (+ (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3))) (- (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3))) (+ (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2))) (- (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2))) (- (pow (exp x) 3) (pow 1.0 3)) (- (pow (exp x) 3) (pow 1.0 3)) (- (pow (exp x) 3) (pow 1.0 3)) (- (pow (exp x) 3) (pow 1.0 3)) (- (pow (exp x) 3) (pow 1.0 3)) (neg (pow 1.0 3)) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (+ (- x (log (- (pow (exp x) 3) (pow 1.0 3)))) (log (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (+ (log (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (log (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (log (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (exp (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (pow (exp x) 3) (pow 1.0 3)) (- (pow (exp x) 3) (pow 1.0 3))) (- (pow (exp x) 3) (pow 1.0 3)))) (* (* (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (* (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (* (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (cbrt (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (cbrt (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))))) (cbrt (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (* (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (sqrt (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (sqrt (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (exp x) (+ (pow (* (exp x) (exp x)) 3) (pow (+ (* 1.0 1.0) (* (exp x) 1.0)) 3))) (* (- (pow (exp x) 3) (pow 1.0 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (+ (* 1.0 1.0) (* (exp x) 1.0)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (* (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))))) (* (exp x) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (+ (* 1.0 1.0) (* (exp x) 1.0)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (- (pow (exp x) 3) (pow 1.0 3)) (- (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (sqrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (sqrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (/ (sqrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (/ (sqrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (* (exp x) (exp x))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* 1.0 1.0) (* (exp x) 1.0))) (* (* (exp x) (exp x)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 1.0) (* (exp x) 1.0)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (* (cbrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (cbrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) 1) (* (cbrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (sqrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (cbrt (- (pow (exp x) 3) (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (exp x) 1.0)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (cbrt (- (pow (exp x) 3) (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (exp x) 1.0)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (cbrt (- (pow (exp x) 3) (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (exp x) 1.0)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ 1 (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (+ (* (pow (exp x) 3) (pow (exp x) 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (* (pow (exp x) 3) (pow 1.0 3)))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (+ (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (pow (* (exp x) (exp x)) 3) (pow (+ (* 1.0 1.0) (* (exp x) 1.0)) 3))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (+ (* 1.0 1.0) (* (exp x) 1.0)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (exp x) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (- x (log (- (pow (exp x) 3) (pow 1.0 3)))) (log (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (exp (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (pow (exp x) 3) (pow 1.0 3)) (- (pow (exp x) 3) (pow 1.0 3))) (- (pow (exp x) 3) (pow 1.0 3)))) (* (cbrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (cbrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))))) (cbrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (neg (exp x)) (neg (- (pow (exp x) 3) (pow 1.0 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (cbrt (- (pow (exp x) 3) (pow 1.0 3))))) (/ (cbrt (exp x)) (cbrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (cbrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (/ (cbrt (exp x)) (- (exp x) 1.0)) (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2)))) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3)))) (/ (cbrt (exp x)) (- (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2)))) (/ (cbrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (pow 1 3)) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (pow 1 3)) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (pow 1 3)) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (pow 1 3)) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) 1) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (sqrt (exp x)) (* (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (cbrt (- (pow (exp x) 3) (pow 1.0 3))))) (/ (sqrt (exp x)) (cbrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (sqrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (sqrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (sqrt (exp x)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (/ (sqrt (exp x)) (- (exp x) 1.0)) (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (sqrt (exp x)) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (+ (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2)))) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2)))) (/ (sqrt (exp x)) (+ (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (- (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (+ (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2)))) (/ (sqrt (exp x)) (- (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2)))) (/ (sqrt (exp x)) (pow 1 3)) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (sqrt (exp x)) (pow 1 3)) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (sqrt (exp x)) (pow 1 3)) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (sqrt (exp x)) (pow 1 3)) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (sqrt (exp x)) 1) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ 1 (* (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (cbrt (- (pow (exp x) 3) (pow 1.0 3))))) (/ (exp x) (cbrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ 1 (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (exp x) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ 1 (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (/ (exp x) (- (exp x) 1.0)) (/ 1 1) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ 1 (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ 1 (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ 1 (+ (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (exp x) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ 1 (+ (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2)))) (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2)))) (/ 1 (+ (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3)))) (/ (exp x) (- (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3)))) (/ 1 (+ (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2)))) (/ (exp x) (- (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2)))) (/ 1 (pow 1 3)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ 1 (pow 1 3)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ 1 (pow 1 3)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ 1 (pow 1 3)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ 1 1) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ 1 (- (pow (exp x) 3) (pow 1.0 3))) (/ (- (pow (exp x) 3) (pow 1.0 3)) (exp x)) (/ (exp x) (* (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (cbrt (- (pow (exp x) 3) (pow 1.0 3))))) (/ (exp x) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (exp x) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (/ (exp x) 1) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow 1.0 (/ 3 2)))) (/ (exp x) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (exp x) (+ (sqrt (pow (exp x) 3)) (pow 1.0 (/ 3 2)))) (/ (exp x) (+ (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (exp x) (/ 3 2)) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (exp x) (/ 3 2)) (sqrt (pow 1.0 3)))) (/ (exp x) (+ (pow (exp x) (/ 3 2)) (pow 1.0 (/ 3 2)))) (/ (exp x) (pow 1 3)) (/ (exp x) (pow 1 3)) (/ (exp x) (pow 1 3)) (/ (exp x) (pow 1 3)) (/ (exp x) 1) (/ (- (pow (exp x) 3) (pow 1.0 3)) (cbrt (exp x))) (/ (- (pow (exp x) 3) (pow 1.0 3)) (sqrt (exp x))) (/ (- (pow (exp x) 3) (pow 1.0 3)) (exp x)) (/ (exp x) (- (pow (pow (exp x) 3) 3) (pow (pow 1.0 3) 3))) (/ (exp x) (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow 1.0 3)))) (* x 3) (* (log (exp x)) 3) (* 1 3) (* (cbrt x) 3) (* (sqrt x) 3) (* x 3) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (pow (exp x) 1) (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3) (pow (exp x) 3) (* (exp x) (exp x)) (log (pow (exp x) 3)) (exp (pow (exp x) 3)) (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3))) (cbrt (pow (exp x) 3)) (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3)) (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3) (pow (exp x) 3) (* (exp x) (exp x)) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) (/ 3 2)) (pow (exp x) (/ 3 2)) (+ (* 9/2 (pow x 2)) (+ (* 9/2 (pow x 3)) (* 3 x))) (- (pow (exp x) 3) 1.0) (- (pow (exp x) 3) 1.0) (+ 0.5 (+ (* 0.08333333333333348 x) (* 1.0 (/ 1 x)))) (/ (* (+ (* 1.0 (exp x)) (+ (pow (exp x) 2) 1.0)) (exp x)) (- (pow (exp x) 3) 1.0)) (/ (* (+ (* 1.0 (exp x)) (+ (pow (exp x) 2) 1.0)) (exp x)) (- (pow (exp x) 3) 1.0)) (- (* 1/3 (/ 1 x)) (+ 1/6 (* 1/12 x))) (/ (exp x) (- (pow (exp x) 3) 1.0)) (/ (exp x) (- (pow (exp x) 3) 1.0)) (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) (pow (exp x) 3) (pow (exp x) 3) 0.672 * * [simplify]: iteration 0 : 1010 enodes (cost 3589 ) 0.692 * * [simplify]: iteration 1 : 5001 enodes (cost 3450 ) 0.709 * [simplify]: Simplified to: (exp (- (pow (exp x) 3) (pow 1.0 3))) (log (- (pow (exp x) 3) (pow 1.0 3))) (exp (- (pow (exp x) 3) (pow 1.0 3))) (* (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (cbrt (- (pow (exp x) 3) (pow 1.0 3)))) (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (pow (- (pow (exp x) 3) (pow 1.0 3)) 3) (sqrt (- (pow (exp x) 3) (pow 1.0 3))) (sqrt (- (pow (exp x) 3) (pow 1.0 3))) (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (- (exp x) 1.0) (- (pow (pow (exp x) 3) 3) (pow (pow 1.0 3) 3)) (+ (+ (pow (exp x) 6) (pow 1.0 6)) (* (pow (exp x) 3) (pow 1.0 3))) (neg (pow 1.0 3)) (+ (pow (exp x) 6) (neg (pow 1.0 6))) (+ (pow (exp x) 3) (pow 1.0 3)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))) (+ (pow (sqrt (exp x)) 3) (pow 1.0 3/2)) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))) (+ (pow (sqrt (exp x)) 3) (pow 1.0 3/2)) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2)) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)) (+ (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3))) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3))) (+ (sqrt (pow (exp x) 3)) (pow 1.0 3/2)) (- (sqrt (pow (exp x) 3)) (pow 1.0 3/2)) (+ (pow (exp x) 3/2) (pow (sqrt 1.0) 3)) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3)) (+ (pow (exp x) 3/2) (pow (sqrt 1.0) 3)) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3)) (+ (pow (exp x) 3/2) (sqrt (pow 1.0 3))) (- (pow (exp x) 3/2) (sqrt (pow 1.0 3))) (+ (pow (exp x) 3/2) (pow 1.0 3/2)) (- (pow (exp x) 3/2) (pow 1.0 3/2)) (- (pow (exp x) 3) (pow 1.0 3)) (- (pow (exp x) 3) (pow 1.0 3)) (- (pow (exp x) 3) (pow 1.0 3)) (- (pow (exp x) 3) (pow 1.0 3)) (- (pow (exp x) 3) (pow 1.0 3)) (neg (pow 1.0 3)) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (- (log (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (exp x))) (log (- (pow (exp x) 3) (pow 1.0 3)))) (- (log (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (exp x))) (log (- (pow (exp x) 3) (pow 1.0 3)))) (- (log (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (exp x))) (log (- (pow (exp x) 3) (pow 1.0 3)))) (pow (exp (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2))) (pow (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) 3) (pow (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) 3) (* (cbrt (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (cbrt (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))))) (cbrt (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (pow (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) 3) (sqrt (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (sqrt (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (+ (pow (+ (* 1.0 1.0) (* (exp x) 1.0)) 3) (pow (exp x) 6)) (exp x)) (* (+ (* (* 1.0 (+ 1.0 (exp x))) (- (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2))) (* (pow (exp x) 2) (pow (exp x) 2))) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* (exp x) (pow (exp x) 4)) (* (exp x) (* (neg (* 1.0 (+ 1.0 (exp x)))) (* 1.0 (+ 1.0 (exp x)))))) (* (- (- (pow (exp x) 2) (* 1.0 1.0)) (* (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3))) (* (sqrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (sqrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (/ (sqrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (* (/ (sqrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (/ (pow (exp x) 3) (- (pow (exp x) 3) (pow 1.0 3))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (* 1.0 (+ 1.0 (exp x)))) (/ (pow (exp x) 3) (- (pow (exp x) 3) (pow 1.0 3))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (* 1.0 (+ 1.0 (exp x)))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (* (cbrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (cbrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))))) (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (sqrt (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))))) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (cbrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (sqrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (cbrt (- (pow (exp x) 3) (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (exp x) 1.0))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (exp x) 3/2) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (exp x) 3/2) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (cbrt (- (pow (exp x) 3) (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (exp x) 1.0))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (exp x) 3/2) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (exp x) 3/2) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (sqrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (cbrt (- (pow (exp x) 3) (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (sqrt (- (pow (exp x) 3) (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (exp x) 1.0))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3/2) (sqrt (pow 1.0 3))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3/2) (pow 1.0 3/2)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (/ 1 (- (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (+ (+ (pow (exp x) 6) (pow 1.0 6)) (* (pow (exp x) 3) (pow 1.0 3)))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (+ (pow (exp x) 3) (pow 1.0 3))) (* (+ (pow (+ (* 1.0 1.0) (* (exp x) 1.0)) 3) (pow (exp x) 6)) (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (* (* (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2))) (- (pow (exp x) 2) (* 1.0 (+ 1.0 (exp x))))) (* (+ (* 1.0 (+ 1.0 (exp x))) (pow (exp x) 2)) (exp x)) (- x (log (- (pow (exp x) 3) (pow 1.0 3)))) (- x (log (- (pow (exp x) 3) (pow 1.0 3)))) (exp (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (pow (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) 3) (* (cbrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (cbrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))))) (cbrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (pow (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) 3) (sqrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (sqrt (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))) (neg (exp x)) (neg (- (pow (exp x) 3) (pow 1.0 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (cbrt (- (pow (exp x) 3) (pow 1.0 3))))) (/ (cbrt (exp x)) (cbrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (cbrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (cbrt (exp x)) (/ (+ (+ (pow (exp x) 2) (* 1.0 1.0)) (* (exp x) 1.0)) (cbrt (exp x)))) (/ (cbrt (exp x)) (- (exp x) 1.0)) (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (cbrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (pow (exp x) 3)) (pow 1.0 3/2))) (/ (cbrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow 1.0 3/2))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (cbrt (exp x)) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (exp x) 3/2) (sqrt (pow 1.0 3)))) (/ (cbrt (exp x)) (- (pow (exp x) 3/2) (sqrt (pow 1.0 3)))) (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (pow (exp x) 3/2) (pow 1.0 3/2))) (/ (cbrt (exp x)) (- (pow (exp x) 3/2) (pow 1.0 3/2))) (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (* (cbrt (exp x)) (cbrt (exp x))) (/ (cbrt (exp x)) (- (pow (exp x) 3) (pow 1.0 3))) (/ (sqrt (exp x)) (* (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (cbrt (- (pow (exp x) 3) (pow 1.0 3))))) (/ (pow (exp x) 1/2) (cbrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (sqrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (sqrt (exp x)) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (sqrt (exp x)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (/ (sqrt (exp x)) (- (exp x) 1.0)) (sqrt (exp x)) (/ (pow (exp x) 1/2) (- (pow (exp x) 3) (pow 1.0 3))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (+ (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (sqrt (exp x)) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (sqrt (exp x)) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (+ (sqrt (pow (exp x) 3)) (pow 1.0 3/2))) (/ (sqrt (exp x)) (- (sqrt (pow (exp x) 3)) (pow 1.0 3/2))) (/ (sqrt (exp x)) (+ (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (sqrt (exp x)) (+ (pow (exp x) 3/2) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (- (pow (exp x) 3/2) (sqrt (pow 1.0 3)))) (/ (sqrt (exp x)) (+ (pow (exp x) 3/2) (pow 1.0 3/2))) (/ (sqrt (exp x)) (- (pow (exp x) 3/2) (pow 1.0 3/2))) (sqrt (exp x)) (/ (pow (exp x) 1/2) (- (pow (exp x) 3) (pow 1.0 3))) (sqrt (exp x)) (/ (pow (exp x) 1/2) (- (pow (exp x) 3) (pow 1.0 3))) (sqrt (exp x)) (/ (pow (exp x) 1/2) (- (pow (exp x) 3) (pow 1.0 3))) (sqrt (exp x)) (/ (pow (exp x) 1/2) (- (pow (exp x) 3) (pow 1.0 3))) (sqrt (exp x)) (/ (pow (exp x) 1/2) (- (pow (exp x) 3) (pow 1.0 3))) (/ 1 (* (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (cbrt (- (pow (exp x) 3) (pow 1.0 3))))) (/ (exp x) (cbrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ 1 (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (exp x) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ 1 (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (/ (exp x) (- (exp x) 1.0)) 1 (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ 1 (+ (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (exp x) (- (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ 1 (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ 1 (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ 1 (+ (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (exp x) (- (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ 1 (+ (sqrt (pow (exp x) 3)) (pow 1.0 3/2))) (/ (exp x) (- (sqrt (pow (exp x) 3)) (pow 1.0 3/2))) (/ 1 (+ (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (exp x) (- (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ 1 (+ (pow (exp x) 3/2) (sqrt (pow 1.0 3)))) (/ (exp x) (- (pow (exp x) 3/2) (sqrt (pow 1.0 3)))) (/ 1 (+ (pow (exp x) 3/2) (pow 1.0 3/2))) (/ (exp x) (- (pow (exp x) 3/2) (pow 1.0 3/2))) 1 (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) 1 (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) 1 (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) 1 (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) 1 (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3))) (/ 1 (- (pow (exp x) 3) (pow 1.0 3))) (/ (- (pow (exp x) 3) (pow 1.0 3)) (exp x)) (/ (exp x) (* (cbrt (- (pow (exp x) 3) (pow 1.0 3))) (cbrt (- (pow (exp x) 3) (pow 1.0 3))))) (/ (exp x) (sqrt (- (pow (exp x) 3) (pow 1.0 3)))) (/ (exp x) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (exp x) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (sqrt (pow 1.0 3)))) (/ (exp x) (+ (pow (sqrt (exp x)) 3) (pow 1.0 3/2))) (/ (exp x) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (sqrt (pow (exp x) 3)) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (sqrt (pow (exp x) 3)) (sqrt (pow 1.0 3)))) (/ (exp x) (+ (sqrt (pow (exp x) 3)) (pow 1.0 3/2))) (/ (exp x) (+ (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (exp x) 3/2) (pow (sqrt 1.0) 3))) (/ (exp x) (+ (pow (exp x) 3/2) (sqrt (pow 1.0 3)))) (/ (exp x) (+ (pow (exp x) 3/2) (pow 1.0 3/2))) (exp x) (exp x) (exp x) (exp x) (exp x) (/ (- (pow (exp x) 3) (pow 1.0 3)) (cbrt (exp x))) (/ (- (pow (exp x) 3) (pow 1.0 3)) (sqrt (exp x))) (/ (- (pow (exp x) 3) (pow 1.0 3)) (exp x)) (/ (exp x) (- (pow (pow (exp x) 3) 3) (pow (pow 1.0 3) 3))) (/ (exp x) (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1.0 3) (pow 1.0 3)))) (* x 3) (* x 3) 3 (* (cbrt x) 3) (* (sqrt x) 3) (* x 3) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (exp x) (pow (exp x) 2) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (pow (exp x) 2) (* x 3) (exp (pow (exp x) 3)) (pow (exp x) 2) (exp x) (pow (pow (exp x) 3) 3) (pow (exp x) 2) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (pow (exp x) 2) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) 3/2) (pow (exp x) 3/2) (+ (* 9/2 (+ (pow x 2) (pow x 3))) (* x 3)) (- (pow (exp x) 3) 1.0) (- (pow (exp x) 3) 1.0) (+ 0.5 (+ (* 0.08333333333333348 x) (* 1.0 (/ 1 x)))) (/ (* (+ (* 1.0 (exp x)) (+ (pow (exp x) 2) 1.0)) (exp x)) (- (pow (exp x) 3) 1.0)) (/ (* (+ (* 1.0 (exp x)) (+ (pow (exp x) 2) 1.0)) (exp x)) (- (pow (exp x) 3) 1.0)) (- (- (/ 1/3 x) (* 1/12 x)) 1/6) (/ (exp x) (- (pow (exp x) 3) 1.0)) (/ (exp x) (- (pow (exp x) 3) 1.0)) (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) (pow (exp x) 3) (pow (exp x) 3) 0.710 * * * [progress]: adding candidates to table 1.220 * [progress]: [Phase 3 of 3] Extracting. 1.220 * * [regime]: Finding splitpoints for: (# # # #) 1.220 * * * [regime-changes]: Trying 2 branch expressions: ((exp x) x) 1.220 * * * * [regimes]: Trying to branch on (exp x) from (# # # #) 1.252 * * * * [regimes]: Trying to branch on (exp x) from (# # #) 1.278 * * * * [regimes]: Trying to branch on x from (# # # #) 1.313 * * * [regime]: Found split indices: #