31.692 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.013 * * * [progress]: [2/2] Setting up program.
0.015 * [progress]: [Phase 2 of 3] Improving.
0.015 * [simplify]: Simplifying:
  (/ 2.0 (+ (exp x) (exp (- x))))
0.015 * [simplify]: Sending expressions to egg_math:
 (/ 2.0 (+ (exp h0) (exp (- h0))))
9.820 * * [progress]: iteration 1 / 4
9.820 * * * [progress]: picking best candidate
9.823 * * * * [pick]: Picked  #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>
9.823 * * * [progress]: localizing error
9.830 * * * [progress]: generating rewritten candidates
9.830 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
9.853 * * * [progress]: generating series expansions
9.853 * * * * [progress]: [ 1 / 1 ] generating series at (2)
9.853 * [backup-simplify]: Simplify (/ 2.0 (+ (exp x) (exp (- x)))) into (/ 2.0 (+ (exp x) (exp (- x))))
9.853 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0
9.853 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
9.853 * [taylor]: Taking taylor expansion of 2.0 in x
9.853 * [backup-simplify]: Simplify 2.0 into 2.0
9.853 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
9.853 * [taylor]: Taking taylor expansion of (exp x) in x
9.853 * [taylor]: Taking taylor expansion of x in x
9.853 * [backup-simplify]: Simplify 0 into 0
9.853 * [backup-simplify]: Simplify 1 into 1
9.853 * [backup-simplify]: Simplify (exp 0) into 1
9.853 * [taylor]: Taking taylor expansion of (exp (- x)) in x
9.854 * [taylor]: Taking taylor expansion of (- x) in x
9.854 * [taylor]: Taking taylor expansion of x in x
9.854 * [backup-simplify]: Simplify 0 into 0
9.854 * [backup-simplify]: Simplify 1 into 1
9.854 * [backup-simplify]: Simplify (- 0) into 0
9.854 * [backup-simplify]: Simplify (- 1) into -1
9.854 * [backup-simplify]: Simplify (exp 0) into 1
9.855 * [backup-simplify]: Simplify (+ 1 1) into 2
9.855 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
9.855 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
9.855 * [taylor]: Taking taylor expansion of 2.0 in x
9.855 * [backup-simplify]: Simplify 2.0 into 2.0
9.855 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
9.855 * [taylor]: Taking taylor expansion of (exp x) in x
9.855 * [taylor]: Taking taylor expansion of x in x
9.855 * [backup-simplify]: Simplify 0 into 0
9.855 * [backup-simplify]: Simplify 1 into 1
9.855 * [backup-simplify]: Simplify (exp 0) into 1
9.855 * [taylor]: Taking taylor expansion of (exp (- x)) in x
9.855 * [taylor]: Taking taylor expansion of (- x) in x
9.855 * [taylor]: Taking taylor expansion of x in x
9.855 * [backup-simplify]: Simplify 0 into 0
9.855 * [backup-simplify]: Simplify 1 into 1
9.855 * [backup-simplify]: Simplify (- 0) into 0
9.856 * [backup-simplify]: Simplify (- 1) into -1
9.856 * [backup-simplify]: Simplify (exp 0) into 1
9.856 * [backup-simplify]: Simplify (+ 1 1) into 2
9.856 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
9.856 * [backup-simplify]: Simplify 1.0 into 1.0
9.857 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
9.857 * [backup-simplify]: Simplify (- 1) into -1
9.858 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
9.858 * [backup-simplify]: Simplify (+ 1 -1) into 0
9.858 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)))) into 0
9.859 * [backup-simplify]: Simplify 0 into 0
9.859 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.860 * [backup-simplify]: Simplify (- 1) into -1
9.860 * [backup-simplify]: Simplify (- 0) into 0
9.861 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.861 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
9.864 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1 2)) (* 0 (/ 0 2)))) into (- 0.5)
9.864 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
9.866 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
9.866 * [backup-simplify]: Simplify (- 1) into -1
9.866 * [backup-simplify]: Simplify (- 1) into -1
9.867 * [backup-simplify]: Simplify (- 0) into 0
9.867 * [backup-simplify]: Simplify (- 0) into 0
9.868 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
9.869 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
9.870 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)) (* 0 (/ 1 2)) (* (- 0.5) (/ 0 2)))) into 0
9.870 * [backup-simplify]: Simplify 0 into 0
9.872 * [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
9.872 * [backup-simplify]: Simplify (- 1) into -1
9.872 * [backup-simplify]: Simplify (- 1) into -1
9.873 * [backup-simplify]: Simplify (- 0) into 0
9.873 * [backup-simplify]: Simplify (- 1) into -1
9.873 * [backup-simplify]: Simplify (- 0) into 0
9.873 * [backup-simplify]: Simplify (- 0) into 0
9.874 * [backup-simplify]: Simplify (- 0) into 0
9.882 * [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
9.882 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
9.887 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1/12 2)) (* 0 (/ 0 2)) (* (- 0.5) (/ 1 2)) (* 0 (/ 0 2)))) into 0.20833333333333334
9.887 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
9.887 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 (pow x 4)) (+ (* (- 0.5) (pow x 2)) 1.0)) into (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
9.888 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
9.888 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
9.888 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
9.888 * [taylor]: Taking taylor expansion of 2.0 in x
9.888 * [backup-simplify]: Simplify 2.0 into 2.0
9.888 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
9.888 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
9.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.888 * [taylor]: Taking taylor expansion of x in x
9.888 * [backup-simplify]: Simplify 0 into 0
9.888 * [backup-simplify]: Simplify 1 into 1
9.888 * [backup-simplify]: Simplify (/ 1 1) into 1
9.888 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
9.888 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
9.888 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
9.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.888 * [taylor]: Taking taylor expansion of x in x
9.888 * [backup-simplify]: Simplify 0 into 0
9.888 * [backup-simplify]: Simplify 1 into 1
9.888 * [backup-simplify]: Simplify (/ 1 1) into 1
9.889 * [backup-simplify]: Simplify (- 1) into -1
9.889 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
9.889 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
9.889 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
9.889 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
9.889 * [taylor]: Taking taylor expansion of 2.0 in x
9.889 * [backup-simplify]: Simplify 2.0 into 2.0
9.889 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
9.889 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
9.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.889 * [taylor]: Taking taylor expansion of x in x
9.889 * [backup-simplify]: Simplify 0 into 0
9.889 * [backup-simplify]: Simplify 1 into 1
9.889 * [backup-simplify]: Simplify (/ 1 1) into 1
9.889 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
9.889 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
9.890 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
9.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.890 * [taylor]: Taking taylor expansion of x in x
9.890 * [backup-simplify]: Simplify 0 into 0
9.890 * [backup-simplify]: Simplify 1 into 1
9.890 * [backup-simplify]: Simplify (/ 1 1) into 1
9.890 * [backup-simplify]: Simplify (- 1) into -1
9.890 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
9.890 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
9.890 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
9.891 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
9.891 * [backup-simplify]: Simplify (+ 0 0) into 0
9.891 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
9.891 * [backup-simplify]: Simplify 0 into 0
9.892 * [backup-simplify]: Simplify (+ 0 0) into 0
9.892 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
9.893 * [backup-simplify]: Simplify 0 into 0
9.893 * [backup-simplify]: Simplify (+ 0 0) into 0
9.893 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
9.893 * [backup-simplify]: Simplify 0 into 0
9.894 * [backup-simplify]: Simplify (+ 0 0) into 0
9.894 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
9.894 * [backup-simplify]: Simplify 0 into 0
9.895 * [backup-simplify]: Simplify (+ 0 0) into 0
9.895 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
9.896 * [backup-simplify]: Simplify 0 into 0
9.896 * [backup-simplify]: Simplify (+ 0 0) into 0
9.897 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
9.897 * [backup-simplify]: Simplify 0 into 0
9.897 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2.0 (+ (exp x) (exp (- x))))
9.897 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
9.897 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
9.897 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
9.897 * [taylor]: Taking taylor expansion of 2.0 in x
9.897 * [backup-simplify]: Simplify 2.0 into 2.0
9.897 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
9.897 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
9.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.897 * [taylor]: Taking taylor expansion of x in x
9.897 * [backup-simplify]: Simplify 0 into 0
9.897 * [backup-simplify]: Simplify 1 into 1
9.898 * [backup-simplify]: Simplify (/ 1 1) into 1
9.898 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
9.898 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
9.898 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.898 * [taylor]: Taking taylor expansion of -1 in x
9.898 * [backup-simplify]: Simplify -1 into -1
9.898 * [taylor]: Taking taylor expansion of x in x
9.898 * [backup-simplify]: Simplify 0 into 0
9.898 * [backup-simplify]: Simplify 1 into 1
9.898 * [backup-simplify]: Simplify (/ -1 1) into -1
9.898 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
9.898 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
9.898 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
9.898 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
9.898 * [taylor]: Taking taylor expansion of 2.0 in x
9.898 * [backup-simplify]: Simplify 2.0 into 2.0
9.898 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
9.898 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
9.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.898 * [taylor]: Taking taylor expansion of x in x
9.898 * [backup-simplify]: Simplify 0 into 0
9.898 * [backup-simplify]: Simplify 1 into 1
9.899 * [backup-simplify]: Simplify (/ 1 1) into 1
9.899 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
9.899 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
9.899 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.899 * [taylor]: Taking taylor expansion of -1 in x
9.899 * [backup-simplify]: Simplify -1 into -1
9.899 * [taylor]: Taking taylor expansion of x in x
9.899 * [backup-simplify]: Simplify 0 into 0
9.899 * [backup-simplify]: Simplify 1 into 1
9.899 * [backup-simplify]: Simplify (/ -1 1) into -1
9.899 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
9.899 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
9.899 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
9.900 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
9.900 * [backup-simplify]: Simplify (+ 0 0) into 0
9.900 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
9.900 * [backup-simplify]: Simplify 0 into 0
9.900 * [backup-simplify]: Simplify (+ 0 0) into 0
9.901 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
9.901 * [backup-simplify]: Simplify 0 into 0
9.901 * [backup-simplify]: Simplify (+ 0 0) into 0
9.902 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
9.902 * [backup-simplify]: Simplify 0 into 0
9.902 * [backup-simplify]: Simplify (+ 0 0) into 0
9.902 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
9.902 * [backup-simplify]: Simplify 0 into 0
9.903 * [backup-simplify]: Simplify (+ 0 0) into 0
9.903 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
9.903 * [backup-simplify]: Simplify 0 into 0
9.904 * [backup-simplify]: Simplify (+ 0 0) into 0
9.904 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
9.904 * [backup-simplify]: Simplify 0 into 0
9.904 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2.0 (+ (exp (* -1 x)) (exp x)))
9.905 * * * [progress]: simplifying candidates
9.905 * [simplify]: Simplifying:
  (- (log 2.0) (log (+ (exp x) (exp (- x)))))
  (log (/ 2.0 (+ (exp x) (exp (- x)))))
  (exp (/ 2.0 (+ (exp x) (exp (- x)))))
  (/ (* (* 2.0 2.0) 2.0) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))
  (* (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x))))))
  (cbrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (* (* (/ 2.0 (+ (exp x) (exp (- x)))) (/ 2.0 (+ (exp x) (exp (- x))))) (/ 2.0 (+ (exp x) (exp (- x)))))
  (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (- 2.0)
  (- (+ (exp x) (exp (- x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (cbrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ (exp x) (exp (- x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 2.0 (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
  (/ 1 1)
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 1 1)
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (/ 2.0 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
  (/ 2.0 1)
  (/ 2.0 1)
  (/ (+ (exp x) (exp (- x))) (cbrt 2.0))
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 2.0 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))
  (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 2.0 (+ (exp (* -1 x)) (exp x)))
9.905 * [simplify]: Sending expressions to egg_math:
 (- (log 2.0) (log (+ (exp h0) (exp (- h0)))))
 (log (/ 2.0 (+ (exp h0) (exp (- h0)))))
 (exp (/ 2.0 (+ (exp h0) (exp (- h0)))))
 (/ (* (* 2.0 2.0) 2.0) (* (* (+ (exp h0) (exp (- h0))) (+ (exp h0) (exp (- h0)))) (+ (exp h0) (exp (- h0)))))
 (* (cbrt (/ 2.0 (+ (exp h0) (exp (- h0))))) (cbrt (/ 2.0 (+ (exp h0) (exp (- h0))))))
 (cbrt (/ 2.0 (+ (exp h0) (exp (- h0)))))
 (* (* (/ 2.0 (+ (exp h0) (exp (- h0)))) (/ 2.0 (+ (exp h0) (exp (- h0))))) (/ 2.0 (+ (exp h0) (exp (- h0)))))
 (sqrt (/ 2.0 (+ (exp h0) (exp (- h0)))))
 (sqrt (/ 2.0 (+ (exp h0) (exp (- h0)))))
 (- 2.0)
 (- (+ (exp h0) (exp (- h0))))
 (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))))
 (/ (cbrt 2.0) (cbrt (+ (exp h0) (exp (- h0)))))
 (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ (exp h0) (exp (- h0)))))
 (/ (cbrt 2.0) (sqrt (+ (exp h0) (exp (- h0)))))
 (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
 (/ (cbrt 2.0) (+ (exp h0) (exp (- h0))))
 (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
 (/ (cbrt 2.0) (+ (exp h0) (exp (- h0))))
 (/ (sqrt 2.0) (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))))
 (/ (sqrt 2.0) (cbrt (+ (exp h0) (exp (- h0)))))
 (/ (sqrt 2.0) (sqrt (+ (exp h0) (exp (- h0)))))
 (/ (sqrt 2.0) (sqrt (+ (exp h0) (exp (- h0)))))
 (/ (sqrt 2.0) 1)
 (/ (sqrt 2.0) (+ (exp h0) (exp (- h0))))
 (/ (sqrt 2.0) 1)
 (/ (sqrt 2.0) (+ (exp h0) (exp (- h0))))
 (/ 1 (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))))
 (/ 2.0 (cbrt (+ (exp h0) (exp (- h0)))))
 (/ 1 (sqrt (+ (exp h0) (exp (- h0)))))
 (/ 2.0 (sqrt (+ (exp h0) (exp (- h0)))))
 (/ 1 1)
 (/ 2.0 (+ (exp h0) (exp (- h0))))
 (/ 1 1)
 (/ 2.0 (+ (exp h0) (exp (- h0))))
 (/ 1 (+ (exp h0) (exp (- h0))))
 (/ (+ (exp h0) (exp (- h0))) 2.0)
 (/ 2.0 (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0))))))
 (/ 2.0 (sqrt (+ (exp h0) (exp (- h0)))))
 (/ 2.0 1)
 (/ 2.0 1)
 (/ (+ (exp h0) (exp (- h0))) (cbrt 2.0))
 (/ (+ (exp h0) (exp (- h0))) (sqrt 2.0))
 (/ (+ (exp h0) (exp (- h0))) 2.0)
 (/ 2.0 (+ (pow (exp h0) 3) (pow (exp (- h0)) 3)))
 (/ 2.0 (- (* (exp h0) (exp h0)) (* (exp (- h0)) (exp (- h0)))))
 (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2)))
 (/ 2.0 (+ (exp h0) (exp (- h0))))
 (/ 2.0 (+ (exp (* -1 h0)) (exp h0)))
10.555 * * * [progress]: adding candidates to table
10.653 * * [progress]: iteration 2 / 4
10.653 * * * [progress]: picking best candidate
10.655 * * * * [pick]: Picked  #<alt (λ (x) (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))))>
10.655 * * * [progress]: localizing error
10.670 * * * [progress]: generating rewritten candidates
10.670 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
10.758 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
10.779 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
10.806 * * * [progress]: generating series expansions
10.806 * * * * [progress]: [ 1 / 3 ] generating series at (2)
10.807 * [backup-simplify]: Simplify (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))) into (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
10.807 * [approximate]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) in (x) around 0
10.807 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) in x
10.808 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (pow x 4)) 1.0) in x
10.808 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 4)) in x
10.808 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.808 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.808 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.808 * [taylor]: Taking taylor expansion of x in x
10.808 * [backup-simplify]: Simplify 0 into 0
10.808 * [backup-simplify]: Simplify 1 into 1
10.808 * [taylor]: Taking taylor expansion of 1.0 in x
10.808 * [backup-simplify]: Simplify 1.0 into 1.0
10.808 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x
10.808 * [taylor]: Taking taylor expansion of 0.5 in x
10.808 * [backup-simplify]: Simplify 0.5 into 0.5
10.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.808 * [taylor]: Taking taylor expansion of x in x
10.808 * [backup-simplify]: Simplify 0 into 0
10.808 * [backup-simplify]: Simplify 1 into 1
10.808 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))) in x
10.808 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (pow x 4)) 1.0) in x
10.808 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 4)) in x
10.808 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.808 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.808 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.808 * [taylor]: Taking taylor expansion of x in x
10.808 * [backup-simplify]: Simplify 0 into 0
10.808 * [backup-simplify]: Simplify 1 into 1
10.808 * [taylor]: Taking taylor expansion of 1.0 in x
10.808 * [backup-simplify]: Simplify 1.0 into 1.0
10.808 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x
10.808 * [taylor]: Taking taylor expansion of 0.5 in x
10.808 * [backup-simplify]: Simplify 0.5 into 0.5
10.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.808 * [taylor]: Taking taylor expansion of x in x
10.808 * [backup-simplify]: Simplify 0 into 0
10.808 * [backup-simplify]: Simplify 1 into 1
10.809 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
10.809 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
10.809 * [backup-simplify]: Simplify 1.0 into 1.0
10.809 * [backup-simplify]: Simplify (+ 0 0) into 0
10.809 * [backup-simplify]: Simplify (+ 0 0) into 0
10.809 * [backup-simplify]: Simplify 0 into 0
10.810 * [backup-simplify]: Simplify (+ 0 0) into 0
10.810 * [backup-simplify]: Simplify (* 1 1) into 1
10.810 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
10.811 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
10.811 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
10.811 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
10.812 * [backup-simplify]: Simplify (+ 0 0) into 0
10.812 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.812 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
10.813 * [backup-simplify]: Simplify (- 0) into 0
10.813 * [backup-simplify]: Simplify (+ 0 0) into 0
10.813 * [backup-simplify]: Simplify 0 into 0
10.813 * [backup-simplify]: Simplify (* 1 1) into 1
10.813 * [backup-simplify]: Simplify (* 1 1) into 1
10.814 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
10.814 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
10.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.815 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
10.815 * [backup-simplify]: Simplify (- 0) into 0
10.815 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
10.815 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.816 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 (pow x 4)) (+ (* (- 0.5) (pow x 2)) 1.0)) into (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
10.817 * [backup-simplify]: Simplify (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow (/ 1 x) 4)) 1.0) (* (/ 1.0 2.0) (pow (/ 1 x) 2))) into (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2))))
10.817 * [approximate]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in (x) around 0
10.817 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in x
10.817 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) in x
10.817 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 4))) in x
10.817 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.817 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.817 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
10.817 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.817 * [taylor]: Taking taylor expansion of x in x
10.817 * [backup-simplify]: Simplify 0 into 0
10.817 * [backup-simplify]: Simplify 1 into 1
10.817 * [backup-simplify]: Simplify (* 1 1) into 1
10.818 * [backup-simplify]: Simplify (* 1 1) into 1
10.818 * [backup-simplify]: Simplify (/ 1 1) into 1
10.818 * [taylor]: Taking taylor expansion of 1.0 in x
10.818 * [backup-simplify]: Simplify 1.0 into 1.0
10.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x
10.818 * [taylor]: Taking taylor expansion of 0.5 in x
10.818 * [backup-simplify]: Simplify 0.5 into 0.5
10.818 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.818 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.818 * [taylor]: Taking taylor expansion of x in x
10.818 * [backup-simplify]: Simplify 0 into 0
10.818 * [backup-simplify]: Simplify 1 into 1
10.818 * [backup-simplify]: Simplify (* 1 1) into 1
10.818 * [backup-simplify]: Simplify (/ 1 1) into 1
10.818 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in x
10.818 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) in x
10.818 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 4))) in x
10.818 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.819 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.819 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
10.819 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.819 * [taylor]: Taking taylor expansion of x in x
10.819 * [backup-simplify]: Simplify 0 into 0
10.819 * [backup-simplify]: Simplify 1 into 1
10.819 * [backup-simplify]: Simplify (* 1 1) into 1
10.819 * [backup-simplify]: Simplify (* 1 1) into 1
10.819 * [backup-simplify]: Simplify (/ 1 1) into 1
10.819 * [taylor]: Taking taylor expansion of 1.0 in x
10.819 * [backup-simplify]: Simplify 1.0 into 1.0
10.819 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x
10.819 * [taylor]: Taking taylor expansion of 0.5 in x
10.819 * [backup-simplify]: Simplify 0.5 into 0.5
10.819 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.819 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.819 * [taylor]: Taking taylor expansion of x in x
10.819 * [backup-simplify]: Simplify 0 into 0
10.819 * [backup-simplify]: Simplify 1 into 1
10.820 * [backup-simplify]: Simplify (* 1 1) into 1
10.820 * [backup-simplify]: Simplify (/ 1 1) into 1
10.820 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
10.821 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
10.821 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
10.821 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.821 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.822 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.822 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (* 0 1)) into 0
10.823 * [backup-simplify]: Simplify (+ 0 0) into 0
10.823 * [backup-simplify]: Simplify (+ 0 0) into 0
10.823 * [backup-simplify]: Simplify 0 into 0
10.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.825 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (* 0 1))) into 0
10.825 * [backup-simplify]: Simplify (+ 0 0) into 0
10.826 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
10.826 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
10.826 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
10.826 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
10.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.829 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.829 * [backup-simplify]: Simplify (+ 0 0) into 0
10.829 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.830 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
10.830 * [backup-simplify]: Simplify (- 0) into 0
10.831 * [backup-simplify]: Simplify (+ 0 0) into 0
10.831 * [backup-simplify]: Simplify 0 into 0
10.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.833 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.834 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
10.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.835 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
10.835 * [backup-simplify]: Simplify (- 0) into 0
10.836 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
10.836 * [backup-simplify]: Simplify 1.0 into 1.0
10.836 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.5) (pow (/ 1 (/ 1 x)) 2)) (* 0.20833333333333334 (pow (/ 1 (/ 1 x)) 4)))) into (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
10.838 * [backup-simplify]: Simplify (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow (/ 1 (- x)) 4)) 1.0) (* (/ 1.0 2.0) (pow (/ 1 (- x)) 2))) into (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2))))
10.838 * [approximate]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in (x) around 0
10.838 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in x
10.838 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) in x
10.838 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 4))) in x
10.838 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.838 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.838 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
10.838 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.838 * [taylor]: Taking taylor expansion of x in x
10.838 * [backup-simplify]: Simplify 0 into 0
10.838 * [backup-simplify]: Simplify 1 into 1
10.838 * [backup-simplify]: Simplify (* 1 1) into 1
10.838 * [backup-simplify]: Simplify (* 1 1) into 1
10.839 * [backup-simplify]: Simplify (/ 1 1) into 1
10.839 * [taylor]: Taking taylor expansion of 1.0 in x
10.839 * [backup-simplify]: Simplify 1.0 into 1.0
10.839 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x
10.839 * [taylor]: Taking taylor expansion of 0.5 in x
10.839 * [backup-simplify]: Simplify 0.5 into 0.5
10.839 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.839 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.839 * [taylor]: Taking taylor expansion of x in x
10.839 * [backup-simplify]: Simplify 0 into 0
10.839 * [backup-simplify]: Simplify 1 into 1
10.839 * [backup-simplify]: Simplify (* 1 1) into 1
10.839 * [backup-simplify]: Simplify (/ 1 1) into 1
10.839 * [taylor]: Taking taylor expansion of (- (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) (* 0.5 (/ 1 (pow x 2)))) in x
10.839 * [taylor]: Taking taylor expansion of (+ (* 0.20833333333333334 (/ 1 (pow x 4))) 1.0) in x
10.839 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 4))) in x
10.839 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.839 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.839 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
10.840 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.840 * [taylor]: Taking taylor expansion of x in x
10.840 * [backup-simplify]: Simplify 0 into 0
10.840 * [backup-simplify]: Simplify 1 into 1
10.840 * [backup-simplify]: Simplify (* 1 1) into 1
10.840 * [backup-simplify]: Simplify (* 1 1) into 1
10.840 * [backup-simplify]: Simplify (/ 1 1) into 1
10.840 * [taylor]: Taking taylor expansion of 1.0 in x
10.840 * [backup-simplify]: Simplify 1.0 into 1.0
10.840 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x
10.840 * [taylor]: Taking taylor expansion of 0.5 in x
10.840 * [backup-simplify]: Simplify 0.5 into 0.5
10.840 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.840 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.840 * [taylor]: Taking taylor expansion of x in x
10.840 * [backup-simplify]: Simplify 0 into 0
10.840 * [backup-simplify]: Simplify 1 into 1
10.841 * [backup-simplify]: Simplify (* 1 1) into 1
10.841 * [backup-simplify]: Simplify (/ 1 1) into 1
10.841 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
10.842 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
10.842 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
10.842 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.842 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.843 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.843 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (* 0 1)) into 0
10.844 * [backup-simplify]: Simplify (+ 0 0) into 0
10.844 * [backup-simplify]: Simplify (+ 0 0) into 0
10.844 * [backup-simplify]: Simplify 0 into 0
10.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.846 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (* 0 1))) into 0
10.846 * [backup-simplify]: Simplify (+ 0 0) into 0
10.847 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
10.847 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
10.847 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
10.848 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
10.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.850 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.850 * [backup-simplify]: Simplify (+ 0 0) into 0
10.850 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.851 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
10.851 * [backup-simplify]: Simplify (- 0) into 0
10.852 * [backup-simplify]: Simplify (+ 0 0) into 0
10.852 * [backup-simplify]: Simplify 0 into 0
10.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.854 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.855 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
10.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.856 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
10.856 * [backup-simplify]: Simplify (- 0) into 0
10.857 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
10.857 * [backup-simplify]: Simplify 1.0 into 1.0
10.857 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.5) (pow (/ 1 (/ 1 (- x))) 2)) (* 0.20833333333333334 (pow (/ 1 (/ 1 (- x))) 4)))) into (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
10.857 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
10.858 * [backup-simplify]: Simplify (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) into (* 0.20833333333333334 (pow x 4))
10.858 * [approximate]: Taking taylor expansion of (* 0.20833333333333334 (pow x 4)) in (x) around 0
10.858 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 4)) in x
10.858 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.858 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.858 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.858 * [taylor]: Taking taylor expansion of x in x
10.858 * [backup-simplify]: Simplify 0 into 0
10.858 * [backup-simplify]: Simplify 1 into 1
10.858 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 4)) in x
10.858 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.858 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.858 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.858 * [taylor]: Taking taylor expansion of x in x
10.858 * [backup-simplify]: Simplify 0 into 0
10.858 * [backup-simplify]: Simplify 1 into 1
10.858 * [backup-simplify]: Simplify (* 1 1) into 1
10.858 * [backup-simplify]: Simplify (* 1 1) into 1
10.859 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
10.859 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.859 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.860 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.860 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (* 0 1)) into 0
10.860 * [backup-simplify]: Simplify 0 into 0
10.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.862 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (* 0 1))) into 0
10.862 * [backup-simplify]: Simplify 0 into 0
10.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.864 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.864 * [backup-simplify]: Simplify 0 into 0
10.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.866 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.866 * [backup-simplify]: Simplify 0 into 0
10.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.868 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.868 * [backup-simplify]: Simplify 0 into 0
10.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.870 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.870 * [backup-simplify]: Simplify 0 into 0
10.870 * [backup-simplify]: Simplify (* 0.20833333333333334 (pow x 4)) into (* 0.20833333333333334 (pow x 4))
10.871 * [backup-simplify]: Simplify (* (/ 7505999378950827.0 3.602879701896397e+16) (pow (/ 1 x) 4)) into (/ 0.20833333333333334 (pow x 4))
10.871 * [approximate]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in (x) around 0
10.871 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in x
10.871 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.871 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.871 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.871 * [taylor]: Taking taylor expansion of x in x
10.871 * [backup-simplify]: Simplify 0 into 0
10.871 * [backup-simplify]: Simplify 1 into 1
10.871 * [backup-simplify]: Simplify (* 1 1) into 1
10.872 * [backup-simplify]: Simplify (* 1 1) into 1
10.872 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
10.872 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in x
10.872 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.872 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.872 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.872 * [taylor]: Taking taylor expansion of x in x
10.872 * [backup-simplify]: Simplify 0 into 0
10.872 * [backup-simplify]: Simplify 1 into 1
10.872 * [backup-simplify]: Simplify (* 1 1) into 1
10.872 * [backup-simplify]: Simplify (* 1 1) into 1
10.873 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
10.873 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.873 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.874 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)))) into 0
10.874 * [backup-simplify]: Simplify 0 into 0
10.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.876 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.876 * [backup-simplify]: Simplify 0 into 0
10.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.877 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.877 * [backup-simplify]: Simplify 0 into 0
10.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.879 * [backup-simplify]: Simplify 0 into 0
10.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.881 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.881 * [backup-simplify]: Simplify 0 into 0
10.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.884 * [backup-simplify]: Simplify 0 into 0
10.884 * [backup-simplify]: Simplify (* 0.20833333333333334 (pow (/ 1 (/ 1 x)) 4)) into (* 0.20833333333333334 (pow x 4))
10.884 * [backup-simplify]: Simplify (* (/ 7505999378950827.0 3.602879701896397e+16) (pow (/ 1 (- x)) 4)) into (/ 0.20833333333333334 (pow x 4))
10.884 * [approximate]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in (x) around 0
10.884 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in x
10.884 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.884 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.884 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.884 * [taylor]: Taking taylor expansion of x in x
10.884 * [backup-simplify]: Simplify 0 into 0
10.884 * [backup-simplify]: Simplify 1 into 1
10.885 * [backup-simplify]: Simplify (* 1 1) into 1
10.885 * [backup-simplify]: Simplify (* 1 1) into 1
10.885 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
10.885 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 4)) in x
10.885 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
10.885 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.885 * [taylor]: Taking taylor expansion of (pow x 4) in x
10.885 * [taylor]: Taking taylor expansion of x in x
10.885 * [backup-simplify]: Simplify 0 into 0
10.885 * [backup-simplify]: Simplify 1 into 1
10.886 * [backup-simplify]: Simplify (* 1 1) into 1
10.886 * [backup-simplify]: Simplify (* 1 1) into 1
10.886 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
10.886 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
10.887 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.890 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)))) into 0
10.890 * [backup-simplify]: Simplify 0 into 0
10.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.892 * [backup-simplify]: Simplify 0 into 0
10.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.894 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.894 * [backup-simplify]: Simplify 0 into 0
10.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.896 * [backup-simplify]: Simplify 0 into 0
10.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.898 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.898 * [backup-simplify]: Simplify 0 into 0
10.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.900 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.900 * [backup-simplify]: Simplify 0 into 0
10.900 * [backup-simplify]: Simplify (* 0.20833333333333334 (pow (/ 1 (/ 1 (- x))) 4)) into (* 0.20833333333333334 (pow x 4))
10.900 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
10.901 * [backup-simplify]: Simplify (* (/ 1.0 2.0) (pow x 2)) into (* 0.5 (pow x 2))
10.901 * [approximate]: Taking taylor expansion of (* 0.5 (pow x 2)) in (x) around 0
10.901 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x
10.901 * [taylor]: Taking taylor expansion of 0.5 in x
10.901 * [backup-simplify]: Simplify 0.5 into 0.5
10.901 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.901 * [taylor]: Taking taylor expansion of x in x
10.901 * [backup-simplify]: Simplify 0 into 0
10.901 * [backup-simplify]: Simplify 1 into 1
10.901 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x
10.901 * [taylor]: Taking taylor expansion of 0.5 in x
10.901 * [backup-simplify]: Simplify 0.5 into 0.5
10.901 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.901 * [taylor]: Taking taylor expansion of x in x
10.901 * [backup-simplify]: Simplify 0 into 0
10.901 * [backup-simplify]: Simplify 1 into 1
10.901 * [backup-simplify]: Simplify (* 1 1) into 1
10.901 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
10.901 * [backup-simplify]: Simplify 0.5 into 0.5
10.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.902 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
10.902 * [backup-simplify]: Simplify 0 into 0
10.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.903 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
10.903 * [backup-simplify]: Simplify 0 into 0
10.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.905 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.905 * [backup-simplify]: Simplify 0 into 0
10.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.906 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.906 * [backup-simplify]: Simplify 0 into 0
10.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.907 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.907 * [backup-simplify]: Simplify 0 into 0
10.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.909 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.909 * [backup-simplify]: Simplify 0 into 0
10.909 * [backup-simplify]: Simplify (* 0.5 (pow x 2)) into (* 0.5 (pow x 2))
10.910 * [backup-simplify]: Simplify (* (/ 1.0 2.0) (pow (/ 1 x) 2)) into (/ 0.5 (pow x 2))
10.910 * [approximate]: Taking taylor expansion of (/ 0.5 (pow x 2)) in (x) around 0
10.910 * [taylor]: Taking taylor expansion of (/ 0.5 (pow x 2)) in x
10.910 * [taylor]: Taking taylor expansion of 0.5 in x
10.910 * [backup-simplify]: Simplify 0.5 into 0.5
10.910 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.910 * [taylor]: Taking taylor expansion of x in x
10.910 * [backup-simplify]: Simplify 0 into 0
10.910 * [backup-simplify]: Simplify 1 into 1
10.910 * [backup-simplify]: Simplify (* 1 1) into 1
10.910 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
10.910 * [taylor]: Taking taylor expansion of (/ 0.5 (pow x 2)) in x
10.911 * [taylor]: Taking taylor expansion of 0.5 in x
10.911 * [backup-simplify]: Simplify 0.5 into 0.5
10.911 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.911 * [taylor]: Taking taylor expansion of x in x
10.911 * [backup-simplify]: Simplify 0 into 0
10.911 * [backup-simplify]: Simplify 1 into 1
10.911 * [backup-simplify]: Simplify (* 1 1) into 1
10.911 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
10.911 * [backup-simplify]: Simplify 0.5 into 0.5
10.912 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
10.912 * [backup-simplify]: Simplify 0 into 0
10.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.913 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.913 * [backup-simplify]: Simplify 0 into 0
10.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.914 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.914 * [backup-simplify]: Simplify 0 into 0
10.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.916 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.916 * [backup-simplify]: Simplify 0 into 0
10.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.917 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.917 * [backup-simplify]: Simplify 0 into 0
10.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.918 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.918 * [backup-simplify]: Simplify 0 into 0
10.919 * [backup-simplify]: Simplify (* 0.5 (pow (/ 1 (/ 1 x)) 2)) into (* 0.5 (pow x 2))
10.919 * [backup-simplify]: Simplify (* (/ 1.0 2.0) (pow (/ 1 (- x)) 2)) into (/ 0.5 (pow x 2))
10.919 * [approximate]: Taking taylor expansion of (/ 0.5 (pow x 2)) in (x) around 0
10.919 * [taylor]: Taking taylor expansion of (/ 0.5 (pow x 2)) in x
10.919 * [taylor]: Taking taylor expansion of 0.5 in x
10.919 * [backup-simplify]: Simplify 0.5 into 0.5
10.919 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.919 * [taylor]: Taking taylor expansion of x in x
10.919 * [backup-simplify]: Simplify 0 into 0
10.919 * [backup-simplify]: Simplify 1 into 1
10.919 * [backup-simplify]: Simplify (* 1 1) into 1
10.920 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
10.920 * [taylor]: Taking taylor expansion of (/ 0.5 (pow x 2)) in x
10.920 * [taylor]: Taking taylor expansion of 0.5 in x
10.920 * [backup-simplify]: Simplify 0.5 into 0.5
10.920 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.920 * [taylor]: Taking taylor expansion of x in x
10.920 * [backup-simplify]: Simplify 0 into 0
10.920 * [backup-simplify]: Simplify 1 into 1
10.920 * [backup-simplify]: Simplify (* 1 1) into 1
10.920 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
10.920 * [backup-simplify]: Simplify 0.5 into 0.5
10.921 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.921 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
10.921 * [backup-simplify]: Simplify 0 into 0
10.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.923 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.923 * [backup-simplify]: Simplify 0 into 0
10.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.925 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.925 * [backup-simplify]: Simplify 0 into 0
10.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.926 * [backup-simplify]: Simplify 0 into 0
10.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.927 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.927 * [backup-simplify]: Simplify 0 into 0
10.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.929 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.929 * [backup-simplify]: Simplify 0 into 0
10.929 * [backup-simplify]: Simplify (* 0.5 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.5 (pow x 2))
10.929 * * * [progress]: simplifying candidates
10.931 * [simplify]: Simplifying:
  (/ (* (exp (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4))) (exp 1.0)) (exp (* (/ 1.0 2.0) (pow x 2))))
  (/ (exp (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0)) (exp (* (/ 1.0 2.0) (pow x 2))))
  (log (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))))
  (exp (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))))
  (* (cbrt (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2)))) (cbrt (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2)))))
  (cbrt (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))))
  (* (* (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))) (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2)))) (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))))
  (sqrt (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))))
  (sqrt (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))))
  (- (* (+ (pow (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 3) (pow 1.0 3)) 2.0) (* (+ (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4))) (- (* 1.0 1.0) (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0))) (* 1.0 (pow x 2))))
  (* (+ (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4))) (- (* 1.0 1.0) (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0))) 2.0)
  (- (* (- (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4))) (* 1.0 1.0)) 2.0) (* (- (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* 1.0 (pow x 2))))
  (* (- (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) 2.0)
  (- (pow (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) 3) (pow (* (/ 1.0 2.0) (pow x 2)) 3))
  (+ (* (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0)) (+ (* (* (/ 1.0 2.0) (pow x 2)) (* (/ 1.0 2.0) (pow x 2))) (* (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2)))))
  (- (* (/ 1.0 2.0) (pow x 2)))
  (- (* (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0)) (* (* (/ 1.0 2.0) (pow x 2)) (* (/ 1.0 2.0) (pow x 2))))
  (+ (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2)))
  (- 1.0 (* (/ 1.0 2.0) (pow x 2)))
  (- (* (/ 1.0 2.0) (pow x 2)))
  (+ (- (log 7505999378950827.0) (log 3.602879701896397e+16)) (* (log x) 4))
  (+ (- (log 7505999378950827.0) (log 3.602879701896397e+16)) (* (log x) 4))
  (+ (- (log 7505999378950827.0) (log 3.602879701896397e+16)) (log (pow x 4)))
  (+ (log (/ 7505999378950827.0 3.602879701896397e+16)) (* (log x) 4))
  (+ (log (/ 7505999378950827.0 3.602879701896397e+16)) (* (log x) 4))
  (+ (log (/ 7505999378950827.0 3.602879701896397e+16)) (log (pow x 4)))
  (log (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)))
  (exp (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)))
  (* (/ (* (* 7505999378950827.0 7505999378950827.0) 7505999378950827.0) (* (* 3.602879701896397e+16 3.602879701896397e+16) 3.602879701896397e+16)) (* (* (pow x 4) (pow x 4)) (pow x 4)))
  (* (* (* (/ 7505999378950827.0 3.602879701896397e+16) (/ 7505999378950827.0 3.602879701896397e+16)) (/ 7505999378950827.0 3.602879701896397e+16)) (* (* (pow x 4) (pow x 4)) (pow x 4)))
  (* (cbrt (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4))) (cbrt (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4))))
  (cbrt (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)))
  (* (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4))) (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)))
  (sqrt (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)))
  (sqrt (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)))
  (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow (sqrt x) 4))
  (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow (sqrt x) 4))
  (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (sqrt (pow x 4)))
  (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (sqrt (pow x 4)))
  (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow x (/ 4 2)))
  (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow x (/ 4 2)))
  (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow (sqrt x) 4))
  (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow (sqrt x) 4))
  (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (sqrt (pow x 4)))
  (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (sqrt (pow x 4)))
  (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow x (/ 4 2)))
  (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow x (/ 4 2)))
  (* (/ 7505999378950827.0 3.602879701896397e+16) (pow (* (cbrt x) (cbrt x)) 4))
  (* (/ 7505999378950827.0 3.602879701896397e+16) (pow (sqrt x) 4))
  (* (/ 7505999378950827.0 3.602879701896397e+16) (pow 1 4))
  (* (/ 7505999378950827.0 3.602879701896397e+16) (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* (/ 7505999378950827.0 3.602879701896397e+16) (sqrt (pow x 4)))
  (* (/ 7505999378950827.0 3.602879701896397e+16) 1)
  (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x (/ 4 2)))
  (* (cbrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow x 4))
  (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow x 4))
  (* (/ (cbrt 7505999378950827.0) (cbrt 3.602879701896397e+16)) (pow x 4))
  (* (/ (cbrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow x 4))
  (* (/ (cbrt 7505999378950827.0) 3.602879701896397e+16) (pow x 4))
  (* (/ (sqrt 7505999378950827.0) (cbrt 3.602879701896397e+16)) (pow x 4))
  (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow x 4))
  (* (/ (sqrt 7505999378950827.0) 3.602879701896397e+16) (pow x 4))
  (* (/ 7505999378950827.0 (cbrt 3.602879701896397e+16)) (pow x 4))
  (* (/ 7505999378950827.0 (sqrt 3.602879701896397e+16)) (pow x 4))
  (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4))
  (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4))
  (* (/ 1 3.602879701896397e+16) (pow x 4))
  (* 7505999378950827.0 (pow x 4))
  (+ (- (log 1.0) (log 2.0)) (* (log x) 2))
  (+ (- (log 1.0) (log 2.0)) (* (log x) 2))
  (+ (- (log 1.0) (log 2.0)) (log (pow x 2)))
  (+ (log (/ 1.0 2.0)) (* (log x) 2))
  (+ (log (/ 1.0 2.0)) (* (log x) 2))
  (+ (log (/ 1.0 2.0)) (log (pow x 2)))
  (log (* (/ 1.0 2.0) (pow x 2)))
  (exp (* (/ 1.0 2.0) (pow x 2)))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 2.0 2.0) 2.0)) (* (* (pow x 2) (pow x 2)) (pow x 2)))
  (* (* (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 1.0 2.0)) (* (* (pow x 2) (pow x 2)) (pow x 2)))
  (* (cbrt (* (/ 1.0 2.0) (pow x 2))) (cbrt (* (/ 1.0 2.0) (pow x 2))))
  (cbrt (* (/ 1.0 2.0) (pow x 2)))
  (* (* (* (/ 1.0 2.0) (pow x 2)) (* (/ 1.0 2.0) (pow x 2))) (* (/ 1.0 2.0) (pow x 2)))
  (sqrt (* (/ 1.0 2.0) (pow x 2)))
  (sqrt (* (/ 1.0 2.0) (pow x 2)))
  (* (sqrt (/ 1.0 2.0)) (pow (sqrt x) 2))
  (* (sqrt (/ 1.0 2.0)) (pow (sqrt x) 2))
  (* (sqrt (/ 1.0 2.0)) x)
  (* (sqrt (/ 1.0 2.0)) x)
  (* (sqrt (/ 1.0 2.0)) (sqrt (pow x 2)))
  (* (sqrt (/ 1.0 2.0)) (sqrt (pow x 2)))
  (* (sqrt (/ 1.0 2.0)) (pow x (/ 2 2)))
  (* (sqrt (/ 1.0 2.0)) (pow x (/ 2 2)))
  (* (/ (sqrt 1.0) (sqrt 2.0)) (pow (sqrt x) 2))
  (* (/ (sqrt 1.0) (sqrt 2.0)) (pow (sqrt x) 2))
  (* (/ (sqrt 1.0) (sqrt 2.0)) x)
  (* (/ (sqrt 1.0) (sqrt 2.0)) x)
  (* (/ (sqrt 1.0) (sqrt 2.0)) (sqrt (pow x 2)))
  (* (/ (sqrt 1.0) (sqrt 2.0)) (sqrt (pow x 2)))
  (* (/ (sqrt 1.0) (sqrt 2.0)) (pow x (/ 2 2)))
  (* (/ (sqrt 1.0) (sqrt 2.0)) (pow x (/ 2 2)))
  (* (/ 1.0 2.0) (pow (* (cbrt x) (cbrt x)) 2))
  (* (/ 1.0 2.0) (pow (sqrt x) 2))
  (* (/ 1.0 2.0) (pow 1 2))
  (* (/ 1.0 2.0) x)
  (* (/ 1.0 2.0) (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* (/ 1.0 2.0) (sqrt (pow x 2)))
  (* (/ 1.0 2.0) 1)
  (* (/ 1.0 2.0) (pow x (/ 2 2)))
  (* (cbrt (/ 1.0 2.0)) (pow x 2))
  (* (sqrt (/ 1.0 2.0)) (pow x 2))
  (* (/ (cbrt 1.0) (cbrt 2.0)) (pow x 2))
  (* (/ (cbrt 1.0) (sqrt 2.0)) (pow x 2))
  (* (/ (cbrt 1.0) 2.0) (pow x 2))
  (* (/ (sqrt 1.0) (cbrt 2.0)) (pow x 2))
  (* (/ (sqrt 1.0) (sqrt 2.0)) (pow x 2))
  (* (/ (sqrt 1.0) 2.0) (pow x 2))
  (* (/ 1.0 (cbrt 2.0)) (pow x 2))
  (* (/ 1.0 (sqrt 2.0)) (pow x 2))
  (* (/ 1.0 2.0) (pow x 2))
  (* (/ 1.0 2.0) (pow x 2))
  (* (/ 1 2.0) (pow x 2))
  (* 1.0 (pow x 2))
  (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
  (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
  (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
  (* 0.20833333333333334 (pow x 4))
  (* 0.20833333333333334 (pow x 4))
  (* 0.20833333333333334 (pow x 4))
  (* 0.5 (pow x 2))
  (* 0.5 (pow x 2))
  (* 0.5 (pow x 2))
10.932 * [simplify]: Sending expressions to egg_math:
 (/ (* (exp (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))) (exp 1.0)) (exp (* (/ 1.0 2.0) (pow h0 2))))
 (/ (exp (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0)) (exp (* (/ 1.0 2.0) (pow h0 2))))
 (log (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2))))
 (exp (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2))))
 (* (cbrt (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2)))) (cbrt (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2)))))
 (cbrt (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2))))
 (* (* (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2))) (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2)))) (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2))))
 (sqrt (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2))))
 (sqrt (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2))))
 (- (* (+ (pow (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 3) (pow 1.0 3)) 2.0) (* (+ (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))) (- (* 1.0 1.0) (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0))) (* 1.0 (pow h0 2))))
 (* (+ (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))) (- (* 1.0 1.0) (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0))) 2.0)
 (- (* (- (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))) (* 1.0 1.0)) 2.0) (* (- (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* 1.0 (pow h0 2))))
 (* (- (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) 2.0)
 (- (pow (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) 3) (pow (* (/ 1.0 2.0) (pow h0 2)) 3))
 (+ (* (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0)) (+ (* (* (/ 1.0 2.0) (pow h0 2)) (* (/ 1.0 2.0) (pow h0 2))) (* (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2)))))
 (- (* (/ 1.0 2.0) (pow h0 2)))
 (- (* (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0)) (* (* (/ 1.0 2.0) (pow h0 2)) (* (/ 1.0 2.0) (pow h0 2))))
 (+ (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2)))
 (- 1.0 (* (/ 1.0 2.0) (pow h0 2)))
 (- (* (/ 1.0 2.0) (pow h0 2)))
 (+ (- (log 7505999378950827.0) (log 3.602879701896397e+16)) (* (log h0) 4))
 (+ (- (log 7505999378950827.0) (log 3.602879701896397e+16)) (* (log h0) 4))
 (+ (- (log 7505999378950827.0) (log 3.602879701896397e+16)) (log (pow h0 4)))
 (+ (log (/ 7505999378950827.0 3.602879701896397e+16)) (* (log h0) 4))
 (+ (log (/ 7505999378950827.0 3.602879701896397e+16)) (* (log h0) 4))
 (+ (log (/ 7505999378950827.0 3.602879701896397e+16)) (log (pow h0 4)))
 (log (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)))
 (exp (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)))
 (* (/ (* (* 7505999378950827.0 7505999378950827.0) 7505999378950827.0) (* (* 3.602879701896397e+16 3.602879701896397e+16) 3.602879701896397e+16)) (* (* (pow h0 4) (pow h0 4)) (pow h0 4)))
 (* (* (* (/ 7505999378950827.0 3.602879701896397e+16) (/ 7505999378950827.0 3.602879701896397e+16)) (/ 7505999378950827.0 3.602879701896397e+16)) (* (* (pow h0 4) (pow h0 4)) (pow h0 4)))
 (* (cbrt (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))) (cbrt (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))))
 (cbrt (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)))
 (* (* (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))) (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)))
 (sqrt (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)))
 (sqrt (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)))
 (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow (sqrt h0) 4))
 (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow (sqrt h0) 4))
 (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (sqrt (pow h0 4)))
 (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (sqrt (pow h0 4)))
 (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow h0 (/ 4 2)))
 (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow h0 (/ 4 2)))
 (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow (sqrt h0) 4))
 (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow (sqrt h0) 4))
 (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (sqrt (pow h0 4)))
 (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (sqrt (pow h0 4)))
 (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow h0 (/ 4 2)))
 (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow h0 (/ 4 2)))
 (* (/ 7505999378950827.0 3.602879701896397e+16) (pow (* (cbrt h0) (cbrt h0)) 4))
 (* (/ 7505999378950827.0 3.602879701896397e+16) (pow (sqrt h0) 4))
 (* (/ 7505999378950827.0 3.602879701896397e+16) (pow 1 4))
 (* (/ 7505999378950827.0 3.602879701896397e+16) (* (cbrt (pow h0 4)) (cbrt (pow h0 4))))
 (* (/ 7505999378950827.0 3.602879701896397e+16) (sqrt (pow h0 4)))
 (* (/ 7505999378950827.0 3.602879701896397e+16) 1)
 (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 (/ 4 2)))
 (* (cbrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow h0 4))
 (* (sqrt (/ 7505999378950827.0 3.602879701896397e+16)) (pow h0 4))
 (* (/ (cbrt 7505999378950827.0) (cbrt 3.602879701896397e+16)) (pow h0 4))
 (* (/ (cbrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow h0 4))
 (* (/ (cbrt 7505999378950827.0) 3.602879701896397e+16) (pow h0 4))
 (* (/ (sqrt 7505999378950827.0) (cbrt 3.602879701896397e+16)) (pow h0 4))
 (* (/ (sqrt 7505999378950827.0) (sqrt 3.602879701896397e+16)) (pow h0 4))
 (* (/ (sqrt 7505999378950827.0) 3.602879701896397e+16) (pow h0 4))
 (* (/ 7505999378950827.0 (cbrt 3.602879701896397e+16)) (pow h0 4))
 (* (/ 7505999378950827.0 (sqrt 3.602879701896397e+16)) (pow h0 4))
 (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))
 (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))
 (* (/ 1 3.602879701896397e+16) (pow h0 4))
 (* 7505999378950827.0 (pow h0 4))
 (+ (- (log 1.0) (log 2.0)) (* (log h0) 2))
 (+ (- (log 1.0) (log 2.0)) (* (log h0) 2))
 (+ (- (log 1.0) (log 2.0)) (log (pow h0 2)))
 (+ (log (/ 1.0 2.0)) (* (log h0) 2))
 (+ (log (/ 1.0 2.0)) (* (log h0) 2))
 (+ (log (/ 1.0 2.0)) (log (pow h0 2)))
 (log (* (/ 1.0 2.0) (pow h0 2)))
 (exp (* (/ 1.0 2.0) (pow h0 2)))
 (* (/ (* (* 1.0 1.0) 1.0) (* (* 2.0 2.0) 2.0)) (* (* (pow h0 2) (pow h0 2)) (pow h0 2)))
 (* (* (* (/ 1.0 2.0) (/ 1.0 2.0)) (/ 1.0 2.0)) (* (* (pow h0 2) (pow h0 2)) (pow h0 2)))
 (* (cbrt (* (/ 1.0 2.0) (pow h0 2))) (cbrt (* (/ 1.0 2.0) (pow h0 2))))
 (cbrt (* (/ 1.0 2.0) (pow h0 2)))
 (* (* (* (/ 1.0 2.0) (pow h0 2)) (* (/ 1.0 2.0) (pow h0 2))) (* (/ 1.0 2.0) (pow h0 2)))
 (sqrt (* (/ 1.0 2.0) (pow h0 2)))
 (sqrt (* (/ 1.0 2.0) (pow h0 2)))
 (* (sqrt (/ 1.0 2.0)) (pow (sqrt h0) 2))
 (* (sqrt (/ 1.0 2.0)) (pow (sqrt h0) 2))
 (* (sqrt (/ 1.0 2.0)) h0)
 (* (sqrt (/ 1.0 2.0)) h0)
 (* (sqrt (/ 1.0 2.0)) (sqrt (pow h0 2)))
 (* (sqrt (/ 1.0 2.0)) (sqrt (pow h0 2)))
 (* (sqrt (/ 1.0 2.0)) (pow h0 (/ 2 2)))
 (* (sqrt (/ 1.0 2.0)) (pow h0 (/ 2 2)))
 (* (/ (sqrt 1.0) (sqrt 2.0)) (pow (sqrt h0) 2))
 (* (/ (sqrt 1.0) (sqrt 2.0)) (pow (sqrt h0) 2))
 (* (/ (sqrt 1.0) (sqrt 2.0)) h0)
 (* (/ (sqrt 1.0) (sqrt 2.0)) h0)
 (* (/ (sqrt 1.0) (sqrt 2.0)) (sqrt (pow h0 2)))
 (* (/ (sqrt 1.0) (sqrt 2.0)) (sqrt (pow h0 2)))
 (* (/ (sqrt 1.0) (sqrt 2.0)) (pow h0 (/ 2 2)))
 (* (/ (sqrt 1.0) (sqrt 2.0)) (pow h0 (/ 2 2)))
 (* (/ 1.0 2.0) (pow (* (cbrt h0) (cbrt h0)) 2))
 (* (/ 1.0 2.0) (pow (sqrt h0) 2))
 (* (/ 1.0 2.0) (pow 1 2))
 (* (/ 1.0 2.0) h0)
 (* (/ 1.0 2.0) (* (cbrt (pow h0 2)) (cbrt (pow h0 2))))
 (* (/ 1.0 2.0) (sqrt (pow h0 2)))
 (* (/ 1.0 2.0) 1)
 (* (/ 1.0 2.0) (pow h0 (/ 2 2)))
 (* (cbrt (/ 1.0 2.0)) (pow h0 2))
 (* (sqrt (/ 1.0 2.0)) (pow h0 2))
 (* (/ (cbrt 1.0) (cbrt 2.0)) (pow h0 2))
 (* (/ (cbrt 1.0) (sqrt 2.0)) (pow h0 2))
 (* (/ (cbrt 1.0) 2.0) (pow h0 2))
 (* (/ (sqrt 1.0) (cbrt 2.0)) (pow h0 2))
 (* (/ (sqrt 1.0) (sqrt 2.0)) (pow h0 2))
 (* (/ (sqrt 1.0) 2.0) (pow h0 2))
 (* (/ 1.0 (cbrt 2.0)) (pow h0 2))
 (* (/ 1.0 (sqrt 2.0)) (pow h0 2))
 (* (/ 1.0 2.0) (pow h0 2))
 (* (/ 1.0 2.0) (pow h0 2))
 (* (/ 1 2.0) (pow h0 2))
 (* 1.0 (pow h0 2))
 (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2)))
 (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2)))
 (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4)) 1.0) (* (/ 1.0 2.0) (pow h0 2)))
 (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))
 (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))
 (* (/ 7505999378950827.0 3.602879701896397e+16) (pow h0 4))
 (* (/ 1.0 2.0) (pow h0 2))
 (* (/ 1.0 2.0) (pow h0 2))
 (* (/ 1.0 2.0) (pow h0 2))
11.880 * * * [progress]: adding candidates to table
12.319 * [progress]: [Phase 3 of 3] Extracting.
12.320 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))))>)
12.320 * * * [regime-changes]: Trying 3 branch expressions: ((+ (exp x) (exp (- x))) (/ 2.0 (+ (exp x) (exp (- x)))) x)
12.320 * * * * [regimes]: Trying to branch on (+ (exp x) (exp (- x))) from (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))))>)
12.351 * * * * [regimes]: Trying to branch on (/ 2.0 (+ (exp x) (exp (- x)))) from (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))))>)
12.383 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (- (+ (* (/ 7505999378950827.0 3.602879701896397e+16) (pow x 4)) 1.0) (* (/ 1.0 2.0) (pow x 2))))>)
12.405 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
12.405 * [simplify]: Simplifying:
  (/ 2.0 (+ (exp x) (exp (- x))))
12.405 * [simplify]: Sending expressions to egg_math:
 (/ 2.0 (+ (exp h0) (exp (- h0))))
24.719 * [regime-testing]: Baseline error score: 0.014411548494460323
24.721 * [regime-testing]: Oracle error score: 0.01006664444368354
24.727 * [regime-testing]: End program error score: 0.014411548494460323