49.861 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying:
  (/ 2.0 (+ (exp x) (exp (- x))))
11.465 * * [progress]: iteration 1 / 4
11.465 * * * [progress]: picking best candidate
11.468 * * * * [pick]: Picked  #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>
11.468 * * * [progress]: localizing error
11.483 * * * [progress]: generating rewritten candidates
11.483 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
11.505 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
11.542 * * * [progress]: generating series expansions
11.542 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
11.542 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x)))
11.542 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
11.542 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
11.542 * [taylor]: Taking taylor expansion of (exp x) in x
11.542 * [taylor]: Taking taylor expansion of x in x
11.542 * [backup-simplify]: Simplify 0 into 0
11.542 * [backup-simplify]: Simplify 1 into 1
11.542 * [backup-simplify]: Simplify (exp 0) into 1
11.542 * [taylor]: Taking taylor expansion of (exp (- x)) in x
11.542 * [taylor]: Taking taylor expansion of (- x) in x
11.543 * [taylor]: Taking taylor expansion of x in x
11.543 * [backup-simplify]: Simplify 0 into 0
11.543 * [backup-simplify]: Simplify 1 into 1
11.543 * [backup-simplify]: Simplify (- 0) into 0
11.543 * [backup-simplify]: Simplify (- 1) into -1
11.543 * [backup-simplify]: Simplify (exp 0) into 1
11.543 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
11.543 * [taylor]: Taking taylor expansion of (exp x) in x
11.543 * [taylor]: Taking taylor expansion of x in x
11.543 * [backup-simplify]: Simplify 0 into 0
11.543 * [backup-simplify]: Simplify 1 into 1
11.543 * [backup-simplify]: Simplify (exp 0) into 1
11.543 * [taylor]: Taking taylor expansion of (exp (- x)) in x
11.543 * [taylor]: Taking taylor expansion of (- x) in x
11.543 * [taylor]: Taking taylor expansion of x in x
11.543 * [backup-simplify]: Simplify 0 into 0
11.543 * [backup-simplify]: Simplify 1 into 1
11.544 * [backup-simplify]: Simplify (- 0) into 0
11.544 * [backup-simplify]: Simplify (- 1) into -1
11.544 * [backup-simplify]: Simplify (exp 0) into 1
11.544 * [backup-simplify]: Simplify (+ 1 1) into 2
11.544 * [backup-simplify]: Simplify 2 into 2
11.545 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.545 * [backup-simplify]: Simplify (- 1) into -1
11.546 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.546 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.546 * [backup-simplify]: Simplify 0 into 0
11.547 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.548 * [backup-simplify]: Simplify (- 1) into -1
11.548 * [backup-simplify]: Simplify (- 0) into 0
11.549 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.549 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
11.549 * [backup-simplify]: Simplify 1 into 1
11.551 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
11.551 * [backup-simplify]: Simplify (- 1) into -1
11.551 * [backup-simplify]: Simplify (- 1) into -1
11.551 * [backup-simplify]: Simplify (- 0) into 0
11.551 * [backup-simplify]: Simplify (- 0) into 0
11.553 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
11.553 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
11.553 * [backup-simplify]: Simplify 0 into 0
11.555 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
11.556 * [backup-simplify]: Simplify (- 1) into -1
11.556 * [backup-simplify]: Simplify (- 1) into -1
11.556 * [backup-simplify]: Simplify (- 0) into 0
11.556 * [backup-simplify]: Simplify (- 1) into -1
11.557 * [backup-simplify]: Simplify (- 0) into 0
11.557 * [backup-simplify]: Simplify (- 0) into 0
11.557 * [backup-simplify]: Simplify (- 0) into 0
11.559 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
11.560 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
11.560 * [backup-simplify]: Simplify 1/12 into 1/12
11.560 * [backup-simplify]: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
11.560 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
11.560 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
11.560 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
11.560 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.560 * [taylor]: Taking taylor expansion of x in x
11.560 * [backup-simplify]: Simplify 0 into 0
11.560 * [backup-simplify]: Simplify 1 into 1
11.561 * [backup-simplify]: Simplify (/ 1 1) into 1
11.561 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.561 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
11.561 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
11.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.561 * [taylor]: Taking taylor expansion of x in x
11.561 * [backup-simplify]: Simplify 0 into 0
11.561 * [backup-simplify]: Simplify 1 into 1
11.561 * [backup-simplify]: Simplify (/ 1 1) into 1
11.561 * [backup-simplify]: Simplify (- 1) into -1
11.561 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
11.561 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
11.561 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.561 * [taylor]: Taking taylor expansion of x in x
11.561 * [backup-simplify]: Simplify 0 into 0
11.561 * [backup-simplify]: Simplify 1 into 1
11.562 * [backup-simplify]: Simplify (/ 1 1) into 1
11.562 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.562 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
11.562 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
11.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.562 * [taylor]: Taking taylor expansion of x in x
11.562 * [backup-simplify]: Simplify 0 into 0
11.562 * [backup-simplify]: Simplify 1 into 1
11.562 * [backup-simplify]: Simplify (/ 1 1) into 1
11.562 * [backup-simplify]: Simplify (- 1) into -1
11.562 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
11.563 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
11.563 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
11.563 * [backup-simplify]: Simplify (+ 0 0) into 0
11.563 * [backup-simplify]: Simplify 0 into 0
11.563 * [backup-simplify]: Simplify (+ 0 0) into 0
11.563 * [backup-simplify]: Simplify 0 into 0
11.563 * [backup-simplify]: Simplify (+ 0 0) into 0
11.563 * [backup-simplify]: Simplify 0 into 0
11.564 * [backup-simplify]: Simplify (+ 0 0) into 0
11.564 * [backup-simplify]: Simplify 0 into 0
11.564 * [backup-simplify]: Simplify (+ 0 0) into 0
11.564 * [backup-simplify]: Simplify 0 into 0
11.564 * [backup-simplify]: Simplify (+ 0 0) into 0
11.564 * [backup-simplify]: Simplify 0 into 0
11.564 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x)))
11.565 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
11.565 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
11.565 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
11.565 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.565 * [taylor]: Taking taylor expansion of x in x
11.565 * [backup-simplify]: Simplify 0 into 0
11.565 * [backup-simplify]: Simplify 1 into 1
11.565 * [backup-simplify]: Simplify (/ 1 1) into 1
11.565 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.565 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
11.565 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.565 * [taylor]: Taking taylor expansion of -1 in x
11.565 * [backup-simplify]: Simplify -1 into -1
11.566 * [taylor]: Taking taylor expansion of x in x
11.566 * [backup-simplify]: Simplify 0 into 0
11.566 * [backup-simplify]: Simplify 1 into 1
11.566 * [backup-simplify]: Simplify (/ -1 1) into -1
11.566 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
11.566 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
11.566 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.566 * [taylor]: Taking taylor expansion of x in x
11.566 * [backup-simplify]: Simplify 0 into 0
11.566 * [backup-simplify]: Simplify 1 into 1
11.567 * [backup-simplify]: Simplify (/ 1 1) into 1
11.567 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.567 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
11.567 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.567 * [taylor]: Taking taylor expansion of -1 in x
11.567 * [backup-simplify]: Simplify -1 into -1
11.567 * [taylor]: Taking taylor expansion of x in x
11.567 * [backup-simplify]: Simplify 0 into 0
11.567 * [backup-simplify]: Simplify 1 into 1
11.567 * [backup-simplify]: Simplify (/ -1 1) into -1
11.568 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
11.568 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
11.568 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
11.568 * [backup-simplify]: Simplify (+ 0 0) into 0
11.568 * [backup-simplify]: Simplify 0 into 0
11.569 * [backup-simplify]: Simplify (+ 0 0) into 0
11.569 * [backup-simplify]: Simplify 0 into 0
11.569 * [backup-simplify]: Simplify (+ 0 0) into 0
11.569 * [backup-simplify]: Simplify 0 into 0
11.570 * [backup-simplify]: Simplify (+ 0 0) into 0
11.570 * [backup-simplify]: Simplify 0 into 0
11.570 * [backup-simplify]: Simplify (+ 0 0) into 0
11.570 * [backup-simplify]: Simplify 0 into 0
11.570 * [backup-simplify]: Simplify (+ 0 0) into 0
11.571 * [backup-simplify]: Simplify 0 into 0
11.571 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x))
11.571 * * * * [progress]: [ 2 / 2 ] generating series at (2)
11.571 * [backup-simplify]: Simplify (/ 2.0 (+ (exp x) (exp (- x)))) into (/ 2.0 (+ (exp x) (exp (- x))))
11.571 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0
11.571 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
11.571 * [taylor]: Taking taylor expansion of 2.0 in x
11.571 * [backup-simplify]: Simplify 2.0 into 2.0
11.571 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
11.571 * [taylor]: Taking taylor expansion of (exp x) in x
11.571 * [taylor]: Taking taylor expansion of x in x
11.571 * [backup-simplify]: Simplify 0 into 0
11.571 * [backup-simplify]: Simplify 1 into 1
11.571 * [backup-simplify]: Simplify (exp 0) into 1
11.571 * [taylor]: Taking taylor expansion of (exp (- x)) in x
11.572 * [taylor]: Taking taylor expansion of (- x) in x
11.572 * [taylor]: Taking taylor expansion of x in x
11.572 * [backup-simplify]: Simplify 0 into 0
11.572 * [backup-simplify]: Simplify 1 into 1
11.572 * [backup-simplify]: Simplify (- 0) into 0
11.572 * [backup-simplify]: Simplify (- 1) into -1
11.572 * [backup-simplify]: Simplify (exp 0) into 1
11.574 * [backup-simplify]: Simplify (+ 1 1) into 2
11.574 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
11.574 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
11.574 * [taylor]: Taking taylor expansion of 2.0 in x
11.575 * [backup-simplify]: Simplify 2.0 into 2.0
11.575 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
11.575 * [taylor]: Taking taylor expansion of (exp x) in x
11.575 * [taylor]: Taking taylor expansion of x in x
11.575 * [backup-simplify]: Simplify 0 into 0
11.575 * [backup-simplify]: Simplify 1 into 1
11.575 * [backup-simplify]: Simplify (exp 0) into 1
11.575 * [taylor]: Taking taylor expansion of (exp (- x)) in x
11.575 * [taylor]: Taking taylor expansion of (- x) in x
11.575 * [taylor]: Taking taylor expansion of x in x
11.575 * [backup-simplify]: Simplify 0 into 0
11.575 * [backup-simplify]: Simplify 1 into 1
11.576 * [backup-simplify]: Simplify (- 0) into 0
11.576 * [backup-simplify]: Simplify (- 1) into -1
11.576 * [backup-simplify]: Simplify (exp 0) into 1
11.576 * [backup-simplify]: Simplify (+ 1 1) into 2
11.577 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
11.577 * [backup-simplify]: Simplify 1.0 into 1.0
11.578 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.579 * [backup-simplify]: Simplify (- 1) into -1
11.580 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.580 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.581 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)))) into 0
11.581 * [backup-simplify]: Simplify 0 into 0
11.583 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.584 * [backup-simplify]: Simplify (- 1) into -1
11.584 * [backup-simplify]: Simplify (- 0) into 0
11.586 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.586 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
11.591 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1 2)) (* 0 (/ 0 2)))) into (- 0.5)
11.591 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
11.594 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
11.594 * [backup-simplify]: Simplify (- 1) into -1
11.595 * [backup-simplify]: Simplify (- 1) into -1
11.595 * [backup-simplify]: Simplify (- 0) into 0
11.595 * [backup-simplify]: Simplify (- 0) into 0
11.597 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
11.597 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
11.598 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)) (* 0 (/ 1 2)) (* (- 0.5) (/ 0 2)))) into 0
11.598 * [backup-simplify]: Simplify 0 into 0
11.601 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
11.601 * [backup-simplify]: Simplify (- 1) into -1
11.601 * [backup-simplify]: Simplify (- 1) into -1
11.601 * [backup-simplify]: Simplify (- 0) into 0
11.602 * [backup-simplify]: Simplify (- 1) into -1
11.602 * [backup-simplify]: Simplify (- 0) into 0
11.602 * [backup-simplify]: Simplify (- 0) into 0
11.602 * [backup-simplify]: Simplify (- 0) into 0
11.605 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
11.605 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
11.609 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1/12 2)) (* 0 (/ 0 2)) (* (- 0.5) (/ 1 2)) (* 0 (/ 0 2)))) into 0.20833333333333334
11.609 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
11.610 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 (pow x 4)) (+ (* (- 0.5) (pow x 2)) 1.0)) into (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
11.611 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
11.611 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
11.611 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
11.611 * [taylor]: Taking taylor expansion of 2.0 in x
11.611 * [backup-simplify]: Simplify 2.0 into 2.0
11.611 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
11.611 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.611 * [taylor]: Taking taylor expansion of x in x
11.611 * [backup-simplify]: Simplify 0 into 0
11.611 * [backup-simplify]: Simplify 1 into 1
11.611 * [backup-simplify]: Simplify (/ 1 1) into 1
11.611 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.611 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
11.611 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
11.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.611 * [taylor]: Taking taylor expansion of x in x
11.611 * [backup-simplify]: Simplify 0 into 0
11.611 * [backup-simplify]: Simplify 1 into 1
11.612 * [backup-simplify]: Simplify (/ 1 1) into 1
11.612 * [backup-simplify]: Simplify (- 1) into -1
11.612 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
11.612 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
11.612 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
11.612 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
11.612 * [taylor]: Taking taylor expansion of 2.0 in x
11.612 * [backup-simplify]: Simplify 2.0 into 2.0
11.612 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
11.612 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.612 * [taylor]: Taking taylor expansion of x in x
11.612 * [backup-simplify]: Simplify 0 into 0
11.612 * [backup-simplify]: Simplify 1 into 1
11.613 * [backup-simplify]: Simplify (/ 1 1) into 1
11.613 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.613 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
11.613 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
11.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.613 * [taylor]: Taking taylor expansion of x in x
11.613 * [backup-simplify]: Simplify 0 into 0
11.613 * [backup-simplify]: Simplify 1 into 1
11.613 * [backup-simplify]: Simplify (/ 1 1) into 1
11.613 * [backup-simplify]: Simplify (- 1) into -1
11.613 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
11.614 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
11.614 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
11.614 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
11.614 * [backup-simplify]: Simplify (+ 0 0) into 0
11.615 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
11.615 * [backup-simplify]: Simplify 0 into 0
11.615 * [backup-simplify]: Simplify (+ 0 0) into 0
11.615 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
11.615 * [backup-simplify]: Simplify 0 into 0
11.616 * [backup-simplify]: Simplify (+ 0 0) into 0
11.616 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
11.616 * [backup-simplify]: Simplify 0 into 0
11.617 * [backup-simplify]: Simplify (+ 0 0) into 0
11.617 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
11.617 * [backup-simplify]: Simplify 0 into 0
11.618 * [backup-simplify]: Simplify (+ 0 0) into 0
11.618 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
11.618 * [backup-simplify]: Simplify 0 into 0
11.619 * [backup-simplify]: Simplify (+ 0 0) into 0
11.619 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
11.619 * [backup-simplify]: Simplify 0 into 0
11.619 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2.0 (+ (exp x) (exp (- x))))
11.620 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
11.620 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
11.620 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
11.620 * [taylor]: Taking taylor expansion of 2.0 in x
11.620 * [backup-simplify]: Simplify 2.0 into 2.0
11.620 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
11.620 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.620 * [taylor]: Taking taylor expansion of x in x
11.620 * [backup-simplify]: Simplify 0 into 0
11.620 * [backup-simplify]: Simplify 1 into 1
11.620 * [backup-simplify]: Simplify (/ 1 1) into 1
11.620 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.620 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
11.620 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.620 * [taylor]: Taking taylor expansion of -1 in x
11.620 * [backup-simplify]: Simplify -1 into -1
11.620 * [taylor]: Taking taylor expansion of x in x
11.620 * [backup-simplify]: Simplify 0 into 0
11.620 * [backup-simplify]: Simplify 1 into 1
11.621 * [backup-simplify]: Simplify (/ -1 1) into -1
11.621 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
11.621 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
11.621 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
11.621 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
11.621 * [taylor]: Taking taylor expansion of 2.0 in x
11.621 * [backup-simplify]: Simplify 2.0 into 2.0
11.621 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
11.621 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.621 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.621 * [taylor]: Taking taylor expansion of x in x
11.621 * [backup-simplify]: Simplify 0 into 0
11.621 * [backup-simplify]: Simplify 1 into 1
11.621 * [backup-simplify]: Simplify (/ 1 1) into 1
11.621 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.621 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
11.621 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.621 * [taylor]: Taking taylor expansion of -1 in x
11.621 * [backup-simplify]: Simplify -1 into -1
11.621 * [taylor]: Taking taylor expansion of x in x
11.621 * [backup-simplify]: Simplify 0 into 0
11.621 * [backup-simplify]: Simplify 1 into 1
11.622 * [backup-simplify]: Simplify (/ -1 1) into -1
11.622 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
11.622 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
11.622 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
11.622 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
11.622 * [backup-simplify]: Simplify (+ 0 0) into 0
11.623 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
11.623 * [backup-simplify]: Simplify 0 into 0
11.623 * [backup-simplify]: Simplify (+ 0 0) into 0
11.623 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
11.623 * [backup-simplify]: Simplify 0 into 0
11.624 * [backup-simplify]: Simplify (+ 0 0) into 0
11.624 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
11.624 * [backup-simplify]: Simplify 0 into 0
11.624 * [backup-simplify]: Simplify (+ 0 0) into 0
11.625 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
11.625 * [backup-simplify]: Simplify 0 into 0
11.625 * [backup-simplify]: Simplify (+ 0 0) into 0
11.626 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
11.626 * [backup-simplify]: Simplify 0 into 0
11.626 * [backup-simplify]: Simplify (+ 0 0) into 0
11.627 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
11.627 * [backup-simplify]: Simplify 0 into 0
11.627 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2.0 (+ (exp (* -1 x)) (exp x)))
11.627 * * * [progress]: simplifying candidates
11.628 * [simplify]: Simplifying:
  (* (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)))
  (- (log 2.0) (log (+ (exp x) (exp (- x)))))
  (log (/ 2.0 (+ (exp x) (exp (- x)))))
  (exp (/ 2.0 (+ (exp x) (exp (- x)))))
  (/ (* (* 2.0 2.0) 2.0) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))
  (* (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x))))))
  (cbrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (* (* (/ 2.0 (+ (exp x) (exp (- x)))) (/ 2.0 (+ (exp x) (exp (- x))))) (/ 2.0 (+ (exp x) (exp (- x)))))
  (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (- 2.0)
  (- (+ (exp x) (exp (- x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (cbrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ (exp x) (exp (- x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 2.0 (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
  (/ 1 1)
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 1 1)
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (/ 2.0 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
  (/ 2.0 1)
  (/ 2.0 1)
  (/ (+ (exp x) (exp (- x))) (cbrt 2.0))
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 2.0 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
  (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 2.0 (+ (exp (* -1 x)) (exp x)))
12.937 * * * [progress]: adding candidates to table
13.082 * * [progress]: iteration 2 / 4
13.082 * * * [progress]: picking best candidate
13.092 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))>
13.092 * * * [progress]: localizing error
13.112 * * * [progress]: generating rewritten candidates
13.112 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
13.229 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
13.265 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
13.300 * * * [progress]: generating series expansions
13.300 * * * * [progress]: [ 1 / 3 ] generating series at (2)
13.306 * [backup-simplify]: Simplify (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))) into (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x))))
13.306 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x)))) in (x) around 0
13.306 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x)))) in x
13.307 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
13.307 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.307 * [taylor]: Taking taylor expansion of 2.0 in x
13.307 * [backup-simplify]: Simplify 2.0 into 2.0
13.307 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.308 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.308 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
13.308 * [taylor]: Taking taylor expansion of (exp x) in x
13.308 * [taylor]: Taking taylor expansion of x in x
13.308 * [backup-simplify]: Simplify 0 into 0
13.308 * [backup-simplify]: Simplify 1 into 1
13.308 * [backup-simplify]: Simplify (exp 0) into 1
13.308 * [taylor]: Taking taylor expansion of (exp (- x)) in x
13.308 * [taylor]: Taking taylor expansion of (- x) in x
13.308 * [taylor]: Taking taylor expansion of x in x
13.308 * [backup-simplify]: Simplify 0 into 0
13.308 * [backup-simplify]: Simplify 1 into 1
13.309 * [backup-simplify]: Simplify (- 0) into 0
13.309 * [backup-simplify]: Simplify (- 1) into -1
13.309 * [backup-simplify]: Simplify (exp 0) into 1
13.310 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
13.311 * [backup-simplify]: Simplify (+ 1 1) into 2
13.312 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) 2) into (* 1/2 (pow (sqrt 2.0) 2))
13.312 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x)))) in x
13.312 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
13.312 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.312 * [taylor]: Taking taylor expansion of 2.0 in x
13.312 * [backup-simplify]: Simplify 2.0 into 2.0
13.313 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.313 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.313 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
13.314 * [taylor]: Taking taylor expansion of (exp x) in x
13.314 * [taylor]: Taking taylor expansion of x in x
13.314 * [backup-simplify]: Simplify 0 into 0
13.314 * [backup-simplify]: Simplify 1 into 1
13.314 * [backup-simplify]: Simplify (exp 0) into 1
13.314 * [taylor]: Taking taylor expansion of (exp (- x)) in x
13.314 * [taylor]: Taking taylor expansion of (- x) in x
13.314 * [taylor]: Taking taylor expansion of x in x
13.314 * [backup-simplify]: Simplify 0 into 0
13.314 * [backup-simplify]: Simplify 1 into 1
13.314 * [backup-simplify]: Simplify (- 0) into 0
13.314 * [backup-simplify]: Simplify (- 1) into -1
13.314 * [backup-simplify]: Simplify (exp 0) into 1
13.315 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
13.316 * [backup-simplify]: Simplify (+ 1 1) into 2
13.317 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) 2) into (* 1/2 (pow (sqrt 2.0) 2))
13.319 * [backup-simplify]: Simplify (* 1/2 (pow (sqrt 2.0) 2)) into (* 1/2 (pow (sqrt 2.0) 2))
13.319 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (* 0 (sqrt 2.0))) into 0
13.320 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.321 * [backup-simplify]: Simplify (- 1) into -1
13.322 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.322 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.323 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (pow (sqrt 2.0) 2)) (/ 0 2)))) into 0
13.323 * [backup-simplify]: Simplify 0 into 0
13.324 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
13.325 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (* 0 (sqrt 2.0)))) into 0
13.327 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.327 * [backup-simplify]: Simplify (- 1) into -1
13.328 * [backup-simplify]: Simplify (- 0) into 0
13.330 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.330 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
13.338 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (pow (sqrt 2.0) 2)) (/ 1 2)) (* 0 (/ 0 2)))) into (- (* 1/4 (pow (sqrt 2.0) 2)))
13.341 * [backup-simplify]: Simplify (- (* 1/4 (pow (sqrt 2.0) 2))) into (- (* 1/4 (pow (sqrt 2.0) 2)))
13.342 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.343 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0))))) into 0
13.346 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
13.346 * [backup-simplify]: Simplify (- 1) into -1
13.347 * [backup-simplify]: Simplify (- 1) into -1
13.347 * [backup-simplify]: Simplify (- 0) into 0
13.347 * [backup-simplify]: Simplify (- 0) into 0
13.350 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
13.350 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
13.353 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (pow (sqrt 2.0) 2)) (/ 0 2)) (* 0 (/ 1 2)) (* (- (* 1/4 (pow (sqrt 2.0) 2))) (/ 0 2)))) into 0
13.353 * [backup-simplify]: Simplify 0 into 0
13.355 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.356 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0)))))) into 0
13.360 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
13.361 * [backup-simplify]: Simplify (- 1) into -1
13.361 * [backup-simplify]: Simplify (- 1) into -1
13.361 * [backup-simplify]: Simplify (- 0) into 0
13.362 * [backup-simplify]: Simplify (- 1) into -1
13.362 * [backup-simplify]: Simplify (- 0) into 0
13.363 * [backup-simplify]: Simplify (- 0) into 0
13.363 * [backup-simplify]: Simplify (- 0) into 0
13.368 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
13.368 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
13.383 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (pow (sqrt 2.0) 2)) (/ 1/12 2)) (* 0 (/ 0 2)) (* (- (* 1/4 (pow (sqrt 2.0) 2))) (/ 1 2)) (* 0 (/ 0 2)))) into (* 5/48 (pow (sqrt 2.0) 2))
13.385 * [backup-simplify]: Simplify (* 5/48 (pow (sqrt 2.0) 2)) into (* 5/48 (pow (sqrt 2.0) 2))
13.391 * [backup-simplify]: Simplify (+ (* (* 5/48 (pow (sqrt 2.0) 2)) (pow x 4)) (+ (* (- (* 1/4 (pow (sqrt 2.0) 2))) (pow x 2)) (* 1/2 (pow (sqrt 2.0) 2)))) into (- (+ (* 1/2 (pow (sqrt 2.0) 2)) (* 5/48 (* (pow (sqrt 2.0) 2) (pow x 4)))) (* 1/4 (* (pow (sqrt 2.0) 2) (pow x 2))))
13.392 * [backup-simplify]: Simplify (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.392 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
13.392 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
13.392 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
13.392 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.393 * [taylor]: Taking taylor expansion of 2.0 in x
13.393 * [backup-simplify]: Simplify 2.0 into 2.0
13.393 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.394 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.394 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
13.394 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.394 * [taylor]: Taking taylor expansion of x in x
13.394 * [backup-simplify]: Simplify 0 into 0
13.394 * [backup-simplify]: Simplify 1 into 1
13.394 * [backup-simplify]: Simplify (/ 1 1) into 1
13.394 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.394 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
13.394 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
13.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.394 * [taylor]: Taking taylor expansion of x in x
13.394 * [backup-simplify]: Simplify 0 into 0
13.395 * [backup-simplify]: Simplify 1 into 1
13.395 * [backup-simplify]: Simplify (/ 1 1) into 1
13.395 * [backup-simplify]: Simplify (- 1) into -1
13.395 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
13.396 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
13.397 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
13.398 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.398 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
13.398 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
13.398 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.398 * [taylor]: Taking taylor expansion of 2.0 in x
13.398 * [backup-simplify]: Simplify 2.0 into 2.0
13.398 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.399 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.399 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
13.399 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.399 * [taylor]: Taking taylor expansion of x in x
13.399 * [backup-simplify]: Simplify 0 into 0
13.399 * [backup-simplify]: Simplify 1 into 1
13.400 * [backup-simplify]: Simplify (/ 1 1) into 1
13.400 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.400 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
13.400 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
13.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.400 * [taylor]: Taking taylor expansion of x in x
13.400 * [backup-simplify]: Simplify 0 into 0
13.400 * [backup-simplify]: Simplify 1 into 1
13.400 * [backup-simplify]: Simplify (/ 1 1) into 1
13.401 * [backup-simplify]: Simplify (- 1) into -1
13.401 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
13.402 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
13.402 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
13.403 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.404 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.405 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (* 0 (sqrt 2.0))) into 0
13.405 * [backup-simplify]: Simplify (+ 0 0) into 0
13.407 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.407 * [backup-simplify]: Simplify 0 into 0
13.408 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
13.409 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (* 0 (sqrt 2.0)))) into 0
13.410 * [backup-simplify]: Simplify (+ 0 0) into 0
13.411 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.411 * [backup-simplify]: Simplify 0 into 0
13.413 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.414 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0))))) into 0
13.414 * [backup-simplify]: Simplify (+ 0 0) into 0
13.416 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.416 * [backup-simplify]: Simplify 0 into 0
13.417 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.418 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0)))))) into 0
13.418 * [backup-simplify]: Simplify (+ 0 0) into 0
13.420 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.420 * [backup-simplify]: Simplify 0 into 0
13.420 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.421 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0))))))) into 0
13.421 * [backup-simplify]: Simplify (+ 0 0) into 0
13.423 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.423 * [backup-simplify]: Simplify 0 into 0
13.424 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.425 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0)))))))) into 0
13.425 * [backup-simplify]: Simplify (+ 0 0) into 0
13.427 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.427 * [backup-simplify]: Simplify 0 into 0
13.427 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x))))
13.428 * [backup-simplify]: Simplify (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.428 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
13.428 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
13.428 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
13.428 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.428 * [taylor]: Taking taylor expansion of 2.0 in x
13.428 * [backup-simplify]: Simplify 2.0 into 2.0
13.429 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.429 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.429 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
13.429 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.429 * [taylor]: Taking taylor expansion of x in x
13.429 * [backup-simplify]: Simplify 0 into 0
13.429 * [backup-simplify]: Simplify 1 into 1
13.429 * [backup-simplify]: Simplify (/ 1 1) into 1
13.429 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.429 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
13.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.429 * [taylor]: Taking taylor expansion of -1 in x
13.429 * [backup-simplify]: Simplify -1 into -1
13.430 * [taylor]: Taking taylor expansion of x in x
13.430 * [backup-simplify]: Simplify 0 into 0
13.430 * [backup-simplify]: Simplify 1 into 1
13.430 * [backup-simplify]: Simplify (/ -1 1) into -1
13.430 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
13.431 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
13.431 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
13.431 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.432 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
13.432 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x
13.432 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.432 * [taylor]: Taking taylor expansion of 2.0 in x
13.432 * [backup-simplify]: Simplify 2.0 into 2.0
13.432 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.432 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.432 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
13.432 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.432 * [taylor]: Taking taylor expansion of x in x
13.432 * [backup-simplify]: Simplify 0 into 0
13.432 * [backup-simplify]: Simplify 1 into 1
13.433 * [backup-simplify]: Simplify (/ 1 1) into 1
13.433 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.433 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
13.433 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.433 * [taylor]: Taking taylor expansion of -1 in x
13.433 * [backup-simplify]: Simplify -1 into -1
13.433 * [taylor]: Taking taylor expansion of x in x
13.433 * [backup-simplify]: Simplify 0 into 0
13.433 * [backup-simplify]: Simplify 1 into 1
13.433 * [backup-simplify]: Simplify (/ -1 1) into -1
13.433 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
13.434 * [backup-simplify]: Simplify (* (sqrt 2.0) (sqrt 2.0)) into (pow (sqrt 2.0) 2)
13.434 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
13.435 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.436 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.436 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (* 0 (sqrt 2.0))) into 0
13.436 * [backup-simplify]: Simplify (+ 0 0) into 0
13.437 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.437 * [backup-simplify]: Simplify 0 into 0
13.438 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
13.439 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (* 0 (sqrt 2.0)))) into 0
13.442 * [backup-simplify]: Simplify (+ 0 0) into 0
13.443 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.443 * [backup-simplify]: Simplify 0 into 0
13.444 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.445 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0))))) into 0
13.445 * [backup-simplify]: Simplify (+ 0 0) into 0
13.446 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.446 * [backup-simplify]: Simplify 0 into 0
13.447 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.448 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0)))))) into 0
13.448 * [backup-simplify]: Simplify (+ 0 0) into 0
13.450 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.450 * [backup-simplify]: Simplify 0 into 0
13.451 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.453 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0))))))) into 0
13.453 * [backup-simplify]: Simplify (+ 0 0) into 0
13.457 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.457 * [backup-simplify]: Simplify 0 into 0
13.458 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.460 * [backup-simplify]: Simplify (+ (* (sqrt 2.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 2.0)))))))) into 0
13.461 * [backup-simplify]: Simplify (+ 0 0) into 0
13.463 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.463 * [backup-simplify]: Simplify 0 into 0
13.465 * [backup-simplify]: Simplify (/ (pow (sqrt 2.0) 2) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ (pow (sqrt 2.0) 2) (+ (exp (* -1 x)) (exp x)))
13.465 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
13.465 * [backup-simplify]: Simplify (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) into (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
13.466 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) in (x) around 0
13.466 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) in x
13.466 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.466 * [taylor]: Taking taylor expansion of 2.0 in x
13.466 * [backup-simplify]: Simplify 2.0 into 2.0
13.466 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.467 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.467 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
13.467 * [taylor]: Taking taylor expansion of (exp x) in x
13.467 * [taylor]: Taking taylor expansion of x in x
13.467 * [backup-simplify]: Simplify 0 into 0
13.467 * [backup-simplify]: Simplify 1 into 1
13.467 * [backup-simplify]: Simplify (exp 0) into 1
13.467 * [taylor]: Taking taylor expansion of (exp (- x)) in x
13.467 * [taylor]: Taking taylor expansion of (- x) in x
13.467 * [taylor]: Taking taylor expansion of x in x
13.467 * [backup-simplify]: Simplify 0 into 0
13.467 * [backup-simplify]: Simplify 1 into 1
13.468 * [backup-simplify]: Simplify (- 0) into 0
13.468 * [backup-simplify]: Simplify (- 1) into -1
13.468 * [backup-simplify]: Simplify (exp 0) into 1
13.468 * [backup-simplify]: Simplify (+ 1 1) into 2
13.469 * [backup-simplify]: Simplify (/ (sqrt 2.0) 2) into (* 1/2 (sqrt 2.0))
13.469 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) in x
13.469 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.469 * [taylor]: Taking taylor expansion of 2.0 in x
13.469 * [backup-simplify]: Simplify 2.0 into 2.0
13.470 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.470 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.470 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
13.470 * [taylor]: Taking taylor expansion of (exp x) in x
13.470 * [taylor]: Taking taylor expansion of x in x
13.471 * [backup-simplify]: Simplify 0 into 0
13.471 * [backup-simplify]: Simplify 1 into 1
13.471 * [backup-simplify]: Simplify (exp 0) into 1
13.471 * [taylor]: Taking taylor expansion of (exp (- x)) in x
13.471 * [taylor]: Taking taylor expansion of (- x) in x
13.471 * [taylor]: Taking taylor expansion of x in x
13.471 * [backup-simplify]: Simplify 0 into 0
13.471 * [backup-simplify]: Simplify 1 into 1
13.471 * [backup-simplify]: Simplify (- 0) into 0
13.471 * [backup-simplify]: Simplify (- 1) into -1
13.471 * [backup-simplify]: Simplify (exp 0) into 1
13.472 * [backup-simplify]: Simplify (+ 1 1) into 2
13.473 * [backup-simplify]: Simplify (/ (sqrt 2.0) 2) into (* 1/2 (sqrt 2.0))
13.474 * [backup-simplify]: Simplify (* 1/2 (sqrt 2.0)) into (* 1/2 (sqrt 2.0))
13.475 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.475 * [backup-simplify]: Simplify (- 1) into -1
13.476 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.477 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.478 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (sqrt 2.0)) (/ 0 2)))) into 0
13.478 * [backup-simplify]: Simplify 0 into 0
13.479 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
13.481 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.481 * [backup-simplify]: Simplify (- 1) into -1
13.482 * [backup-simplify]: Simplify (- 0) into 0
13.483 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.484 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
13.490 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (sqrt 2.0)) (/ 1 2)) (* 0 (/ 0 2)))) into (- (* 1/4 (sqrt 2.0)))
13.492 * [backup-simplify]: Simplify (- (* 1/4 (sqrt 2.0))) into (- (* 1/4 (sqrt 2.0)))
13.493 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.496 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
13.496 * [backup-simplify]: Simplify (- 1) into -1
13.496 * [backup-simplify]: Simplify (- 1) into -1
13.497 * [backup-simplify]: Simplify (- 0) into 0
13.497 * [backup-simplify]: Simplify (- 0) into 0
13.500 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
13.501 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
13.503 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (sqrt 2.0)) (/ 0 2)) (* 0 (/ 1 2)) (* (- (* 1/4 (sqrt 2.0))) (/ 0 2)))) into 0
13.503 * [backup-simplify]: Simplify 0 into 0
13.505 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.507 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
13.507 * [backup-simplify]: Simplify (- 1) into -1
13.507 * [backup-simplify]: Simplify (- 1) into -1
13.508 * [backup-simplify]: Simplify (- 0) into 0
13.508 * [backup-simplify]: Simplify (- 1) into -1
13.508 * [backup-simplify]: Simplify (- 0) into 0
13.508 * [backup-simplify]: Simplify (- 0) into 0
13.509 * [backup-simplify]: Simplify (- 0) into 0
13.511 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
13.511 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
13.518 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (sqrt 2.0)) (/ 1/12 2)) (* 0 (/ 0 2)) (* (- (* 1/4 (sqrt 2.0))) (/ 1 2)) (* 0 (/ 0 2)))) into (* 5/48 (sqrt 2.0))
13.519 * [backup-simplify]: Simplify (* 5/48 (sqrt 2.0)) into (* 5/48 (sqrt 2.0))
13.521 * [backup-simplify]: Simplify (+ (* (* 5/48 (sqrt 2.0)) (pow x 4)) (+ (* (- (* 1/4 (sqrt 2.0))) (pow x 2)) (* 1/2 (sqrt 2.0)))) into (- (+ (* 5/48 (* (sqrt 2.0) (pow x 4))) (* 1/2 (sqrt 2.0))) (* 1/4 (* (sqrt 2.0) (pow x 2))))
13.522 * [backup-simplify]: Simplify (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.522 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
13.522 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
13.522 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.522 * [taylor]: Taking taylor expansion of 2.0 in x
13.522 * [backup-simplify]: Simplify 2.0 into 2.0
13.522 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.522 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.522 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
13.522 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.523 * [taylor]: Taking taylor expansion of x in x
13.523 * [backup-simplify]: Simplify 0 into 0
13.523 * [backup-simplify]: Simplify 1 into 1
13.523 * [backup-simplify]: Simplify (/ 1 1) into 1
13.523 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.523 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
13.523 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
13.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.523 * [taylor]: Taking taylor expansion of x in x
13.523 * [backup-simplify]: Simplify 0 into 0
13.523 * [backup-simplify]: Simplify 1 into 1
13.523 * [backup-simplify]: Simplify (/ 1 1) into 1
13.523 * [backup-simplify]: Simplify (- 1) into -1
13.524 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
13.524 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
13.524 * [backup-simplify]: Simplify (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.524 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
13.524 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.524 * [taylor]: Taking taylor expansion of 2.0 in x
13.524 * [backup-simplify]: Simplify 2.0 into 2.0
13.524 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.525 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.525 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
13.525 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.525 * [taylor]: Taking taylor expansion of x in x
13.525 * [backup-simplify]: Simplify 0 into 0
13.525 * [backup-simplify]: Simplify 1 into 1
13.525 * [backup-simplify]: Simplify (/ 1 1) into 1
13.526 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.526 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
13.526 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
13.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.526 * [taylor]: Taking taylor expansion of x in x
13.526 * [backup-simplify]: Simplify 0 into 0
13.526 * [backup-simplify]: Simplify 1 into 1
13.526 * [backup-simplify]: Simplify (/ 1 1) into 1
13.526 * [backup-simplify]: Simplify (- 1) into -1
13.526 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
13.527 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
13.527 * [backup-simplify]: Simplify (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.528 * [backup-simplify]: Simplify (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.528 * [backup-simplify]: Simplify (+ 0 0) into 0
13.529 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.529 * [backup-simplify]: Simplify 0 into 0
13.530 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
13.530 * [backup-simplify]: Simplify (+ 0 0) into 0
13.531 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.531 * [backup-simplify]: Simplify 0 into 0
13.531 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.532 * [backup-simplify]: Simplify (+ 0 0) into 0
13.532 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.532 * [backup-simplify]: Simplify 0 into 0
13.533 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.534 * [backup-simplify]: Simplify (+ 0 0) into 0
13.534 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.535 * [backup-simplify]: Simplify 0 into 0
13.535 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.535 * [backup-simplify]: Simplify (+ 0 0) into 0
13.536 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.536 * [backup-simplify]: Simplify 0 into 0
13.537 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.538 * [backup-simplify]: Simplify (+ 0 0) into 0
13.539 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.539 * [backup-simplify]: Simplify 0 into 0
13.539 * [backup-simplify]: Simplify (/ (sqrt 2.0) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
13.539 * [backup-simplify]: Simplify (/ (sqrt 2.0) (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.539 * [approximate]: Taking taylor expansion of (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
13.539 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
13.539 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.539 * [taylor]: Taking taylor expansion of 2.0 in x
13.539 * [backup-simplify]: Simplify 2.0 into 2.0
13.540 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.540 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.540 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
13.540 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.540 * [taylor]: Taking taylor expansion of x in x
13.540 * [backup-simplify]: Simplify 0 into 0
13.540 * [backup-simplify]: Simplify 1 into 1
13.541 * [backup-simplify]: Simplify (/ 1 1) into 1
13.541 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.541 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
13.541 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.541 * [taylor]: Taking taylor expansion of -1 in x
13.541 * [backup-simplify]: Simplify -1 into -1
13.541 * [taylor]: Taking taylor expansion of x in x
13.541 * [backup-simplify]: Simplify 0 into 0
13.541 * [backup-simplify]: Simplify 1 into 1
13.541 * [backup-simplify]: Simplify (/ -1 1) into -1
13.541 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
13.541 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
13.541 * [backup-simplify]: Simplify (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.541 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
13.542 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x
13.542 * [taylor]: Taking taylor expansion of 2.0 in x
13.542 * [backup-simplify]: Simplify 2.0 into 2.0
13.542 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
13.542 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
13.542 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
13.542 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.542 * [taylor]: Taking taylor expansion of x in x
13.542 * [backup-simplify]: Simplify 0 into 0
13.542 * [backup-simplify]: Simplify 1 into 1
13.543 * [backup-simplify]: Simplify (/ 1 1) into 1
13.543 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.543 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
13.543 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.543 * [taylor]: Taking taylor expansion of -1 in x
13.543 * [backup-simplify]: Simplify -1 into -1
13.543 * [taylor]: Taking taylor expansion of x in x
13.543 * [backup-simplify]: Simplify 0 into 0
13.543 * [backup-simplify]: Simplify 1 into 1
13.543 * [backup-simplify]: Simplify (/ -1 1) into -1
13.543 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
13.543 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
13.543 * [backup-simplify]: Simplify (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.544 * [backup-simplify]: Simplify (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.544 * [backup-simplify]: Simplify (+ 0 0) into 0
13.545 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.545 * [backup-simplify]: Simplify 0 into 0
13.545 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
13.546 * [backup-simplify]: Simplify (+ 0 0) into 0
13.546 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.546 * [backup-simplify]: Simplify 0 into 0
13.547 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.547 * [backup-simplify]: Simplify (+ 0 0) into 0
13.548 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.548 * [backup-simplify]: Simplify 0 into 0
13.549 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.550 * [backup-simplify]: Simplify (+ 0 0) into 0
13.551 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.551 * [backup-simplify]: Simplify 0 into 0
13.553 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.553 * [backup-simplify]: Simplify (+ 0 0) into 0
13.555 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.555 * [backup-simplify]: Simplify 0 into 0
13.556 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 2.0))) into 0
13.557 * [backup-simplify]: Simplify (+ 0 0) into 0
13.559 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (sqrt 2.0) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.559 * [backup-simplify]: Simplify 0 into 0
13.559 * [backup-simplify]: Simplify (/ (sqrt 2.0) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ (sqrt 2.0) (+ (exp (* -1 x)) (exp x)))
13.560 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
13.560 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x)))
13.560 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
13.560 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
13.560 * [taylor]: Taking taylor expansion of (exp x) in x
13.560 * [taylor]: Taking taylor expansion of x in x
13.560 * [backup-simplify]: Simplify 0 into 0
13.560 * [backup-simplify]: Simplify 1 into 1
13.560 * [backup-simplify]: Simplify (exp 0) into 1
13.560 * [taylor]: Taking taylor expansion of (exp (- x)) in x
13.560 * [taylor]: Taking taylor expansion of (- x) in x
13.560 * [taylor]: Taking taylor expansion of x in x
13.560 * [backup-simplify]: Simplify 0 into 0
13.560 * [backup-simplify]: Simplify 1 into 1
13.560 * [backup-simplify]: Simplify (- 0) into 0
13.561 * [backup-simplify]: Simplify (- 1) into -1
13.561 * [backup-simplify]: Simplify (exp 0) into 1
13.561 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
13.561 * [taylor]: Taking taylor expansion of (exp x) in x
13.561 * [taylor]: Taking taylor expansion of x in x
13.561 * [backup-simplify]: Simplify 0 into 0
13.561 * [backup-simplify]: Simplify 1 into 1
13.561 * [backup-simplify]: Simplify (exp 0) into 1
13.561 * [taylor]: Taking taylor expansion of (exp (- x)) in x
13.561 * [taylor]: Taking taylor expansion of (- x) in x
13.561 * [taylor]: Taking taylor expansion of x in x
13.561 * [backup-simplify]: Simplify 0 into 0
13.561 * [backup-simplify]: Simplify 1 into 1
13.562 * [backup-simplify]: Simplify (- 0) into 0
13.562 * [backup-simplify]: Simplify (- 1) into -1
13.562 * [backup-simplify]: Simplify (exp 0) into 1
13.562 * [backup-simplify]: Simplify (+ 1 1) into 2
13.562 * [backup-simplify]: Simplify 2 into 2
13.564 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.564 * [backup-simplify]: Simplify (- 1) into -1
13.565 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.570 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.570 * [backup-simplify]: Simplify 0 into 0
13.572 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.573 * [backup-simplify]: Simplify (- 1) into -1
13.573 * [backup-simplify]: Simplify (- 0) into 0
13.574 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.574 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
13.574 * [backup-simplify]: Simplify 1 into 1
13.575 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
13.576 * [backup-simplify]: Simplify (- 1) into -1
13.576 * [backup-simplify]: Simplify (- 1) into -1
13.576 * [backup-simplify]: Simplify (- 0) into 0
13.576 * [backup-simplify]: Simplify (- 0) into 0
13.578 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
13.578 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
13.578 * [backup-simplify]: Simplify 0 into 0
13.580 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
13.580 * [backup-simplify]: Simplify (- 1) into -1
13.581 * [backup-simplify]: Simplify (- 1) into -1
13.581 * [backup-simplify]: Simplify (- 0) into 0
13.581 * [backup-simplify]: Simplify (- 1) into -1
13.581 * [backup-simplify]: Simplify (- 0) into 0
13.581 * [backup-simplify]: Simplify (- 0) into 0
13.582 * [backup-simplify]: Simplify (- 0) into 0
13.584 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
13.584 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
13.584 * [backup-simplify]: Simplify 1/12 into 1/12
13.584 * [backup-simplify]: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
13.585 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
13.585 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
13.585 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
13.585 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.585 * [taylor]: Taking taylor expansion of x in x
13.585 * [backup-simplify]: Simplify 0 into 0
13.585 * [backup-simplify]: Simplify 1 into 1
13.585 * [backup-simplify]: Simplify (/ 1 1) into 1
13.585 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.585 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
13.585 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
13.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.585 * [taylor]: Taking taylor expansion of x in x
13.585 * [backup-simplify]: Simplify 0 into 0
13.585 * [backup-simplify]: Simplify 1 into 1
13.585 * [backup-simplify]: Simplify (/ 1 1) into 1
13.586 * [backup-simplify]: Simplify (- 1) into -1
13.586 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
13.586 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
13.586 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.586 * [taylor]: Taking taylor expansion of x in x
13.586 * [backup-simplify]: Simplify 0 into 0
13.586 * [backup-simplify]: Simplify 1 into 1
13.586 * [backup-simplify]: Simplify (/ 1 1) into 1
13.586 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.586 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
13.586 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
13.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.586 * [taylor]: Taking taylor expansion of x in x
13.586 * [backup-simplify]: Simplify 0 into 0
13.586 * [backup-simplify]: Simplify 1 into 1
13.586 * [backup-simplify]: Simplify (/ 1 1) into 1
13.587 * [backup-simplify]: Simplify (- 1) into -1
13.587 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
13.587 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
13.587 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
13.587 * [backup-simplify]: Simplify (+ 0 0) into 0
13.587 * [backup-simplify]: Simplify 0 into 0
13.588 * [backup-simplify]: Simplify (+ 0 0) into 0
13.588 * [backup-simplify]: Simplify 0 into 0
13.588 * [backup-simplify]: Simplify (+ 0 0) into 0
13.588 * [backup-simplify]: Simplify 0 into 0
13.588 * [backup-simplify]: Simplify (+ 0 0) into 0
13.588 * [backup-simplify]: Simplify 0 into 0
13.588 * [backup-simplify]: Simplify (+ 0 0) into 0
13.588 * [backup-simplify]: Simplify 0 into 0
13.589 * [backup-simplify]: Simplify (+ 0 0) into 0
13.589 * [backup-simplify]: Simplify 0 into 0
13.589 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x)))
13.589 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
13.589 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
13.589 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
13.589 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.589 * [taylor]: Taking taylor expansion of x in x
13.589 * [backup-simplify]: Simplify 0 into 0
13.589 * [backup-simplify]: Simplify 1 into 1
13.589 * [backup-simplify]: Simplify (/ 1 1) into 1
13.589 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.589 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
13.589 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.589 * [taylor]: Taking taylor expansion of -1 in x
13.589 * [backup-simplify]: Simplify -1 into -1
13.589 * [taylor]: Taking taylor expansion of x in x
13.589 * [backup-simplify]: Simplify 0 into 0
13.589 * [backup-simplify]: Simplify 1 into 1
13.590 * [backup-simplify]: Simplify (/ -1 1) into -1
13.590 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
13.590 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
13.590 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.590 * [taylor]: Taking taylor expansion of x in x
13.590 * [backup-simplify]: Simplify 0 into 0
13.590 * [backup-simplify]: Simplify 1 into 1
13.590 * [backup-simplify]: Simplify (/ 1 1) into 1
13.590 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.590 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
13.590 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.590 * [taylor]: Taking taylor expansion of -1 in x
13.590 * [backup-simplify]: Simplify -1 into -1
13.590 * [taylor]: Taking taylor expansion of x in x
13.590 * [backup-simplify]: Simplify 0 into 0
13.590 * [backup-simplify]: Simplify 1 into 1
13.590 * [backup-simplify]: Simplify (/ -1 1) into -1
13.590 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
13.591 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
13.591 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
13.591 * [backup-simplify]: Simplify (+ 0 0) into 0
13.591 * [backup-simplify]: Simplify 0 into 0
13.591 * [backup-simplify]: Simplify (+ 0 0) into 0
13.591 * [backup-simplify]: Simplify 0 into 0
13.591 * [backup-simplify]: Simplify (+ 0 0) into 0
13.591 * [backup-simplify]: Simplify 0 into 0
13.592 * [backup-simplify]: Simplify (+ 0 0) into 0
13.592 * [backup-simplify]: Simplify 0 into 0
13.592 * [backup-simplify]: Simplify (+ 0 0) into 0
13.592 * [backup-simplify]: Simplify 0 into 0
13.592 * [backup-simplify]: Simplify (+ 0 0) into 0
13.592 * [backup-simplify]: Simplify 0 into 0
13.592 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x))
13.592 * * * [progress]: simplifying candidates
13.594 * [simplify]: Simplifying:
  (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (+ (log (sqrt 2.0)) (- (log (sqrt 2.0)) (log (+ (exp x) (exp (- x))))))
  (+ (log (sqrt 2.0)) (log (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (log (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (exp (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (* (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (/ (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))))
  (* (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (* (cbrt (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))) (cbrt (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))))
  (cbrt (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (* (* (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))) (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))) (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (sqrt (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (sqrt (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (sqrt (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (sqrt (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (sqrt (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (sqrt (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt (sqrt 2.0)) (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt 2.0) (* (cbrt (/ (sqrt 2.0) (+ (exp x) (exp (- x))))) (cbrt (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))))
  (* (sqrt 2.0) (sqrt (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (* (sqrt 2.0) (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))))
  (* (sqrt 2.0) (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt 2.0) (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1))
  (* (sqrt 2.0) (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1))
  (* (sqrt 2.0) (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))))
  (* (sqrt 2.0) (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt 2.0) (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) 1))
  (* (sqrt 2.0) (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) 1))
  (* (sqrt 2.0) (/ (sqrt (sqrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))))
  (* (sqrt 2.0) (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt 2.0) (/ (sqrt (sqrt 2.0)) 1))
  (* (sqrt 2.0) (/ (sqrt (sqrt 2.0)) 1))
  (* (sqrt 2.0) (/ (sqrt 1) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))))
  (* (sqrt 2.0) (/ (sqrt 1) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt 2.0) (/ (sqrt 1) 1))
  (* (sqrt 2.0) (/ (sqrt 1) 1))
  (* (sqrt 2.0) (/ (sqrt (sqrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))))
  (* (sqrt 2.0) (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt 2.0) (/ (sqrt (sqrt 2.0)) 1))
  (* (sqrt 2.0) (/ (sqrt (sqrt 2.0)) 1))
  (* (sqrt 2.0) (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))))
  (* (sqrt 2.0) (/ 1 (sqrt (+ (exp x) (exp (- x))))))
  (* (sqrt 2.0) (/ 1 1))
  (* (sqrt 2.0) (/ 1 1))
  (* (sqrt 2.0) 1)
  (* (sqrt 2.0) (sqrt 2.0))
  (* (sqrt 2.0) (/ (sqrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (* (sqrt 2.0) (/ (sqrt 2.0) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))))
  (* (cbrt (sqrt 2.0)) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (* (sqrt (cbrt 2.0)) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (* (sqrt (sqrt 2.0)) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (* (sqrt (sqrt 2.0)) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (* (sqrt 2.0) (sqrt 2.0))
  (- (log (sqrt 2.0)) (log (+ (exp x) (exp (- x)))))
  (log (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (exp (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (/ (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))
  (* (cbrt (/ (sqrt 2.0) (+ (exp x) (exp (- x))))) (cbrt (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))
  (cbrt (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (* (* (/ (sqrt 2.0) (+ (exp x) (exp (- x)))) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (sqrt (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (sqrt (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
  (- (sqrt 2.0))
  (- (+ (exp x) (exp (- x))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (cbrt (sqrt 2.0)) (cbrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (cbrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1)
  (/ (cbrt (sqrt 2.0)) (+ (exp x) (exp (- x))))
  (/ (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) 1)
  (/ (cbrt (sqrt 2.0)) (+ (exp x) (exp (- x))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt (cbrt 2.0)) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (cbrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) 1)
  (/ (sqrt (cbrt 2.0)) (+ (exp x) (exp (- x))))
  (/ (sqrt (* (cbrt 2.0) (cbrt 2.0))) 1)
  (/ (sqrt (cbrt 2.0)) (+ (exp x) (exp (- x))))
  (/ (sqrt (sqrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt (sqrt 2.0)) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (sqrt 2.0)) 1)
  (/ (sqrt (sqrt 2.0)) (+ (exp x) (exp (- x))))
  (/ (sqrt (sqrt 2.0)) 1)
  (/ (sqrt (sqrt 2.0)) (+ (exp x) (exp (- x))))
  (/ (sqrt 1) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 1) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 1) 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 1) 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt (sqrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt (sqrt 2.0)) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (sqrt 2.0)) 1)
  (/ (sqrt (sqrt 2.0)) (+ (exp x) (exp (- x))))
  (/ (sqrt (sqrt 2.0)) 1)
  (/ (sqrt (sqrt 2.0)) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ 1 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ 1 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) 1)
  (/ (+ (exp x) (exp (- x))) (cbrt (sqrt 2.0)))
  (/ (+ (exp x) (exp (- x))) (sqrt (cbrt 2.0)))
  (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0)))
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ (+ (exp x) (exp (- x))) (sqrt (sqrt 2.0)))
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ (sqrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (sqrt 2.0) (- (* (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)))
  (- (+ (* 1/2 (pow (sqrt 2.0) 2)) (* 5/48 (* (pow (sqrt 2.0) 2) (pow x 4)))) (* 1/4 (* (pow (sqrt 2.0) 2) (pow x 2))))
  (/ (pow (sqrt 2.0) 2) (+ (exp x) (exp (- x))))
  (/ (pow (sqrt 2.0) 2) (+ (exp (* -1 x)) (exp x)))
  (- (+ (* 5/48 (* (sqrt 2.0) (pow x 4))) (* 1/2 (sqrt 2.0))) (* 1/4 (* (sqrt 2.0) (pow x 2))))
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) (+ (exp (* -1 x)) (exp x)))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
14.426 * * * [progress]: adding candidates to table
14.791 * * [progress]: iteration 3 / 4
14.791 * * * [progress]: picking best candidate
14.797 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))>
14.797 * * * [progress]: localizing error
14.838 * * * [progress]: generating rewritten candidates
14.838 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
14.918 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
14.991 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
14.997 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
15.098 * * * [progress]: generating series expansions
15.098 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
15.098 * [backup-simplify]: Simplify (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))) into (- (pow (exp (- x)) 2) (* (exp x) (exp (- x))))
15.098 * [approximate]: Taking taylor expansion of (- (pow (exp (- x)) 2) (* (exp x) (exp (- x)))) in (x) around 0
15.098 * [taylor]: Taking taylor expansion of (- (pow (exp (- x)) 2) (* (exp x) (exp (- x)))) in x
15.098 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x
15.098 * [taylor]: Taking taylor expansion of (exp (- x)) in x
15.098 * [taylor]: Taking taylor expansion of (- x) in x
15.098 * [taylor]: Taking taylor expansion of x in x
15.098 * [backup-simplify]: Simplify 0 into 0
15.098 * [backup-simplify]: Simplify 1 into 1
15.099 * [backup-simplify]: Simplify (- 0) into 0
15.100 * [backup-simplify]: Simplify (- 1) into -1
15.100 * [backup-simplify]: Simplify (exp 0) into 1
15.100 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x
15.100 * [taylor]: Taking taylor expansion of (exp x) in x
15.100 * [taylor]: Taking taylor expansion of x in x
15.100 * [backup-simplify]: Simplify 0 into 0
15.100 * [backup-simplify]: Simplify 1 into 1
15.100 * [backup-simplify]: Simplify (exp 0) into 1
15.100 * [taylor]: Taking taylor expansion of (exp (- x)) in x
15.100 * [taylor]: Taking taylor expansion of (- x) in x
15.100 * [taylor]: Taking taylor expansion of x in x
15.100 * [backup-simplify]: Simplify 0 into 0
15.100 * [backup-simplify]: Simplify 1 into 1
15.100 * [backup-simplify]: Simplify (- 0) into 0
15.101 * [backup-simplify]: Simplify (- 1) into -1
15.101 * [backup-simplify]: Simplify (exp 0) into 1
15.101 * [taylor]: Taking taylor expansion of (- (pow (exp (- x)) 2) (* (exp x) (exp (- x)))) in x
15.101 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x
15.101 * [taylor]: Taking taylor expansion of (exp (- x)) in x
15.101 * [taylor]: Taking taylor expansion of (- x) in x
15.101 * [taylor]: Taking taylor expansion of x in x
15.101 * [backup-simplify]: Simplify 0 into 0
15.101 * [backup-simplify]: Simplify 1 into 1
15.101 * [backup-simplify]: Simplify (- 0) into 0
15.102 * [backup-simplify]: Simplify (- 1) into -1
15.102 * [backup-simplify]: Simplify (exp 0) into 1
15.102 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x
15.102 * [taylor]: Taking taylor expansion of (exp x) in x
15.102 * [taylor]: Taking taylor expansion of x in x
15.102 * [backup-simplify]: Simplify 0 into 0
15.102 * [backup-simplify]: Simplify 1 into 1
15.102 * [backup-simplify]: Simplify (exp 0) into 1
15.102 * [taylor]: Taking taylor expansion of (exp (- x)) in x
15.102 * [taylor]: Taking taylor expansion of (- x) in x
15.102 * [taylor]: Taking taylor expansion of x in x
15.102 * [backup-simplify]: Simplify 0 into 0
15.102 * [backup-simplify]: Simplify 1 into 1
15.102 * [backup-simplify]: Simplify (- 0) into 0
15.103 * [backup-simplify]: Simplify (- 1) into -1
15.103 * [backup-simplify]: Simplify (exp 0) into 1
15.103 * [backup-simplify]: Simplify (* 1 1) into 1
15.104 * [backup-simplify]: Simplify (* 1 1) into 1
15.104 * [backup-simplify]: Simplify (- 1) into -1
15.105 * [backup-simplify]: Simplify (+ 1 -1) into 0
15.105 * [backup-simplify]: Simplify 0 into 0
15.105 * [backup-simplify]: Simplify (- 1) into -1
15.106 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
15.107 * [backup-simplify]: Simplify (+ (* 1 -1) (* -1 1)) into -2
15.107 * [backup-simplify]: Simplify (- 1) into -1
15.108 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
15.110 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
15.110 * [backup-simplify]: Simplify (+ (* 1 -1) (* 1 1)) into 0
15.111 * [backup-simplify]: Simplify (- 0) into 0
15.111 * [backup-simplify]: Simplify (+ -2 0) into -2
15.111 * [backup-simplify]: Simplify -2 into -2
15.111 * [backup-simplify]: Simplify (- 1) into -1
15.112 * [backup-simplify]: Simplify (- 0) into 0
15.114 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
15.115 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* -1 -1) (* 1/2 1))) into 2
15.115 * [backup-simplify]: Simplify (- 1) into -1
15.116 * [backup-simplify]: Simplify (- 0) into 0
15.117 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
15.119 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
15.120 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 -1) (* 1/2 1))) into 0
15.120 * [backup-simplify]: Simplify (- 0) into 0
15.121 * [backup-simplify]: Simplify (+ 2 0) into 2
15.121 * [backup-simplify]: Simplify 2 into 2
15.121 * [backup-simplify]: Simplify (- 1) into -1
15.122 * [backup-simplify]: Simplify (- 1) into -1
15.122 * [backup-simplify]: Simplify (- 0) into 0
15.122 * [backup-simplify]: Simplify (- 0) into 0
15.125 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
15.126 * [backup-simplify]: Simplify (+ (* 1 -1/6) (+ (* -1 1/2) (+ (* 1/2 -1) (* -1/6 1)))) into -4/3
15.126 * [backup-simplify]: Simplify (- 1) into -1
15.127 * [backup-simplify]: Simplify (- 1) into -1
15.127 * [backup-simplify]: Simplify (- 0) into 0
15.128 * [backup-simplify]: Simplify (- 0) into 0
15.130 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
15.133 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
15.135 * [backup-simplify]: Simplify (+ (* 1 -1/6) (+ (* 1 1/2) (+ (* 1/2 -1) (* 1/6 1)))) into 0
15.135 * [backup-simplify]: Simplify (- 0) into 0
15.136 * [backup-simplify]: Simplify (+ -4/3 0) into -4/3
15.136 * [backup-simplify]: Simplify -4/3 into -4/3
15.136 * [backup-simplify]: Simplify (+ (* -4/3 (pow x 3)) (+ (* 2 (pow x 2)) (* -2 x))) into (- (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x)))
15.137 * [backup-simplify]: Simplify (- (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) into (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x)))))
15.137 * [approximate]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
15.137 * [taylor]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
15.137 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x
15.137 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
15.137 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.137 * [taylor]: Taking taylor expansion of x in x
15.137 * [backup-simplify]: Simplify 0 into 0
15.137 * [backup-simplify]: Simplify 1 into 1
15.138 * [backup-simplify]: Simplify (/ 1 1) into 1
15.138 * [backup-simplify]: Simplify (- 1) into -1
15.138 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
15.138 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
15.138 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.138 * [taylor]: Taking taylor expansion of x in x
15.138 * [backup-simplify]: Simplify 0 into 0
15.138 * [backup-simplify]: Simplify 1 into 1
15.139 * [backup-simplify]: Simplify (/ 1 1) into 1
15.139 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.139 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
15.139 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.139 * [taylor]: Taking taylor expansion of x in x
15.139 * [backup-simplify]: Simplify 0 into 0
15.139 * [backup-simplify]: Simplify 1 into 1
15.139 * [backup-simplify]: Simplify (/ 1 1) into 1
15.140 * [backup-simplify]: Simplify (- 1) into -1
15.140 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
15.140 * [taylor]: Taking taylor expansion of (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
15.140 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x
15.140 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
15.140 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.140 * [taylor]: Taking taylor expansion of x in x
15.140 * [backup-simplify]: Simplify 0 into 0
15.140 * [backup-simplify]: Simplify 1 into 1
15.141 * [backup-simplify]: Simplify (/ 1 1) into 1
15.141 * [backup-simplify]: Simplify (- 1) into -1
15.141 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
15.141 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
15.141 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.141 * [taylor]: Taking taylor expansion of x in x
15.141 * [backup-simplify]: Simplify 0 into 0
15.141 * [backup-simplify]: Simplify 1 into 1
15.142 * [backup-simplify]: Simplify (/ 1 1) into 1
15.142 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.142 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
15.142 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.142 * [taylor]: Taking taylor expansion of x in x
15.142 * [backup-simplify]: Simplify 0 into 0
15.142 * [backup-simplify]: Simplify 1 into 1
15.142 * [backup-simplify]: Simplify (/ 1 1) into 1
15.143 * [backup-simplify]: Simplify (- 1) into -1
15.143 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
15.143 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) into (pow (exp (- (/ 1 x))) 2)
15.143 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (- (/ 1 x)))) into (* (exp (/ 1 x)) (exp (- (/ 1 x))))
15.144 * [backup-simplify]: Simplify (- (* (exp (/ 1 x)) (exp (- (/ 1 x))))) into (- (* (exp (/ 1 x)) (exp (- (/ 1 x)))))
15.144 * [backup-simplify]: Simplify (+ (pow (exp (- (/ 1 x))) 2) (- (* (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x)))))
15.145 * [backup-simplify]: Simplify (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) into (- (pow (exp (- (/ 1 x))) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x)))))
15.145 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (* 0 (exp (- (/ 1 x))))) into 0
15.145 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (- (/ 1 x))))) into 0
15.146 * [backup-simplify]: Simplify (- 0) into 0
15.146 * [backup-simplify]: Simplify (+ 0 0) into 0
15.146 * [backup-simplify]: Simplify 0 into 0
15.147 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))) into 0
15.147 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))) into 0
15.148 * [backup-simplify]: Simplify (- 0) into 0
15.148 * [backup-simplify]: Simplify (+ 0 0) into 0
15.148 * [backup-simplify]: Simplify 0 into 0
15.149 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))) into 0
15.150 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))) into 0
15.150 * [backup-simplify]: Simplify (- 0) into 0
15.151 * [backup-simplify]: Simplify (+ 0 0) into 0
15.151 * [backup-simplify]: Simplify 0 into 0
15.152 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))) into 0
15.153 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))) into 0
15.154 * [backup-simplify]: Simplify (- 0) into 0
15.154 * [backup-simplify]: Simplify (+ 0 0) into 0
15.154 * [backup-simplify]: Simplify 0 into 0
15.156 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))))) into 0
15.157 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))))) into 0
15.158 * [backup-simplify]: Simplify (- 0) into 0
15.158 * [backup-simplify]: Simplify (+ 0 0) into 0
15.158 * [backup-simplify]: Simplify 0 into 0
15.161 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))))) into 0
15.163 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))))) into 0
15.163 * [backup-simplify]: Simplify (- 0) into 0
15.164 * [backup-simplify]: Simplify (+ 0 0) into 0
15.164 * [backup-simplify]: Simplify 0 into 0
15.164 * [backup-simplify]: Simplify (- (pow (exp (- (/ 1 (/ 1 x)))) 2) (* (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (- (pow (exp (- x)) 2) (* (exp x) (exp (- x))))
15.165 * [backup-simplify]: Simplify (- (* (exp (- (/ 1 (- x)))) (exp (- (/ 1 (- x))))) (* (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x))))
15.165 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
15.165 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x
15.165 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
15.165 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.165 * [taylor]: Taking taylor expansion of x in x
15.165 * [backup-simplify]: Simplify 0 into 0
15.165 * [backup-simplify]: Simplify 1 into 1
15.166 * [backup-simplify]: Simplify (/ 1 1) into 1
15.166 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.166 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x
15.166 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.166 * [taylor]: Taking taylor expansion of x in x
15.166 * [backup-simplify]: Simplify 0 into 0
15.166 * [backup-simplify]: Simplify 1 into 1
15.166 * [backup-simplify]: Simplify (/ 1 1) into 1
15.167 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.167 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
15.167 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.167 * [taylor]: Taking taylor expansion of -1 in x
15.167 * [backup-simplify]: Simplify -1 into -1
15.167 * [taylor]: Taking taylor expansion of x in x
15.167 * [backup-simplify]: Simplify 0 into 0
15.167 * [backup-simplify]: Simplify 1 into 1
15.167 * [backup-simplify]: Simplify (/ -1 1) into -1
15.167 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
15.167 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x
15.167 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
15.167 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.168 * [taylor]: Taking taylor expansion of x in x
15.168 * [backup-simplify]: Simplify 0 into 0
15.168 * [backup-simplify]: Simplify 1 into 1
15.168 * [backup-simplify]: Simplify (/ 1 1) into 1
15.168 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.168 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x
15.168 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.168 * [taylor]: Taking taylor expansion of x in x
15.168 * [backup-simplify]: Simplify 0 into 0
15.168 * [backup-simplify]: Simplify 1 into 1
15.169 * [backup-simplify]: Simplify (/ 1 1) into 1
15.169 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.169 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
15.169 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.169 * [taylor]: Taking taylor expansion of -1 in x
15.169 * [backup-simplify]: Simplify -1 into -1
15.169 * [taylor]: Taking taylor expansion of x in x
15.169 * [backup-simplify]: Simplify 0 into 0
15.169 * [backup-simplify]: Simplify 1 into 1
15.169 * [backup-simplify]: Simplify (/ -1 1) into -1
15.170 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
15.170 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
15.170 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ -1 x))) into (* (exp (/ 1 x)) (exp (/ -1 x)))
15.170 * [backup-simplify]: Simplify (- (* (exp (/ 1 x)) (exp (/ -1 x)))) into (- (* (exp (/ 1 x)) (exp (/ -1 x))))
15.171 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) (- (* (exp (/ 1 x)) (exp (/ -1 x))))) into (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x))))
15.171 * [backup-simplify]: Simplify (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) into (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x))))
15.171 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
15.172 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
15.172 * [backup-simplify]: Simplify (- 0) into 0
15.172 * [backup-simplify]: Simplify (+ 0 0) into 0
15.172 * [backup-simplify]: Simplify 0 into 0
15.173 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
15.174 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
15.174 * [backup-simplify]: Simplify (- 0) into 0
15.174 * [backup-simplify]: Simplify (+ 0 0) into 0
15.174 * [backup-simplify]: Simplify 0 into 0
15.175 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
15.176 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
15.177 * [backup-simplify]: Simplify (- 0) into 0
15.177 * [backup-simplify]: Simplify (+ 0 0) into 0
15.177 * [backup-simplify]: Simplify 0 into 0
15.178 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
15.180 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
15.180 * [backup-simplify]: Simplify (- 0) into 0
15.180 * [backup-simplify]: Simplify (+ 0 0) into 0
15.181 * [backup-simplify]: Simplify 0 into 0
15.182 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
15.184 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
15.184 * [backup-simplify]: Simplify (- 0) into 0
15.185 * [backup-simplify]: Simplify (+ 0 0) into 0
15.185 * [backup-simplify]: Simplify 0 into 0
15.187 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
15.189 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
15.189 * [backup-simplify]: Simplify (- 0) into 0
15.190 * [backup-simplify]: Simplify (+ 0 0) into 0
15.190 * [backup-simplify]: Simplify 0 into 0
15.190 * [backup-simplify]: Simplify (- (pow (exp (/ 1 (/ 1 (- x)))) 2) (* (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (- (pow (exp (* -1 x)) 2) (* (exp (* -1 x)) (exp x)))
15.190 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
15.191 * [backup-simplify]: Simplify (* (exp (- x)) (exp (- x))) into (pow (exp (- x)) 2)
15.191 * [approximate]: Taking taylor expansion of (pow (exp (- x)) 2) in (x) around 0
15.191 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x
15.191 * [taylor]: Taking taylor expansion of (exp (- x)) in x
15.191 * [taylor]: Taking taylor expansion of (- x) in x
15.191 * [taylor]: Taking taylor expansion of x in x
15.191 * [backup-simplify]: Simplify 0 into 0
15.191 * [backup-simplify]: Simplify 1 into 1
15.191 * [backup-simplify]: Simplify (- 0) into 0
15.192 * [backup-simplify]: Simplify (- 1) into -1
15.192 * [backup-simplify]: Simplify (exp 0) into 1
15.192 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x
15.192 * [taylor]: Taking taylor expansion of (exp (- x)) in x
15.192 * [taylor]: Taking taylor expansion of (- x) in x
15.192 * [taylor]: Taking taylor expansion of x in x
15.192 * [backup-simplify]: Simplify 0 into 0
15.192 * [backup-simplify]: Simplify 1 into 1
15.192 * [backup-simplify]: Simplify (- 0) into 0
15.193 * [backup-simplify]: Simplify (- 1) into -1
15.193 * [backup-simplify]: Simplify (exp 0) into 1
15.193 * [backup-simplify]: Simplify (* 1 1) into 1
15.193 * [backup-simplify]: Simplify 1 into 1
15.193 * [backup-simplify]: Simplify (- 1) into -1
15.195 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
15.195 * [backup-simplify]: Simplify (+ (* 1 -1) (* -1 1)) into -2
15.195 * [backup-simplify]: Simplify -2 into -2
15.196 * [backup-simplify]: Simplify (- 1) into -1
15.196 * [backup-simplify]: Simplify (- 0) into 0
15.198 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
15.199 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* -1 -1) (* 1/2 1))) into 2
15.199 * [backup-simplify]: Simplify 2 into 2
15.199 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x))
15.200 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) into (pow (exp (- (/ 1 x))) 2)
15.200 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in (x) around 0
15.200 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x
15.200 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
15.200 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.200 * [taylor]: Taking taylor expansion of x in x
15.200 * [backup-simplify]: Simplify 0 into 0
15.200 * [backup-simplify]: Simplify 1 into 1
15.200 * [backup-simplify]: Simplify (/ 1 1) into 1
15.201 * [backup-simplify]: Simplify (- 1) into -1
15.201 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
15.201 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x
15.201 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
15.201 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.201 * [taylor]: Taking taylor expansion of x in x
15.201 * [backup-simplify]: Simplify 0 into 0
15.201 * [backup-simplify]: Simplify 1 into 1
15.201 * [backup-simplify]: Simplify (/ 1 1) into 1
15.202 * [backup-simplify]: Simplify (- 1) into -1
15.202 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
15.202 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) into (pow (exp (- (/ 1 x))) 2)
15.202 * [backup-simplify]: Simplify (pow (exp (- (/ 1 x))) 2) into (pow (exp (- (/ 1 x))) 2)
15.202 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (* 0 (exp (- (/ 1 x))))) into 0
15.202 * [backup-simplify]: Simplify 0 into 0
15.203 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))) into 0
15.203 * [backup-simplify]: Simplify 0 into 0
15.204 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))) into 0
15.204 * [backup-simplify]: Simplify 0 into 0
15.205 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))) into 0
15.205 * [backup-simplify]: Simplify 0 into 0
15.207 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))))) into 0
15.207 * [backup-simplify]: Simplify 0 into 0
15.209 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))))) into 0
15.209 * [backup-simplify]: Simplify 0 into 0
15.210 * [backup-simplify]: Simplify (pow (exp (- (/ 1 (/ 1 x)))) 2) into (pow (exp (- x)) 2)
15.210 * [backup-simplify]: Simplify (* (exp (- (/ 1 (- x)))) (exp (- (/ 1 (- x))))) into (pow (exp (/ 1 x)) 2)
15.210 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
15.210 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
15.210 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.210 * [taylor]: Taking taylor expansion of x in x
15.210 * [backup-simplify]: Simplify 0 into 0
15.210 * [backup-simplify]: Simplify 1 into 1
15.210 * [backup-simplify]: Simplify (/ 1 1) into 1
15.211 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.211 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
15.211 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.211 * [taylor]: Taking taylor expansion of x in x
15.211 * [backup-simplify]: Simplify 0 into 0
15.211 * [backup-simplify]: Simplify 1 into 1
15.211 * [backup-simplify]: Simplify (/ 1 1) into 1
15.211 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.211 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
15.212 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
15.212 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
15.212 * [backup-simplify]: Simplify 0 into 0
15.212 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
15.212 * [backup-simplify]: Simplify 0 into 0
15.213 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
15.213 * [backup-simplify]: Simplify 0 into 0
15.215 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
15.215 * [backup-simplify]: Simplify 0 into 0
15.216 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
15.216 * [backup-simplify]: Simplify 0 into 0
15.219 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
15.219 * [backup-simplify]: Simplify 0 into 0
15.219 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 (- x)))) 2) into (pow (exp (* -1 x)) 2)
15.219 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
15.219 * [backup-simplify]: Simplify (pow (exp x) 3) into (pow (exp x) 3)
15.219 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0
15.219 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
15.219 * [taylor]: Taking taylor expansion of (exp x) in x
15.219 * [taylor]: Taking taylor expansion of x in x
15.219 * [backup-simplify]: Simplify 0 into 0
15.219 * [backup-simplify]: Simplify 1 into 1
15.219 * [backup-simplify]: Simplify (exp 0) into 1
15.219 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
15.219 * [taylor]: Taking taylor expansion of (exp x) in x
15.220 * [taylor]: Taking taylor expansion of x in x
15.220 * [backup-simplify]: Simplify 0 into 0
15.220 * [backup-simplify]: Simplify 1 into 1
15.220 * [backup-simplify]: Simplify (exp 0) into 1
15.220 * [backup-simplify]: Simplify (* 1 1) into 1
15.221 * [backup-simplify]: Simplify (* 1 1) into 1
15.221 * [backup-simplify]: Simplify 1 into 1
15.222 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
15.222 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
15.223 * [backup-simplify]: Simplify (+ (* 1 2) (* 1 1)) into 3
15.223 * [backup-simplify]: Simplify 3 into 3
15.224 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
15.225 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
15.226 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2
15.226 * [backup-simplify]: Simplify 9/2 into 9/2
15.226 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1))
15.227 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
15.227 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
15.227 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
15.227 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.227 * [taylor]: Taking taylor expansion of x in x
15.227 * [backup-simplify]: Simplify 0 into 0
15.227 * [backup-simplify]: Simplify 1 into 1
15.227 * [backup-simplify]: Simplify (/ 1 1) into 1
15.227 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.227 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
15.227 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.228 * [taylor]: Taking taylor expansion of x in x
15.228 * [backup-simplify]: Simplify 0 into 0
15.228 * [backup-simplify]: Simplify 1 into 1
15.228 * [backup-simplify]: Simplify (/ 1 1) into 1
15.228 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.228 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
15.229 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
15.229 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
15.229 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
15.229 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
15.229 * [backup-simplify]: Simplify 0 into 0
15.230 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
15.231 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
15.231 * [backup-simplify]: Simplify 0 into 0
15.238 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
15.239 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
15.239 * [backup-simplify]: Simplify 0 into 0
15.240 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
15.242 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
15.242 * [backup-simplify]: Simplify 0 into 0
15.243 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
15.245 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
15.245 * [backup-simplify]: Simplify 0 into 0
15.246 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
15.247 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))))) into 0
15.247 * [backup-simplify]: Simplify 0 into 0
15.247 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 3) into (pow (exp x) 3)
15.248 * [backup-simplify]: Simplify (pow (exp (/ 1 (- x))) 3) into (pow (exp (/ -1 x)) 3)
15.248 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0
15.248 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
15.248 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
15.248 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.248 * [taylor]: Taking taylor expansion of -1 in x
15.248 * [backup-simplify]: Simplify -1 into -1
15.248 * [taylor]: Taking taylor expansion of x in x
15.248 * [backup-simplify]: Simplify 0 into 0
15.248 * [backup-simplify]: Simplify 1 into 1
15.248 * [backup-simplify]: Simplify (/ -1 1) into -1
15.248 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
15.248 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
15.248 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
15.248 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.248 * [taylor]: Taking taylor expansion of -1 in x
15.248 * [backup-simplify]: Simplify -1 into -1
15.248 * [taylor]: Taking taylor expansion of x in x
15.248 * [backup-simplify]: Simplify 0 into 0
15.248 * [backup-simplify]: Simplify 1 into 1
15.248 * [backup-simplify]: Simplify (/ -1 1) into -1
15.249 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
15.249 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
15.249 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3)
15.249 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 3) into (pow (exp (/ -1 x)) 3)
15.249 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
15.249 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0
15.249 * [backup-simplify]: Simplify 0 into 0
15.250 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
15.250 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0
15.250 * [backup-simplify]: Simplify 0 into 0
15.251 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
15.251 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0
15.251 * [backup-simplify]: Simplify 0 into 0
15.252 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
15.253 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0
15.253 * [backup-simplify]: Simplify 0 into 0
15.254 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
15.255 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0
15.255 * [backup-simplify]: Simplify 0 into 0
15.256 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
15.257 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))))) into 0
15.257 * [backup-simplify]: Simplify 0 into 0
15.257 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 3) into (pow (exp x) 3)
15.257 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
15.258 * [backup-simplify]: Simplify (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) into (/ 2.0 (+ (pow (exp (- x)) 3) (pow (exp x) 3)))
15.258 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (- x)) 3) (pow (exp x) 3))) in (x) around 0
15.258 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (- x)) 3) (pow (exp x) 3))) in x
15.258 * [taylor]: Taking taylor expansion of 2.0 in x
15.258 * [backup-simplify]: Simplify 2.0 into 2.0
15.258 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 3) (pow (exp x) 3)) in x
15.258 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x
15.258 * [taylor]: Taking taylor expansion of (exp (- x)) in x
15.258 * [taylor]: Taking taylor expansion of (- x) in x
15.258 * [taylor]: Taking taylor expansion of x in x
15.258 * [backup-simplify]: Simplify 0 into 0
15.258 * [backup-simplify]: Simplify 1 into 1
15.258 * [backup-simplify]: Simplify (- 0) into 0
15.258 * [backup-simplify]: Simplify (- 1) into -1
15.258 * [backup-simplify]: Simplify (exp 0) into 1
15.258 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
15.258 * [taylor]: Taking taylor expansion of (exp x) in x
15.258 * [taylor]: Taking taylor expansion of x in x
15.258 * [backup-simplify]: Simplify 0 into 0
15.258 * [backup-simplify]: Simplify 1 into 1
15.258 * [backup-simplify]: Simplify (exp 0) into 1
15.259 * [backup-simplify]: Simplify (* 1 1) into 1
15.259 * [backup-simplify]: Simplify (* 1 1) into 1
15.259 * [backup-simplify]: Simplify (* 1 1) into 1
15.259 * [backup-simplify]: Simplify (* 1 1) into 1
15.260 * [backup-simplify]: Simplify (+ 1 1) into 2
15.260 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
15.260 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (- x)) 3) (pow (exp x) 3))) in x
15.260 * [taylor]: Taking taylor expansion of 2.0 in x
15.260 * [backup-simplify]: Simplify 2.0 into 2.0
15.260 * [taylor]: Taking taylor expansion of (+ (pow (exp (- x)) 3) (pow (exp x) 3)) in x
15.260 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x
15.260 * [taylor]: Taking taylor expansion of (exp (- x)) in x
15.260 * [taylor]: Taking taylor expansion of (- x) in x
15.260 * [taylor]: Taking taylor expansion of x in x
15.260 * [backup-simplify]: Simplify 0 into 0
15.260 * [backup-simplify]: Simplify 1 into 1
15.260 * [backup-simplify]: Simplify (- 0) into 0
15.261 * [backup-simplify]: Simplify (- 1) into -1
15.261 * [backup-simplify]: Simplify (exp 0) into 1
15.261 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
15.261 * [taylor]: Taking taylor expansion of (exp x) in x
15.261 * [taylor]: Taking taylor expansion of x in x
15.261 * [backup-simplify]: Simplify 0 into 0
15.261 * [backup-simplify]: Simplify 1 into 1
15.261 * [backup-simplify]: Simplify (exp 0) into 1
15.261 * [backup-simplify]: Simplify (* 1 1) into 1
15.261 * [backup-simplify]: Simplify (* 1 1) into 1
15.261 * [backup-simplify]: Simplify (* 1 1) into 1
15.262 * [backup-simplify]: Simplify (* 1 1) into 1
15.262 * [backup-simplify]: Simplify (+ 1 1) into 2
15.262 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
15.262 * [backup-simplify]: Simplify 1.0 into 1.0
15.262 * [backup-simplify]: Simplify (- 1) into -1
15.263 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
15.264 * [backup-simplify]: Simplify (+ (* 1 -1) (* -1 1)) into -2
15.264 * [backup-simplify]: Simplify (+ (* 1 -2) (* -1 1)) into -3
15.265 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
15.265 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
15.265 * [backup-simplify]: Simplify (+ (* 1 2) (* 1 1)) into 3
15.266 * [backup-simplify]: Simplify (+ -3 3) into 0
15.266 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)))) into 0
15.266 * [backup-simplify]: Simplify 0 into 0
15.266 * [backup-simplify]: Simplify (- 1) into -1
15.267 * [backup-simplify]: Simplify (- 0) into 0
15.268 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
15.268 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* -1 -1) (* 1/2 1))) into 2
15.269 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* -1 -2) (* 1/2 1))) into 9/2
15.270 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
15.270 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
15.271 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2
15.271 * [backup-simplify]: Simplify (+ 9/2 9/2) into 9
15.273 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 9 2)) (* 0 (/ 0 2)))) into (- 4.5)
15.274 * [backup-simplify]: Simplify (- 4.5) into (- 4.5)
15.275 * [backup-simplify]: Simplify (- 1) into -1
15.275 * [backup-simplify]: Simplify (- 1) into -1
15.275 * [backup-simplify]: Simplify (- 0) into 0
15.275 * [backup-simplify]: Simplify (- 0) into 0
15.277 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
15.277 * [backup-simplify]: Simplify (+ (* 1 -1/6) (+ (* -1 1/2) (+ (* 1/2 -1) (* -1/6 1)))) into -4/3
15.278 * [backup-simplify]: Simplify (+ (* 1 -4/3) (+ (* -1 2) (+ (* 1/2 -2) (* -1/6 1)))) into -9/2
15.280 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
15.280 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 1 1/2) (+ (* 1/2 1) (* 1/6 1)))) into 4/3
15.282 * [backup-simplify]: Simplify (+ (* 1 4/3) (+ (* 1 2) (+ (* 1/2 2) (* 1/6 1)))) into 9/2
15.282 * [backup-simplify]: Simplify (+ -9/2 9/2) into 0
15.284 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)) (* 0 (/ 9 2)) (* (- 4.5) (/ 0 2)))) into 0
15.284 * [backup-simplify]: Simplify 0 into 0
15.284 * [backup-simplify]: Simplify (- 1) into -1
15.285 * [backup-simplify]: Simplify (- 1) into -1
15.285 * [backup-simplify]: Simplify (- 0) into 0
15.285 * [backup-simplify]: Simplify (- 1) into -1
15.286 * [backup-simplify]: Simplify (- 0) into 0
15.286 * [backup-simplify]: Simplify (- 0) into 0
15.287 * [backup-simplify]: Simplify (- 0) into 0
15.291 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
15.293 * [backup-simplify]: Simplify (+ (* 1 1/24) (+ (* -1 -1/6) (+ (* 1/2 1/2) (+ (* -1/6 -1) (* 1/24 1))))) into 2/3
15.295 * [backup-simplify]: Simplify (+ (* 1 2/3) (+ (* -1 -4/3) (+ (* 1/2 2) (+ (* -1/6 -2) (* 1/24 1))))) into 27/8
15.300 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
15.302 * [backup-simplify]: Simplify (+ (* 1 1/24) (+ (* 1 1/6) (+ (* 1/2 1/2) (+ (* 1/6 1) (* 1/24 1))))) into 2/3
15.304 * [backup-simplify]: Simplify (+ (* 1 2/3) (+ (* 1 4/3) (+ (* 1/2 2) (+ (* 1/6 2) (* 1/24 1))))) into 27/8
15.304 * [backup-simplify]: Simplify (+ 27/8 27/8) into 27/4
15.312 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 27/4 2)) (* 0 (/ 0 2)) (* (- 4.5) (/ 9 2)) (* 0 (/ 0 2)))) into 16.875
15.312 * [backup-simplify]: Simplify 16.875 into 16.875
15.313 * [backup-simplify]: Simplify (+ (* 16.875 (pow x 4)) (+ (* (- 4.5) (pow x 2)) 1.0)) into (- (+ (* 16.875 (pow x 4)) 1.0) (* 4.5 (pow x 2)))
15.313 * [backup-simplify]: Simplify (/ 2.0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3))) into (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))
15.313 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) in (x) around 0
15.313 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) in x
15.313 * [taylor]: Taking taylor expansion of 2.0 in x
15.313 * [backup-simplify]: Simplify 2.0 into 2.0
15.313 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) in x
15.313 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x
15.313 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
15.314 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.314 * [taylor]: Taking taylor expansion of x in x
15.314 * [backup-simplify]: Simplify 0 into 0
15.314 * [backup-simplify]: Simplify 1 into 1
15.314 * [backup-simplify]: Simplify (/ 1 1) into 1
15.314 * [backup-simplify]: Simplify (- 1) into -1
15.315 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
15.315 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
15.315 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.315 * [taylor]: Taking taylor expansion of x in x
15.315 * [backup-simplify]: Simplify 0 into 0
15.315 * [backup-simplify]: Simplify 1 into 1
15.315 * [backup-simplify]: Simplify (/ 1 1) into 1
15.315 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.315 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) into (pow (exp (- (/ 1 x))) 2)
15.316 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (pow (exp (- (/ 1 x))) 2)) into (pow (exp (- (/ 1 x))) 3)
15.316 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
15.316 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
15.317 * [backup-simplify]: Simplify (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) into (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3))
15.317 * [backup-simplify]: Simplify (/ 2.0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3))) into (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))
15.317 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) in x
15.317 * [taylor]: Taking taylor expansion of 2.0 in x
15.317 * [backup-simplify]: Simplify 2.0 into 2.0
15.317 * [taylor]: Taking taylor expansion of (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) in x
15.317 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x
15.317 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
15.317 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
15.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.317 * [taylor]: Taking taylor expansion of x in x
15.317 * [backup-simplify]: Simplify 0 into 0
15.317 * [backup-simplify]: Simplify 1 into 1
15.318 * [backup-simplify]: Simplify (/ 1 1) into 1
15.318 * [backup-simplify]: Simplify (- 1) into -1
15.318 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
15.319 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
15.319 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.319 * [taylor]: Taking taylor expansion of x in x
15.319 * [backup-simplify]: Simplify 0 into 0
15.319 * [backup-simplify]: Simplify 1 into 1
15.319 * [backup-simplify]: Simplify (/ 1 1) into 1
15.319 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.319 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) into (pow (exp (- (/ 1 x))) 2)
15.320 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (pow (exp (- (/ 1 x))) 2)) into (pow (exp (- (/ 1 x))) 3)
15.320 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
15.320 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
15.321 * [backup-simplify]: Simplify (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)) into (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3))
15.321 * [backup-simplify]: Simplify (/ 2.0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3))) into (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3)))
15.321 * [backup-simplify]: Simplify (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) into (/ 2.0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))
15.322 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (* 0 (exp (- (/ 1 x))))) into 0
15.322 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (* 0 (pow (exp (- (/ 1 x))) 2))) into 0
15.322 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
15.323 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
15.323 * [backup-simplify]: Simplify (+ 0 0) into 0
15.324 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3))) (+ (* (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))))) into 0
15.324 * [backup-simplify]: Simplify 0 into 0
15.325 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))) into 0
15.326 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2)))) into 0
15.326 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
15.327 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
15.327 * [backup-simplify]: Simplify (+ 0 0) into 0
15.329 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3))) (+ (* (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))))) into 0
15.329 * [backup-simplify]: Simplify 0 into 0
15.330 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))) into 0
15.331 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2))))) into 0
15.332 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
15.333 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
15.334 * [backup-simplify]: Simplify (+ 0 0) into 0
15.336 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3))) (+ (* (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))))) into 0
15.336 * [backup-simplify]: Simplify 0 into 0
15.337 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))) into 0
15.339 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2)))))) into 0
15.340 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
15.341 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
15.342 * [backup-simplify]: Simplify (+ 0 0) into 0
15.344 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3))) (+ (* (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))))) into 0
15.344 * [backup-simplify]: Simplify 0 into 0
15.346 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))))) into 0
15.348 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2))))))) into 0
15.350 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
15.351 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
15.352 * [backup-simplify]: Simplify (+ 0 0) into 0
15.355 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3))) (+ (* (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))))) into 0
15.355 * [backup-simplify]: Simplify 0 into 0
15.356 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))))) into 0
15.358 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2)))))))) into 0
15.359 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
15.363 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))))) into 0
15.363 * [backup-simplify]: Simplify (+ 0 0) into 0
15.365 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3))) (+ (* (/ 2.0 (+ (pow (exp (- (/ 1 x))) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 3) (pow (exp (- (/ 1 x))) 3)))))) into 0
15.365 * [backup-simplify]: Simplify 0 into 0
15.366 * [backup-simplify]: Simplify (/ 2.0 (+ (pow (exp (/ 1 (/ 1 x))) 3) (pow (exp (- (/ 1 (/ 1 x)))) 3))) into (/ 2.0 (+ (pow (exp (- x)) 3) (pow (exp x) 3)))
15.366 * [backup-simplify]: Simplify (/ 2.0 (+ (pow (exp (/ 1 (- x))) 3) (pow (exp (- (/ 1 (- x)))) 3))) into (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))
15.366 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) in (x) around 0
15.366 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) in x
15.366 * [taylor]: Taking taylor expansion of 2.0 in x
15.366 * [backup-simplify]: Simplify 2.0 into 2.0
15.366 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x
15.366 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
15.366 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
15.366 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.366 * [taylor]: Taking taylor expansion of -1 in x
15.366 * [backup-simplify]: Simplify -1 into -1
15.366 * [taylor]: Taking taylor expansion of x in x
15.366 * [backup-simplify]: Simplify 0 into 0
15.366 * [backup-simplify]: Simplify 1 into 1
15.366 * [backup-simplify]: Simplify (/ -1 1) into -1
15.366 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
15.366 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
15.366 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.366 * [taylor]: Taking taylor expansion of x in x
15.366 * [backup-simplify]: Simplify 0 into 0
15.367 * [backup-simplify]: Simplify 1 into 1
15.367 * [backup-simplify]: Simplify (/ 1 1) into 1
15.367 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.367 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
15.367 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3)
15.367 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
15.367 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
15.367 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) into (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))
15.368 * [backup-simplify]: Simplify (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) into (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))
15.368 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) in x
15.368 * [taylor]: Taking taylor expansion of 2.0 in x
15.368 * [backup-simplify]: Simplify 2.0 into 2.0
15.368 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) in x
15.368 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
15.368 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
15.368 * [taylor]: Taking taylor expansion of (/ -1 x) in x
15.368 * [taylor]: Taking taylor expansion of -1 in x
15.368 * [backup-simplify]: Simplify -1 into -1
15.368 * [taylor]: Taking taylor expansion of x in x
15.368 * [backup-simplify]: Simplify 0 into 0
15.368 * [backup-simplify]: Simplify 1 into 1
15.368 * [backup-simplify]: Simplify (/ -1 1) into -1
15.368 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
15.368 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
15.368 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
15.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x
15.368 * [taylor]: Taking taylor expansion of x in x
15.368 * [backup-simplify]: Simplify 0 into 0
15.368 * [backup-simplify]: Simplify 1 into 1
15.369 * [backup-simplify]: Simplify (/ 1 1) into 1
15.369 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
15.369 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
15.369 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3)
15.369 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
15.369 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
15.369 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)) into (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))
15.370 * [backup-simplify]: Simplify (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) into (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))
15.370 * [backup-simplify]: Simplify (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) into (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))
15.370 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
15.370 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0
15.370 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
15.370 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
15.371 * [backup-simplify]: Simplify (+ 0 0) into 0
15.371 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (+ (* (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))))) into 0
15.371 * [backup-simplify]: Simplify 0 into 0
15.372 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
15.372 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0
15.373 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
15.373 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
15.373 * [backup-simplify]: Simplify (+ 0 0) into 0
15.374 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (+ (* (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))))) into 0
15.374 * [backup-simplify]: Simplify 0 into 0
15.375 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
15.375 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0
15.376 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
15.376 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
15.377 * [backup-simplify]: Simplify (+ 0 0) into 0
15.378 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (+ (* (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))))) into 0
15.378 * [backup-simplify]: Simplify 0 into 0
15.379 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
15.379 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0
15.380 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
15.381 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
15.381 * [backup-simplify]: Simplify (+ 0 0) into 0
15.383 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (+ (* (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))))) into 0
15.383 * [backup-simplify]: Simplify 0 into 0
15.384 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
15.385 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0
15.387 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
15.388 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
15.389 * [backup-simplify]: Simplify (+ 0 0) into 0
15.391 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (+ (* (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))))) into 0
15.392 * [backup-simplify]: Simplify 0 into 0
15.393 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
15.396 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))))) into 0
15.398 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
15.400 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))))) into 0
15.400 * [backup-simplify]: Simplify (+ 0 0) into 0
15.403 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (+ (* (/ 2.0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3))) (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))) (* 0 (/ 0 (+ (pow (exp (/ -1 x)) 3) (pow (exp (/ 1 x)) 3)))))) into 0
15.404 * [backup-simplify]: Simplify 0 into 0
15.404 * [backup-simplify]: Simplify (/ 2.0 (+ (pow (exp (/ -1 (/ 1 (- x)))) 3) (pow (exp (/ 1 (/ 1 (- x)))) 3))) into (/ 2.0 (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)))
15.404 * * * [progress]: simplifying candidates
15.410 * [simplify]: Simplifying:
  (/ (exp (* (exp (- x)) (exp (- x)))) (exp (* (exp x) (exp (- x)))))
  (log (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (exp (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (* (cbrt (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (cbrt (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
  (cbrt (- (* (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)))))
  (sqrt (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (sqrt (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (exp (- x)) (exp x))
  (- (exp (- x)) (* (exp x) 1))
  (- (exp (- x)) (* (exp x) (exp 0)))
  (- (* (exp (- x)) 1) (exp x))
  (- (* (exp (- x)) 1) (* (exp x) 1))
  (- (* (exp (- x)) 1) (* (exp x) (exp 0)))
  (- (* (exp (- x)) (exp 0)) (exp x))
  (- (* (exp (- x)) (exp 0)) (* (exp x) 1))
  (- (* (exp (- x)) (exp 0)) (* (exp x) (exp 0)))
  (- (* 1 (exp (- x))) (exp x))
  (- (* 1 (exp (- x))) (* (exp x) 1))
  (- (* 1 (exp (- x))) (* (exp x) (exp 0)))
  (- (* (exp 0) (exp (- x))) (exp x))
  (- (* (exp 0) (exp (- x))) (* (exp x) 1))
  (- (* (exp 0) (exp (- x))) (* (exp x) (exp 0)))
  (- (* (* 1 1) (exp x)) (* (* (exp x) (exp x)) (exp x)))
  (* (* (exp x) (exp x)) (exp x))
  (- (* (* 1 1) (exp x)) (* (* (exp x) (exp x)) (* (exp x) 1)))
  (* (* (exp x) (exp x)) (exp x))
  (- (* (* 1 1) (exp x)) (* (* (exp x) (exp x)) (* (exp x) (exp 0))))
  (* (* (exp x) (exp x)) (exp x))
  (- (* (* 1 (exp 0)) (exp x)) (* (* (exp x) (exp x)) (exp x)))
  (* (* (exp x) (exp x)) (exp x))
  (- (* (* 1 (exp 0)) (exp x)) (* (* (exp x) (exp x)) (* (exp x) 1)))
  (* (* (exp x) (exp x)) (exp x))
  (- (* (* 1 (exp 0)) (exp x)) (* (* (exp x) (exp x)) (* (exp x) (exp 0))))
  (* (* (exp x) (exp x)) (exp x))
  (- (* (* (exp 0) 1) (exp x)) (* (* (exp x) (exp x)) (exp x)))
  (* (* (exp x) (exp x)) (exp x))
  (- (* (* (exp 0) 1) (exp x)) (* (* (exp x) (exp x)) (* (exp x) 1)))
  (* (* (exp x) (exp x)) (exp x))
  (- (* (* (exp 0) 1) (exp x)) (* (* (exp x) (exp x)) (* (exp x) (exp 0))))
  (* (* (exp x) (exp x)) (exp x))
  (- (* (* (exp 0) (exp 0)) (exp x)) (* (* (exp x) (exp x)) (exp x)))
  (* (* (exp x) (exp x)) (exp x))
  (- (* (* (exp 0) (exp 0)) (exp x)) (* (* (exp x) (exp x)) (* (exp x) 1)))
  (* (* (exp x) (exp x)) (exp x))
  (- (* (* (exp 0) (exp 0)) (exp x)) (* (* (exp x) (exp x)) (* (exp x) (exp 0))))
  (* (* (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)))
  (* (exp x) (exp x))
  (- (* (exp (- x)) (exp x)) (* (exp x) (* (exp x) (exp 0))))
  (* (exp x) (exp x))
  (- (* (* (exp (- x)) 1) (exp x)) (* (exp x) (exp x)))
  (* (exp x) (exp x))
  (- (* (* (exp (- x)) 1) (exp x)) (* (exp x) (* (exp x) 1)))
  (* (exp x) (exp x))
  (- (* (* (exp (- x)) 1) (exp x)) (* (exp x) (* (exp x) (exp 0))))
  (* (exp x) (exp x))
  (- (* (* (exp (- x)) (exp 0)) (exp x)) (* (exp x) (exp x)))
  (* (exp x) (exp x))
  (- (* (* (exp (- x)) (exp 0)) (exp x)) (* (exp x) (* (exp x) 1)))
  (* (exp x) (exp x))
  (- (* (* (exp (- x)) (exp 0)) (exp x)) (* (exp x) (* (exp x) (exp 0))))
  (* (exp x) (exp x))
  (- (* (* 1 (exp (- x))) (exp x)) (* (exp x) (exp x)))
  (* (exp x) (exp x))
  (- (* (* 1 (exp (- x))) (exp x)) (* (exp x) (* (exp x) 1)))
  (* (exp x) (exp x))
  (- (* (* 1 (exp (- x))) (exp x)) (* (exp x) (* (exp x) (exp 0))))
  (* (exp x) (exp x))
  (- (* (* (exp 0) (exp (- x))) (exp x)) (* (exp x) (exp x)))
  (* (exp x) (exp x))
  (- (* (* (exp 0) (exp (- x))) (exp x)) (* (exp x) (* (exp x) 1)))
  (* (exp x) (exp x))
  (- (* (* (exp 0) (exp (- x))) (exp x)) (* (exp x) (* (exp x) (exp 0))))
  (* (exp x) (exp x))
  (- (pow (* (exp (- x)) (exp (- x))) 3) (pow (* (exp x) (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))))
  (- (* (* (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))))
  (+ 1 1)
  (+ (cbrt (- x)) (cbrt (- x)))
  (+ (sqrt (- x)) (sqrt (- x)))
  (+ (- x) (- x))
  (+ (- x) (- x))
  (+ x x)
  (+ (cbrt x) (cbrt x))
  (+ (sqrt x) (sqrt x))
  (+ x x)
  (+ (- (cbrt x)) (- (cbrt x)))
  (+ (- (sqrt x)) (- (sqrt x)))
  (+ (- x) (- x))
  (+ (- x) (- x))
  (* (exp (- x)) (exp (- x)))
  (* (exp (* (cbrt (- x)) (cbrt (- x)))) (exp (* (cbrt (- x)) (cbrt (- x)))))
  (* (exp (sqrt (- x))) (exp (sqrt (- x))))
  (* (exp 1) (exp 1))
  (* (exp 1) (exp 1))
  (* (exp -1) (exp -1))
  (* (exp -1) (exp (- 1)))
  (* (exp (- (* (cbrt x) (cbrt x)))) (exp (- (* (cbrt x) (cbrt x)))))
  (* (exp (- (sqrt x))) (exp (- (sqrt x))))
  (* (exp (- 1)) (exp -1))
  (* (exp (- 1)) (exp (- 1)))
  (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))))
  (* (exp (sqrt x)) (exp (sqrt x)))
  (* (exp 1) (exp 1))
  (* (exp 1) (exp 1))
  (+ 1 1)
  (+ (- x) (- x))
  (log (* (exp (- x)) (exp (- x))))
  (exp (* (exp (- x)) (exp (- x))))
  (* (* (* (exp (- x)) (exp (- x))) (exp (- x))) (* (* (exp (- x)) (exp (- x))) (exp (- x))))
  (* (cbrt (* (exp (- x)) (exp (- x)))) (cbrt (* (exp (- x)) (exp (- x)))))
  (cbrt (* (exp (- x)) (exp (- x))))
  (* (* (* (exp (- x)) (exp (- x))) (* (exp (- x)) (exp (- x)))) (* (exp (- x)) (exp (- x))))
  (sqrt (* (exp (- x)) (exp (- x))))
  (sqrt (* (exp (- x)) (exp (- x))))
  (* 1 1)
  (* (exp x) (exp x))
  (* 1 (exp 0))
  (* (exp x) (exp x))
  (* (exp 0) 1)
  (* (exp x) (exp x))
  (* (exp 0) (exp 0))
  (* (exp x) (exp x))
  (* (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))
  (* (cbrt (exp (- x))) (cbrt (exp (- x))))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* 1 1)
  (* (exp (- x)) (exp (- x)))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* 2 1)
  (* 2 (cbrt (- x)))
  (* 2 (sqrt (- x)))
  (* 2 (- x))
  (* 2 (- x))
  (* 2 x)
  (* 2 (cbrt x))
  (* 2 (sqrt x))
  (* 2 x)
  (* 2 (- (cbrt x)))
  (* 2 (- (sqrt x)))
  (* 2 (- x))
  (* 2 (- x))
  (* (exp (- x)) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))
  (* (exp (- x)) (sqrt (exp (- x))))
  (* (exp (- x)) 1)
  (* (cbrt (exp (- x))) (exp (- x)))
  (* (sqrt (exp (- x))) (exp (- x)))
  (* (exp (- x)) (exp (- x)))
  (* (exp (- x)) 1)
  (* (exp (- x)) (exp 0))
  (* 1 (exp (- x)))
  (* (exp 0) (exp (- x)))
  (* x 3)
  (* (log (exp x)) 3)
  (* 1 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (pow (exp x) 1)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (log (pow (exp x) 3))
  (exp (pow (exp x) 3))
  (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3)))
  (cbrt (pow (exp x) 3))
  (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) (/ 3 2))
  (pow (exp x) (/ 3 2))
  (- (log 2.0) (log (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (log (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (exp (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (/ (* (* 2.0 2.0) 2.0) (* (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (* (cbrt (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (cbrt (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))))
  (cbrt (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (* (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (sqrt (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (sqrt (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (- 2.0)
  (- (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))))
  (/ (cbrt 2.0) (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (/ (cbrt 2.0) (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
  (/ (cbrt 2.0) (+ (exp x) (exp (- x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (pow 1 3))
  (/ (cbrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (pow 1 3))
  (/ (cbrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (pow 1 3))
  (/ (cbrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (pow 1 3))
  (/ (cbrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (sqrt 2.0) (* (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))))
  (/ (sqrt 2.0) (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (/ (sqrt 2.0) (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (/ (sqrt 2.0) (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (/ (sqrt 2.0) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (sqrt 2.0) (pow 1 3))
  (/ (sqrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (sqrt 2.0) (pow 1 3))
  (/ (sqrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (sqrt 2.0) (pow 1 3))
  (/ (sqrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (sqrt 2.0) (pow 1 3))
  (/ (sqrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 1 (* (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))))
  (/ 2.0 (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (/ 1 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (/ 1 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 1 1)
  (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 1 (pow 1 3))
  (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 1 (pow 1 3))
  (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 1 (pow 1 3))
  (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 1 (pow 1 3))
  (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 1 1)
  (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 1 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) 2.0)
  (/ 2.0 (* (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (cbrt (+ (pow (exp x) 3) (pow (exp (- x)) 3)))))
  (/ 2.0 (sqrt (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
  (/ 2.0 (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
  (/ 2.0 1)
  (/ 2.0 (pow 1 3))
  (/ 2.0 (pow 1 3))
  (/ 2.0 (pow 1 3))
  (/ 2.0 (pow 1 3))
  (/ 2.0 1)
  (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (cbrt 2.0))
  (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (sqrt 2.0))
  (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) 2.0)
  (/ 2.0 (+ (pow (pow (exp x) 3) 3) (pow (pow (exp (- x)) 3) 3)))
  (/ 2.0 (- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow (exp (- x)) 3) (pow (exp (- x)) 3))))
  (- (* 2 (pow x 2)) (+ (* 4/3 (pow x 3)) (* 2 x)))
  (- (pow (exp (- x)) 2) (* (exp x) (exp (- x))))
  (- (pow (exp (* -1 x)) 2) (* (exp (* -1 x)) (exp x)))
  (- (+ (* 2 (pow x 2)) 1) (* 2 x))
  (pow (exp (- x)) 2)
  (pow (exp (* -1 x)) 2)
  (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
  (- (+ (* 16.875 (pow x 4)) 1.0) (* 4.5 (pow x 2)))
  (/ 2.0 (+ (pow (exp (- x)) 3) (pow (exp x) 3)))
  (/ 2.0 (+ (pow (exp (* -1 x)) 3) (pow (exp x) 3)))
17.667 * * * [progress]: adding candidates to table
18.249 * [progress]: [Phase 3 of 3] Extracting.
18.249 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))> #<alt (λ (x) (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))>)
18.249 * * * [regime-changes]: Trying 2 branch expressions: ((+ (exp x) (exp (- x))) x)
18.249 * * * * [regimes]: Trying to branch on (+ (exp x) (exp (- x))) from (#<alt (λ (x) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))> #<alt (λ (x) (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))>)
18.270 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))> #<alt (λ (x) (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))>)
18.289 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
18.289 * [simplify]: Simplifying:
  (* (sqrt 2.0) (/ (sqrt 2.0) (+ (exp x) (exp (- x)))))
30.470 * [regime-testing]: Baseline error score: 0.5058409651674999
30.472 * [regime-testing]: Oracle error score: 0.01188973181153536
30.476 * [regime-testing]: End program error score: 0.5058409651674999