27.325 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.069 * * * [progress]: [2/2] Setting up program.
0.075 * [progress]: [Phase 2 of 3] Improving.
0.075 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
0.075 * [simplify]: Simplifying:
  (- (exp (* a x)) 1)
0.075 * * [simplify]: iteration 0: 6 enodes
0.078 * * [simplify]: iteration 1: 15 enodes
0.082 * * [simplify]: iteration 2: 19 enodes
0.087 * * [simplify]: iteration 3: 31 enodes
0.096 * * [simplify]: iteration 4: 60 enodes
0.119 * * [simplify]: iteration 5: 145 enodes
0.203 * * [simplify]: iteration 6: 399 enodes
0.560 * * [simplify]: iteration 7: 1531 enodes
2.169 * * [simplify]: iteration complete: 5001 enodes
2.169 * * [simplify]: Extracting #0: cost 1 inf + 0
2.169 * * [simplify]: Extracting #1: cost 224 inf + 0
2.173 * * [simplify]: Extracting #2: cost 989 inf + 3
2.179 * * [simplify]: Extracting #3: cost 1312 inf + 733
2.188 * * [simplify]: Extracting #4: cost 1179 inf + 22807
2.257 * * [simplify]: Extracting #5: cost 605 inf + 371521
2.405 * * [simplify]: Extracting #6: cost 62 inf + 776452
2.560 * * [simplify]: Extracting #7: cost 1 inf + 829221
2.734 * * [simplify]: Extracting #8: cost 0 inf + 827481
2.871 * [simplify]: Simplified to:
  (expm1 (* a x))
2.875 * * [progress]: iteration 1 / 4
2.875 * * * [progress]: picking best candidate
2.877 * * * * [pick]: Picked  #<alt (λ (a x) (expm1 (* a x)))>
2.877 * * * [progress]: localizing error
2.884 * * * [progress]: generating rewritten candidates
2.884 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.885 * * * [progress]: generating series expansions
2.885 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.885 * [backup-simplify]: Simplify (expm1 (* a x)) into (expm1 (* a x))
2.885 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0
2.885 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x
2.885 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
2.885 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
2.885 * [taylor]: Taking taylor expansion of (* a x) in x
2.885 * [taylor]: Taking taylor expansion of a in x
2.885 * [backup-simplify]: Simplify a into a
2.885 * [taylor]: Taking taylor expansion of x in x
2.885 * [backup-simplify]: Simplify 0 into 0
2.885 * [backup-simplify]: Simplify 1 into 1
2.885 * [backup-simplify]: Simplify (* a 0) into 0
2.886 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.886 * [backup-simplify]: Simplify (exp 0) into 1
2.886 * [taylor]: Taking taylor expansion of 1 in x
2.886 * [backup-simplify]: Simplify 1 into 1
2.886 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
2.886 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
2.886 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.886 * [taylor]: Taking taylor expansion of (* a x) in a
2.886 * [taylor]: Taking taylor expansion of a in a
2.886 * [backup-simplify]: Simplify 0 into 0
2.886 * [backup-simplify]: Simplify 1 into 1
2.886 * [taylor]: Taking taylor expansion of x in a
2.886 * [backup-simplify]: Simplify x into x
2.886 * [backup-simplify]: Simplify (* 0 x) into 0
2.887 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
2.887 * [backup-simplify]: Simplify (exp 0) into 1
2.887 * [taylor]: Taking taylor expansion of 1 in a
2.887 * [backup-simplify]: Simplify 1 into 1
2.887 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
2.887 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
2.887 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
2.887 * [taylor]: Taking taylor expansion of (* a x) in a
2.887 * [taylor]: Taking taylor expansion of a in a
2.887 * [backup-simplify]: Simplify 0 into 0
2.887 * [backup-simplify]: Simplify 1 into 1
2.887 * [taylor]: Taking taylor expansion of x in a
2.887 * [backup-simplify]: Simplify x into x
2.887 * [backup-simplify]: Simplify (* 0 x) into 0
2.887 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
2.887 * [backup-simplify]: Simplify (exp 0) into 1
2.887 * [taylor]: Taking taylor expansion of 1 in a
2.887 * [backup-simplify]: Simplify 1 into 1
2.887 * [backup-simplify]: Simplify (- 1) into -1
2.888 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.888 * [taylor]: Taking taylor expansion of 0 in x
2.888 * [backup-simplify]: Simplify 0 into 0
2.888 * [backup-simplify]: Simplify 0 into 0
2.888 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x
2.888 * [backup-simplify]: Simplify (- 0) into 0
2.888 * [backup-simplify]: Simplify (+ x 0) into x
2.888 * [taylor]: Taking taylor expansion of x in x
2.888 * [backup-simplify]: Simplify 0 into 0
2.888 * [backup-simplify]: Simplify 1 into 1
2.888 * [backup-simplify]: Simplify 0 into 0
2.888 * [backup-simplify]: Simplify 0 into 0
2.889 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
2.889 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2))
2.890 * [backup-simplify]: Simplify (- 0) into 0
2.890 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2))
2.890 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
2.890 * [taylor]: Taking taylor expansion of 1/2 in x
2.890 * [backup-simplify]: Simplify 1/2 into 1/2
2.890 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.890 * [taylor]: Taking taylor expansion of x in x
2.890 * [backup-simplify]: Simplify 0 into 0
2.890 * [backup-simplify]: Simplify 1 into 1
2.890 * [backup-simplify]: Simplify 1 into 1
2.890 * [backup-simplify]: Simplify 0 into 0
2.891 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
2.892 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow x 3))
2.892 * [backup-simplify]: Simplify (- 0) into 0
2.892 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3))
2.892 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
2.892 * [taylor]: Taking taylor expansion of 1/6 in x
2.892 * [backup-simplify]: Simplify 1/6 into 1/6
2.892 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.892 * [taylor]: Taking taylor expansion of x in x
2.892 * [backup-simplify]: Simplify 0 into 0
2.892 * [backup-simplify]: Simplify 1 into 1
2.892 * [backup-simplify]: Simplify 0 into 0
2.892 * [backup-simplify]: Simplify 0 into 0
2.893 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
2.895 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow x 4))
2.896 * [backup-simplify]: Simplify (- 0) into 0
2.896 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4))
2.896 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
2.896 * [taylor]: Taking taylor expansion of 1/24 in x
2.896 * [backup-simplify]: Simplify 1/24 into 1/24
2.896 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.896 * [taylor]: Taking taylor expansion of x in x
2.896 * [backup-simplify]: Simplify 0 into 0
2.896 * [backup-simplify]: Simplify 1 into 1
2.897 * [backup-simplify]: Simplify (* 1 1) into 1
2.897 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
2.897 * [backup-simplify]: Simplify 1/2 into 1/2
2.897 * [backup-simplify]: Simplify 0 into 0
2.897 * [backup-simplify]: Simplify 0 into 0
2.899 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
2.903 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 5) 120)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 2) 2)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow x 5))
2.904 * [backup-simplify]: Simplify (- 0) into 0
2.904 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5))
2.904 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
2.904 * [taylor]: Taking taylor expansion of 1/120 in x
2.904 * [backup-simplify]: Simplify 1/120 into 1/120
2.904 * [taylor]: Taking taylor expansion of (pow x 5) in x
2.904 * [taylor]: Taking taylor expansion of x in x
2.904 * [backup-simplify]: Simplify 0 into 0
2.904 * [backup-simplify]: Simplify 1 into 1
2.905 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.906 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
2.906 * [backup-simplify]: Simplify 0 into 0
2.906 * [backup-simplify]: Simplify 0 into 0
2.906 * [backup-simplify]: Simplify 0 into 0
2.909 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0
2.916 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 6) 720)) (* (/ (pow x 4) 24) (/ (pow 0 1) 1)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 2) 2)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/720 (pow x 6))
2.916 * [backup-simplify]: Simplify (- 0) into 0
2.917 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6))
2.917 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
2.917 * [taylor]: Taking taylor expansion of 1/720 in x
2.917 * [backup-simplify]: Simplify 1/720 into 1/720
2.917 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.917 * [taylor]: Taking taylor expansion of x in x
2.917 * [backup-simplify]: Simplify 0 into 0
2.917 * [backup-simplify]: Simplify 1 into 1
2.917 * [backup-simplify]: Simplify (* 1 1) into 1
2.918 * [backup-simplify]: Simplify (* 1 1) into 1
2.918 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
2.918 * [backup-simplify]: Simplify 1/6 into 1/6
2.919 * [backup-simplify]: Simplify (+ (* 1/6 (pow (* x a) 3)) (+ (* 1/2 (pow (* x a) 2)) (* 1 (* x a)))) into (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
2.919 * [backup-simplify]: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x)))
2.919 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
2.919 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
2.919 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
2.919 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.919 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.919 * [taylor]: Taking taylor expansion of (* a x) in x
2.919 * [taylor]: Taking taylor expansion of a in x
2.919 * [backup-simplify]: Simplify a into a
2.919 * [taylor]: Taking taylor expansion of x in x
2.919 * [backup-simplify]: Simplify 0 into 0
2.919 * [backup-simplify]: Simplify 1 into 1
2.919 * [backup-simplify]: Simplify (* a 0) into 0
2.920 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.920 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.920 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
2.920 * [taylor]: Taking taylor expansion of 1 in x
2.920 * [backup-simplify]: Simplify 1 into 1
2.920 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
2.920 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
2.920 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.920 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.920 * [taylor]: Taking taylor expansion of (* a x) in a
2.920 * [taylor]: Taking taylor expansion of a in a
2.920 * [backup-simplify]: Simplify 0 into 0
2.920 * [backup-simplify]: Simplify 1 into 1
2.920 * [taylor]: Taking taylor expansion of x in a
2.920 * [backup-simplify]: Simplify x into x
2.920 * [backup-simplify]: Simplify (* 0 x) into 0
2.921 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
2.921 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.921 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
2.921 * [taylor]: Taking taylor expansion of 1 in a
2.921 * [backup-simplify]: Simplify 1 into 1
2.921 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
2.921 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
2.921 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.921 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.921 * [taylor]: Taking taylor expansion of (* a x) in a
2.921 * [taylor]: Taking taylor expansion of a in a
2.921 * [backup-simplify]: Simplify 0 into 0
2.921 * [backup-simplify]: Simplify 1 into 1
2.921 * [taylor]: Taking taylor expansion of x in a
2.921 * [backup-simplify]: Simplify x into x
2.921 * [backup-simplify]: Simplify (* 0 x) into 0
2.921 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
2.922 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.922 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
2.922 * [taylor]: Taking taylor expansion of 1 in a
2.922 * [backup-simplify]: Simplify 1 into 1
2.922 * [backup-simplify]: Simplify (- 1) into -1
2.922 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
2.922 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
2.922 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.922 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.922 * [taylor]: Taking taylor expansion of (* a x) in x
2.922 * [taylor]: Taking taylor expansion of a in x
2.922 * [backup-simplify]: Simplify a into a
2.922 * [taylor]: Taking taylor expansion of x in x
2.922 * [backup-simplify]: Simplify 0 into 0
2.922 * [backup-simplify]: Simplify 1 into 1
2.922 * [backup-simplify]: Simplify (* a 0) into 0
2.923 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.923 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.923 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
2.923 * [taylor]: Taking taylor expansion of 1 in x
2.923 * [backup-simplify]: Simplify 1 into 1
2.923 * [backup-simplify]: Simplify (- 1) into -1
2.924 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
2.924 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
2.924 * [backup-simplify]: Simplify (- 0) into 0
2.924 * [backup-simplify]: Simplify (+ 0 0) into 0
2.924 * [taylor]: Taking taylor expansion of 0 in x
2.924 * [backup-simplify]: Simplify 0 into 0
2.924 * [backup-simplify]: Simplify 0 into 0
2.925 * [backup-simplify]: Simplify (- 0) into 0
2.925 * [backup-simplify]: Simplify (+ 0 0) into 0
2.925 * [backup-simplify]: Simplify 0 into 0
2.926 * [backup-simplify]: Simplify (- 0) into 0
2.926 * [backup-simplify]: Simplify (+ 0 0) into 0
2.926 * [taylor]: Taking taylor expansion of 0 in x
2.926 * [backup-simplify]: Simplify 0 into 0
2.926 * [backup-simplify]: Simplify 0 into 0
2.926 * [backup-simplify]: Simplify 0 into 0
2.926 * [backup-simplify]: Simplify (- 0) into 0
2.927 * [backup-simplify]: Simplify (+ 0 0) into 0
2.927 * [backup-simplify]: Simplify 0 into 0
2.927 * [backup-simplify]: Simplify (- 0) into 0
2.927 * [backup-simplify]: Simplify (+ 0 0) into 0
2.927 * [taylor]: Taking taylor expansion of 0 in x
2.927 * [backup-simplify]: Simplify 0 into 0
2.928 * [backup-simplify]: Simplify 0 into 0
2.928 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1)
2.928 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x)))
2.928 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
2.928 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
2.928 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
2.928 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.928 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.928 * [taylor]: Taking taylor expansion of (* a x) in x
2.928 * [taylor]: Taking taylor expansion of a in x
2.928 * [backup-simplify]: Simplify a into a
2.928 * [taylor]: Taking taylor expansion of x in x
2.928 * [backup-simplify]: Simplify 0 into 0
2.928 * [backup-simplify]: Simplify 1 into 1
2.928 * [backup-simplify]: Simplify (* a 0) into 0
2.929 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.929 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.929 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
2.929 * [taylor]: Taking taylor expansion of 1 in x
2.929 * [backup-simplify]: Simplify 1 into 1
2.929 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
2.929 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
2.929 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.929 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.929 * [taylor]: Taking taylor expansion of (* a x) in a
2.929 * [taylor]: Taking taylor expansion of a in a
2.929 * [backup-simplify]: Simplify 0 into 0
2.929 * [backup-simplify]: Simplify 1 into 1
2.929 * [taylor]: Taking taylor expansion of x in a
2.929 * [backup-simplify]: Simplify x into x
2.929 * [backup-simplify]: Simplify (* 0 x) into 0
2.929 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
2.930 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.930 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
2.930 * [taylor]: Taking taylor expansion of 1 in a
2.930 * [backup-simplify]: Simplify 1 into 1
2.930 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
2.930 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
2.930 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
2.930 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
2.930 * [taylor]: Taking taylor expansion of (* a x) in a
2.930 * [taylor]: Taking taylor expansion of a in a
2.930 * [backup-simplify]: Simplify 0 into 0
2.930 * [backup-simplify]: Simplify 1 into 1
2.930 * [taylor]: Taking taylor expansion of x in a
2.930 * [backup-simplify]: Simplify x into x
2.930 * [backup-simplify]: Simplify (* 0 x) into 0
2.930 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
2.930 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.931 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
2.931 * [taylor]: Taking taylor expansion of 1 in a
2.931 * [backup-simplify]: Simplify 1 into 1
2.931 * [backup-simplify]: Simplify (- 1) into -1
2.931 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
2.931 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
2.931 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
2.931 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
2.931 * [taylor]: Taking taylor expansion of (* a x) in x
2.931 * [taylor]: Taking taylor expansion of a in x
2.931 * [backup-simplify]: Simplify a into a
2.931 * [taylor]: Taking taylor expansion of x in x
2.931 * [backup-simplify]: Simplify 0 into 0
2.931 * [backup-simplify]: Simplify 1 into 1
2.931 * [backup-simplify]: Simplify (* a 0) into 0
2.932 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
2.932 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
2.932 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
2.932 * [taylor]: Taking taylor expansion of 1 in x
2.932 * [backup-simplify]: Simplify 1 into 1
2.932 * [backup-simplify]: Simplify (- 1) into -1
2.932 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
2.932 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
2.933 * [backup-simplify]: Simplify (- 0) into 0
2.933 * [backup-simplify]: Simplify (+ 0 0) into 0
2.933 * [taylor]: Taking taylor expansion of 0 in x
2.933 * [backup-simplify]: Simplify 0 into 0
2.933 * [backup-simplify]: Simplify 0 into 0
2.934 * [backup-simplify]: Simplify (- 0) into 0
2.934 * [backup-simplify]: Simplify (+ 0 0) into 0
2.934 * [backup-simplify]: Simplify 0 into 0
2.934 * [backup-simplify]: Simplify (- 0) into 0
2.935 * [backup-simplify]: Simplify (+ 0 0) into 0
2.935 * [taylor]: Taking taylor expansion of 0 in x
2.935 * [backup-simplify]: Simplify 0 into 0
2.935 * [backup-simplify]: Simplify 0 into 0
2.935 * [backup-simplify]: Simplify 0 into 0
2.935 * [backup-simplify]: Simplify (- 0) into 0
2.935 * [backup-simplify]: Simplify (+ 0 0) into 0
2.936 * [backup-simplify]: Simplify 0 into 0
2.936 * [backup-simplify]: Simplify (- 0) into 0
2.936 * [backup-simplify]: Simplify (+ 0 0) into 0
2.936 * [taylor]: Taking taylor expansion of 0 in x
2.936 * [backup-simplify]: Simplify 0 into 0
2.936 * [backup-simplify]: Simplify 0 into 0
2.936 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1)
2.937 * * * [progress]: simplifying candidates
2.937 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
2.937 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a x) (log1p (expm1 (expm1 (* a x)))))>
2.937 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a x) (expm1 (log1p (expm1 (* a x)))))>
2.937 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a x) (expm1 (* a x)))>
2.937 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a x) (pow (expm1 (* a x)) 1))>
2.937 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a x) (exp (log (expm1 (* a x)))))>
2.937 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a x) (log (exp (expm1 (* a x)))))>
2.937 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a x) (* (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (cbrt (expm1 (* a x)))))>
2.937 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))>
2.937 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a x) (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x)))))>
2.937 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a x) (* 1 (expm1 (* a x))))>
2.937 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a x) (posit16->real (real->posit16 (expm1 (* a x)))))>
2.937 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a x) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))))>
2.937 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
2.937 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
2.938 * [simplify]: Simplifying:
  (exp (* a x))
  (expm1 (expm1 (* a x)))
  (log1p (expm1 (* a x)))
  (log (expm1 (* a x)))
  (exp (expm1 (* a x)))
  (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))
  (cbrt (expm1 (* a x)))
  (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))
  (sqrt (expm1 (* a x)))
  (sqrt (expm1 (* a x)))
  (real->posit16 (expm1 (* a x)))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
  (- (exp (* a x)) 1)
  (- (exp (* a x)) 1)
2.938 * * [simplify]: iteration 0: 31 enodes
2.951 * * [simplify]: iteration 1: 74 enodes
2.989 * * [simplify]: iteration 2: 231 enodes
3.095 * * [simplify]: iteration 3: 881 enodes
4.122 * * [simplify]: iteration 4: 2980 enodes
5.627 * * [simplify]: iteration complete: 5001 enodes
5.627 * * [simplify]: Extracting #0: cost 12 inf + 0
5.628 * * [simplify]: Extracting #1: cost 232 inf + 0
5.644 * * [simplify]: Extracting #2: cost 750 inf + 526
5.662 * * [simplify]: Extracting #3: cost 697 inf + 57864
5.700 * * [simplify]: Extracting #4: cost 245 inf + 245256
5.766 * * [simplify]: Extracting #5: cost 49 inf + 343854
5.858 * * [simplify]: Extracting #6: cost 7 inf + 351085
5.939 * * [simplify]: Extracting #7: cost 0 inf + 352229
6.014 * [simplify]: Simplified to:
  (exp (* a x))
  (expm1 (expm1 (* a x)))
  (* a x)
  (log (expm1 (* a x)))
  (exp (expm1 (* a x)))
  (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))
  (cbrt (expm1 (* a x)))
  (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))
  (sqrt (expm1 (* a x)))
  (sqrt (expm1 (* a x)))
  (real->posit16 (expm1 (* a x)))
  (fma 1/2 (* (* a x) (* a x)) (fma 1/6 (* (* (* a x) (* a x)) (* a x)) (* a x)))
  (expm1 (* a x))
  (expm1 (* a x))
6.014 * * * [progress]: adding candidates to table
6.074 * * [progress]: iteration 2 / 4
6.074 * * * [progress]: picking best candidate
6.076 * * * * [pick]: Picked  #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))>
6.077 * * * [progress]: localizing error
6.101 * * * [progress]: generating rewritten candidates
6.101 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.120 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
6.127 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
6.155 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
6.158 * * * [progress]: generating series expansions
6.159 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.159 * [backup-simplify]: Simplify (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) into (expm1 (* a x))
6.159 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0
6.159 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x
6.159 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.159 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
6.159 * [taylor]: Taking taylor expansion of (* a x) in x
6.159 * [taylor]: Taking taylor expansion of a in x
6.159 * [backup-simplify]: Simplify a into a
6.159 * [taylor]: Taking taylor expansion of x in x
6.159 * [backup-simplify]: Simplify 0 into 0
6.159 * [backup-simplify]: Simplify 1 into 1
6.159 * [backup-simplify]: Simplify (* a 0) into 0
6.160 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.160 * [backup-simplify]: Simplify (exp 0) into 1
6.160 * [taylor]: Taking taylor expansion of 1 in x
6.160 * [backup-simplify]: Simplify 1 into 1
6.160 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
6.160 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.160 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
6.160 * [taylor]: Taking taylor expansion of (* a x) in a
6.160 * [taylor]: Taking taylor expansion of a in a
6.160 * [backup-simplify]: Simplify 0 into 0
6.160 * [backup-simplify]: Simplify 1 into 1
6.160 * [taylor]: Taking taylor expansion of x in a
6.160 * [backup-simplify]: Simplify x into x
6.160 * [backup-simplify]: Simplify (* 0 x) into 0
6.161 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.161 * [backup-simplify]: Simplify (exp 0) into 1
6.161 * [taylor]: Taking taylor expansion of 1 in a
6.161 * [backup-simplify]: Simplify 1 into 1
6.161 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
6.161 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.161 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
6.161 * [taylor]: Taking taylor expansion of (* a x) in a
6.161 * [taylor]: Taking taylor expansion of a in a
6.161 * [backup-simplify]: Simplify 0 into 0
6.161 * [backup-simplify]: Simplify 1 into 1
6.161 * [taylor]: Taking taylor expansion of x in a
6.161 * [backup-simplify]: Simplify x into x
6.161 * [backup-simplify]: Simplify (* 0 x) into 0
6.162 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.162 * [backup-simplify]: Simplify (exp 0) into 1
6.162 * [taylor]: Taking taylor expansion of 1 in a
6.162 * [backup-simplify]: Simplify 1 into 1
6.162 * [backup-simplify]: Simplify (- 1) into -1
6.163 * [backup-simplify]: Simplify (+ 1 -1) into 0
6.163 * [taylor]: Taking taylor expansion of 0 in x
6.163 * [backup-simplify]: Simplify 0 into 0
6.163 * [backup-simplify]: Simplify 0 into 0
6.163 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x
6.164 * [backup-simplify]: Simplify (- 0) into 0
6.164 * [backup-simplify]: Simplify (+ x 0) into x
6.164 * [taylor]: Taking taylor expansion of x in x
6.164 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify 1 into 1
6.164 * [backup-simplify]: Simplify 0 into 0
6.164 * [backup-simplify]: Simplify 0 into 0
6.165 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
6.166 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2))
6.166 * [backup-simplify]: Simplify (- 0) into 0
6.166 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2))
6.166 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
6.166 * [taylor]: Taking taylor expansion of 1/2 in x
6.166 * [backup-simplify]: Simplify 1/2 into 1/2
6.166 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.166 * [taylor]: Taking taylor expansion of x in x
6.166 * [backup-simplify]: Simplify 0 into 0
6.166 * [backup-simplify]: Simplify 1 into 1
6.167 * [backup-simplify]: Simplify 1 into 1
6.167 * [backup-simplify]: Simplify 0 into 0
6.168 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
6.170 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow x 3))
6.170 * [backup-simplify]: Simplify (- 0) into 0
6.170 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3))
6.170 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
6.170 * [taylor]: Taking taylor expansion of 1/6 in x
6.170 * [backup-simplify]: Simplify 1/6 into 1/6
6.170 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.170 * [taylor]: Taking taylor expansion of x in x
6.170 * [backup-simplify]: Simplify 0 into 0
6.170 * [backup-simplify]: Simplify 1 into 1
6.170 * [backup-simplify]: Simplify 0 into 0
6.170 * [backup-simplify]: Simplify 0 into 0
6.172 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.175 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow x 4))
6.175 * [backup-simplify]: Simplify (- 0) into 0
6.175 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4))
6.175 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
6.175 * [taylor]: Taking taylor expansion of 1/24 in x
6.175 * [backup-simplify]: Simplify 1/24 into 1/24
6.176 * [taylor]: Taking taylor expansion of (pow x 4) in x
6.176 * [taylor]: Taking taylor expansion of x in x
6.176 * [backup-simplify]: Simplify 0 into 0
6.176 * [backup-simplify]: Simplify 1 into 1
6.176 * [backup-simplify]: Simplify (* 1 1) into 1
6.176 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.176 * [backup-simplify]: Simplify 1/2 into 1/2
6.177 * [backup-simplify]: Simplify 0 into 0
6.177 * [backup-simplify]: Simplify 0 into 0
6.179 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
6.183 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 5) 120)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 2) 2)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow x 5))
6.183 * [backup-simplify]: Simplify (- 0) into 0
6.183 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5))
6.183 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
6.183 * [taylor]: Taking taylor expansion of 1/120 in x
6.183 * [backup-simplify]: Simplify 1/120 into 1/120
6.183 * [taylor]: Taking taylor expansion of (pow x 5) in x
6.183 * [taylor]: Taking taylor expansion of x in x
6.183 * [backup-simplify]: Simplify 0 into 0
6.183 * [backup-simplify]: Simplify 1 into 1
6.184 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.185 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
6.185 * [backup-simplify]: Simplify 0 into 0
6.185 * [backup-simplify]: Simplify 0 into 0
6.185 * [backup-simplify]: Simplify 0 into 0
6.188 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0
6.195 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 6) 720)) (* (/ (pow x 4) 24) (/ (pow 0 1) 1)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 2) 2)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/720 (pow x 6))
6.195 * [backup-simplify]: Simplify (- 0) into 0
6.195 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6))
6.195 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
6.195 * [taylor]: Taking taylor expansion of 1/720 in x
6.195 * [backup-simplify]: Simplify 1/720 into 1/720
6.195 * [taylor]: Taking taylor expansion of (pow x 6) in x
6.195 * [taylor]: Taking taylor expansion of x in x
6.195 * [backup-simplify]: Simplify 0 into 0
6.195 * [backup-simplify]: Simplify 1 into 1
6.195 * [backup-simplify]: Simplify (* 1 1) into 1
6.196 * [backup-simplify]: Simplify (* 1 1) into 1
6.196 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
6.196 * [backup-simplify]: Simplify 1/6 into 1/6
6.196 * [backup-simplify]: Simplify (+ (* 1/6 (pow (* x a) 3)) (+ (* 1/2 (pow (* x a) 2)) (* 1 (* x a)))) into (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
6.197 * [backup-simplify]: Simplify (cbrt (* (* (expm1 (* (/ 1 a) (/ 1 x))) (expm1 (* (/ 1 a) (/ 1 x)))) (expm1 (* (/ 1 a) (/ 1 x))))) into (expm1 (/ 1 (* a x)))
6.197 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
6.197 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
6.197 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.197 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.197 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.197 * [taylor]: Taking taylor expansion of (* a x) in x
6.197 * [taylor]: Taking taylor expansion of a in x
6.197 * [backup-simplify]: Simplify a into a
6.197 * [taylor]: Taking taylor expansion of x in x
6.197 * [backup-simplify]: Simplify 0 into 0
6.197 * [backup-simplify]: Simplify 1 into 1
6.197 * [backup-simplify]: Simplify (* a 0) into 0
6.197 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.197 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.197 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.197 * [taylor]: Taking taylor expansion of 1 in x
6.197 * [backup-simplify]: Simplify 1 into 1
6.197 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.197 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.197 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.197 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.197 * [taylor]: Taking taylor expansion of (* a x) in a
6.197 * [taylor]: Taking taylor expansion of a in a
6.197 * [backup-simplify]: Simplify 0 into 0
6.197 * [backup-simplify]: Simplify 1 into 1
6.197 * [taylor]: Taking taylor expansion of x in a
6.197 * [backup-simplify]: Simplify x into x
6.197 * [backup-simplify]: Simplify (* 0 x) into 0
6.198 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.198 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.198 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.198 * [taylor]: Taking taylor expansion of 1 in a
6.198 * [backup-simplify]: Simplify 1 into 1
6.198 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.198 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.198 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.198 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.198 * [taylor]: Taking taylor expansion of (* a x) in a
6.198 * [taylor]: Taking taylor expansion of a in a
6.198 * [backup-simplify]: Simplify 0 into 0
6.198 * [backup-simplify]: Simplify 1 into 1
6.198 * [taylor]: Taking taylor expansion of x in a
6.198 * [backup-simplify]: Simplify x into x
6.198 * [backup-simplify]: Simplify (* 0 x) into 0
6.198 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.198 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.198 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.198 * [taylor]: Taking taylor expansion of 1 in a
6.198 * [backup-simplify]: Simplify 1 into 1
6.199 * [backup-simplify]: Simplify (- 1) into -1
6.199 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.199 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
6.199 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.199 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.199 * [taylor]: Taking taylor expansion of (* a x) in x
6.199 * [taylor]: Taking taylor expansion of a in x
6.199 * [backup-simplify]: Simplify a into a
6.199 * [taylor]: Taking taylor expansion of x in x
6.199 * [backup-simplify]: Simplify 0 into 0
6.199 * [backup-simplify]: Simplify 1 into 1
6.199 * [backup-simplify]: Simplify (* a 0) into 0
6.199 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.199 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.199 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.199 * [taylor]: Taking taylor expansion of 1 in x
6.199 * [backup-simplify]: Simplify 1 into 1
6.200 * [backup-simplify]: Simplify (- 1) into -1
6.200 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.200 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
6.200 * [backup-simplify]: Simplify (- 0) into 0
6.200 * [backup-simplify]: Simplify (+ 0 0) into 0
6.200 * [taylor]: Taking taylor expansion of 0 in x
6.200 * [backup-simplify]: Simplify 0 into 0
6.200 * [backup-simplify]: Simplify 0 into 0
6.201 * [backup-simplify]: Simplify (- 0) into 0
6.201 * [backup-simplify]: Simplify (+ 0 0) into 0
6.201 * [backup-simplify]: Simplify 0 into 0
6.201 * [backup-simplify]: Simplify (- 0) into 0
6.201 * [backup-simplify]: Simplify (+ 0 0) into 0
6.201 * [taylor]: Taking taylor expansion of 0 in x
6.201 * [backup-simplify]: Simplify 0 into 0
6.201 * [backup-simplify]: Simplify 0 into 0
6.201 * [backup-simplify]: Simplify 0 into 0
6.202 * [backup-simplify]: Simplify (- 0) into 0
6.202 * [backup-simplify]: Simplify (+ 0 0) into 0
6.202 * [backup-simplify]: Simplify 0 into 0
6.202 * [backup-simplify]: Simplify (- 0) into 0
6.202 * [backup-simplify]: Simplify (+ 0 0) into 0
6.202 * [taylor]: Taking taylor expansion of 0 in x
6.202 * [backup-simplify]: Simplify 0 into 0
6.203 * [backup-simplify]: Simplify 0 into 0
6.203 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1)
6.203 * [backup-simplify]: Simplify (cbrt (* (* (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) (expm1 (* (/ 1 (- a)) (/ 1 (- x))))) (expm1 (* (/ 1 (- a)) (/ 1 (- x)))))) into (expm1 (/ 1 (* a x)))
6.203 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
6.203 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
6.203 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.203 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.203 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.203 * [taylor]: Taking taylor expansion of (* a x) in x
6.203 * [taylor]: Taking taylor expansion of a in x
6.203 * [backup-simplify]: Simplify a into a
6.203 * [taylor]: Taking taylor expansion of x in x
6.203 * [backup-simplify]: Simplify 0 into 0
6.203 * [backup-simplify]: Simplify 1 into 1
6.203 * [backup-simplify]: Simplify (* a 0) into 0
6.203 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.203 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.204 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.204 * [taylor]: Taking taylor expansion of 1 in x
6.204 * [backup-simplify]: Simplify 1 into 1
6.204 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.204 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.204 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.204 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.204 * [taylor]: Taking taylor expansion of (* a x) in a
6.204 * [taylor]: Taking taylor expansion of a in a
6.204 * [backup-simplify]: Simplify 0 into 0
6.204 * [backup-simplify]: Simplify 1 into 1
6.204 * [taylor]: Taking taylor expansion of x in a
6.204 * [backup-simplify]: Simplify x into x
6.204 * [backup-simplify]: Simplify (* 0 x) into 0
6.204 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.204 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.204 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.204 * [taylor]: Taking taylor expansion of 1 in a
6.204 * [backup-simplify]: Simplify 1 into 1
6.204 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.204 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.204 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.204 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.204 * [taylor]: Taking taylor expansion of (* a x) in a
6.204 * [taylor]: Taking taylor expansion of a in a
6.204 * [backup-simplify]: Simplify 0 into 0
6.204 * [backup-simplify]: Simplify 1 into 1
6.204 * [taylor]: Taking taylor expansion of x in a
6.204 * [backup-simplify]: Simplify x into x
6.204 * [backup-simplify]: Simplify (* 0 x) into 0
6.205 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.205 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.205 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.205 * [taylor]: Taking taylor expansion of 1 in a
6.205 * [backup-simplify]: Simplify 1 into 1
6.205 * [backup-simplify]: Simplify (- 1) into -1
6.205 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.205 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
6.205 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.205 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.205 * [taylor]: Taking taylor expansion of (* a x) in x
6.205 * [taylor]: Taking taylor expansion of a in x
6.205 * [backup-simplify]: Simplify a into a
6.205 * [taylor]: Taking taylor expansion of x in x
6.205 * [backup-simplify]: Simplify 0 into 0
6.205 * [backup-simplify]: Simplify 1 into 1
6.205 * [backup-simplify]: Simplify (* a 0) into 0
6.206 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.206 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.206 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.206 * [taylor]: Taking taylor expansion of 1 in x
6.206 * [backup-simplify]: Simplify 1 into 1
6.206 * [backup-simplify]: Simplify (- 1) into -1
6.206 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.206 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
6.206 * [backup-simplify]: Simplify (- 0) into 0
6.207 * [backup-simplify]: Simplify (+ 0 0) into 0
6.207 * [taylor]: Taking taylor expansion of 0 in x
6.207 * [backup-simplify]: Simplify 0 into 0
6.207 * [backup-simplify]: Simplify 0 into 0
6.207 * [backup-simplify]: Simplify (- 0) into 0
6.207 * [backup-simplify]: Simplify (+ 0 0) into 0
6.207 * [backup-simplify]: Simplify 0 into 0
6.207 * [backup-simplify]: Simplify (- 0) into 0
6.208 * [backup-simplify]: Simplify (+ 0 0) into 0
6.208 * [taylor]: Taking taylor expansion of 0 in x
6.208 * [backup-simplify]: Simplify 0 into 0
6.208 * [backup-simplify]: Simplify 0 into 0
6.208 * [backup-simplify]: Simplify 0 into 0
6.208 * [backup-simplify]: Simplify (- 0) into 0
6.208 * [backup-simplify]: Simplify (+ 0 0) into 0
6.208 * [backup-simplify]: Simplify 0 into 0
6.208 * [backup-simplify]: Simplify (- 0) into 0
6.209 * [backup-simplify]: Simplify (+ 0 0) into 0
6.209 * [taylor]: Taking taylor expansion of 0 in x
6.209 * [backup-simplify]: Simplify 0 into 0
6.209 * [backup-simplify]: Simplify 0 into 0
6.209 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1)
6.209 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
6.209 * [backup-simplify]: Simplify (* (expm1 (* a x)) (expm1 (* a x))) into (pow (expm1 (* a x)) 2)
6.209 * [approximate]: Taking taylor expansion of (pow (expm1 (* a x)) 2) in (a x) around 0
6.209 * [taylor]: Taking taylor expansion of (pow (expm1 (* a x)) 2) in x
6.209 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x
6.209 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.209 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
6.209 * [taylor]: Taking taylor expansion of (* a x) in x
6.209 * [taylor]: Taking taylor expansion of a in x
6.209 * [backup-simplify]: Simplify a into a
6.209 * [taylor]: Taking taylor expansion of x in x
6.209 * [backup-simplify]: Simplify 0 into 0
6.209 * [backup-simplify]: Simplify 1 into 1
6.209 * [backup-simplify]: Simplify (* a 0) into 0
6.210 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.210 * [backup-simplify]: Simplify (exp 0) into 1
6.210 * [taylor]: Taking taylor expansion of 1 in x
6.210 * [backup-simplify]: Simplify 1 into 1
6.210 * [backup-simplify]: Simplify (- 1) into -1
6.210 * [backup-simplify]: Simplify (+ 1 -1) into 0
6.210 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow a 1) 1)))) into a
6.211 * [backup-simplify]: Simplify (- 0) into 0
6.211 * [backup-simplify]: Simplify (+ a 0) into a
6.211 * [taylor]: Taking taylor expansion of (pow (expm1 (* a x)) 2) in a
6.211 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
6.211 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.211 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
6.211 * [taylor]: Taking taylor expansion of (* a x) in a
6.211 * [taylor]: Taking taylor expansion of a in a
6.211 * [backup-simplify]: Simplify 0 into 0
6.211 * [backup-simplify]: Simplify 1 into 1
6.211 * [taylor]: Taking taylor expansion of x in a
6.211 * [backup-simplify]: Simplify x into x
6.211 * [backup-simplify]: Simplify (* 0 x) into 0
6.211 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.211 * [backup-simplify]: Simplify (exp 0) into 1
6.211 * [taylor]: Taking taylor expansion of 1 in a
6.211 * [backup-simplify]: Simplify 1 into 1
6.211 * [backup-simplify]: Simplify (- 1) into -1
6.212 * [backup-simplify]: Simplify (+ 1 -1) into 0
6.212 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x
6.212 * [backup-simplify]: Simplify (- 0) into 0
6.212 * [backup-simplify]: Simplify (+ x 0) into x
6.212 * [taylor]: Taking taylor expansion of (pow (expm1 (* a x)) 2) in a
6.212 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
6.212 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.212 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
6.212 * [taylor]: Taking taylor expansion of (* a x) in a
6.212 * [taylor]: Taking taylor expansion of a in a
6.212 * [backup-simplify]: Simplify 0 into 0
6.212 * [backup-simplify]: Simplify 1 into 1
6.212 * [taylor]: Taking taylor expansion of x in a
6.212 * [backup-simplify]: Simplify x into x
6.212 * [backup-simplify]: Simplify (* 0 x) into 0
6.213 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.213 * [backup-simplify]: Simplify (exp 0) into 1
6.213 * [taylor]: Taking taylor expansion of 1 in a
6.213 * [backup-simplify]: Simplify 1 into 1
6.213 * [backup-simplify]: Simplify (- 1) into -1
6.213 * [backup-simplify]: Simplify (+ 1 -1) into 0
6.213 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x
6.214 * [backup-simplify]: Simplify (- 0) into 0
6.214 * [backup-simplify]: Simplify (+ x 0) into x
6.214 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.214 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.214 * [taylor]: Taking taylor expansion of x in x
6.214 * [backup-simplify]: Simplify 0 into 0
6.214 * [backup-simplify]: Simplify 1 into 1
6.214 * [backup-simplify]: Simplify (* 1 1) into 1
6.214 * [backup-simplify]: Simplify 1 into 1
6.215 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
6.215 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2))
6.215 * [backup-simplify]: Simplify (- 0) into 0
6.215 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2))
6.216 * [backup-simplify]: Simplify (+ (* x (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) x)) into (pow x 3)
6.216 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.216 * [taylor]: Taking taylor expansion of x in x
6.216 * [backup-simplify]: Simplify 0 into 0
6.216 * [backup-simplify]: Simplify 1 into 1
6.216 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.216 * [backup-simplify]: Simplify 0 into 0
6.217 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
6.218 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow x 3))
6.218 * [backup-simplify]: Simplify (- 0) into 0
6.218 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3))
6.219 * [backup-simplify]: Simplify (+ (* x (* 1/6 (pow x 3))) (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/6 (pow x 3)) x))) into (* 7/12 (pow x 4))
6.219 * [taylor]: Taking taylor expansion of (* 7/12 (pow x 4)) in x
6.219 * [taylor]: Taking taylor expansion of 7/12 in x
6.219 * [backup-simplify]: Simplify 7/12 into 7/12
6.219 * [taylor]: Taking taylor expansion of (pow x 4) in x
6.219 * [taylor]: Taking taylor expansion of x in x
6.219 * [backup-simplify]: Simplify 0 into 0
6.219 * [backup-simplify]: Simplify 1 into 1
6.219 * [backup-simplify]: Simplify (* 1 1) into 1
6.219 * [backup-simplify]: Simplify (* 1 1) into 1
6.219 * [backup-simplify]: Simplify 1 into 1
6.220 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.220 * [backup-simplify]: Simplify 0 into 0
6.221 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.222 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow x 4))
6.223 * [backup-simplify]: Simplify (- 0) into 0
6.223 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4))
6.223 * [backup-simplify]: Simplify (+ (* x (* 1/24 (pow x 4))) (+ (* (* 1/2 (pow x 2)) (* 1/6 (pow x 3))) (+ (* (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) (* (* 1/24 (pow x 4)) x)))) into (* 1/4 (pow x 5))
6.223 * [taylor]: Taking taylor expansion of (* 1/4 (pow x 5)) in x
6.223 * [taylor]: Taking taylor expansion of 1/4 in x
6.223 * [backup-simplify]: Simplify 1/4 into 1/4
6.223 * [taylor]: Taking taylor expansion of (pow x 5) in x
6.223 * [taylor]: Taking taylor expansion of x in x
6.223 * [backup-simplify]: Simplify 0 into 0
6.223 * [backup-simplify]: Simplify 1 into 1
6.224 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.224 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.224 * [backup-simplify]: Simplify 0 into 0
6.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.225 * [backup-simplify]: Simplify 0 into 0
6.226 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
6.231 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 5) 120)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 2) 2)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow x 5))
6.231 * [backup-simplify]: Simplify (- 0) into 0
6.231 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5))
6.233 * [backup-simplify]: Simplify (+ (* x (* 1/120 (pow x 5))) (+ (* (* 1/2 (pow x 2)) (* 1/24 (pow x 4))) (+ (* (* 1/6 (pow x 3)) (* 1/6 (pow x 3))) (+ (* (* 1/24 (pow x 4)) (* 1/2 (pow x 2))) (* (* 1/120 (pow x 5)) x))))) into (* 31/360 (pow x 6))
6.233 * [taylor]: Taking taylor expansion of (* 31/360 (pow x 6)) in x
6.233 * [taylor]: Taking taylor expansion of 31/360 in x
6.233 * [backup-simplify]: Simplify 31/360 into 31/360
6.233 * [taylor]: Taking taylor expansion of (pow x 6) in x
6.233 * [taylor]: Taking taylor expansion of x in x
6.233 * [backup-simplify]: Simplify 0 into 0
6.233 * [backup-simplify]: Simplify 1 into 1
6.233 * [backup-simplify]: Simplify (* 1 1) into 1
6.234 * [backup-simplify]: Simplify (* 1 1) into 1
6.234 * [backup-simplify]: Simplify (* 7/12 1) into 7/12
6.234 * [backup-simplify]: Simplify 7/12 into 7/12
6.235 * [backup-simplify]: Simplify (+ (* 7/12 (pow (* x a) 4)) (+ (* 1 (pow (* x a) 3)) (* 1 (pow (* x a) 2)))) into (+ (* 7/12 (* (pow a 4) (pow x 4))) (+ (* (pow a 3) (pow x 3)) (* (pow a 2) (pow x 2))))
6.235 * [backup-simplify]: Simplify (* (expm1 (* (/ 1 a) (/ 1 x))) (expm1 (* (/ 1 a) (/ 1 x)))) into (pow (expm1 (/ 1 (* a x))) 2)
6.235 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 2) in (a x) around 0
6.235 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 2) in x
6.235 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
6.236 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.236 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.236 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.236 * [taylor]: Taking taylor expansion of (* a x) in x
6.236 * [taylor]: Taking taylor expansion of a in x
6.236 * [backup-simplify]: Simplify a into a
6.236 * [taylor]: Taking taylor expansion of x in x
6.236 * [backup-simplify]: Simplify 0 into 0
6.236 * [backup-simplify]: Simplify 1 into 1
6.236 * [backup-simplify]: Simplify (* a 0) into 0
6.236 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.236 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.236 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.236 * [taylor]: Taking taylor expansion of 1 in x
6.236 * [backup-simplify]: Simplify 1 into 1
6.237 * [backup-simplify]: Simplify (- 1) into -1
6.237 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.237 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 2) in a
6.237 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.237 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.237 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.237 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.237 * [taylor]: Taking taylor expansion of (* a x) in a
6.237 * [taylor]: Taking taylor expansion of a in a
6.237 * [backup-simplify]: Simplify 0 into 0
6.237 * [backup-simplify]: Simplify 1 into 1
6.237 * [taylor]: Taking taylor expansion of x in a
6.237 * [backup-simplify]: Simplify x into x
6.237 * [backup-simplify]: Simplify (* 0 x) into 0
6.238 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.238 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.238 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.238 * [taylor]: Taking taylor expansion of 1 in a
6.238 * [backup-simplify]: Simplify 1 into 1
6.238 * [backup-simplify]: Simplify (- 1) into -1
6.239 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.239 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 2) in a
6.239 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.239 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.239 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.239 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.239 * [taylor]: Taking taylor expansion of (* a x) in a
6.239 * [taylor]: Taking taylor expansion of a in a
6.239 * [backup-simplify]: Simplify 0 into 0
6.239 * [backup-simplify]: Simplify 1 into 1
6.239 * [taylor]: Taking taylor expansion of x in a
6.239 * [backup-simplify]: Simplify x into x
6.239 * [backup-simplify]: Simplify (* 0 x) into 0
6.239 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.239 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.240 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.240 * [taylor]: Taking taylor expansion of 1 in a
6.240 * [backup-simplify]: Simplify 1 into 1
6.240 * [backup-simplify]: Simplify (- 1) into -1
6.240 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.240 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (- (exp (/ 1 (* a x))) 1)) into (pow (- (exp (/ 1 (* a x))) 1) 2)
6.240 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1) 2) in x
6.240 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
6.241 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.241 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.241 * [taylor]: Taking taylor expansion of (* a x) in x
6.241 * [taylor]: Taking taylor expansion of a in x
6.241 * [backup-simplify]: Simplify a into a
6.241 * [taylor]: Taking taylor expansion of x in x
6.241 * [backup-simplify]: Simplify 0 into 0
6.241 * [backup-simplify]: Simplify 1 into 1
6.241 * [backup-simplify]: Simplify (* a 0) into 0
6.241 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.241 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.241 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.241 * [taylor]: Taking taylor expansion of 1 in x
6.241 * [backup-simplify]: Simplify 1 into 1
6.242 * [backup-simplify]: Simplify (- 1) into -1
6.242 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.242 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (- (exp (/ 1 (* a x))) 1)) into (pow (- (exp (/ 1 (* a x))) 1) 2)
6.242 * [backup-simplify]: Simplify (pow (- (exp (/ 1 (* a x))) 1) 2) into (pow (- (exp (/ 1 (* a x))) 1) 2)
6.243 * [backup-simplify]: Simplify (- 0) into 0
6.243 * [backup-simplify]: Simplify (+ 0 0) into 0
6.243 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (- (exp (/ 1 (* a x))) 1))) into 0
6.243 * [taylor]: Taking taylor expansion of 0 in x
6.243 * [backup-simplify]: Simplify 0 into 0
6.243 * [backup-simplify]: Simplify 0 into 0
6.243 * [backup-simplify]: Simplify (- 0) into 0
6.244 * [backup-simplify]: Simplify (+ 0 0) into 0
6.244 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (- (exp (/ 1 (* a x))) 1))) into 0
6.244 * [backup-simplify]: Simplify 0 into 0
6.244 * [backup-simplify]: Simplify (- 0) into 0
6.244 * [backup-simplify]: Simplify (+ 0 0) into 0
6.245 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1)))) into 0
6.245 * [taylor]: Taking taylor expansion of 0 in x
6.245 * [backup-simplify]: Simplify 0 into 0
6.245 * [backup-simplify]: Simplify 0 into 0
6.245 * [backup-simplify]: Simplify 0 into 0
6.245 * [backup-simplify]: Simplify (- 0) into 0
6.245 * [backup-simplify]: Simplify (+ 0 0) into 0
6.246 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1)))) into 0
6.246 * [backup-simplify]: Simplify 0 into 0
6.246 * [backup-simplify]: Simplify (- 0) into 0
6.246 * [backup-simplify]: Simplify (+ 0 0) into 0
6.247 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1))))) into 0
6.247 * [taylor]: Taking taylor expansion of 0 in x
6.247 * [backup-simplify]: Simplify 0 into 0
6.247 * [backup-simplify]: Simplify 0 into 0
6.247 * [backup-simplify]: Simplify (pow (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) 2) into (pow (- (exp (* a x)) 1) 2)
6.247 * [backup-simplify]: Simplify (* (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) (expm1 (* (/ 1 (- a)) (/ 1 (- x))))) into (pow (expm1 (/ 1 (* a x))) 2)
6.247 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 2) in (a x) around 0
6.247 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 2) in x
6.247 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
6.247 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.247 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.247 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.247 * [taylor]: Taking taylor expansion of (* a x) in x
6.247 * [taylor]: Taking taylor expansion of a in x
6.247 * [backup-simplify]: Simplify a into a
6.247 * [taylor]: Taking taylor expansion of x in x
6.247 * [backup-simplify]: Simplify 0 into 0
6.247 * [backup-simplify]: Simplify 1 into 1
6.247 * [backup-simplify]: Simplify (* a 0) into 0
6.248 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.248 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.248 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.248 * [taylor]: Taking taylor expansion of 1 in x
6.248 * [backup-simplify]: Simplify 1 into 1
6.248 * [backup-simplify]: Simplify (- 1) into -1
6.248 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.248 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 2) in a
6.248 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.248 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.248 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.248 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.248 * [taylor]: Taking taylor expansion of (* a x) in a
6.248 * [taylor]: Taking taylor expansion of a in a
6.248 * [backup-simplify]: Simplify 0 into 0
6.248 * [backup-simplify]: Simplify 1 into 1
6.248 * [taylor]: Taking taylor expansion of x in a
6.248 * [backup-simplify]: Simplify x into x
6.248 * [backup-simplify]: Simplify (* 0 x) into 0
6.249 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.249 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.249 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.249 * [taylor]: Taking taylor expansion of 1 in a
6.249 * [backup-simplify]: Simplify 1 into 1
6.249 * [backup-simplify]: Simplify (- 1) into -1
6.249 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.249 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 2) in a
6.249 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.249 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.249 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.249 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.249 * [taylor]: Taking taylor expansion of (* a x) in a
6.249 * [taylor]: Taking taylor expansion of a in a
6.249 * [backup-simplify]: Simplify 0 into 0
6.249 * [backup-simplify]: Simplify 1 into 1
6.249 * [taylor]: Taking taylor expansion of x in a
6.249 * [backup-simplify]: Simplify x into x
6.249 * [backup-simplify]: Simplify (* 0 x) into 0
6.250 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.250 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.250 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.250 * [taylor]: Taking taylor expansion of 1 in a
6.250 * [backup-simplify]: Simplify 1 into 1
6.250 * [backup-simplify]: Simplify (- 1) into -1
6.250 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.250 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (- (exp (/ 1 (* a x))) 1)) into (pow (- (exp (/ 1 (* a x))) 1) 2)
6.250 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1) 2) in x
6.250 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
6.250 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.250 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.250 * [taylor]: Taking taylor expansion of (* a x) in x
6.250 * [taylor]: Taking taylor expansion of a in x
6.250 * [backup-simplify]: Simplify a into a
6.250 * [taylor]: Taking taylor expansion of x in x
6.250 * [backup-simplify]: Simplify 0 into 0
6.250 * [backup-simplify]: Simplify 1 into 1
6.250 * [backup-simplify]: Simplify (* a 0) into 0
6.251 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.251 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.251 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.251 * [taylor]: Taking taylor expansion of 1 in x
6.251 * [backup-simplify]: Simplify 1 into 1
6.251 * [backup-simplify]: Simplify (- 1) into -1
6.251 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.251 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (- (exp (/ 1 (* a x))) 1)) into (pow (- (exp (/ 1 (* a x))) 1) 2)
6.251 * [backup-simplify]: Simplify (pow (- (exp (/ 1 (* a x))) 1) 2) into (pow (- (exp (/ 1 (* a x))) 1) 2)
6.252 * [backup-simplify]: Simplify (- 0) into 0
6.252 * [backup-simplify]: Simplify (+ 0 0) into 0
6.252 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (- (exp (/ 1 (* a x))) 1))) into 0
6.252 * [taylor]: Taking taylor expansion of 0 in x
6.252 * [backup-simplify]: Simplify 0 into 0
6.252 * [backup-simplify]: Simplify 0 into 0
6.252 * [backup-simplify]: Simplify (- 0) into 0
6.253 * [backup-simplify]: Simplify (+ 0 0) into 0
6.253 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (- (exp (/ 1 (* a x))) 1))) into 0
6.253 * [backup-simplify]: Simplify 0 into 0
6.253 * [backup-simplify]: Simplify (- 0) into 0
6.253 * [backup-simplify]: Simplify (+ 0 0) into 0
6.254 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1)))) into 0
6.254 * [taylor]: Taking taylor expansion of 0 in x
6.254 * [backup-simplify]: Simplify 0 into 0
6.254 * [backup-simplify]: Simplify 0 into 0
6.254 * [backup-simplify]: Simplify 0 into 0
6.254 * [backup-simplify]: Simplify (- 0) into 0
6.254 * [backup-simplify]: Simplify (+ 0 0) into 0
6.255 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1)))) into 0
6.255 * [backup-simplify]: Simplify 0 into 0
6.255 * [backup-simplify]: Simplify (- 0) into 0
6.255 * [backup-simplify]: Simplify (+ 0 0) into 0
6.256 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1))))) into 0
6.256 * [taylor]: Taking taylor expansion of 0 in x
6.256 * [backup-simplify]: Simplify 0 into 0
6.256 * [backup-simplify]: Simplify 0 into 0
6.256 * [backup-simplify]: Simplify (pow (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) 2) into (pow (- (exp (* a x)) 1) 2)
6.256 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
6.256 * [backup-simplify]: Simplify (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) into (pow (expm1 (* a x)) 3)
6.256 * [approximate]: Taking taylor expansion of (pow (expm1 (* a x)) 3) in (a x) around 0
6.256 * [taylor]: Taking taylor expansion of (pow (expm1 (* a x)) 3) in x
6.256 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x
6.256 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.256 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
6.256 * [taylor]: Taking taylor expansion of (* a x) in x
6.256 * [taylor]: Taking taylor expansion of a in x
6.256 * [backup-simplify]: Simplify a into a
6.256 * [taylor]: Taking taylor expansion of x in x
6.256 * [backup-simplify]: Simplify 0 into 0
6.256 * [backup-simplify]: Simplify 1 into 1
6.256 * [backup-simplify]: Simplify (* a 0) into 0
6.257 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.257 * [backup-simplify]: Simplify (exp 0) into 1
6.257 * [taylor]: Taking taylor expansion of 1 in x
6.257 * [backup-simplify]: Simplify 1 into 1
6.257 * [backup-simplify]: Simplify (- 1) into -1
6.257 * [backup-simplify]: Simplify (+ 1 -1) into 0
6.257 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow a 1) 1)))) into a
6.258 * [backup-simplify]: Simplify (- 0) into 0
6.258 * [backup-simplify]: Simplify (+ a 0) into a
6.258 * [taylor]: Taking taylor expansion of (pow (expm1 (* a x)) 3) in a
6.258 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
6.258 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.258 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
6.258 * [taylor]: Taking taylor expansion of (* a x) in a
6.258 * [taylor]: Taking taylor expansion of a in a
6.258 * [backup-simplify]: Simplify 0 into 0
6.258 * [backup-simplify]: Simplify 1 into 1
6.258 * [taylor]: Taking taylor expansion of x in a
6.258 * [backup-simplify]: Simplify x into x
6.258 * [backup-simplify]: Simplify (* 0 x) into 0
6.258 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.258 * [backup-simplify]: Simplify (exp 0) into 1
6.258 * [taylor]: Taking taylor expansion of 1 in a
6.258 * [backup-simplify]: Simplify 1 into 1
6.258 * [backup-simplify]: Simplify (- 1) into -1
6.259 * [backup-simplify]: Simplify (+ 1 -1) into 0
6.259 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x
6.259 * [backup-simplify]: Simplify (- 0) into 0
6.259 * [backup-simplify]: Simplify (+ x 0) into x
6.259 * [taylor]: Taking taylor expansion of (pow (expm1 (* a x)) 3) in a
6.259 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
6.259 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.259 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
6.259 * [taylor]: Taking taylor expansion of (* a x) in a
6.259 * [taylor]: Taking taylor expansion of a in a
6.259 * [backup-simplify]: Simplify 0 into 0
6.259 * [backup-simplify]: Simplify 1 into 1
6.259 * [taylor]: Taking taylor expansion of x in a
6.259 * [backup-simplify]: Simplify x into x
6.259 * [backup-simplify]: Simplify (* 0 x) into 0
6.260 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.260 * [backup-simplify]: Simplify (exp 0) into 1
6.260 * [taylor]: Taking taylor expansion of 1 in a
6.260 * [backup-simplify]: Simplify 1 into 1
6.260 * [backup-simplify]: Simplify (- 1) into -1
6.260 * [backup-simplify]: Simplify (+ 1 -1) into 0
6.260 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x
6.261 * [backup-simplify]: Simplify (- 0) into 0
6.261 * [backup-simplify]: Simplify (+ x 0) into x
6.261 * [backup-simplify]: Simplify (* x x) into (pow x 2)
6.261 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
6.261 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.261 * [taylor]: Taking taylor expansion of x in x
6.261 * [backup-simplify]: Simplify 0 into 0
6.261 * [backup-simplify]: Simplify 1 into 1
6.261 * [backup-simplify]: Simplify (* 1 1) into 1
6.261 * [backup-simplify]: Simplify (* 1 1) into 1
6.261 * [backup-simplify]: Simplify 1 into 1
6.262 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
6.262 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2))
6.263 * [backup-simplify]: Simplify (- 0) into 0
6.263 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2))
6.263 * [backup-simplify]: Simplify (+ (* x (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) x)) into (pow x 3)
6.263 * [backup-simplify]: Simplify (+ (* x (pow x 3)) (* (* 1/2 (pow x 2)) (pow x 2))) into (* 3/2 (pow x 4))
6.263 * [taylor]: Taking taylor expansion of (* 3/2 (pow x 4)) in x
6.263 * [taylor]: Taking taylor expansion of 3/2 in x
6.263 * [backup-simplify]: Simplify 3/2 into 3/2
6.263 * [taylor]: Taking taylor expansion of (pow x 4) in x
6.263 * [taylor]: Taking taylor expansion of x in x
6.263 * [backup-simplify]: Simplify 0 into 0
6.263 * [backup-simplify]: Simplify 1 into 1
6.266 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.266 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.266 * [backup-simplify]: Simplify 0 into 0
6.267 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
6.268 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow x 3))
6.268 * [backup-simplify]: Simplify (- 0) into 0
6.269 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3))
6.269 * [backup-simplify]: Simplify (+ (* x (* 1/6 (pow x 3))) (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/6 (pow x 3)) x))) into (* 7/12 (pow x 4))
6.269 * [backup-simplify]: Simplify (+ (* x (* 7/12 (pow x 4))) (+ (* (* 1/2 (pow x 2)) (pow x 3)) (* (* 1/6 (pow x 3)) (pow x 2)))) into (* 5/4 (pow x 5))
6.269 * [taylor]: Taking taylor expansion of (* 5/4 (pow x 5)) in x
6.269 * [taylor]: Taking taylor expansion of 5/4 in x
6.269 * [backup-simplify]: Simplify 5/4 into 5/4
6.269 * [taylor]: Taking taylor expansion of (pow x 5) in x
6.269 * [taylor]: Taking taylor expansion of x in x
6.269 * [backup-simplify]: Simplify 0 into 0
6.269 * [backup-simplify]: Simplify 1 into 1
6.270 * [backup-simplify]: Simplify (* 1 1) into 1
6.270 * [backup-simplify]: Simplify (* 1 1) into 1
6.270 * [backup-simplify]: Simplify (* 3/2 1) into 3/2
6.270 * [backup-simplify]: Simplify 3/2 into 3/2
6.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.272 * [backup-simplify]: Simplify 0 into 0
6.274 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.277 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow x 4))
6.277 * [backup-simplify]: Simplify (- 0) into 0
6.277 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4))
6.278 * [backup-simplify]: Simplify (+ (* x (* 1/24 (pow x 4))) (+ (* (* 1/2 (pow x 2)) (* 1/6 (pow x 3))) (+ (* (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) (* (* 1/24 (pow x 4)) x)))) into (* 1/4 (pow x 5))
6.279 * [backup-simplify]: Simplify (+ (* x (* 1/4 (pow x 5))) (+ (* (* 1/2 (pow x 2)) (* 7/12 (pow x 4))) (+ (* (* 1/6 (pow x 3)) (pow x 3)) (* (* 1/24 (pow x 4)) (pow x 2))))) into (* 3/4 (pow x 6))
6.279 * [taylor]: Taking taylor expansion of (* 3/4 (pow x 6)) in x
6.279 * [taylor]: Taking taylor expansion of 3/4 in x
6.279 * [backup-simplify]: Simplify 3/4 into 3/4
6.279 * [taylor]: Taking taylor expansion of (pow x 6) in x
6.279 * [taylor]: Taking taylor expansion of x in x
6.279 * [backup-simplify]: Simplify 0 into 0
6.279 * [backup-simplify]: Simplify 1 into 1
6.280 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.281 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.282 * [backup-simplify]: Simplify (+ (* 3/2 0) (* 0 1)) into 0
6.282 * [backup-simplify]: Simplify 0 into 0
6.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.284 * [backup-simplify]: Simplify 0 into 0
6.286 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
6.288 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 5) 120)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 2) 2)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow x 5))
6.289 * [backup-simplify]: Simplify (- 0) into 0
6.289 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5))
6.290 * [backup-simplify]: Simplify (+ (* x (* 1/120 (pow x 5))) (+ (* (* 1/2 (pow x 2)) (* 1/24 (pow x 4))) (+ (* (* 1/6 (pow x 3)) (* 1/6 (pow x 3))) (+ (* (* 1/24 (pow x 4)) (* 1/2 (pow x 2))) (* (* 1/120 (pow x 5)) x))))) into (* 31/360 (pow x 6))
6.290 * [backup-simplify]: Simplify (+ (* x (* 31/360 (pow x 6))) (+ (* (* 1/2 (pow x 2)) (* 1/4 (pow x 5))) (+ (* (* 1/6 (pow x 3)) (* 7/12 (pow x 4))) (+ (* (* 1/24 (pow x 4)) (pow x 3)) (* (* 1/120 (pow x 5)) (pow x 2)))))) into (* 43/120 (pow x 7))
6.290 * [taylor]: Taking taylor expansion of (* 43/120 (pow x 7)) in x
6.290 * [taylor]: Taking taylor expansion of 43/120 in x
6.290 * [backup-simplify]: Simplify 43/120 into 43/120
6.290 * [taylor]: Taking taylor expansion of (pow x 7) in x
6.290 * [taylor]: Taking taylor expansion of x in x
6.290 * [backup-simplify]: Simplify 0 into 0
6.290 * [backup-simplify]: Simplify 1 into 1
6.291 * [backup-simplify]: Simplify (* 1 1) into 1
6.291 * [backup-simplify]: Simplify (* 1 1) into 1
6.291 * [backup-simplify]: Simplify (* 1 1) into 1
6.291 * [backup-simplify]: Simplify (* 5/4 1) into 5/4
6.292 * [backup-simplify]: Simplify 5/4 into 5/4
6.292 * [backup-simplify]: Simplify (+ (* 5/4 (pow (* x a) 5)) (+ (* 3/2 (pow (* x a) 4)) (* 1 (pow (* x a) 3)))) into (+ (* 3/2 (* (pow a 4) (pow x 4))) (+ (* 5/4 (* (pow a 5) (pow x 5))) (* (pow a 3) (pow x 3))))
6.292 * [backup-simplify]: Simplify (* (* (expm1 (* (/ 1 a) (/ 1 x))) (expm1 (* (/ 1 a) (/ 1 x)))) (expm1 (* (/ 1 a) (/ 1 x)))) into (pow (expm1 (/ 1 (* a x))) 3)
6.292 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 3) in (a x) around 0
6.292 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 3) in x
6.292 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
6.292 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.292 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.292 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.292 * [taylor]: Taking taylor expansion of (* a x) in x
6.292 * [taylor]: Taking taylor expansion of a in x
6.292 * [backup-simplify]: Simplify a into a
6.292 * [taylor]: Taking taylor expansion of x in x
6.292 * [backup-simplify]: Simplify 0 into 0
6.292 * [backup-simplify]: Simplify 1 into 1
6.292 * [backup-simplify]: Simplify (* a 0) into 0
6.293 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.293 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.293 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.293 * [taylor]: Taking taylor expansion of 1 in x
6.293 * [backup-simplify]: Simplify 1 into 1
6.293 * [backup-simplify]: Simplify (- 1) into -1
6.293 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.293 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 3) in a
6.293 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.293 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.293 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.293 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.293 * [taylor]: Taking taylor expansion of (* a x) in a
6.293 * [taylor]: Taking taylor expansion of a in a
6.293 * [backup-simplify]: Simplify 0 into 0
6.293 * [backup-simplify]: Simplify 1 into 1
6.293 * [taylor]: Taking taylor expansion of x in a
6.293 * [backup-simplify]: Simplify x into x
6.293 * [backup-simplify]: Simplify (* 0 x) into 0
6.294 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.294 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.294 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.294 * [taylor]: Taking taylor expansion of 1 in a
6.294 * [backup-simplify]: Simplify 1 into 1
6.294 * [backup-simplify]: Simplify (- 1) into -1
6.294 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.294 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 3) in a
6.294 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.294 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.294 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.294 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.294 * [taylor]: Taking taylor expansion of (* a x) in a
6.294 * [taylor]: Taking taylor expansion of a in a
6.294 * [backup-simplify]: Simplify 0 into 0
6.294 * [backup-simplify]: Simplify 1 into 1
6.294 * [taylor]: Taking taylor expansion of x in a
6.294 * [backup-simplify]: Simplify x into x
6.294 * [backup-simplify]: Simplify (* 0 x) into 0
6.295 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.295 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.295 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.295 * [taylor]: Taking taylor expansion of 1 in a
6.295 * [backup-simplify]: Simplify 1 into 1
6.295 * [backup-simplify]: Simplify (- 1) into -1
6.295 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.295 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (- (exp (/ 1 (* a x))) 1)) into (pow (- (exp (/ 1 (* a x))) 1) 2)
6.295 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (pow (- (exp (/ 1 (* a x))) 1) 2)) into (pow (- (exp (/ 1 (* a x))) 1) 3)
6.296 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1) 3) in x
6.296 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
6.296 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.296 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.296 * [taylor]: Taking taylor expansion of (* a x) in x
6.296 * [taylor]: Taking taylor expansion of a in x
6.296 * [backup-simplify]: Simplify a into a
6.296 * [taylor]: Taking taylor expansion of x in x
6.296 * [backup-simplify]: Simplify 0 into 0
6.296 * [backup-simplify]: Simplify 1 into 1
6.296 * [backup-simplify]: Simplify (* a 0) into 0
6.296 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.296 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.296 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.296 * [taylor]: Taking taylor expansion of 1 in x
6.296 * [backup-simplify]: Simplify 1 into 1
6.296 * [backup-simplify]: Simplify (- 1) into -1
6.296 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.297 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (- (exp (/ 1 (* a x))) 1)) into (pow (- (exp (/ 1 (* a x))) 1) 2)
6.297 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (pow (- (exp (/ 1 (* a x))) 1) 2)) into (pow (- (exp (/ 1 (* a x))) 1) 3)
6.297 * [backup-simplify]: Simplify (pow (- (exp (/ 1 (* a x))) 1) 3) into (pow (- (exp (/ 1 (* a x))) 1) 3)
6.297 * [backup-simplify]: Simplify (- 0) into 0
6.297 * [backup-simplify]: Simplify (+ 0 0) into 0
6.297 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (- (exp (/ 1 (* a x))) 1))) into 0
6.298 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (pow (- (exp (/ 1 (* a x))) 1) 2))) into 0
6.298 * [taylor]: Taking taylor expansion of 0 in x
6.298 * [backup-simplify]: Simplify 0 into 0
6.298 * [backup-simplify]: Simplify 0 into 0
6.298 * [backup-simplify]: Simplify (- 0) into 0
6.298 * [backup-simplify]: Simplify (+ 0 0) into 0
6.298 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (- (exp (/ 1 (* a x))) 1))) into 0
6.299 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (pow (- (exp (/ 1 (* a x))) 1) 2))) into 0
6.299 * [backup-simplify]: Simplify 0 into 0
6.299 * [backup-simplify]: Simplify (- 0) into 0
6.299 * [backup-simplify]: Simplify (+ 0 0) into 0
6.299 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1)))) into 0
6.300 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (pow (- (exp (/ 1 (* a x))) 1) 2)))) into 0
6.300 * [taylor]: Taking taylor expansion of 0 in x
6.300 * [backup-simplify]: Simplify 0 into 0
6.300 * [backup-simplify]: Simplify 0 into 0
6.300 * [backup-simplify]: Simplify 0 into 0
6.300 * [backup-simplify]: Simplify (- 0) into 0
6.301 * [backup-simplify]: Simplify (+ 0 0) into 0
6.301 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1)))) into 0
6.301 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (pow (- (exp (/ 1 (* a x))) 1) 2)))) into 0
6.301 * [backup-simplify]: Simplify 0 into 0
6.302 * [backup-simplify]: Simplify (- 0) into 0
6.302 * [backup-simplify]: Simplify (+ 0 0) into 0
6.303 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1))))) into 0
6.303 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (exp (/ 1 (* a x))) 1) 2))))) into 0
6.303 * [taylor]: Taking taylor expansion of 0 in x
6.303 * [backup-simplify]: Simplify 0 into 0
6.303 * [backup-simplify]: Simplify 0 into 0
6.303 * [backup-simplify]: Simplify (pow (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) 3) into (pow (- (exp (* a x)) 1) 3)
6.304 * [backup-simplify]: Simplify (* (* (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) (expm1 (* (/ 1 (- a)) (/ 1 (- x))))) (expm1 (* (/ 1 (- a)) (/ 1 (- x))))) into (pow (expm1 (/ 1 (* a x))) 3)
6.304 * [approximate]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 3) in (a x) around 0
6.304 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 3) in x
6.304 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
6.304 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.304 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.304 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.304 * [taylor]: Taking taylor expansion of (* a x) in x
6.304 * [taylor]: Taking taylor expansion of a in x
6.304 * [backup-simplify]: Simplify a into a
6.304 * [taylor]: Taking taylor expansion of x in x
6.304 * [backup-simplify]: Simplify 0 into 0
6.304 * [backup-simplify]: Simplify 1 into 1
6.304 * [backup-simplify]: Simplify (* a 0) into 0
6.304 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.304 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.304 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.304 * [taylor]: Taking taylor expansion of 1 in x
6.304 * [backup-simplify]: Simplify 1 into 1
6.305 * [backup-simplify]: Simplify (- 1) into -1
6.305 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.305 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 3) in a
6.305 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.305 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.305 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.305 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.305 * [taylor]: Taking taylor expansion of (* a x) in a
6.305 * [taylor]: Taking taylor expansion of a in a
6.305 * [backup-simplify]: Simplify 0 into 0
6.305 * [backup-simplify]: Simplify 1 into 1
6.305 * [taylor]: Taking taylor expansion of x in a
6.305 * [backup-simplify]: Simplify x into x
6.305 * [backup-simplify]: Simplify (* 0 x) into 0
6.305 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.305 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.305 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.305 * [taylor]: Taking taylor expansion of 1 in a
6.305 * [backup-simplify]: Simplify 1 into 1
6.306 * [backup-simplify]: Simplify (- 1) into -1
6.306 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.306 * [taylor]: Taking taylor expansion of (pow (expm1 (/ 1 (* a x))) 3) in a
6.306 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.306 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.306 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.306 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.306 * [taylor]: Taking taylor expansion of (* a x) in a
6.306 * [taylor]: Taking taylor expansion of a in a
6.306 * [backup-simplify]: Simplify 0 into 0
6.306 * [backup-simplify]: Simplify 1 into 1
6.306 * [taylor]: Taking taylor expansion of x in a
6.306 * [backup-simplify]: Simplify x into x
6.306 * [backup-simplify]: Simplify (* 0 x) into 0
6.306 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.306 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.306 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.307 * [taylor]: Taking taylor expansion of 1 in a
6.307 * [backup-simplify]: Simplify 1 into 1
6.307 * [backup-simplify]: Simplify (- 1) into -1
6.307 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.307 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (- (exp (/ 1 (* a x))) 1)) into (pow (- (exp (/ 1 (* a x))) 1) 2)
6.307 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (pow (- (exp (/ 1 (* a x))) 1) 2)) into (pow (- (exp (/ 1 (* a x))) 1) 3)
6.307 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 (* a x))) 1) 3) in x
6.307 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
6.307 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.307 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.307 * [taylor]: Taking taylor expansion of (* a x) in x
6.307 * [taylor]: Taking taylor expansion of a in x
6.307 * [backup-simplify]: Simplify a into a
6.307 * [taylor]: Taking taylor expansion of x in x
6.307 * [backup-simplify]: Simplify 0 into 0
6.307 * [backup-simplify]: Simplify 1 into 1
6.307 * [backup-simplify]: Simplify (* a 0) into 0
6.308 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.308 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.308 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.308 * [taylor]: Taking taylor expansion of 1 in x
6.308 * [backup-simplify]: Simplify 1 into 1
6.308 * [backup-simplify]: Simplify (- 1) into -1
6.308 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.308 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (- (exp (/ 1 (* a x))) 1)) into (pow (- (exp (/ 1 (* a x))) 1) 2)
6.308 * [backup-simplify]: Simplify (* (- (exp (/ 1 (* a x))) 1) (pow (- (exp (/ 1 (* a x))) 1) 2)) into (pow (- (exp (/ 1 (* a x))) 1) 3)
6.309 * [backup-simplify]: Simplify (pow (- (exp (/ 1 (* a x))) 1) 3) into (pow (- (exp (/ 1 (* a x))) 1) 3)
6.309 * [backup-simplify]: Simplify (- 0) into 0
6.309 * [backup-simplify]: Simplify (+ 0 0) into 0
6.309 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (- (exp (/ 1 (* a x))) 1))) into 0
6.309 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (pow (- (exp (/ 1 (* a x))) 1) 2))) into 0
6.309 * [taylor]: Taking taylor expansion of 0 in x
6.310 * [backup-simplify]: Simplify 0 into 0
6.310 * [backup-simplify]: Simplify 0 into 0
6.310 * [backup-simplify]: Simplify (- 0) into 0
6.310 * [backup-simplify]: Simplify (+ 0 0) into 0
6.310 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (- (exp (/ 1 (* a x))) 1))) into 0
6.310 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (* 0 (pow (- (exp (/ 1 (* a x))) 1) 2))) into 0
6.310 * [backup-simplify]: Simplify 0 into 0
6.311 * [backup-simplify]: Simplify (- 0) into 0
6.311 * [backup-simplify]: Simplify (+ 0 0) into 0
6.311 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1)))) into 0
6.312 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (pow (- (exp (/ 1 (* a x))) 1) 2)))) into 0
6.312 * [taylor]: Taking taylor expansion of 0 in x
6.312 * [backup-simplify]: Simplify 0 into 0
6.312 * [backup-simplify]: Simplify 0 into 0
6.312 * [backup-simplify]: Simplify 0 into 0
6.312 * [backup-simplify]: Simplify (- 0) into 0
6.312 * [backup-simplify]: Simplify (+ 0 0) into 0
6.313 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1)))) into 0
6.313 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (* 0 (pow (- (exp (/ 1 (* a x))) 1) 2)))) into 0
6.313 * [backup-simplify]: Simplify 0 into 0
6.313 * [backup-simplify]: Simplify (- 0) into 0
6.314 * [backup-simplify]: Simplify (+ 0 0) into 0
6.315 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ 1 (* a x))) 1))))) into 0
6.315 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 (* a x))) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (- (exp (/ 1 (* a x))) 1) 2))))) into 0
6.315 * [taylor]: Taking taylor expansion of 0 in x
6.315 * [backup-simplify]: Simplify 0 into 0
6.315 * [backup-simplify]: Simplify 0 into 0
6.316 * [backup-simplify]: Simplify (pow (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) 3) into (pow (- (exp (* a x)) 1) 3)
6.316 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
6.316 * [backup-simplify]: Simplify (expm1 (* a x)) into (expm1 (* a x))
6.316 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0
6.316 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x
6.316 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.316 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
6.316 * [taylor]: Taking taylor expansion of (* a x) in x
6.316 * [taylor]: Taking taylor expansion of a in x
6.316 * [backup-simplify]: Simplify a into a
6.316 * [taylor]: Taking taylor expansion of x in x
6.316 * [backup-simplify]: Simplify 0 into 0
6.316 * [backup-simplify]: Simplify 1 into 1
6.316 * [backup-simplify]: Simplify (* a 0) into 0
6.316 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.316 * [backup-simplify]: Simplify (exp 0) into 1
6.316 * [taylor]: Taking taylor expansion of 1 in x
6.316 * [backup-simplify]: Simplify 1 into 1
6.316 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
6.316 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.316 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
6.316 * [taylor]: Taking taylor expansion of (* a x) in a
6.316 * [taylor]: Taking taylor expansion of a in a
6.316 * [backup-simplify]: Simplify 0 into 0
6.317 * [backup-simplify]: Simplify 1 into 1
6.317 * [taylor]: Taking taylor expansion of x in a
6.317 * [backup-simplify]: Simplify x into x
6.317 * [backup-simplify]: Simplify (* 0 x) into 0
6.317 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.317 * [backup-simplify]: Simplify (exp 0) into 1
6.317 * [taylor]: Taking taylor expansion of 1 in a
6.317 * [backup-simplify]: Simplify 1 into 1
6.317 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a
6.317 * [taylor]: Rewrote expression to (- (exp (* a x)) 1)
6.317 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
6.317 * [taylor]: Taking taylor expansion of (* a x) in a
6.317 * [taylor]: Taking taylor expansion of a in a
6.317 * [backup-simplify]: Simplify 0 into 0
6.317 * [backup-simplify]: Simplify 1 into 1
6.317 * [taylor]: Taking taylor expansion of x in a
6.317 * [backup-simplify]: Simplify x into x
6.317 * [backup-simplify]: Simplify (* 0 x) into 0
6.317 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.317 * [backup-simplify]: Simplify (exp 0) into 1
6.317 * [taylor]: Taking taylor expansion of 1 in a
6.318 * [backup-simplify]: Simplify 1 into 1
6.318 * [backup-simplify]: Simplify (- 1) into -1
6.318 * [backup-simplify]: Simplify (+ 1 -1) into 0
6.318 * [taylor]: Taking taylor expansion of 0 in x
6.318 * [backup-simplify]: Simplify 0 into 0
6.318 * [backup-simplify]: Simplify 0 into 0
6.318 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x
6.319 * [backup-simplify]: Simplify (- 0) into 0
6.319 * [backup-simplify]: Simplify (+ x 0) into x
6.319 * [taylor]: Taking taylor expansion of x in x
6.319 * [backup-simplify]: Simplify 0 into 0
6.319 * [backup-simplify]: Simplify 1 into 1
6.319 * [backup-simplify]: Simplify 0 into 0
6.319 * [backup-simplify]: Simplify 0 into 0
6.320 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
6.321 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2))
6.321 * [backup-simplify]: Simplify (- 0) into 0
6.321 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2))
6.321 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
6.321 * [taylor]: Taking taylor expansion of 1/2 in x
6.321 * [backup-simplify]: Simplify 1/2 into 1/2
6.321 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.321 * [taylor]: Taking taylor expansion of x in x
6.321 * [backup-simplify]: Simplify 0 into 0
6.321 * [backup-simplify]: Simplify 1 into 1
6.322 * [backup-simplify]: Simplify 1 into 1
6.322 * [backup-simplify]: Simplify 0 into 0
6.323 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
6.324 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow x 3))
6.325 * [backup-simplify]: Simplify (- 0) into 0
6.325 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3))
6.325 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
6.325 * [taylor]: Taking taylor expansion of 1/6 in x
6.325 * [backup-simplify]: Simplify 1/6 into 1/6
6.325 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.325 * [taylor]: Taking taylor expansion of x in x
6.325 * [backup-simplify]: Simplify 0 into 0
6.325 * [backup-simplify]: Simplify 1 into 1
6.325 * [backup-simplify]: Simplify 0 into 0
6.325 * [backup-simplify]: Simplify 0 into 0
6.327 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
6.330 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow x 4))
6.330 * [backup-simplify]: Simplify (- 0) into 0
6.330 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4))
6.330 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
6.330 * [taylor]: Taking taylor expansion of 1/24 in x
6.330 * [backup-simplify]: Simplify 1/24 into 1/24
6.330 * [taylor]: Taking taylor expansion of (pow x 4) in x
6.330 * [taylor]: Taking taylor expansion of x in x
6.330 * [backup-simplify]: Simplify 0 into 0
6.331 * [backup-simplify]: Simplify 1 into 1
6.331 * [backup-simplify]: Simplify (* 1 1) into 1
6.331 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.331 * [backup-simplify]: Simplify 1/2 into 1/2
6.331 * [backup-simplify]: Simplify 0 into 0
6.332 * [backup-simplify]: Simplify 0 into 0
6.333 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
6.338 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 5) 120)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 2) 2)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow x 5))
6.338 * [backup-simplify]: Simplify (- 0) into 0
6.338 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5))
6.338 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
6.338 * [taylor]: Taking taylor expansion of 1/120 in x
6.338 * [backup-simplify]: Simplify 1/120 into 1/120
6.338 * [taylor]: Taking taylor expansion of (pow x 5) in x
6.338 * [taylor]: Taking taylor expansion of x in x
6.338 * [backup-simplify]: Simplify 0 into 0
6.338 * [backup-simplify]: Simplify 1 into 1
6.339 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.340 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
6.340 * [backup-simplify]: Simplify 0 into 0
6.340 * [backup-simplify]: Simplify 0 into 0
6.340 * [backup-simplify]: Simplify 0 into 0
6.343 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0
6.348 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 6) 720)) (* (/ (pow x 4) 24) (/ (pow 0 1) 1)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 2) 2)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/720 (pow x 6))
6.349 * [backup-simplify]: Simplify (- 0) into 0
6.349 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6))
6.349 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
6.349 * [taylor]: Taking taylor expansion of 1/720 in x
6.349 * [backup-simplify]: Simplify 1/720 into 1/720
6.349 * [taylor]: Taking taylor expansion of (pow x 6) in x
6.349 * [taylor]: Taking taylor expansion of x in x
6.349 * [backup-simplify]: Simplify 0 into 0
6.349 * [backup-simplify]: Simplify 1 into 1
6.349 * [backup-simplify]: Simplify (* 1 1) into 1
6.350 * [backup-simplify]: Simplify (* 1 1) into 1
6.350 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
6.350 * [backup-simplify]: Simplify 1/6 into 1/6
6.350 * [backup-simplify]: Simplify (+ (* 1/6 (pow (* x a) 3)) (+ (* 1/2 (pow (* x a) 2)) (* 1 (* x a)))) into (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
6.350 * [backup-simplify]: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x)))
6.350 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
6.350 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
6.350 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.350 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.350 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.350 * [taylor]: Taking taylor expansion of (* a x) in x
6.350 * [taylor]: Taking taylor expansion of a in x
6.351 * [backup-simplify]: Simplify a into a
6.351 * [taylor]: Taking taylor expansion of x in x
6.351 * [backup-simplify]: Simplify 0 into 0
6.351 * [backup-simplify]: Simplify 1 into 1
6.351 * [backup-simplify]: Simplify (* a 0) into 0
6.351 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.351 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.351 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.351 * [taylor]: Taking taylor expansion of 1 in x
6.351 * [backup-simplify]: Simplify 1 into 1
6.351 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.351 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.351 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.351 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.351 * [taylor]: Taking taylor expansion of (* a x) in a
6.351 * [taylor]: Taking taylor expansion of a in a
6.351 * [backup-simplify]: Simplify 0 into 0
6.351 * [backup-simplify]: Simplify 1 into 1
6.351 * [taylor]: Taking taylor expansion of x in a
6.351 * [backup-simplify]: Simplify x into x
6.351 * [backup-simplify]: Simplify (* 0 x) into 0
6.351 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.352 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.352 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.352 * [taylor]: Taking taylor expansion of 1 in a
6.352 * [backup-simplify]: Simplify 1 into 1
6.352 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.352 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.352 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.352 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.352 * [taylor]: Taking taylor expansion of (* a x) in a
6.352 * [taylor]: Taking taylor expansion of a in a
6.352 * [backup-simplify]: Simplify 0 into 0
6.352 * [backup-simplify]: Simplify 1 into 1
6.352 * [taylor]: Taking taylor expansion of x in a
6.352 * [backup-simplify]: Simplify x into x
6.352 * [backup-simplify]: Simplify (* 0 x) into 0
6.352 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.352 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.352 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.352 * [taylor]: Taking taylor expansion of 1 in a
6.352 * [backup-simplify]: Simplify 1 into 1
6.353 * [backup-simplify]: Simplify (- 1) into -1
6.353 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.353 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
6.353 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.353 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.353 * [taylor]: Taking taylor expansion of (* a x) in x
6.353 * [taylor]: Taking taylor expansion of a in x
6.353 * [backup-simplify]: Simplify a into a
6.353 * [taylor]: Taking taylor expansion of x in x
6.353 * [backup-simplify]: Simplify 0 into 0
6.353 * [backup-simplify]: Simplify 1 into 1
6.353 * [backup-simplify]: Simplify (* a 0) into 0
6.353 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.353 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.353 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.353 * [taylor]: Taking taylor expansion of 1 in x
6.353 * [backup-simplify]: Simplify 1 into 1
6.353 * [backup-simplify]: Simplify (- 1) into -1
6.353 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.354 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
6.354 * [backup-simplify]: Simplify (- 0) into 0
6.354 * [backup-simplify]: Simplify (+ 0 0) into 0
6.354 * [taylor]: Taking taylor expansion of 0 in x
6.354 * [backup-simplify]: Simplify 0 into 0
6.354 * [backup-simplify]: Simplify 0 into 0
6.354 * [backup-simplify]: Simplify (- 0) into 0
6.355 * [backup-simplify]: Simplify (+ 0 0) into 0
6.355 * [backup-simplify]: Simplify 0 into 0
6.355 * [backup-simplify]: Simplify (- 0) into 0
6.355 * [backup-simplify]: Simplify (+ 0 0) into 0
6.355 * [taylor]: Taking taylor expansion of 0 in x
6.355 * [backup-simplify]: Simplify 0 into 0
6.355 * [backup-simplify]: Simplify 0 into 0
6.355 * [backup-simplify]: Simplify 0 into 0
6.355 * [backup-simplify]: Simplify (- 0) into 0
6.356 * [backup-simplify]: Simplify (+ 0 0) into 0
6.356 * [backup-simplify]: Simplify 0 into 0
6.356 * [backup-simplify]: Simplify (- 0) into 0
6.356 * [backup-simplify]: Simplify (+ 0 0) into 0
6.356 * [taylor]: Taking taylor expansion of 0 in x
6.356 * [backup-simplify]: Simplify 0 into 0
6.356 * [backup-simplify]: Simplify 0 into 0
6.356 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1)
6.356 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x)))
6.357 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
6.357 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
6.357 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.357 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.357 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.357 * [taylor]: Taking taylor expansion of (* a x) in x
6.357 * [taylor]: Taking taylor expansion of a in x
6.357 * [backup-simplify]: Simplify a into a
6.357 * [taylor]: Taking taylor expansion of x in x
6.357 * [backup-simplify]: Simplify 0 into 0
6.357 * [backup-simplify]: Simplify 1 into 1
6.357 * [backup-simplify]: Simplify (* a 0) into 0
6.357 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.357 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.357 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.357 * [taylor]: Taking taylor expansion of 1 in x
6.357 * [backup-simplify]: Simplify 1 into 1
6.357 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.357 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.357 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.357 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.357 * [taylor]: Taking taylor expansion of (* a x) in a
6.357 * [taylor]: Taking taylor expansion of a in a
6.357 * [backup-simplify]: Simplify 0 into 0
6.357 * [backup-simplify]: Simplify 1 into 1
6.357 * [taylor]: Taking taylor expansion of x in a
6.357 * [backup-simplify]: Simplify x into x
6.357 * [backup-simplify]: Simplify (* 0 x) into 0
6.358 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.358 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.358 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.358 * [taylor]: Taking taylor expansion of 1 in a
6.358 * [backup-simplify]: Simplify 1 into 1
6.358 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
6.358 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1)
6.358 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
6.358 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
6.358 * [taylor]: Taking taylor expansion of (* a x) in a
6.358 * [taylor]: Taking taylor expansion of a in a
6.358 * [backup-simplify]: Simplify 0 into 0
6.358 * [backup-simplify]: Simplify 1 into 1
6.358 * [taylor]: Taking taylor expansion of x in a
6.358 * [backup-simplify]: Simplify x into x
6.358 * [backup-simplify]: Simplify (* 0 x) into 0
6.358 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
6.358 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.358 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.358 * [taylor]: Taking taylor expansion of 1 in a
6.358 * [backup-simplify]: Simplify 1 into 1
6.359 * [backup-simplify]: Simplify (- 1) into -1
6.359 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.359 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
6.359 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
6.359 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
6.359 * [taylor]: Taking taylor expansion of (* a x) in x
6.359 * [taylor]: Taking taylor expansion of a in x
6.359 * [backup-simplify]: Simplify a into a
6.359 * [taylor]: Taking taylor expansion of x in x
6.359 * [backup-simplify]: Simplify 0 into 0
6.359 * [backup-simplify]: Simplify 1 into 1
6.359 * [backup-simplify]: Simplify (* a 0) into 0
6.359 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
6.359 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.359 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
6.359 * [taylor]: Taking taylor expansion of 1 in x
6.359 * [backup-simplify]: Simplify 1 into 1
6.360 * [backup-simplify]: Simplify (- 1) into -1
6.360 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
6.360 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
6.360 * [backup-simplify]: Simplify (- 0) into 0
6.360 * [backup-simplify]: Simplify (+ 0 0) into 0
6.360 * [taylor]: Taking taylor expansion of 0 in x
6.360 * [backup-simplify]: Simplify 0 into 0
6.360 * [backup-simplify]: Simplify 0 into 0
6.361 * [backup-simplify]: Simplify (- 0) into 0
6.361 * [backup-simplify]: Simplify (+ 0 0) into 0
6.361 * [backup-simplify]: Simplify 0 into 0
6.361 * [backup-simplify]: Simplify (- 0) into 0
6.361 * [backup-simplify]: Simplify (+ 0 0) into 0
6.361 * [taylor]: Taking taylor expansion of 0 in x
6.361 * [backup-simplify]: Simplify 0 into 0
6.361 * [backup-simplify]: Simplify 0 into 0
6.361 * [backup-simplify]: Simplify 0 into 0
6.362 * [backup-simplify]: Simplify (- 0) into 0
6.362 * [backup-simplify]: Simplify (+ 0 0) into 0
6.362 * [backup-simplify]: Simplify 0 into 0
6.362 * [backup-simplify]: Simplify (- 0) into 0
6.362 * [backup-simplify]: Simplify (+ 0 0) into 0
6.362 * [taylor]: Taking taylor expansion of 0 in x
6.362 * [backup-simplify]: Simplify 0 into 0
6.362 * [backup-simplify]: Simplify 0 into 0
6.363 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1)
6.363 * * * [progress]: simplifying candidates
6.363 * * * * [progress]: [ 1 / 96 ] simplifiying candidate #<alt (λ (a x) (log1p (expm1 (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.363 * * * * [progress]: [ 2 / 96 ] simplifiying candidate #<alt (λ (a x) (expm1 (log1p (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.363 * * * * [progress]: [ 3 / 96 ] simplifiying candidate #<alt (λ (a x) (pow (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) 1/3))>
6.363 * * * * [progress]: [ 4 / 96 ] simplifiying candidate #<alt (λ (a x) (pow (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) 1))>
6.363 * * * * [progress]: [ 5 / 96 ] simplifiying candidate #<alt (λ (a x) (exp (log (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.363 * * * * [progress]: [ 6 / 96 ] simplifiying candidate #<alt (λ (a x) (log (exp (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.363 * * * * [progress]: [ 7 / 96 ] simplifiying candidate #<alt (λ (a x) (* (cbrt (* (expm1 (* a x)) (expm1 (* a x)))) (cbrt (expm1 (* a x)))))>
6.363 * * * * [progress]: [ 8 / 96 ] simplifiying candidate #<alt (λ (a x) (* (* (cbrt (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))) (cbrt (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))) (cbrt (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.363 * * * * [progress]: [ 9 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.363 * * * * [progress]: [ 10 / 96 ] simplifiying candidate #<alt (λ (a x) (expm1 (* a x)))>
6.363 * * * * [progress]: [ 11 / 96 ] simplifiying candidate #<alt (λ (a x) (* (sqrt (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))) (sqrt (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.363 * * * * [progress]: [ 12 / 96 ] simplifiying candidate #<alt (λ (a x) (* 1 (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))))>
6.363 * * * * [progress]: [ 13 / 96 ] simplifiying candidate #<alt (λ (a x) (posit16->real (real->posit16 (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.363 * * * * [progress]: [ 14 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (log1p (expm1 (* (expm1 (* a x)) (expm1 (* a x))))) (expm1 (* a x)))))>
6.363 * * * * [progress]: [ 15 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (expm1 (log1p (* (expm1 (* a x)) (expm1 (* a x))))) (expm1 (* a x)))))>
6.363 * * * * [progress]: [ 16 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (pow (expm1 (* a x)) (+ 1 1)) (expm1 (* a x)))))>
6.363 * * * * [progress]: [ 17 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (pow (* (expm1 (* a x)) (expm1 (* a x))) 1) (expm1 (* a x)))))>
6.363 * * * * [progress]: [ 18 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (pow (expm1 (* a x)) 2) (expm1 (* a x)))))>
6.363 * * * * [progress]: [ 19 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (pow (expm1 (* a x)) (+ 1 1)) (expm1 (* a x)))))>
6.363 * * * * [progress]: [ 20 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (pow (* (expm1 (* a x)) (expm1 (* a x))) 1) (expm1 (* a x)))))>
6.363 * * * * [progress]: [ 21 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (exp (+ (log (expm1 (* a x))) (log (expm1 (* a x))))) (expm1 (* a x)))))>
6.363 * * * * [progress]: [ 22 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (exp (log (* (expm1 (* a x)) (expm1 (* a x))))) (expm1 (* a x)))))>
6.363 * * * * [progress]: [ 23 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (log (exp (* (expm1 (* a x)) (expm1 (* a x))))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 24 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (cbrt (* (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 25 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* (cbrt (* (expm1 (* a x)) (expm1 (* a x)))) (cbrt (* (expm1 (* a x)) (expm1 (* a x))))) (cbrt (* (expm1 (* a x)) (expm1 (* a x))))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 26 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (cbrt (* (* (* (expm1 (* a x)) (expm1 (* a x))) (* (expm1 (* a x)) (expm1 (* a x)))) (* (expm1 (* a x)) (expm1 (* a x))))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 27 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (sqrt (* (expm1 (* a x)) (expm1 (* a x)))) (sqrt (* (expm1 (* a x)) (expm1 (* a x))))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 28 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* 1 (* (expm1 (* a x)) (expm1 (* a x)))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 29 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 30 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x)))) (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x))))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 31 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* 1 1) (* (expm1 (* a x)) (expm1 (* a x)))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 32 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x)))) (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x))))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 33 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (pow (expm1 (* a x)) (* 2 1)) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 34 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* (expm1 (* a x)) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))) (cbrt (expm1 (* a x)))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 35 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* (expm1 (* a x)) (sqrt (expm1 (* a x)))) (sqrt (expm1 (* a x)))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 36 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* (expm1 (* a x)) 1) (expm1 (* a x))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 37 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (* (cbrt (expm1 (* a x))) (expm1 (* a x)))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 38 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (sqrt (expm1 (* a x))) (* (sqrt (expm1 (* a x))) (expm1 (* a x)))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 39 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* 1 (* (expm1 (* a x)) (expm1 (* a x)))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 40 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (posit16->real (real->posit16 (* (expm1 (* a x)) (expm1 (* a x))))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 41 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))>
6.364 * * * * [progress]: [ 42 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (log1p (expm1 (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.364 * * * * [progress]: [ 43 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (expm1 (log1p (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.364 * * * * [progress]: [ 44 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (expm1 (* a x)) (+ (+ 1 1) 1))))>
6.364 * * * * [progress]: [ 45 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (expm1 (* a x)) (+ 2 1))))>
6.364 * * * * [progress]: [ 46 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (expm1 (* a x)) (+ (+ 1 1) 1))))>
6.364 * * * * [progress]: [ 47 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (expm1 (* a x)) (+ (* 2 1) 1))))>
6.364 * * * * [progress]: [ 48 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) 1)))>
6.364 * * * * [progress]: [ 49 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) 1)))>
6.364 * * * * [progress]: [ 50 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (expm1 (* a x)) 3)))>
6.364 * * * * [progress]: [ 51 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (expm1 (* a x)) (+ (+ 1 1) 1))))>
6.365 * * * * [progress]: [ 52 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (expm1 (* a x)) (+ 2 1))))>
6.365 * * * * [progress]: [ 53 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (expm1 (* a x)) (+ (+ 1 1) 1))))>
6.365 * * * * [progress]: [ 54 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (expm1 (* a x)) (+ (* 2 1) 1))))>
6.365 * * * * [progress]: [ 55 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) 1)))>
6.365 * * * * [progress]: [ 56 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (exp (+ (+ (log (expm1 (* a x))) (log (expm1 (* a x)))) (log (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 57 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (exp (+ (log (* (expm1 (* a x)) (expm1 (* a x)))) (log (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 58 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (exp (log (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 59 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (log (exp (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 60 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (cbrt (* (* (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 61 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (cbrt (* (* (* (* (expm1 (* a x)) (expm1 (* a x))) (* (expm1 (* a x)) (expm1 (* a x)))) (* (expm1 (* a x)) (expm1 (* a x)))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 62 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 63 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (cbrt (* (* (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 64 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (sqrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) (sqrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 65 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* 1 (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))))>
6.365 * * * * [progress]: [ 66 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (sqrt (expm1 (* a x)))) (* (expm1 (* a x)) (sqrt (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 67 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* (expm1 (* a x)) (expm1 (* a x))) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))) (cbrt (expm1 (* a x))))))>
6.365 * * * * [progress]: [ 68 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* (expm1 (* a x)) (expm1 (* a x))) (sqrt (expm1 (* a x)))) (sqrt (expm1 (* a x))))))>
6.365 * * * * [progress]: [ 69 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (* (expm1 (* a x)) (expm1 (* a x))) 1) (expm1 (* a x)))))>
6.365 * * * * [progress]: [ 70 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))))>
6.365 * * * * [progress]: [ 71 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (posit16->real (real->posit16 (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 72 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))))>
6.365 * * * * [progress]: [ 73 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (- (exp (* a x)) 1))))>
6.365 * * * * [progress]: [ 74 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (log1p (expm1 (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 75 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (log1p (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 76 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))>
6.365 * * * * [progress]: [ 77 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (pow (expm1 (* a x)) 1))))>
6.365 * * * * [progress]: [ 78 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (exp (log (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 79 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (log (exp (expm1 (* a x)))))))>
6.365 * * * * [progress]: [ 80 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (* (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (cbrt (expm1 (* a x)))))))>
6.366 * * * * [progress]: [ 81 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
6.366 * * * * [progress]: [ 82 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x)))))))>
6.366 * * * * [progress]: [ 83 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (* 1 (expm1 (* a x))))))>
6.366 * * * * [progress]: [ 84 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (posit16->real (real->posit16 (expm1 (* a x)))))))>
6.366 * * * * [progress]: [ 85 / 96 ] simplifiying candidate #<alt (λ (a x) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))))>
6.366 * * * * [progress]: [ 86 / 96 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
6.366 * * * * [progress]: [ 87 / 96 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
6.366 * * * * [progress]: [ 88 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (+ (* 7/12 (* (pow a 4) (pow x 4))) (+ (* (pow a 3) (pow x 3)) (* (pow a 2) (pow x 2)))) (expm1 (* a x)))))>
6.366 * * * * [progress]: [ 89 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (pow (- (exp (* a x)) 1) 2) (expm1 (* a x)))))>
6.366 * * * * [progress]: [ 90 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (pow (- (exp (* a x)) 1) 2) (expm1 (* a x)))))>
6.366 * * * * [progress]: [ 91 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (+ (* 3/2 (* (pow a 4) (pow x 4))) (+ (* 5/4 (* (pow a 5) (pow x 5))) (* (pow a 3) (pow x 3))))))>
6.366 * * * * [progress]: [ 92 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1) 3)))>
6.366 * * * * [progress]: [ 93 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (pow (- (exp (* a x)) 1) 3)))>
6.366 * * * * [progress]: [ 94 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))))))>
6.366 * * * * [progress]: [ 95 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (- (exp (* a x)) 1))))>
6.366 * * * * [progress]: [ 96 / 96 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (- (exp (* a x)) 1))))>
6.367 * [simplify]: Simplifying:
  (expm1 (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))
  (log1p (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))
  (log (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))
  (exp (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))
  (cbrt (* (expm1 (* a x)) (expm1 (* a x))))
  (cbrt (expm1 (* a x)))
  (* (cbrt (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))) (cbrt (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))))
  (cbrt (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))
  (* (* (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))
  (sqrt (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))
  (sqrt (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))
  (real->posit16 (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))
  (expm1 (* (expm1 (* a x)) (expm1 (* a x))))
  (log1p (* (expm1 (* a x)) (expm1 (* a x))))
  (+ 1 1)
  (* (expm1 (* a x)) (expm1 (* a x)))
  (+ 1 1)
  (+ (log (expm1 (* a x))) (log (expm1 (* a x))))
  (log (* (expm1 (* a x)) (expm1 (* a x))))
  (exp (* (expm1 (* a x)) (expm1 (* a x))))
  (* (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (* (cbrt (* (expm1 (* a x)) (expm1 (* a x)))) (cbrt (* (expm1 (* a x)) (expm1 (* a x)))))
  (cbrt (* (expm1 (* a x)) (expm1 (* a x))))
  (* (* (* (expm1 (* a x)) (expm1 (* a x))) (* (expm1 (* a x)) (expm1 (* a x)))) (* (expm1 (* a x)) (expm1 (* a x))))
  (sqrt (* (expm1 (* a x)) (expm1 (* a x))))
  (sqrt (* (expm1 (* a x)) (expm1 (* a x))))
  (* (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))))
  (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))
  (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x))))
  (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x))))
  (* 1 1)
  (* (expm1 (* a x)) (expm1 (* a x)))
  (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x))))
  (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x))))
  (* 2 1)
  (* (expm1 (* a x)) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))))
  (* (expm1 (* a x)) (sqrt (expm1 (* a x))))
  (* (expm1 (* a x)) 1)
  (* (cbrt (expm1 (* a x))) (expm1 (* a x)))
  (* (sqrt (expm1 (* a x))) (expm1 (* a x)))
  (* (expm1 (* a x)) (expm1 (* a x)))
  (real->posit16 (* (expm1 (* a x)) (expm1 (* a x))))
  (expm1 (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (log1p (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))
  (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (+ (+ (log (expm1 (* a x))) (log (expm1 (* a x)))) (log (expm1 (* a x))))
  (+ (log (* (expm1 (* a x)) (expm1 (* a x)))) (log (expm1 (* a x))))
  (log (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (exp (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (* (* (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (* (* (* (* (expm1 (* a x)) (expm1 (* a x))) (* (expm1 (* a x)) (expm1 (* a x)))) (* (expm1 (* a x)) (expm1 (* a x)))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (* (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))
  (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (* (* (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (sqrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (sqrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (* (expm1 (* a x)) (sqrt (expm1 (* a x))))
  (* (expm1 (* a x)) (sqrt (expm1 (* a x))))
  (* (* (expm1 (* a x)) (expm1 (* a x))) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))))
  (* (* (expm1 (* a x)) (expm1 (* a x))) (sqrt (expm1 (* a x))))
  (* (* (expm1 (* a x)) (expm1 (* a x))) 1)
  (* (expm1 (* a x)) (expm1 (* a x)))
  (real->posit16 (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))))
  (exp (* a x))
  (expm1 (expm1 (* a x)))
  (log1p (expm1 (* a x)))
  (log (expm1 (* a x)))
  (exp (expm1 (* a x)))
  (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))
  (cbrt (expm1 (* a x)))
  (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))
  (sqrt (expm1 (* a x)))
  (sqrt (expm1 (* a x)))
  (real->posit16 (expm1 (* a x)))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
  (- (exp (* a x)) 1)
  (- (exp (* a x)) 1)
  (+ (* 7/12 (* (pow a 4) (pow x 4))) (+ (* (pow a 3) (pow x 3)) (* (pow a 2) (pow x 2))))
  (pow (- (exp (* a x)) 1) 2)
  (pow (- (exp (* a x)) 1) 2)
  (+ (* 3/2 (* (pow a 4) (pow x 4))) (+ (* 5/4 (* (pow a 5) (pow x 5))) (* (pow a 3) (pow x 3))))
  (pow (- (exp (* a x)) 1) 3)
  (pow (- (exp (* a x)) 1) 3)
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
  (- (exp (* a x)) 1)
  (- (exp (* a x)) 1)
6.368 * * [simplify]: iteration 0: 100 enodes
6.403 * * [simplify]: iteration 1: 271 enodes
6.503 * * [simplify]: iteration 2: 729 enodes
6.916 * * [simplify]: iteration 3: 2208 enodes
7.848 * * [simplify]: iteration complete: 5000 enodes
7.848 * * [simplify]: Extracting #0: cost 39 inf + 0
7.851 * * [simplify]: Extracting #1: cost 665 inf + 3
7.862 * * [simplify]: Extracting #2: cost 1499 inf + 3873
7.894 * * [simplify]: Extracting #3: cost 1342 inf + 64403
7.977 * * [simplify]: Extracting #4: cost 505 inf + 353442
8.079 * * [simplify]: Extracting #5: cost 62 inf + 513679
8.197 * * [simplify]: Extracting #6: cost 5 inf + 528808
8.314 * * [simplify]: Extracting #7: cost 0 inf + 530284
8.441 * [simplify]: Simplified to:
  (expm1 (expm1 (* a x)))
  (* a x)
  (log (expm1 (* a x)))
  (exp (expm1 (* a x)))
  (cbrt (* (expm1 (* a x)) (expm1 (* a x))))
  (cbrt (expm1 (* a x)))
  (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))
  (cbrt (expm1 (* a x)))
  (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))
  (sqrt (expm1 (* a x)))
  (sqrt (expm1 (* a x)))
  (real->posit16 (expm1 (* a x)))
  (expm1 (* (expm1 (* a x)) (expm1 (* a x))))
  (log1p (* (expm1 (* a x)) (expm1 (* a x))))
  2
  (* (expm1 (* a x)) (expm1 (* a x)))
  2
  (log (* (expm1 (* a x)) (expm1 (* a x))))
  (log (* (expm1 (* a x)) (expm1 (* a x))))
  (exp (* (expm1 (* a x)) (expm1 (* a x))))
  (* (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))) (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))))
  (* (cbrt (* (expm1 (* a x)) (expm1 (* a x)))) (cbrt (* (expm1 (* a x)) (expm1 (* a x)))))
  (cbrt (* (expm1 (* a x)) (expm1 (* a x))))
  (* (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))) (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))))
  (fabs (expm1 (* a x)))
  (fabs (expm1 (* a x)))
  (* (expm1 (* a x)) (cbrt (expm1 (* a x))))
  (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))
  (expm1 (* a x))
  (expm1 (* a x))
  1
  (* (expm1 (* a x)) (expm1 (* a x)))
  (expm1 (* a x))
  (expm1 (* a x))
  2
  (* (expm1 (* a x)) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))))
  (* (expm1 (* a x)) (sqrt (expm1 (* a x))))
  (expm1 (* a x))
  (* (expm1 (* a x)) (cbrt (expm1 (* a x))))
  (* (expm1 (* a x)) (sqrt (expm1 (* a x))))
  (* (expm1 (* a x)) (expm1 (* a x)))
  (real->posit16 (* (expm1 (* a x)) (expm1 (* a x))))
  (expm1 (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))))
  (log1p (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))))
  3
  3
  3
  3
  (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))
  (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))
  3
  3
  3
  3
  (* 3 (log (expm1 (* a x))))
  (* 3 (log (expm1 (* a x))))
  (* 3 (log (expm1 (* a x))))
  (exp (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))))
  (* (* (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))) (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))) (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))))
  (* (* (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))) (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))) (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))))
  (* (expm1 (* a x)) (expm1 (* a x)))
  (expm1 (* a x))
  (* (* (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))) (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))) (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))))
  (sqrt (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))))
  (sqrt (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))))
  (* (expm1 (* a x)) (sqrt (expm1 (* a x))))
  (* (expm1 (* a x)) (sqrt (expm1 (* a x))))
  (* (* (cbrt (expm1 (* a x))) (expm1 (* a x))) (* (cbrt (expm1 (* a x))) (expm1 (* a x))))
  (* (* (expm1 (* a x)) (sqrt (expm1 (* a x)))) (expm1 (* a x)))
  (* (expm1 (* a x)) (expm1 (* a x)))
  (* (expm1 (* a x)) (expm1 (* a x)))
  (real->posit16 (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x)))))
  (exp (* a x))
  (expm1 (expm1 (* a x)))
  (* a x)
  (log (expm1 (* a x)))
  (exp (expm1 (* a x)))
  (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))
  (cbrt (expm1 (* a x)))
  (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))
  (sqrt (expm1 (* a x)))
  (sqrt (expm1 (* a x)))
  (real->posit16 (expm1 (* a x)))
  (fma 1/2 (* (* a x) (* a x)) (* x (fma (* 1/6 a) (* (* a x) (* a x)) a)))
  (expm1 (* a x))
  (expm1 (* a x))
  (fma a (* (* (* a x) (* a x)) x) (fma (* 7/12 (* (* a x) (* a x))) (* (* a x) (* a x)) (* (* a x) (* a x))))
  (* (expm1 (* a x)) (expm1 (* a x)))
  (* (expm1 (* a x)) (expm1 (* a x)))
  (fma (* (pow x 5) 5/4) (pow a 5) (fma (* 3/2 (* (* a x) (* a x))) (* (* a x) (* a x)) (* (* a (* (* a x) (* a x))) x)))
  (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))
  (* (expm1 (* a x)) (* (expm1 (* a x)) (expm1 (* a x))))
  (fma 1/2 (* (* a x) (* a x)) (* x (fma (* 1/6 a) (* (* a x) (* a x)) a)))
  (expm1 (* a x))
  (expm1 (* a x))
8.448 * * * [progress]: adding candidates to table
8.788 * [progress]: [Phase 3 of 3] Extracting.
8.788 * * [regime]: Finding splitpoints for: (#<alt (λ (a x) (expm1 (* a x)))> #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))>)
8.788 * * * [regime-changes]: Trying 3 branch expressions: ((* a x) x a)
8.788 * * * * [regimes]: Trying to branch on (* a x) from (#<alt (λ (a x) (expm1 (* a x)))> #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))>)
8.832 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x) (expm1 (* a x)))> #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))>)
8.856 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x) (expm1 (* a x)))> #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))>)
8.877 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
8.878 * [simplify]: Simplifying:
  (expm1 (* a x))
8.878 * * [simplify]: iteration 0: 4 enodes
8.878 * * [simplify]: iteration 1: 5 enodes
8.878 * * [simplify]: iteration complete: 5 enodes
8.878 * * [simplify]: Extracting #0: cost 1 inf + 0
8.878 * * [simplify]: Extracting #1: cost 2 inf + 0
8.878 * * [simplify]: Extracting #2: cost 4 inf + 0
8.878 * * [simplify]: Extracting #3: cost 2 inf + 2
8.878 * * [simplify]: Extracting #4: cost 0 inf + 156
8.878 * [simplify]: Simplified to:
  (expm1 (* a x))
11.123 * [regime-testing]: Baseline error score: 0.023041796746480332
11.127 * [regime-testing]: Oracle error score: 0.019708213058871236
11.136 * [regime-testing]: End program error score: 0.023041796746480332
11.252 * [regime-testing]: Target error score: 0.20169730024133892