13.572 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.062 * * * [progress]: [2/2] Setting up program. 0.064 * [progress]: [Phase 2 of 3] Improving. 0.065 * [simplify]: Simplifying using # : (/ (- (exp x) (exp (- x))) 2.0) 0.067 * * [simplify]: iteration 0 : 14 enodes (cost 5 ) 0.068 * * [simplify]: iteration 1 : 23 enodes (cost 5 ) 0.069 * * [simplify]: iteration 2 : 31 enodes (cost 5 ) 0.070 * * [simplify]: iteration 3 : 36 enodes (cost 5 ) 0.072 * * [simplify]: iteration 4 : 41 enodes (cost 5 ) 0.073 * * [simplify]: iteration 5 : 65 enodes (cost 5 ) 0.075 * * [simplify]: iteration 6 : 103 enodes (cost 5 ) 0.077 * * [simplify]: iteration 7 : 250 enodes (cost 5 ) 0.085 * * [simplify]: iteration 8 : 1250 enodes (cost 5 ) 0.281 * * [simplify]: iteration 9 : 5001 enodes (cost 5 ) 0.283 * [simplify]: Simplified to: (/ (- (exp x) (exp (- x))) 2.0) 0.283 * * [progress]: iteration 1 / 4 0.283 * * * [progress]: picking best candidate 0.285 * * * * [pick]: Picked # 0.285 * * * [progress]: localizing error 0.291 * * * [progress]: generating rewritten candidates 0.291 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.293 * * * [progress]: generating series expansions 0.293 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.293 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 0.293 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.293 * [taylor]: Taking taylor expansion of (exp x) in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.294 * [taylor]: Taking taylor expansion of (- x) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.294 * [taylor]: Taking taylor expansion of (exp x) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.294 * [taylor]: Taking taylor expansion of (- x) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.323 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.323 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.323 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.323 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.323 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.324 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.324 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.324 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.324 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.328 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 0.328 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.328 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.328 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.328 * [taylor]: Taking taylor expansion of -1 in x 0.328 * [taylor]: Taking taylor expansion of x in x 0.328 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.328 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.328 * [taylor]: Taking taylor expansion of x in x 0.329 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.329 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.329 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.329 * [taylor]: Taking taylor expansion of -1 in x 0.329 * [taylor]: Taking taylor expansion of x in x 0.329 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.329 * [taylor]: Taking taylor expansion of x in x 0.333 * * * [progress]: simplifying candidates 0.333 * [simplify]: Simplifying using # : (- (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))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) 0.336 * * [simplify]: iteration 0 : 79 enodes (cost 49 ) 0.338 * * [simplify]: iteration 1 : 198 enodes (cost 46 ) 0.341 * * [simplify]: iteration 2 : 561 enodes (cost 45 ) 0.355 * * [simplify]: iteration 3 : 2958 enodes (cost 43 ) 0.554 * * [simplify]: iteration 4 : 5002 enodes (cost 43 ) 0.557 * [simplify]: Simplified to: (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp x) -2)) (- (exp (* -1 x))) (* (exp x) (- (exp x) (pow (exp x) -3))) (+ (exp x) (exp (- x))) (- (exp (* -1 x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (* -1 x))) (- (exp x) (exp (* -1 x))) 0.557 * * * [progress]: adding candidates to table 0.573 * * [progress]: iteration 2 / 4 0.573 * * * [progress]: picking best candidate 0.578 * * * * [pick]: Picked # 0.579 * * * [progress]: localizing error 0.590 * * * [progress]: generating rewritten candidates 0.590 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.593 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 0.596 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.604 * * * [progress]: generating series expansions 0.604 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.604 * [approximate]: Taking taylor expansion of (* 1/3 (pow x 3)) in (x) around 0 0.604 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.604 * [taylor]: Taking taylor expansion of 1/3 in x 0.604 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.604 * [taylor]: Taking taylor expansion of 1/3 in x 0.604 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.620 * [approximate]: Taking taylor expansion of (/ 1/3 (pow x 3)) in (x) around 0 0.620 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 0.620 * [taylor]: Taking taylor expansion of 1/3 in x 0.620 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.620 * [taylor]: Taking taylor expansion of x in x 0.621 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x 0.621 * [taylor]: Taking taylor expansion of 1/3 in x 0.621 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.621 * [taylor]: Taking taylor expansion of x in x 0.632 * [approximate]: Taking taylor expansion of (/ -1/3 (pow x 3)) in (x) around 0 0.632 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 0.632 * [taylor]: Taking taylor expansion of -1/3 in x 0.632 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.632 * [taylor]: Taking taylor expansion of x in x 0.633 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x 0.633 * [taylor]: Taking taylor expansion of -1/3 in x 0.633 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.633 * [taylor]: Taking taylor expansion of x in x 0.643 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 0.643 * [approximate]: Taking taylor expansion of (* 1/60 (pow x 5)) in (x) around 0 0.643 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.643 * [taylor]: Taking taylor expansion of 1/60 in x 0.643 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.643 * [taylor]: Taking taylor expansion of 1/60 in x 0.643 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.659 * [approximate]: Taking taylor expansion of (/ 1/60 (pow x 5)) in (x) around 0 0.659 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x 0.659 * [taylor]: Taking taylor expansion of 1/60 in x 0.659 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.659 * [taylor]: Taking taylor expansion of x in x 0.660 * [taylor]: Taking taylor expansion of (/ 1/60 (pow x 5)) in x 0.660 * [taylor]: Taking taylor expansion of 1/60 in x 0.660 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.660 * [taylor]: Taking taylor expansion of x in x 0.674 * [approximate]: Taking taylor expansion of (/ -1/60 (pow x 5)) in (x) around 0 0.674 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x 0.674 * [taylor]: Taking taylor expansion of -1/60 in x 0.674 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.674 * [taylor]: Taking taylor expansion of x in x 0.675 * [taylor]: Taking taylor expansion of (/ -1/60 (pow x 5)) in x 0.675 * [taylor]: Taking taylor expansion of -1/60 in x 0.675 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.675 * [taylor]: Taking taylor expansion of x in x 0.689 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.689 * [approximate]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in (x) around 0 0.689 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in x 0.689 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.689 * [taylor]: Taking taylor expansion of 1/3 in x 0.689 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.689 * [taylor]: Taking taylor expansion of x in x 0.689 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in x 0.689 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.689 * [taylor]: Taking taylor expansion of 1/60 in x 0.689 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.689 * [taylor]: Taking taylor expansion of x in x 0.689 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.690 * [taylor]: Taking taylor expansion of 2 in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.690 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) in x 0.690 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 0.690 * [taylor]: Taking taylor expansion of 1/3 in x 0.690 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.690 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow x 5)) (* 2 x)) in x 0.690 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 0.690 * [taylor]: Taking taylor expansion of 1/60 in x 0.690 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.690 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.690 * [taylor]: Taking taylor expansion of 2 in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.705 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in (x) around 0 0.705 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 0.705 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.705 * [taylor]: Taking taylor expansion of 2 in x 0.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.705 * [taylor]: Taking taylor expansion of x in x 0.706 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 0.706 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 0.706 * [taylor]: Taking taylor expansion of 1/60 in x 0.706 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.706 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.707 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.707 * [taylor]: Taking taylor expansion of 1/3 in x 0.707 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.707 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.707 * [taylor]: Taking taylor expansion of x in x 0.707 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 0.707 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.707 * [taylor]: Taking taylor expansion of 2 in x 0.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.707 * [taylor]: Taking taylor expansion of x in x 0.708 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 0.708 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 0.708 * [taylor]: Taking taylor expansion of 1/60 in x 0.708 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.708 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.708 * [taylor]: Taking taylor expansion of x in x 0.709 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.709 * [taylor]: Taking taylor expansion of 1/3 in x 0.709 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.709 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.709 * [taylor]: Taking taylor expansion of x in x 0.726 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))))) in (x) around 0 0.727 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))))) in x 0.727 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 0.727 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.727 * [taylor]: Taking taylor expansion of 2 in x 0.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.727 * [taylor]: Taking taylor expansion of x in x 0.727 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 0.727 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 0.727 * [taylor]: Taking taylor expansion of 1/60 in x 0.727 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.727 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.727 * [taylor]: Taking taylor expansion of x in x 0.728 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.728 * [taylor]: Taking taylor expansion of 1/3 in x 0.728 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.728 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.728 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))))) in x 0.729 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3))))) in x 0.729 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.729 * [taylor]: Taking taylor expansion of 2 in x 0.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow x 5))) (* 1/3 (/ 1 (pow x 3)))) in x 0.729 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow x 5))) in x 0.729 * [taylor]: Taking taylor expansion of 1/60 in x 0.729 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.729 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.730 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x 0.730 * [taylor]: Taking taylor expansion of 1/3 in x 0.730 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.730 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.730 * [taylor]: Taking taylor expansion of x in x 0.748 * * * [progress]: simplifying candidates 0.749 * [simplify]: Simplifying using # : (* 1/3 (* x x)) (* 1/3 (pow x (/ 3 2))) (* 1/60 (pow x (/ 5 2))) (+ (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)) (* 2 x)) (* 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)))) 0.751 * * [simplify]: iteration 0 : 100 enodes (cost 96 ) 0.754 * * [simplify]: iteration 1 : 357 enodes (cost 95 ) 0.764 * * [simplify]: iteration 2 : 1890 enodes (cost 95 ) 0.835 * * [simplify]: iteration 3 : 5001 enodes (cost 95 ) 0.836 * [simplify]: Simplified to: (* 1/3 (* x x)) (* 1/3 (pow x 3/2)) (* 1/60 (pow x 5/2)) (+ (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 3) (pow x 3)))) (+ (- (* (+ (* 1/60 (pow x 5)) (* 2 x)) (+ (* 1/60 (pow x 5)) (* 2 x)))) (* 1/3 (* 1/3 (pow x 6)))) (- (* 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)) (* 2 x)) (* 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))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 0.836 * * * [progress]: adding candidates to table 0.870 * * [progress]: iteration 3 / 4 0.870 * * * [progress]: picking best candidate 0.874 * * * * [pick]: Picked # 0.874 * * * [progress]: localizing error 0.890 * * * [progress]: generating rewritten candidates 0.890 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.895 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 0.897 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 0.900 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 0.902 * * * [progress]: generating series expansions 0.902 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.902 * [approximate]: Taking taylor expansion of (- (pow (exp x) 3) (pow (exp (- x)) 3)) in (x) around 0 0.902 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) (pow (exp (- x)) 3)) in x 0.902 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.902 * [taylor]: Taking taylor expansion of (exp x) in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.902 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 0.902 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.902 * [taylor]: Taking taylor expansion of (- x) in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.903 * [taylor]: Taking taylor expansion of (- (pow (exp x) 3) (pow (exp (- x)) 3)) in x 0.903 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.903 * [taylor]: Taking taylor expansion of (exp x) in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.903 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 0.903 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.903 * [taylor]: Taking taylor expansion of (- x) in x 0.903 * [taylor]: Taking taylor expansion of x in x 0.947 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)) in (x) around 0 0.947 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)) in x 0.947 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.947 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.947 * [taylor]: Taking taylor expansion of x in x 0.948 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 0.948 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.948 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.948 * [taylor]: Taking taylor expansion of x in x 0.948 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)) in x 0.948 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.948 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.948 * [taylor]: Taking taylor expansion of x in x 0.949 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 0.949 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.949 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.949 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.949 * [taylor]: Taking taylor expansion of x in x 0.971 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in (x) around 0 0.971 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x 0.971 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.971 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.971 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.971 * [taylor]: Taking taylor expansion of -1 in x 0.971 * [taylor]: Taking taylor expansion of x in x 0.971 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.971 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.971 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.971 * [taylor]: Taking taylor expansion of x in x 0.972 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x 0.972 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 0.972 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.972 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.972 * [taylor]: Taking taylor expansion of -1 in x 0.972 * [taylor]: Taking taylor expansion of x in x 0.972 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.972 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.972 * [taylor]: Taking taylor expansion of x in x 0.993 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 0.993 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0 0.993 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.993 * [taylor]: Taking taylor expansion of (exp x) in x 0.993 * [taylor]: Taking taylor expansion of x in x 0.993 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 0.993 * [taylor]: Taking taylor expansion of (exp x) in x 0.993 * [taylor]: Taking taylor expansion of x in x 0.997 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 0.997 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.997 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.997 * [taylor]: Taking taylor expansion of x in x 0.997 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 0.997 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.997 * [taylor]: Taking taylor expansion of x in x 1.006 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0 1.006 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 1.006 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.006 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.006 * [taylor]: Taking taylor expansion of -1 in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.007 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 1.007 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.007 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.007 * [taylor]: Taking taylor expansion of -1 in x 1.007 * [taylor]: Taking taylor expansion of x in x 1.021 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.021 * [approximate]: Taking taylor expansion of (pow (exp (- x)) 3) in (x) around 0 1.021 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 1.021 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.021 * [taylor]: Taking taylor expansion of (- x) in x 1.021 * [taylor]: Taking taylor expansion of x in x 1.021 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 1.022 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.022 * [taylor]: Taking taylor expansion of (- x) in x 1.022 * [taylor]: Taking taylor expansion of x in x 1.027 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in (x) around 0 1.027 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 1.027 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.027 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.027 * [taylor]: Taking taylor expansion of x in x 1.027 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 1.027 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.028 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.028 * [taylor]: Taking taylor expansion of x in x 1.038 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 1.038 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.038 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.038 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.038 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.047 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 1.047 * [approximate]: Taking taylor expansion of (pow (exp x) -2) in (x) around 0 1.047 * [taylor]: Taking taylor expansion of (pow (exp x) -2) in x 1.047 * [taylor]: Taking taylor expansion of (exp x) in x 1.047 * [taylor]: Taking taylor expansion of x in x 1.048 * [taylor]: Taking taylor expansion of (pow (exp x) -2) in x 1.048 * [taylor]: Taking taylor expansion of (exp x) in x 1.048 * [taylor]: Taking taylor expansion of x in x 1.052 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in (x) around 0 1.052 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in x 1.052 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.052 * [taylor]: Taking taylor expansion of x in x 1.052 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in x 1.052 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.052 * [taylor]: Taking taylor expansion of x in x 1.059 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in (x) around 0 1.059 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in x 1.059 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.059 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.059 * [taylor]: Taking taylor expansion of -1 in x 1.059 * [taylor]: Taking taylor expansion of x in x 1.059 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in x 1.059 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.059 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.059 * [taylor]: Taking taylor expansion of -1 in x 1.059 * [taylor]: Taking taylor expansion of x in x 1.066 * * * [progress]: simplifying candidates 1.066 * [simplify]: Simplifying using # : (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (exp x) (exp (- x))) (- (pow (pow (exp x) 3) 3) (pow (pow (exp (- x)) 3) 3)) (+ (* (pow (exp x) 3) (pow (exp x) 3)) (+ (* (pow (exp (- x)) 3) (pow (exp (- x)) 3)) (* (pow (exp x) 3) (pow (exp (- x)) 3)))) (- (pow (exp (- x)) 3)) (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow (exp (- x)) 3) (pow (exp (- x)) 3))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (pow (exp x) (/ 3 2)) (pow (exp (- x)) (/ 3 2))) (- (pow (exp x) (/ 3 2)) (pow (exp (- x)) (/ 3 2))) (- (pow (exp (- x)) 3)) (* x 3) (* (log (exp x)) 3) (* (exp x) (exp x)) (pow (exp x) (/ 3 2)) (pow (exp x) (/ 3 2)) (* (- x) 3) (* (log (exp (- x))) 3) (* x 3) (* (exp (- x)) (exp (- x))) (pow (exp (- x)) (/ 3 2)) (pow (exp (- x)) (/ 3 2)) (* x -2) (* (log (exp x)) -2) (pow (exp x) (/ -2 2)) (pow (exp x) (/ -2 2)) (+ (* 9 (pow x 3)) (+ (* 81/20 (pow x 5)) (* 6 x))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (- (pow (exp x) 3) (pow (exp (* -1 x)) 3)) (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) (pow (exp x) 3) (pow (exp x) 3) (- (+ (* 9/2 (pow x 2)) 1) (* 3 x)) (pow (exp (- x)) 3) (pow (exp (* -1 x)) 3) (- (+ (* 2 (pow x 2)) 1) (* 2 x)) (/ 1 (pow (exp x) 2)) (/ 1 (pow (exp x) 2)) 1.070 * * [simplify]: iteration 0 : 179 enodes (cost 147 ) 1.073 * * [simplify]: iteration 1 : 575 enodes (cost 137 ) 1.089 * * [simplify]: iteration 2 : 2914 enodes (cost 134 ) 1.221 * * [simplify]: iteration 3 : 5001 enodes (cost 132 ) 1.222 * [simplify]: Simplified to: (+ (+ (pow (exp x) 2) (pow (exp x) -2)) 1) (- (exp x) (exp (- x))) (- (pow (pow (exp x) 3) 3) (pow (pow (exp (- x)) 3) 3)) (+ (+ (pow (exp x) 6) (pow (pow (exp x) -1) 6)) (* (pow (exp x) 3) (pow (exp (- x)) 3))) (- (pow (exp (* -1 x)) 3)) (+ (pow (exp x) 6) (- (pow (pow (exp x) -1) 6))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (pow (exp x) 3/2) (pow (exp (- x)) 3/2)) (- (pow (exp x) 3/2) (pow (exp (- x)) 3/2)) (- (pow (exp (* -1 x)) 3)) (* 3 x) (* 3 x) (pow (exp x) 2) (pow (exp x) 3/2) (pow (exp x) 3/2) (* -3 x) (* -3 x) (* 3 x) (pow (exp x) -2) (pow (exp (- x)) 3/2) (pow (exp (- x)) 3/2) (* x -2) (* x -2) (pow (exp x) -1) (pow (exp x) -1) (+ (* 9 (pow x 3)) (+ (* 81/20 (pow x 5)) (* 6 x))) (- (pow (exp x) 3) (pow (exp (* -1 x)) 3)) (- (pow (exp x) 3) (pow (exp (* -1 x)) 3)) (+ (* x (+ 3 (* x 9/2))) 1) (pow (exp x) 3) (pow (exp x) 3) (+ 1 (* x (+ (* x 9/2) -3))) (pow (exp x) -3) (pow (exp x) -3) (+ 1 (* x (+ (+ x x) -2))) (pow (exp x) -2) (pow (exp x) -2) 1.222 * * * [progress]: adding candidates to table 1.303 * * [progress]: iteration 4 / 4 1.303 * * * [progress]: picking best candidate 1.309 * * * * [pick]: Picked # 1.310 * * * [progress]: localizing error 1.327 * * * [progress]: generating rewritten candidates 1.327 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.332 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.334 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 1.336 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.339 * * * [progress]: generating series expansions 1.339 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.339 * [approximate]: Taking taylor expansion of (- (exp (* 3 x)) (pow (exp (- x)) 3)) in (x) around 0 1.339 * [taylor]: Taking taylor expansion of (- (exp (* 3 x)) (pow (exp (- x)) 3)) in x 1.339 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 1.339 * [taylor]: Taking taylor expansion of (* 3 x) in x 1.339 * [taylor]: Taking taylor expansion of 3 in x 1.339 * [taylor]: Taking taylor expansion of x in x 1.340 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 1.340 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.340 * [taylor]: Taking taylor expansion of (- x) in x 1.340 * [taylor]: Taking taylor expansion of x in x 1.341 * [taylor]: Taking taylor expansion of (- (exp (* 3 x)) (pow (exp (- x)) 3)) in x 1.341 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 1.341 * [taylor]: Taking taylor expansion of (* 3 x) in x 1.341 * [taylor]: Taking taylor expansion of 3 in x 1.341 * [taylor]: Taking taylor expansion of x in x 1.341 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 1.341 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.341 * [taylor]: Taking taylor expansion of (- x) in x 1.341 * [taylor]: Taking taylor expansion of x in x 1.377 * [approximate]: Taking taylor expansion of (- (exp (/ 3 x)) (pow (exp (- (/ 1 x))) 3)) in (x) around 0 1.377 * [taylor]: Taking taylor expansion of (- (exp (/ 3 x)) (pow (exp (- (/ 1 x))) 3)) in x 1.377 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 1.377 * [taylor]: Taking taylor expansion of (/ 3 x) in x 1.377 * [taylor]: Taking taylor expansion of 3 in x 1.377 * [taylor]: Taking taylor expansion of x in x 1.377 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 1.377 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.377 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.377 * [taylor]: Taking taylor expansion of x in x 1.378 * [taylor]: Taking taylor expansion of (- (exp (/ 3 x)) (pow (exp (- (/ 1 x))) 3)) in x 1.378 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 1.378 * [taylor]: Taking taylor expansion of (/ 3 x) in x 1.378 * [taylor]: Taking taylor expansion of 3 in x 1.378 * [taylor]: Taking taylor expansion of x in x 1.378 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 1.378 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.378 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.378 * [taylor]: Taking taylor expansion of x in x 1.391 * [approximate]: Taking taylor expansion of (- (exp (/ -3 x)) (pow (exp (/ 1 x)) 3)) in (x) around 0 1.391 * [taylor]: Taking taylor expansion of (- (exp (/ -3 x)) (pow (exp (/ 1 x)) 3)) in x 1.391 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 1.391 * [taylor]: Taking taylor expansion of (/ -3 x) in x 1.391 * [taylor]: Taking taylor expansion of -3 in x 1.391 * [taylor]: Taking taylor expansion of x in x 1.391 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.391 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.391 * [taylor]: Taking taylor expansion of x in x 1.392 * [taylor]: Taking taylor expansion of (- (exp (/ -3 x)) (pow (exp (/ 1 x)) 3)) in x 1.392 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 1.392 * [taylor]: Taking taylor expansion of (/ -3 x) in x 1.392 * [taylor]: Taking taylor expansion of -3 in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.392 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.392 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.408 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.409 * [approximate]: Taking taylor expansion of (pow (exp (- x)) 3) in (x) around 0 1.409 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 1.409 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.409 * [taylor]: Taking taylor expansion of (- x) in x 1.409 * [taylor]: Taking taylor expansion of x in x 1.409 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x 1.409 * [taylor]: Taking taylor expansion of (exp (- x)) in x 1.409 * [taylor]: Taking taylor expansion of (- x) in x 1.409 * [taylor]: Taking taylor expansion of x in x 1.414 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in (x) around 0 1.414 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 1.414 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.414 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.414 * [taylor]: Taking taylor expansion of x in x 1.415 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x 1.415 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 1.415 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.415 * [taylor]: Taking taylor expansion of x in x 1.425 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 1.425 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.425 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.425 * [taylor]: Taking taylor expansion of x in x 1.425 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 1.425 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.425 * [taylor]: Taking taylor expansion of x in x 1.434 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 1.434 * [approximate]: Taking taylor expansion of (pow (exp x) -2) in (x) around 0 1.434 * [taylor]: Taking taylor expansion of (pow (exp x) -2) in x 1.434 * [taylor]: Taking taylor expansion of (exp x) in x 1.434 * [taylor]: Taking taylor expansion of x in x 1.435 * [taylor]: Taking taylor expansion of (pow (exp x) -2) in x 1.435 * [taylor]: Taking taylor expansion of (exp x) in x 1.435 * [taylor]: Taking taylor expansion of x in x 1.439 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in (x) around 0 1.439 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in x 1.439 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.439 * [taylor]: Taking taylor expansion of x in x 1.439 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in x 1.440 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.440 * [taylor]: Taking taylor expansion of x in x 1.446 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in (x) around 0 1.446 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in x 1.446 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.446 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.446 * [taylor]: Taking taylor expansion of -1 in x 1.446 * [taylor]: Taking taylor expansion of x in x 1.446 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in x 1.447 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.447 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.447 * [taylor]: Taking taylor expansion of -1 in x 1.447 * [taylor]: Taking taylor expansion of x in x 1.453 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.453 * [approximate]: Taking taylor expansion of (exp (* 3 x)) in (x) around 0 1.453 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 1.453 * [taylor]: Taking taylor expansion of (* 3 x) in x 1.453 * [taylor]: Taking taylor expansion of 3 in x 1.453 * [taylor]: Taking taylor expansion of x in x 1.454 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 1.454 * [taylor]: Taking taylor expansion of (* 3 x) in x 1.454 * [taylor]: Taking taylor expansion of 3 in x 1.454 * [taylor]: Taking taylor expansion of x in x 1.456 * [approximate]: Taking taylor expansion of (exp (/ 3 x)) in (x) around 0 1.457 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 1.457 * [taylor]: Taking taylor expansion of (/ 3 x) in x 1.457 * [taylor]: Taking taylor expansion of 3 in x 1.457 * [taylor]: Taking taylor expansion of x in x 1.457 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x 1.457 * [taylor]: Taking taylor expansion of (/ 3 x) in x 1.457 * [taylor]: Taking taylor expansion of 3 in x 1.457 * [taylor]: Taking taylor expansion of x in x 1.457 * [approximate]: Taking taylor expansion of (exp (/ -3 x)) in (x) around 0 1.458 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 1.458 * [taylor]: Taking taylor expansion of (/ -3 x) in x 1.458 * [taylor]: Taking taylor expansion of -3 in x 1.458 * [taylor]: Taking taylor expansion of x in x 1.458 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x 1.458 * [taylor]: Taking taylor expansion of (/ -3 x) in x 1.458 * [taylor]: Taking taylor expansion of -3 in x 1.458 * [taylor]: Taking taylor expansion of x in x 1.458 * * * [progress]: simplifying candidates 1.459 * [simplify]: Simplifying using # : (+ (* (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))))) (- (exp x) (exp (- x))) (- (pow (exp (* 3 x)) 3) (pow (pow (exp (- x)) 3) 3)) (+ (* (exp (* 3 x)) (exp (* 3 x))) (+ (* (pow (exp (- x)) 3) (pow (exp (- x)) 3)) (* (exp (* 3 x)) (pow (exp (- x)) 3)))) (- (pow (exp (- x)) 3)) (- (* (exp (* 3 x)) (exp (* 3 x))) (* (pow (exp (- x)) 3) (pow (exp (- x)) 3))) (+ (exp (* 3 x)) (pow (exp (- x)) 3)) (- (pow (exp (- x)) 3)) (* (- x) 3) (* (log (exp (- x))) 3) (* x 3) (* (exp (- x)) (exp (- x))) (pow (exp (- x)) (/ 3 2)) (pow (exp (- x)) (/ 3 2)) (* x -2) (* (log (exp x)) -2) (pow (exp x) (/ -2 2)) (pow (exp x) (/ -2 2)) (exp 3) (exp x) (exp x) (+ (* 9 (pow x 3)) (+ (* 81/20 (pow x 5)) (* 6 x))) (- (exp (* 3 x)) (pow (exp (- x)) 3)) (- (exp (* 3 x)) (pow (exp (* -1 x)) 3)) (- (+ (* 9/2 (pow x 2)) 1) (* 3 x)) (pow (exp (- x)) 3) (pow (exp (* -1 x)) 3) (- (+ (* 2 (pow x 2)) 1) (* 2 x)) (/ 1 (pow (exp x) 2)) (/ 1 (pow (exp x) 2)) (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) (exp (* 3 x)) (exp (* 3 x)) 1.462 * * [simplify]: iteration 0 : 170 enodes (cost 148 ) 1.465 * * [simplify]: iteration 1 : 523 enodes (cost 132 ) 1.478 * * [simplify]: iteration 2 : 2561 enodes (cost 128 ) 1.563 * * [simplify]: iteration 3 : 5003 enodes (cost 126 ) 1.564 * [simplify]: Simplified to: (+ (+ (pow (exp x) 2) (pow (exp x) -2)) 1) (- (exp x) (exp (- x))) (+ (+ (pow (exp x) 2) (pow (exp x) -2)) 1) (- (exp x) (exp (- x))) (- (pow (exp (* 3 x)) 3) (pow (pow (exp (- x)) 3) 3)) (+ (* (exp (* 3 x)) (+ (exp (* 3 x)) (pow (exp (- x)) 3))) (pow (pow (exp x) -1) 6)) (- (pow (exp (* -1 x)) 3)) (+ (- (pow (pow (exp x) -1) 6)) (pow (exp 3) (* 2 x))) (+ (exp (* 3 x)) (pow (exp (- x)) 3)) (- (pow (exp (* -1 x)) 3)) (* -3 x) (* -3 x) (* 3 x) (pow (exp x) -2) (pow (exp (- x)) 3/2) (pow (exp (- x)) 3/2) (* x -2) (* x -2) (pow (exp x) -1) (pow (exp x) -1) (exp 3) (exp x) (exp x) (+ (* 9 (pow x 3)) (+ (* 81/20 (pow x 5)) (* 6 x))) (- (exp (* 3 x)) (pow (exp (* -1 x)) 3)) (- (exp (* 3 x)) (pow (exp (* -1 x)) 3)) (+ 1 (* x (+ (* x 9/2) -3))) (pow (exp x) -3) (pow (exp x) -3) (+ 1 (* x (+ (+ x x) -2))) (pow (exp x) -2) (pow (exp x) -2) (+ (* x (+ 3 (* x 9/2))) 1) (exp (* 3 x)) (exp (* 3 x)) 1.564 * * * [progress]: adding candidates to table 1.637 * [progress]: [Phase 3 of 3] Extracting. 1.637 * * [regime]: Finding splitpoints for: (# # # #) 1.638 * * * [regime-changes]: Trying 3 branch expressions: ((- (exp x) (exp (- x))) (/ (- (exp x) (exp (- x))) 2.0) x) 1.638 * * * * [regimes]: Trying to branch on (- (exp x) (exp (- x))) from (# # # #) 1.662 * * * * [regimes]: Trying to branch on (/ (- (exp x) (exp (- x))) 2.0) from (# # # #) 1.684 * * * * [regimes]: Trying to branch on x from (# # # #) 1.705 * * * [regime]: Found split indices: #