27.809 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.020 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.031 * * * * [points]: Setting MPFR precision to 320
0.039 * * * * [points]: Computing exacts for 256 points
0.044 * * * * [points]: Setting MPFR precision to 64
0.063 * * * * [points]: Setting MPFR precision to 320
0.081 * * * * [points]: Filtering points with unrepresentable outputs
0.081 * * * * [points]: Sampling 118 additional inputs, on iter 1 have 138 / 256
0.082 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
0.098 * * * * [points]: Setting MPFR precision to 64
0.099 * * * * [points]: Setting MPFR precision to 320
0.100 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
0.103 * * * * [points]: Setting MPFR precision to 64
0.105 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Computing exacts for 118 points
0.114 * * * * [points]: Setting MPFR precision to 64
0.124 * * * * [points]: Setting MPFR precision to 320
0.134 * * * * [points]: Filtering points with unrepresentable outputs
0.134 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256
0.134 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision
0.137 * * * * [points]: Setting MPFR precision to 64
0.137 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision
0.140 * * * * [points]: Setting MPFR precision to 64
0.141 * * * * [points]: Setting MPFR precision to 320
0.142 * * * * [points]: Computing exacts for 64 points
0.144 * * * * [points]: Setting MPFR precision to 64
0.147 * * * * [points]: Setting MPFR precision to 320
0.150 * * * * [points]: Filtering points with unrepresentable outputs
0.150 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256
0.151 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
0.153 * * * * [points]: Setting MPFR precision to 64
0.154 * * * * [points]: Setting MPFR precision to 320
0.154 * * * * [points]: Computing exacts for 33 points
0.157 * * * * [points]: Setting MPFR precision to 64
0.158 * * * * [points]: Setting MPFR precision to 320
0.160 * * * * [points]: Filtering points with unrepresentable outputs
0.160 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256
0.160 * * * * [points]: Computing exacts for 14 points
0.162 * * * * [points]: Setting MPFR precision to 64
0.163 * * * * [points]: Setting MPFR precision to 320
0.164 * * * * [points]: Filtering points with unrepresentable outputs
0.164 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.164 * * * * [points]: Computing exacts for 6 points
0.168 * * * * [points]: Setting MPFR precision to 64
0.169 * * * * [points]: Setting MPFR precision to 320
0.169 * * * * [points]: Filtering points with unrepresentable outputs
0.169 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.169 * * * * [points]: Computing exacts for 4 points
0.174 * * * * [points]: Setting MPFR precision to 64
0.174 * * * * [points]: Setting MPFR precision to 320
0.175 * * * * [points]: Filtering points with unrepresentable outputs
0.175 * * * * [points]: Sampled 256 points with exact outputs
0.175 * * * [progress]: [2/2] Setting up program.
0.182 * [progress]: [Phase 2 of 3] Improving.
0.183 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
0.183 * [simplify]: Simplifying:
  (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y))))
0.183 * * [simplify]: iteration 0: 16 enodes
0.188 * * [simplify]: iteration 1: 30 enodes
0.197 * * [simplify]: iteration 2: 48 enodes
0.210 * * [simplify]: iteration 3: 80 enodes
0.258 * * [simplify]: iteration 4: 114 enodes
0.292 * * [simplify]: iteration 5: 178 enodes
0.351 * * [simplify]: iteration 6: 423 enodes
0.597 * * [simplify]: iteration 7: 1221 enodes
1.548 * * [simplify]: iteration 8: 2253 enodes
4.108 * * [simplify]: iteration 9: 4781 enodes
4.501 * * [simplify]: iteration complete: 5033 enodes
4.501 * * [simplify]: Extracting #0: cost 1 inf + 0
4.501 * * [simplify]: Extracting #1: cost 22 inf + 0
4.502 * * [simplify]: Extracting #2: cost 45 inf + 3
4.502 * * [simplify]: Extracting #3: cost 75 inf + 167
4.504 * * [simplify]: Extracting #4: cost 279 inf + 1535
4.511 * * [simplify]: Extracting #5: cost 369 inf + 16786
4.524 * * [simplify]: Extracting #6: cost 36 inf + 67745
4.550 * * [simplify]: Extracting #7: cost 0 inf + 75858
4.568 * * [simplify]: Extracting #8: cost 0 inf + 75787
4.584 * [simplify]: Simplified to:
  (* 1/2 (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
4.588 * * [progress]: iteration 1 / 4
4.588 * * * [progress]: picking best candidate
4.592 * * * * [pick]: Picked  #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
4.592 * * * [progress]: localizing error
4.634 * * * [progress]: generating rewritten candidates
4.634 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 1 1)
4.650 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
4.709 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
4.764 * * * [progress]: generating series expansions
4.764 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 1 1)
4.765 * [backup-simplify]: Simplify (- (exp x) (exp (- x))) into (- (exp x) (exp (- x)))
4.765 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0
4.765 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
4.765 * [taylor]: Taking taylor expansion of (exp x) in x
4.765 * [taylor]: Taking taylor expansion of x in x
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify 1 into 1
4.765 * [backup-simplify]: Simplify (exp 0) into 1
4.765 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.765 * [taylor]: Taking taylor expansion of (- x) in x
4.765 * [taylor]: Taking taylor expansion of x in x
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify 1 into 1
4.765 * [backup-simplify]: Simplify (- 0) into 0
4.766 * [backup-simplify]: Simplify (- 1) into -1
4.766 * [backup-simplify]: Simplify (exp 0) into 1
4.766 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
4.766 * [taylor]: Taking taylor expansion of (exp x) in x
4.766 * [taylor]: Taking taylor expansion of x in x
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 1 into 1
4.766 * [backup-simplify]: Simplify (exp 0) into 1
4.766 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.766 * [taylor]: Taking taylor expansion of (- x) in x
4.766 * [taylor]: Taking taylor expansion of x in x
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 1 into 1
4.766 * [backup-simplify]: Simplify (- 0) into 0
4.767 * [backup-simplify]: Simplify (- 1) into -1
4.767 * [backup-simplify]: Simplify (exp 0) into 1
4.767 * [backup-simplify]: Simplify (- 1) into -1
4.767 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.767 * [backup-simplify]: Simplify 0 into 0
4.768 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.769 * [backup-simplify]: Simplify (- 1) into -1
4.770 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.770 * [backup-simplify]: Simplify (- -1) into 1
4.770 * [backup-simplify]: Simplify (+ 1 1) into 2
4.770 * [backup-simplify]: Simplify 2 into 2
4.772 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.772 * [backup-simplify]: Simplify (- 1) into -1
4.772 * [backup-simplify]: Simplify (- 0) into 0
4.773 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.774 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.774 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
4.774 * [backup-simplify]: Simplify 0 into 0
4.776 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.776 * [backup-simplify]: Simplify (- 1) into -1
4.777 * [backup-simplify]: Simplify (- 1) into -1
4.777 * [backup-simplify]: Simplify (- 0) into 0
4.777 * [backup-simplify]: Simplify (- 0) into 0
4.779 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
4.779 * [backup-simplify]: Simplify (- -1/6) into 1/6
4.780 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
4.780 * [backup-simplify]: Simplify 1/3 into 1/3
4.783 * [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
4.783 * [backup-simplify]: Simplify (- 1) into -1
4.784 * [backup-simplify]: Simplify (- 1) into -1
4.784 * [backup-simplify]: Simplify (- 0) into 0
4.784 * [backup-simplify]: Simplify (- 1) into -1
4.784 * [backup-simplify]: Simplify (- 0) into 0
4.785 * [backup-simplify]: Simplify (- 0) into 0
4.785 * [backup-simplify]: Simplify (- 0) into 0
4.788 * [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
4.788 * [backup-simplify]: Simplify (- 1/24) into -1/24
4.789 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
4.789 * [backup-simplify]: Simplify 0 into 0
4.793 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
4.794 * [backup-simplify]: Simplify (- 1) into -1
4.794 * [backup-simplify]: Simplify (- 1) into -1
4.794 * [backup-simplify]: Simplify (- 0) into 0
4.794 * [backup-simplify]: Simplify (- 1) into -1
4.795 * [backup-simplify]: Simplify (- 0) into 0
4.795 * [backup-simplify]: Simplify (- 1) into -1
4.795 * [backup-simplify]: Simplify (- 0) into 0
4.796 * [backup-simplify]: Simplify (- 1) into -1
4.796 * [backup-simplify]: Simplify (- 0) into 0
4.796 * [backup-simplify]: Simplify (- 0) into 0
4.797 * [backup-simplify]: Simplify (- 0) into 0
4.797 * [backup-simplify]: Simplify (- 0) into 0
4.801 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
4.801 * [backup-simplify]: Simplify (- -1/120) into 1/120
4.802 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
4.802 * [backup-simplify]: Simplify 1/60 into 1/60
4.802 * [backup-simplify]: Simplify (+ (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 2 x))) into (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
4.802 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
4.802 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
4.802 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
4.802 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.802 * [taylor]: Taking taylor expansion of x in x
4.802 * [backup-simplify]: Simplify 0 into 0
4.802 * [backup-simplify]: Simplify 1 into 1
4.803 * [backup-simplify]: Simplify (/ 1 1) into 1
4.803 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.803 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.803 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.803 * [taylor]: Taking taylor expansion of x in x
4.803 * [backup-simplify]: Simplify 0 into 0
4.803 * [backup-simplify]: Simplify 1 into 1
4.803 * [backup-simplify]: Simplify (/ 1 1) into 1
4.804 * [backup-simplify]: Simplify (- 1) into -1
4.804 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.804 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
4.804 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.804 * [taylor]: Taking taylor expansion of x in x
4.804 * [backup-simplify]: Simplify 0 into 0
4.804 * [backup-simplify]: Simplify 1 into 1
4.804 * [backup-simplify]: Simplify (/ 1 1) into 1
4.804 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.804 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.804 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.804 * [taylor]: Taking taylor expansion of x in x
4.804 * [backup-simplify]: Simplify 0 into 0
4.804 * [backup-simplify]: Simplify 1 into 1
4.805 * [backup-simplify]: Simplify (/ 1 1) into 1
4.805 * [backup-simplify]: Simplify (- 1) into -1
4.805 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.805 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x))))
4.805 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
4.805 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
4.806 * [backup-simplify]: Simplify (- 0) into 0
4.806 * [backup-simplify]: Simplify (+ 0 0) into 0
4.806 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify (- 0) into 0
4.807 * [backup-simplify]: Simplify (+ 0 0) into 0
4.807 * [backup-simplify]: Simplify 0 into 0
4.807 * [backup-simplify]: Simplify (- 0) into 0
4.807 * [backup-simplify]: Simplify (+ 0 0) into 0
4.807 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify (- 0) into 0
4.808 * [backup-simplify]: Simplify (+ 0 0) into 0
4.808 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify (- 0) into 0
4.809 * [backup-simplify]: Simplify (+ 0 0) into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify (- 0) into 0
4.809 * [backup-simplify]: Simplify (+ 0 0) into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.810 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (- (exp x) (exp (- x)))
4.810 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
4.810 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
4.810 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
4.810 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.810 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.810 * [taylor]: Taking taylor expansion of -1 in x
4.810 * [backup-simplify]: Simplify -1 into -1
4.810 * [taylor]: Taking taylor expansion of x in x
4.810 * [backup-simplify]: Simplify 0 into 0
4.810 * [backup-simplify]: Simplify 1 into 1
4.810 * [backup-simplify]: Simplify (/ -1 1) into -1
4.810 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.810 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.810 * [taylor]: Taking taylor expansion of x in x
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify 1 into 1
4.811 * [backup-simplify]: Simplify (/ 1 1) into 1
4.811 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.811 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
4.811 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.811 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.811 * [taylor]: Taking taylor expansion of -1 in x
4.811 * [backup-simplify]: Simplify -1 into -1
4.811 * [taylor]: Taking taylor expansion of x in x
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify 1 into 1
4.811 * [backup-simplify]: Simplify (/ -1 1) into -1
4.812 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.812 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.812 * [taylor]: Taking taylor expansion of x in x
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify 1 into 1
4.812 * [backup-simplify]: Simplify (/ 1 1) into 1
4.812 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.812 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
4.812 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
4.812 * [backup-simplify]: Simplify (- (exp (/ -1 x)) (exp (/ 1 x))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
4.813 * [backup-simplify]: Simplify (- 0) into 0
4.813 * [backup-simplify]: Simplify (+ 0 0) into 0
4.813 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify (- 0) into 0
4.814 * [backup-simplify]: Simplify (+ 0 0) into 0
4.814 * [backup-simplify]: Simplify 0 into 0
4.814 * [backup-simplify]: Simplify (- 0) into 0
4.814 * [backup-simplify]: Simplify (+ 0 0) into 0
4.814 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify (- 0) into 0
4.815 * [backup-simplify]: Simplify (+ 0 0) into 0
4.815 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify (- 0) into 0
4.815 * [backup-simplify]: Simplify (+ 0 0) into 0
4.816 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify (- 0) into 0
4.816 * [backup-simplify]: Simplify (+ 0 0) into 0
4.816 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) into (- (exp x) (exp (* -1 x)))
4.816 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
4.817 * [backup-simplify]: Simplify (* (/ (- (exp x) (exp (- x))) 2) (sin y)) into (* 1/2 (* (- (exp x) (exp (- x))) (sin y)))
4.817 * [approximate]: Taking taylor expansion of (* 1/2 (* (- (exp x) (exp (- x))) (sin y))) in (x y) around 0
4.817 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp x) (exp (- x))) (sin y))) in y
4.817 * [taylor]: Taking taylor expansion of 1/2 in y
4.817 * [backup-simplify]: Simplify 1/2 into 1/2
4.817 * [taylor]: Taking taylor expansion of (* (- (exp x) (exp (- x))) (sin y)) in y
4.817 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in y
4.817 * [taylor]: Taking taylor expansion of (exp x) in y
4.817 * [taylor]: Taking taylor expansion of x in y
4.817 * [backup-simplify]: Simplify x into x
4.817 * [backup-simplify]: Simplify (exp x) into (exp x)
4.817 * [taylor]: Taking taylor expansion of (exp (- x)) in y
4.817 * [taylor]: Taking taylor expansion of (- x) in y
4.817 * [taylor]: Taking taylor expansion of x in y
4.817 * [backup-simplify]: Simplify x into x
4.817 * [backup-simplify]: Simplify (- x) into (- x)
4.817 * [backup-simplify]: Simplify (- x) into (- x)
4.817 * [backup-simplify]: Simplify (exp (- x)) into (exp (- x))
4.817 * [taylor]: Taking taylor expansion of (sin y) in y
4.817 * [taylor]: Taking taylor expansion of y in y
4.817 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify 1 into 1
4.817 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp x) (exp (- x))) (sin y))) in x
4.817 * [taylor]: Taking taylor expansion of 1/2 in x
4.817 * [backup-simplify]: Simplify 1/2 into 1/2
4.817 * [taylor]: Taking taylor expansion of (* (- (exp x) (exp (- x))) (sin y)) in x
4.817 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
4.817 * [taylor]: Taking taylor expansion of (exp x) in x
4.818 * [taylor]: Taking taylor expansion of x in x
4.818 * [backup-simplify]: Simplify 0 into 0
4.818 * [backup-simplify]: Simplify 1 into 1
4.818 * [backup-simplify]: Simplify (exp 0) into 1
4.818 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.818 * [taylor]: Taking taylor expansion of (- x) in x
4.818 * [taylor]: Taking taylor expansion of x in x
4.818 * [backup-simplify]: Simplify 0 into 0
4.818 * [backup-simplify]: Simplify 1 into 1
4.818 * [backup-simplify]: Simplify (- 0) into 0
4.818 * [backup-simplify]: Simplify (- 1) into -1
4.818 * [backup-simplify]: Simplify (exp 0) into 1
4.818 * [taylor]: Taking taylor expansion of (sin y) in x
4.818 * [taylor]: Taking taylor expansion of y in x
4.818 * [backup-simplify]: Simplify y into y
4.818 * [backup-simplify]: Simplify (sin y) into (sin y)
4.819 * [backup-simplify]: Simplify (cos y) into (cos y)
4.819 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp x) (exp (- x))) (sin y))) in x
4.819 * [taylor]: Taking taylor expansion of 1/2 in x
4.819 * [backup-simplify]: Simplify 1/2 into 1/2
4.819 * [taylor]: Taking taylor expansion of (* (- (exp x) (exp (- x))) (sin y)) in x
4.819 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
4.819 * [taylor]: Taking taylor expansion of (exp x) in x
4.819 * [taylor]: Taking taylor expansion of x in x
4.819 * [backup-simplify]: Simplify 0 into 0
4.819 * [backup-simplify]: Simplify 1 into 1
4.819 * [backup-simplify]: Simplify (exp 0) into 1
4.819 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.819 * [taylor]: Taking taylor expansion of (- x) in x
4.819 * [taylor]: Taking taylor expansion of x in x
4.819 * [backup-simplify]: Simplify 0 into 0
4.819 * [backup-simplify]: Simplify 1 into 1
4.819 * [backup-simplify]: Simplify (- 0) into 0
4.819 * [backup-simplify]: Simplify (- 1) into -1
4.820 * [backup-simplify]: Simplify (exp 0) into 1
4.820 * [taylor]: Taking taylor expansion of (sin y) in x
4.820 * [taylor]: Taking taylor expansion of y in x
4.820 * [backup-simplify]: Simplify y into y
4.820 * [backup-simplify]: Simplify (sin y) into (sin y)
4.820 * [backup-simplify]: Simplify (cos y) into (cos y)
4.820 * [backup-simplify]: Simplify (- 1) into -1
4.820 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.821 * [backup-simplify]: Simplify (* (sin y) 1) into (sin y)
4.821 * [backup-simplify]: Simplify (* (cos y) 0) into 0
4.821 * [backup-simplify]: Simplify (+ (sin y) 0) into (sin y)
4.821 * [backup-simplify]: Simplify (* 0 (sin y)) into 0
4.821 * [backup-simplify]: Simplify (* 1/2 0) into 0
4.821 * [taylor]: Taking taylor expansion of 0 in y
4.821 * [backup-simplify]: Simplify 0 into 0
4.821 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify (+ 0) into 0
4.823 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 1)) into 0
4.824 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.824 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 0)) into 0
4.824 * [backup-simplify]: Simplify (+ 0 0) into 0
4.825 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.825 * [backup-simplify]: Simplify (- 1) into -1
4.826 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.827 * [backup-simplify]: Simplify (- -1) into 1
4.827 * [backup-simplify]: Simplify (+ 1 1) into 2
4.827 * [backup-simplify]: Simplify (+ (* 0 0) (* 2 (sin y))) into (* 2 (sin y))
4.828 * [backup-simplify]: Simplify (+ (* 1/2 (* 2 (sin y))) (* 0 0)) into (sin y)
4.828 * [taylor]: Taking taylor expansion of (sin y) in y
4.828 * [taylor]: Taking taylor expansion of y in y
4.828 * [backup-simplify]: Simplify 0 into 0
4.828 * [backup-simplify]: Simplify 1 into 1
4.828 * [backup-simplify]: Simplify 0 into 0
4.828 * [backup-simplify]: Simplify 0 into 0
4.829 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.829 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 1))) into 0
4.830 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.830 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 0))) into 0
4.830 * [backup-simplify]: Simplify (+ 0 0) into 0
4.831 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.831 * [backup-simplify]: Simplify (- 1) into -1
4.832 * [backup-simplify]: Simplify (- 0) into 0
4.832 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.833 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.833 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
4.834 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 2 0) (* 0 (sin y)))) into 0
4.834 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 (* 2 (sin y))) (* 0 0))) into 0
4.834 * [taylor]: Taking taylor expansion of 0 in y
4.834 * [backup-simplify]: Simplify 0 into 0
4.834 * [backup-simplify]: Simplify 0 into 0
4.835 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
4.835 * [backup-simplify]: Simplify 1 into 1
4.835 * [backup-simplify]: Simplify 0 into 0
4.835 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.836 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.837 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
4.837 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
4.837 * [backup-simplify]: Simplify (+ 0 0) into 0
4.839 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.839 * [backup-simplify]: Simplify (- 1) into -1
4.839 * [backup-simplify]: Simplify (- 1) into -1
4.839 * [backup-simplify]: Simplify (- 0) into 0
4.839 * [backup-simplify]: Simplify (- 0) into 0
4.841 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
4.841 * [backup-simplify]: Simplify (- -1/6) into 1/6
4.841 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
4.842 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 2 0) (+ (* 0 0) (* 1/3 (sin y))))) into (* 1/3 (sin y))
4.843 * [backup-simplify]: Simplify (+ (* 1/2 (* 1/3 (sin y))) (+ (* 0 0) (+ (* 0 (* 2 (sin y))) (* 0 0)))) into (* 1/6 (sin y))
4.843 * [taylor]: Taking taylor expansion of (* 1/6 (sin y)) in y
4.843 * [taylor]: Taking taylor expansion of 1/6 in y
4.843 * [backup-simplify]: Simplify 1/6 into 1/6
4.843 * [taylor]: Taking taylor expansion of (sin y) in y
4.843 * [taylor]: Taking taylor expansion of y in y
4.843 * [backup-simplify]: Simplify 0 into 0
4.843 * [backup-simplify]: Simplify 1 into 1
4.843 * [backup-simplify]: Simplify (* 1/6 0) into 0
4.843 * [backup-simplify]: Simplify 0 into 0
4.843 * [backup-simplify]: Simplify 0 into 0
4.844 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.844 * [backup-simplify]: Simplify 0 into 0
4.844 * [backup-simplify]: Simplify 0 into 0
4.845 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
4.846 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.847 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
4.848 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
4.848 * [backup-simplify]: Simplify (+ 0 0) into 0
4.851 * [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
4.852 * [backup-simplify]: Simplify (- 1) into -1
4.852 * [backup-simplify]: Simplify (- 1) into -1
4.852 * [backup-simplify]: Simplify (- 0) into 0
4.853 * [backup-simplify]: Simplify (- 1) into -1
4.853 * [backup-simplify]: Simplify (- 0) into 0
4.853 * [backup-simplify]: Simplify (- 0) into 0
4.853 * [backup-simplify]: Simplify (- 0) into 0
4.857 * [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
4.857 * [backup-simplify]: Simplify (- 1/24) into -1/24
4.857 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
4.861 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 2 0) (+ (* 0 0) (+ (* 1/3 0) (* 0 (sin y)))))) into 0
4.863 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 (* 1/3 (sin y))) (+ (* 0 0) (+ (* 0 (* 2 (sin y))) (* 0 0))))) into 0
4.863 * [taylor]: Taking taylor expansion of 0 in y
4.863 * [backup-simplify]: Simplify 0 into 0
4.863 * [backup-simplify]: Simplify 0 into 0
4.863 * [backup-simplify]: Simplify (* 1 (* y x)) into (* x y)
4.863 * [backup-simplify]: Simplify (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (sin (/ 1 y))) into (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))))
4.863 * [approximate]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
4.863 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
4.863 * [taylor]: Taking taylor expansion of 1/2 in y
4.863 * [backup-simplify]: Simplify 1/2 into 1/2
4.863 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
4.863 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
4.863 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.863 * [taylor]: Taking taylor expansion of y in y
4.863 * [backup-simplify]: Simplify 0 into 0
4.863 * [backup-simplify]: Simplify 1 into 1
4.864 * [backup-simplify]: Simplify (/ 1 1) into 1
4.864 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.864 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
4.864 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.864 * [taylor]: Taking taylor expansion of x in y
4.864 * [backup-simplify]: Simplify x into x
4.864 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.864 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.864 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
4.864 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
4.864 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.864 * [taylor]: Taking taylor expansion of x in y
4.864 * [backup-simplify]: Simplify x into x
4.864 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.864 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.864 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.864 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.864 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
4.864 * [taylor]: Taking taylor expansion of 1/2 in x
4.864 * [backup-simplify]: Simplify 1/2 into 1/2
4.865 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
4.865 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
4.865 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.865 * [taylor]: Taking taylor expansion of y in x
4.865 * [backup-simplify]: Simplify y into y
4.865 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.865 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.865 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.865 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
4.865 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.865 * [taylor]: Taking taylor expansion of x in x
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 1 into 1
4.865 * [backup-simplify]: Simplify (/ 1 1) into 1
4.865 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.865 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.865 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.865 * [taylor]: Taking taylor expansion of x in x
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 1 into 1
4.866 * [backup-simplify]: Simplify (/ 1 1) into 1
4.866 * [backup-simplify]: Simplify (- 1) into -1
4.866 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.866 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
4.866 * [taylor]: Taking taylor expansion of 1/2 in x
4.866 * [backup-simplify]: Simplify 1/2 into 1/2
4.866 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
4.866 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
4.866 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.866 * [taylor]: Taking taylor expansion of y in x
4.866 * [backup-simplify]: Simplify y into y
4.866 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.866 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.866 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.867 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
4.867 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.867 * [taylor]: Taking taylor expansion of x in x
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 1 into 1
4.867 * [backup-simplify]: Simplify (/ 1 1) into 1
4.867 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.867 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.867 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.867 * [taylor]: Taking taylor expansion of x in x
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 1 into 1
4.867 * [backup-simplify]: Simplify (/ 1 1) into 1
4.868 * [backup-simplify]: Simplify (- 1) into -1
4.868 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.868 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 1) into (sin (/ 1 y))
4.868 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 0) into 0
4.868 * [backup-simplify]: Simplify (+ (sin (/ 1 y)) 0) into (sin (/ 1 y))
4.868 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x))))
4.868 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
4.868 * [backup-simplify]: Simplify (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))
4.869 * [backup-simplify]: Simplify (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))))
4.869 * [taylor]: Taking taylor expansion of (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
4.869 * [taylor]: Taking taylor expansion of 1/2 in y
4.869 * [backup-simplify]: Simplify 1/2 into 1/2
4.869 * [taylor]: Taking taylor expansion of (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
4.869 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
4.869 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.869 * [taylor]: Taking taylor expansion of y in y
4.869 * [backup-simplify]: Simplify 0 into 0
4.869 * [backup-simplify]: Simplify 1 into 1
4.869 * [backup-simplify]: Simplify (/ 1 1) into 1
4.869 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.869 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
4.869 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.869 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.869 * [taylor]: Taking taylor expansion of x in y
4.869 * [backup-simplify]: Simplify x into x
4.869 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.869 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.870 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
4.870 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
4.870 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.870 * [taylor]: Taking taylor expansion of x in y
4.870 * [backup-simplify]: Simplify x into x
4.870 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.870 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.870 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.870 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.870 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x))))
4.870 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
4.870 * [backup-simplify]: Simplify (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))
4.870 * [backup-simplify]: Simplify (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))))
4.871 * [backup-simplify]: Simplify (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 1/2 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))))
4.871 * [backup-simplify]: Simplify (- 0) into 0
4.871 * [backup-simplify]: Simplify (+ 0 0) into 0
4.872 * [backup-simplify]: Simplify (+ 0) into 0
4.872 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 1)) into 0
4.872 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.873 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.873 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 0)) into 0
4.874 * [backup-simplify]: Simplify (+ 0 0) into 0
4.874 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0
4.874 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
4.874 * [taylor]: Taking taylor expansion of 0 in y
4.874 * [backup-simplify]: Simplify 0 into 0
4.875 * [backup-simplify]: Simplify 0 into 0
4.875 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.875 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.875 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.875 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.876 * [backup-simplify]: Simplify (- 0) into 0
4.876 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0
4.877 * [backup-simplify]: Simplify (- 0) into 0
4.877 * [backup-simplify]: Simplify (+ 0 0) into 0
4.877 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 (- (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0
4.878 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
4.878 * [backup-simplify]: Simplify 0 into 0
4.878 * [backup-simplify]: Simplify (- 0) into 0
4.879 * [backup-simplify]: Simplify (+ 0 0) into 0
4.879 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.880 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.881 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.881 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.882 * [backup-simplify]: Simplify (+ 0 0) into 0
4.882 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
4.883 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
4.883 * [taylor]: Taking taylor expansion of 0 in y
4.883 * [backup-simplify]: Simplify 0 into 0
4.883 * [backup-simplify]: Simplify 0 into 0
4.883 * [backup-simplify]: Simplify 0 into 0
4.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.885 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.885 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.885 * [backup-simplify]: Simplify (- 0) into 0
4.885 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.885 * [backup-simplify]: Simplify (- 0) into 0
4.887 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.887 * [backup-simplify]: Simplify (- 0) into 0
4.887 * [backup-simplify]: Simplify (+ 0 0) into 0
4.888 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
4.889 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
4.889 * [backup-simplify]: Simplify 0 into 0
4.889 * [backup-simplify]: Simplify (- 0) into 0
4.889 * [backup-simplify]: Simplify (+ 0 0) into 0
4.890 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.891 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.892 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
4.893 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
4.893 * [backup-simplify]: Simplify (+ 0 0) into 0
4.894 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
4.895 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sin (/ 1 y)) (- (exp (/ 1 x)) (exp (- (/ 1 x))))))))) into 0
4.895 * [taylor]: Taking taylor expansion of 0 in y
4.895 * [backup-simplify]: Simplify 0 into 0
4.895 * [backup-simplify]: Simplify 0 into 0
4.895 * [backup-simplify]: Simplify (* 1/2 (* (sin (/ 1 (/ 1 y))) (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))))) into (* 1/2 (* (- (exp x) (exp (- x))) (sin y)))
4.895 * [backup-simplify]: Simplify (* (/ (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) 2) (sin (/ 1 (- y)))) into (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))))
4.895 * [approximate]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) in (x y) around 0
4.896 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) in y
4.896 * [taylor]: Taking taylor expansion of 1/2 in y
4.896 * [backup-simplify]: Simplify 1/2 into 1/2
4.896 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) in y
4.896 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
4.896 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.896 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.896 * [taylor]: Taking taylor expansion of -1 in y
4.896 * [backup-simplify]: Simplify -1 into -1
4.896 * [taylor]: Taking taylor expansion of x in y
4.896 * [backup-simplify]: Simplify x into x
4.896 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.896 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.896 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.896 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.896 * [taylor]: Taking taylor expansion of x in y
4.896 * [backup-simplify]: Simplify x into x
4.896 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.896 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.896 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
4.896 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.896 * [taylor]: Taking taylor expansion of -1 in y
4.896 * [backup-simplify]: Simplify -1 into -1
4.896 * [taylor]: Taking taylor expansion of y in y
4.896 * [backup-simplify]: Simplify 0 into 0
4.896 * [backup-simplify]: Simplify 1 into 1
4.897 * [backup-simplify]: Simplify (/ -1 1) into -1
4.897 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.897 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) in x
4.897 * [taylor]: Taking taylor expansion of 1/2 in x
4.897 * [backup-simplify]: Simplify 1/2 into 1/2
4.897 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) in x
4.897 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
4.897 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.897 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.897 * [taylor]: Taking taylor expansion of -1 in x
4.897 * [backup-simplify]: Simplify -1 into -1
4.897 * [taylor]: Taking taylor expansion of x in x
4.897 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify 1 into 1
4.897 * [backup-simplify]: Simplify (/ -1 1) into -1
4.897 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.897 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.897 * [taylor]: Taking taylor expansion of x in x
4.897 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify 1 into 1
4.898 * [backup-simplify]: Simplify (/ 1 1) into 1
4.898 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.898 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
4.898 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.898 * [taylor]: Taking taylor expansion of -1 in x
4.898 * [backup-simplify]: Simplify -1 into -1
4.898 * [taylor]: Taking taylor expansion of y in x
4.898 * [backup-simplify]: Simplify y into y
4.898 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.898 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.898 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.898 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) in x
4.898 * [taylor]: Taking taylor expansion of 1/2 in x
4.898 * [backup-simplify]: Simplify 1/2 into 1/2
4.898 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) in x
4.898 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
4.898 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.898 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.898 * [taylor]: Taking taylor expansion of -1 in x
4.898 * [backup-simplify]: Simplify -1 into -1
4.898 * [taylor]: Taking taylor expansion of x in x
4.898 * [backup-simplify]: Simplify 0 into 0
4.898 * [backup-simplify]: Simplify 1 into 1
4.899 * [backup-simplify]: Simplify (/ -1 1) into -1
4.899 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.899 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.899 * [taylor]: Taking taylor expansion of x in x
4.899 * [backup-simplify]: Simplify 0 into 0
4.899 * [backup-simplify]: Simplify 1 into 1
4.899 * [backup-simplify]: Simplify (/ 1 1) into 1
4.899 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.899 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
4.899 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.899 * [taylor]: Taking taylor expansion of -1 in x
4.899 * [backup-simplify]: Simplify -1 into -1
4.899 * [taylor]: Taking taylor expansion of y in x
4.899 * [backup-simplify]: Simplify y into y
4.899 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.900 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.900 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.900 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
4.900 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
4.900 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 1) into (sin (/ -1 y))
4.900 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 0) into 0
4.900 * [backup-simplify]: Simplify (+ (sin (/ -1 y)) 0) into (sin (/ -1 y))
4.900 * [backup-simplify]: Simplify (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) into (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))
4.900 * [backup-simplify]: Simplify (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) into (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))))
4.900 * [taylor]: Taking taylor expansion of (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) in y
4.900 * [taylor]: Taking taylor expansion of 1/2 in y
4.900 * [backup-simplify]: Simplify 1/2 into 1/2
4.900 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) in y
4.900 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in y
4.900 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.900 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.900 * [taylor]: Taking taylor expansion of -1 in y
4.900 * [backup-simplify]: Simplify -1 into -1
4.901 * [taylor]: Taking taylor expansion of x in y
4.901 * [backup-simplify]: Simplify x into x
4.901 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.901 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.901 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.901 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.901 * [taylor]: Taking taylor expansion of x in y
4.901 * [backup-simplify]: Simplify x into x
4.901 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.901 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.901 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
4.901 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.901 * [taylor]: Taking taylor expansion of -1 in y
4.901 * [backup-simplify]: Simplify -1 into -1
4.901 * [taylor]: Taking taylor expansion of y in y
4.901 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify 1 into 1
4.901 * [backup-simplify]: Simplify (/ -1 1) into -1
4.901 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.901 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
4.902 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
4.902 * [backup-simplify]: Simplify (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))) into (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))
4.902 * [backup-simplify]: Simplify (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) into (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))))
4.902 * [backup-simplify]: Simplify (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))) into (* 1/2 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))))
4.902 * [backup-simplify]: Simplify (+ 0) into 0
4.903 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 1)) into 0
4.903 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.904 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.904 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 0)) into 0
4.904 * [backup-simplify]: Simplify (+ 0 0) into 0
4.905 * [backup-simplify]: Simplify (- 0) into 0
4.905 * [backup-simplify]: Simplify (+ 0 0) into 0
4.905 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 x)) (exp (/ 1 x))) 0) (* 0 (sin (/ -1 y)))) into 0
4.906 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))))) into 0
4.906 * [taylor]: Taking taylor expansion of 0 in y
4.906 * [backup-simplify]: Simplify 0 into 0
4.906 * [backup-simplify]: Simplify 0 into 0
4.906 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
4.907 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.907 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.907 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.908 * [backup-simplify]: Simplify (- 0) into 0
4.908 * [backup-simplify]: Simplify (+ 0 0) into 0
4.908 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 x)) (exp (/ 1 x))) 0) (* 0 (sin (/ -1 y)))) into 0
4.909 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))))) into 0
4.909 * [backup-simplify]: Simplify 0 into 0
4.909 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.910 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.910 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.911 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.911 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.911 * [backup-simplify]: Simplify (+ 0 0) into 0
4.912 * [backup-simplify]: Simplify (- 0) into 0
4.912 * [backup-simplify]: Simplify (+ 0 0) into 0
4.913 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 x)) (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))) into 0
4.913 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))))) into 0
4.913 * [taylor]: Taking taylor expansion of 0 in y
4.913 * [backup-simplify]: Simplify 0 into 0
4.913 * [backup-simplify]: Simplify 0 into 0
4.914 * [backup-simplify]: Simplify 0 into 0
4.914 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.915 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.915 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.916 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.916 * [backup-simplify]: Simplify (- 0) into 0
4.917 * [backup-simplify]: Simplify (+ 0 0) into 0
4.917 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 x)) (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sin (/ -1 y))))) into 0
4.918 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y)))))) into 0
4.918 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.919 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.920 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.921 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
4.921 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
4.922 * [backup-simplify]: Simplify (+ 0 0) into 0
4.922 * [backup-simplify]: Simplify (- 0) into 0
4.922 * [backup-simplify]: Simplify (+ 0 0) into 0
4.923 * [backup-simplify]: Simplify (+ (* (- (exp (/ -1 x)) (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 y)))))) into 0
4.924 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (- (exp (/ -1 x)) (exp (/ 1 x))) (sin (/ -1 y))))))) into 0
4.924 * [taylor]: Taking taylor expansion of 0 in y
4.924 * [backup-simplify]: Simplify 0 into 0
4.924 * [backup-simplify]: Simplify 0 into 0
4.924 * [backup-simplify]: Simplify (* 1/2 (* (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) (sin (/ -1 (/ 1 (- y)))))) into (* 1/2 (* (- (exp x) (exp (* -1 x))) (sin y)))
4.925 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
4.925 * [backup-simplify]: Simplify (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) into (* 1/2 (* (+ (exp x) (exp (- x))) (cos y)))
4.925 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (exp x) (exp (- x))) (cos y))) in (x y) around 0
4.925 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp x) (exp (- x))) (cos y))) in y
4.925 * [taylor]: Taking taylor expansion of 1/2 in y
4.925 * [backup-simplify]: Simplify 1/2 into 1/2
4.925 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
4.925 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
4.925 * [taylor]: Taking taylor expansion of (exp x) in y
4.925 * [taylor]: Taking taylor expansion of x in y
4.925 * [backup-simplify]: Simplify x into x
4.925 * [backup-simplify]: Simplify (exp x) into (exp x)
4.925 * [taylor]: Taking taylor expansion of (exp (- x)) in y
4.925 * [taylor]: Taking taylor expansion of (- x) in y
4.925 * [taylor]: Taking taylor expansion of x in y
4.925 * [backup-simplify]: Simplify x into x
4.925 * [backup-simplify]: Simplify (- x) into (- x)
4.925 * [backup-simplify]: Simplify (- x) into (- x)
4.925 * [backup-simplify]: Simplify (exp (- x)) into (exp (- x))
4.925 * [taylor]: Taking taylor expansion of (cos y) in y
4.925 * [taylor]: Taking taylor expansion of y in y
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 1 into 1
4.925 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp x) (exp (- x))) (cos y))) in x
4.925 * [taylor]: Taking taylor expansion of 1/2 in x
4.925 * [backup-simplify]: Simplify 1/2 into 1/2
4.925 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
4.925 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
4.925 * [taylor]: Taking taylor expansion of (exp x) in x
4.925 * [taylor]: Taking taylor expansion of x in x
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 1 into 1
4.925 * [backup-simplify]: Simplify (exp 0) into 1
4.925 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.926 * [taylor]: Taking taylor expansion of (- x) in x
4.926 * [taylor]: Taking taylor expansion of x in x
4.926 * [backup-simplify]: Simplify 0 into 0
4.926 * [backup-simplify]: Simplify 1 into 1
4.926 * [backup-simplify]: Simplify (- 0) into 0
4.926 * [backup-simplify]: Simplify (- 1) into -1
4.926 * [backup-simplify]: Simplify (exp 0) into 1
4.926 * [taylor]: Taking taylor expansion of (cos y) in x
4.926 * [taylor]: Taking taylor expansion of y in x
4.926 * [backup-simplify]: Simplify y into y
4.926 * [backup-simplify]: Simplify (cos y) into (cos y)
4.926 * [backup-simplify]: Simplify (sin y) into (sin y)
4.926 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp x) (exp (- x))) (cos y))) in x
4.927 * [taylor]: Taking taylor expansion of 1/2 in x
4.927 * [backup-simplify]: Simplify 1/2 into 1/2
4.927 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
4.927 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
4.927 * [taylor]: Taking taylor expansion of (exp x) in x
4.927 * [taylor]: Taking taylor expansion of x in x
4.927 * [backup-simplify]: Simplify 0 into 0
4.927 * [backup-simplify]: Simplify 1 into 1
4.927 * [backup-simplify]: Simplify (exp 0) into 1
4.927 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.927 * [taylor]: Taking taylor expansion of (- x) in x
4.927 * [taylor]: Taking taylor expansion of x in x
4.927 * [backup-simplify]: Simplify 0 into 0
4.927 * [backup-simplify]: Simplify 1 into 1
4.927 * [backup-simplify]: Simplify (- 0) into 0
4.927 * [backup-simplify]: Simplify (- 1) into -1
4.927 * [backup-simplify]: Simplify (exp 0) into 1
4.927 * [taylor]: Taking taylor expansion of (cos y) in x
4.927 * [taylor]: Taking taylor expansion of y in x
4.928 * [backup-simplify]: Simplify y into y
4.928 * [backup-simplify]: Simplify (cos y) into (cos y)
4.928 * [backup-simplify]: Simplify (sin y) into (sin y)
4.928 * [backup-simplify]: Simplify (+ 1 1) into 2
4.928 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
4.928 * [backup-simplify]: Simplify (* (sin y) 0) into 0
4.929 * [backup-simplify]: Simplify (- 0) into 0
4.929 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
4.929 * [backup-simplify]: Simplify (* 2 (cos y)) into (* 2 (cos y))
4.929 * [backup-simplify]: Simplify (* 1/2 (* 2 (cos y))) into (cos y)
4.929 * [taylor]: Taking taylor expansion of (cos y) in y
4.929 * [taylor]: Taking taylor expansion of y in y
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 1 into 1
4.929 * [backup-simplify]: Simplify 1 into 1
4.929 * [backup-simplify]: Simplify (+ 0) into 0
4.930 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 1)) into 0
4.930 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.931 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 0)) into 0
4.931 * [backup-simplify]: Simplify (- 0) into 0
4.931 * [backup-simplify]: Simplify (+ 0 0) into 0
4.932 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.933 * [backup-simplify]: Simplify (- 1) into -1
4.934 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.934 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.934 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (cos y))) into 0
4.935 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* 2 (cos y)))) into 0
4.935 * [taylor]: Taking taylor expansion of 0 in y
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [backup-simplify]: Simplify (+ 0) into 0
4.935 * [backup-simplify]: Simplify 0 into 0
4.936 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.937 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 1))) into 0
4.937 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.938 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 0))) into 0
4.938 * [backup-simplify]: Simplify (- 0) into 0
4.938 * [backup-simplify]: Simplify (+ 0 0) into 0
4.939 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.940 * [backup-simplify]: Simplify (- 1) into -1
4.940 * [backup-simplify]: Simplify (- 0) into 0
4.941 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.941 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
4.942 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 1 (cos y)))) into (cos y)
4.942 * [backup-simplify]: Simplify (+ (* 1/2 (cos y)) (+ (* 0 0) (* 0 (* 2 (cos y))))) into (* 1/2 (cos y))
4.942 * [taylor]: Taking taylor expansion of (* 1/2 (cos y)) in y
4.942 * [taylor]: Taking taylor expansion of 1/2 in y
4.942 * [backup-simplify]: Simplify 1/2 into 1/2
4.942 * [taylor]: Taking taylor expansion of (cos y) in y
4.942 * [taylor]: Taking taylor expansion of y in y
4.942 * [backup-simplify]: Simplify 0 into 0
4.942 * [backup-simplify]: Simplify 1 into 1
4.943 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
4.943 * [backup-simplify]: Simplify 1/2 into 1/2
4.943 * [backup-simplify]: Simplify 0 into 0
4.943 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
4.943 * [backup-simplify]: Simplify -1/2 into -1/2
4.944 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* y 1) 2)) (+ (* 1/2 (pow (* 1 x) 2)) 1)) into (- (+ (* 1/2 (pow x 2)) 1) (* 1/2 (pow y 2)))
4.944 * [backup-simplify]: Simplify (* (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2) (cos (/ 1 y))) into (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
4.944 * [approximate]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
4.944 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
4.944 * [taylor]: Taking taylor expansion of 1/2 in y
4.944 * [backup-simplify]: Simplify 1/2 into 1/2
4.944 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
4.944 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.944 * [taylor]: Taking taylor expansion of y in y
4.944 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify 1 into 1
4.944 * [backup-simplify]: Simplify (/ 1 1) into 1
4.944 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.944 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
4.944 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.944 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.944 * [taylor]: Taking taylor expansion of x in y
4.944 * [backup-simplify]: Simplify x into x
4.944 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.945 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.945 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
4.945 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
4.945 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.945 * [taylor]: Taking taylor expansion of x in y
4.945 * [backup-simplify]: Simplify x into x
4.945 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.945 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.945 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.945 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.945 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
4.945 * [taylor]: Taking taylor expansion of 1/2 in x
4.945 * [backup-simplify]: Simplify 1/2 into 1/2
4.945 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
4.945 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.945 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.945 * [taylor]: Taking taylor expansion of y in x
4.945 * [backup-simplify]: Simplify y into y
4.945 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.945 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.945 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.945 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
4.945 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.945 * [taylor]: Taking taylor expansion of x in x
4.945 * [backup-simplify]: Simplify 0 into 0
4.945 * [backup-simplify]: Simplify 1 into 1
4.946 * [backup-simplify]: Simplify (/ 1 1) into 1
4.946 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.946 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.946 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.946 * [taylor]: Taking taylor expansion of x in x
4.946 * [backup-simplify]: Simplify 0 into 0
4.946 * [backup-simplify]: Simplify 1 into 1
4.946 * [backup-simplify]: Simplify (/ 1 1) into 1
4.946 * [backup-simplify]: Simplify (- 1) into -1
4.947 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.947 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
4.947 * [taylor]: Taking taylor expansion of 1/2 in x
4.947 * [backup-simplify]: Simplify 1/2 into 1/2
4.947 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
4.947 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.947 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.947 * [taylor]: Taking taylor expansion of y in x
4.947 * [backup-simplify]: Simplify y into y
4.947 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.947 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.947 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.947 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
4.947 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.947 * [taylor]: Taking taylor expansion of x in x
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify 1 into 1
4.947 * [backup-simplify]: Simplify (/ 1 1) into 1
4.947 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.947 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.947 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.948 * [taylor]: Taking taylor expansion of x in x
4.948 * [backup-simplify]: Simplify 0 into 0
4.948 * [backup-simplify]: Simplify 1 into 1
4.948 * [backup-simplify]: Simplify (/ 1 1) into 1
4.948 * [backup-simplify]: Simplify (- 1) into -1
4.948 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.948 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
4.948 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
4.949 * [backup-simplify]: Simplify (- 0) into 0
4.949 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
4.949 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
4.949 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
4.949 * [backup-simplify]: Simplify (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
4.949 * [taylor]: Taking taylor expansion of (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
4.949 * [taylor]: Taking taylor expansion of 1/2 in y
4.949 * [backup-simplify]: Simplify 1/2 into 1/2
4.949 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
4.949 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.949 * [taylor]: Taking taylor expansion of y in y
4.949 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify 1 into 1
4.950 * [backup-simplify]: Simplify (/ 1 1) into 1
4.950 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.950 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
4.950 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.950 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.950 * [taylor]: Taking taylor expansion of x in y
4.950 * [backup-simplify]: Simplify x into x
4.950 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.950 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.950 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
4.950 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
4.950 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.950 * [taylor]: Taking taylor expansion of x in y
4.950 * [backup-simplify]: Simplify x into x
4.950 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.950 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.950 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.950 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.951 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
4.951 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
4.951 * [backup-simplify]: Simplify (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
4.951 * [backup-simplify]: Simplify (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 1/2 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
4.951 * [backup-simplify]: Simplify (+ 0 0) into 0
4.952 * [backup-simplify]: Simplify (+ 0) into 0
4.952 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
4.952 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.953 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.953 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
4.954 * [backup-simplify]: Simplify (- 0) into 0
4.954 * [backup-simplify]: Simplify (+ 0 0) into 0
4.954 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0
4.955 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
4.955 * [taylor]: Taking taylor expansion of 0 in y
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.955 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.956 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.956 * [backup-simplify]: Simplify (- 0) into 0
4.957 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0
4.957 * [backup-simplify]: Simplify (+ 0 0) into 0
4.957 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0
4.958 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
4.958 * [backup-simplify]: Simplify 0 into 0
4.958 * [backup-simplify]: Simplify (+ 0 0) into 0
4.959 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.959 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.959 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.960 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.960 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.961 * [backup-simplify]: Simplify (- 0) into 0
4.961 * [backup-simplify]: Simplify (+ 0 0) into 0
4.962 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
4.962 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
4.962 * [taylor]: Taking taylor expansion of 0 in y
4.962 * [backup-simplify]: Simplify 0 into 0
4.962 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.964 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.964 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.964 * [backup-simplify]: Simplify (- 0) into 0
4.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.965 * [backup-simplify]: Simplify (- 0) into 0
4.966 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.966 * [backup-simplify]: Simplify (+ 0 0) into 0
4.966 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
4.967 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
4.967 * [backup-simplify]: Simplify 0 into 0
4.968 * [backup-simplify]: Simplify (+ 0 0) into 0
4.968 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.969 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.969 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.971 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
4.971 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
4.971 * [backup-simplify]: Simplify (- 0) into 0
4.972 * [backup-simplify]: Simplify (+ 0 0) into 0
4.972 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
4.974 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))))) into 0
4.974 * [taylor]: Taking taylor expansion of 0 in y
4.974 * [backup-simplify]: Simplify 0 into 0
4.974 * [backup-simplify]: Simplify 0 into 0
4.974 * [backup-simplify]: Simplify (* 1/2 (* (cos (/ 1 (/ 1 y))) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))))) into (* 1/2 (* (+ (exp x) (exp (- x))) (cos y)))
4.974 * [backup-simplify]: Simplify (* (/ (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) 2) (cos (/ 1 (- y)))) into (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))
4.974 * [approximate]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) in (x y) around 0
4.974 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) in y
4.974 * [taylor]: Taking taylor expansion of 1/2 in y
4.974 * [backup-simplify]: Simplify 1/2 into 1/2
4.974 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) in y
4.974 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
4.974 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.974 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.974 * [taylor]: Taking taylor expansion of x in y
4.974 * [backup-simplify]: Simplify x into x
4.974 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.974 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.974 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.974 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.974 * [taylor]: Taking taylor expansion of -1 in y
4.974 * [backup-simplify]: Simplify -1 into -1
4.974 * [taylor]: Taking taylor expansion of x in y
4.974 * [backup-simplify]: Simplify x into x
4.975 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.975 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.975 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.975 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.975 * [taylor]: Taking taylor expansion of -1 in y
4.975 * [backup-simplify]: Simplify -1 into -1
4.975 * [taylor]: Taking taylor expansion of y in y
4.975 * [backup-simplify]: Simplify 0 into 0
4.975 * [backup-simplify]: Simplify 1 into 1
4.975 * [backup-simplify]: Simplify (/ -1 1) into -1
4.975 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.975 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) in x
4.975 * [taylor]: Taking taylor expansion of 1/2 in x
4.975 * [backup-simplify]: Simplify 1/2 into 1/2
4.975 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) in x
4.975 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
4.975 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.975 * [taylor]: Taking taylor expansion of x in x
4.975 * [backup-simplify]: Simplify 0 into 0
4.975 * [backup-simplify]: Simplify 1 into 1
4.976 * [backup-simplify]: Simplify (/ 1 1) into 1
4.976 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.976 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.976 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.976 * [taylor]: Taking taylor expansion of -1 in x
4.976 * [backup-simplify]: Simplify -1 into -1
4.976 * [taylor]: Taking taylor expansion of x in x
4.976 * [backup-simplify]: Simplify 0 into 0
4.976 * [backup-simplify]: Simplify 1 into 1
4.976 * [backup-simplify]: Simplify (/ -1 1) into -1
4.976 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.976 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.976 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.976 * [taylor]: Taking taylor expansion of -1 in x
4.976 * [backup-simplify]: Simplify -1 into -1
4.976 * [taylor]: Taking taylor expansion of y in x
4.976 * [backup-simplify]: Simplify y into y
4.977 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.977 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.977 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.977 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) in x
4.977 * [taylor]: Taking taylor expansion of 1/2 in x
4.977 * [backup-simplify]: Simplify 1/2 into 1/2
4.977 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) in x
4.977 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
4.977 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.977 * [taylor]: Taking taylor expansion of x in x
4.977 * [backup-simplify]: Simplify 0 into 0
4.977 * [backup-simplify]: Simplify 1 into 1
4.977 * [backup-simplify]: Simplify (/ 1 1) into 1
4.977 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.977 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.977 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.977 * [taylor]: Taking taylor expansion of -1 in x
4.977 * [backup-simplify]: Simplify -1 into -1
4.977 * [taylor]: Taking taylor expansion of x in x
4.977 * [backup-simplify]: Simplify 0 into 0
4.977 * [backup-simplify]: Simplify 1 into 1
4.978 * [backup-simplify]: Simplify (/ -1 1) into -1
4.978 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.978 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.978 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.978 * [taylor]: Taking taylor expansion of -1 in x
4.978 * [backup-simplify]: Simplify -1 into -1
4.978 * [taylor]: Taking taylor expansion of y in x
4.978 * [backup-simplify]: Simplify y into y
4.978 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.978 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.978 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.978 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
4.978 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
4.978 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
4.979 * [backup-simplify]: Simplify (- 0) into 0
4.979 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
4.979 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) into (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))
4.979 * [backup-simplify]: Simplify (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) into (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))
4.979 * [taylor]: Taking taylor expansion of (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) in y
4.979 * [taylor]: Taking taylor expansion of 1/2 in y
4.979 * [backup-simplify]: Simplify 1/2 into 1/2
4.979 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) in y
4.979 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
4.979 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.979 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.979 * [taylor]: Taking taylor expansion of x in y
4.979 * [backup-simplify]: Simplify x into x
4.979 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.979 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.979 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.979 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.979 * [taylor]: Taking taylor expansion of -1 in y
4.979 * [backup-simplify]: Simplify -1 into -1
4.980 * [taylor]: Taking taylor expansion of x in y
4.980 * [backup-simplify]: Simplify x into x
4.980 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.980 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.980 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.980 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.980 * [taylor]: Taking taylor expansion of -1 in y
4.980 * [backup-simplify]: Simplify -1 into -1
4.980 * [taylor]: Taking taylor expansion of y in y
4.980 * [backup-simplify]: Simplify 0 into 0
4.980 * [backup-simplify]: Simplify 1 into 1
4.980 * [backup-simplify]: Simplify (/ -1 1) into -1
4.980 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.980 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
4.980 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) into (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))
4.981 * [backup-simplify]: Simplify (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) into (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))
4.981 * [backup-simplify]: Simplify (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) into (* 1/2 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))
4.981 * [backup-simplify]: Simplify (+ 0) into 0
4.983 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
4.983 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.984 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.984 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
4.985 * [backup-simplify]: Simplify (- 0) into 0
4.985 * [backup-simplify]: Simplify (+ 0 0) into 0
4.985 * [backup-simplify]: Simplify (+ 0 0) into 0
4.985 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (exp (/ -1 x))) 0) (* 0 (cos (/ -1 y)))) into 0
4.986 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))) into 0
4.986 * [taylor]: Taking taylor expansion of 0 in y
4.986 * [backup-simplify]: Simplify 0 into 0
4.986 * [backup-simplify]: Simplify 0 into 0
4.986 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.987 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.987 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
4.988 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.988 * [backup-simplify]: Simplify (+ 0 0) into 0
4.988 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (exp (/ -1 x))) 0) (* 0 (cos (/ -1 y)))) into 0
4.989 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))) into 0
4.989 * [backup-simplify]: Simplify 0 into 0
4.989 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.990 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.990 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.990 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.991 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.991 * [backup-simplify]: Simplify (- 0) into 0
4.991 * [backup-simplify]: Simplify (+ 0 0) into 0
4.991 * [backup-simplify]: Simplify (+ 0 0) into 0
4.992 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
4.993 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))))) into 0
4.993 * [taylor]: Taking taylor expansion of 0 in y
4.993 * [backup-simplify]: Simplify 0 into 0
4.993 * [backup-simplify]: Simplify 0 into 0
4.993 * [backup-simplify]: Simplify 0 into 0
4.993 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.994 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.994 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.995 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.996 * [backup-simplify]: Simplify (+ 0 0) into 0
4.996 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
4.997 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))))) into 0
4.997 * [backup-simplify]: Simplify 0 into 0
4.998 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.998 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.998 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.000 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.000 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.000 * [backup-simplify]: Simplify (- 0) into 0
5.001 * [backup-simplify]: Simplify (+ 0 0) into 0
5.001 * [backup-simplify]: Simplify (+ 0 0) into 0
5.002 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
5.003 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))))) into 0
5.003 * [taylor]: Taking taylor expansion of 0 in y
5.003 * [backup-simplify]: Simplify 0 into 0
5.003 * [backup-simplify]: Simplify 0 into 0
5.003 * [backup-simplify]: Simplify (* 1/2 (* (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) (cos (/ -1 (/ 1 (- y)))))) into (* 1/2 (* (+ (exp (* -1 x)) (exp x)) (cos y)))
5.003 * * * [progress]: simplifying candidates
5.003 * * * * [progress]: [ 1 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (log (/ (exp (exp x)) (exp (exp (- x))))) 2) (sin y)))))>
5.003 * * * * [progress]: [ 2 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (pow (- (exp x) (exp (- x))) 1) 2) (sin y)))))>
5.004 * * * * [progress]: [ 3 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (exp (log (- (exp x) (exp (- x))))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 4 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (log (exp (- (exp x) (exp (- x))))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 5 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (* (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x))))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 6 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x))))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 7 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (* (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x))))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 8 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (/ (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 9 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (exp x) (- (exp (- x)))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 10 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (* 1 (- (exp x) (exp (- x)))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 11 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (/ (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (+ (exp x) (exp (- x)))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 12 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (* (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x))))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 13 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (* 1 (- (exp x) (exp (- x)))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 14 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (exp x) (- (exp (- x)))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 15 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (posit16->real (real->posit16 (- (exp x) (exp (- x))))) 2) (sin y)))))>
5.004 * * * * [progress]: [ 16 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (pow (* (/ (- (exp x) (exp (- x))) 2) (sin y)) 1))))>
5.004 * * * * [progress]: [ 17 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (pow (* (/ (- (exp x) (exp (- x))) 2) (sin y)) 1))))>
5.004 * * * * [progress]: [ 18 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (exp (+ (- (log (- (exp x) (exp (- x)))) (log 2)) (log (sin y)))))))>
5.004 * * * * [progress]: [ 19 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (exp (+ (log (/ (- (exp x) (exp (- x))) 2)) (log (sin y)))))))>
5.005 * * * * [progress]: [ 20 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (exp (log (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))))>
5.005 * * * * [progress]: [ 21 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (log (exp (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))))>
5.005 * * * * [progress]: [ 22 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (cbrt (* (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* 2 2) 2)) (* (* (sin y) (sin y)) (sin y)))))))>
5.005 * * * * [progress]: [ 23 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (cbrt (* (* (* (/ (- (exp x) (exp (- x))) 2) (/ (- (exp x) (exp (- x))) 2)) (/ (- (exp x) (exp (- x))) 2)) (* (* (sin y) (sin y)) (sin y)))))))>
5.005 * * * * [progress]: [ 24 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (* (cbrt (* (/ (- (exp x) (exp (- x))) 2) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) (cbrt (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))))>
5.005 * * * * [progress]: [ 25 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (cbrt (* (* (* (/ (- (exp x) (exp (- x))) 2) (sin y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))))>
5.005 * * * * [progress]: [ 26 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (sqrt (* (/ (- (exp x) (exp (- x))) 2) (sin y))) (sqrt (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))))>
5.005 * * * * [progress]: [ 27 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* 1 (* (/ (- (exp x) (exp (- x))) 2) (sin y))))))>
5.005 * * * * [progress]: [ 28 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (* (sqrt (/ (- (exp x) (exp (- x))) 2)) (sqrt (sin y))) (* (sqrt (/ (- (exp x) (exp (- x))) 2)) (sqrt (sin y)))))))>
5.005 * * * * [progress]: [ 29 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2)) (sqrt (sin y))) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2)) (sqrt (sin y)))))))>
5.005 * * * * [progress]: [ 30 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (* (/ (- (exp x) (exp (- x))) 2) (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))))))>
5.005 * * * * [progress]: [ 31 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (* (/ (- (exp x) (exp (- x))) 2) (sqrt (sin y))) (sqrt (sin y))))))>
5.005 * * * * [progress]: [ 32 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (* (/ (- (exp x) (exp (- x))) 2) 1) (sin y)))))>
5.005 * * * * [progress]: [ 33 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (* (cbrt (/ (- (exp x) (exp (- x))) 2)) (cbrt (/ (- (exp x) (exp (- x))) 2))) (* (cbrt (/ (- (exp x) (exp (- x))) 2)) (sin y))))))>
5.005 * * * * [progress]: [ 34 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (sqrt (/ (- (exp x) (exp (- x))) 2)) (* (sqrt (/ (- (exp x) (exp (- x))) 2)) (sin y))))))>
5.005 * * * * [progress]: [ 35 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2)) (sin y))))))>
5.005 * * * * [progress]: [ 36 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (sqrt 2)) (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2)) (sin y))))))>
5.006 * * * * [progress]: [ 37 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1) (* (/ (cbrt (- (exp x) (exp (- x)))) 2) (sin y))))))>
5.006 * * * * [progress]: [ 38 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (* (cbrt 2) (cbrt 2))) (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2)) (sin y))))))>
5.006 * * * * [progress]: [ 39 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2)) (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2)) (sin y))))))>
5.006 * * * * [progress]: [ 40 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (sqrt (- (exp x) (exp (- x)))) 1) (* (/ (sqrt (- (exp x) (exp (- x)))) 2) (sin y))))))>
5.006 * * * * [progress]: [ 41 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ 1 (* (cbrt 2) (cbrt 2))) (* (/ (- (exp x) (exp (- x))) (cbrt 2)) (sin y))))))>
5.006 * * * * [progress]: [ 42 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ 1 (sqrt 2)) (* (/ (- (exp x) (exp (- x))) (sqrt 2)) (sin y))))))>
5.006 * * * * [progress]: [ 43 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ 1 1) (* (/ (- (exp x) (exp (- x))) 2) (sin y))))))>
5.006 * * * * [progress]: [ 44 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (* (cbrt 2) (cbrt 2))) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2)) (sin y))))))>
5.006 * * * * [progress]: [ 45 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2)) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2)) (sin y))))))>
5.006 * * * * [progress]: [ 46 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1) (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2) (sin y))))))>
5.006 * * * * [progress]: [ 47 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ 1 (* (cbrt 2) (cbrt 2))) (* (/ (- (exp x) (exp (- x))) (cbrt 2)) (sin y))))))>
5.006 * * * * [progress]: [ 48 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ 1 (sqrt 2)) (* (/ (- (exp x) (exp (- x))) (sqrt 2)) (sin y))))))>
5.006 * * * * [progress]: [ 49 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ 1 1) (* (/ (- (exp x) (exp (- x))) 2) (sin y))))))>
5.006 * * * * [progress]: [ 50 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* 1 (* (/ (- (exp x) (exp (- x))) 2) (sin y))))))>
5.006 * * * * [progress]: [ 51 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (- (exp x) (exp (- x))) (* (/ 1 2) (sin y))))))>
5.006 * * * * [progress]: [ 52 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (/ (* (- (exp x) (exp (- x))) (sin y)) 2))))>
5.006 * * * * [progress]: [ 53 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (posit16->real (real->posit16 (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))))>
5.006 * * * * [progress]: [ 54 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (sin y) (/ (- (exp x) (exp (- x))) 2)))))>
5.007 * * * * [progress]: [ 55 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (pow (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) 1) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 56 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (pow (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) 1) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 57 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (exp (+ (- (log (+ (exp x) (exp (- x)))) (log 2)) (log (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 58 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (exp (+ (log (/ (+ (exp x) (exp (- x))) 2)) (log (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 59 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (exp (log (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 60 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (log (exp (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 61 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (cbrt (* (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* 2 2) 2)) (* (* (cos y) (cos y)) (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 62 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (cbrt (* (* (* (/ (+ (exp x) (exp (- x))) 2) (/ (+ (exp x) (exp (- x))) 2)) (/ (+ (exp x) (exp (- x))) 2)) (* (* (cos y) (cos y)) (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 63 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 64 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (cbrt (* (* (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 65 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (sqrt (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (sqrt (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 66 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* 1 (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 67 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (* (sqrt (/ (+ (exp x) (exp (- x))) 2)) (sqrt (cos y))) (* (sqrt (/ (+ (exp x) (exp (- x))) 2)) (sqrt (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 68 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2)) (sqrt (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2)) (sqrt (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 69 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (* (/ (+ (exp x) (exp (- x))) 2) (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 70 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (* (/ (+ (exp x) (exp (- x))) 2) (sqrt (cos y))) (sqrt (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.007 * * * * [progress]: [ 71 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (* (/ (+ (exp x) (exp (- x))) 2) 1) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 72 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (* (cbrt (/ (+ (exp x) (exp (- x))) 2)) (cbrt (/ (+ (exp x) (exp (- x))) 2))) (* (cbrt (/ (+ (exp x) (exp (- x))) 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 73 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (sqrt (/ (+ (exp x) (exp (- x))) 2)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 74 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 75 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (sqrt 2)) (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 76 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) 1) (* (/ (cbrt (+ (exp x) (exp (- x)))) 2) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 77 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (sqrt (+ (exp x) (exp (- x)))) (* (cbrt 2) (cbrt 2))) (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 78 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2)) (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 79 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 80 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ 1 (* (cbrt 2) (cbrt 2))) (* (/ (+ (exp x) (exp (- x))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 81 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ 1 (sqrt 2)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 82 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ 1 1) (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 83 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ 1 (* (cbrt 2) (cbrt 2))) (* (/ (+ (exp x) (exp (- x))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 84 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ 1 (sqrt 2)) (* (/ (+ (exp x) (exp (- x))) (sqrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 85 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ 1 1) (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 86 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* 1 (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 87 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (+ (exp x) (exp (- x))) (* (/ 1 2) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 88 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (/ (* (+ (exp x) (exp (- x))) (cos y)) 2) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 89 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (posit16->real (real->posit16 (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.008 * * * * [progress]: [ 90 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (cos y) (/ (+ (exp x) (exp (- x))) 2)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.009 * * * * [progress]: [ 91 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 2) (sin y)))))>
5.009 * * * * [progress]: [ 92 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.009 * * * * [progress]: [ 93 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (* -1 x))) 2) (sin y)))))>
5.009 * * * * [progress]: [ 94 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* x y))))>
5.009 * * * * [progress]: [ 95 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* 1/2 (* (- (exp x) (exp (- x))) (sin y))))))>
5.009 * * * * [progress]: [ 96 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* 1/2 (* (- (exp x) (exp (* -1 x))) (sin y))))))>
5.009 * * * * [progress]: [ 97 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (- (+ (* 1/2 (pow x 2)) 1) (* 1/2 (pow y 2))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.009 * * * * [progress]: [ 98 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* 1/2 (* (+ (exp x) (exp (- x))) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.009 * * * * [progress]: [ 99 / 99 ] simplifiying candidate #<alt (λ (x y) (re (complex (* 1/2 (* (+ (exp (* -1 x)) (exp x)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
5.010 * [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)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (real->posit16 (- (exp x) (exp (- x))))
  (* (/ (- (exp x) (exp (- x))) 2) (sin y))
  (+ (- (log (- (exp x) (exp (- x)))) (log 2)) (log (sin y)))
  (+ (log (/ (- (exp x) (exp (- x))) 2)) (log (sin y)))
  (log (* (/ (- (exp x) (exp (- x))) 2) (sin y)))
  (exp (* (/ (- (exp x) (exp (- x))) 2) (sin y)))
  (* (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* 2 2) 2)) (* (* (sin y) (sin y)) (sin y)))
  (* (* (* (/ (- (exp x) (exp (- x))) 2) (/ (- (exp x) (exp (- x))) 2)) (/ (- (exp x) (exp (- x))) 2)) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* (/ (- (exp x) (exp (- x))) 2) (sin y))) (cbrt (* (/ (- (exp x) (exp (- x))) 2) (sin y))))
  (cbrt (* (/ (- (exp x) (exp (- x))) 2) (sin y)))
  (* (* (* (/ (- (exp x) (exp (- x))) 2) (sin y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))
  (sqrt (* (/ (- (exp x) (exp (- x))) 2) (sin y)))
  (sqrt (* (/ (- (exp x) (exp (- x))) 2) (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2)) (sqrt (sin y)))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2)) (sqrt (sin y)))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2)) (sqrt (sin y)))
  (* (/ (- (exp x) (exp (- x))) 2) (* (cbrt (sin y)) (cbrt (sin y))))
  (* (/ (- (exp x) (exp (- x))) 2) (sqrt (sin y)))
  (* (/ (- (exp x) (exp (- x))) 2) 1)
  (* (cbrt (/ (- (exp x) (exp (- x))) 2)) (sin y))
  (* (sqrt (/ (- (exp x) (exp (- x))) 2)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (cbrt 2)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) (sqrt 2)) (sin y))
  (* (/ (cbrt (- (exp x) (exp (- x)))) 2) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (cbrt 2)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) (sqrt 2)) (sin y))
  (* (/ (sqrt (- (exp x) (exp (- x)))) 2) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt 2)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt 2)) (sin y))
  (* (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2) (sin y))
  (* (/ (- (exp x) (exp (- x))) (cbrt 2)) (sin y))
  (* (/ (- (exp x) (exp (- x))) (sqrt 2)) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2) (sin y))
  (* (/ (- (exp x) (exp (- x))) 2) (sin y))
  (* (/ 1 2) (sin y))
  (* (- (exp x) (exp (- x))) (sin y))
  (real->posit16 (* (/ (- (exp x) (exp (- x))) 2) (sin y)))
  (* (/ (+ (exp x) (exp (- x))) 2) (cos y))
  (+ (- (log (+ (exp x) (exp (- x)))) (log 2)) (log (cos y)))
  (+ (log (/ (+ (exp x) (exp (- x))) 2)) (log (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
  (exp (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
  (* (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* 2 2) 2)) (* (* (cos y) (cos y)) (cos y)))
  (* (* (* (/ (+ (exp x) (exp (- x))) 2) (/ (+ (exp x) (exp (- x))) 2)) (/ (+ (exp x) (exp (- x))) 2)) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2) (cos y))))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
  (* (* (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2)) (sqrt (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2)) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2) (* (cbrt (cos y)) (cbrt (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2) 1)
  (* (cbrt (/ (+ (exp x) (exp (- x))) 2)) (cos y))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) 2) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2) (cos y))
  (* (/ 1 2) (cos y))
  (* (+ (exp x) (exp (- x))) (cos y))
  (real->posit16 (* (/ (+ (exp x) (exp (- x))) 2) (cos y)))
  (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (* -1 x)))
  (* x y)
  (* 1/2 (* (- (exp x) (exp (- x))) (sin y)))
  (* 1/2 (* (- (exp x) (exp (* -1 x))) (sin y)))
  (- (+ (* 1/2 (pow x 2)) 1) (* 1/2 (pow y 2)))
  (* 1/2 (* (+ (exp x) (exp (- x))) (cos y)))
  (* 1/2 (* (+ (exp (* -1 x)) (exp x)) (cos y)))
5.012 * * [simplify]: iteration 0: 187 enodes
5.066 * * [simplify]: iteration 1: 487 enodes
5.317 * * [simplify]: iteration 2: 1774 enodes
5.750 * * [simplify]: iteration complete: 5001 enodes
5.750 * * [simplify]: Extracting #0: cost 76 inf + 0
5.752 * * [simplify]: Extracting #1: cost 894 inf + 0
5.756 * * [simplify]: Extracting #2: cost 1827 inf + 3530
5.770 * * [simplify]: Extracting #3: cost 1750 inf + 121185
5.852 * * [simplify]: Extracting #4: cost 576 inf + 515670
5.974 * * [simplify]: Extracting #5: cost 104 inf + 688594
6.106 * * [simplify]: Extracting #6: cost 9 inf + 720630
6.238 * * [simplify]: Extracting #7: cost 0 inf + 723597
6.349 * [simplify]: Simplified to:
  (exp (+ (exp x) (/ -1 (exp x))))
  (log (+ (/ -1 (exp x)) (exp x)))
  (exp (+ (exp x) (/ -1 (exp x))))
  (* (cbrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (/ -1 (exp x)) (exp x))))
  (cbrt (+ (/ -1 (exp x)) (exp x)))
  (* (+ (/ -1 (exp x)) (exp x)) (* (+ (/ -1 (exp x)) (exp x)) (+ (/ -1 (exp x)) (exp x))))
  (sqrt (+ (/ -1 (exp x)) (exp x)))
  (sqrt (+ (/ -1 (exp x)) (exp x)))
  (+ (/ -1 (* (* (exp x) (exp x)) (exp x))) (* (* (exp x) (exp x)) (exp x)))
  (+ (+ (exp (* x -2)) 1) (* (exp x) (exp x)))
  (/ -1 (exp x))
  (- (* (exp x) (exp x)) (exp (* x -2)))
  (+ (exp (- x)) (exp x))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (+ (/ -1 (exp x)) (exp x))
  (/ -1 (exp x))
  (real->posit16 (+ (/ -1 (exp x)) (exp x)))
  (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2)
  (log (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2))
  (log (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2))
  (log (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2))
  (sqrt (exp (* (+ (/ -1 (exp x)) (exp x)) (sin y))))
  (* (/ (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) (* (+ (/ -1 (exp x)) (exp x)) (sin y))) (/ 8 (+ (/ -1 (exp x)) (exp x)))) (sin y))
  (* (* (sin y) (* (sin y) (sin y))) (* (* (* (+ (/ -1 (exp x)) (exp x)) 1/2) (* (+ (/ -1 (exp x)) (exp x)) 1/2)) (* (+ (/ -1 (exp x)) (exp x)) 1/2)))
  (* (cbrt (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2)) (cbrt (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2)))
  (cbrt (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2))
  (* (* (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2) (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2)) (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2))
  (sqrt (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2))
  (sqrt (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2))
  (* (sqrt (sin y)) (sqrt (* (+ (/ -1 (exp x)) (exp x)) 1/2)))
  (* (sqrt (sin y)) (sqrt (* (+ (/ -1 (exp x)) (exp x)) 1/2)))
  (* (/ (sqrt (+ (/ -1 (exp x)) (exp x))) (sqrt 2)) (sqrt (sin y)))
  (* (/ (sqrt (+ (/ -1 (exp x)) (exp x))) (sqrt 2)) (sqrt (sin y)))
  (/ (* (* (+ (/ -1 (exp x)) (exp x)) (cbrt (sin y))) (cbrt (sin y))) 2)
  (/ (* (sqrt (sin y)) (+ (/ -1 (exp x)) (exp x))) 2)
  (* (+ (/ -1 (exp x)) (exp x)) 1/2)
  (* (sin y) (cbrt (* (+ (/ -1 (exp x)) (exp x)) 1/2)))
  (* (sin y) (sqrt (* (+ (/ -1 (exp x)) (exp x)) 1/2)))
  (* (sin y) (/ (cbrt (+ (/ -1 (exp x)) (exp x))) (cbrt 2)))
  (/ (cbrt (+ (/ -1 (exp x)) (exp x))) (/ (sqrt 2) (sin y)))
  (* (/ (cbrt (+ (/ -1 (exp x)) (exp x))) 2) (sin y))
  (/ (* (sin y) (sqrt (+ (/ -1 (exp x)) (exp x)))) (cbrt 2))
  (/ (sqrt (+ (/ -1 (exp x)) (exp x))) (/ (sqrt 2) (sin y)))
  (/ (* (sin y) (sqrt (+ (/ -1 (exp x)) (exp x)))) 2)
  (/ (+ (/ -1 (exp x)) (exp x)) (/ (cbrt 2) (sin y)))
  (/ (+ (/ -1 (exp x)) (exp x)) (/ (sqrt 2) (sin y)))
  (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2)
  (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (/ (cbrt 2) (sin y)))
  (/ (* (- (sqrt (exp x)) (sqrt (exp (- x)))) (sin y)) (sqrt 2))
  (* (sin y) (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) 2))
  (/ (+ (/ -1 (exp x)) (exp x)) (/ (cbrt 2) (sin y)))
  (/ (+ (/ -1 (exp x)) (exp x)) (/ (sqrt 2) (sin y)))
  (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2)
  (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2)
  (* 1/2 (sin y))
  (* (+ (/ -1 (exp x)) (exp x)) (sin y))
  (real->posit16 (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2))
  (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y)))
  (log (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y))))
  (log (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y))))
  (log (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y))))
  (sqrt (exp (* (cos y) (+ (exp x) (exp (- x))))))
  (* (cos y) (/ (* (* (+ (exp (- x)) (exp x)) (cos y)) (* (+ (exp (- x)) (exp x)) (cos y))) (/ 8 (+ (exp (- x)) (exp x)))))
  (* (* (/ (+ (exp (- x)) (exp x)) 2) (/ (+ (exp (- x)) (exp x)) 2)) (* (/ (+ (exp (- x)) (exp x)) 2) (* (* (cos y) (cos y)) (cos y))))
  (* (cbrt (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y)))) (cbrt (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y)))))
  (cbrt (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y))))
  (* (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y))) (* (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y))) (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y)))))
  (sqrt (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y))))
  (sqrt (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y))))
  (* (sqrt (cos y)) (sqrt (/ (+ (exp (- x)) (exp x)) 2)))
  (* (sqrt (cos y)) (sqrt (/ (+ (exp (- x)) (exp x)) 2)))
  (/ (* (sqrt (cos y)) (sqrt (+ (exp (- x)) (exp x)))) (sqrt 2))
  (/ (* (sqrt (cos y)) (sqrt (+ (exp (- x)) (exp x)))) (sqrt 2))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (/ (+ (exp (- x)) (exp x)) 2))
  (* (sqrt (cos y)) (/ (+ (exp (- x)) (exp x)) 2))
  (/ (+ (exp (- x)) (exp x)) 2)
  (* (cos y) (cbrt (/ (+ (exp (- x)) (exp x)) 2)))
  (* (sqrt (/ (+ (exp (- x)) (exp x)) 2)) (cos y))
  (* (cos y) (/ (cbrt (+ (exp (- x)) (exp x))) (cbrt 2)))
  (/ (cbrt (+ (exp (- x)) (exp x))) (/ (sqrt 2) (cos y)))
  (* (/ (cbrt (+ (exp (- x)) (exp x))) 2) (cos y))
  (/ (sqrt (+ (exp (- x)) (exp x))) (/ (cbrt 2) (cos y)))
  (/ (sqrt (+ (exp (- x)) (exp x))) (/ (sqrt 2) (cos y)))
  (* (/ (sqrt (+ (exp (- x)) (exp x))) 2) (cos y))
  (/ (cos y) (/ (cbrt 2) (+ (exp (- x)) (exp x))))
  (* (/ (+ (exp (- x)) (exp x)) (sqrt 2)) (cos y))
  (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y)))
  (/ (cos y) (/ (cbrt 2) (+ (exp (- x)) (exp x))))
  (* (/ (+ (exp (- x)) (exp x)) (sqrt 2)) (cos y))
  (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y)))
  (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y)))
  (* 1/2 (cos y))
  (* (cos y) (+ (exp x) (exp (- x))))
  (real->posit16 (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y))))
  (+ (* (pow x 5) 1/60) (* x (+ (* (* x x) 1/3) 2)))
  (+ (/ -1 (exp x)) (exp x))
  (+ (/ -1 (exp x)) (exp x))
  (* x y)
  (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2)
  (* (* (+ (/ -1 (exp x)) (exp x)) (sin y)) 1/2)
  (+ (- 1 (* y (* y 1/2))) (/ (* x x) 2))
  (/ (+ (exp (- x)) (exp x)) (/ 2 (cos y)))
  (* (* (cos y) (+ (exp x) (exp (- x)))) 1/2)
6.357 * * * [progress]: adding candidates to table
6.915 * * [progress]: iteration 2 / 4
6.915 * * * [progress]: picking best candidate
6.922 * * * * [pick]: Picked  #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
6.922 * * * [progress]: localizing error
7.003 * * * [progress]: generating rewritten candidates
7.003 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
7.018 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2)
7.019 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2)
7.020 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
7.021 * * * [progress]: generating series expansions
7.021 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
7.022 * [backup-simplify]: Simplify (- (exp x) (exp (- x))) into (- (exp x) (exp (- x)))
7.022 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0
7.022 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
7.022 * [taylor]: Taking taylor expansion of (exp x) in x
7.022 * [taylor]: Taking taylor expansion of x in x
7.022 * [backup-simplify]: Simplify 0 into 0
7.022 * [backup-simplify]: Simplify 1 into 1
7.022 * [backup-simplify]: Simplify (exp 0) into 1
7.022 * [taylor]: Taking taylor expansion of (exp (- x)) in x
7.022 * [taylor]: Taking taylor expansion of (- x) in x
7.022 * [taylor]: Taking taylor expansion of x in x
7.022 * [backup-simplify]: Simplify 0 into 0
7.022 * [backup-simplify]: Simplify 1 into 1
7.022 * [backup-simplify]: Simplify (- 0) into 0
7.023 * [backup-simplify]: Simplify (- 1) into -1
7.023 * [backup-simplify]: Simplify (exp 0) into 1
7.023 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
7.023 * [taylor]: Taking taylor expansion of (exp x) in x
7.023 * [taylor]: Taking taylor expansion of x in x
7.023 * [backup-simplify]: Simplify 0 into 0
7.023 * [backup-simplify]: Simplify 1 into 1
7.023 * [backup-simplify]: Simplify (exp 0) into 1
7.023 * [taylor]: Taking taylor expansion of (exp (- x)) in x
7.023 * [taylor]: Taking taylor expansion of (- x) in x
7.023 * [taylor]: Taking taylor expansion of x in x
7.023 * [backup-simplify]: Simplify 0 into 0
7.023 * [backup-simplify]: Simplify 1 into 1
7.023 * [backup-simplify]: Simplify (- 0) into 0
7.024 * [backup-simplify]: Simplify (- 1) into -1
7.024 * [backup-simplify]: Simplify (exp 0) into 1
7.024 * [backup-simplify]: Simplify (- 1) into -1
7.025 * [backup-simplify]: Simplify (+ 1 -1) into 0
7.025 * [backup-simplify]: Simplify 0 into 0
7.025 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.026 * [backup-simplify]: Simplify (- 1) into -1
7.027 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
7.027 * [backup-simplify]: Simplify (- -1) into 1
7.027 * [backup-simplify]: Simplify (+ 1 1) into 2
7.027 * [backup-simplify]: Simplify 2 into 2
7.029 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.029 * [backup-simplify]: Simplify (- 1) into -1
7.029 * [backup-simplify]: Simplify (- 0) into 0
7.030 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.031 * [backup-simplify]: Simplify (- 1/2) into -1/2
7.031 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
7.031 * [backup-simplify]: Simplify 0 into 0
7.033 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
7.033 * [backup-simplify]: Simplify (- 1) into -1
7.034 * [backup-simplify]: Simplify (- 1) into -1
7.034 * [backup-simplify]: Simplify (- 0) into 0
7.034 * [backup-simplify]: Simplify (- 0) into 0
7.036 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
7.036 * [backup-simplify]: Simplify (- -1/6) into 1/6
7.037 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
7.037 * [backup-simplify]: Simplify 1/3 into 1/3
7.040 * [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
7.040 * [backup-simplify]: Simplify (- 1) into -1
7.040 * [backup-simplify]: Simplify (- 1) into -1
7.041 * [backup-simplify]: Simplify (- 0) into 0
7.041 * [backup-simplify]: Simplify (- 1) into -1
7.041 * [backup-simplify]: Simplify (- 0) into 0
7.041 * [backup-simplify]: Simplify (- 0) into 0
7.042 * [backup-simplify]: Simplify (- 0) into 0
7.045 * [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
7.045 * [backup-simplify]: Simplify (- 1/24) into -1/24
7.046 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
7.046 * [backup-simplify]: Simplify 0 into 0
7.050 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
7.050 * [backup-simplify]: Simplify (- 1) into -1
7.051 * [backup-simplify]: Simplify (- 1) into -1
7.051 * [backup-simplify]: Simplify (- 0) into 0
7.051 * [backup-simplify]: Simplify (- 1) into -1
7.052 * [backup-simplify]: Simplify (- 0) into 0
7.052 * [backup-simplify]: Simplify (- 1) into -1
7.052 * [backup-simplify]: Simplify (- 0) into 0
7.053 * [backup-simplify]: Simplify (- 1) into -1
7.053 * [backup-simplify]: Simplify (- 0) into 0
7.053 * [backup-simplify]: Simplify (- 0) into 0
7.053 * [backup-simplify]: Simplify (- 0) into 0
7.054 * [backup-simplify]: Simplify (- 0) into 0
7.058 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
7.058 * [backup-simplify]: Simplify (- -1/120) into 1/120
7.059 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
7.059 * [backup-simplify]: Simplify 1/60 into 1/60
7.059 * [backup-simplify]: Simplify (+ (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 2 x))) into (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
7.059 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
7.059 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
7.059 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
7.059 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.059 * [taylor]: Taking taylor expansion of x in x
7.059 * [backup-simplify]: Simplify 0 into 0
7.059 * [backup-simplify]: Simplify 1 into 1
7.060 * [backup-simplify]: Simplify (/ 1 1) into 1
7.060 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.060 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
7.060 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
7.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.060 * [taylor]: Taking taylor expansion of x in x
7.060 * [backup-simplify]: Simplify 0 into 0
7.060 * [backup-simplify]: Simplify 1 into 1
7.060 * [backup-simplify]: Simplify (/ 1 1) into 1
7.060 * [backup-simplify]: Simplify (- 1) into -1
7.061 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
7.061 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
7.061 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.061 * [taylor]: Taking taylor expansion of x in x
7.061 * [backup-simplify]: Simplify 0 into 0
7.061 * [backup-simplify]: Simplify 1 into 1
7.061 * [backup-simplify]: Simplify (/ 1 1) into 1
7.061 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.061 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
7.061 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
7.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.061 * [taylor]: Taking taylor expansion of x in x
7.061 * [backup-simplify]: Simplify 0 into 0
7.061 * [backup-simplify]: Simplify 1 into 1
7.061 * [backup-simplify]: Simplify (/ 1 1) into 1
7.062 * [backup-simplify]: Simplify (- 1) into -1
7.062 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
7.062 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x))))
7.062 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
7.062 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
7.063 * [backup-simplify]: Simplify (- 0) into 0
7.063 * [backup-simplify]: Simplify (+ 0 0) into 0
7.063 * [backup-simplify]: Simplify 0 into 0
7.063 * [backup-simplify]: Simplify (- 0) into 0
7.063 * [backup-simplify]: Simplify (+ 0 0) into 0
7.063 * [backup-simplify]: Simplify 0 into 0
7.064 * [backup-simplify]: Simplify (- 0) into 0
7.064 * [backup-simplify]: Simplify (+ 0 0) into 0
7.064 * [backup-simplify]: Simplify 0 into 0
7.064 * [backup-simplify]: Simplify (- 0) into 0
7.065 * [backup-simplify]: Simplify (+ 0 0) into 0
7.065 * [backup-simplify]: Simplify 0 into 0
7.065 * [backup-simplify]: Simplify (- 0) into 0
7.065 * [backup-simplify]: Simplify (+ 0 0) into 0
7.065 * [backup-simplify]: Simplify 0 into 0
7.066 * [backup-simplify]: Simplify (- 0) into 0
7.069 * [backup-simplify]: Simplify (+ 0 0) into 0
7.069 * [backup-simplify]: Simplify 0 into 0
7.069 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (- (exp x) (exp (- x)))
7.069 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
7.069 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
7.069 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
7.069 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.069 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.069 * [taylor]: Taking taylor expansion of -1 in x
7.069 * [backup-simplify]: Simplify -1 into -1
7.069 * [taylor]: Taking taylor expansion of x in x
7.069 * [backup-simplify]: Simplify 0 into 0
7.069 * [backup-simplify]: Simplify 1 into 1
7.070 * [backup-simplify]: Simplify (/ -1 1) into -1
7.070 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.070 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.070 * [taylor]: Taking taylor expansion of x in x
7.070 * [backup-simplify]: Simplify 0 into 0
7.070 * [backup-simplify]: Simplify 1 into 1
7.070 * [backup-simplify]: Simplify (/ 1 1) into 1
7.070 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.071 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
7.071 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.071 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.071 * [taylor]: Taking taylor expansion of -1 in x
7.071 * [backup-simplify]: Simplify -1 into -1
7.071 * [taylor]: Taking taylor expansion of x in x
7.071 * [backup-simplify]: Simplify 0 into 0
7.071 * [backup-simplify]: Simplify 1 into 1
7.071 * [backup-simplify]: Simplify (/ -1 1) into -1
7.071 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.071 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.071 * [taylor]: Taking taylor expansion of x in x
7.071 * [backup-simplify]: Simplify 0 into 0
7.071 * [backup-simplify]: Simplify 1 into 1
7.072 * [backup-simplify]: Simplify (/ 1 1) into 1
7.072 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.072 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
7.072 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
7.072 * [backup-simplify]: Simplify (- (exp (/ -1 x)) (exp (/ 1 x))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
7.072 * [backup-simplify]: Simplify (- 0) into 0
7.073 * [backup-simplify]: Simplify (+ 0 0) into 0
7.073 * [backup-simplify]: Simplify 0 into 0
7.073 * [backup-simplify]: Simplify (- 0) into 0
7.073 * [backup-simplify]: Simplify (+ 0 0) into 0
7.073 * [backup-simplify]: Simplify 0 into 0
7.074 * [backup-simplify]: Simplify (- 0) into 0
7.074 * [backup-simplify]: Simplify (+ 0 0) into 0
7.074 * [backup-simplify]: Simplify 0 into 0
7.074 * [backup-simplify]: Simplify (- 0) into 0
7.074 * [backup-simplify]: Simplify (+ 0 0) into 0
7.074 * [backup-simplify]: Simplify 0 into 0
7.075 * [backup-simplify]: Simplify (- 0) into 0
7.075 * [backup-simplify]: Simplify (+ 0 0) into 0
7.075 * [backup-simplify]: Simplify 0 into 0
7.075 * [backup-simplify]: Simplify (- 0) into 0
7.076 * [backup-simplify]: Simplify (+ 0 0) into 0
7.076 * [backup-simplify]: Simplify 0 into 0
7.076 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) into (- (exp x) (exp (* -1 x)))
7.076 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2)
7.076 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2)
7.076 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
7.076 * * * [progress]: simplifying candidates
7.076 * * * * [progress]: [ 1 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (log (/ (exp (exp x)) (exp (exp (- x))))) 2) (sin y)))))>
7.076 * * * * [progress]: [ 2 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (pow (- (exp x) (exp (- x))) 1) 2) (sin y)))))>
7.076 * * * * [progress]: [ 3 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (exp (log (- (exp x) (exp (- x))))) 2) (sin y)))))>
7.076 * * * * [progress]: [ 4 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (log (exp (- (exp x) (exp (- x))))) 2) (sin y)))))>
7.076 * * * * [progress]: [ 5 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (* (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x))))) 2) (sin y)))))>
7.076 * * * * [progress]: [ 6 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (cbrt (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x))))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 7 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (* (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x))))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 8 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (/ (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 9 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (+ (exp x) (- (exp (- x)))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (* 1 (- (exp x) (exp (- x)))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 11 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (/ (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (+ (exp x) (exp (- x)))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 12 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (* (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x))))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 13 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (* 1 (- (exp x) (exp (- x)))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 14 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (+ (exp x) (- (exp (- x)))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 15 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (posit16->real (real->posit16 (- (exp x) (exp (- x))))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 16 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (pow 2 1/3)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 17 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (pow (cbrt 2) 1)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 18 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (exp (log (cbrt 2)))) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 19 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (log (exp (cbrt 2)))) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (* (cbrt (* (cbrt 2) (cbrt 2))) (cbrt (cbrt 2)))) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.077 * * * * [progress]: [ 21 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (* (cbrt (sqrt 2)) (cbrt (sqrt 2)))) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 22 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (* (cbrt 1) (cbrt 2))) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (* (* (cbrt (cbrt 2)) (cbrt (cbrt 2))) (cbrt (cbrt 2)))) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 24 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt (* (* (cbrt 2) (cbrt 2)) (cbrt 2)))) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 25 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (* (sqrt (cbrt 2)) (sqrt (cbrt 2)))) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 26 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (* 1 (cbrt 2))) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 27 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (posit16->real (real->posit16 (cbrt 2)))) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 28 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (pow 2 1/3))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 29 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (pow (cbrt 2) 1))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (exp (log (cbrt 2))))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 31 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (log (exp (cbrt 2))))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 32 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (* (cbrt (* (cbrt 2) (cbrt 2))) (cbrt (cbrt 2))))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 33 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (* (cbrt (sqrt 2)) (cbrt (sqrt 2))))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 34 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (* (cbrt 1) (cbrt 2)))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 35 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (* (* (cbrt (cbrt 2)) (cbrt (cbrt 2))) (cbrt (cbrt 2))))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 36 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt (* (* (cbrt 2) (cbrt 2)) (cbrt 2))))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.078 * * * * [progress]: [ 37 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (* (sqrt (cbrt 2)) (sqrt (cbrt 2))))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 38 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (* 1 (cbrt 2)))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 39 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (posit16->real (real->posit16 (cbrt 2))))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 40 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (pow 2 1/3) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 41 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (pow (cbrt 2) 1) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 42 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (exp (log (cbrt 2))) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 43 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (log (exp (cbrt 2))) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 44 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (* (cbrt (* (cbrt 2) (cbrt 2))) (cbrt (cbrt 2))) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (* (cbrt (sqrt 2)) (cbrt (sqrt 2))) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 46 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (* (cbrt 1) (cbrt 2)) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 47 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (* (* (cbrt (cbrt 2)) (cbrt (cbrt 2))) (cbrt (cbrt 2))) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 48 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt (* (* (cbrt 2) (cbrt 2)) (cbrt 2))) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 49 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (* (sqrt (cbrt 2)) (sqrt (cbrt 2))) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (* 1 (cbrt 2)) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 51 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (posit16->real (real->posit16 (cbrt 2))) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 52 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 53 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 54 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (* -1 x))) 2) (sin y)))))>
7.079 * * * * [progress]: [ 55 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.080 * * * * [progress]: [ 56 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.080 * * * * [progress]: [ 57 / 57 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
7.080 * [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)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (real->posit16 (- (exp x) (exp (- x))))
  (log (cbrt 2))
  (exp (cbrt 2))
  (cbrt (* (cbrt 2) (cbrt 2)))
  (cbrt (cbrt 2))
  (cbrt (sqrt 2))
  (cbrt (sqrt 2))
  (cbrt 1)
  (cbrt 2)
  (* (cbrt (cbrt 2)) (cbrt (cbrt 2)))
  (cbrt (cbrt 2))
  (* (* (cbrt 2) (cbrt 2)) (cbrt 2))
  (sqrt (cbrt 2))
  (sqrt (cbrt 2))
  (real->posit16 (cbrt 2))
  (log (cbrt 2))
  (exp (cbrt 2))
  (cbrt (* (cbrt 2) (cbrt 2)))
  (cbrt (cbrt 2))
  (cbrt (sqrt 2))
  (cbrt (sqrt 2))
  (cbrt 1)
  (cbrt 2)
  (* (cbrt (cbrt 2)) (cbrt (cbrt 2)))
  (cbrt (cbrt 2))
  (* (* (cbrt 2) (cbrt 2)) (cbrt 2))
  (sqrt (cbrt 2))
  (sqrt (cbrt 2))
  (real->posit16 (cbrt 2))
  (log (cbrt 2))
  (exp (cbrt 2))
  (cbrt (* (cbrt 2) (cbrt 2)))
  (cbrt (cbrt 2))
  (cbrt (sqrt 2))
  (cbrt (sqrt 2))
  (cbrt 1)
  (cbrt 2)
  (* (cbrt (cbrt 2)) (cbrt (cbrt 2)))
  (cbrt (cbrt 2))
  (* (* (cbrt 2) (cbrt 2)) (cbrt 2))
  (sqrt (cbrt 2))
  (sqrt (cbrt 2))
  (real->posit16 (cbrt 2))
  (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (* -1 x)))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))
7.081 * * [simplify]: iteration 0: 66 enodes
7.096 * * [simplify]: iteration 1: 134 enodes
7.130 * * [simplify]: iteration 2: 290 enodes
7.204 * * [simplify]: iteration 3: 745 enodes
7.541 * * [simplify]: iteration 4: 2216 enodes
8.218 * * [simplify]: iteration complete: 5001 enodes
8.218 * * [simplify]: Extracting #0: cost 28 inf + 0
8.219 * * [simplify]: Extracting #1: cost 189 inf + 949
8.221 * * [simplify]: Extracting #2: cost 761 inf + 1600
8.231 * * [simplify]: Extracting #3: cost 1175 inf + 23061
8.268 * * [simplify]: Extracting #4: cost 576 inf + 191672
8.328 * * [simplify]: Extracting #5: cost 274 inf + 319525
8.396 * * [simplify]: Extracting #6: cost 108 inf + 388716
8.470 * * [simplify]: Extracting #7: cost 23 inf + 403538
8.528 * * [simplify]: Extracting #8: cost 0 inf + 411247
8.597 * [simplify]: Simplified to:
  (exp (+ (/ -1 (exp x)) (exp x)))
  (log (+ (/ -1 (exp x)) (exp x)))
  (exp (+ (/ -1 (exp x)) (exp x)))
  (* (cbrt (+ (/ -1 (exp x)) (exp x))) (cbrt (+ (/ -1 (exp x)) (exp x))))
  (cbrt (+ (/ -1 (exp x)) (exp x)))
  (* (+ (/ -1 (exp x)) (exp x)) (* (+ (/ -1 (exp x)) (exp x)) (+ (/ -1 (exp x)) (exp x))))
  (sqrt (+ (/ -1 (exp x)) (exp x)))
  (sqrt (+ (/ -1 (exp x)) (exp x)))
  (+ (exp (* x 3)) (/ (- 1) (exp (* x 3))))
  (+ (+ 1 (exp (* -2 x))) (* (exp x) (exp x)))
  (/ -1 (exp x))
  (+ (* (exp x) (exp x)) (/ (/ -1 (exp x)) (exp x)))
  (+ (exp (- x)) (exp x))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (+ (/ -1 (exp x)) (exp x))
  (/ -1 (exp x))
  (real->posit16 (+ (/ -1 (exp x)) (exp x)))
  (log (cbrt 2))
  (exp (cbrt 2))
  (cbrt (* (cbrt 2) (cbrt 2)))
  (cbrt (cbrt 2))
  (cbrt (sqrt 2))
  (cbrt (sqrt 2))
  1
  (cbrt 2)
  (* (cbrt (cbrt 2)) (cbrt (cbrt 2)))
  (cbrt (cbrt 2))
  2
  (sqrt (cbrt 2))
  (sqrt (cbrt 2))
  (real->posit16 (cbrt 2))
  (log (cbrt 2))
  (exp (cbrt 2))
  (cbrt (* (cbrt 2) (cbrt 2)))
  (cbrt (cbrt 2))
  (cbrt (sqrt 2))
  (cbrt (sqrt 2))
  1
  (cbrt 2)
  (* (cbrt (cbrt 2)) (cbrt (cbrt 2)))
  (cbrt (cbrt 2))
  2
  (sqrt (cbrt 2))
  (sqrt (cbrt 2))
  (real->posit16 (cbrt 2))
  (log (cbrt 2))
  (exp (cbrt 2))
  (cbrt (* (cbrt 2) (cbrt 2)))
  (cbrt (cbrt 2))
  (cbrt (sqrt 2))
  (cbrt (sqrt 2))
  1
  (cbrt 2)
  (* (cbrt (cbrt 2)) (cbrt (cbrt 2)))
  (cbrt (cbrt 2))
  2
  (sqrt (cbrt 2))
  (sqrt (cbrt 2))
  (real->posit16 (cbrt 2))
  (+ (* x (+ (* 1/3 (* x x)) 2)) (* 1/60 (pow x 5)))
  (+ (/ -1 (exp x)) (exp x))
  (+ (/ -1 (exp x)) (exp x))
  (/ (* (cbrt (+ (exp (- x)) (exp x))) (cos y)) (cbrt 2))
  (/ (* (cbrt (+ (exp (- x)) (exp x))) (cos y)) (cbrt 2))
  (/ (* (cbrt (+ (exp (- x)) (exp x))) (cos y)) (cbrt 2))
8.609 * * * [progress]: adding candidates to table
8.976 * [progress]: [Phase 3 of 3] Extracting.
8.976 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))> #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>)
8.977 * * * [regime-changes]: Trying 3 branch expressions: ((re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) y x)
8.977 * * * * [regimes]: Trying to branch on (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))) from (#<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))> #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>)
9.031 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))> #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>)
9.066 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))> #<alt (λ (x y) (re (complex (* (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (* (cbrt 2) (cbrt 2))) (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2)) (cos y))) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>)
9.104 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
9.104 * [simplify]: Simplifying:
  (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y))))
9.104 * * [simplify]: iteration 0: 16 enodes
9.105 * * [simplify]: iteration 1: 19 enodes
9.106 * * [simplify]: iteration complete: 19 enodes
9.106 * * [simplify]: Extracting #0: cost 1 inf + 0
9.106 * * [simplify]: Extracting #1: cost 2 inf + 0
9.106 * * [simplify]: Extracting #2: cost 4 inf + 0
9.106 * * [simplify]: Extracting #3: cost 8 inf + 0
9.106 * * [simplify]: Extracting #4: cost 12 inf + 0
9.106 * * [simplify]: Extracting #5: cost 10 inf + 124
9.106 * * [simplify]: Extracting #6: cost 12 inf + 124
9.107 * * [simplify]: Extracting #7: cost 11 inf + 125
9.107 * * [simplify]: Extracting #8: cost 8 inf + 348
9.107 * * [simplify]: Extracting #9: cost 2 inf + 2040
9.107 * * [simplify]: Extracting #10: cost 0 inf + 3126
9.108 * [simplify]: Simplified to:
  (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y))))
9.108 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
9.196 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
9.200 * * * * [points]: Setting MPFR precision to 64
9.201 * * * * [points]: Setting MPFR precision to 320
9.203 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
9.206 * * * * [points]: Setting MPFR precision to 64
9.209 * * * * [points]: Setting MPFR precision to 320
9.211 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
9.215 * * * * [points]: Setting MPFR precision to 64
9.219 * * * * [points]: Setting MPFR precision to 320
9.224 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
9.228 * * * * [points]: Setting MPFR precision to 64
9.236 * * * * [points]: Setting MPFR precision to 320
9.246 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
9.249 * * * * [points]: Setting MPFR precision to 64
9.264 * * * * [points]: Setting MPFR precision to 320
9.301 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
9.304 * * * * [points]: Setting MPFR precision to 64
9.337 * * * * [points]: Setting MPFR precision to 320
9.374 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
9.377 * * * * [points]: Setting MPFR precision to 64
9.438 * * * * [points]: Setting MPFR precision to 320
9.563 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
9.567 * * * * [points]: Setting MPFR precision to 64
9.684 * * * * [points]: Setting MPFR precision to 320
9.878 * * * * [points]: Computing exacts for 8000 points
9.881 * * * * [points]: Setting MPFR precision to 64
10.500 * * * * [points]: Setting MPFR precision to 320
11.446 * * * * [points]: Setting MPFR precision to 576
12.223 * * * * [points]: Filtering points with unrepresentable outputs
12.227 * * * * [points]: Sampling 3966 additional inputs, on iter 1 have 4034 / 8000
12.294 * * * * [points]: Computing exacts on every 247 of 3966 points to ramp up precision
12.298 * * * * [points]: Setting MPFR precision to 320
12.299 * * * * [points]: Setting MPFR precision to 576
12.300 * * * * [points]: Computing exacts on every 123 of 3966 points to ramp up precision
12.303 * * * * [points]: Setting MPFR precision to 320
12.304 * * * * [points]: Setting MPFR precision to 576
12.306 * * * * [points]: Computing exacts on every 61 of 3966 points to ramp up precision
12.309 * * * * [points]: Setting MPFR precision to 320
12.313 * * * * [points]: Setting MPFR precision to 576
12.321 * * * * [points]: Computing exacts on every 30 of 3966 points to ramp up precision
12.326 * * * * [points]: Setting MPFR precision to 320
12.335 * * * * [points]: Setting MPFR precision to 576
12.343 * * * * [points]: Computing exacts on every 15 of 3966 points to ramp up precision
12.347 * * * * [points]: Setting MPFR precision to 320
12.371 * * * * [points]: Setting MPFR precision to 576
12.387 * * * * [points]: Computing exacts on every 7 of 3966 points to ramp up precision
12.391 * * * * [points]: Setting MPFR precision to 320
12.418 * * * * [points]: Setting MPFR precision to 576
12.449 * * * * [points]: Computing exacts on every 3 of 3966 points to ramp up precision
12.452 * * * * [points]: Setting MPFR precision to 320
12.520 * * * * [points]: Setting MPFR precision to 576
12.666 * * * * [points]: Computing exacts for 3966 points
12.671 * * * * [points]: Setting MPFR precision to 320
12.938 * * * * [points]: Setting MPFR precision to 576
13.629 * * * * [points]: Filtering points with unrepresentable outputs
13.630 * * * * [points]: Sampling 1972 additional inputs, on iter 2 have 6028 / 8000
13.647 * * * * [points]: Computing exacts on every 123 of 1972 points to ramp up precision
13.651 * * * * [points]: Setting MPFR precision to 320
13.653 * * * * [points]: Setting MPFR precision to 576
13.654 * * * * [points]: Computing exacts on every 61 of 1972 points to ramp up precision
13.657 * * * * [points]: Setting MPFR precision to 320
13.659 * * * * [points]: Setting MPFR precision to 576
13.661 * * * * [points]: Computing exacts on every 30 of 1972 points to ramp up precision
13.665 * * * * [points]: Setting MPFR precision to 320
13.668 * * * * [points]: Setting MPFR precision to 576
13.672 * * * * [points]: Computing exacts on every 15 of 1972 points to ramp up precision
13.693 * * * * [points]: Setting MPFR precision to 320
13.699 * * * * [points]: Setting MPFR precision to 576
13.709 * * * * [points]: Computing exacts on every 7 of 1972 points to ramp up precision
13.712 * * * * [points]: Setting MPFR precision to 320
13.725 * * * * [points]: Setting MPFR precision to 576
13.743 * * * * [points]: Computing exacts on every 3 of 1972 points to ramp up precision
13.746 * * * * [points]: Setting MPFR precision to 320
13.776 * * * * [points]: Setting MPFR precision to 576
13.811 * * * * [points]: Computing exacts for 1972 points
13.814 * * * * [points]: Setting MPFR precision to 320
13.962 * * * * [points]: Setting MPFR precision to 576
14.171 * * * * [points]: Filtering points with unrepresentable outputs
14.172 * * * * [points]: Sampling 962 additional inputs, on iter 3 have 7038 / 8000
14.179 * * * * [points]: Computing exacts on every 60 of 962 points to ramp up precision
14.182 * * * * [points]: Setting MPFR precision to 320
14.183 * * * * [points]: Setting MPFR precision to 576
14.185 * * * * [points]: Computing exacts on every 30 of 962 points to ramp up precision
14.188 * * * * [points]: Setting MPFR precision to 320
14.190 * * * * [points]: Setting MPFR precision to 576
14.194 * * * * [points]: Computing exacts on every 15 of 962 points to ramp up precision
14.199 * * * * [points]: Setting MPFR precision to 320
14.205 * * * * [points]: Setting MPFR precision to 576
14.210 * * * * [points]: Computing exacts on every 7 of 962 points to ramp up precision
14.214 * * * * [points]: Setting MPFR precision to 320
14.219 * * * * [points]: Setting MPFR precision to 576
14.227 * * * * [points]: Computing exacts on every 3 of 962 points to ramp up precision
14.230 * * * * [points]: Setting MPFR precision to 320
14.243 * * * * [points]: Setting MPFR precision to 576
14.297 * * * * [points]: Computing exacts for 962 points
14.301 * * * * [points]: Setting MPFR precision to 320
14.378 * * * * [points]: Setting MPFR precision to 576
14.491 * * * * [points]: Filtering points with unrepresentable outputs
14.492 * * * * [points]: Sampling 477 additional inputs, on iter 4 have 7523 / 8000
14.499 * * * * [points]: Computing exacts on every 29 of 477 points to ramp up precision
14.504 * * * * [points]: Setting MPFR precision to 320
14.506 * * * * [points]: Setting MPFR precision to 576
14.508 * * * * [points]: Computing exacts on every 14 of 477 points to ramp up precision
14.514 * * * * [points]: Setting MPFR precision to 320
14.562 * * * * [points]: Setting MPFR precision to 576
14.566 * * * * [points]: Computing exacts on every 7 of 477 points to ramp up precision
14.576 * * * * [points]: Setting MPFR precision to 320
14.582 * * * * [points]: Setting MPFR precision to 576
14.590 * * * * [points]: Computing exacts on every 3 of 477 points to ramp up precision
14.595 * * * * [points]: Setting MPFR precision to 320
14.607 * * * * [points]: Setting MPFR precision to 576
14.621 * * * * [points]: Computing exacts for 477 points
14.626 * * * * [points]: Setting MPFR precision to 320
14.662 * * * * [points]: Setting MPFR precision to 576
14.692 * * * * [points]: Filtering points with unrepresentable outputs
14.693 * * * * [points]: Sampling 237 additional inputs, on iter 5 have 7763 / 8000
14.696 * * * * [points]: Computing exacts on every 14 of 237 points to ramp up precision
14.703 * * * * [points]: Setting MPFR precision to 320
14.704 * * * * [points]: Setting MPFR precision to 576
14.706 * * * * [points]: Computing exacts on every 7 of 237 points to ramp up precision
14.712 * * * * [points]: Setting MPFR precision to 320
14.715 * * * * [points]: Setting MPFR precision to 576
14.719 * * * * [points]: Computing exacts on every 3 of 237 points to ramp up precision
14.725 * * * * [points]: Setting MPFR precision to 320
14.730 * * * * [points]: Setting MPFR precision to 576
14.737 * * * * [points]: Computing exacts for 237 points
14.771 * * * * [points]: Setting MPFR precision to 320
14.784 * * * * [points]: Setting MPFR precision to 576
14.812 * * * * [points]: Filtering points with unrepresentable outputs
14.812 * * * * [points]: Sampling 131 additional inputs, on iter 6 have 7869 / 8000
14.814 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
14.820 * * * * [points]: Setting MPFR precision to 320
14.821 * * * * [points]: Setting MPFR precision to 576
14.822 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
14.825 * * * * [points]: Setting MPFR precision to 320
14.827 * * * * [points]: Setting MPFR precision to 576
14.828 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
14.831 * * * * [points]: Setting MPFR precision to 320
14.834 * * * * [points]: Setting MPFR precision to 576
14.837 * * * * [points]: Computing exacts for 131 points
14.840 * * * * [points]: Setting MPFR precision to 320
14.847 * * * * [points]: Setting MPFR precision to 576
14.862 * * * * [points]: Filtering points with unrepresentable outputs
14.863 * * * * [points]: Sampling 69 additional inputs, on iter 7 have 7931 / 8000
14.864 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision
14.871 * * * * [points]: Setting MPFR precision to 320
14.872 * * * * [points]: Setting MPFR precision to 576
14.873 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision
14.879 * * * * [points]: Setting MPFR precision to 320
14.882 * * * * [points]: Setting MPFR precision to 576
14.885 * * * * [points]: Computing exacts for 69 points
14.891 * * * * [points]: Setting MPFR precision to 320
14.898 * * * * [points]: Setting MPFR precision to 576
14.906 * * * * [points]: Filtering points with unrepresentable outputs
14.907 * * * * [points]: Sampling 34 additional inputs, on iter 8 have 7966 / 8000
14.907 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
14.913 * * * * [points]: Setting MPFR precision to 320
14.914 * * * * [points]: Setting MPFR precision to 576
14.915 * * * * [points]: Computing exacts for 34 points
14.946 * * * * [points]: Setting MPFR precision to 320
14.949 * * * * [points]: Setting MPFR precision to 576
14.956 * * * * [points]: Filtering points with unrepresentable outputs
14.956 * * * * [points]: Sampling 12 additional inputs, on iter 9 have 7988 / 8000
14.956 * * * * [points]: Computing exacts for 12 points
14.962 * * * * [points]: Setting MPFR precision to 320
14.963 * * * * [points]: Setting MPFR precision to 576
14.965 * * * * [points]: Filtering points with unrepresentable outputs
14.965 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000
14.965 * * * * [points]: Computing exacts for 10 points
14.971 * * * * [points]: Setting MPFR precision to 320
14.972 * * * * [points]: Setting MPFR precision to 576
14.973 * * * * [points]: Filtering points with unrepresentable outputs
14.973 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
14.973 * * * * [points]: Computing exacts for 4 points
14.976 * * * * [points]: Setting MPFR precision to 320
14.977 * * * * [points]: Setting MPFR precision to 576
14.977 * * * * [points]: Filtering points with unrepresentable outputs
14.977 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
14.977 * * * * [points]: Computing exacts for 4 points
14.980 * * * * [points]: Setting MPFR precision to 320
14.981 * * * * [points]: Setting MPFR precision to 576
14.981 * * * * [points]: Filtering points with unrepresentable outputs
14.981 * * * * [points]: Sampled 8000 points with exact outputs
15.418 * [regime-testing]: Baseline error score: 0.009146240625180291
15.421 * [regime-testing]: Oracle error score: 0.00852124062518029
15.426 * [regime-testing]: End program error score: 0.009146240625180291