28.919 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.069 * * * [progress]: [2/2] Setting up program. 0.072 * [progress]: [Phase 2 of 3] Improving. 0.072 * [simplify]: Simplifying using # : (/ (- (exp x) (exp (neg x))) 2.0) 0.073 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.073 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.075 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 0.077 * * [simplify]: iteration 3 : 31 enodes (cost 8 ) 0.080 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 0.082 * * [simplify]: iteration done : 35 enodes (cost 8 ) 0.082 * [simplify]: Simplified to: (/ (- (exp x) (exp (neg x))) 2.0) 0.083 * * [progress]: iteration 1 / 4 0.083 * * * [progress]: picking best candidate 0.089 * * * * [pick]: Picked # 0.089 * * * [progress]: localizing error 0.096 * * * [progress]: generating rewritten candidates 0.096 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.102 * * * [progress]: generating series expansions 0.102 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.102 * [approximate]: Taking taylor expansion of (- (exp x) (exp (neg x))) in (x) around 0 0.102 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x 0.102 * [taylor]: Taking taylor expansion of (exp x) in x 0.102 * [taylor]: Taking taylor expansion of x in x 0.102 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 0.102 * [taylor]: Taking taylor expansion of (neg x) in x 0.102 * [taylor]: Taking taylor expansion of x in x 0.102 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x 0.102 * [taylor]: Taking taylor expansion of (exp x) in x 0.102 * [taylor]: Taking taylor expansion of x in x 0.102 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 0.102 * [taylor]: Taking taylor expansion of (neg x) in x 0.102 * [taylor]: Taking taylor expansion of x in x 0.106 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in (x) around 0 0.106 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 0.106 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 0.106 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 0.106 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 0.106 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.107 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 0.107 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.107 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.107 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.107 * [taylor]: Taking taylor expansion of -1 in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.107 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.107 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.107 * [taylor]: Taking taylor expansion of -1 in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.108 * * * [progress]: simplifying candidates 0.108 * [simplify]: Simplifying using # : (/ (exp (exp x)) (exp (exp (neg x)))) (log (- (exp x) (exp (neg x)))) (exp (- (exp x) (exp (neg x)))) (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) (cbrt (- (exp x) (exp (neg x)))) (* (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))) (- (exp x) (exp (neg x)))) (sqrt (- (exp x) (exp (neg x)))) (sqrt (- (exp x) (exp (neg x)))) (- (pow (exp x) 3) (pow (exp (neg x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (neg x)) (exp (neg x))) (* (exp x) (exp (neg x))))) (neg (exp (neg x))) (- (* (exp x) (exp x)) (* (exp (neg x)) (exp (neg x)))) (+ (exp x) (exp (neg x))) (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))) (- (exp x) (exp (neg x))) (neg (exp (neg x))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (- (exp x) (exp (neg x))) (- (exp x) (exp (* -1 x))) 0.109 * * [simplify]: iteration 0 : 46 enodes (cost 185 ) 0.115 * * [simplify]: iteration 1 : 102 enodes (cost 176 ) 0.129 * * [simplify]: iteration 2 : 245 enodes (cost 158 ) 0.167 * * [simplify]: iteration 3 : 603 enodes (cost 157 ) 0.300 * * [simplify]: iteration 4 : 2102 enodes (cost 157 ) 1.263 * * [simplify]: iteration done : 5000 enodes (cost 157 ) 1.263 * [simplify]: Simplified to: (exp (- (exp x) (exp (neg x)))) (log (- (exp x) (exp (neg x)))) (exp (- (exp x) (exp (neg x)))) (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) (cbrt (- (exp x) (exp (neg x)))) (pow (- (exp x) (exp (neg x))) 3) (sqrt (- (exp x) (exp (neg x)))) (sqrt (- (exp x) (exp (neg x)))) (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (neg (exp (neg x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (neg x))) (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))) (- (exp x) (exp (neg x))) (neg (exp (neg x))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x))) 1.263 * * * [progress]: adding candidates to table 1.295 * * [progress]: iteration 2 / 4 1.295 * * * [progress]: picking best candidate 1.303 * * * * [pick]: Picked # 1.303 * * * [progress]: localizing error 1.317 * * * [progress]: generating rewritten candidates 1.317 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 1) 1.325 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 2) 1.331 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 1.338 * * * [progress]: generating series expansions 1.338 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 1) 1.338 * [approximate]: Taking taylor expansion of (* 1/3 (pow x 3)) in (x) around 0 1.338 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.338 * [taylor]: Taking taylor expansion of 1/3 in x 1.338 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.338 * [taylor]: Taking taylor expansion of x in x 1.338 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.339 * [taylor]: Taking taylor expansion of 1/3 in x 1.339 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.339 * [taylor]: Taking taylor expansion of x in x 1.340 * [approximate]: Taking taylor expansion of (/ 1/3 (pow x 3)) in (x) around 0 1.340 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 1.340 * [taylor]: Taking taylor expansion of 1/3 in x 1.340 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.340 * [taylor]: Taking taylor expansion of x in x 1.340 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 1.340 * [taylor]: Taking taylor expansion of 1/3 in x 1.340 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.340 * [taylor]: Taking taylor expansion of x in x 1.341 * [approximate]: Taking taylor expansion of (/ -1/3 (pow x 3)) in (x) around 0 1.341 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 1.341 * [taylor]: Taking taylor expansion of -1/3 in x 1.341 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.341 * [taylor]: Taking taylor expansion of x in x 1.341 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 1.341 * [taylor]: Taking taylor expansion of -1/3 in x 1.341 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.341 * [taylor]: Taking taylor expansion of x in x 1.342 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 2) 1.343 * [approximate]: Taking taylor expansion of (* 1/60 (pow x 5)) in (x) around 0 1.343 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.343 * [taylor]: Taking taylor expansion of 1/60 in x 1.343 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.343 * [taylor]: Taking taylor expansion of x in x 1.343 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.343 * [taylor]: Taking taylor expansion of 1/60 in x 1.343 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.343 * [taylor]: Taking taylor expansion of x in x 1.344 * [approximate]: Taking taylor expansion of (/ 1/60 (pow x 5)) in (x) around 0 1.344 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x 1.344 * [taylor]: Taking taylor expansion of 1/60 in x 1.344 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.344 * [taylor]: Taking taylor expansion of x in x 1.344 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x 1.344 * [taylor]: Taking taylor expansion of 1/60 in x 1.344 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.344 * [taylor]: Taking taylor expansion of x in x 1.346 * [approximate]: Taking taylor expansion of (/ -1/60 (pow x 5)) in (x) around 0 1.346 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x 1.346 * [taylor]: Taking taylor expansion of -1/60 in x 1.346 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.346 * [taylor]: Taking taylor expansion of x in x 1.346 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x 1.346 * [taylor]: Taking taylor expansion of -1/60 in x 1.346 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.346 * [taylor]: Taking taylor expansion of x in x 1.348 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 1.348 * [approximate]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) in (x) around 0 1.348 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) in x 1.348 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.348 * [taylor]: Taking taylor expansion of 1/3 in x 1.348 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.348 * [taylor]: Taking taylor expansion of x in x 1.348 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.348 * [taylor]: Taking taylor expansion of 1/60 in x 1.348 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.348 * [taylor]: Taking taylor expansion of x in x 1.348 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) in x 1.348 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.348 * [taylor]: Taking taylor expansion of 1/3 in x 1.348 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.348 * [taylor]: Taking taylor expansion of x in x 1.348 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.348 * [taylor]: Taking taylor expansion of 1/60 in x 1.348 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.348 * [taylor]: Taking taylor expansion of x in x 1.351 * [approximate]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in (x) around 0 1.351 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.351 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.351 * [taylor]: Taking taylor expansion of 1/60 in x 1.351 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.351 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.351 * [taylor]: Taking taylor expansion of x in x 1.351 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.351 * [taylor]: Taking taylor expansion of 1/3 in x 1.351 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.351 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.351 * [taylor]: Taking taylor expansion of x in x 1.352 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.352 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.352 * [taylor]: Taking taylor expansion of 1/60 in x 1.352 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.352 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.352 * [taylor]: Taking taylor expansion of x in x 1.352 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.352 * [taylor]: Taking taylor expansion of 1/3 in x 1.352 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.352 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.352 * [taylor]: Taking taylor expansion of x in x 1.356 * [approximate]: Taking taylor expansion of (neg (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in (x) around 0 1.356 * [taylor]: Taking taylor expansion of (neg (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.356 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.356 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.356 * [taylor]: Taking taylor expansion of 1/60 in x 1.356 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.356 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.356 * [taylor]: Taking taylor expansion of x in x 1.356 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.356 * [taylor]: Taking taylor expansion of 1/3 in x 1.356 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.356 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.356 * [taylor]: Taking taylor expansion of x in x 1.356 * [taylor]: Taking taylor expansion of (neg (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 1.356 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 1.356 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 1.356 * [taylor]: Taking taylor expansion of 1/60 in x 1.356 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.356 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.356 * [taylor]: Taking taylor expansion of x in x 1.356 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 1.356 * [taylor]: Taking taylor expansion of 1/3 in x 1.356 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.356 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.356 * [taylor]: Taking taylor expansion of x in x 1.361 * * * [progress]: simplifying candidates 1.361 * [simplify]: Simplifying using # : (+ (log 1/3) (* (log x) 3)) (+ (log 1/3) (* (log x) 3)) (+ (log 1/3) (log (pow x 3))) (log (* 1/3 (pow x 3))) (exp (* 1/3 (pow x 3))) (* (* (* 1/3 1/3) 1/3) (* (* (pow x 3) (pow x 3)) (pow x 3))) (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3)))) (cbrt (* 1/3 (pow x 3))) (* (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (pow x (/ 3 2))) (* (sqrt 1/3) (pow x (/ 3 2))) (* 1/3 (pow (* (cbrt x) (cbrt x)) 3)) (* 1/3 (pow (sqrt x) 3)) (* 1/3 (pow 1 3)) (* 1/3 (* x x)) (* 1/3 (* (cbrt (pow x 3)) (cbrt (pow x 3)))) (* 1/3 (pow (* (cbrt x) (cbrt x)) 3)) (* 1/3 (pow (sqrt x) 3)) (* 1/3 (pow 1 3)) (* 1/3 x) (* 1/3 (sqrt (pow x 3))) (* 1/3 1) (* 1/3 (pow x (/ 3 2))) (* (cbrt 1/3) (pow x 3)) (* (sqrt 1/3) (pow x 3)) (* 1/3 (pow x 3)) (+ (log 1/60) (* (log x) 5)) (+ (log 1/60) (* (log x) 5)) (+ (log 1/60) (log (pow x 5))) (log (* 1/60 (pow x 5))) (exp (* 1/60 (pow x 5))) (* (* (* 1/60 1/60) 1/60) (* (* (pow x 5) (pow x 5)) (pow x 5))) (* (cbrt (* 1/60 (pow x 5))) (cbrt (* 1/60 (pow x 5)))) (cbrt (* 1/60 (pow x 5))) (* (* (* 1/60 (pow x 5)) (* 1/60 (pow x 5))) (* 1/60 (pow x 5))) (sqrt (* 1/60 (pow x 5))) (sqrt (* 1/60 (pow x 5))) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (pow x (/ 5 2))) (* (sqrt 1/60) (pow x (/ 5 2))) (* 1/60 (pow (* (cbrt x) (cbrt x)) 5)) (* 1/60 (pow (sqrt x) 5)) (* 1/60 (pow 1 5)) (* 1/60 (* (cbrt (pow x 5)) (cbrt (pow x 5)))) (* 1/60 (sqrt (pow x 5))) (* 1/60 1) (* 1/60 (pow x (/ 5 2))) (* (cbrt 1/60) (pow x 5)) (* (sqrt 1/60) (pow x 5)) (* 1/60 (pow x 5)) (* (exp (* 1/3 (pow x 3))) (exp (* 1/60 (pow x 5)))) (log (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (exp (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (* (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))) (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (* (* (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (sqrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (sqrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (pow (* 1/3 (pow x 3)) 3) (pow (* 1/60 (pow x 5)) 3)) (+ (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (- (* (* 1/60 (pow x 5)) (* 1/60 (pow x 5))) (* (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))) (- (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* (* 1/60 (pow x 5)) (* 1/60 (pow x 5)))) (- (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/3 (pow x 3)) (* 1/60 (pow x 5)) (* 1/60 (pow x 5)) (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) 1.364 * * [simplify]: iteration 0 : 113 enodes (cost 734 ) 1.380 * * [simplify]: iteration 1 : 284 enodes (cost 643 ) 1.428 * * [simplify]: iteration 2 : 839 enodes (cost 601 ) 1.680 * * [simplify]: iteration 3 : 3914 enodes (cost 600 ) 2.837 * * [simplify]: iteration done : 5000 enodes (cost 596 ) 2.838 * [simplify]: Simplified to: (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (log (* 1/3 (pow x 3))) (cbrt (exp (pow x 3))) (* (pow (pow x 3) 3) 1/27) (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3)))) (cbrt (* 1/3 (pow x 3))) (* (pow (pow x 3) 3) 1/27) (sqrt (* 1/3 (pow x 3))) (sqrt (* 1/3 (pow x 3))) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (pow (sqrt x) 3)) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (sqrt (pow x 3))) (* (sqrt 1/3) (pow x 3/2)) (* (sqrt 1/3) (pow x 3/2)) (* 1/3 (* x x)) (* 1/3 (pow (sqrt x) 3)) 1/3 (* 1/3 (* x x)) (* 1/3 (* x x)) (* 1/3 (* x x)) (* 1/3 (pow (sqrt x) 3)) 1/3 (* 1/3 x) (* 1/3 (sqrt (pow x 3))) 1/3 (* (pow x 3/2) 1/3) (* (cbrt 1/3) (pow x 3)) (* (sqrt 1/3) (pow x 3)) (* (pow x 3) 1/3) (log (* 1/60 (pow x 5))) (log (* 1/60 (pow x 5))) (log (* 1/60 (pow x 5))) (log (* 1/60 (pow x 5))) (exp (* 1/60 (pow x 5))) (* (pow (pow x 5) 3) 1/216000) (* (cbrt (* 1/60 (pow x 5))) (cbrt (* 1/60 (pow x 5)))) (cbrt (* 1/60 (pow x 5))) (* (pow (pow x 5) 3) 1/216000) (sqrt (* 1/60 (pow x 5))) (sqrt (* 1/60 (pow x 5))) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (pow (sqrt x) 5)) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (sqrt (pow x 5))) (* (sqrt 1/60) (pow x 5/2)) (* (sqrt 1/60) (pow x 5/2)) (* 1/60 (pow (* (cbrt x) (cbrt x)) 5)) (* 1/60 (pow (sqrt x) 5)) 1/60 (* 1/60 (* (cbrt (pow x 5)) (cbrt (pow x 5)))) (* 1/60 (sqrt (pow x 5))) 1/60 (* (pow x 5/2) 1/60) (* (cbrt 1/60) (pow x 5)) (* (sqrt 1/60) (pow x 5)) (* 1/60 (pow x 5)) (exp (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (log (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (exp (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (* (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))) (cbrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (pow (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) 3) (sqrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (sqrt (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (pow (* 1/3 (pow x 3)) 3) (pow (* 1/60 (pow x 5)) 3)) (+ (- (* 1/3600 (pow x 10)) (* (pow x 5) (* (pow x 3) 1/180))) (* 1/9 (pow x 6))) (- (* 1/9 (pow x 6)) (* 1/3600 (pow x 10))) (- (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (* (pow x 3) 1/3) (* (pow x 3) 1/3) (* (pow x 3) 1/3) (* 1/60 (pow x 5)) (* 1/60 (pow x 5)) (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))) 2.838 * * * [progress]: adding candidates to table 2.957 * * [progress]: iteration 3 / 4 2.957 * * * [progress]: picking best candidate 2.963 * * * * [pick]: Picked # 2.963 * * * [progress]: localizing error 2.981 * * * [progress]: generating rewritten candidates 2.981 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 2.989 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 2.993 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 3.001 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.030 * * * [progress]: generating series expansions 3.030 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.031 * [approximate]: Taking taylor expansion of (- (pow (exp x) 3) (exp (* -3 x))) in (x) around 0 3.031 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) (exp (* -3 x))) in x 3.031 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 3.031 * [taylor]: Taking taylor expansion of (exp x) in x 3.031 * [taylor]: Taking taylor expansion of x in x 3.031 * [taylor]: Taking taylor expansion of (exp (* -3 x)) in x 3.031 * [taylor]: Taking taylor expansion of (* -3 x) in x 3.031 * [taylor]: Taking taylor expansion of -3 in x 3.031 * [taylor]: Taking taylor expansion of x in x 3.031 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) (exp (* -3 x))) in x 3.031 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 3.031 * [taylor]: Taking taylor expansion of (exp x) in x 3.031 * [taylor]: Taking taylor expansion of x in x 3.031 * [taylor]: Taking taylor expansion of (exp (* -3 x)) in x 3.031 * [taylor]: Taking taylor expansion of (* -3 x) in x 3.031 * [taylor]: Taking taylor expansion of -3 in x 3.031 * [taylor]: Taking taylor expansion of x in x 3.035 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) (exp (/ -3 x))) in (x) around 0 3.035 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) (exp (/ -3 x))) in x 3.035 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 3.035 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.035 * [taylor]: Taking taylor expansion of x in x 3.035 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 3.035 * [taylor]: Taking taylor expansion of (/ -3 x) in x 3.035 * [taylor]: Taking taylor expansion of -3 in x 3.035 * [taylor]: Taking taylor expansion of x in x 3.035 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) (exp (/ -3 x))) in x 3.035 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 3.035 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.035 * [taylor]: Taking taylor expansion of x in x 3.035 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 3.035 * [taylor]: Taking taylor expansion of (/ -3 x) in x 3.035 * [taylor]: Taking taylor expansion of -3 in x 3.035 * [taylor]: Taking taylor expansion of x in x 3.037 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) in (x) around 0 3.037 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) in x 3.037 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 3.037 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.037 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.037 * [taylor]: Taking taylor expansion of -1 in x 3.038 * [taylor]: Taking taylor expansion of x in x 3.038 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 3.038 * [taylor]: Taking taylor expansion of (/ 3 x) in x 3.038 * [taylor]: Taking taylor expansion of 3 in x 3.038 * [taylor]: Taking taylor expansion of x in x 3.038 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) in x 3.038 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 3.038 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.038 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.038 * [taylor]: Taking taylor expansion of -1 in x 3.038 * [taylor]: Taking taylor expansion of x in x 3.038 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 3.038 * [taylor]: Taking taylor expansion of (/ 3 x) in x 3.038 * [taylor]: Taking taylor expansion of 3 in x 3.038 * [taylor]: Taking taylor expansion of x in x 3.040 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 3.040 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0 3.040 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 3.040 * [taylor]: Taking taylor expansion of (exp x) in x 3.040 * [taylor]: Taking taylor expansion of x in x 3.040 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 3.040 * [taylor]: Taking taylor expansion of (exp x) in x 3.040 * [taylor]: Taking taylor expansion of x in x 3.041 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 3.041 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 3.041 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.041 * [taylor]: Taking taylor expansion of x in x 3.041 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 3.041 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.041 * [taylor]: Taking taylor expansion of x in x 3.043 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0 3.043 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 3.043 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.043 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.043 * [taylor]: Taking taylor expansion of -1 in x 3.043 * [taylor]: Taking taylor expansion of x in x 3.043 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 3.043 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.043 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.043 * [taylor]: Taking taylor expansion of -1 in x 3.043 * [taylor]: Taking taylor expansion of x in x 3.045 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 3.045 * [approximate]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in (x) around 0 3.045 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 3.045 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.045 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.045 * [taylor]: Taking taylor expansion of 2 in x 3.045 * [taylor]: Taking taylor expansion of x in x 3.045 * [taylor]: Taking taylor expansion of 1 in x 3.045 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 3.045 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.045 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.045 * [taylor]: Taking taylor expansion of 2 in x 3.045 * [taylor]: Taking taylor expansion of x in x 3.045 * [taylor]: Taking taylor expansion of 1 in x 3.046 * [approximate]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) 1) in (x) around 0 3.046 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) 1) in x 3.046 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.046 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.046 * [taylor]: Taking taylor expansion of 2 in x 3.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.046 * [taylor]: Taking taylor expansion of x in x 3.046 * [taylor]: Taking taylor expansion of 1 in x 3.046 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) 1) in x 3.046 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.046 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.046 * [taylor]: Taking taylor expansion of 2 in x 3.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.046 * [taylor]: Taking taylor expansion of x in x 3.046 * [taylor]: Taking taylor expansion of 1 in x 3.046 * [approximate]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) 1) in (x) around 0 3.046 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) 1) in x 3.046 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x 3.046 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 3.046 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.046 * [taylor]: Taking taylor expansion of 2 in x 3.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.047 * [taylor]: Taking taylor expansion of x in x 3.047 * [taylor]: Taking taylor expansion of 1 in x 3.047 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) 1) in x 3.047 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x 3.047 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 3.047 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.047 * [taylor]: Taking taylor expansion of 2 in x 3.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.047 * [taylor]: Taking taylor expansion of x in x 3.047 * [taylor]: Taking taylor expansion of 1 in x 3.047 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.047 * [approximate]: Taking taylor expansion of (/ (- (pow (exp x) 3) (exp (* -3 x))) (+ (exp (* -2 x)) (+ (exp (* 2 x)) 1))) in (x) around 0 3.047 * [taylor]: Taking taylor expansion of (/ (- (pow (exp x) 3) (exp (* -3 x))) (+ (exp (* -2 x)) (+ (exp (* 2 x)) 1))) in x 3.047 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) (exp (* -3 x))) in x 3.047 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 3.047 * [taylor]: Taking taylor expansion of (exp x) in x 3.047 * [taylor]: Taking taylor expansion of x in x 3.047 * [taylor]: Taking taylor expansion of (exp (* -3 x)) in x 3.048 * [taylor]: Taking taylor expansion of (* -3 x) in x 3.048 * [taylor]: Taking taylor expansion of -3 in x 3.048 * [taylor]: Taking taylor expansion of x in x 3.048 * [taylor]: Taking taylor expansion of (+ (exp (* -2 x)) (+ (exp (* 2 x)) 1)) in x 3.048 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 3.048 * [taylor]: Taking taylor expansion of (* -2 x) in x 3.048 * [taylor]: Taking taylor expansion of -2 in x 3.048 * [taylor]: Taking taylor expansion of x in x 3.048 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 3.048 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.048 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.048 * [taylor]: Taking taylor expansion of 2 in x 3.048 * [taylor]: Taking taylor expansion of x in x 3.048 * [taylor]: Taking taylor expansion of 1 in x 3.048 * [taylor]: Taking taylor expansion of (/ (- (pow (exp x) 3) (exp (* -3 x))) (+ (exp (* -2 x)) (+ (exp (* 2 x)) 1))) in x 3.048 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) (exp (* -3 x))) in x 3.048 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 3.048 * [taylor]: Taking taylor expansion of (exp x) in x 3.048 * [taylor]: Taking taylor expansion of x in x 3.048 * [taylor]: Taking taylor expansion of (exp (* -3 x)) in x 3.048 * [taylor]: Taking taylor expansion of (* -3 x) in x 3.048 * [taylor]: Taking taylor expansion of -3 in x 3.048 * [taylor]: Taking taylor expansion of x in x 3.048 * [taylor]: Taking taylor expansion of (+ (exp (* -2 x)) (+ (exp (* 2 x)) 1)) in x 3.048 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 3.048 * [taylor]: Taking taylor expansion of (* -2 x) in x 3.048 * [taylor]: Taking taylor expansion of -2 in x 3.048 * [taylor]: Taking taylor expansion of x in x 3.048 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 3.048 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.049 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.049 * [taylor]: Taking taylor expansion of 2 in x 3.049 * [taylor]: Taking taylor expansion of x in x 3.049 * [taylor]: Taking taylor expansion of 1 in x 3.055 * [approximate]: Taking taylor expansion of (/ (- (pow (exp (/ 1 x)) 3) (exp (/ -3 x))) (+ (exp (* 2 (/ 1 x))) (+ (exp (/ -2 x)) 1))) in (x) around 0 3.055 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 x)) 3) (exp (/ -3 x))) (+ (exp (* 2 (/ 1 x))) (+ (exp (/ -2 x)) 1))) in x 3.055 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) (exp (/ -3 x))) in x 3.055 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 3.055 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.055 * [taylor]: Taking taylor expansion of x in x 3.055 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 3.055 * [taylor]: Taking taylor expansion of (/ -3 x) in x 3.055 * [taylor]: Taking taylor expansion of -3 in x 3.055 * [taylor]: Taking taylor expansion of x in x 3.055 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (+ (exp (/ -2 x)) 1)) in x 3.055 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.055 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.055 * [taylor]: Taking taylor expansion of 2 in x 3.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.055 * [taylor]: Taking taylor expansion of x in x 3.055 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 3.055 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 3.055 * [taylor]: Taking taylor expansion of (/ -2 x) in x 3.055 * [taylor]: Taking taylor expansion of -2 in x 3.055 * [taylor]: Taking taylor expansion of x in x 3.055 * [taylor]: Taking taylor expansion of 1 in x 3.056 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 x)) 3) (exp (/ -3 x))) (+ (exp (* 2 (/ 1 x))) (+ (exp (/ -2 x)) 1))) in x 3.056 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) (exp (/ -3 x))) in x 3.056 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 3.056 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.056 * [taylor]: Taking taylor expansion of x in x 3.056 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 3.056 * [taylor]: Taking taylor expansion of (/ -3 x) in x 3.056 * [taylor]: Taking taylor expansion of -3 in x 3.056 * [taylor]: Taking taylor expansion of x in x 3.056 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (+ (exp (/ -2 x)) 1)) in x 3.056 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.056 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.056 * [taylor]: Taking taylor expansion of 2 in x 3.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.056 * [taylor]: Taking taylor expansion of x in x 3.056 * [taylor]: Taking taylor expansion of (+ (exp (/ -2 x)) 1) in x 3.056 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 3.056 * [taylor]: Taking taylor expansion of (/ -2 x) in x 3.056 * [taylor]: Taking taylor expansion of -2 in x 3.056 * [taylor]: Taking taylor expansion of x in x 3.056 * [taylor]: Taking taylor expansion of 1 in x 3.063 * [approximate]: Taking taylor expansion of (/ (- (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) (+ (exp (/ 2 x)) (+ (exp (neg (* 2 (/ 1 x)))) 1))) in (x) around 0 3.063 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) (+ (exp (/ 2 x)) (+ (exp (neg (* 2 (/ 1 x)))) 1))) in x 3.063 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) in x 3.063 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 3.063 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.063 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.063 * [taylor]: Taking taylor expansion of -1 in x 3.063 * [taylor]: Taking taylor expansion of x in x 3.063 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 3.063 * [taylor]: Taking taylor expansion of (/ 3 x) in x 3.063 * [taylor]: Taking taylor expansion of 3 in x 3.063 * [taylor]: Taking taylor expansion of x in x 3.063 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) (+ (exp (neg (* 2 (/ 1 x)))) 1)) in x 3.063 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 3.063 * [taylor]: Taking taylor expansion of (/ 2 x) in x 3.063 * [taylor]: Taking taylor expansion of 2 in x 3.063 * [taylor]: Taking taylor expansion of x in x 3.063 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) 1) in x 3.063 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x 3.063 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 3.063 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.063 * [taylor]: Taking taylor expansion of 2 in x 3.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.063 * [taylor]: Taking taylor expansion of x in x 3.063 * [taylor]: Taking taylor expansion of 1 in x 3.064 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) (+ (exp (/ 2 x)) (+ (exp (neg (* 2 (/ 1 x)))) 1))) in x 3.064 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) in x 3.064 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 3.064 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.064 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.064 * [taylor]: Taking taylor expansion of -1 in x 3.064 * [taylor]: Taking taylor expansion of x in x 3.064 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 3.064 * [taylor]: Taking taylor expansion of (/ 3 x) in x 3.064 * [taylor]: Taking taylor expansion of 3 in x 3.064 * [taylor]: Taking taylor expansion of x in x 3.064 * [taylor]: Taking taylor expansion of (+ (exp (/ 2 x)) (+ (exp (neg (* 2 (/ 1 x)))) 1)) in x 3.064 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 3.064 * [taylor]: Taking taylor expansion of (/ 2 x) in x 3.064 * [taylor]: Taking taylor expansion of 2 in x 3.064 * [taylor]: Taking taylor expansion of x in x 3.065 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) 1) in x 3.065 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x 3.065 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 3.065 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.065 * [taylor]: Taking taylor expansion of 2 in x 3.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.065 * [taylor]: Taking taylor expansion of x in x 3.065 * [taylor]: Taking taylor expansion of 1 in x 3.071 * * * [progress]: simplifying candidates 3.073 * [simplify]: Simplifying using # : (/ (exp (pow (exp x) 3)) (exp (exp (* x -3)))) (log (- (pow (exp x) 3) (exp (* x -3)))) (exp (- (pow (exp x) 3) (exp (* x -3)))) (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (* (* (- (pow (exp x) 3) (exp (* x -3))) (- (pow (exp x) 3) (exp (* x -3)))) (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (- (pow (pow (exp x) 3) 3) (pow (exp (* x -3)) 3)) (+ (* (pow (exp x) 3) (pow (exp x) 3)) (+ (* (exp (* x -3)) (exp (* x -3))) (* (pow (exp x) 3) (exp (* x -3))))) (neg (exp (* x -3))) (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (exp (* x -3)) (exp (* x -3)))) (+ (pow (exp x) 3) (exp (* x -3))) (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (+ (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) (- (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) (- (pow (exp x) 3) (exp (* x -3))) (neg (exp (* x -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)) (* (exp (exp (+ x x))) (exp 1)) (log (+ (exp (+ x x)) 1)) (exp (+ (exp (+ x x)) 1)) (* (cbrt (+ (exp (+ x x)) 1)) (cbrt (+ (exp (+ x x)) 1))) (cbrt (+ (exp (+ x x)) 1)) (* (* (+ (exp (+ x x)) 1) (+ (exp (+ x x)) 1)) (+ (exp (+ x x)) 1)) (sqrt (+ (exp (+ x x)) 1)) (sqrt (+ (exp (+ x x)) 1)) (+ (pow (exp (+ x x)) 3) (pow 1 3)) (+ (* (exp (+ x x)) (exp (+ x x))) (- (* 1 1) (* (exp (+ x x)) 1))) (- (* (exp (+ x x)) (exp (+ x x))) (* 1 1)) (- (exp (+ x x)) 1) (+ (exp (+ x x)) 1) (- (log (- (pow (exp x) 3) (exp (* x -3)))) (log (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (log (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (exp (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (* (* (- (pow (exp x) 3) (exp (* x -3))) (- (pow (exp x) 3) (exp (* x -3)))) (- (pow (exp x) 3) (exp (* x -3)))) (* (* (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (* (cbrt (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (cbrt (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (cbrt (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (* (* (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (sqrt (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (sqrt (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (neg (- (pow (exp x) 3) (exp (* x -3)))) (neg (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (pow (exp x) 3) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (exp (* x -3)) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) 1) (/ (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) 1) (/ (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) 1) (/ (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) 1) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) 1) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) 1) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ 1 (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (pow (exp x) 3) (exp (* x -3))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ 1 (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (exp x) 3) (exp (* x -3))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ 1 1) (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ 1 1) (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ 1 1) (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) 1) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) 1) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) 1) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) 1) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) 1) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) 1) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) 1) (/ (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) 1) (/ (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) 1) (/ (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) 1) (/ (- (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) 1) (/ (- (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) 1) (/ (- (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ 1 (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (pow (exp x) 3) (exp (* x -3))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ 1 (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (exp x) 3) (exp (* x -3))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ 1 1) (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ 1 1) (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ 1 1) (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ 1 (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (exp x) 3) (exp (* x -3)))) (/ (- (pow (exp x) 3) (exp (* x -3))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (pow (exp x) 3) (exp (* x -3))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (exp x) 3) (exp (* x -3))) 1) (/ (- (pow (exp x) 3) (exp (* x -3))) 1) (/ (- (pow (exp x) 3) (exp (* x -3))) 1) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (sqrt (- (pow (exp x) 3) (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (exp x) 3) (exp (* x -3)))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (exp x) 3) (exp (* x -3)))) (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (pow (+ (exp (+ x x)) 1) 3) (pow (exp (* x -2)) 3))) (/ (- (pow (exp x) 3) (exp (* x -3))) (- (* (+ (exp (+ x x)) 1) (+ (exp (+ x x)) 1)) (* (exp (* x -2)) (exp (* x -2))))) (* (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (+ (* (pow (exp x) 3) (pow (exp x) 3)) (+ (* (exp (* x -3)) (exp (* x -3))) (* (pow (exp x) 3) (exp (* x -3)))))) (* (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (+ (pow (exp x) 3) (exp (* x -3)))) (+ (* 6 x) (+ (* 9 (pow x 3)) (* 81/20 (pow x 5)))) (- (pow (exp x) 3) (exp (* -3 x))) (- (pow (exp x) 3) (exp (* -3 x))) (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) (pow (exp x) 3) (pow (exp x) 3) (+ (* 2 x) (+ (* 2 (pow x 2)) 2)) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (/ (- (pow (exp x) 3) (exp (* -3 x))) (+ (exp (* -2 x)) (+ (exp (* 2 x)) 1))) (/ (- (pow (exp x) 3) (exp (* -3 x))) (+ 1 (+ (exp (* 2 x)) (exp (* -2 x))))) 3.081 * * [simplify]: iteration 0 : 204 enodes (cost 3174 ) 3.113 * * [simplify]: iteration 1 : 505 enodes (cost 3003 ) 3.203 * * [simplify]: iteration 2 : 1564 enodes (cost 2870 ) 3.587 * * [simplify]: iteration done : 5001 enodes (cost 2867 ) 3.588 * [simplify]: Simplified to: (exp (- (pow (exp x) 3) (exp (* x -3)))) (log (- (pow (exp x) 3) (exp (* x -3)))) (exp (- (pow (exp x) 3) (exp (* x -3)))) (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (pow (- (pow (exp x) 3) (exp (* x -3))) 3) (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (- (pow (pow (exp x) 3) 3) (pow (exp (* x -3)) 3)) (+ (pow (exp x) 6) (* (exp (* x -3)) (+ (pow (exp x) 3) (exp (* x -3))))) (neg (exp (* x -3))) (- (pow (exp x) 6) (pow (exp x) -6)) (+ (pow (exp x) 3) (exp (* x -3))) (+ (sqrt (exp (* x -3))) (pow (sqrt (exp x)) 3)) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (sqrt (exp (* x -3))) (pow (sqrt (exp x)) 3)) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (+ (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (- (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (- (pow (exp x) 3) (exp (* -3 x))) (neg (exp (* x -3))) (* 3 x) (* 3 x) 3 (* (cbrt x) 3) (* (sqrt x) 3) (* 3 x) (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) (* 3 x) (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) (exp (+ (exp (+ x x)) 1)) (log (+ (exp (+ x x)) 1)) (exp (+ (exp (+ x x)) 1)) (* (cbrt (+ (exp (+ x x)) 1)) (cbrt (+ (exp (+ x x)) 1))) (cbrt (+ (exp (+ x x)) 1)) (pow (+ (exp (+ x x)) 1) 3) (sqrt (+ (exp (+ x x)) 1)) (sqrt (+ (exp (+ x x)) 1)) (+ (pow (exp x) 6) 1) (+ (exp (* x 4)) (- 1 (exp (+ x x)))) (+ -1 (exp (* x 4))) (- (pow (exp x) 2) 1) (+ (exp (* 2 x)) 1) (log (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (log (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (exp (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (pow (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) 3) (* (cbrt (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (cbrt (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (cbrt (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (pow (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) 3) (sqrt (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (sqrt (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (neg (- (pow (exp x) 3) (exp (* x -3)))) (- (- -1 (pow (exp x) 2)) (exp (* x -2))) (/ (pow (exp x) 3) (+ 1 (+ (exp (* 2 x)) (exp (* -2 x))))) (/ (exp (* -3 x)) (+ 1 (+ (exp (* 2 x)) (exp (* -2 x))))) (/ (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (/ (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (/ (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (/ (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (/ (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ 1 (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (pow (exp x) 3) (exp (* x -3))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ 1 (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (exp x) 3) (exp (* x -3))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) 1 (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) 1 (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) 1 (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (+ (sqrt (exp (* x -3))) (pow (sqrt (exp x)) 3)) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (+ (sqrt (exp (* x -3))) (pow (sqrt (exp x)) 3)) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (+ (sqrt (exp (* x -3))) (pow (sqrt (exp x)) 3)) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (+ (sqrt (exp (* x -3))) (pow (sqrt (exp x)) 3)) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (+ (sqrt (exp (* x -3))) (pow (sqrt (exp x)) 3)) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (+ (sqrt (exp (* x -3))) (pow (sqrt (exp x)) 3)) (/ (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (/ (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (/ (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (/ (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (/ (+ (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (+ (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (+ (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (/ (- (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (+ (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (/ (- (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (+ (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (/ (- (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ 1 (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (pow (exp x) 3) (exp (* x -3))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ 1 (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (/ (- (pow (exp x) 3) (exp (* x -3))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) 1 (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) 1 (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) 1 (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ 1 (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (exp x) 3) (exp (* x -3)))) (/ (- (pow (exp x) 3) (exp (* x -3))) (* (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (cbrt (+ (+ (exp (+ x x)) 1) (exp (* x -2)))))) (/ (- (pow (exp x) 3) (exp (* x -3))) (sqrt (+ (+ (exp (+ x x)) 1) (exp (* x -2))))) (- (pow (exp x) 3) (exp (* -3 x))) (- (pow (exp x) 3) (exp (* -3 x))) (- (pow (exp x) 3) (exp (* -3 x))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (sqrt (- (pow (exp x) 3) (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (exp x) 3) (exp (* x -3)))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (exp x) 3/2) (sqrt (exp (* x -3))))) (/ (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (pow (exp x) 3) (exp (* x -3)))) (/ (- (pow (exp x) 3) (exp (* x -3))) (+ (pow (+ (exp (+ x x)) 1) 3) (pow (exp (* x -2)) 3))) (/ (- (pow (exp x) 3) (exp (* x -3))) (- (* (+ 1 (pow (exp x) 2)) (+ 1 (pow (exp x) 2))) (pow (exp x) -4))) (* (+ (pow (exp x) 6) (* (exp (* x -3)) (+ (pow (exp x) 3) (exp (* x -3))))) (+ (+ (exp (+ x x)) 1) (exp (* x -2)))) (* (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (+ (pow (exp x) 3) (exp (* x -3)))) (+ (* 6 x) (+ (* 9 (pow x 3)) (* 81/20 (pow x 5)))) (- (pow (exp x) 3) (exp (* -3 x))) (- (pow (exp x) 3) (exp (* -3 x))) (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) (pow (exp x) 3) (pow (exp x) 3) (+ 2 (* 2 (+ x (* x x)))) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (/ (- (pow (exp x) 3) (exp (* -3 x))) (+ (exp (* -2 x)) (+ (exp (* 2 x)) 1))) (/ (- (pow (exp x) 3) (exp (* -3 x))) (+ (exp (* -2 x)) (+ (exp (* 2 x)) 1))) 3.590 * * * [progress]: adding candidates to table 3.845 * * [progress]: iteration 4 / 4 3.845 * * * [progress]: picking best candidate 3.852 * * * * [pick]: Picked # 3.852 * * * [progress]: localizing error 3.872 * * * [progress]: generating rewritten candidates 3.872 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.883 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 3.893 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 3.897 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 3.909 * * * [progress]: generating series expansions 3.909 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.909 * [approximate]: Taking taylor expansion of (- (pow (exp x) 3) (exp (* -3 x))) in (x) around 0 3.909 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) (exp (* -3 x))) in x 3.909 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 3.909 * [taylor]: Taking taylor expansion of (exp x) in x 3.909 * [taylor]: Taking taylor expansion of x in x 3.909 * [taylor]: Taking taylor expansion of (exp (* -3 x)) in x 3.909 * [taylor]: Taking taylor expansion of (* -3 x) in x 3.909 * [taylor]: Taking taylor expansion of -3 in x 3.909 * [taylor]: Taking taylor expansion of x in x 3.909 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) (exp (* -3 x))) in x 3.909 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 3.909 * [taylor]: Taking taylor expansion of (exp x) in x 3.909 * [taylor]: Taking taylor expansion of x in x 3.909 * [taylor]: Taking taylor expansion of (exp (* -3 x)) in x 3.909 * [taylor]: Taking taylor expansion of (* -3 x) in x 3.909 * [taylor]: Taking taylor expansion of -3 in x 3.909 * [taylor]: Taking taylor expansion of x in x 3.913 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) (exp (/ -3 x))) in (x) around 0 3.913 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) (exp (/ -3 x))) in x 3.913 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 3.913 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.913 * [taylor]: Taking taylor expansion of x in x 3.913 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 3.914 * [taylor]: Taking taylor expansion of (/ -3 x) in x 3.914 * [taylor]: Taking taylor expansion of -3 in x 3.914 * [taylor]: Taking taylor expansion of x in x 3.914 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) (exp (/ -3 x))) in x 3.914 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 3.914 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.914 * [taylor]: Taking taylor expansion of x in x 3.914 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 3.914 * [taylor]: Taking taylor expansion of (/ -3 x) in x 3.914 * [taylor]: Taking taylor expansion of -3 in x 3.914 * [taylor]: Taking taylor expansion of x in x 3.916 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) in (x) around 0 3.916 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) in x 3.916 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 3.916 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.916 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.916 * [taylor]: Taking taylor expansion of -1 in x 3.916 * [taylor]: Taking taylor expansion of x in x 3.916 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 3.916 * [taylor]: Taking taylor expansion of (/ 3 x) in x 3.916 * [taylor]: Taking taylor expansion of 3 in x 3.916 * [taylor]: Taking taylor expansion of x in x 3.916 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) (exp (/ 3 x))) in x 3.916 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 3.916 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.916 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.916 * [taylor]: Taking taylor expansion of -1 in x 3.916 * [taylor]: Taking taylor expansion of x in x 3.916 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 3.916 * [taylor]: Taking taylor expansion of (/ 3 x) in x 3.916 * [taylor]: Taking taylor expansion of 3 in x 3.916 * [taylor]: Taking taylor expansion of x in x 3.919 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 3.919 * [approximate]: Taking taylor expansion of (pow (+ (exp (* 2 x)) 1) 3) in (x) around 0 3.919 * [taylor]: Taking taylor expansion of (pow (+ (exp (* 2 x)) 1) 3) in x 3.919 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 3.919 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.919 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.919 * [taylor]: Taking taylor expansion of 2 in x 3.919 * [taylor]: Taking taylor expansion of x in x 3.919 * [taylor]: Taking taylor expansion of 1 in x 3.919 * [taylor]: Taking taylor expansion of (pow (+ (exp (* 2 x)) 1) 3) in x 3.919 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 3.919 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.919 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.919 * [taylor]: Taking taylor expansion of 2 in x 3.919 * [taylor]: Taking taylor expansion of x in x 3.919 * [taylor]: Taking taylor expansion of 1 in x 3.920 * [approximate]: Taking taylor expansion of (pow (+ (exp (* 2 (/ 1 x))) 1) 3) in (x) around 0 3.920 * [taylor]: Taking taylor expansion of (pow (+ (exp (* 2 (/ 1 x))) 1) 3) in x 3.920 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) 1) in x 3.920 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.920 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.920 * [taylor]: Taking taylor expansion of 2 in x 3.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.920 * [taylor]: Taking taylor expansion of x in x 3.920 * [taylor]: Taking taylor expansion of 1 in x 3.920 * [taylor]: Taking taylor expansion of (pow (+ (exp (* 2 (/ 1 x))) 1) 3) in x 3.920 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) 1) in x 3.920 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.920 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.920 * [taylor]: Taking taylor expansion of 2 in x 3.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.920 * [taylor]: Taking taylor expansion of x in x 3.920 * [taylor]: Taking taylor expansion of 1 in x 3.923 * [approximate]: Taking taylor expansion of (pow (+ (exp (neg (* 2 (/ 1 x)))) 1) 3) in (x) around 0 3.923 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (* 2 (/ 1 x)))) 1) 3) in x 3.923 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) 1) in x 3.923 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x 3.923 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 3.923 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.923 * [taylor]: Taking taylor expansion of 2 in x 3.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.923 * [taylor]: Taking taylor expansion of x in x 3.923 * [taylor]: Taking taylor expansion of 1 in x 3.923 * [taylor]: Taking taylor expansion of (pow (+ (exp (neg (* 2 (/ 1 x)))) 1) 3) in x 3.923 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) 1) in x 3.923 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x 3.923 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 3.923 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.923 * [taylor]: Taking taylor expansion of 2 in x 3.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.923 * [taylor]: Taking taylor expansion of x in x 3.923 * [taylor]: Taking taylor expansion of 1 in x 3.926 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 3.926 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0 3.926 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 3.926 * [taylor]: Taking taylor expansion of (exp x) in x 3.926 * [taylor]: Taking taylor expansion of x in x 3.926 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 3.926 * [taylor]: Taking taylor expansion of (exp x) in x 3.926 * [taylor]: Taking taylor expansion of x in x 3.926 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 3.927 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 3.927 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.927 * [taylor]: Taking taylor expansion of x in x 3.927 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 3.927 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.927 * [taylor]: Taking taylor expansion of x in x 3.929 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0 3.929 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 3.929 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.929 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.929 * [taylor]: Taking taylor expansion of -1 in x 3.929 * [taylor]: Taking taylor expansion of x in x 3.929 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 3.929 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.929 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.929 * [taylor]: Taking taylor expansion of -1 in x 3.929 * [taylor]: Taking taylor expansion of x in x 3.931 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 3.931 * [approximate]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in (x) around 0 3.931 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 3.931 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.931 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.931 * [taylor]: Taking taylor expansion of 2 in x 3.931 * [taylor]: Taking taylor expansion of x in x 3.931 * [taylor]: Taking taylor expansion of 1 in x 3.931 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 1) in x 3.931 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 3.931 * [taylor]: Taking taylor expansion of (* 2 x) in x 3.931 * [taylor]: Taking taylor expansion of 2 in x 3.931 * [taylor]: Taking taylor expansion of x in x 3.931 * [taylor]: Taking taylor expansion of 1 in x 3.931 * [approximate]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) 1) in (x) around 0 3.931 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) 1) in x 3.932 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.932 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.932 * [taylor]: Taking taylor expansion of 2 in x 3.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.932 * [taylor]: Taking taylor expansion of x in x 3.932 * [taylor]: Taking taylor expansion of 1 in x 3.932 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) 1) in x 3.932 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 3.932 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.932 * [taylor]: Taking taylor expansion of 2 in x 3.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.932 * [taylor]: Taking taylor expansion of x in x 3.932 * [taylor]: Taking taylor expansion of 1 in x 3.932 * [approximate]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) 1) in (x) around 0 3.932 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) 1) in x 3.932 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x 3.932 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 3.932 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.932 * [taylor]: Taking taylor expansion of 2 in x 3.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.932 * [taylor]: Taking taylor expansion of x in x 3.932 * [taylor]: Taking taylor expansion of 1 in x 3.933 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) 1) in x 3.933 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x 3.933 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 3.933 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 3.933 * [taylor]: Taking taylor expansion of 2 in x 3.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.933 * [taylor]: Taking taylor expansion of x in x 3.933 * [taylor]: Taking taylor expansion of 1 in x 3.933 * * * [progress]: simplifying candidates 3.935 * [simplify]: Simplifying using # : (/ (exp (pow (exp x) 3)) (exp (exp (* x -3)))) (log (- (pow (exp x) 3) (exp (* x -3)))) (exp (- (pow (exp x) 3) (exp (* x -3)))) (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (* (* (- (pow (exp x) 3) (exp (* x -3))) (- (pow (exp x) 3) (exp (* x -3)))) (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (- (pow (pow (exp x) 3) 3) (pow (exp (* x -3)) 3)) (+ (* (pow (exp x) 3) (pow (exp x) 3)) (+ (* (exp (* x -3)) (exp (* x -3))) (* (pow (exp x) 3) (exp (* x -3))))) (neg (exp (* x -3))) (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (exp (* x -3)) (exp (* x -3)))) (+ (pow (exp x) 3) (exp (* x -3))) (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (+ (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) (- (pow (exp x) (/ 3 2)) (sqrt (exp (* x -3)))) (- (pow (exp x) 3) (exp (* x -3))) (neg (exp (* x -3))) (* (log (+ (exp (+ x x)) 1)) 3) (* (log (+ (exp (+ x x)) 1)) 3) (* 1 3) (pow (+ (exp (+ x x)) 1) (* (cbrt 3) (cbrt 3))) (pow (+ (exp (+ x x)) 1) (sqrt 3)) (pow (+ (exp (+ x x)) 1) 1) (pow (* (cbrt (+ (exp (+ x x)) 1)) (cbrt (+ (exp (+ x x)) 1))) 3) (pow (cbrt (+ (exp (+ x x)) 1)) 3) (pow (sqrt (+ (exp (+ x x)) 1)) 3) (pow (sqrt (+ (exp (+ x x)) 1)) 3) (pow 1 3) (pow (+ (exp (+ x x)) 1) 3) (pow 1 3) (pow (+ (exp (+ x x)) 1) 3) (* (+ (exp (+ x x)) 1) (+ (exp (+ x x)) 1)) (log (pow (+ (exp (+ x x)) 1) 3)) (exp (pow (+ (exp (+ x x)) 1) 3)) (* (cbrt (pow (+ (exp (+ x x)) 1) 3)) (cbrt (pow (+ (exp (+ x x)) 1) 3))) (cbrt (pow (+ (exp (+ x x)) 1) 3)) (* (* (pow (+ (exp (+ x x)) 1) 3) (pow (+ (exp (+ x x)) 1) 3)) (pow (+ (exp (+ x x)) 1) 3)) (pow (* (cbrt (+ (exp (+ x x)) 1)) (cbrt (+ (exp (+ x x)) 1))) 3) (pow (cbrt (+ (exp (+ x x)) 1)) 3) (pow (sqrt (+ (exp (+ x x)) 1)) 3) (pow (sqrt (+ (exp (+ x x)) 1)) 3) (pow 1 3) (pow (+ (exp (+ x x)) 1) 3) (pow 1 3) (pow (+ (exp (+ x x)) 1) 3) (pow (+ (pow (exp (+ x x)) 3) (pow 1 3)) 3) (pow (+ (* (exp (+ x x)) (exp (+ x x))) (- (* 1 1) (* (exp (+ x x)) 1))) 3) (pow (- (* (exp (+ x x)) (exp (+ x x))) (* 1 1)) 3) (pow (- (exp (+ x x)) 1) 3) (* (+ (exp (+ x x)) 1) (+ (exp (+ x x)) 1)) (sqrt (pow (+ (exp (+ x x)) 1) 3)) (sqrt (pow (+ (exp (+ x x)) 1) 3)) (pow (+ (exp (+ x x)) 1) (/ 3 2)) (pow (+ (exp (+ x x)) 1) (/ 3 2)) (* 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)) (log (cbrt (pow (+ (exp (+ x x)) 1) 3))) (exp (cbrt (pow (+ (exp (+ x x)) 1) 3))) (cbrt (pow (* (cbrt (+ (exp (+ x x)) 1)) (cbrt (+ (exp (+ x x)) 1))) 3)) (cbrt (pow (cbrt (+ (exp (+ x x)) 1)) 3)) (cbrt (pow (sqrt (+ (exp (+ x x)) 1)) 3)) (cbrt (pow (sqrt (+ (exp (+ x x)) 1)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (exp (+ x x)) 1) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (exp (+ x x)) 1) 3)) (cbrt (* (+ (exp (+ x x)) 1) (+ (exp (+ x x)) 1))) (cbrt (+ (exp (+ x x)) 1)) (cbrt (* (cbrt (pow (+ (exp (+ x x)) 1) 3)) (cbrt (pow (+ (exp (+ x x)) 1) 3)))) (cbrt (cbrt (pow (+ (exp (+ x x)) 1) 3))) (cbrt (pow (* (cbrt (+ (exp (+ x x)) 1)) (cbrt (+ (exp (+ x x)) 1))) 3)) (cbrt (pow (cbrt (+ (exp (+ x x)) 1)) 3)) (cbrt (pow (sqrt (+ (exp (+ x x)) 1)) 3)) (cbrt (pow (sqrt (+ (exp (+ x x)) 1)) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (exp (+ x x)) 1) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (exp (+ x x)) 1) 3)) (cbrt (+ (exp (+ x x)) 1)) (cbrt (* (+ (exp (+ x x)) 1) (+ (exp (+ x x)) 1))) (cbrt (sqrt (pow (+ (exp (+ x x)) 1) 3))) (cbrt (sqrt (pow (+ (exp (+ x x)) 1) 3))) (cbrt 1) (cbrt (pow (+ (exp (+ x x)) 1) 3)) (cbrt (pow (+ (exp (+ x x)) 1) (/ 3 2))) (cbrt (pow (+ (exp (+ x x)) 1) (/ 3 2))) (cbrt (pow (+ (pow (exp (+ x x)) 3) (pow 1 3)) 3)) (cbrt (pow (+ (* (exp (+ x x)) (exp (+ x x))) (- (* 1 1) (* (exp (+ x x)) 1))) 3)) (cbrt (pow (- (* (exp (+ x x)) (exp (+ x x))) (* 1 1)) 3)) (cbrt (pow (- (exp (+ x x)) 1) 3)) (* (cbrt (cbrt (pow (+ (exp (+ x x)) 1) 3))) (cbrt (cbrt (pow (+ (exp (+ x x)) 1) 3)))) (cbrt (cbrt (pow (+ (exp (+ x x)) 1) 3))) (* (* (cbrt (pow (+ (exp (+ x x)) 1) 3)) (cbrt (pow (+ (exp (+ x x)) 1) 3))) (cbrt (pow (+ (exp (+ x x)) 1) 3))) (sqrt (cbrt (pow (+ (exp (+ x x)) 1) 3))) (sqrt (cbrt (pow (+ (exp (+ x x)) 1) 3))) (+ (* 6 x) (+ (* 9 (pow x 3)) (* 81/20 (pow x 5)))) (- (pow (exp x) 3) (exp (* -3 x))) (- (pow (exp x) 3) (exp (* -3 x))) (+ (* 24 x) (+ (* 48 (pow x 2)) 8)) (pow (+ (exp (* 2 x)) 1) 3) (pow (+ (exp (* 2 x)) 1) 3) (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) (pow (exp x) 3) (pow (exp x) 3) (+ (* 2 x) (+ (* 2 (pow x 2)) 2)) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) 3.939 * * [simplify]: iteration 0 : 157 enodes (cost 1374 ) 3.964 * * [simplify]: iteration 1 : 375 enodes (cost 1147 ) 4.038 * * [simplify]: iteration 2 : 1192 enodes (cost 1011 ) 4.354 * * [simplify]: iteration done : 5001 enodes (cost 1005 ) 4.354 * [simplify]: Simplified to: (exp (- (pow (exp x) 3) (exp (* x -3)))) (log (- (pow (exp x) 3) (exp (* x -3)))) (exp (- (pow (exp x) 3) (exp (* x -3)))) (* (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (cbrt (- (pow (exp x) 3) (exp (* x -3))))) (cbrt (- (pow (exp x) 3) (exp (* x -3)))) (pow (- (pow (exp x) 3) (exp (* x -3))) 3) (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (sqrt (- (pow (exp x) 3) (exp (* x -3)))) (- (pow (pow (exp x) 3) 3) (pow (exp (* x -3)) 3)) (+ (pow (exp x) 6) (* (exp (* x -3)) (+ (pow (exp x) 3) (exp (* x -3))))) (neg (exp (* x -3))) (- (pow (exp x) 6) (pow (exp x) -6)) (+ (pow (exp x) 3) (exp (* x -3))) (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (- (pow (sqrt (exp x)) 3) (sqrt (exp (* x -3)))) (+ (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (- (sqrt (pow (exp x) 3)) (sqrt (exp (* x -3)))) (+ (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (- (pow (exp x) 3/2) (sqrt (exp (* x -3)))) (- (pow (exp x) 3) (exp (* x -3))) (neg (exp (* x -3))) (* (log (+ (exp (+ x x)) 1)) 3) (* (log (+ (exp (+ x x)) 1)) 3) 3 (pow (+ (exp (+ x x)) 1) (* (cbrt 3) (cbrt 3))) (pow (+ (exp (+ x x)) 1) (sqrt 3)) (+ (exp (* 2 x)) 1) (pow (+ (exp (* 2 x)) 1) 2) (+ (exp (* 2 x)) 1) (pow (sqrt (+ (exp (+ x x)) 1)) 3) (pow (sqrt (+ (exp (+ x x)) 1)) 3) 1 (pow (+ (exp (* 2 x)) 1) 3) 1 (pow (+ (exp (* 2 x)) 1) 3) (pow (+ (exp (* 2 x)) 1) 2) (* (log (+ (exp (+ x x)) 1)) 3) (exp (pow (+ (exp (+ x x)) 1) 3)) (pow (+ (exp (* 2 x)) 1) 2) (+ (exp (* 2 x)) 1) (pow (pow (+ 1 (exp (* 2 x))) 3) 3) (pow (+ (exp (* 2 x)) 1) 2) (+ (exp (* 2 x)) 1) (pow (sqrt (+ (exp (+ x x)) 1)) 3) (pow (sqrt (+ (exp (+ x x)) 1)) 3) 1 (pow (+ (exp (* 2 x)) 1) 3) 1 (pow (+ (exp (* 2 x)) 1) 3) (pow (+ (pow (exp x) 6) 1) 3) (pow (- (+ 1 (exp (* x 4))) (exp (+ x x))) 3) (pow (+ -1 (exp (* x 4))) 3) (pow (- (exp (+ x x)) 1) 3) (pow (+ (exp (* 2 x)) 1) 2) (sqrt (pow (+ (exp (+ x x)) 1) 3)) (sqrt (pow (+ (exp (+ x x)) 1) 3)) (pow (+ 1 (exp (* 2 x))) 3/2) (pow (+ 1 (exp (* 2 x))) 3/2) (* 3 x) (* 3 x) 3 (* (cbrt x) 3) (* (sqrt x) 3) (* 3 x) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (exp x) (exp (+ x x)) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (exp (+ x x)) (* 3 x) (exp (pow (exp x) 3)) (exp (+ x x)) (exp x) (pow (pow (exp x) 3) 3) (exp (+ x x)) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (exp (+ x x)) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) 3/2) (pow (exp x) 3/2) (log (+ (exp (+ x x)) 1)) (exp (+ 1 (exp (* 2 x)))) (cbrt (pow (+ 1 (pow (exp 2) x)) 2)) (cbrt (+ 1 (exp (* 2 x)))) (sqrt (+ 1 (exp (* 2 x)))) (sqrt (+ 1 (exp (* 2 x)))) 1 (+ (exp (* 2 x)) 1) 1 (+ (exp (* 2 x)) 1) (cbrt (pow (+ 1 (pow (exp 2) x)) 2)) (cbrt (+ 1 (exp (* 2 x)))) (cbrt (pow (+ 1 (exp (* 2 x))) 2)) (cbrt (+ 1 (exp (* 2 x)))) (cbrt (pow (+ 1 (pow (exp 2) x)) 2)) (cbrt (+ 1 (exp (* 2 x)))) (sqrt (+ 1 (exp (* 2 x)))) (sqrt (+ 1 (exp (* 2 x)))) 1 (+ (exp (* 2 x)) 1) 1 (+ (exp (* 2 x)) 1) (cbrt (+ 1 (exp (* 2 x)))) (cbrt (pow (+ 1 (pow (exp 2) x)) 2)) (cbrt (sqrt (pow (+ (exp (+ x x)) 1) 3))) (cbrt (sqrt (pow (+ (exp (+ x x)) 1) 3))) 1 (+ (exp (* 2 x)) 1) (cbrt (pow (+ 1 (exp (* 2 x))) 3/2)) (cbrt (pow (+ 1 (exp (* 2 x))) 3/2)) (+ (pow (exp x) 6) 1) (- (+ 1 (exp (* x 4))) (exp (+ x x))) (+ -1 (exp (* x 4))) (- (exp (+ x x)) 1) (cbrt (pow (+ 1 (pow (exp 2) x)) 2)) (cbrt (+ 1 (exp (* 2 x)))) (pow (+ (exp (* 2 x)) 1) 3) (sqrt (+ 1 (exp (* 2 x)))) (sqrt (+ 1 (exp (* 2 x)))) (+ (* 6 x) (+ (* 9 (pow x 3)) (* 81/20 (pow x 5)))) (- (pow (exp x) 3) (exp (* x -3))) (- (pow (exp x) 3) (exp (* x -3))) (+ (* 24 x) (+ (* 48 (pow x 2)) 8)) (pow (+ (exp (* 2 x)) 1) 3) (pow (+ (exp (* 2 x)) 1) 3) (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) (pow (exp x) 3) (pow (exp x) 3) (+ 2 (* 2 (+ x (* x x)))) (+ (exp (* 2 x)) 1) (+ (exp (* 2 x)) 1) 4.355 * * * [progress]: adding candidates to table 4.770 * [progress]: [Phase 3 of 3] Extracting. 4.770 * * [regime]: Finding splitpoints for: (# # # #) 4.772 * * * [regime-changes]: Trying 2 branch expressions: ((- (exp x) (exp (neg x))) x) 4.772 * * * * [regimes]: Trying to branch on (- (exp x) (exp (neg x))) from (# # # #) 4.808 * * * * [regimes]: Trying to branch on x from (# # # #) 4.840 * * * [regime]: Found split indices: #