16.389 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.061 * * * [progress]: [2/2] Setting up program. 0.063 * [progress]: [Phase 2 of 3] Improving. 0.063 * [simplify]: Simplifying using # : (/ (- (exp x) (exp (- x))) 2.0) 0.064 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.065 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.067 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 0.069 * * [simplify]: iteration 3 : 30 enodes (cost 8 ) 0.073 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 0.076 * * [simplify]: iteration done : 34 enodes (cost 8 ) 0.076 * [simplify]: Simplified to: (/ (- (exp x) (exp (- x))) 2.0) 0.076 * * [progress]: iteration 1 / 4 0.076 * * * [progress]: picking best candidate 0.078 * * * * [pick]: Picked # 0.078 * * * [progress]: localizing error 0.084 * * * [progress]: generating rewritten candidates 0.084 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.090 * * * [progress]: generating series expansions 0.090 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.090 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 0.090 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.090 * [taylor]: Taking taylor expansion of (exp x) in x 0.090 * [taylor]: Taking taylor expansion of x in x 0.090 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.090 * [taylor]: Taking taylor expansion of (- x) in x 0.090 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.091 * [taylor]: Taking taylor expansion of (exp x) in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.091 * [taylor]: Taking taylor expansion of (- x) in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.120 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.120 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.120 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.120 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.121 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.121 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.121 * [taylor]: Taking taylor expansion of x in x 0.121 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.121 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.121 * [taylor]: Taking taylor expansion of x in x 0.125 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 0.125 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.125 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.125 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.125 * [taylor]: Taking taylor expansion of -1 in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.125 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.125 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.125 * [taylor]: Taking taylor expansion of -1 in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.126 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.129 * * * [progress]: simplifying candidates 0.130 * [simplify]: Simplifying using # : (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (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)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) 0.131 * * [simplify]: iteration 0 : 46 enodes (cost 185 ) 0.139 * * [simplify]: iteration 1 : 102 enodes (cost 176 ) 0.158 * * [simplify]: iteration 2 : 231 enodes (cost 158 ) 0.215 * * [simplify]: iteration 3 : 504 enodes (cost 157 ) 0.540 * * [simplify]: iteration 4 : 1620 enodes (cost 157 ) 2.233 * * [simplify]: iteration done : 5000 enodes (cost 157 ) 2.233 * [simplify]: Simplified to: (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (exp (* x -3))) (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (exp (- x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) 2.233 * * * [progress]: adding candidates to table 2.276 * * [progress]: iteration 2 / 4 2.276 * * * [progress]: picking best candidate 2.280 * * * * [pick]: Picked # 2.281 * * * [progress]: localizing error 2.292 * * * [progress]: generating rewritten candidates 2.292 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 2.298 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 2.304 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 2.314 * * * [progress]: generating series expansions 2.314 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 2.314 * [approximate]: Taking taylor expansion of (* 1/3 (pow x 3)) in (x) around 0 2.314 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.314 * [taylor]: Taking taylor expansion of 1/3 in x 2.315 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.315 * [taylor]: Taking taylor expansion of x in x 2.315 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.315 * [taylor]: Taking taylor expansion of 1/3 in x 2.315 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.315 * [taylor]: Taking taylor expansion of x in x 2.326 * [approximate]: Taking taylor expansion of (/ 1/3 (pow x 3)) in (x) around 0 2.326 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 2.326 * [taylor]: Taking taylor expansion of 1/3 in x 2.326 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.326 * [taylor]: Taking taylor expansion of x in x 2.327 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 2.327 * [taylor]: Taking taylor expansion of 1/3 in x 2.327 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.327 * [taylor]: Taking taylor expansion of x in x 2.338 * [approximate]: Taking taylor expansion of (/ -1/3 (pow x 3)) in (x) around 0 2.338 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 2.338 * [taylor]: Taking taylor expansion of -1/3 in x 2.338 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.338 * [taylor]: Taking taylor expansion of x in x 2.339 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 2.339 * [taylor]: Taking taylor expansion of -1/3 in x 2.339 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.339 * [taylor]: Taking taylor expansion of x in x 2.354 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 2.354 * [approximate]: Taking taylor expansion of (* 1/60 (pow x 5)) in (x) around 0 2.354 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.354 * [taylor]: Taking taylor expansion of 1/60 in x 2.354 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.354 * [taylor]: Taking taylor expansion of x in x 2.354 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.354 * [taylor]: Taking taylor expansion of 1/60 in x 2.354 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.354 * [taylor]: Taking taylor expansion of x in x 2.368 * [approximate]: Taking taylor expansion of (/ 1/60 (pow x 5)) in (x) around 0 2.369 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x 2.369 * [taylor]: Taking taylor expansion of 1/60 in x 2.369 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.369 * [taylor]: Taking taylor expansion of x in x 2.370 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x 2.370 * [taylor]: Taking taylor expansion of 1/60 in x 2.370 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.370 * [taylor]: Taking taylor expansion of x in x 2.384 * [approximate]: Taking taylor expansion of (/ -1/60 (pow x 5)) in (x) around 0 2.384 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x 2.384 * [taylor]: Taking taylor expansion of -1/60 in x 2.384 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.384 * [taylor]: Taking taylor expansion of x in x 2.385 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x 2.385 * [taylor]: Taking taylor expansion of -1/60 in x 2.385 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.385 * [taylor]: Taking taylor expansion of x in x 2.399 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 2.400 * [approximate]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in (x) around 0 2.400 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in x 2.400 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.400 * [taylor]: Taking taylor expansion of 1/3 in x 2.400 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.400 * [taylor]: Taking taylor expansion of x in x 2.400 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in x 2.400 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.400 * [taylor]: Taking taylor expansion of 1/60 in x 2.400 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.400 * [taylor]: Taking taylor expansion of x in x 2.400 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.400 * [taylor]: Taking taylor expansion of 2 in x 2.400 * [taylor]: Taking taylor expansion of x in x 2.400 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in x 2.400 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 2.400 * [taylor]: Taking taylor expansion of 1/3 in x 2.400 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.400 * [taylor]: Taking taylor expansion of x in x 2.400 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in x 2.400 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 2.400 * [taylor]: Taking taylor expansion of 1/60 in x 2.400 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.400 * [taylor]: Taking taylor expansion of x in x 2.400 * [taylor]: Taking taylor expansion of (* 2 x) in x 2.400 * [taylor]: Taking taylor expansion of 2 in x 2.400 * [taylor]: Taking taylor expansion of x in x 2.411 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in (x) around 0 2.411 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 2.411 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.411 * [taylor]: Taking taylor expansion of 2 in x 2.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.411 * [taylor]: Taking taylor expansion of x in x 2.411 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 2.411 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 2.411 * [taylor]: Taking taylor expansion of 1/60 in x 2.411 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 2.411 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.411 * [taylor]: Taking taylor expansion of x in x 2.412 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 2.412 * [taylor]: Taking taylor expansion of 1/3 in x 2.412 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.412 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.412 * [taylor]: Taking taylor expansion of x in x 2.413 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 2.413 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.413 * [taylor]: Taking taylor expansion of 2 in x 2.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.413 * [taylor]: Taking taylor expansion of x in x 2.413 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 2.413 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 2.413 * [taylor]: Taking taylor expansion of 1/60 in x 2.413 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 2.413 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.413 * [taylor]: Taking taylor expansion of x in x 2.414 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 2.414 * [taylor]: Taking taylor expansion of 1/3 in x 2.414 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.414 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.414 * [taylor]: Taking taylor expansion of x in x 2.437 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))))) in (x) around 0 2.437 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))))) in x 2.437 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 2.437 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.437 * [taylor]: Taking taylor expansion of 2 in x 2.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.437 * [taylor]: Taking taylor expansion of x in x 2.438 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 2.438 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 2.438 * [taylor]: Taking taylor expansion of 1/60 in x 2.438 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 2.438 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.438 * [taylor]: Taking taylor expansion of x in x 2.439 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 2.439 * [taylor]: Taking taylor expansion of 1/3 in x 2.439 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.439 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.439 * [taylor]: Taking taylor expansion of x in x 2.440 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))))) in x 2.440 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 2.440 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 2.440 * [taylor]: Taking taylor expansion of 2 in x 2.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.440 * [taylor]: Taking taylor expansion of x in x 2.440 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 2.440 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 2.440 * [taylor]: Taking taylor expansion of 1/60 in x 2.440 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 2.440 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.440 * [taylor]: Taking taylor expansion of x in x 2.441 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 2.441 * [taylor]: Taking taylor expansion of 1/3 in x 2.441 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.441 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.441 * [taylor]: Taking taylor expansion of x in x 2.460 * * * [progress]: simplifying candidates 2.461 * [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))) (exp (* 2 x)))) (* (exp (* 1/3 (pow x 3))) (exp (+ (* 1/60 (pow x 5)) (* 2 x)))) (log (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (exp (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (* (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))))) (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (* (* (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (+ (pow (* 1/3 (pow x 3)) 3) (pow (+ (* 1/60 (pow x 5)) (* 2 x)) 3)) (+ (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (- (* (+ (* 1/60 (pow x 5)) (* 2 x)) (+ (* 1/60 (pow x 5)) (* 2 x))) (* (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))))) (- (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* (+ (* 1/60 (pow x 5)) (* 2 x)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (- (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 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)) (* 2 x))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 2.464 * * [simplify]: iteration 0 : 122 enodes (cost 847 ) 2.503 * * [simplify]: iteration 1 : 309 enodes (cost 750 ) 2.586 * * [simplify]: iteration 2 : 916 enodes (cost 704 ) 3.049 * * [simplify]: iteration 3 : 4532 enodes (cost 703 ) 4.619 * * [simplify]: iteration done : 5000 enodes (cost 703 ) 4.620 * [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)) (* x (* 1/3 x)) (* 1/3 (pow (sqrt x) 3)) 1/3 (* x (* 1/3 x)) (* x (* 1/3 x)) (* x (* 1/3 x)) (* 1/3 (pow (sqrt x) 3)) 1/3 (* 1/3 x) (* 1/3 (sqrt (pow x 3))) 1/3 (* 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 (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))) (* 1/216000 (pow (pow x 5) 3)) (* (cbrt (* 1/60 (pow x 5))) (cbrt (* 1/60 (pow x 5)))) (cbrt (* 1/60 (pow x 5))) (* 1/216000 (pow (pow x 5) 3)) (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 (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))) (exp (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))) (log (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (exp (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))) (* (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))))) (cbrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (pow (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 3) (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (sqrt (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (+ (pow (* 1/3 (pow x 3)) 3) (pow (+ (* 1/60 (pow x 5)) (* 2 x)) 3)) (+ (* (+ (* 1/60 (pow x 5)) (* 2 x)) (- (+ (* 1/60 (pow x 5)) (* 2 x)) (* 1/3 (pow x 3)))) (* 1/9 (pow x 6))) (- (* 1/9 (pow x 6)) (* (+ (* 1/60 (pow x 5)) (* 2 x)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (- (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 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)) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 4.620 * * * [progress]: adding candidates to table 4.789 * * [progress]: iteration 3 / 4 4.789 * * * [progress]: picking best candidate 4.792 * * * * [pick]: Picked # 4.792 * * * [progress]: localizing error 4.805 * * * [progress]: generating rewritten candidates 4.805 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 4.835 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 4.902 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 4.912 * * * [progress]: generating series expansions 4.912 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 4.912 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in (x) around 0 4.912 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in x 4.912 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.912 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.912 * [taylor]: Taking taylor expansion of 2 in x 4.912 * [taylor]: Taking taylor expansion of x in x 4.913 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 4.913 * [taylor]: Taking taylor expansion of (* -2 x) in x 4.913 * [taylor]: Taking taylor expansion of -2 in x 4.913 * [taylor]: Taking taylor expansion of x in x 4.914 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in x 4.914 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.914 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.914 * [taylor]: Taking taylor expansion of 2 in x 4.914 * [taylor]: Taking taylor expansion of x in x 4.915 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 4.915 * [taylor]: Taking taylor expansion of (* -2 x) in x 4.915 * [taylor]: Taking taylor expansion of -2 in x 4.915 * [taylor]: Taking taylor expansion of x in x 4.940 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in (x) around 0 4.940 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 4.940 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.940 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.940 * [taylor]: Taking taylor expansion of 2 in x 4.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.940 * [taylor]: Taking taylor expansion of x in x 4.941 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 4.941 * [taylor]: Taking taylor expansion of (/ -2 x) in x 4.941 * [taylor]: Taking taylor expansion of -2 in x 4.941 * [taylor]: Taking taylor expansion of x in x 4.941 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 4.941 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.941 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.941 * [taylor]: Taking taylor expansion of 2 in x 4.941 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.941 * [taylor]: Taking taylor expansion of x in x 4.942 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 4.942 * [taylor]: Taking taylor expansion of (/ -2 x) in x 4.942 * [taylor]: Taking taylor expansion of -2 in x 4.942 * [taylor]: Taking taylor expansion of x in x 4.945 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in (x) around 0 4.945 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in x 4.945 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.945 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.945 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.945 * [taylor]: Taking taylor expansion of 2 in x 4.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.945 * [taylor]: Taking taylor expansion of x in x 4.946 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 4.946 * [taylor]: Taking taylor expansion of (/ 2 x) in x 4.946 * [taylor]: Taking taylor expansion of 2 in x 4.946 * [taylor]: Taking taylor expansion of x in x 4.946 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in x 4.946 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 4.946 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 4.946 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.946 * [taylor]: Taking taylor expansion of 2 in x 4.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.946 * [taylor]: Taking taylor expansion of x in x 4.947 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 4.947 * [taylor]: Taking taylor expansion of (/ 2 x) in x 4.948 * [taylor]: Taking taylor expansion of 2 in x 4.948 * [taylor]: Taking taylor expansion of x in x 4.951 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 4.951 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2 x)) (exp (* -2 x))) (+ (exp x) (exp (- x)))) in (x) around 0 4.951 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 x)) (exp (* -2 x))) (+ (exp x) (exp (- x)))) in x 4.951 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in x 4.951 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.951 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.951 * [taylor]: Taking taylor expansion of 2 in x 4.951 * [taylor]: Taking taylor expansion of x in x 4.952 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 4.952 * [taylor]: Taking taylor expansion of (* -2 x) in x 4.952 * [taylor]: Taking taylor expansion of -2 in x 4.952 * [taylor]: Taking taylor expansion of x in x 4.953 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.953 * [taylor]: Taking taylor expansion of (exp x) in x 4.953 * [taylor]: Taking taylor expansion of x in x 4.953 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.953 * [taylor]: Taking taylor expansion of (- x) in x 4.953 * [taylor]: Taking taylor expansion of x in x 4.956 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 x)) (exp (* -2 x))) (+ (exp x) (exp (- x)))) in x 4.956 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in x 4.956 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.956 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.956 * [taylor]: Taking taylor expansion of 2 in x 4.956 * [taylor]: Taking taylor expansion of x in x 4.956 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 4.956 * [taylor]: Taking taylor expansion of (* -2 x) in x 4.956 * [taylor]: Taking taylor expansion of -2 in x 4.956 * [taylor]: Taking taylor expansion of x in x 4.957 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 4.957 * [taylor]: Taking taylor expansion of (exp x) in x 4.957 * [taylor]: Taking taylor expansion of x in x 4.957 * [taylor]: Taking taylor expansion of (exp (- x)) in x 4.957 * [taylor]: Taking taylor expansion of (- x) in x 4.957 * [taylor]: Taking taylor expansion of x in x 5.005 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 5.005 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 5.005 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 5.005 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 5.005 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.005 * [taylor]: Taking taylor expansion of 2 in x 5.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.006 * [taylor]: Taking taylor expansion of x in x 5.006 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 5.006 * [taylor]: Taking taylor expansion of (/ -2 x) in x 5.006 * [taylor]: Taking taylor expansion of -2 in x 5.006 * [taylor]: Taking taylor expansion of x in x 5.006 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.007 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.007 * [taylor]: Taking taylor expansion of x in x 5.007 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.007 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.007 * [taylor]: Taking taylor expansion of x in x 5.008 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 5.008 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 5.008 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 5.008 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.008 * [taylor]: Taking taylor expansion of 2 in x 5.008 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.008 * [taylor]: Taking taylor expansion of x in x 5.008 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 5.008 * [taylor]: Taking taylor expansion of (/ -2 x) in x 5.008 * [taylor]: Taking taylor expansion of -2 in x 5.009 * [taylor]: Taking taylor expansion of x in x 5.009 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.009 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.009 * [taylor]: Taking taylor expansion of x in x 5.009 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.009 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.009 * [taylor]: Taking taylor expansion of x in x 5.018 * [approximate]: Taking taylor expansion of (/ (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 5.018 * [taylor]: Taking taylor expansion of (/ (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 5.018 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in x 5.019 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 5.019 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 5.019 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.019 * [taylor]: Taking taylor expansion of 2 in x 5.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.019 * [taylor]: Taking taylor expansion of x in x 5.019 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 5.019 * [taylor]: Taking taylor expansion of (/ 2 x) in x 5.019 * [taylor]: Taking taylor expansion of 2 in x 5.019 * [taylor]: Taking taylor expansion of x in x 5.020 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 5.020 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.020 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.020 * [taylor]: Taking taylor expansion of x in x 5.020 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.020 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.020 * [taylor]: Taking taylor expansion of -1 in x 5.020 * [taylor]: Taking taylor expansion of x in x 5.021 * [taylor]: Taking taylor expansion of (/ (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 5.021 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in x 5.021 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 5.021 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 5.021 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 5.021 * [taylor]: Taking taylor expansion of 2 in x 5.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.021 * [taylor]: Taking taylor expansion of x in x 5.022 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 5.022 * [taylor]: Taking taylor expansion of (/ 2 x) in x 5.022 * [taylor]: Taking taylor expansion of 2 in x 5.022 * [taylor]: Taking taylor expansion of x in x 5.022 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 5.022 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.022 * [taylor]: Taking taylor expansion of x in x 5.022 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.022 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.023 * [taylor]: Taking taylor expansion of -1 in x 5.023 * [taylor]: Taking taylor expansion of x in x 5.031 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 5.032 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 5.032 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.032 * [taylor]: Taking taylor expansion of (exp x) in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.032 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.032 * [taylor]: Taking taylor expansion of (- x) in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.032 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 5.032 * [taylor]: Taking taylor expansion of (exp x) in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.032 * [taylor]: Taking taylor expansion of (exp (- x)) in x 5.032 * [taylor]: Taking taylor expansion of (- x) in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.047 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 5.047 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.047 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.047 * [taylor]: Taking taylor expansion of x in x 5.047 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.047 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.048 * [taylor]: Taking taylor expansion of x in x 5.048 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 5.048 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.048 * [taylor]: Taking taylor expansion of x in x 5.049 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 5.049 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 5.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.049 * [taylor]: Taking taylor expansion of x in x 5.051 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 5.051 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 5.051 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.051 * [taylor]: Taking taylor expansion of x in x 5.051 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.051 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.051 * [taylor]: Taking taylor expansion of -1 in x 5.051 * [taylor]: Taking taylor expansion of x in x 5.052 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 5.052 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 5.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.052 * [taylor]: Taking taylor expansion of x in x 5.052 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 5.052 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.052 * [taylor]: Taking taylor expansion of -1 in x 5.052 * [taylor]: Taking taylor expansion of x in x 5.054 * * * [progress]: simplifying candidates 5.056 * [simplify]: Simplifying using # : (/ (exp (exp (+ x x))) (exp (exp (* x -2)))) (log (- (exp (+ x x)) (exp (* x -2)))) (exp (- (exp (+ x x)) (exp (* x -2)))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (cbrt (- (exp (+ x x)) (exp (* x -2)))) (* (* (- (exp (+ x x)) (exp (* x -2))) (- (exp (+ x x)) (exp (* x -2)))) (- (exp (+ x x)) (exp (* x -2)))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (- (pow (exp (+ x x)) 3) (pow (exp (* x -2)) 3)) (+ (* (exp (+ x x)) (exp (+ x x))) (+ (* (exp (* x -2)) (exp (* x -2))) (* (exp (+ x x)) (exp (* x -2))))) (- (exp (* x -2))) (- (* (exp (+ x x)) (exp (+ x x))) (* (exp (* x -2)) (exp (* x -2)))) (+ (exp (+ x x)) (exp (* x -2))) (+ (exp x) (sqrt (exp (* x -2)))) (- (exp x) (sqrt (exp (* x -2)))) (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (- (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (- (exp (+ x x)) (exp (* x -2))) (- (exp (* x -2))) (- (log (- (exp (+ x x)) (exp (* x -2)))) (log (+ (exp x) (exp (- x))))) (log (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (exp (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (/ (* (* (- (exp (+ x x)) (exp (* x -2))) (- (exp (+ x x)) (exp (* x -2)))) (- (exp (+ x x)) (exp (* x -2)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))) (* (cbrt (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (cbrt (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))))) (cbrt (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (* (* (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (- (- (exp (+ x x)) (exp (* x -2)))) (- (+ (exp x) (exp (- x)))) (/ (exp (+ x x)) (+ (exp x) (exp (- x)))) (/ (exp (* x -2)) (+ (exp x) (exp (- x)))) (/ (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) 1) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) 1) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) 1) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) 1) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp (+ x x)) (exp (* x -2))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp (+ x x)) (exp (* x -2))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 1) (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) (/ 1 1) (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) (/ (+ (exp x) (sqrt (exp (* x -2)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (sqrt (exp (* x -2)))) (cbrt (+ (exp x) (exp (- x))))) (/ (+ (exp x) (sqrt (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (sqrt (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (+ (exp x) (sqrt (exp (* x -2)))) 1) (/ (- (exp x) (sqrt (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ (+ (exp x) (sqrt (exp (* x -2)))) 1) (/ (- (exp x) (sqrt (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (cbrt (+ (exp x) (exp (- x))))) (/ (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) 1) (/ (- (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) 1) (/ (- (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp (+ x x)) (exp (* x -2))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp (+ x x)) (exp (* x -2))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 1) (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) (/ 1 1) (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (exp (+ x x)) (exp (* x -2)))) (/ (- (exp (+ x x)) (exp (* x -2))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp (+ x x)) (exp (* x -2))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp (+ x x)) (exp (* x -2))) 1) (/ (- (exp (+ x x)) (exp (* x -2))) 1) (/ (+ (exp x) (exp (- x))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (/ (+ (exp x) (exp (- x))) (sqrt (- (exp (+ x x)) (exp (* x -2))))) (/ (+ (exp x) (exp (- x))) (- (exp (+ x x)) (exp (* x -2)))) (/ (+ (exp x) (exp (- x))) (- (exp x) (sqrt (exp (* x -2))))) (/ (+ (exp x) (exp (- x))) (- (sqrt (exp (+ x x))) (sqrt (exp (* x -2))))) (/ (+ (exp x) (exp (- x))) (- (exp (+ x x)) (exp (* x -2)))) (/ (- (exp (+ x x)) (exp (* x -2))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (- (exp (+ x x)) (exp (* x -2))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (* (+ (exp x) (exp (- x))) (+ (* (exp (+ x x)) (exp (+ x x))) (+ (* (exp (* x -2)) (exp (* x -2))) (* (exp (+ x x)) (exp (* x -2)))))) (* (+ (exp x) (exp (- x))) (+ (exp (+ x x)) (exp (* x -2)))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (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)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (+ (* 8/3 (pow x 3)) (+ (* 8/15 (pow x 5)) (* 4 x))) (- (exp (* 2 x)) (exp (* -2 x))) (- (exp (* 2 x)) (exp (* -2 x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (+ (exp x) (exp (- x)))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (+ (exp (* -1 x)) (exp x))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 5.061 * * [simplify]: iteration 0 : 149 enodes (cost 1819 ) 5.096 * * [simplify]: iteration 1 : 361 enodes (cost 1763 ) 5.187 * * [simplify]: iteration 2 : 870 enodes (cost 1613 ) 5.623 * * [simplify]: iteration 3 : 2372 enodes (cost 1577 ) 6.679 * * [simplify]: iteration done : 5000 enodes (cost 1568 ) 6.680 * [simplify]: Simplified to: (exp (- (exp (+ x x)) (exp (* x -2)))) (log (- (exp (+ x x)) (exp (* x -2)))) (exp (- (exp (+ x x)) (exp (* x -2)))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (cbrt (- (exp (+ x x)) (exp (* x -2)))) (pow (- (exp (* 2 x)) (exp (* -2 x))) 3) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (- (pow (exp x) 6) (exp (* x -6))) (+ (exp (* x 4)) (+ (pow (exp x) -4) 1)) (- (exp (* x -2))) (- (exp (* x 4)) (pow (exp x) -4)) (+ (exp (* x -2)) (pow (exp x) 2)) (+ (exp x) (fabs (exp (- x)))) (- (exp x) (fabs (exp (- x)))) (+ (fabs (exp (- x))) (fabs (exp x))) (- (fabs (exp x)) (fabs (exp (- x)))) (- (pow (exp x) 2) (pow (exp x) -2)) (- (exp (* x -2))) (log (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (log (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (exp (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (pow (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp (- x)) (exp x))) 3) (* (cbrt (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (cbrt (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))))) (cbrt (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (pow (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp (- x)) (exp x))) 3) (sqrt (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))))) (- (pow (exp x) -2) (pow (exp x) 2)) (- (+ (exp x) (exp (- x)))) (/ (exp x) (+ (exp (* x -2)) 1)) (/ 1 (+ (exp x) (pow (exp x) 3))) (/ (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp (+ x x)) (exp (* x -2))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp (+ x x)) (exp (* x -2))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp (- x)) (exp x))) 1 (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp (- x)) (exp x))) (/ (+ (exp x) (fabs (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp x) (fabs (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (+ (exp x) (fabs (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (fabs (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (+ (exp x) (fabs (exp (- x)))) (/ (- (exp x) (fabs (exp (- x)))) (+ (exp (- x)) (exp x))) (+ (exp x) (fabs (exp (- x)))) (/ (- (exp x) (fabs (exp (- x)))) (+ (exp (- x)) (exp x))) (/ (+ (fabs (exp (- x))) (fabs (exp x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (fabs (exp x)) (fabs (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (+ (fabs (exp (- x))) (fabs (exp x))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (fabs (exp x)) (fabs (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (+ (fabs (exp (- x))) (fabs (exp x))) (/ (- (fabs (exp x)) (fabs (exp (- x)))) (+ (exp (- x)) (exp x))) (+ (fabs (exp (- x))) (fabs (exp x))) (/ (- (fabs (exp x)) (fabs (exp (- x)))) (+ (exp (- x)) (exp x))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp (+ x x)) (exp (* x -2))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp (+ x x)) (exp (* x -2))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp (- x)) (exp x))) 1 (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp (- x)) (exp x))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (pow (exp x) -2) 1) (- (exp x) (exp (* x -3)))) (/ (- (exp (+ x x)) (exp (* x -2))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp (+ x x)) (exp (* x -2))) (sqrt (+ (exp x) (exp (- x))))) (- (pow (exp x) 2) (pow (exp x) -2)) (- (pow (exp x) 2) (pow (exp x) -2)) (/ (+ (exp x) (exp (- x))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (/ (+ (exp x) (exp (- x))) (sqrt (- (exp (+ x x)) (exp (* x -2))))) (/ (+ (pow (exp x) -2) 1) (- (exp x) (exp (* x -3)))) (/ (+ (exp (- x)) (exp x)) (- (exp x) (fabs (exp (- x))))) (/ (+ (exp (- x)) (exp x)) (- (fabs (exp x)) (fabs (exp (- x))))) (/ (+ (pow (exp x) -2) 1) (- (exp x) (exp (* x -3)))) (/ (- (pow (exp x) 2) (pow (exp x) -2)) (+ (pow (exp x) 3) (exp (* x -3)))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (- (pow (exp x) 2) (exp (* x -2)))) (* (+ (exp (* x 4)) (+ (pow (exp x) -4) 1)) (+ (exp (- x)) (exp x))) (* (+ (exp x) (exp (- x))) (+ (exp (+ x x)) (exp (* x -2)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (pow (+ (exp (- x)) (exp x)) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (pow (exp x) 3) (exp (* x -3))) (- (exp (* x -2)) (- 1 (pow (exp x) 2))) (- (pow (exp x) 2) (pow (exp x) -2)) (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)) (+ (* 8/3 (pow x 3)) (+ (* 8/15 (pow x 5)) (* 4 x))) (- (pow (exp x) 2) (pow (exp x) -2)) (- (pow (exp x) 2) (pow (exp x) -2)) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp (- x)) (exp x))) (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp (- x)) (exp x))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x)) 6.681 * * * [progress]: adding candidates to table 6.882 * * [progress]: iteration 4 / 4 6.882 * * * [progress]: picking best candidate 6.885 * * * * [pick]: Picked # 6.885 * * * [progress]: localizing error 6.900 * * * [progress]: generating rewritten candidates 6.900 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1) 6.927 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 6.996 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 7.212 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 7.222 * * * [progress]: generating series expansions 7.222 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1) 7.222 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in (x) around 0 7.222 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in x 7.222 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.222 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.222 * [taylor]: Taking taylor expansion of 2 in x 7.222 * [taylor]: Taking taylor expansion of x in x 7.223 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 7.223 * [taylor]: Taking taylor expansion of (* -2 x) in x 7.223 * [taylor]: Taking taylor expansion of -2 in x 7.223 * [taylor]: Taking taylor expansion of x in x 7.224 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in x 7.224 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.224 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.224 * [taylor]: Taking taylor expansion of 2 in x 7.224 * [taylor]: Taking taylor expansion of x in x 7.225 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 7.225 * [taylor]: Taking taylor expansion of (* -2 x) in x 7.225 * [taylor]: Taking taylor expansion of -2 in x 7.225 * [taylor]: Taking taylor expansion of x in x 7.248 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in (x) around 0 7.248 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 7.248 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.248 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.248 * [taylor]: Taking taylor expansion of 2 in x 7.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.248 * [taylor]: Taking taylor expansion of x in x 7.249 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 7.249 * [taylor]: Taking taylor expansion of (/ -2 x) in x 7.249 * [taylor]: Taking taylor expansion of -2 in x 7.249 * [taylor]: Taking taylor expansion of x in x 7.249 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 7.249 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.249 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.249 * [taylor]: Taking taylor expansion of 2 in x 7.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.249 * [taylor]: Taking taylor expansion of x in x 7.250 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 7.250 * [taylor]: Taking taylor expansion of (/ -2 x) in x 7.250 * [taylor]: Taking taylor expansion of -2 in x 7.250 * [taylor]: Taking taylor expansion of x in x 7.253 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in (x) around 0 7.253 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in x 7.253 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.253 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.253 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.253 * [taylor]: Taking taylor expansion of 2 in x 7.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.253 * [taylor]: Taking taylor expansion of x in x 7.254 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 7.254 * [taylor]: Taking taylor expansion of (/ 2 x) in x 7.254 * [taylor]: Taking taylor expansion of 2 in x 7.254 * [taylor]: Taking taylor expansion of x in x 7.255 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in x 7.255 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.255 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.255 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.255 * [taylor]: Taking taylor expansion of 2 in x 7.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.255 * [taylor]: Taking taylor expansion of x in x 7.255 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 7.256 * [taylor]: Taking taylor expansion of (/ 2 x) in x 7.256 * [taylor]: Taking taylor expansion of 2 in x 7.256 * [taylor]: Taking taylor expansion of x in x 7.259 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 7.259 * [approximate]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in (x) around 0 7.259 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in x 7.259 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.259 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.259 * [taylor]: Taking taylor expansion of 2 in x 7.259 * [taylor]: Taking taylor expansion of x in x 7.260 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 7.260 * [taylor]: Taking taylor expansion of (* -2 x) in x 7.260 * [taylor]: Taking taylor expansion of -2 in x 7.260 * [taylor]: Taking taylor expansion of x in x 7.260 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in x 7.260 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.260 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.260 * [taylor]: Taking taylor expansion of 2 in x 7.260 * [taylor]: Taking taylor expansion of x in x 7.261 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 7.261 * [taylor]: Taking taylor expansion of (* -2 x) in x 7.261 * [taylor]: Taking taylor expansion of -2 in x 7.261 * [taylor]: Taking taylor expansion of x in x 7.288 * [approximate]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in (x) around 0 7.288 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 7.288 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.288 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.288 * [taylor]: Taking taylor expansion of 2 in x 7.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.288 * [taylor]: Taking taylor expansion of x in x 7.288 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 7.288 * [taylor]: Taking taylor expansion of (/ -2 x) in x 7.288 * [taylor]: Taking taylor expansion of -2 in x 7.288 * [taylor]: Taking taylor expansion of x in x 7.289 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 7.289 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.289 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.289 * [taylor]: Taking taylor expansion of 2 in x 7.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.289 * [taylor]: Taking taylor expansion of x in x 7.289 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 7.289 * [taylor]: Taking taylor expansion of (/ -2 x) in x 7.289 * [taylor]: Taking taylor expansion of -2 in x 7.289 * [taylor]: Taking taylor expansion of x in x 7.293 * [approximate]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in (x) around 0 7.293 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in x 7.293 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.293 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.293 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.293 * [taylor]: Taking taylor expansion of 2 in x 7.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.293 * [taylor]: Taking taylor expansion of x in x 7.293 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 7.294 * [taylor]: Taking taylor expansion of (/ 2 x) in x 7.294 * [taylor]: Taking taylor expansion of 2 in x 7.294 * [taylor]: Taking taylor expansion of x in x 7.294 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in x 7.294 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.294 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.294 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.294 * [taylor]: Taking taylor expansion of 2 in x 7.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.294 * [taylor]: Taking taylor expansion of x in x 7.295 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 7.295 * [taylor]: Taking taylor expansion of (/ 2 x) in x 7.295 * [taylor]: Taking taylor expansion of 2 in x 7.295 * [taylor]: Taking taylor expansion of x in x 7.298 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 7.298 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2 x)) (exp (* -2 x))) (+ (exp x) (exp (- x)))) in (x) around 0 7.298 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 x)) (exp (* -2 x))) (+ (exp x) (exp (- x)))) in x 7.299 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in x 7.299 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.299 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.299 * [taylor]: Taking taylor expansion of 2 in x 7.299 * [taylor]: Taking taylor expansion of x in x 7.299 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 7.299 * [taylor]: Taking taylor expansion of (* -2 x) in x 7.299 * [taylor]: Taking taylor expansion of -2 in x 7.299 * [taylor]: Taking taylor expansion of x in x 7.300 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.300 * [taylor]: Taking taylor expansion of (exp x) in x 7.300 * [taylor]: Taking taylor expansion of x in x 7.300 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.300 * [taylor]: Taking taylor expansion of (- x) in x 7.300 * [taylor]: Taking taylor expansion of x in x 7.303 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 x)) (exp (* -2 x))) (+ (exp x) (exp (- x)))) in x 7.303 * [taylor]: Taking taylor expansion of (- (exp (* 2 x)) (exp (* -2 x))) in x 7.303 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 7.303 * [taylor]: Taking taylor expansion of (* 2 x) in x 7.303 * [taylor]: Taking taylor expansion of 2 in x 7.303 * [taylor]: Taking taylor expansion of x in x 7.304 * [taylor]: Taking taylor expansion of (exp (* -2 x)) in x 7.304 * [taylor]: Taking taylor expansion of (* -2 x) in x 7.304 * [taylor]: Taking taylor expansion of -2 in x 7.304 * [taylor]: Taking taylor expansion of x in x 7.305 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.305 * [taylor]: Taking taylor expansion of (exp x) in x 7.305 * [taylor]: Taking taylor expansion of x in x 7.305 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.305 * [taylor]: Taking taylor expansion of (- x) in x 7.305 * [taylor]: Taking taylor expansion of x in x 7.344 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0 7.344 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 7.344 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 7.344 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.344 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.344 * [taylor]: Taking taylor expansion of 2 in x 7.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.344 * [taylor]: Taking taylor expansion of x in x 7.345 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 7.345 * [taylor]: Taking taylor expansion of (/ -2 x) in x 7.345 * [taylor]: Taking taylor expansion of -2 in x 7.345 * [taylor]: Taking taylor expansion of x in x 7.348 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.348 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.348 * [taylor]: Taking taylor expansion of x in x 7.348 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.348 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.348 * [taylor]: Taking taylor expansion of x in x 7.349 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x 7.349 * [taylor]: Taking taylor expansion of (- (exp (* 2 (/ 1 x))) (exp (/ -2 x))) in x 7.349 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 7.349 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.349 * [taylor]: Taking taylor expansion of 2 in x 7.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.349 * [taylor]: Taking taylor expansion of x in x 7.350 * [taylor]: Taking taylor expansion of (exp (/ -2 x)) in x 7.350 * [taylor]: Taking taylor expansion of (/ -2 x) in x 7.350 * [taylor]: Taking taylor expansion of -2 in x 7.350 * [taylor]: Taking taylor expansion of x in x 7.350 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.350 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.350 * [taylor]: Taking taylor expansion of x in x 7.350 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.350 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.350 * [taylor]: Taking taylor expansion of x in x 7.359 * [approximate]: Taking taylor expansion of (/ (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0 7.359 * [taylor]: Taking taylor expansion of (/ (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 7.359 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in x 7.359 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.359 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.359 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.359 * [taylor]: Taking taylor expansion of 2 in x 7.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.359 * [taylor]: Taking taylor expansion of x in x 7.360 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 7.360 * [taylor]: Taking taylor expansion of (/ 2 x) in x 7.360 * [taylor]: Taking taylor expansion of 2 in x 7.360 * [taylor]: Taking taylor expansion of x in x 7.360 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.360 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.361 * [taylor]: Taking taylor expansion of x in x 7.361 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.361 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.361 * [taylor]: Taking taylor expansion of -1 in x 7.361 * [taylor]: Taking taylor expansion of x in x 7.361 * [taylor]: Taking taylor expansion of (/ (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x 7.361 * [taylor]: Taking taylor expansion of (- (exp (- (* 2 (/ 1 x)))) (exp (/ 2 x))) in x 7.362 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 7.362 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 7.362 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 7.362 * [taylor]: Taking taylor expansion of 2 in x 7.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.362 * [taylor]: Taking taylor expansion of x in x 7.362 * [taylor]: Taking taylor expansion of (exp (/ 2 x)) in x 7.362 * [taylor]: Taking taylor expansion of (/ 2 x) in x 7.362 * [taylor]: Taking taylor expansion of 2 in x 7.362 * [taylor]: Taking taylor expansion of x in x 7.363 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.363 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.363 * [taylor]: Taking taylor expansion of x in x 7.363 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.363 * [taylor]: Taking taylor expansion of -1 in x 7.363 * [taylor]: Taking taylor expansion of x in x 7.371 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 7.371 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0 7.371 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.371 * [taylor]: Taking taylor expansion of (exp x) in x 7.371 * [taylor]: Taking taylor expansion of x in x 7.371 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.371 * [taylor]: Taking taylor expansion of (- x) in x 7.371 * [taylor]: Taking taylor expansion of x in x 7.372 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x 7.372 * [taylor]: Taking taylor expansion of (exp x) in x 7.372 * [taylor]: Taking taylor expansion of x in x 7.372 * [taylor]: Taking taylor expansion of (exp (- x)) in x 7.372 * [taylor]: Taking taylor expansion of (- x) in x 7.372 * [taylor]: Taking taylor expansion of x in x 7.386 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 7.386 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.386 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.386 * [taylor]: Taking taylor expansion of x in x 7.386 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.386 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.386 * [taylor]: Taking taylor expansion of x in x 7.387 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 7.387 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.387 * [taylor]: Taking taylor expansion of x in x 7.387 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 7.387 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 7.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.387 * [taylor]: Taking taylor expansion of x in x 7.390 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0 7.390 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.390 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.390 * [taylor]: Taking taylor expansion of x in x 7.390 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.390 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.390 * [taylor]: Taking taylor expansion of -1 in x 7.390 * [taylor]: Taking taylor expansion of x in x 7.390 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 7.390 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 7.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.390 * [taylor]: Taking taylor expansion of x in x 7.391 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 7.391 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.391 * [taylor]: Taking taylor expansion of -1 in x 7.391 * [taylor]: Taking taylor expansion of x in x 7.393 * * * [progress]: simplifying candidates 7.395 * [simplify]: Simplifying using # : (/ (exp (exp (+ x x))) (exp (exp (* x -2)))) (log (- (exp (+ x x)) (exp (* x -2)))) (exp (- (exp (+ x x)) (exp (* x -2)))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (cbrt (- (exp (+ x x)) (exp (* x -2)))) (* (* (- (exp (+ x x)) (exp (* x -2))) (- (exp (+ x x)) (exp (* x -2)))) (- (exp (+ x x)) (exp (* x -2)))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (- (pow (exp (+ x x)) 3) (pow (exp (* x -2)) 3)) (+ (* (exp (+ x x)) (exp (+ x x))) (+ (* (exp (* x -2)) (exp (* x -2))) (* (exp (+ x x)) (exp (* x -2))))) (- (exp (* x -2))) (- (* (exp (+ x x)) (exp (+ x x))) (* (exp (* x -2)) (exp (* x -2)))) (+ (exp (+ x x)) (exp (* x -2))) (+ (exp x) (sqrt (exp (* x -2)))) (- (exp x) (sqrt (exp (* x -2)))) (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (- (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (- (exp (+ x x)) (exp (* x -2))) (- (exp (* x -2))) (log (exp (exp (+ x x)))) (log (exp (- (exp (* x -2))))) (log (exp (exp (+ x x)))) (log (exp (- (exp (* x -2))))) (log (* (cbrt (exp (- (exp (+ x x)) (exp (* x -2))))) (cbrt (exp (- (exp (+ x x)) (exp (* x -2))))))) (log (cbrt (exp (- (exp (+ x x)) (exp (* x -2)))))) (log (sqrt (exp (- (exp (+ x x)) (exp (* x -2)))))) (log (sqrt (exp (- (exp (+ x x)) (exp (* x -2)))))) (log 1) (log (exp (- (exp (+ x x)) (exp (* x -2))))) (log (exp (exp (+ x x)))) (log (exp (exp (* x -2)))) (log (exp (- (exp (+ x x)) (exp (* x -2))))) (log (exp (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))))) (log (exp (sqrt (- (exp (+ x x)) (exp (* x -2)))))) (log (exp 1)) (log (exp (+ (exp x) (sqrt (exp (* x -2)))))) (log (exp (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))))) (log (exp 1)) (log (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (exp (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (* (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2))))))) (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (* (* (log (exp (- (exp (+ x x)) (exp (* x -2))))) (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (sqrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (sqrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (- (log (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (log (+ (exp x) (exp (- x))))) (log (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x))))) (exp (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x))))) (/ (* (* (log (exp (- (exp (+ x x)) (exp (* x -2))))) (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))) (* (cbrt (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x))))) (cbrt (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x)))))) (cbrt (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x))))) (* (* (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x)))) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x))))) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x))))) (sqrt (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x))))) (sqrt (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x))))) (- (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (- (+ (exp x) (exp (- x)))) (/ (log (exp (exp (+ x x)))) (+ (exp x) (exp (- x)))) (/ (log (exp (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 1) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x)))) (/ 1 1) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x)))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (log (exp (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))))) (cbrt (+ (exp x) (exp (- x))))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (log (exp (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) 1) (/ (log (exp (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))))) (+ (exp x) (exp (- x)))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) 1) (/ (log (exp (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (log (exp (sqrt (- (exp (+ x x)) (exp (* x -2)))))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (log (exp (sqrt (- (exp (+ x x)) (exp (* x -2)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) 1) (/ (log (exp (sqrt (- (exp (+ x x)) (exp (* x -2)))))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) 1) (/ (log (exp (sqrt (- (exp (+ x x)) (exp (* x -2)))))) (+ (exp x) (exp (- x)))) (/ (- (exp (+ x x)) (exp (* x -2))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (log (exp 1)) (cbrt (+ (exp x) (exp (- x))))) (/ (- (exp (+ x x)) (exp (* x -2))) (sqrt (+ (exp x) (exp (- x))))) (/ (log (exp 1)) (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp (+ x x)) (exp (* x -2))) 1) (/ (log (exp 1)) (+ (exp x) (exp (- x)))) (/ (- (exp (+ x x)) (exp (* x -2))) 1) (/ (log (exp 1)) (+ (exp x) (exp (- x)))) (/ (- (exp x) (sqrt (exp (* x -2)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (log (exp (+ (exp x) (sqrt (exp (* x -2)))))) (cbrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (sqrt (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (log (exp (+ (exp x) (sqrt (exp (* x -2)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (sqrt (exp (* x -2)))) 1) (/ (log (exp (+ (exp x) (sqrt (exp (* x -2)))))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (sqrt (exp (* x -2)))) 1) (/ (log (exp (+ (exp x) (sqrt (exp (* x -2)))))) (+ (exp x) (exp (- x)))) (/ (- (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (log (exp (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))))) (cbrt (+ (exp x) (exp (- x))))) (/ (- (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (log (exp (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (- (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) 1) (/ (log (exp (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))))) (+ (exp x) (exp (- x)))) (/ (- (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))) 1) (/ (log (exp (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2)))))) (+ (exp x) (exp (- x)))) (/ (- (exp (+ x x)) (exp (* x -2))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (log (exp 1)) (cbrt (+ (exp x) (exp (- x))))) (/ (- (exp (+ x x)) (exp (* x -2))) (sqrt (+ (exp x) (exp (- x))))) (/ (log (exp 1)) (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp (+ x x)) (exp (* x -2))) 1) (/ (log (exp 1)) (+ (exp x) (exp (- x)))) (/ (- (exp (+ x x)) (exp (* x -2))) 1) (/ (log (exp 1)) (+ (exp x) (exp (- x)))) (/ (* (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2))))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2))))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2))))))) 1) (/ (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (+ (exp x) (exp (- x)))) (/ (* (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2))))))) 1) (/ (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (+ (exp x) (exp (- x)))) (/ (sqrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) 1) (/ (sqrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (+ (exp x) (exp (- x)))) (/ (sqrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) 1) (/ (sqrt (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 1) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x)))) (/ 1 1) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (sqrt (+ (exp x) (exp (- x))))) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) 1) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) 1) (/ (+ (exp x) (exp (- x))) (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (/ (+ (exp x) (exp (- x))) (log (exp (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2)))))))) (/ (+ (exp x) (exp (- x))) (log (exp (sqrt (- (exp (+ x x)) (exp (* x -2))))))) (/ (+ (exp x) (exp (- x))) (log (exp 1))) (/ (+ (exp x) (exp (- x))) (log (exp (+ (exp x) (sqrt (exp (* x -2))))))) (/ (+ (exp x) (exp (- x))) (log (exp (+ (sqrt (exp (+ x x))) (sqrt (exp (* x -2))))))) (/ (+ (exp x) (exp (- x))) (log (exp 1))) (/ (+ (exp x) (exp (- x))) (cbrt (log (exp (- (exp (+ x x)) (exp (* x -2))))))) (/ (+ (exp x) (exp (- x))) (sqrt (log (exp (- (exp (+ x x)) (exp (* x -2))))))) (/ (+ (exp x) (exp (- x))) (log (exp (- (exp (+ x x)) (exp (* x -2)))))) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ (log (exp (- (exp (+ x x)) (exp (* x -2))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (* (exp (exp x)) (exp (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (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)))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (+ (* 8/3 (pow x 3)) (+ (* 8/15 (pow x 5)) (* 4 x))) (- (exp (* 2 x)) (exp (* -2 x))) (- (exp (* 2 x)) (exp (* -2 x))) (+ (* 8/3 (pow x 3)) (+ (* 8/15 (pow x 5)) (* 4 x))) (- (exp (* 2 x)) (exp (* -2 x))) (- (exp (* 2 x)) (exp (* -2 x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (+ (exp x) (exp (- x)))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (+ (exp (* -1 x)) (exp x))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp (* -1 x)) (exp x)) 7.402 * * [simplify]: iteration 0 : 197 enodes (cost 2855 ) 7.443 * * [simplify]: iteration 1 : 402 enodes (cost 2568 ) 7.543 * * [simplify]: iteration 2 : 879 enodes (cost 2433 ) 7.930 * * [simplify]: iteration 3 : 2205 enodes (cost 2358 ) 8.601 * * [simplify]: iteration done : 5001 enodes (cost 2355 ) 8.602 * [simplify]: Simplified to: (exp (- (exp (+ x x)) (exp (* x -2)))) (log (- (exp (+ x x)) (exp (* x -2)))) (exp (- (exp (+ x x)) (exp (* x -2)))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (cbrt (- (pow (exp 2) x) (pow (exp -2) x))) (pow (- (exp (* 2 x)) (exp (* -2 x))) 3) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (- (pow (exp x) 6) (exp (* x -6))) (+ (+ (pow (exp x) -4) (exp (* x 4))) 1) (- (exp (* x -2))) (- (exp (* x 4)) (pow (exp x) -4)) (+ (pow (exp 2) x) (exp (* x -2))) (+ (exp x) (fabs (exp (- x)))) (- (exp x) (fabs (exp (- x)))) (+ (fabs (exp x)) (fabs (exp (- x)))) (- (fabs (exp x)) (fabs (exp (- x)))) (- (pow (exp 2) x) (exp (* x -2))) (- (exp (* x -2))) (pow (exp 2) x) (- (exp (* x -2))) (pow (exp 2) x) (- (exp (* x -2))) (* 2 (log (cbrt (exp (- (exp (+ x x)) (exp (* x -2))))))) (log (cbrt (exp (- (exp (+ x x)) (exp (* x -2)))))) (log (sqrt (exp (- (exp (+ x x)) (exp (* x -2)))))) (log (sqrt (exp (- (exp (+ x x)) (exp (* x -2)))))) 0 (- (pow (exp 2) x) (exp (* x -2))) (pow (exp 2) x) (pow (exp x) -2) (- (pow (exp 2) x) (exp (* x -2))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) 1 (+ (exp x) (fabs (exp (- x)))) (+ (fabs (exp x)) (fabs (exp (- x)))) 1 (log (- (exp (+ x x)) (exp (* x -2)))) (exp (- (exp (+ x x)) (exp (* x -2)))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (cbrt (- (pow (exp 2) x) (pow (exp -2) x))) (pow (- (exp (* 2 x)) (exp (* -2 x))) 3) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (log (/ (- (exp (+ x x)) (exp (* -2 x))) (+ (exp x) (exp (- x))))) (log (/ (- (exp (+ x x)) (exp (* -2 x))) (+ (exp x) (exp (- x))))) (exp (/ (- (exp (+ x x)) (exp (* -2 x))) (+ (exp x) (exp (- x))))) (pow (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) 3) (* (cbrt (/ (- (exp (+ x x)) (exp (* -2 x))) (+ (exp x) (exp (- x))))) (cbrt (/ (- (exp (+ x x)) (exp (* -2 x))) (+ (exp x) (exp (- x)))))) (cbrt (/ (- (exp (+ x x)) (exp (* -2 x))) (+ (exp x) (exp (- x))))) (pow (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) 3) (sqrt (/ (- (exp (+ x x)) (exp (* -2 x))) (+ (exp x) (exp (- x))))) (sqrt (/ (- (exp (+ x x)) (exp (* -2 x))) (+ (exp x) (exp (- x))))) (- (pow (exp -2) x) (pow (exp 2) x)) (- (+ (exp x) (exp (- x)))) (/ (exp x) (+ (exp (* x -2)) 1)) (/ 1 (+ (exp x) (pow (exp x) 3))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) 1 (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (sqrt (+ (exp x) (exp (- x))))) (cbrt (- (pow (exp 2) x) (pow (exp -2) x))) (/ (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x)))) (cbrt (- (pow (exp 2) x) (pow (exp -2) x))) (/ (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp (+ x x)) (exp (* -2 x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp (+ x x)) (exp (* -2 x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp (+ x x)) (exp (* -2 x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp (+ x x)) (exp (* -2 x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ (- (exp (+ x x)) (exp (* x -2))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ 1 (cbrt (+ (exp x) (exp (- x))))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (- (pow (exp 2) x) (exp (* x -2))) (/ 1 (+ (exp x) (exp (- x)))) (- (pow (exp 2) x) (exp (* x -2))) (/ 1 (+ (exp x) (exp (- x)))) (/ (- (exp x) (fabs (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (+ (exp x) (fabs (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (- (exp x) (fabs (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (+ (exp x) (fabs (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (- (exp x) (fabs (exp (- x)))) (/ (+ (exp x) (fabs (exp (- x)))) (+ (exp x) (exp (- x)))) (- (exp x) (fabs (exp (- x)))) (/ (+ (exp x) (fabs (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (- (fabs (exp x)) (fabs (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (+ (fabs (exp x)) (fabs (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (- (fabs (exp x)) (fabs (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (+ (fabs (exp x)) (fabs (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (- (fabs (exp x)) (fabs (exp (- x)))) (/ (+ (fabs (exp x)) (fabs (exp (- x)))) (+ (exp x) (exp (- x)))) (- (fabs (exp x)) (fabs (exp (- x)))) (/ (+ (fabs (exp x)) (fabs (exp (- x)))) (+ (exp x) (exp (- x)))) (/ (- (exp (+ x x)) (exp (* x -2))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ 1 (cbrt (+ (exp x) (exp (- x))))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (sqrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (- (pow (exp 2) x) (exp (* x -2))) (/ 1 (+ (exp x) (exp (- x)))) (- (pow (exp 2) x) (exp (* x -2))) (/ 1 (+ (exp x) (exp (- x)))) (/ (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (+ (exp x) (exp (- x))))) (/ (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt (- (exp (+ x x)) (exp (* x -2)))) (sqrt (+ (exp x) (exp (- x))))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (/ (cbrt (- (exp (+ x x)) (exp (* -2 x)))) (+ (exp x) (exp (- x)))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (/ (cbrt (- (exp (+ x x)) (exp (* -2 x)))) (+ (exp x) (exp (- x)))) (/ (sqrt (- (exp (+ x x)) (exp (* -2 x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt (- (exp (+ x x)) (exp (* -2 x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp (+ x x)) (exp (* -2 x)))) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt (- (exp (+ x x)) (exp (* -2 x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (sqrt (- (exp (+ x x)) (exp (* x -2)))) (/ (sqrt (- (exp (+ x x)) (exp (* x -2)))) (+ (exp x) (exp (- x)))) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (cbrt (+ (exp x) (exp (- x))))) (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (sqrt (+ (exp x) (exp (- x))))) 1 (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) 1 (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) (/ 1 (+ (exp x) (exp (- x)))) (/ (+ (exp x) (exp (- x))) (- (pow (exp 2) x) (exp (* x -2)))) (/ (- (exp (+ x x)) (exp (* x -2))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (sqrt (+ (exp x) (exp (- x))))) (- (pow (exp 2) x) (exp (* x -2))) (- (pow (exp 2) x) (exp (* x -2))) (/ (+ (exp x) (exp (- x))) (- (pow (exp 2) x) (exp (* x -2)))) (/ (+ (exp x) (exp (- x))) (* (cbrt (- (exp (+ x x)) (exp (* x -2)))) (cbrt (- (exp (+ x x)) (exp (* x -2)))))) (/ (+ (exp x) (exp (- x))) (sqrt (- (exp (+ x x)) (exp (* x -2))))) (+ (exp x) (exp (- x))) (/ (+ (exp x) (exp (- x))) (+ (exp x) (fabs (exp (- x))))) (/ (+ (exp x) (exp (- x))) (+ (fabs (exp x)) (fabs (exp (- x))))) (+ (exp x) (exp (- x))) (/ (+ (exp x) (exp (- x))) (cbrt (- (exp (+ x x)) (exp (* x -2))))) (/ (+ (exp x) (exp (- x))) (sqrt (- (exp (+ x x)) (exp (* x -2))))) (/ (+ (exp x) (exp (- x))) (- (pow (exp 2) x) (exp (* x -2)))) (/ (- (pow (exp 2) x) (exp (* x -2))) (+ (exp (* x -3)) (pow (exp x) 3))) (/ (- (exp (* 2 x)) (exp (* -2 x))) (- (pow (exp 2) x) (exp (* x -2)))) (exp (+ (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x)))) (exp (+ (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))) (pow (+ (exp x) (exp (- x))) 3) (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))) (+ (exp (* x -3)) (pow (exp x) 3)) (+ (exp (* x -2)) (+ -1 (pow (exp 2) x))) (- (pow (exp 2) x) (exp (* x -2))) (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))) (+ (* 8/3 (pow x 3)) (+ (* 8/15 (pow x 5)) (* 4 x))) (- (pow (exp 2) x) (exp (* x -2))) (- (pow (exp 2) x) (exp (* x -2))) (+ (* 8/3 (pow x 3)) (+ (* 8/15 (pow x 5)) (* 4 x))) (- (pow (exp 2) x) (exp (* x -2))) (- (pow (exp 2) x) (exp (* x -2))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) (/ (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x)))) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)) (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))) 8.603 * * * [progress]: adding candidates to table 8.917 * [progress]: [Phase 3 of 3] Extracting. 8.917 * * [regime]: Finding splitpoints for: (# #) 8.918 * * * [regime-changes]: Trying 1 branch expressions: (x) 8.918 * * * * [regimes]: Trying to branch on x from (# #) 8.929 * * * [regime]: Found split indices: #