1.709 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.030 * [simplify]: Simplifying using # : (/ (- (exp x) 1.0) x) 0.031 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.031 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.032 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 0.034 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 0.035 * * [simplify]: iteration done : 15 enodes (cost 6 ) 0.035 * [simplify]: Simplified to: (/ (- (exp x) 1.0) x) 0.035 * * [progress]: iteration 1 / 4 0.035 * * * [progress]: picking best candidate 0.036 * * * * [pick]: Picked # 0.036 * * * [progress]: localizing error 0.040 * * * [progress]: generating rewritten candidates 0.040 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.044 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.059 * * * [progress]: generating series expansions 0.059 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.059 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0 0.059 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.059 * [taylor]: Taking taylor expansion of (exp 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.059 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.059 * [taylor]: Taking taylor expansion of (exp 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.064 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0 0.064 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.064 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of 1.0 in x 0.065 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.065 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of 1.0 in x 0.068 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0 0.068 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.069 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.069 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.069 * [taylor]: Taking taylor expansion of -1 in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of 1.0 in x 0.069 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.069 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.069 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.069 * [taylor]: Taking taylor expansion of -1 in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of 1.0 in x 0.073 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.073 * [approximate]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in (x) around 0 0.073 * [taylor]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in x 0.073 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.073 * [taylor]: Taking taylor expansion of (exp x) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of 1.0 in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.075 * [taylor]: Taking taylor expansion of (/ (- (exp x) 1.0) x) in x 0.075 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x 0.075 * [taylor]: Taking taylor expansion of (exp x) in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.075 * [taylor]: Taking taylor expansion of 1.0 in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.081 * [approximate]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in (x) around 0 0.081 * [taylor]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.081 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [taylor]: Taking taylor expansion of 1.0 in x 0.081 * [taylor]: Taking taylor expansion of (* x (- (exp (/ 1 x)) 1.0)) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x 0.081 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of 1.0 in x 0.092 * [approximate]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in (x) around 0 0.092 * [taylor]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in x 0.092 * [taylor]: Taking taylor expansion of -1 in x 0.092 * [taylor]: Taking taylor expansion of (* x (- (exp (/ -1 x)) 1.0)) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.092 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.092 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.092 * [taylor]: Taking taylor expansion of -1 in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of 1.0 in x 0.092 * [taylor]: Taking taylor expansion of (* -1 (* x (- (exp (/ -1 x)) 1.0))) in x 0.092 * [taylor]: Taking taylor expansion of -1 in x 0.092 * [taylor]: Taking taylor expansion of (* x (- (exp (/ -1 x)) 1.0)) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.093 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x 0.093 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.093 * [taylor]: Taking taylor expansion of -1 in x 0.093 * [taylor]: Taking taylor expansion of x in x 0.093 * [taylor]: Taking taylor expansion of 1.0 in x 0.110 * * * [progress]: simplifying candidates 0.111 * [simplify]: Simplifying using # : (/ (exp (exp x)) (exp 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0))) (- 1.0) (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (- (log (- (exp x) 1.0)) (log x)) (log (/ (- (exp x) 1.0) x)) (exp (/ (- (exp x) 1.0) x)) (/ (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)) (* (* x x) x)) (* (cbrt (/ (- (exp x) 1.0) x)) (cbrt (/ (- (exp x) 1.0) x))) (cbrt (/ (- (exp x) 1.0) x)) (* (* (/ (- (exp x) 1.0) x) (/ (- (exp x) 1.0) x)) (/ (- (exp x) 1.0) x)) (sqrt (/ (- (exp x) 1.0) x)) (sqrt (/ (- (exp x) 1.0) x)) (- (- (exp x) 1.0)) (- x) (/ (exp x) x) (/ 1.0 x) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt x) (cbrt x))) (/ (cbrt (- (exp x) 1.0)) (cbrt x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt x)) (/ (cbrt (- (exp x) 1.0)) (sqrt x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) 1) (/ (cbrt (- (exp x) 1.0)) x) (/ (sqrt (- (exp x) 1.0)) (* (cbrt x) (cbrt x))) (/ (sqrt (- (exp x) 1.0)) (cbrt x)) (/ (sqrt (- (exp x) 1.0)) (sqrt x)) (/ (sqrt (- (exp x) 1.0)) (sqrt x)) (/ (sqrt (- (exp x) 1.0)) 1) (/ (sqrt (- (exp x) 1.0)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- (exp x) 1.0) (cbrt x)) (/ 1 (sqrt x)) (/ (- (exp x) 1.0) (sqrt x)) (/ 1 1) (/ (- (exp x) 1.0) x) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt x) (cbrt x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) 1) (/ (- (sqrt (exp x)) (sqrt 1.0)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- (exp x) 1.0) (cbrt x)) (/ 1 (sqrt x)) (/ (- (exp x) 1.0) (sqrt x)) (/ 1 1) (/ (- (exp x) 1.0) x) (/ 1 x) (/ x (- (exp x) 1.0)) (/ (- (exp x) 1.0) (* (cbrt x) (cbrt x))) (/ (- (exp x) 1.0) (sqrt x)) (/ (- (exp x) 1.0) 1) (/ x (cbrt (- (exp x) 1.0))) (/ x (sqrt (- (exp x) 1.0))) (/ x (- (exp x) 1.0)) (/ x (- (sqrt (exp x)) (sqrt 1.0))) (/ x (- (exp x) 1.0)) (* x (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))) (* x (+ (exp x) 1.0)) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)) (- (exp x) 1.0) (- (exp x) 1.0) (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) (/ (- (exp x) 1.0) x) (* -1 (/ (- 1.0 (exp x)) x)) 0.113 * * [simplify]: iteration 0 : 99 enodes (cost 596 ) 0.133 * * [simplify]: iteration 1 : 221 enodes (cost 572 ) 0.179 * * [simplify]: iteration 2 : 501 enodes (cost 542 ) 0.429 * * [simplify]: iteration 3 : 1228 enodes (cost 537 ) 1.565 * * [simplify]: iteration 4 : 3918 enodes (cost 536 ) 2.808 * * [simplify]: iteration done : 5000 enodes (cost 536 ) 2.808 * [simplify]: Simplified to: (exp (- (exp x) 1.0)) (log (- (exp x) 1.0)) (exp (- (exp x) 1.0)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (cbrt (- (exp x) 1.0)) (pow (- (exp x) 1.0) 3) (sqrt (- (exp x) 1.0)) (sqrt (- (exp x) 1.0)) (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ (exp x) 1.0)) (exp (+ x x))) (- 1.0) (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0) (+ (sqrt 1.0) (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1.0)) (- (exp x) 1.0) (- 1.0) (log (/ (- (exp x) 1.0) x)) (log (/ (- (exp x) 1.0) x)) (exp (/ (- (exp x) 1.0) x)) (pow (/ (- (exp x) 1.0) x) 3) (* (cbrt (/ (- (exp x) 1.0) x)) (cbrt (/ (- (exp x) 1.0) x))) (cbrt (/ (- (exp x) 1.0) x)) (pow (/ (- (exp x) 1.0) x) 3) (sqrt (/ (- (exp x) 1.0) x)) (sqrt (/ (- (exp x) 1.0) x)) (- 1.0 (exp x)) (- x) (/ (exp x) x) (/ 1.0 x) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (* (cbrt x) (cbrt x))) (/ (cbrt (- (exp x) 1.0)) (cbrt x)) (/ (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (sqrt x)) (/ (cbrt (- (exp x) 1.0)) (sqrt x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))) (/ (cbrt (- (exp x) 1.0)) x) (/ (sqrt (- (exp x) 1.0)) (* (cbrt x) (cbrt x))) (/ (sqrt (- (exp x) 1.0)) (cbrt x)) (/ (sqrt (- (exp x) 1.0)) (sqrt x)) (/ (sqrt (- (exp x) 1.0)) (sqrt x)) (sqrt (- (exp x) 1.0)) (/ (sqrt (- (exp x) 1.0)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- (exp x) 1.0) (cbrt x)) (/ 1 (sqrt x)) (/ (- (exp x) 1.0) (sqrt x)) 1 (/ (- (exp x) 1.0) x) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (* (cbrt x) (cbrt x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) (cbrt x)) (/ (+ (sqrt (exp x)) (sqrt 1.0)) (sqrt x)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (sqrt x)) (+ (sqrt 1.0) (sqrt (exp x))) (/ (- (sqrt (exp x)) (sqrt 1.0)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- (exp x) 1.0) (cbrt x)) (/ 1 (sqrt x)) (/ (- (exp x) 1.0) (sqrt x)) 1 (/ (- (exp x) 1.0) x) (/ 1 x) (/ x (- (exp x) 1.0)) (/ (- (exp x) 1.0) (* (cbrt x) (cbrt x))) (/ (- (exp x) 1.0) (sqrt x)) (- (exp x) 1.0) (/ x (cbrt (- (exp x) 1.0))) (/ x (sqrt (- (exp x) 1.0))) (/ x (- (exp x) 1.0)) (/ x (- (sqrt (exp x)) (sqrt 1.0))) (/ x (- (exp x) 1.0)) (* (+ (* 1.0 (+ (exp x) 1.0)) (exp (+ x x))) x) (* x (+ (exp x) 1.0)) (+ x (* (* x x) (+ 1/2 (* x 1/6)))) (- (exp x) 1.0) (- (exp x) 1.0) (+ 1 (* x (+ (* x 1/6) 1/2))) (/ (- (exp x) 1.0) x) (/ (- (exp x) 1.0) x) 2.809 * * * [progress]: adding candidates to table 2.916 * * [progress]: iteration 2 / 4 2.916 * * * [progress]: picking best candidate 2.919 * * * * [pick]: Picked # 2.919 * * * [progress]: localizing error 2.924 * * * [progress]: generating rewritten candidates 2.924 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2 1) 2.927 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 2.938 * * * [progress]: generating series expansions 2.938 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2 1) 2.938 * [approximate]: Taking taylor expansion of (* 1/6 x) in (x) around 0 2.938 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 2.938 * [taylor]: Taking taylor expansion of 1/6 in x 2.938 * [taylor]: Taking taylor expansion of x in x 2.938 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 2.938 * [taylor]: Taking taylor expansion of 1/6 in x 2.939 * [taylor]: Taking taylor expansion of x in x 2.943 * [approximate]: Taking taylor expansion of (/ 1/6 x) in (x) around 0 2.943 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x 2.944 * [taylor]: Taking taylor expansion of 1/6 in x 2.944 * [taylor]: Taking taylor expansion of x in x 2.944 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x 2.944 * [taylor]: Taking taylor expansion of 1/6 in x 2.944 * [taylor]: Taking taylor expansion of x in x 2.947 * [approximate]: Taking taylor expansion of (/ -1/6 x) in (x) around 0 2.947 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x 2.947 * [taylor]: Taking taylor expansion of -1/6 in x 2.947 * [taylor]: Taking taylor expansion of x in x 2.948 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x 2.948 * [taylor]: Taking taylor expansion of -1/6 in x 2.948 * [taylor]: Taking taylor expansion of x in x 2.951 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.951 * [approximate]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in (x) around 0 2.951 * [taylor]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in x 2.951 * [taylor]: Taking taylor expansion of x in x 2.951 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 2.951 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 2.951 * [taylor]: Taking taylor expansion of 1/6 in x 2.951 * [taylor]: Taking taylor expansion of x in x 2.951 * [taylor]: Taking taylor expansion of 1/2 in x 2.951 * [taylor]: Taking taylor expansion of (* x (+ (* 1/6 x) 1/2)) in x 2.951 * [taylor]: Taking taylor expansion of x in x 2.951 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 2.951 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 2.951 * [taylor]: Taking taylor expansion of 1/6 in x 2.951 * [taylor]: Taking taylor expansion of x in x 2.951 * [taylor]: Taking taylor expansion of 1/2 in x 2.965 * [approximate]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in (x) around 0 2.965 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in x 2.965 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x 2.965 * [taylor]: Taking taylor expansion of 1/2 in x 2.965 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 2.965 * [taylor]: Taking taylor expansion of 1/6 in x 2.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.966 * [taylor]: Taking taylor expansion of x in x 2.966 * [taylor]: Taking taylor expansion of x in x 2.967 * [taylor]: Taking taylor expansion of (/ (+ 1/2 (* 1/6 (/ 1 x))) x) in x 2.967 * [taylor]: Taking taylor expansion of (+ 1/2 (* 1/6 (/ 1 x))) in x 2.967 * [taylor]: Taking taylor expansion of 1/2 in x 2.967 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 2.967 * [taylor]: Taking taylor expansion of 1/6 in x 2.967 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.967 * [taylor]: Taking taylor expansion of x in x 2.967 * [taylor]: Taking taylor expansion of x in x 2.985 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in (x) around 0 2.986 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in x 2.986 * [taylor]: Taking taylor expansion of -1 in x 2.986 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) x) in x 2.986 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 2.986 * [taylor]: Taking taylor expansion of 1/2 in x 2.986 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 2.986 * [taylor]: Taking taylor expansion of 1/6 in x 2.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.986 * [taylor]: Taking taylor expansion of x in x 2.986 * [taylor]: Taking taylor expansion of x in x 2.987 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1/2 (* 1/6 (/ 1 x))) x)) in x 2.987 * [taylor]: Taking taylor expansion of -1 in x 2.987 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) x) in x 2.987 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 2.987 * [taylor]: Taking taylor expansion of 1/2 in x 2.987 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 2.987 * [taylor]: Taking taylor expansion of 1/6 in x 2.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.987 * [taylor]: Taking taylor expansion of x in x 2.987 * [taylor]: Taking taylor expansion of x in x 3.008 * * * [progress]: simplifying candidates 3.009 * [simplify]: Simplifying using # : (* x 1/6) (+ (log x) (log 1/6)) (log (* x 1/6)) (exp (* x 1/6)) (* (* (* x x) x) (* (* 1/6 1/6) 1/6)) (* (cbrt (* x 1/6)) (cbrt (* x 1/6))) (cbrt (* x 1/6)) (* (* (* x 1/6) (* x 1/6)) (* x 1/6)) (sqrt (* x 1/6)) (sqrt (* x 1/6)) (* (sqrt x) (sqrt 1/6)) (* (sqrt x) (sqrt 1/6)) (* x (* (cbrt 1/6) (cbrt 1/6))) (* x (sqrt 1/6)) (* x 1) (* (cbrt x) 1/6) (* (sqrt x) 1/6) (* x 1/6) (* x (+ (* x 1/6) 1/2)) (+ (log x) (log (+ (* x 1/6) 1/2))) (log (* x (+ (* x 1/6) 1/2))) (exp (* x (+ (* x 1/6) 1/2))) (* (* (* x x) x) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2))) (* (cbrt (* x (+ (* x 1/6) 1/2))) (cbrt (* x (+ (* x 1/6) 1/2)))) (cbrt (* x (+ (* x 1/6) 1/2))) (* (* (* x (+ (* x 1/6) 1/2)) (* x (+ (* x 1/6) 1/2))) (* x (+ (* x 1/6) 1/2))) (sqrt (* x (+ (* x 1/6) 1/2))) (sqrt (* x (+ (* x 1/6) 1/2))) (* (sqrt x) (sqrt (+ (* x 1/6) 1/2))) (* (sqrt x) (sqrt (+ (* x 1/6) 1/2))) (* x (* x 1/6)) (* x 1/2) (* (* x 1/6) x) (* 1/2 x) (* x (* (cbrt (+ (* x 1/6) 1/2)) (cbrt (+ (* x 1/6) 1/2)))) (* x (sqrt (+ (* x 1/6) 1/2))) (* x 1) (* (cbrt x) (+ (* x 1/6) 1/2)) (* (sqrt x) (+ (* x 1/6) 1/2)) (* x (+ (* x 1/6) 1/2)) (* x (+ (pow (* x 1/6) 3) (pow 1/2 3))) (* x (- (* (* x 1/6) (* x 1/6)) (* 1/2 1/2))) (* 1/6 x) (* 1/6 x) (* 1/6 x) (+ (* 1/6 (pow x 2)) (* 1/2 x)) (+ (* 1/6 (pow x 2)) (* 1/2 x)) (+ (* 1/6 (pow x 2)) (* 1/2 x)) 3.011 * * [simplify]: iteration 0 : 70 enodes (cost 356 ) 3.029 * * [simplify]: iteration 1 : 182 enodes (cost 328 ) 3.069 * * [simplify]: iteration 2 : 462 enodes (cost 298 ) 3.260 * * [simplify]: iteration 3 : 1382 enodes (cost 298 ) 4.697 * * [simplify]: iteration done : 5000 enodes (cost 298 ) 4.698 * [simplify]: Simplified to: (* 1/6 x) (log (* x 1/6)) (log (* x 1/6)) (exp (* x 1/6)) (* (pow x 3) 1/216) (* (cbrt (* x 1/6)) (cbrt (* x 1/6))) (cbrt (* x 1/6)) (* (pow x 3) 1/216) (sqrt (* x 1/6)) (sqrt (* x 1/6)) (* (sqrt x) (sqrt 1/6)) (* (sqrt x) (sqrt 1/6)) (* x (* (cbrt 1/6) (cbrt 1/6))) (* x (sqrt 1/6)) x (* (cbrt x) 1/6) (* (sqrt x) 1/6) (* 1/6 x) (* x (+ (* x 1/6) 1/2)) (log (* x (+ (* x 1/6) 1/2))) (log (* x (+ (* x 1/6) 1/2))) (exp (* x (+ (* x 1/6) 1/2))) (pow (* x (+ (* x 1/6) 1/2)) 3) (* (cbrt (* x (+ (* x 1/6) 1/2))) (cbrt (* x (+ (* x 1/6) 1/2)))) (cbrt (* x (+ (* x 1/6) 1/2))) (pow (* x (+ (* x 1/6) 1/2)) 3) (sqrt (* x (+ (* x 1/6) 1/2))) (sqrt (* x (+ (* x 1/6) 1/2))) (* (sqrt x) (sqrt (+ (* x 1/6) 1/2))) (* (sqrt x) (sqrt (+ (* x 1/6) 1/2))) (* (* x x) 1/6) (* x 1/2) (* (* x x) 1/6) (* x 1/2) (* x (* (cbrt (+ (* x 1/6) 1/2)) (cbrt (+ (* x 1/6) 1/2)))) (* x (sqrt (+ (* x 1/6) 1/2))) x (* (cbrt x) (+ (* x 1/6) 1/2)) (* (sqrt x) (+ (* x 1/6) 1/2)) (* x (+ (* x 1/6) 1/2)) (* (+ (pow (* 1/6 x) 3) 1/8) x) (* x (- (* (pow x 2) 1/36) 1/4)) (* 1/6 x) (* 1/6 x) (* 1/6 x) (* x (+ (* x 1/6) 1/2)) (* x (+ (* x 1/6) 1/2)) (* x (+ (* x 1/6) 1/2)) 4.698 * * * [progress]: adding candidates to table 4.763 * * [progress]: iteration 3 / 4 4.763 * * * [progress]: picking best candidate 4.765 * * * * [pick]: Picked # 4.765 * * * [progress]: localizing error 4.773 * * * [progress]: generating rewritten candidates 4.773 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.780 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 4.787 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 4.812 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 4.828 * * * [progress]: generating series expansions 4.828 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 4.828 * [approximate]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in (x) around 0 4.828 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in x 4.829 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 4.829 * [taylor]: Taking taylor expansion of (exp x) in x 4.829 * [taylor]: Taking taylor expansion of x in x 4.829 * [taylor]: Taking taylor expansion of 1.0 in x 4.829 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in x 4.829 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 4.829 * [taylor]: Taking taylor expansion of (exp x) in x 4.829 * [taylor]: Taking taylor expansion of x in x 4.829 * [taylor]: Taking taylor expansion of 1.0 in x 4.836 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in (x) around 0 4.836 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in x 4.836 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 4.836 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.836 * [taylor]: Taking taylor expansion of x in x 4.836 * [taylor]: Taking taylor expansion of 1.0 in x 4.836 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in x 4.836 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 4.836 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.836 * [taylor]: Taking taylor expansion of x in x 4.836 * [taylor]: Taking taylor expansion of 1.0 in x 4.844 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in (x) around 0 4.844 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in x 4.844 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 4.844 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.844 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.844 * [taylor]: Taking taylor expansion of -1 in x 4.844 * [taylor]: Taking taylor expansion of x in x 4.845 * [taylor]: Taking taylor expansion of 1.0 in x 4.845 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in x 4.845 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 4.845 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.845 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.845 * [taylor]: Taking taylor expansion of -1 in x 4.845 * [taylor]: Taking taylor expansion of x in x 4.845 * [taylor]: Taking taylor expansion of 1.0 in x 4.853 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 4.853 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0 4.853 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 4.853 * [taylor]: Taking taylor expansion of (exp x) in x 4.853 * [taylor]: Taking taylor expansion of x in x 4.853 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 4.853 * [taylor]: Taking taylor expansion of (exp x) in x 4.853 * [taylor]: Taking taylor expansion of x in x 4.856 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0 4.856 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 4.856 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.856 * [taylor]: Taking taylor expansion of x in x 4.856 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 4.856 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.856 * [taylor]: Taking taylor expansion of x in x 4.861 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0 4.861 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 4.861 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.861 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.861 * [taylor]: Taking taylor expansion of -1 in x 4.861 * [taylor]: Taking taylor expansion of x in x 4.861 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 4.861 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.861 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.861 * [taylor]: Taking taylor expansion of -1 in x 4.861 * [taylor]: Taking taylor expansion of x in x 4.866 * * * * [progress]: [ 3 / 4 ] generating series at (2) 4.866 * [approximate]: Taking taylor expansion of (/ (- (pow (exp x) 2) 1.0) (* (+ (exp x) 1.0) x)) in (x) around 0 4.866 * [taylor]: Taking taylor expansion of (/ (- (pow (exp x) 2) 1.0) (* (+ (exp x) 1.0) x)) in x 4.866 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in x 4.866 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 4.866 * [taylor]: Taking taylor expansion of (exp x) in x 4.866 * [taylor]: Taking taylor expansion of x in x 4.866 * [taylor]: Taking taylor expansion of 1.0 in x 4.866 * [taylor]: Taking taylor expansion of (* (+ (exp x) 1.0) x) in x 4.866 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.866 * [taylor]: Taking taylor expansion of (exp x) in x 4.866 * [taylor]: Taking taylor expansion of x in x 4.866 * [taylor]: Taking taylor expansion of 1.0 in x 4.866 * [taylor]: Taking taylor expansion of x in x 4.871 * [taylor]: Taking taylor expansion of (/ (- (pow (exp x) 2) 1.0) (* (+ (exp x) 1.0) x)) in x 4.871 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) 1.0) in x 4.871 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 4.871 * [taylor]: Taking taylor expansion of (exp x) in x 4.871 * [taylor]: Taking taylor expansion of x in x 4.871 * [taylor]: Taking taylor expansion of 1.0 in x 4.871 * [taylor]: Taking taylor expansion of (* (+ (exp x) 1.0) x) in x 4.871 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.871 * [taylor]: Taking taylor expansion of (exp x) in x 4.871 * [taylor]: Taking taylor expansion of x in x 4.871 * [taylor]: Taking taylor expansion of 1.0 in x 4.871 * [taylor]: Taking taylor expansion of x in x 4.893 * [approximate]: Taking taylor expansion of (/ (* x (- (pow (exp (/ 1 x)) 2) 1.0)) (+ (exp (/ 1 x)) 1.0)) in (x) around 0 4.893 * [taylor]: Taking taylor expansion of (/ (* x (- (pow (exp (/ 1 x)) 2) 1.0)) (+ (exp (/ 1 x)) 1.0)) in x 4.893 * [taylor]: Taking taylor expansion of (* x (- (pow (exp (/ 1 x)) 2) 1.0)) in x 4.893 * [taylor]: Taking taylor expansion of x in x 4.893 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in x 4.893 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 4.893 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.893 * [taylor]: Taking taylor expansion of x in x 4.893 * [taylor]: Taking taylor expansion of 1.0 in x 4.893 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.893 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.893 * [taylor]: Taking taylor expansion of x in x 4.894 * [taylor]: Taking taylor expansion of 1.0 in x 4.895 * [taylor]: Taking taylor expansion of (/ (* x (- (pow (exp (/ 1 x)) 2) 1.0)) (+ (exp (/ 1 x)) 1.0)) in x 4.895 * [taylor]: Taking taylor expansion of (* x (- (pow (exp (/ 1 x)) 2) 1.0)) in x 4.895 * [taylor]: Taking taylor expansion of x in x 4.896 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) 1.0) in x 4.896 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 4.896 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.896 * [taylor]: Taking taylor expansion of x in x 4.896 * [taylor]: Taking taylor expansion of 1.0 in x 4.896 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.896 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.896 * [taylor]: Taking taylor expansion of x in x 4.896 * [taylor]: Taking taylor expansion of 1.0 in x 4.917 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (pow (exp (/ -1 x)) 2) 1.0) x) (+ (exp (/ -1 x)) 1.0))) in (x) around 0 4.917 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (pow (exp (/ -1 x)) 2) 1.0) x) (+ (exp (/ -1 x)) 1.0))) in x 4.917 * [taylor]: Taking taylor expansion of -1 in x 4.917 * [taylor]: Taking taylor expansion of (/ (* (- (pow (exp (/ -1 x)) 2) 1.0) x) (+ (exp (/ -1 x)) 1.0)) in x 4.917 * [taylor]: Taking taylor expansion of (* (- (pow (exp (/ -1 x)) 2) 1.0) x) in x 4.917 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in x 4.917 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 4.917 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.917 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.917 * [taylor]: Taking taylor expansion of -1 in x 4.917 * [taylor]: Taking taylor expansion of x in x 4.918 * [taylor]: Taking taylor expansion of 1.0 in x 4.918 * [taylor]: Taking taylor expansion of x in x 4.918 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.918 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.918 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.918 * [taylor]: Taking taylor expansion of -1 in x 4.918 * [taylor]: Taking taylor expansion of x in x 4.918 * [taylor]: Taking taylor expansion of 1.0 in x 4.920 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (pow (exp (/ -1 x)) 2) 1.0) x) (+ (exp (/ -1 x)) 1.0))) in x 4.920 * [taylor]: Taking taylor expansion of -1 in x 4.920 * [taylor]: Taking taylor expansion of (/ (* (- (pow (exp (/ -1 x)) 2) 1.0) x) (+ (exp (/ -1 x)) 1.0)) in x 4.920 * [taylor]: Taking taylor expansion of (* (- (pow (exp (/ -1 x)) 2) 1.0) x) in x 4.920 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) 1.0) in x 4.920 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 4.920 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.920 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.920 * [taylor]: Taking taylor expansion of -1 in x 4.920 * [taylor]: Taking taylor expansion of x in x 4.920 * [taylor]: Taking taylor expansion of 1.0 in x 4.920 * [taylor]: Taking taylor expansion of x in x 4.920 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.920 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.920 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.920 * [taylor]: Taking taylor expansion of -1 in x 4.920 * [taylor]: Taking taylor expansion of x in x 4.921 * [taylor]: Taking taylor expansion of 1.0 in x 4.944 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 4.944 * [approximate]: Taking taylor expansion of (* (+ (exp x) 1.0) x) in (x) around 0 4.944 * [taylor]: Taking taylor expansion of (* (+ (exp x) 1.0) x) in x 4.944 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.944 * [taylor]: Taking taylor expansion of (exp x) in x 4.944 * [taylor]: Taking taylor expansion of x in x 4.944 * [taylor]: Taking taylor expansion of 1.0 in x 4.944 * [taylor]: Taking taylor expansion of x in x 4.945 * [taylor]: Taking taylor expansion of (* (+ (exp x) 1.0) x) in x 4.945 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.945 * [taylor]: Taking taylor expansion of (exp x) in x 4.945 * [taylor]: Taking taylor expansion of x in x 4.945 * [taylor]: Taking taylor expansion of 1.0 in x 4.945 * [taylor]: Taking taylor expansion of x in x 4.951 * [approximate]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) 1.0) x) in (x) around 0 4.951 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) 1.0) x) in x 4.951 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.951 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.951 * [taylor]: Taking taylor expansion of x in x 4.952 * [taylor]: Taking taylor expansion of 1.0 in x 4.952 * [taylor]: Taking taylor expansion of x in x 4.952 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ 1 x)) 1.0) x) in x 4.952 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.952 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.952 * [taylor]: Taking taylor expansion of x in x 4.952 * [taylor]: Taking taylor expansion of 1.0 in x 4.952 * [taylor]: Taking taylor expansion of x in x 4.962 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (exp (/ -1 x)) 1.0) x)) in (x) around 0 4.962 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (exp (/ -1 x)) 1.0) x)) in x 4.962 * [taylor]: Taking taylor expansion of -1 in x 4.962 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ -1 x)) 1.0) x) in x 4.962 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.962 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.962 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.962 * [taylor]: Taking taylor expansion of -1 in x 4.962 * [taylor]: Taking taylor expansion of x in x 4.962 * [taylor]: Taking taylor expansion of 1.0 in x 4.962 * [taylor]: Taking taylor expansion of x in x 4.963 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (exp (/ -1 x)) 1.0) x)) in x 4.963 * [taylor]: Taking taylor expansion of -1 in x 4.963 * [taylor]: Taking taylor expansion of (/ (+ (exp (/ -1 x)) 1.0) x) in x 4.963 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.963 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.963 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.963 * [taylor]: Taking taylor expansion of -1 in x 4.963 * [taylor]: Taking taylor expansion of x in x 4.963 * [taylor]: Taking taylor expansion of 1.0 in x 4.963 * [taylor]: Taking taylor expansion of x in x 4.982 * * * [progress]: simplifying candidates 4.984 * [simplify]: Simplifying using # : (/ (exp (* (exp x) (exp x))) (exp (* 1.0 1.0))) (log (- (* (exp x) (exp x)) (* 1.0 1.0))) (exp (- (* (exp x) (exp x)) (* 1.0 1.0))) (* (cbrt (- (* (exp x) (exp x)) (* 1.0 1.0))) (cbrt (- (* (exp x) (exp x)) (* 1.0 1.0)))) (cbrt (- (* (exp x) (exp x)) (* 1.0 1.0))) (* (* (- (* (exp x) (exp x)) (* 1.0 1.0)) (- (* (exp x) (exp x)) (* 1.0 1.0))) (- (* (exp x) (exp x)) (* 1.0 1.0))) (sqrt (- (* (exp x) (exp x)) (* 1.0 1.0))) (sqrt (- (* (exp x) (exp x)) (* 1.0 1.0))) (- (pow (* (exp x) (exp x)) 3) (pow (* 1.0 1.0) 3)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (* (exp x) (exp x)) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0))) (+ (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0) (- (exp x) 1.0) (- (* 1.0 1.0)) (+ 1 1) (+ (cbrt x) (cbrt x)) (+ (sqrt x) (sqrt x)) (+ x x) (* (exp x) (exp x)) (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))) (* (exp (sqrt x)) (exp (sqrt x))) (* (exp 1) (exp 1)) (+ 1 1) (+ x x) (log (* (exp x) (exp x))) (exp (* (exp x) (exp x))) (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x)))) (cbrt (* (exp x) (exp x))) (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))) (sqrt (* (exp x) (exp x))) (sqrt (* (exp x) (exp x))) (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (exp x)) (cbrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1) (* (exp x) (exp x)) (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))) (* 2 1) (* 2 (cbrt x)) (* 2 (sqrt x)) (* 2 x) (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (* (exp x) (sqrt (exp x))) (* (exp x) 1) (* (cbrt (exp x)) (exp x)) (* (sqrt (exp x)) (exp x)) (* (exp x) (exp x)) (- (log (- (* (exp x) (exp x)) (* 1.0 1.0))) (+ (log x) (log (+ (exp x) 1.0)))) (- (log (- (* (exp x) (exp x)) (* 1.0 1.0))) (log (* x (+ (exp x) 1.0)))) (log (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (+ (exp x) 1.0)))) (exp (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (+ (exp x) 1.0)))) (/ (* (* (- (* (exp x) (exp x)) (* 1.0 1.0)) (- (* (exp x) (exp x)) (* 1.0 1.0))) (- (* (exp x) (exp x)) (* 1.0 1.0))) (* (* (* x x) x) (* (* (+ (exp x) 1.0) (+ (exp x) 1.0)) (+ (exp x) 1.0)))) (/ (* (* (- (* (exp x) (exp x)) (* 1.0 1.0)) (- (* (exp x) (exp x)) (* 1.0 1.0))) (- (* (exp x) (exp x)) (* 1.0 1.0))) (* (* (* x (+ (exp x) 1.0)) (* x (+ (exp x) 1.0))) (* x (+ (exp x) 1.0)))) (* (cbrt (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (+ (exp x) 1.0)))) (cbrt (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (+ (exp x) 1.0))))) (cbrt (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (+ (exp x) 1.0)))) (* (* (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (+ (exp x) 1.0))) (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (+ (exp x) 1.0)))) (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (+ (exp x) 1.0)))) (sqrt (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (+ (exp x) 1.0)))) (sqrt (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (+ (exp x) 1.0)))) (- (- (* (exp x) (exp x)) (* 1.0 1.0))) (- (* x (+ (exp x) 1.0))) (/ (* (exp x) (exp x)) (* x (+ (exp x) 1.0))) (/ (* 1.0 1.0) (* x (+ (exp x) 1.0))) (/ (* (cbrt (- (* (exp x) (exp x)) (* 1.0 1.0))) (cbrt (- (* (exp x) (exp x)) (* 1.0 1.0)))) x) (/ (cbrt (- (* (exp x) (exp x)) (* 1.0 1.0))) (+ (exp x) 1.0)) (/ (sqrt (- (* (exp x) (exp x)) (* 1.0 1.0))) x) (/ (sqrt (- (* (exp x) (exp x)) (* 1.0 1.0))) (+ (exp x) 1.0)) (/ 1 x) (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0)) (/ (+ (exp x) 1.0) x) (/ (- (exp x) 1.0) (+ (exp x) 1.0)) (/ 1 (* x (+ (exp x) 1.0))) (/ (* x (+ (exp x) 1.0)) (- (* (exp x) (exp x)) (* 1.0 1.0))) (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) x) (/ (* x (+ (exp x) 1.0)) (cbrt (- (* (exp x) (exp x)) (* 1.0 1.0)))) (/ (* x (+ (exp x) 1.0)) (sqrt (- (* (exp x) (exp x)) (* 1.0 1.0)))) (/ (* x (+ (exp x) 1.0)) (- (* (exp x) (exp x)) (* 1.0 1.0))) (/ (* x (+ (exp x) 1.0)) (- (exp x) 1.0)) (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (+ (pow (exp x) 3) (pow 1.0 3)))) (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (* x (- (* (exp x) (exp x)) (* 1.0 1.0)))) (* (* x (+ (exp x) 1.0)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (* (exp x) (exp x)) (* 1.0 1.0))))) (* (* x (+ (exp x) 1.0)) (+ (* (exp x) (exp x)) (* 1.0 1.0))) (* x (+ (exp x) 1.0)) (+ (log x) (log (+ (exp x) 1.0))) (log (* x (+ (exp x) 1.0))) (exp (* x (+ (exp x) 1.0))) (* (* (* x x) x) (* (* (+ (exp x) 1.0) (+ (exp x) 1.0)) (+ (exp x) 1.0))) (* (cbrt (* x (+ (exp x) 1.0))) (cbrt (* x (+ (exp x) 1.0)))) (cbrt (* x (+ (exp x) 1.0))) (* (* (* x (+ (exp x) 1.0)) (* x (+ (exp x) 1.0))) (* x (+ (exp x) 1.0))) (sqrt (* x (+ (exp x) 1.0))) (sqrt (* x (+ (exp x) 1.0))) (* (sqrt x) (sqrt (+ (exp x) 1.0))) (* (sqrt x) (sqrt (+ (exp x) 1.0))) (* x (exp x)) (* x 1.0) (* (exp x) x) (* 1.0 x) (* x (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0)))) (* x (sqrt (+ (exp x) 1.0))) (* x 1) (* x 1) (* (cbrt x) (+ (exp x) 1.0)) (* (sqrt x) (+ (exp x) 1.0)) (* x (+ (exp x) 1.0)) (* x (+ (pow (exp x) 3) (pow 1.0 3))) (* x (- (* (exp x) (exp x)) (* 1.0 1.0))) (+ (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x))) (- (pow (exp x) 2) 1.0) (- (pow (exp x) 2) 1.0) (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) (pow (exp x) 2) (pow (exp x) 2) (+ (* 0.16666666666666663 (pow x 2)) (+ (* 0.5 x) 1.0)) (/ (- (pow (exp x) 2) 1.0) (* (+ (exp x) 1.0) x)) (/ (- (pow (exp x) 2) 1.0) (* (+ (exp x) 1.0) x)) (+ (pow x 2) (+ (* 1/2 (pow x 3)) (* 2.0 x))) (* (+ (exp x) 1.0) x) (* (+ (exp x) 1.0) x) 4.988 * * [simplify]: iteration 0 : 160 enodes (cost 1376 ) 5.032 * * [simplify]: iteration 1 : 418 enodes (cost 1216 ) 5.238 * * [simplify]: iteration 2 : 1585 enodes (cost 1053 ) 5.771 * * [simplify]: iteration done : 5000 enodes (cost 1053 ) 5.771 * [simplify]: Simplified to: (exp (- (exp (* 2 x)) (* 1.0 1.0))) (log (- (exp (* 2 x)) (* 1.0 1.0))) (exp (- (exp (* 2 x)) (* 1.0 1.0))) (* (cbrt (- (exp (* 2 x)) (* 1.0 1.0))) (cbrt (- (exp (* 2 x)) (* 1.0 1.0)))) (cbrt (- (exp (* 2 x)) (* 1.0 1.0))) (pow (- (exp (* 2 x)) (* 1.0 1.0)) 3) (sqrt (- (exp (* 2 x)) (* 1.0 1.0))) (sqrt (- (exp (* 2 x)) (* 1.0 1.0))) (- (pow (exp x) 6) (pow 1.0 6)) (+ (pow (exp x) 4) (* (* 1.0 1.0) (+ (pow (exp x) 2) (* 1.0 1.0)))) (- (* 1.0 1.0)) (- (pow (exp x) 4) (pow 1.0 4)) (+ (pow (exp x) 2) (* 1.0 1.0)) (+ (exp x) 1.0) (- (exp x) 1.0) (- (* 1.0 1.0)) 2 (* (cbrt x) 2) (* (sqrt x) 2) (+ x x) (exp (* 2 x)) (exp (* 2 (* (cbrt x) (cbrt x)))) (exp (* 2 (sqrt x))) (exp 2) 2 (+ x x) (+ x x) (exp (exp (* 2 x))) (pow (exp x) 6) (* (cbrt (pow (exp x) 2)) (cbrt (pow (exp x) 2))) (cbrt (pow (exp x) 2)) (pow (exp x) 6) (fabs (exp x)) (fabs (exp x)) (* (pow (cbrt (exp x)) 3) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (exp x) (exp x) 1 (exp (* 2 x)) (exp x) (exp x) 2 (* (cbrt x) 2) (* (sqrt x) 2) (+ x x) (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (pow (sqrt (exp x)) 3) (exp x) (* (cbrt (exp x)) (exp x)) (pow (sqrt (exp x)) 3) (exp (* 2 x)) (log (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x))) (log (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x))) (log (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x))) (exp (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x))) (pow (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x)) 3) (pow (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x)) 3) (* (cbrt (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x))) (cbrt (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x)))) (cbrt (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x))) (pow (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x)) 3) (sqrt (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x))) (sqrt (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* (+ (exp x) 1.0) x))) (- (- (exp (* 2 x)) (* 1.0 1.0))) (- (* x (+ (exp x) 1.0))) (/ (exp (* 2 x)) (* (+ (exp x) 1.0) x)) (/ (* 1.0 1.0) (* x (+ (exp x) 1.0))) (/ (* (cbrt (- (exp (* 2 x)) (* 1.0 1.0))) (cbrt (- (exp (* 2 x)) (* 1.0 1.0)))) x) (/ (cbrt (- (exp (* 2 x)) (* 1.0 1.0))) (+ (exp x) 1.0)) (/ (sqrt (- (exp (* 2 x)) (* 1.0 1.0))) x) (/ (sqrt (- (exp (* 2 x)) (* 1.0 1.0))) (+ (exp x) 1.0)) (/ 1 x) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (+ (exp x) 1.0)) (/ (+ (exp x) 1.0) x) (/ (- (exp x) 1.0) (+ (exp x) 1.0)) (/ 1 (* x (+ (exp x) 1.0))) (/ x (/ (- (exp (* 2 x)) (* 1.0 1.0)) (+ (exp x) 1.0))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) x) (/ (* (+ (exp x) 1.0) x) (cbrt (- (exp (* 2 x)) (* 1.0 1.0)))) (/ x (/ (sqrt (- (exp (* 2 x)) (* 1.0 1.0))) (+ (exp x) 1.0))) (/ x (/ (- (exp (* 2 x)) (* 1.0 1.0)) (+ (exp x) 1.0))) (/ (* x (+ (exp x) 1.0)) (- (exp x) 1.0)) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* x (+ (pow (exp x) 3) (pow 1.0 3)))) (/ (- (exp (* 2 x)) (* 1.0 1.0)) (* x (- (exp (* 2 x)) (* 1.0 1.0)))) (* (* (+ (exp x) 1.0) x) (+ (pow (exp x) 4) (* (* 1.0 1.0) (+ (pow (exp x) 2) (* 1.0 1.0))))) (* (* (+ (exp x) 1.0) x) (+ (pow (exp x) 2) (* 1.0 1.0))) (* (+ (exp x) 1.0) x) (log (* x (+ (exp x) 1.0))) (log (* x (+ (exp x) 1.0))) (exp (* x (+ (exp x) 1.0))) (pow (* (+ (exp x) 1.0) x) 3) (* (cbrt (* x (+ (exp x) 1.0))) (cbrt (* x (+ (exp x) 1.0)))) (cbrt (* x (+ (exp x) 1.0))) (pow (* (+ (exp x) 1.0) x) 3) (sqrt (* x (+ (exp x) 1.0))) (sqrt (* x (+ (exp x) 1.0))) (* (sqrt x) (sqrt (+ (exp x) 1.0))) (* (sqrt x) (sqrt (+ (exp x) 1.0))) (* x (exp x)) (* x 1.0) (* x (exp x)) (* x 1.0) (* x (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0)))) (* x (sqrt (+ (exp x) 1.0))) x x (* (cbrt x) (+ (exp x) 1.0)) (* (sqrt x) (+ (exp x) 1.0)) (* (+ (exp x) 1.0) x) (* x (+ (pow (exp x) 3) (pow 1.0 3))) (* x (- (exp (* 2 x)) (* 1.0 1.0))) (+ (* 2 (+ (* x x) x)) (* 4/3 (pow x 3))) (- (pow (exp x) 2) 1.0) (- (pow (exp x) 2) 1.0) (+ (* 2 (+ (* x x) x)) 1) (exp (* 2 x)) (exp (* 2 x)) (+ (* 0.16666666666666663 (pow x 2)) (+ (* 0.5 x) 1.0)) (/ (- (pow (exp x) 2) 1.0) (* (+ (exp x) 1.0) x)) (/ (- (pow (exp x) 2) 1.0) (* (+ (exp x) 1.0) x)) (+ (pow x 2) (+ (* 1/2 (pow x 3)) (* 2.0 x))) (* (+ (exp x) 1.0) x) (* (+ (exp x) 1.0) x) 5.773 * * * [progress]: adding candidates to table 5.977 * * [progress]: iteration 4 / 4 5.977 * * * [progress]: picking best candidate 5.979 * * * * [pick]: Picked # 5.980 * * * [progress]: localizing error 5.994 * * * [progress]: generating rewritten candidates 5.994 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 6.047 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 6.049 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 6.056 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 6.067 * * * [progress]: generating series expansions 6.067 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 6.069 * [approximate]: Taking taylor expansion of (- (pow (exp x) 4) 1.0) in (x) around 0 6.069 * [taylor]: Taking taylor expansion of (- (pow (exp x) 4) 1.0) in x 6.069 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x 6.069 * [taylor]: Taking taylor expansion of (exp x) in x 6.069 * [taylor]: Taking taylor expansion of x in x 6.069 * [taylor]: Taking taylor expansion of 1.0 in x 6.069 * [taylor]: Taking taylor expansion of (- (pow (exp x) 4) 1.0) in x 6.069 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x 6.069 * [taylor]: Taking taylor expansion of (exp x) in x 6.069 * [taylor]: Taking taylor expansion of x in x 6.069 * [taylor]: Taking taylor expansion of 1.0 in x 6.079 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 4) 1.0) in (x) around 0 6.079 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 4) 1.0) in x 6.079 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 6.079 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.079 * [taylor]: Taking taylor expansion of x in x 6.079 * [taylor]: Taking taylor expansion of 1.0 in x 6.079 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 4) 1.0) in x 6.079 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 6.079 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.079 * [taylor]: Taking taylor expansion of x in x 6.079 * [taylor]: Taking taylor expansion of 1.0 in x 6.092 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 4) 1.0) in (x) around 0 6.093 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 4) 1.0) in x 6.093 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x 6.093 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.093 * [taylor]: Taking taylor expansion of -1 in x 6.093 * [taylor]: Taking taylor expansion of x in x 6.093 * [taylor]: Taking taylor expansion of 1.0 in x 6.093 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 4) 1.0) in x 6.093 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x 6.093 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.093 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.093 * [taylor]: Taking taylor expansion of -1 in x 6.093 * [taylor]: Taking taylor expansion of x in x 6.093 * [taylor]: Taking taylor expansion of 1.0 in x 6.105 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 6.106 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0 6.106 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 6.106 * [taylor]: Taking taylor expansion of (exp x) in x 6.106 * [taylor]: Taking taylor expansion of x in x 6.106 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 6.106 * [taylor]: Taking taylor expansion of (exp x) in x 6.106 * [taylor]: Taking taylor expansion of x in x 6.108 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0 6.108 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 6.108 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.108 * [taylor]: Taking taylor expansion of x in x 6.109 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 6.109 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.109 * [taylor]: Taking taylor expansion of x in x 6.113 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0 6.113 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 6.113 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.113 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.113 * [taylor]: Taking taylor expansion of -1 in x 6.113 * [taylor]: Taking taylor expansion of x in x 6.114 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 6.114 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.114 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.114 * [taylor]: Taking taylor expansion of -1 in x 6.114 * [taylor]: Taking taylor expansion of x in x 6.119 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 6.119 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0 6.119 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 6.119 * [taylor]: Taking taylor expansion of (exp x) in x 6.119 * [taylor]: Taking taylor expansion of x in x 6.119 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 6.119 * [taylor]: Taking taylor expansion of (exp x) in x 6.119 * [taylor]: Taking taylor expansion of x in x 6.126 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0 6.126 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 6.126 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.126 * [taylor]: Taking taylor expansion of x in x 6.127 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 6.127 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.127 * [taylor]: Taking taylor expansion of x in x 6.131 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0 6.131 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 6.132 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.132 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.132 * [taylor]: Taking taylor expansion of -1 in x 6.132 * [taylor]: Taking taylor expansion of x in x 6.132 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 6.132 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.132 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.132 * [taylor]: Taking taylor expansion of -1 in x 6.132 * [taylor]: Taking taylor expansion of x in x 6.137 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 6.137 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0 6.137 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 6.137 * [taylor]: Taking taylor expansion of (exp x) in x 6.137 * [taylor]: Taking taylor expansion of x in x 6.137 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 6.137 * [taylor]: Taking taylor expansion of (exp x) in x 6.137 * [taylor]: Taking taylor expansion of x in x 6.139 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0 6.140 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 6.140 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.140 * [taylor]: Taking taylor expansion of x in x 6.140 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 6.140 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.140 * [taylor]: Taking taylor expansion of x in x 6.144 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0 6.145 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 6.145 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.145 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.145 * [taylor]: Taking taylor expansion of -1 in x 6.145 * [taylor]: Taking taylor expansion of x in x 6.145 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 6.145 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.145 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.145 * [taylor]: Taking taylor expansion of -1 in x 6.145 * [taylor]: Taking taylor expansion of x in x 6.150 * * * [progress]: simplifying candidates 6.151 * [simplify]: Simplifying using # : (/ (exp (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (exp (* (* 1.0 1.0) (* 1.0 1.0)))) (log (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0)))) (exp (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0)))) (* (cbrt (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0)))) (cbrt (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0))))) (cbrt (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0)))) (* (* (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0)))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0)))) (sqrt (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0)))) (sqrt (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0)))) (- (pow (* (* (exp x) (exp x)) (* (exp x) (exp x))) 3) (pow (* (* 1.0 1.0) (* 1.0 1.0)) 3)) (+ (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (+ (* (* (* 1.0 1.0) (* 1.0 1.0)) (* (* 1.0 1.0) (* 1.0 1.0))) (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0))))) (- (* (* 1.0 1.0) (* 1.0 1.0))) (- (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (* (* (* 1.0 1.0) (* 1.0 1.0)) (* (* 1.0 1.0) (* 1.0 1.0)))) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* 1.0 1.0))) (+ (* (exp x) (exp x)) (* 1.0 1.0)) (- (* (exp x) (exp x)) (* 1.0 1.0)) (- (* (* 1.0 1.0) (* 1.0 1.0))) (* x 2) (* (log (exp x)) 2) (* 1 2) (* (cbrt x) 2) (* (sqrt x) 2) (* x 2) (pow (exp x) (* (cbrt 2) (cbrt 2))) (pow (exp x) (sqrt 2)) (pow (exp x) 1) (pow (* (cbrt (exp x)) (cbrt (exp x))) 2) (pow (cbrt (exp x)) 2) (pow (sqrt (exp x)) 2) (pow (sqrt (exp x)) 2) (pow 1 2) (pow (exp x) 2) (log (pow (exp x) 2)) (exp (pow (exp x) 2)) (* (cbrt (pow (exp x) 2)) (cbrt (pow (exp x) 2))) (cbrt (pow (exp x) 2)) (* (* (pow (exp x) 2) (pow (exp x) 2)) (pow (exp x) 2)) (sqrt (pow (exp x) 2)) (sqrt (pow (exp x) 2)) (pow (exp x) (/ 2 2)) (pow (exp x) (/ 2 2)) (+ 1 1) (+ (cbrt x) (cbrt x)) (+ (sqrt x) (sqrt x)) (+ x x) (* (exp x) (exp x)) (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))) (* (exp (sqrt x)) (exp (sqrt x))) (* (exp 1) (exp 1)) (+ 1 1) (+ x x) (log (* (exp x) (exp x))) (exp (* (exp x) (exp x))) (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x)))) (cbrt (* (exp x) (exp x))) (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))) (sqrt (* (exp x) (exp x))) (sqrt (* (exp x) (exp x))) (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (exp x)) (cbrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1) (* (exp x) (exp x)) (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))) (* 2 1) (* 2 (cbrt x)) (* 2 (sqrt x)) (* 2 x) (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (* (exp x) (sqrt (exp x))) (* (exp x) 1) (* (cbrt (exp x)) (exp x)) (* (sqrt (exp x)) (exp x)) (* (exp x) (exp x)) (+ 1 1) (+ (cbrt x) (cbrt x)) (+ (sqrt x) (sqrt x)) (+ x x) (* (exp x) (exp x)) (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))) (* (exp (sqrt x)) (exp (sqrt x))) (* (exp 1) (exp 1)) (+ 1 1) (+ x x) (log (* (exp x) (exp x))) (exp (* (exp x) (exp x))) (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))) (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x)))) (cbrt (* (exp x) (exp x))) (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))) (sqrt (* (exp x) (exp x))) (sqrt (* (exp x) (exp x))) (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (exp x)) (cbrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))) (* 1 1) (* (exp x) (exp x)) (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))) (* 2 1) (* 2 (cbrt x)) (* 2 (sqrt x)) (* 2 x) (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (* (exp x) (sqrt (exp x))) (* (exp x) 1) (* (cbrt (exp x)) (exp x)) (* (sqrt (exp x)) (exp x)) (* (exp x) (exp x)) (+ (* 8 (pow x 2)) (+ (* 32/3 (pow x 3)) (* 4 x))) (- (pow (exp x) 4) 1.0) (- (pow (exp x) 4) 1.0) (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) (pow (exp x) 2) (pow (exp x) 2) (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) (pow (exp x) 2) (pow (exp x) 2) (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) (pow (exp x) 2) (pow (exp x) 2) 6.154 * * [simplify]: iteration 0 : 111 enodes (cost 1087 ) 6.185 * * [simplify]: iteration 1 : 246 enodes (cost 751 ) 6.272 * * [simplify]: iteration 2 : 804 enodes (cost 646 ) 6.993 * * [simplify]: iteration 3 : 2951 enodes (cost 590 ) 8.102 * * [simplify]: iteration done : 5000 enodes (cost 590 ) 8.103 * [simplify]: Simplified to: (exp (- (pow (exp x) 4) (pow 1.0 4))) (log (- (pow (exp x) 4) (pow 1.0 4))) (exp (- (pow (exp x) 4) (pow 1.0 4))) (* (cbrt (- (pow (exp x) 4) (pow 1.0 4))) (cbrt (- (pow (exp x) 4) (pow 1.0 4)))) (cbrt (- (pow (exp x) 4) (pow 1.0 4))) (pow (- (pow (exp x) 4) (pow 1.0 4)) 3) (sqrt (- (pow (exp x) 4) (pow 1.0 4))) (sqrt (- (pow (exp x) 4) (pow 1.0 4))) (- (pow (pow (exp x) 4) 3) (pow (* 1.0 1.0) 6)) (+ (pow (exp x) 8) (* (+ (pow 1.0 4) (pow (exp x) 4)) (pow 1.0 4))) (- (pow 1.0 4)) (- (pow (exp x) 8) (pow (* 1.0 1.0) 4)) (+ (pow 1.0 4) (pow (exp x) 4)) (+ (* 1.0 1.0) (pow (exp x) 2)) (- (pow (exp x) 2) (* 1.0 1.0)) (- (pow 1.0 4)) (* x 2) (* x 2) 2 (* 2 (cbrt x)) (* (sqrt x) 2) (* x 2) (pow (exp x) (* (cbrt 2) (cbrt 2))) (pow (exp x) (sqrt 2)) (exp x) (pow (cbrt (exp x)) 4) (pow (cbrt (exp x)) 2) (exp x) (exp x) 1 (pow (exp x) 2) (* x 2) (exp (pow (exp x) 2)) (* (cbrt (pow (exp x) 2)) (cbrt (pow (exp x) 2))) (cbrt (pow (exp x) 2)) (pow (exp x) 6) (fabs (exp x)) (fabs (exp x)) (exp x) (exp x) 2 (* 2 (cbrt x)) (* (sqrt x) 2) (* x 2) (pow (exp x) 2) (pow (exp (cbrt x)) (* 2 (cbrt x))) (exp (* (sqrt x) 2)) (exp 2) 2 (* x 2) (* x 2) (exp (pow (exp x) 2)) (pow (exp x) 6) (* (cbrt (pow (exp x) 2)) (cbrt (pow (exp x) 2))) (cbrt (pow (exp x) 2)) (pow (exp x) 6) (fabs (exp x)) (fabs (exp x)) (pow (cbrt (exp x)) 4) (pow (cbrt (exp x)) 2) (exp x) (exp x) 1 (pow (exp x) 2) (exp x) (exp x) 2 (* 2 (cbrt x)) (* (sqrt x) 2) (* x 2) (* (pow (cbrt (exp x)) 2) (exp x)) (pow (exp x) 3/2) (exp x) (pow (cbrt (exp x)) 4) (pow (exp x) 3/2) (pow (exp x) 2) 2 (* 2 (cbrt x)) (* (sqrt x) 2) (* x 2) (pow (exp x) 2) (pow (exp (cbrt x)) (* 2 (cbrt x))) (exp (* (sqrt x) 2)) (exp 2) 2 (* x 2) (* x 2) (exp (pow (exp x) 2)) (pow (exp x) 6) (* (cbrt (pow (exp x) 2)) (cbrt (pow (exp x) 2))) (cbrt (pow (exp x) 2)) (pow (exp x) 6) (fabs (exp x)) (fabs (exp x)) (pow (cbrt (exp x)) 4) (pow (cbrt (exp x)) 2) (exp x) (exp x) 1 (pow (exp x) 2) (exp x) (exp x) 2 (* 2 (cbrt x)) (* (sqrt x) 2) (* x 2) (* (pow (cbrt (exp x)) 2) (exp x)) (pow (exp x) 3/2) (exp x) (pow (cbrt (exp x)) 4) (pow (exp x) 3/2) (pow (exp x) 2) (+ (* 4 x) (* (pow x 2) (+ (* 32/3 x) 8))) (- (pow (exp x) 4) 1.0) (- (pow (exp x) 4) 1.0) (+ (* (+ 1 x) (* x 2)) 1) (pow (exp x) 2) (pow (exp x) 2) (+ (* (+ 1 x) (* x 2)) 1) (pow (exp x) 2) (pow (exp x) 2) (+ (* (+ 1 x) (* x 2)) 1) (pow (exp x) 2) (pow (exp x) 2) 8.104 * * * [progress]: adding candidates to table 8.350 * [progress]: [Phase 3 of 3] Extracting. 8.350 * * [regime]: Finding splitpoints for: (# #) 8.351 * * * [regime-changes]: Trying 1 branch expressions: (x) 8.351 * * * * [regimes]: Trying to branch on x from (# #) 8.370 * * * [regime]: Found split indices: #