42.064 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.100 * * * [progress]: [2/2] Setting up program. 0.104 * [progress]: [Phase 2 of 3] Improving. 0.105 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.105 * [simplify]: Simplifying: (- (exp (* a x)) 1) 0.105 * * [simplify]: iteration 1: (6 enodes) 0.108 * * [simplify]: iteration 2: (13 enodes) 0.111 * * [simplify]: iteration 3: (17 enodes) 0.116 * * [simplify]: iteration 4: (29 enodes) 0.125 * * [simplify]: iteration 5: (58 enodes) 0.139 * * [simplify]: iteration 6: (143 enodes) 0.226 * * [simplify]: iteration 7: (393 enodes) 0.566 * * [simplify]: iteration 8: (1361 enodes) 7.575 * * [simplify]: Extracting #0: cost 1 inf + 0 7.576 * * [simplify]: Extracting #1: cost 186 inf + 0 7.582 * * [simplify]: Extracting #2: cost 1099 inf + 2 7.592 * * [simplify]: Extracting #3: cost 1247 inf + 1106 7.615 * * [simplify]: Extracting #4: cost 1139 inf + 56217 7.749 * * [simplify]: Extracting #5: cost 395 inf + 617295 8.004 * * [simplify]: Extracting #6: cost 8 inf + 888498 8.325 * * [simplify]: Extracting #7: cost 0 inf + 863458 8.627 * * [simplify]: Extracting #8: cost 0 inf + 860168 9.010 * * [simplify]: Extracting #9: cost 0 inf + 859507 9.352 * * [simplify]: Extracting #10: cost 0 inf + 859395 9.693 * [simplify]: Simplified to: (expm1 (* a x)) 9.698 * * [progress]: iteration 1 / 4 9.698 * * * [progress]: picking best candidate 9.699 * * * * [pick]: Picked # 9.700 * * * [progress]: localizing error 9.705 * * * [progress]: generating rewritten candidates 9.705 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 9.706 * * * [progress]: generating series expansions 9.706 * * * * [progress]: [ 1 / 1 ] generating series at (2) 9.706 * [backup-simplify]: Simplify (expm1 (* a x)) into (expm1 (* a x)) 9.706 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 9.706 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 9.706 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 9.706 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 9.706 * [taylor]: Taking taylor expansion of (* a x) in x 9.706 * [taylor]: Taking taylor expansion of a in x 9.706 * [backup-simplify]: Simplify a into a 9.706 * [taylor]: Taking taylor expansion of x in x 9.706 * [backup-simplify]: Simplify 0 into 0 9.706 * [backup-simplify]: Simplify 1 into 1 9.706 * [backup-simplify]: Simplify (* a 0) into 0 9.707 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 9.707 * [backup-simplify]: Simplify (exp 0) into 1 9.707 * [taylor]: Taking taylor expansion of 1 in x 9.707 * [backup-simplify]: Simplify 1 into 1 9.707 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 9.707 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 9.707 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.707 * [taylor]: Taking taylor expansion of (* a x) in a 9.707 * [taylor]: Taking taylor expansion of a in a 9.707 * [backup-simplify]: Simplify 0 into 0 9.707 * [backup-simplify]: Simplify 1 into 1 9.707 * [taylor]: Taking taylor expansion of x in a 9.707 * [backup-simplify]: Simplify x into x 9.707 * [backup-simplify]: Simplify (* 0 x) into 0 9.707 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.707 * [backup-simplify]: Simplify (exp 0) into 1 9.707 * [taylor]: Taking taylor expansion of 1 in a 9.707 * [backup-simplify]: Simplify 1 into 1 9.707 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 9.707 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 9.708 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 9.708 * [taylor]: Taking taylor expansion of (* a x) in a 9.708 * [taylor]: Taking taylor expansion of a in a 9.708 * [backup-simplify]: Simplify 0 into 0 9.708 * [backup-simplify]: Simplify 1 into 1 9.708 * [taylor]: Taking taylor expansion of x in a 9.708 * [backup-simplify]: Simplify x into x 9.708 * [backup-simplify]: Simplify (* 0 x) into 0 9.708 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.708 * [backup-simplify]: Simplify (exp 0) into 1 9.708 * [taylor]: Taking taylor expansion of 1 in a 9.708 * [backup-simplify]: Simplify 1 into 1 9.708 * [backup-simplify]: Simplify (- 1) into -1 9.709 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.709 * [taylor]: Taking taylor expansion of 0 in x 9.709 * [backup-simplify]: Simplify 0 into 0 9.709 * [backup-simplify]: Simplify 0 into 0 9.709 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 9.709 * [backup-simplify]: Simplify (- 0) into 0 9.709 * [backup-simplify]: Simplify (+ x 0) into x 9.709 * [taylor]: Taking taylor expansion of x in x 9.709 * [backup-simplify]: Simplify 0 into 0 9.709 * [backup-simplify]: Simplify 1 into 1 9.709 * [backup-simplify]: Simplify 0 into 0 9.709 * [backup-simplify]: Simplify 0 into 0 9.710 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 9.710 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 9.710 * [backup-simplify]: Simplify (- 0) into 0 9.710 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 9.710 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 9.711 * [taylor]: Taking taylor expansion of 1/2 in x 9.711 * [backup-simplify]: Simplify 1/2 into 1/2 9.711 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.711 * [taylor]: Taking taylor expansion of x in x 9.711 * [backup-simplify]: Simplify 0 into 0 9.711 * [backup-simplify]: Simplify 1 into 1 9.711 * [backup-simplify]: Simplify 1 into 1 9.711 * [backup-simplify]: Simplify 0 into 0 9.711 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 9.712 * [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)) 9.712 * [backup-simplify]: Simplify (- 0) into 0 9.713 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 9.713 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 9.713 * [taylor]: Taking taylor expansion of 1/6 in x 9.713 * [backup-simplify]: Simplify 1/6 into 1/6 9.713 * [taylor]: Taking taylor expansion of (pow x 3) in x 9.713 * [taylor]: Taking taylor expansion of x in x 9.713 * [backup-simplify]: Simplify 0 into 0 9.713 * [backup-simplify]: Simplify 1 into 1 9.713 * [backup-simplify]: Simplify 0 into 0 9.713 * [backup-simplify]: Simplify 0 into 0 9.714 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 9.715 * [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)) 9.716 * [backup-simplify]: Simplify (- 0) into 0 9.716 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 9.716 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 9.716 * [taylor]: Taking taylor expansion of 1/24 in x 9.716 * [backup-simplify]: Simplify 1/24 into 1/24 9.716 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.716 * [taylor]: Taking taylor expansion of x in x 9.716 * [backup-simplify]: Simplify 0 into 0 9.716 * [backup-simplify]: Simplify 1 into 1 9.716 * [backup-simplify]: Simplify (* 1 1) into 1 9.716 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 9.716 * [backup-simplify]: Simplify 1/2 into 1/2 9.717 * [backup-simplify]: Simplify 0 into 0 9.717 * [backup-simplify]: Simplify 0 into 0 9.718 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 9.722 * [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)) 9.723 * [backup-simplify]: Simplify (- 0) into 0 9.723 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 9.723 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 9.723 * [taylor]: Taking taylor expansion of 1/120 in x 9.723 * [backup-simplify]: Simplify 1/120 into 1/120 9.723 * [taylor]: Taking taylor expansion of (pow x 5) in x 9.723 * [taylor]: Taking taylor expansion of x in x 9.723 * [backup-simplify]: Simplify 0 into 0 9.723 * [backup-simplify]: Simplify 1 into 1 9.724 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.725 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 9.725 * [backup-simplify]: Simplify 0 into 0 9.725 * [backup-simplify]: Simplify 0 into 0 9.725 * [backup-simplify]: Simplify 0 into 0 9.727 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 9.734 * [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)) 9.734 * [backup-simplify]: Simplify (- 0) into 0 9.734 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 9.734 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 9.734 * [taylor]: Taking taylor expansion of 1/720 in x 9.734 * [backup-simplify]: Simplify 1/720 into 1/720 9.734 * [taylor]: Taking taylor expansion of (pow x 6) in x 9.734 * [taylor]: Taking taylor expansion of x in x 9.734 * [backup-simplify]: Simplify 0 into 0 9.734 * [backup-simplify]: Simplify 1 into 1 9.735 * [backup-simplify]: Simplify (* 1 1) into 1 9.735 * [backup-simplify]: Simplify (* 1 1) into 1 9.736 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 9.736 * [backup-simplify]: Simplify 1/6 into 1/6 9.736 * [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))))) 9.736 * [backup-simplify]: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x))) 9.736 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 9.736 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 9.736 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.736 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.737 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.737 * [taylor]: Taking taylor expansion of (* a x) in x 9.737 * [taylor]: Taking taylor expansion of a in x 9.737 * [backup-simplify]: Simplify a into a 9.737 * [taylor]: Taking taylor expansion of x in x 9.737 * [backup-simplify]: Simplify 0 into 0 9.737 * [backup-simplify]: Simplify 1 into 1 9.737 * [backup-simplify]: Simplify (* a 0) into 0 9.737 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 9.737 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.737 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.737 * [taylor]: Taking taylor expansion of 1 in x 9.737 * [backup-simplify]: Simplify 1 into 1 9.737 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 9.737 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.737 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.738 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.738 * [taylor]: Taking taylor expansion of (* a x) in a 9.738 * [taylor]: Taking taylor expansion of a in a 9.738 * [backup-simplify]: Simplify 0 into 0 9.738 * [backup-simplify]: Simplify 1 into 1 9.738 * [taylor]: Taking taylor expansion of x in a 9.738 * [backup-simplify]: Simplify x into x 9.738 * [backup-simplify]: Simplify (* 0 x) into 0 9.738 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.738 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.738 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.738 * [taylor]: Taking taylor expansion of 1 in a 9.738 * [backup-simplify]: Simplify 1 into 1 9.738 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 9.738 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.738 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.739 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.739 * [taylor]: Taking taylor expansion of (* a x) in a 9.739 * [taylor]: Taking taylor expansion of a in a 9.739 * [backup-simplify]: Simplify 0 into 0 9.739 * [backup-simplify]: Simplify 1 into 1 9.739 * [taylor]: Taking taylor expansion of x in a 9.739 * [backup-simplify]: Simplify x into x 9.739 * [backup-simplify]: Simplify (* 0 x) into 0 9.739 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.739 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.739 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.739 * [taylor]: Taking taylor expansion of 1 in a 9.739 * [backup-simplify]: Simplify 1 into 1 9.740 * [backup-simplify]: Simplify (- 1) into -1 9.740 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 9.740 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 9.740 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.740 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.740 * [taylor]: Taking taylor expansion of (* a x) in x 9.740 * [taylor]: Taking taylor expansion of a in x 9.740 * [backup-simplify]: Simplify a into a 9.740 * [taylor]: Taking taylor expansion of x in x 9.740 * [backup-simplify]: Simplify 0 into 0 9.740 * [backup-simplify]: Simplify 1 into 1 9.740 * [backup-simplify]: Simplify (* a 0) into 0 9.741 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 9.741 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.741 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.741 * [taylor]: Taking taylor expansion of 1 in x 9.741 * [backup-simplify]: Simplify 1 into 1 9.741 * [backup-simplify]: Simplify (- 1) into -1 9.741 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 9.742 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 9.742 * [backup-simplify]: Simplify (- 0) into 0 9.742 * [backup-simplify]: Simplify (+ 0 0) into 0 9.742 * [taylor]: Taking taylor expansion of 0 in x 9.742 * [backup-simplify]: Simplify 0 into 0 9.742 * [backup-simplify]: Simplify 0 into 0 9.743 * [backup-simplify]: Simplify (- 0) into 0 9.743 * [backup-simplify]: Simplify (+ 0 0) into 0 9.743 * [backup-simplify]: Simplify 0 into 0 9.743 * [backup-simplify]: Simplify (- 0) into 0 9.744 * [backup-simplify]: Simplify (+ 0 0) into 0 9.744 * [taylor]: Taking taylor expansion of 0 in x 9.744 * [backup-simplify]: Simplify 0 into 0 9.744 * [backup-simplify]: Simplify 0 into 0 9.744 * [backup-simplify]: Simplify 0 into 0 9.744 * [backup-simplify]: Simplify (- 0) into 0 9.745 * [backup-simplify]: Simplify (+ 0 0) into 0 9.745 * [backup-simplify]: Simplify 0 into 0 9.745 * [backup-simplify]: Simplify (- 0) into 0 9.745 * [backup-simplify]: Simplify (+ 0 0) into 0 9.745 * [taylor]: Taking taylor expansion of 0 in x 9.746 * [backup-simplify]: Simplify 0 into 0 9.746 * [backup-simplify]: Simplify 0 into 0 9.746 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 9.746 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x))) 9.746 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 9.746 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 9.746 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.746 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.746 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.746 * [taylor]: Taking taylor expansion of (* a x) in x 9.746 * [taylor]: Taking taylor expansion of a in x 9.746 * [backup-simplify]: Simplify a into a 9.746 * [taylor]: Taking taylor expansion of x in x 9.746 * [backup-simplify]: Simplify 0 into 0 9.746 * [backup-simplify]: Simplify 1 into 1 9.746 * [backup-simplify]: Simplify (* a 0) into 0 9.747 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 9.747 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.747 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.747 * [taylor]: Taking taylor expansion of 1 in x 9.747 * [backup-simplify]: Simplify 1 into 1 9.747 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 9.747 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.747 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.747 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.747 * [taylor]: Taking taylor expansion of (* a x) in a 9.747 * [taylor]: Taking taylor expansion of a in a 9.747 * [backup-simplify]: Simplify 0 into 0 9.747 * [backup-simplify]: Simplify 1 into 1 9.747 * [taylor]: Taking taylor expansion of x in a 9.748 * [backup-simplify]: Simplify x into x 9.748 * [backup-simplify]: Simplify (* 0 x) into 0 9.748 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.748 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.748 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.748 * [taylor]: Taking taylor expansion of 1 in a 9.748 * [backup-simplify]: Simplify 1 into 1 9.748 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 9.748 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 9.748 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 9.748 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 9.748 * [taylor]: Taking taylor expansion of (* a x) in a 9.748 * [taylor]: Taking taylor expansion of a in a 9.748 * [backup-simplify]: Simplify 0 into 0 9.748 * [backup-simplify]: Simplify 1 into 1 9.748 * [taylor]: Taking taylor expansion of x in a 9.749 * [backup-simplify]: Simplify x into x 9.749 * [backup-simplify]: Simplify (* 0 x) into 0 9.749 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 9.749 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.749 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.749 * [taylor]: Taking taylor expansion of 1 in a 9.749 * [backup-simplify]: Simplify 1 into 1 9.750 * [backup-simplify]: Simplify (- 1) into -1 9.750 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 9.750 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 9.750 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 9.750 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 9.750 * [taylor]: Taking taylor expansion of (* a x) in x 9.750 * [taylor]: Taking taylor expansion of a in x 9.750 * [backup-simplify]: Simplify a into a 9.750 * [taylor]: Taking taylor expansion of x in x 9.750 * [backup-simplify]: Simplify 0 into 0 9.750 * [backup-simplify]: Simplify 1 into 1 9.750 * [backup-simplify]: Simplify (* a 0) into 0 9.751 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 9.751 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 9.751 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 9.751 * [taylor]: Taking taylor expansion of 1 in x 9.751 * [backup-simplify]: Simplify 1 into 1 9.751 * [backup-simplify]: Simplify (- 1) into -1 9.751 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 9.751 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 9.752 * [backup-simplify]: Simplify (- 0) into 0 9.752 * [backup-simplify]: Simplify (+ 0 0) into 0 9.752 * [taylor]: Taking taylor expansion of 0 in x 9.752 * [backup-simplify]: Simplify 0 into 0 9.752 * [backup-simplify]: Simplify 0 into 0 9.753 * [backup-simplify]: Simplify (- 0) into 0 9.753 * [backup-simplify]: Simplify (+ 0 0) into 0 9.753 * [backup-simplify]: Simplify 0 into 0 9.753 * [backup-simplify]: Simplify (- 0) into 0 9.754 * [backup-simplify]: Simplify (+ 0 0) into 0 9.754 * [taylor]: Taking taylor expansion of 0 in x 9.754 * [backup-simplify]: Simplify 0 into 0 9.754 * [backup-simplify]: Simplify 0 into 0 9.754 * [backup-simplify]: Simplify 0 into 0 9.754 * [backup-simplify]: Simplify (- 0) into 0 9.754 * [backup-simplify]: Simplify (+ 0 0) into 0 9.754 * [backup-simplify]: Simplify 0 into 0 9.754 * [backup-simplify]: Simplify (- 0) into 0 9.755 * [backup-simplify]: Simplify (+ 0 0) into 0 9.755 * [taylor]: Taking taylor expansion of 0 in x 9.755 * [backup-simplify]: Simplify 0 into 0 9.755 * [backup-simplify]: Simplify 0 into 0 9.755 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 9.755 * * * [progress]: simplifying candidates 9.755 * * * * [progress]: [ 1 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 2 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 3 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 4 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 5 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 6 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 7 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 8 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 9 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 10 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 11 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #real (real->posit16 (expm1 (* a x)))))> 9.755 * * * * [progress]: [ 13 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 14 / 15 ] simplifiying candidate # 9.755 * * * * [progress]: [ 15 / 15 ] simplifiying candidate # 9.756 * [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) 9.756 * * [simplify]: iteration 1: (31 enodes) 9.762 * * [simplify]: iteration 2: (72 enodes) 9.783 * * [simplify]: iteration 3: (220 enodes) 9.882 * * [simplify]: iteration 4: (788 enodes) 10.819 * * [simplify]: Extracting #0: cost 12 inf + 0 10.820 * * [simplify]: Extracting #1: cost 116 inf + 0 10.823 * * [simplify]: Extracting #2: cost 415 inf + 1608 10.834 * * [simplify]: Extracting #3: cost 333 inf + 18206 10.861 * * [simplify]: Extracting #4: cost 108 inf + 92726 10.899 * * [simplify]: Extracting #5: cost 10 inf + 142056 10.939 * * [simplify]: Extracting #6: cost 0 inf + 146061 10.977 * [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)) 10.977 * * * [progress]: adding candidates to table 11.020 * * [progress]: iteration 2 / 4 11.020 * * * [progress]: picking best candidate 11.028 * * * * [pick]: Picked # 11.028 * * * [progress]: localizing error 11.043 * * * [progress]: generating rewritten candidates 11.043 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 11.046 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 11.047 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 11.049 * * * [progress]: generating series expansions 11.049 * * * * [progress]: [ 1 / 3 ] generating series at (2) 11.049 * [backup-simplify]: Simplify (log (exp (expm1 (* a x)))) into (expm1 (* a x)) 11.049 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 11.049 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 11.049 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 11.049 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 11.049 * [taylor]: Taking taylor expansion of (* a x) in x 11.049 * [taylor]: Taking taylor expansion of a in x 11.049 * [backup-simplify]: Simplify a into a 11.049 * [taylor]: Taking taylor expansion of x in x 11.049 * [backup-simplify]: Simplify 0 into 0 11.049 * [backup-simplify]: Simplify 1 into 1 11.049 * [backup-simplify]: Simplify (* a 0) into 0 11.050 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.050 * [backup-simplify]: Simplify (exp 0) into 1 11.050 * [taylor]: Taking taylor expansion of 1 in x 11.050 * [backup-simplify]: Simplify 1 into 1 11.050 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 11.050 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 11.050 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 11.050 * [taylor]: Taking taylor expansion of (* a x) in a 11.050 * [taylor]: Taking taylor expansion of a in a 11.050 * [backup-simplify]: Simplify 0 into 0 11.050 * [backup-simplify]: Simplify 1 into 1 11.050 * [taylor]: Taking taylor expansion of x in a 11.050 * [backup-simplify]: Simplify x into x 11.050 * [backup-simplify]: Simplify (* 0 x) into 0 11.050 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.050 * [backup-simplify]: Simplify (exp 0) into 1 11.050 * [taylor]: Taking taylor expansion of 1 in a 11.050 * [backup-simplify]: Simplify 1 into 1 11.050 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 11.050 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 11.050 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 11.050 * [taylor]: Taking taylor expansion of (* a x) in a 11.050 * [taylor]: Taking taylor expansion of a in a 11.050 * [backup-simplify]: Simplify 0 into 0 11.050 * [backup-simplify]: Simplify 1 into 1 11.050 * [taylor]: Taking taylor expansion of x in a 11.050 * [backup-simplify]: Simplify x into x 11.050 * [backup-simplify]: Simplify (* 0 x) into 0 11.051 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.051 * [backup-simplify]: Simplify (exp 0) into 1 11.051 * [taylor]: Taking taylor expansion of 1 in a 11.051 * [backup-simplify]: Simplify 1 into 1 11.051 * [backup-simplify]: Simplify (- 1) into -1 11.051 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.051 * [taylor]: Taking taylor expansion of 0 in x 11.051 * [backup-simplify]: Simplify 0 into 0 11.051 * [backup-simplify]: Simplify 0 into 0 11.051 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 11.052 * [backup-simplify]: Simplify (- 0) into 0 11.052 * [backup-simplify]: Simplify (+ x 0) into x 11.052 * [taylor]: Taking taylor expansion of x in x 11.052 * [backup-simplify]: Simplify 0 into 0 11.052 * [backup-simplify]: Simplify 1 into 1 11.052 * [backup-simplify]: Simplify 0 into 0 11.052 * [backup-simplify]: Simplify 0 into 0 11.053 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 11.053 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 11.053 * [backup-simplify]: Simplify (- 0) into 0 11.053 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 11.053 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 11.053 * [taylor]: Taking taylor expansion of 1/2 in x 11.053 * [backup-simplify]: Simplify 1/2 into 1/2 11.053 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.054 * [taylor]: Taking taylor expansion of x in x 11.054 * [backup-simplify]: Simplify 0 into 0 11.054 * [backup-simplify]: Simplify 1 into 1 11.054 * [backup-simplify]: Simplify 1 into 1 11.054 * [backup-simplify]: Simplify 0 into 0 11.054 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 11.055 * [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)) 11.055 * [backup-simplify]: Simplify (- 0) into 0 11.056 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 11.056 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 11.056 * [taylor]: Taking taylor expansion of 1/6 in x 11.056 * [backup-simplify]: Simplify 1/6 into 1/6 11.056 * [taylor]: Taking taylor expansion of (pow x 3) in x 11.056 * [taylor]: Taking taylor expansion of x in x 11.056 * [backup-simplify]: Simplify 0 into 0 11.056 * [backup-simplify]: Simplify 1 into 1 11.056 * [backup-simplify]: Simplify 0 into 0 11.056 * [backup-simplify]: Simplify 0 into 0 11.057 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 11.058 * [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)) 11.059 * [backup-simplify]: Simplify (- 0) into 0 11.059 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 11.059 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 11.059 * [taylor]: Taking taylor expansion of 1/24 in x 11.059 * [backup-simplify]: Simplify 1/24 into 1/24 11.059 * [taylor]: Taking taylor expansion of (pow x 4) in x 11.059 * [taylor]: Taking taylor expansion of x in x 11.059 * [backup-simplify]: Simplify 0 into 0 11.059 * [backup-simplify]: Simplify 1 into 1 11.059 * [backup-simplify]: Simplify (* 1 1) into 1 11.059 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 11.059 * [backup-simplify]: Simplify 1/2 into 1/2 11.059 * [backup-simplify]: Simplify 0 into 0 11.059 * [backup-simplify]: Simplify 0 into 0 11.061 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 11.063 * [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)) 11.063 * [backup-simplify]: Simplify (- 0) into 0 11.063 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 11.063 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 11.063 * [taylor]: Taking taylor expansion of 1/120 in x 11.063 * [backup-simplify]: Simplify 1/120 into 1/120 11.063 * [taylor]: Taking taylor expansion of (pow x 5) in x 11.063 * [taylor]: Taking taylor expansion of x in x 11.063 * [backup-simplify]: Simplify 0 into 0 11.063 * [backup-simplify]: Simplify 1 into 1 11.064 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.064 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 11.064 * [backup-simplify]: Simplify 0 into 0 11.064 * [backup-simplify]: Simplify 0 into 0 11.064 * [backup-simplify]: Simplify 0 into 0 11.066 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 11.070 * [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)) 11.071 * [backup-simplify]: Simplify (- 0) into 0 11.071 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 11.071 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 11.071 * [taylor]: Taking taylor expansion of 1/720 in x 11.071 * [backup-simplify]: Simplify 1/720 into 1/720 11.071 * [taylor]: Taking taylor expansion of (pow x 6) in x 11.071 * [taylor]: Taking taylor expansion of x in x 11.071 * [backup-simplify]: Simplify 0 into 0 11.071 * [backup-simplify]: Simplify 1 into 1 11.071 * [backup-simplify]: Simplify (* 1 1) into 1 11.072 * [backup-simplify]: Simplify (* 1 1) into 1 11.072 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 11.072 * [backup-simplify]: Simplify 1/6 into 1/6 11.073 * [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))))) 11.073 * [backup-simplify]: Simplify (log (exp (expm1 (* (/ 1 a) (/ 1 x))))) into (expm1 (/ 1 (* a x))) 11.073 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 11.073 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 11.073 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.073 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.073 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.073 * [taylor]: Taking taylor expansion of (* a x) in x 11.073 * [taylor]: Taking taylor expansion of a in x 11.073 * [backup-simplify]: Simplify a into a 11.073 * [taylor]: Taking taylor expansion of x in x 11.073 * [backup-simplify]: Simplify 0 into 0 11.073 * [backup-simplify]: Simplify 1 into 1 11.073 * [backup-simplify]: Simplify (* a 0) into 0 11.074 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.074 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.074 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.074 * [taylor]: Taking taylor expansion of 1 in x 11.074 * [backup-simplify]: Simplify 1 into 1 11.074 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.074 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.074 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.074 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.074 * [taylor]: Taking taylor expansion of (* a x) in a 11.074 * [taylor]: Taking taylor expansion of a in a 11.074 * [backup-simplify]: Simplify 0 into 0 11.074 * [backup-simplify]: Simplify 1 into 1 11.074 * [taylor]: Taking taylor expansion of x in a 11.074 * [backup-simplify]: Simplify x into x 11.074 * [backup-simplify]: Simplify (* 0 x) into 0 11.075 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.075 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.075 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.075 * [taylor]: Taking taylor expansion of 1 in a 11.075 * [backup-simplify]: Simplify 1 into 1 11.075 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.075 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.075 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.075 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.075 * [taylor]: Taking taylor expansion of (* a x) in a 11.075 * [taylor]: Taking taylor expansion of a in a 11.075 * [backup-simplify]: Simplify 0 into 0 11.075 * [backup-simplify]: Simplify 1 into 1 11.075 * [taylor]: Taking taylor expansion of x in a 11.075 * [backup-simplify]: Simplify x into x 11.075 * [backup-simplify]: Simplify (* 0 x) into 0 11.076 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.076 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.076 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.076 * [taylor]: Taking taylor expansion of 1 in a 11.076 * [backup-simplify]: Simplify 1 into 1 11.076 * [backup-simplify]: Simplify (- 1) into -1 11.076 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.076 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 11.076 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.076 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.076 * [taylor]: Taking taylor expansion of (* a x) in x 11.077 * [taylor]: Taking taylor expansion of a in x 11.077 * [backup-simplify]: Simplify a into a 11.077 * [taylor]: Taking taylor expansion of x in x 11.077 * [backup-simplify]: Simplify 0 into 0 11.077 * [backup-simplify]: Simplify 1 into 1 11.077 * [backup-simplify]: Simplify (* a 0) into 0 11.077 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.077 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.077 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.077 * [taylor]: Taking taylor expansion of 1 in x 11.077 * [backup-simplify]: Simplify 1 into 1 11.078 * [backup-simplify]: Simplify (- 1) into -1 11.078 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.078 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 11.078 * [backup-simplify]: Simplify (- 0) into 0 11.079 * [backup-simplify]: Simplify (+ 0 0) into 0 11.079 * [taylor]: Taking taylor expansion of 0 in x 11.079 * [backup-simplify]: Simplify 0 into 0 11.079 * [backup-simplify]: Simplify 0 into 0 11.079 * [backup-simplify]: Simplify (- 0) into 0 11.080 * [backup-simplify]: Simplify (+ 0 0) into 0 11.080 * [backup-simplify]: Simplify 0 into 0 11.080 * [backup-simplify]: Simplify (- 0) into 0 11.080 * [backup-simplify]: Simplify (+ 0 0) into 0 11.080 * [taylor]: Taking taylor expansion of 0 in x 11.080 * [backup-simplify]: Simplify 0 into 0 11.080 * [backup-simplify]: Simplify 0 into 0 11.080 * [backup-simplify]: Simplify 0 into 0 11.081 * [backup-simplify]: Simplify (- 0) into 0 11.081 * [backup-simplify]: Simplify (+ 0 0) into 0 11.081 * [backup-simplify]: Simplify 0 into 0 11.082 * [backup-simplify]: Simplify (- 0) into 0 11.082 * [backup-simplify]: Simplify (+ 0 0) into 0 11.082 * [taylor]: Taking taylor expansion of 0 in x 11.082 * [backup-simplify]: Simplify 0 into 0 11.082 * [backup-simplify]: Simplify 0 into 0 11.082 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 11.082 * [backup-simplify]: Simplify (log (exp (expm1 (* (/ 1 (- a)) (/ 1 (- x)))))) into (expm1 (/ 1 (* a x))) 11.083 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 11.083 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 11.083 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.083 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.083 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.083 * [taylor]: Taking taylor expansion of (* a x) in x 11.083 * [taylor]: Taking taylor expansion of a in x 11.083 * [backup-simplify]: Simplify a into a 11.083 * [taylor]: Taking taylor expansion of x in x 11.083 * [backup-simplify]: Simplify 0 into 0 11.083 * [backup-simplify]: Simplify 1 into 1 11.083 * [backup-simplify]: Simplify (* a 0) into 0 11.083 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.083 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.083 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.083 * [taylor]: Taking taylor expansion of 1 in x 11.083 * [backup-simplify]: Simplify 1 into 1 11.083 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.084 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.084 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.084 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.084 * [taylor]: Taking taylor expansion of (* a x) in a 11.084 * [taylor]: Taking taylor expansion of a in a 11.084 * [backup-simplify]: Simplify 0 into 0 11.084 * [backup-simplify]: Simplify 1 into 1 11.084 * [taylor]: Taking taylor expansion of x in a 11.084 * [backup-simplify]: Simplify x into x 11.084 * [backup-simplify]: Simplify (* 0 x) into 0 11.084 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.084 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.084 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.084 * [taylor]: Taking taylor expansion of 1 in a 11.084 * [backup-simplify]: Simplify 1 into 1 11.084 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.084 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.084 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.084 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.084 * [taylor]: Taking taylor expansion of (* a x) in a 11.085 * [taylor]: Taking taylor expansion of a in a 11.085 * [backup-simplify]: Simplify 0 into 0 11.085 * [backup-simplify]: Simplify 1 into 1 11.085 * [taylor]: Taking taylor expansion of x in a 11.085 * [backup-simplify]: Simplify x into x 11.085 * [backup-simplify]: Simplify (* 0 x) into 0 11.085 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.085 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.085 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.085 * [taylor]: Taking taylor expansion of 1 in a 11.085 * [backup-simplify]: Simplify 1 into 1 11.086 * [backup-simplify]: Simplify (- 1) into -1 11.086 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.086 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 11.086 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.086 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.086 * [taylor]: Taking taylor expansion of (* a x) in x 11.086 * [taylor]: Taking taylor expansion of a in x 11.086 * [backup-simplify]: Simplify a into a 11.086 * [taylor]: Taking taylor expansion of x in x 11.086 * [backup-simplify]: Simplify 0 into 0 11.086 * [backup-simplify]: Simplify 1 into 1 11.086 * [backup-simplify]: Simplify (* a 0) into 0 11.087 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.087 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.087 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.087 * [taylor]: Taking taylor expansion of 1 in x 11.087 * [backup-simplify]: Simplify 1 into 1 11.087 * [backup-simplify]: Simplify (- 1) into -1 11.087 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.087 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 11.088 * [backup-simplify]: Simplify (- 0) into 0 11.088 * [backup-simplify]: Simplify (+ 0 0) into 0 11.088 * [taylor]: Taking taylor expansion of 0 in x 11.088 * [backup-simplify]: Simplify 0 into 0 11.088 * [backup-simplify]: Simplify 0 into 0 11.089 * [backup-simplify]: Simplify (- 0) into 0 11.089 * [backup-simplify]: Simplify (+ 0 0) into 0 11.089 * [backup-simplify]: Simplify 0 into 0 11.089 * [backup-simplify]: Simplify (- 0) into 0 11.090 * [backup-simplify]: Simplify (+ 0 0) into 0 11.090 * [taylor]: Taking taylor expansion of 0 in x 11.090 * [backup-simplify]: Simplify 0 into 0 11.090 * [backup-simplify]: Simplify 0 into 0 11.090 * [backup-simplify]: Simplify 0 into 0 11.090 * [backup-simplify]: Simplify (- 0) into 0 11.091 * [backup-simplify]: Simplify (+ 0 0) into 0 11.091 * [backup-simplify]: Simplify 0 into 0 11.091 * [backup-simplify]: Simplify (- 0) into 0 11.091 * [backup-simplify]: Simplify (+ 0 0) into 0 11.091 * [taylor]: Taking taylor expansion of 0 in x 11.091 * [backup-simplify]: Simplify 0 into 0 11.091 * [backup-simplify]: Simplify 0 into 0 11.092 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 11.092 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 11.092 * [backup-simplify]: Simplify (expm1 (* a x)) into (expm1 (* a x)) 11.092 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 11.092 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 11.092 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 11.092 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 11.092 * [taylor]: Taking taylor expansion of (* a x) in x 11.092 * [taylor]: Taking taylor expansion of a in x 11.092 * [backup-simplify]: Simplify a into a 11.092 * [taylor]: Taking taylor expansion of x in x 11.092 * [backup-simplify]: Simplify 0 into 0 11.092 * [backup-simplify]: Simplify 1 into 1 11.092 * [backup-simplify]: Simplify (* a 0) into 0 11.092 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.093 * [backup-simplify]: Simplify (exp 0) into 1 11.093 * [taylor]: Taking taylor expansion of 1 in x 11.093 * [backup-simplify]: Simplify 1 into 1 11.093 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 11.093 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 11.093 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 11.093 * [taylor]: Taking taylor expansion of (* a x) in a 11.093 * [taylor]: Taking taylor expansion of a in a 11.093 * [backup-simplify]: Simplify 0 into 0 11.093 * [backup-simplify]: Simplify 1 into 1 11.093 * [taylor]: Taking taylor expansion of x in a 11.093 * [backup-simplify]: Simplify x into x 11.093 * [backup-simplify]: Simplify (* 0 x) into 0 11.093 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.093 * [backup-simplify]: Simplify (exp 0) into 1 11.093 * [taylor]: Taking taylor expansion of 1 in a 11.093 * [backup-simplify]: Simplify 1 into 1 11.093 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 11.093 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 11.093 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 11.093 * [taylor]: Taking taylor expansion of (* a x) in a 11.093 * [taylor]: Taking taylor expansion of a in a 11.093 * [backup-simplify]: Simplify 0 into 0 11.094 * [backup-simplify]: Simplify 1 into 1 11.094 * [taylor]: Taking taylor expansion of x in a 11.094 * [backup-simplify]: Simplify x into x 11.094 * [backup-simplify]: Simplify (* 0 x) into 0 11.094 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.094 * [backup-simplify]: Simplify (exp 0) into 1 11.094 * [taylor]: Taking taylor expansion of 1 in a 11.094 * [backup-simplify]: Simplify 1 into 1 11.094 * [backup-simplify]: Simplify (- 1) into -1 11.095 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.095 * [taylor]: Taking taylor expansion of 0 in x 11.095 * [backup-simplify]: Simplify 0 into 0 11.095 * [backup-simplify]: Simplify 0 into 0 11.095 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 11.095 * [backup-simplify]: Simplify (- 0) into 0 11.095 * [backup-simplify]: Simplify (+ x 0) into x 11.095 * [taylor]: Taking taylor expansion of x in x 11.095 * [backup-simplify]: Simplify 0 into 0 11.095 * [backup-simplify]: Simplify 1 into 1 11.096 * [backup-simplify]: Simplify 0 into 0 11.096 * [backup-simplify]: Simplify 0 into 0 11.096 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 11.097 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 11.098 * [backup-simplify]: Simplify (- 0) into 0 11.098 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 11.098 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 11.098 * [taylor]: Taking taylor expansion of 1/2 in x 11.098 * [backup-simplify]: Simplify 1/2 into 1/2 11.098 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.098 * [taylor]: Taking taylor expansion of x in x 11.098 * [backup-simplify]: Simplify 0 into 0 11.098 * [backup-simplify]: Simplify 1 into 1 11.098 * [backup-simplify]: Simplify 1 into 1 11.098 * [backup-simplify]: Simplify 0 into 0 11.099 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 11.101 * [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)) 11.102 * [backup-simplify]: Simplify (- 0) into 0 11.102 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 11.102 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 11.102 * [taylor]: Taking taylor expansion of 1/6 in x 11.102 * [backup-simplify]: Simplify 1/6 into 1/6 11.102 * [taylor]: Taking taylor expansion of (pow x 3) in x 11.102 * [taylor]: Taking taylor expansion of x in x 11.102 * [backup-simplify]: Simplify 0 into 0 11.102 * [backup-simplify]: Simplify 1 into 1 11.102 * [backup-simplify]: Simplify 0 into 0 11.102 * [backup-simplify]: Simplify 0 into 0 11.109 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 11.112 * [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)) 11.113 * [backup-simplify]: Simplify (- 0) into 0 11.113 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 11.113 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 11.113 * [taylor]: Taking taylor expansion of 1/24 in x 11.113 * [backup-simplify]: Simplify 1/24 into 1/24 11.113 * [taylor]: Taking taylor expansion of (pow x 4) in x 11.113 * [taylor]: Taking taylor expansion of x in x 11.113 * [backup-simplify]: Simplify 0 into 0 11.113 * [backup-simplify]: Simplify 1 into 1 11.114 * [backup-simplify]: Simplify (* 1 1) into 1 11.114 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 11.114 * [backup-simplify]: Simplify 1/2 into 1/2 11.114 * [backup-simplify]: Simplify 0 into 0 11.114 * [backup-simplify]: Simplify 0 into 0 11.116 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 11.120 * [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)) 11.121 * [backup-simplify]: Simplify (- 0) into 0 11.121 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 11.121 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 11.121 * [taylor]: Taking taylor expansion of 1/120 in x 11.121 * [backup-simplify]: Simplify 1/120 into 1/120 11.121 * [taylor]: Taking taylor expansion of (pow x 5) in x 11.121 * [taylor]: Taking taylor expansion of x in x 11.121 * [backup-simplify]: Simplify 0 into 0 11.121 * [backup-simplify]: Simplify 1 into 1 11.122 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.123 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 11.123 * [backup-simplify]: Simplify 0 into 0 11.123 * [backup-simplify]: Simplify 0 into 0 11.123 * [backup-simplify]: Simplify 0 into 0 11.125 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 11.133 * [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)) 11.133 * [backup-simplify]: Simplify (- 0) into 0 11.134 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 11.134 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 11.134 * [taylor]: Taking taylor expansion of 1/720 in x 11.134 * [backup-simplify]: Simplify 1/720 into 1/720 11.134 * [taylor]: Taking taylor expansion of (pow x 6) in x 11.134 * [taylor]: Taking taylor expansion of x in x 11.134 * [backup-simplify]: Simplify 0 into 0 11.134 * [backup-simplify]: Simplify 1 into 1 11.134 * [backup-simplify]: Simplify (* 1 1) into 1 11.135 * [backup-simplify]: Simplify (* 1 1) into 1 11.135 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 11.135 * [backup-simplify]: Simplify 1/6 into 1/6 11.136 * [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))))) 11.136 * [backup-simplify]: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x))) 11.136 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 11.136 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 11.136 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.136 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.136 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.136 * [taylor]: Taking taylor expansion of (* a x) in x 11.136 * [taylor]: Taking taylor expansion of a in x 11.136 * [backup-simplify]: Simplify a into a 11.136 * [taylor]: Taking taylor expansion of x in x 11.136 * [backup-simplify]: Simplify 0 into 0 11.136 * [backup-simplify]: Simplify 1 into 1 11.136 * [backup-simplify]: Simplify (* a 0) into 0 11.137 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.137 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.137 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.137 * [taylor]: Taking taylor expansion of 1 in x 11.137 * [backup-simplify]: Simplify 1 into 1 11.137 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.137 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.137 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.137 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.137 * [taylor]: Taking taylor expansion of (* a x) in a 11.137 * [taylor]: Taking taylor expansion of a in a 11.137 * [backup-simplify]: Simplify 0 into 0 11.137 * [backup-simplify]: Simplify 1 into 1 11.137 * [taylor]: Taking taylor expansion of x in a 11.137 * [backup-simplify]: Simplify x into x 11.137 * [backup-simplify]: Simplify (* 0 x) into 0 11.138 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.138 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.138 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.138 * [taylor]: Taking taylor expansion of 1 in a 11.138 * [backup-simplify]: Simplify 1 into 1 11.138 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.138 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.138 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.138 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.138 * [taylor]: Taking taylor expansion of (* a x) in a 11.138 * [taylor]: Taking taylor expansion of a in a 11.138 * [backup-simplify]: Simplify 0 into 0 11.138 * [backup-simplify]: Simplify 1 into 1 11.138 * [taylor]: Taking taylor expansion of x in a 11.138 * [backup-simplify]: Simplify x into x 11.138 * [backup-simplify]: Simplify (* 0 x) into 0 11.139 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.139 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.139 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.139 * [taylor]: Taking taylor expansion of 1 in a 11.139 * [backup-simplify]: Simplify 1 into 1 11.139 * [backup-simplify]: Simplify (- 1) into -1 11.140 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.140 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 11.140 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.140 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.140 * [taylor]: Taking taylor expansion of (* a x) in x 11.140 * [taylor]: Taking taylor expansion of a in x 11.140 * [backup-simplify]: Simplify a into a 11.140 * [taylor]: Taking taylor expansion of x in x 11.140 * [backup-simplify]: Simplify 0 into 0 11.140 * [backup-simplify]: Simplify 1 into 1 11.140 * [backup-simplify]: Simplify (* a 0) into 0 11.140 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.140 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.140 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.140 * [taylor]: Taking taylor expansion of 1 in x 11.140 * [backup-simplify]: Simplify 1 into 1 11.141 * [backup-simplify]: Simplify (- 1) into -1 11.141 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.141 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 11.141 * [backup-simplify]: Simplify (- 0) into 0 11.142 * [backup-simplify]: Simplify (+ 0 0) into 0 11.142 * [taylor]: Taking taylor expansion of 0 in x 11.142 * [backup-simplify]: Simplify 0 into 0 11.142 * [backup-simplify]: Simplify 0 into 0 11.142 * [backup-simplify]: Simplify (- 0) into 0 11.143 * [backup-simplify]: Simplify (+ 0 0) into 0 11.143 * [backup-simplify]: Simplify 0 into 0 11.143 * [backup-simplify]: Simplify (- 0) into 0 11.143 * [backup-simplify]: Simplify (+ 0 0) into 0 11.143 * [taylor]: Taking taylor expansion of 0 in x 11.143 * [backup-simplify]: Simplify 0 into 0 11.143 * [backup-simplify]: Simplify 0 into 0 11.143 * [backup-simplify]: Simplify 0 into 0 11.144 * [backup-simplify]: Simplify (- 0) into 0 11.144 * [backup-simplify]: Simplify (+ 0 0) into 0 11.144 * [backup-simplify]: Simplify 0 into 0 11.145 * [backup-simplify]: Simplify (- 0) into 0 11.145 * [backup-simplify]: Simplify (+ 0 0) into 0 11.145 * [taylor]: Taking taylor expansion of 0 in x 11.145 * [backup-simplify]: Simplify 0 into 0 11.145 * [backup-simplify]: Simplify 0 into 0 11.145 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 11.145 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x))) 11.145 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 11.145 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 11.145 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.145 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.145 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.145 * [taylor]: Taking taylor expansion of (* a x) in x 11.146 * [taylor]: Taking taylor expansion of a in x 11.146 * [backup-simplify]: Simplify a into a 11.146 * [taylor]: Taking taylor expansion of x in x 11.146 * [backup-simplify]: Simplify 0 into 0 11.146 * [backup-simplify]: Simplify 1 into 1 11.146 * [backup-simplify]: Simplify (* a 0) into 0 11.146 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.146 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.146 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.146 * [taylor]: Taking taylor expansion of 1 in x 11.146 * [backup-simplify]: Simplify 1 into 1 11.146 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.146 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.146 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.146 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.146 * [taylor]: Taking taylor expansion of (* a x) in a 11.146 * [taylor]: Taking taylor expansion of a in a 11.146 * [backup-simplify]: Simplify 0 into 0 11.146 * [backup-simplify]: Simplify 1 into 1 11.146 * [taylor]: Taking taylor expansion of x in a 11.146 * [backup-simplify]: Simplify x into x 11.147 * [backup-simplify]: Simplify (* 0 x) into 0 11.147 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.147 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.147 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.147 * [taylor]: Taking taylor expansion of 1 in a 11.147 * [backup-simplify]: Simplify 1 into 1 11.147 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.147 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.147 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.147 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.147 * [taylor]: Taking taylor expansion of (* a x) in a 11.147 * [taylor]: Taking taylor expansion of a in a 11.147 * [backup-simplify]: Simplify 0 into 0 11.147 * [backup-simplify]: Simplify 1 into 1 11.147 * [taylor]: Taking taylor expansion of x in a 11.147 * [backup-simplify]: Simplify x into x 11.147 * [backup-simplify]: Simplify (* 0 x) into 0 11.148 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.148 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.148 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.148 * [taylor]: Taking taylor expansion of 1 in a 11.148 * [backup-simplify]: Simplify 1 into 1 11.148 * [backup-simplify]: Simplify (- 1) into -1 11.149 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.149 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 11.149 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.149 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.149 * [taylor]: Taking taylor expansion of (* a x) in x 11.149 * [taylor]: Taking taylor expansion of a in x 11.149 * [backup-simplify]: Simplify a into a 11.149 * [taylor]: Taking taylor expansion of x in x 11.149 * [backup-simplify]: Simplify 0 into 0 11.149 * [backup-simplify]: Simplify 1 into 1 11.149 * [backup-simplify]: Simplify (* a 0) into 0 11.149 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.149 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.149 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.149 * [taylor]: Taking taylor expansion of 1 in x 11.149 * [backup-simplify]: Simplify 1 into 1 11.150 * [backup-simplify]: Simplify (- 1) into -1 11.150 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.150 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 11.150 * [backup-simplify]: Simplify (- 0) into 0 11.151 * [backup-simplify]: Simplify (+ 0 0) into 0 11.151 * [taylor]: Taking taylor expansion of 0 in x 11.151 * [backup-simplify]: Simplify 0 into 0 11.151 * [backup-simplify]: Simplify 0 into 0 11.151 * [backup-simplify]: Simplify (- 0) into 0 11.151 * [backup-simplify]: Simplify (+ 0 0) into 0 11.151 * [backup-simplify]: Simplify 0 into 0 11.152 * [backup-simplify]: Simplify (- 0) into 0 11.152 * [backup-simplify]: Simplify (+ 0 0) into 0 11.152 * [taylor]: Taking taylor expansion of 0 in x 11.152 * [backup-simplify]: Simplify 0 into 0 11.152 * [backup-simplify]: Simplify 0 into 0 11.152 * [backup-simplify]: Simplify 0 into 0 11.153 * [backup-simplify]: Simplify (- 0) into 0 11.154 * [backup-simplify]: Simplify (+ 0 0) into 0 11.154 * [backup-simplify]: Simplify 0 into 0 11.154 * [backup-simplify]: Simplify (- 0) into 0 11.154 * [backup-simplify]: Simplify (+ 0 0) into 0 11.154 * [taylor]: Taking taylor expansion of 0 in x 11.154 * [backup-simplify]: Simplify 0 into 0 11.154 * [backup-simplify]: Simplify 0 into 0 11.155 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 11.155 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 11.155 * [backup-simplify]: Simplify (exp (expm1 (* a x))) into (exp (expm1 (* a x))) 11.155 * [approximate]: Taking taylor expansion of (exp (expm1 (* a x))) in (a x) around 0 11.155 * [taylor]: Taking taylor expansion of (exp (expm1 (* a x))) in x 11.155 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 11.155 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 11.155 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 11.155 * [taylor]: Taking taylor expansion of (* a x) in x 11.155 * [taylor]: Taking taylor expansion of a in x 11.155 * [backup-simplify]: Simplify a into a 11.155 * [taylor]: Taking taylor expansion of x in x 11.155 * [backup-simplify]: Simplify 0 into 0 11.155 * [backup-simplify]: Simplify 1 into 1 11.155 * [backup-simplify]: Simplify (* a 0) into 0 11.156 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.156 * [backup-simplify]: Simplify (exp 0) into 1 11.156 * [taylor]: Taking taylor expansion of 1 in x 11.156 * [backup-simplify]: Simplify 1 into 1 11.156 * [backup-simplify]: Simplify (- 1) into -1 11.156 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.156 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow a 1) 1)))) into a 11.157 * [backup-simplify]: Simplify (- 0) into 0 11.157 * [backup-simplify]: Simplify (+ a 0) into a 11.157 * [backup-simplify]: Simplify (exp 0) into 1 11.157 * [taylor]: Taking taylor expansion of (exp (expm1 (* a x))) in a 11.157 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 11.157 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 11.157 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 11.157 * [taylor]: Taking taylor expansion of (* a x) in a 11.157 * [taylor]: Taking taylor expansion of a in a 11.157 * [backup-simplify]: Simplify 0 into 0 11.157 * [backup-simplify]: Simplify 1 into 1 11.157 * [taylor]: Taking taylor expansion of x in a 11.157 * [backup-simplify]: Simplify x into x 11.157 * [backup-simplify]: Simplify (* 0 x) into 0 11.158 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.158 * [backup-simplify]: Simplify (exp 0) into 1 11.158 * [taylor]: Taking taylor expansion of 1 in a 11.158 * [backup-simplify]: Simplify 1 into 1 11.158 * [backup-simplify]: Simplify (- 1) into -1 11.158 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.158 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 11.159 * [backup-simplify]: Simplify (- 0) into 0 11.159 * [backup-simplify]: Simplify (+ x 0) into x 11.159 * [backup-simplify]: Simplify (exp 0) into 1 11.159 * [taylor]: Taking taylor expansion of (exp (expm1 (* a x))) in a 11.159 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 11.159 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 11.159 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 11.159 * [taylor]: Taking taylor expansion of (* a x) in a 11.159 * [taylor]: Taking taylor expansion of a in a 11.159 * [backup-simplify]: Simplify 0 into 0 11.159 * [backup-simplify]: Simplify 1 into 1 11.159 * [taylor]: Taking taylor expansion of x in a 11.159 * [backup-simplify]: Simplify x into x 11.159 * [backup-simplify]: Simplify (* 0 x) into 0 11.160 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.160 * [backup-simplify]: Simplify (exp 0) into 1 11.160 * [taylor]: Taking taylor expansion of 1 in a 11.160 * [backup-simplify]: Simplify 1 into 1 11.160 * [backup-simplify]: Simplify (- 1) into -1 11.160 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.160 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 11.161 * [backup-simplify]: Simplify (- 0) into 0 11.161 * [backup-simplify]: Simplify (+ x 0) into x 11.161 * [backup-simplify]: Simplify (exp 0) into 1 11.161 * [taylor]: Taking taylor expansion of 1 in x 11.161 * [backup-simplify]: Simplify 1 into 1 11.161 * [backup-simplify]: Simplify 1 into 1 11.161 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 11.161 * [taylor]: Taking taylor expansion of x in x 11.161 * [backup-simplify]: Simplify 0 into 0 11.161 * [backup-simplify]: Simplify 1 into 1 11.161 * [backup-simplify]: Simplify 0 into 0 11.161 * [backup-simplify]: Simplify 0 into 0 11.162 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 11.163 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 11.163 * [backup-simplify]: Simplify (- 0) into 0 11.163 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 11.163 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow (* 1/2 (pow x 2)) 1) 1)))) into (pow x 2) 11.163 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.163 * [taylor]: Taking taylor expansion of x in x 11.164 * [backup-simplify]: Simplify 0 into 0 11.164 * [backup-simplify]: Simplify 1 into 1 11.164 * [backup-simplify]: Simplify 1 into 1 11.164 * [backup-simplify]: Simplify 0 into 0 11.165 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 11.166 * [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)) 11.166 * [backup-simplify]: Simplify (- 0) into 0 11.166 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 11.167 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow (* 1/2 (pow x 2)) 1) 1)) (* (/ (pow (* 1/6 (pow x 3)) 1) 1)))) into (* 5/6 (pow x 3)) 11.167 * [taylor]: Taking taylor expansion of (* 5/6 (pow x 3)) in x 11.167 * [taylor]: Taking taylor expansion of 5/6 in x 11.167 * [backup-simplify]: Simplify 5/6 into 5/6 11.167 * [taylor]: Taking taylor expansion of (pow x 3) in x 11.167 * [taylor]: Taking taylor expansion of x in x 11.167 * [backup-simplify]: Simplify 0 into 0 11.167 * [backup-simplify]: Simplify 1 into 1 11.167 * [backup-simplify]: Simplify 0 into 0 11.167 * [backup-simplify]: Simplify 0 into 0 11.168 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 11.171 * [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)) 11.171 * [backup-simplify]: Simplify (- 0) into 0 11.171 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 11.172 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow (* 1/2 (pow x 2)) 1) 1)) (* (/ (pow x 1) 1) (/ (pow (* 1/6 (pow x 3)) 1) 1)) (* (/ (pow (* 1/2 (pow x 2)) 2) 2)) (* (/ (pow (* 1/24 (pow x 4)) 1) 1)))) into (* 5/8 (pow x 4)) 11.172 * [taylor]: Taking taylor expansion of (* 5/8 (pow x 4)) in x 11.172 * [taylor]: Taking taylor expansion of 5/8 in x 11.172 * [backup-simplify]: Simplify 5/8 into 5/8 11.172 * [taylor]: Taking taylor expansion of (pow x 4) in x 11.172 * [taylor]: Taking taylor expansion of x in x 11.172 * [backup-simplify]: Simplify 0 into 0 11.172 * [backup-simplify]: Simplify 1 into 1 11.173 * [backup-simplify]: Simplify (* 1 1) into 1 11.173 * [backup-simplify]: Simplify 1 into 1 11.173 * [backup-simplify]: Simplify (+ (* 1 (pow (* x a) 2)) (+ (* 1 (* x a)) 1)) into (+ (* a x) (+ (* (pow a 2) (pow x 2)) 1)) 11.173 * [backup-simplify]: Simplify (exp (expm1 (* (/ 1 a) (/ 1 x)))) into (exp (expm1 (/ 1 (* a x)))) 11.173 * [approximate]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in (a x) around 0 11.173 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in x 11.173 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 11.173 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.173 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.173 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.173 * [taylor]: Taking taylor expansion of (* a x) in x 11.173 * [taylor]: Taking taylor expansion of a in x 11.173 * [backup-simplify]: Simplify a into a 11.173 * [taylor]: Taking taylor expansion of x in x 11.173 * [backup-simplify]: Simplify 0 into 0 11.173 * [backup-simplify]: Simplify 1 into 1 11.173 * [backup-simplify]: Simplify (* a 0) into 0 11.174 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.174 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.174 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.174 * [taylor]: Taking taylor expansion of 1 in x 11.174 * [backup-simplify]: Simplify 1 into 1 11.175 * [backup-simplify]: Simplify (- 1) into -1 11.175 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.175 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 11.175 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in a 11.175 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.175 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.175 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.175 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.175 * [taylor]: Taking taylor expansion of (* a x) in a 11.175 * [taylor]: Taking taylor expansion of a in a 11.175 * [backup-simplify]: Simplify 0 into 0 11.175 * [backup-simplify]: Simplify 1 into 1 11.175 * [taylor]: Taking taylor expansion of x in a 11.175 * [backup-simplify]: Simplify x into x 11.175 * [backup-simplify]: Simplify (* 0 x) into 0 11.176 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.176 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.176 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.176 * [taylor]: Taking taylor expansion of 1 in a 11.176 * [backup-simplify]: Simplify 1 into 1 11.176 * [backup-simplify]: Simplify (- 1) into -1 11.176 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.177 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 11.177 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in a 11.177 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.177 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.177 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.177 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.177 * [taylor]: Taking taylor expansion of (* a x) in a 11.177 * [taylor]: Taking taylor expansion of a in a 11.177 * [backup-simplify]: Simplify 0 into 0 11.177 * [backup-simplify]: Simplify 1 into 1 11.177 * [taylor]: Taking taylor expansion of x in a 11.177 * [backup-simplify]: Simplify x into x 11.177 * [backup-simplify]: Simplify (* 0 x) into 0 11.178 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.178 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.178 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.178 * [taylor]: Taking taylor expansion of 1 in a 11.178 * [backup-simplify]: Simplify 1 into 1 11.178 * [backup-simplify]: Simplify (- 1) into -1 11.178 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.178 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 11.178 * [taylor]: Taking taylor expansion of (exp (- (exp (/ 1 (* a x))) 1)) in x 11.179 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 11.179 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.179 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.179 * [taylor]: Taking taylor expansion of (* a x) in x 11.179 * [taylor]: Taking taylor expansion of a in x 11.179 * [backup-simplify]: Simplify a into a 11.179 * [taylor]: Taking taylor expansion of x in x 11.179 * [backup-simplify]: Simplify 0 into 0 11.179 * [backup-simplify]: Simplify 1 into 1 11.179 * [backup-simplify]: Simplify (* a 0) into 0 11.179 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.179 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.179 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.179 * [taylor]: Taking taylor expansion of 1 in x 11.179 * [backup-simplify]: Simplify 1 into 1 11.180 * [backup-simplify]: Simplify (- 1) into -1 11.180 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.180 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 11.180 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 11.181 * [backup-simplify]: Simplify (- 0) into 0 11.181 * [backup-simplify]: Simplify (+ 0 0) into 0 11.182 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 1) 1)))) into 0 11.182 * [taylor]: Taking taylor expansion of 0 in x 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [backup-simplify]: Simplify (- 0) into 0 11.183 * [backup-simplify]: Simplify (+ 0 0) into 0 11.184 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 1) 1)))) into 0 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [backup-simplify]: Simplify (- 0) into 0 11.184 * [backup-simplify]: Simplify (+ 0 0) into 0 11.186 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.186 * [taylor]: Taking taylor expansion of 0 in x 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [backup-simplify]: Simplify 0 into 0 11.187 * [backup-simplify]: Simplify (- 0) into 0 11.187 * [backup-simplify]: Simplify (+ 0 0) into 0 11.189 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.189 * [backup-simplify]: Simplify 0 into 0 11.189 * [backup-simplify]: Simplify (- 0) into 0 11.189 * [backup-simplify]: Simplify (+ 0 0) into 0 11.190 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 11.190 * [taylor]: Taking taylor expansion of 0 in x 11.190 * [backup-simplify]: Simplify 0 into 0 11.190 * [backup-simplify]: Simplify 0 into 0 11.191 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1)) into (exp (- (exp (* a x)) 1)) 11.191 * [backup-simplify]: Simplify (exp (expm1 (* (/ 1 (- a)) (/ 1 (- x))))) into (exp (expm1 (/ 1 (* a x)))) 11.191 * [approximate]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in (a x) around 0 11.191 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in x 11.191 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 11.191 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.191 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.191 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.191 * [taylor]: Taking taylor expansion of (* a x) in x 11.191 * [taylor]: Taking taylor expansion of a in x 11.191 * [backup-simplify]: Simplify a into a 11.191 * [taylor]: Taking taylor expansion of x in x 11.191 * [backup-simplify]: Simplify 0 into 0 11.191 * [backup-simplify]: Simplify 1 into 1 11.191 * [backup-simplify]: Simplify (* a 0) into 0 11.191 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.191 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.191 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.191 * [taylor]: Taking taylor expansion of 1 in x 11.191 * [backup-simplify]: Simplify 1 into 1 11.192 * [backup-simplify]: Simplify (- 1) into -1 11.192 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.192 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 11.192 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in a 11.192 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.192 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.192 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.192 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.192 * [taylor]: Taking taylor expansion of (* a x) in a 11.192 * [taylor]: Taking taylor expansion of a in a 11.192 * [backup-simplify]: Simplify 0 into 0 11.192 * [backup-simplify]: Simplify 1 into 1 11.192 * [taylor]: Taking taylor expansion of x in a 11.192 * [backup-simplify]: Simplify x into x 11.192 * [backup-simplify]: Simplify (* 0 x) into 0 11.192 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.192 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.192 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.192 * [taylor]: Taking taylor expansion of 1 in a 11.192 * [backup-simplify]: Simplify 1 into 1 11.193 * [backup-simplify]: Simplify (- 1) into -1 11.193 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.193 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 11.193 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in a 11.193 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 11.193 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 11.193 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 11.193 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 11.193 * [taylor]: Taking taylor expansion of (* a x) in a 11.193 * [taylor]: Taking taylor expansion of a in a 11.193 * [backup-simplify]: Simplify 0 into 0 11.193 * [backup-simplify]: Simplify 1 into 1 11.193 * [taylor]: Taking taylor expansion of x in a 11.193 * [backup-simplify]: Simplify x into x 11.193 * [backup-simplify]: Simplify (* 0 x) into 0 11.193 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 11.193 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.193 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.194 * [taylor]: Taking taylor expansion of 1 in a 11.194 * [backup-simplify]: Simplify 1 into 1 11.194 * [backup-simplify]: Simplify (- 1) into -1 11.194 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.194 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 11.194 * [taylor]: Taking taylor expansion of (exp (- (exp (/ 1 (* a x))) 1)) in x 11.194 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 11.194 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 11.194 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 11.194 * [taylor]: Taking taylor expansion of (* a x) in x 11.194 * [taylor]: Taking taylor expansion of a in x 11.194 * [backup-simplify]: Simplify a into a 11.194 * [taylor]: Taking taylor expansion of x in x 11.194 * [backup-simplify]: Simplify 0 into 0 11.194 * [backup-simplify]: Simplify 1 into 1 11.194 * [backup-simplify]: Simplify (* a 0) into 0 11.194 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 11.195 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 11.195 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 11.195 * [taylor]: Taking taylor expansion of 1 in x 11.195 * [backup-simplify]: Simplify 1 into 1 11.195 * [backup-simplify]: Simplify (- 1) into -1 11.195 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 11.195 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 11.195 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 11.195 * [backup-simplify]: Simplify (- 0) into 0 11.196 * [backup-simplify]: Simplify (+ 0 0) into 0 11.196 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 1) 1)))) into 0 11.196 * [taylor]: Taking taylor expansion of 0 in x 11.196 * [backup-simplify]: Simplify 0 into 0 11.196 * [backup-simplify]: Simplify 0 into 0 11.197 * [backup-simplify]: Simplify (- 0) into 0 11.197 * [backup-simplify]: Simplify (+ 0 0) into 0 11.197 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 1) 1)))) into 0 11.197 * [backup-simplify]: Simplify 0 into 0 11.198 * [backup-simplify]: Simplify (- 0) into 0 11.198 * [backup-simplify]: Simplify (+ 0 0) into 0 11.199 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.199 * [taylor]: Taking taylor expansion of 0 in x 11.199 * [backup-simplify]: Simplify 0 into 0 11.199 * [backup-simplify]: Simplify 0 into 0 11.199 * [backup-simplify]: Simplify 0 into 0 11.199 * [backup-simplify]: Simplify (- 0) into 0 11.199 * [backup-simplify]: Simplify (+ 0 0) into 0 11.200 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 11.200 * [backup-simplify]: Simplify 0 into 0 11.201 * [backup-simplify]: Simplify (- 0) into 0 11.201 * [backup-simplify]: Simplify (+ 0 0) into 0 11.202 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 11.202 * [taylor]: Taking taylor expansion of 0 in x 11.202 * [backup-simplify]: Simplify 0 into 0 11.202 * [backup-simplify]: Simplify 0 into 0 11.202 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1)) into (exp (- (exp (* a x)) 1)) 11.202 * * * [progress]: simplifying candidates 11.202 * * * * [progress]: [ 1 / 55 ] simplifiying candidate # 11.202 * * * * [progress]: [ 2 / 55 ] simplifiying candidate # 11.202 * * * * [progress]: [ 3 / 55 ] simplifiying candidate # 11.202 * * * * [progress]: [ 4 / 55 ] simplifiying candidate # 11.202 * * * * [progress]: [ 5 / 55 ] simplifiying candidate # 11.202 * * * * [progress]: [ 6 / 55 ] simplifiying candidate # 11.202 * * * * [progress]: [ 7 / 55 ] simplifiying candidate # 11.202 * * * * [progress]: [ 8 / 55 ] simplifiying candidate # 11.202 * * * * [progress]: [ 9 / 55 ] simplifiying candidate # 11.202 * * * * [progress]: [ 10 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 11 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 12 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 13 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 14 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 15 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 16 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 17 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 18 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 19 / 55 ] simplifiying candidate #real (real->posit16 (log (exp (expm1 (* a x)))))))> 11.203 * * * * [progress]: [ 20 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 21 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 22 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 23 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 24 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 25 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 26 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 27 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 28 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 29 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 30 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 31 / 55 ] simplifiying candidate #real (real->posit16 (expm1 (* a x)))))))> 11.203 * * * * [progress]: [ 32 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 33 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 34 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 35 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 36 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 37 / 55 ] simplifiying candidate # 11.203 * * * * [progress]: [ 38 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 39 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 40 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 41 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 42 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 43 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 44 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 45 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 46 / 55 ] simplifiying candidate #real (real->posit16 (exp (expm1 (* a x)))))))> 11.204 * * * * [progress]: [ 47 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 48 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 49 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 50 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 51 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 52 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 53 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 54 / 55 ] simplifiying candidate # 11.204 * * * * [progress]: [ 55 / 55 ] simplifiying candidate # 11.205 * [simplify]: Simplifying: (expm1 (log (exp (expm1 (* a x))))) (log1p (log (exp (expm1 (* a x))))) (log (* (cbrt (exp (expm1 (* a x)))) (cbrt (exp (expm1 (* a x)))))) (log (cbrt (exp (expm1 (* a x))))) (log (sqrt (exp (expm1 (* a x))))) (log (sqrt (exp (expm1 (* a x))))) (log 1) (log (exp (expm1 (* a x)))) (log (exp (exp (* a x)))) (log (exp 1)) (log (exp (expm1 (* a x)))) (log (exp (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))))) (log (exp (sqrt (expm1 (* a x))))) (log (exp 1)) (log (log (exp (expm1 (* a x))))) (exp (log (exp (expm1 (* a x))))) (* (cbrt (log (exp (expm1 (* a x))))) (cbrt (log (exp (expm1 (* a x)))))) (cbrt (log (exp (expm1 (* a x))))) (* (* (log (exp (expm1 (* a x)))) (log (exp (expm1 (* a x))))) (log (exp (expm1 (* a x))))) (sqrt (log (exp (expm1 (* a x))))) (sqrt (log (exp (expm1 (* a x))))) (real->posit16 (log (exp (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))) (expm1 (exp (expm1 (* a x)))) (log1p (exp (expm1 (* a x)))) (exp (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))) (exp (sqrt (expm1 (* a x)))) (exp 1) (exp (exp (* a x))) (exp 1) (log (exp (expm1 (* a x)))) (exp (exp (expm1 (* a x)))) (* (cbrt (exp (expm1 (* a x)))) (cbrt (exp (expm1 (* a x))))) (cbrt (exp (expm1 (* a x)))) (* (* (exp (expm1 (* a x))) (exp (expm1 (* a x)))) (exp (expm1 (* a x)))) (sqrt (exp (expm1 (* a x)))) (sqrt (exp (expm1 (* a x)))) (real->posit16 (exp (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) (+ (* 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) (+ (* a x) (+ (* (pow a 2) (pow x 2)) 1)) (exp (- (exp (* a x)) 1)) (exp (- (exp (* a x)) 1)) 11.205 * * [simplify]: iteration 1: (66 enodes) 11.219 * * [simplify]: iteration 2: (130 enodes) 11.262 * * [simplify]: iteration 3: (286 enodes) 11.429 * * [simplify]: iteration 4: (903 enodes) 12.762 * * [simplify]: Extracting #0: cost 30 inf + 0 12.762 * * [simplify]: Extracting #1: cost 157 inf + 3 12.766 * * [simplify]: Extracting #2: cost 373 inf + 1718 12.786 * * [simplify]: Extracting #3: cost 283 inf + 31183 12.809 * * [simplify]: Extracting #4: cost 100 inf + 93871 12.831 * * [simplify]: Extracting #5: cost 11 inf + 136735 12.854 * * [simplify]: Extracting #6: cost 1 inf + 141136 12.885 * * [simplify]: Extracting #7: cost 0 inf + 141690 12.916 * [simplify]: Simplified to: (expm1 (expm1 (* a x))) (* a x) (log (* (cbrt (exp (expm1 (* a x)))) (cbrt (exp (expm1 (* a x)))))) (log (cbrt (exp (expm1 (* a x))))) (log (sqrt (exp (expm1 (* a x))))) (log (sqrt (exp (expm1 (* a x))))) 0 (expm1 (* a x)) (exp (* a x)) 1 (expm1 (* a x)) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (sqrt (expm1 (* a x))) 1 (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))) (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))) (expm1 (exp (expm1 (* a x)))) (log1p (exp (expm1 (* a x)))) (exp (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))) (exp (sqrt (expm1 (* a x)))) E (exp (exp (* a x))) E (expm1 (* a x)) (exp (exp (expm1 (* a x)))) (* (cbrt (exp (expm1 (* a x)))) (cbrt (exp (expm1 (* a x))))) (cbrt (exp (expm1 (* a x)))) (exp (* (expm1 (* a x)) 3)) (sqrt (exp (expm1 (* a x)))) (sqrt (exp (expm1 (* a x)))) (real->posit16 (exp (expm1 (* a x)))) (fma 1/2 (* (* a x) (* a x)) (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x))) (expm1 (* a x)) (expm1 (* a x)) (fma 1/2 (* (* a x) (* a x)) (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x))) (expm1 (* a x)) (expm1 (* a x)) (+ (fma (* a x) (* a x) (* a x)) 1) (exp (expm1 (* a x))) (exp (expm1 (* a x))) 12.917 * * * [progress]: adding candidates to table 13.122 * * [progress]: iteration 3 / 4 13.122 * * * [progress]: picking best candidate 13.125 * * * * [pick]: Picked # 13.125 * * * [progress]: localizing error 13.143 * * * [progress]: generating rewritten candidates 13.143 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 13.146 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 13.151 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 13.152 * * * [progress]: generating series expansions 13.152 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 13.153 * [backup-simplify]: Simplify (log (expm1 (* a x))) into (log (expm1 (* a x))) 13.153 * [approximate]: Taking taylor expansion of (log (expm1 (* a x))) in (a x) around 0 13.153 * [taylor]: Taking taylor expansion of (log (expm1 (* a x))) in x 13.153 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 13.153 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 13.153 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 13.153 * [taylor]: Taking taylor expansion of (* a x) in x 13.153 * [taylor]: Taking taylor expansion of a in x 13.153 * [backup-simplify]: Simplify a into a 13.153 * [taylor]: Taking taylor expansion of x in x 13.153 * [backup-simplify]: Simplify 0 into 0 13.153 * [backup-simplify]: Simplify 1 into 1 13.153 * [backup-simplify]: Simplify (* a 0) into 0 13.154 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.154 * [backup-simplify]: Simplify (exp 0) into 1 13.154 * [taylor]: Taking taylor expansion of 1 in x 13.154 * [backup-simplify]: Simplify 1 into 1 13.155 * [backup-simplify]: Simplify (- 1) into -1 13.155 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.155 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow a 1) 1)))) into a 13.156 * [backup-simplify]: Simplify (- 0) into 0 13.156 * [backup-simplify]: Simplify (+ a 0) into a 13.156 * [backup-simplify]: Simplify (log a) into (log a) 13.156 * [taylor]: Taking taylor expansion of (log (expm1 (* a x))) in a 13.156 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 13.156 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 13.156 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 13.156 * [taylor]: Taking taylor expansion of (* a x) in a 13.156 * [taylor]: Taking taylor expansion of a in a 13.156 * [backup-simplify]: Simplify 0 into 0 13.156 * [backup-simplify]: Simplify 1 into 1 13.156 * [taylor]: Taking taylor expansion of x in a 13.156 * [backup-simplify]: Simplify x into x 13.156 * [backup-simplify]: Simplify (* 0 x) into 0 13.156 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.157 * [backup-simplify]: Simplify (exp 0) into 1 13.157 * [taylor]: Taking taylor expansion of 1 in a 13.157 * [backup-simplify]: Simplify 1 into 1 13.157 * [backup-simplify]: Simplify (- 1) into -1 13.157 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.158 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 13.158 * [backup-simplify]: Simplify (- 0) into 0 13.158 * [backup-simplify]: Simplify (+ x 0) into x 13.158 * [backup-simplify]: Simplify (log x) into (log x) 13.158 * [taylor]: Taking taylor expansion of (log (expm1 (* a x))) in a 13.158 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 13.158 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 13.158 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 13.158 * [taylor]: Taking taylor expansion of (* a x) in a 13.158 * [taylor]: Taking taylor expansion of a in a 13.158 * [backup-simplify]: Simplify 0 into 0 13.158 * [backup-simplify]: Simplify 1 into 1 13.158 * [taylor]: Taking taylor expansion of x in a 13.158 * [backup-simplify]: Simplify x into x 13.158 * [backup-simplify]: Simplify (* 0 x) into 0 13.159 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.159 * [backup-simplify]: Simplify (exp 0) into 1 13.159 * [taylor]: Taking taylor expansion of 1 in a 13.159 * [backup-simplify]: Simplify 1 into 1 13.159 * [backup-simplify]: Simplify (- 1) into -1 13.160 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.160 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 13.160 * [backup-simplify]: Simplify (- 0) into 0 13.160 * [backup-simplify]: Simplify (+ x 0) into x 13.160 * [backup-simplify]: Simplify (log x) into (log x) 13.161 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) (log x)) into (+ (log a) (log x)) 13.161 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x 13.161 * [taylor]: Taking taylor expansion of (log a) in x 13.161 * [taylor]: Taking taylor expansion of a in x 13.161 * [backup-simplify]: Simplify a into a 13.161 * [backup-simplify]: Simplify (log a) into (log a) 13.161 * [taylor]: Taking taylor expansion of (log x) in x 13.161 * [taylor]: Taking taylor expansion of x in x 13.161 * [backup-simplify]: Simplify 0 into 0 13.161 * [backup-simplify]: Simplify 1 into 1 13.162 * [backup-simplify]: Simplify (log 1) into 0 13.162 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x) 13.162 * [backup-simplify]: Simplify (+ (log a) (log x)) into (+ (log a) (log x)) 13.162 * [backup-simplify]: Simplify (+ (log a) (log x)) into (+ (log a) (log x)) 13.163 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 13.164 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 13.164 * [backup-simplify]: Simplify (- 0) into 0 13.164 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 13.165 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/2 (pow x 2))) 1)) (pow x 1)))) 1) into (* 1/2 x) 13.165 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 13.165 * [taylor]: Taking taylor expansion of 1/2 in x 13.165 * [backup-simplify]: Simplify 1/2 into 1/2 13.165 * [taylor]: Taking taylor expansion of x in x 13.165 * [backup-simplify]: Simplify 0 into 0 13.165 * [backup-simplify]: Simplify 1 into 1 13.165 * [backup-simplify]: Simplify (* 1/2 0) into 0 13.165 * [backup-simplify]: Simplify 0 into 0 13.166 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow a 1)))) 1) into 0 13.168 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 13.168 * [backup-simplify]: Simplify (+ 0 0) into 0 13.168 * [backup-simplify]: Simplify 0 into 0 13.169 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 13.171 * [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)) 13.171 * [backup-simplify]: Simplify (- 0) into 0 13.171 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 13.172 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (* 1/2 (pow x 2))) 2)) (pow x 2))) (* 1 (/ (* 1 (pow (* 2 (* 1/6 (pow x 3))) 1)) (pow x 1)))) 2) into (* 1/24 (pow x 2)) 13.172 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 2)) in x 13.172 * [taylor]: Taking taylor expansion of 1/24 in x 13.172 * [backup-simplify]: Simplify 1/24 into 1/24 13.172 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.172 * [taylor]: Taking taylor expansion of x in x 13.172 * [backup-simplify]: Simplify 0 into 0 13.172 * [backup-simplify]: Simplify 1 into 1 13.173 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 13.173 * [backup-simplify]: Simplify 1/2 into 1/2 13.175 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow a 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow a 1)))) 2) into 0 13.177 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 13.178 * [backup-simplify]: Simplify (+ 0 0) into 0 13.178 * [backup-simplify]: Simplify 0 into 0 13.179 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 13.182 * [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)) 13.183 * [backup-simplify]: Simplify (- 0) into 0 13.183 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 13.183 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (* 1/2 (pow x 2))) 3)) (pow x 3))) (* -3 (/ (* (pow (* 1 (* 1/2 (pow x 2))) 1) (pow (* 2 (* 1/6 (pow x 3))) 1)) (pow x 2))) (* 1 (/ (* 1 1 (pow (* 6 (* 1/24 (pow x 4))) 1)) (pow x 1)))) 6) into 0 13.183 * [taylor]: Taking taylor expansion of 0 in x 13.184 * [backup-simplify]: Simplify 0 into 0 13.184 * [backup-simplify]: Simplify 0 into 0 13.185 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 13.185 * [backup-simplify]: Simplify 0 into 0 13.187 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow a 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow a 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow a 1)))) 6) into 0 13.193 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 13.193 * [backup-simplify]: Simplify (+ 0 0) into 0 13.193 * [backup-simplify]: Simplify 0 into 0 13.195 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 13.199 * [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)) 13.200 * [backup-simplify]: Simplify (- 0) into 0 13.200 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 13.201 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 (* 1/2 (pow x 2))) 4)) (pow x 4))) (* 12 (/ (* (pow (* 1 (* 1/2 (pow x 2))) 2) (pow (* 2 (* 1/6 (pow x 3))) 1)) (pow x 3))) (* -3 (/ (* 1 (pow (* 2 (* 1/6 (pow x 3))) 2)) (pow x 2))) (* -4 (/ (* (pow (* 1 (* 1/2 (pow x 2))) 1) 1 (pow (* 6 (* 1/24 (pow x 4))) 1)) (pow x 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/120 (pow x 5))) 1)) (pow x 1)))) 24) into (* -1/2880 (pow x 4)) 13.201 * [taylor]: Taking taylor expansion of (* -1/2880 (pow x 4)) in x 13.201 * [taylor]: Taking taylor expansion of -1/2880 in x 13.201 * [backup-simplify]: Simplify -1/2880 into -1/2880 13.201 * [taylor]: Taking taylor expansion of (pow x 4) in x 13.201 * [taylor]: Taking taylor expansion of x in x 13.201 * [backup-simplify]: Simplify 0 into 0 13.201 * [backup-simplify]: Simplify 1 into 1 13.201 * [backup-simplify]: Simplify 0 into 0 13.202 * [backup-simplify]: Simplify (* 1 1) into 1 13.202 * [backup-simplify]: Simplify (* 1/24 1) into 1/24 13.202 * [backup-simplify]: Simplify 1/24 into 1/24 13.203 * [backup-simplify]: Simplify (+ (* 1/24 (pow (* x a) 2)) (+ (* 1/2 (* x a)) (+ (log a) (log x)))) into (+ (* 1/2 (* a x)) (+ (log a) (+ (* 1/24 (* (pow a 2) (pow x 2))) (log x)))) 13.203 * [backup-simplify]: Simplify (log (expm1 (* (/ 1 a) (/ 1 x)))) into (log (expm1 (/ 1 (* a x)))) 13.203 * [approximate]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in (a x) around 0 13.203 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in x 13.203 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 13.203 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.203 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.203 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.204 * [taylor]: Taking taylor expansion of (* a x) in x 13.204 * [taylor]: Taking taylor expansion of a in x 13.204 * [backup-simplify]: Simplify a into a 13.204 * [taylor]: Taking taylor expansion of x in x 13.204 * [backup-simplify]: Simplify 0 into 0 13.204 * [backup-simplify]: Simplify 1 into 1 13.204 * [backup-simplify]: Simplify (* a 0) into 0 13.204 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.204 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.204 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.204 * [taylor]: Taking taylor expansion of 1 in x 13.204 * [backup-simplify]: Simplify 1 into 1 13.205 * [backup-simplify]: Simplify (- 1) into -1 13.205 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.205 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 13.205 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in a 13.205 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.205 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.205 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.205 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.205 * [taylor]: Taking taylor expansion of (* a x) in a 13.205 * [taylor]: Taking taylor expansion of a in a 13.205 * [backup-simplify]: Simplify 0 into 0 13.205 * [backup-simplify]: Simplify 1 into 1 13.205 * [taylor]: Taking taylor expansion of x in a 13.205 * [backup-simplify]: Simplify x into x 13.205 * [backup-simplify]: Simplify (* 0 x) into 0 13.206 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.206 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.206 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.206 * [taylor]: Taking taylor expansion of 1 in a 13.206 * [backup-simplify]: Simplify 1 into 1 13.206 * [backup-simplify]: Simplify (- 1) into -1 13.207 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.207 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 13.207 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in a 13.207 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.207 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.207 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.207 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.207 * [taylor]: Taking taylor expansion of (* a x) in a 13.207 * [taylor]: Taking taylor expansion of a in a 13.207 * [backup-simplify]: Simplify 0 into 0 13.207 * [backup-simplify]: Simplify 1 into 1 13.207 * [taylor]: Taking taylor expansion of x in a 13.207 * [backup-simplify]: Simplify x into x 13.207 * [backup-simplify]: Simplify (* 0 x) into 0 13.208 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.208 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.208 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.208 * [taylor]: Taking taylor expansion of 1 in a 13.208 * [backup-simplify]: Simplify 1 into 1 13.208 * [backup-simplify]: Simplify (- 1) into -1 13.208 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.208 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 13.209 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1)) in x 13.209 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 13.209 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.209 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.209 * [taylor]: Taking taylor expansion of (* a x) in x 13.209 * [taylor]: Taking taylor expansion of a in x 13.209 * [backup-simplify]: Simplify a into a 13.209 * [taylor]: Taking taylor expansion of x in x 13.209 * [backup-simplify]: Simplify 0 into 0 13.209 * [backup-simplify]: Simplify 1 into 1 13.209 * [backup-simplify]: Simplify (* a 0) into 0 13.209 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.209 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.209 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.209 * [taylor]: Taking taylor expansion of 1 in x 13.209 * [backup-simplify]: Simplify 1 into 1 13.210 * [backup-simplify]: Simplify (- 1) into -1 13.210 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.210 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 13.210 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 13.211 * [backup-simplify]: Simplify (- 0) into 0 13.211 * [backup-simplify]: Simplify (+ 0 0) into 0 13.212 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 1) into 0 13.212 * [taylor]: Taking taylor expansion of 0 in x 13.212 * [backup-simplify]: Simplify 0 into 0 13.212 * [backup-simplify]: Simplify 0 into 0 13.212 * [backup-simplify]: Simplify (- 0) into 0 13.213 * [backup-simplify]: Simplify (+ 0 0) into 0 13.214 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 1) into 0 13.214 * [backup-simplify]: Simplify 0 into 0 13.214 * [backup-simplify]: Simplify (- 0) into 0 13.214 * [backup-simplify]: Simplify (+ 0 0) into 0 13.216 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (exp (/ 1 (* a x))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 2) into 0 13.216 * [taylor]: Taking taylor expansion of 0 in x 13.216 * [backup-simplify]: Simplify 0 into 0 13.216 * [backup-simplify]: Simplify 0 into 0 13.216 * [backup-simplify]: Simplify 0 into 0 13.217 * [backup-simplify]: Simplify (- 0) into 0 13.217 * [backup-simplify]: Simplify (+ 0 0) into 0 13.219 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (exp (/ 1 (* a x))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 2) into 0 13.219 * [backup-simplify]: Simplify 0 into 0 13.220 * [backup-simplify]: Simplify (- 0) into 0 13.220 * [backup-simplify]: Simplify (+ 0 0) into 0 13.223 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (exp (/ 1 (* a x))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 6) into 0 13.223 * [taylor]: Taking taylor expansion of 0 in x 13.223 * [backup-simplify]: Simplify 0 into 0 13.223 * [backup-simplify]: Simplify 0 into 0 13.223 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1)) into (log (- (exp (* a x)) 1)) 13.223 * [backup-simplify]: Simplify (log (expm1 (* (/ 1 (- a)) (/ 1 (- x))))) into (log (expm1 (/ 1 (* a x)))) 13.224 * [approximate]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in (a x) around 0 13.224 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in x 13.224 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 13.224 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.224 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.224 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.224 * [taylor]: Taking taylor expansion of (* a x) in x 13.224 * [taylor]: Taking taylor expansion of a in x 13.224 * [backup-simplify]: Simplify a into a 13.224 * [taylor]: Taking taylor expansion of x in x 13.224 * [backup-simplify]: Simplify 0 into 0 13.224 * [backup-simplify]: Simplify 1 into 1 13.224 * [backup-simplify]: Simplify (* a 0) into 0 13.224 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.224 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.224 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.225 * [taylor]: Taking taylor expansion of 1 in x 13.225 * [backup-simplify]: Simplify 1 into 1 13.230 * [backup-simplify]: Simplify (- 1) into -1 13.230 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.231 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 13.231 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in a 13.231 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.231 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.231 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.231 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.231 * [taylor]: Taking taylor expansion of (* a x) in a 13.231 * [taylor]: Taking taylor expansion of a in a 13.231 * [backup-simplify]: Simplify 0 into 0 13.231 * [backup-simplify]: Simplify 1 into 1 13.231 * [taylor]: Taking taylor expansion of x in a 13.231 * [backup-simplify]: Simplify x into x 13.231 * [backup-simplify]: Simplify (* 0 x) into 0 13.232 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.232 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.232 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.232 * [taylor]: Taking taylor expansion of 1 in a 13.232 * [backup-simplify]: Simplify 1 into 1 13.232 * [backup-simplify]: Simplify (- 1) into -1 13.232 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.233 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 13.233 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in a 13.233 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.233 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.233 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.233 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.233 * [taylor]: Taking taylor expansion of (* a x) in a 13.233 * [taylor]: Taking taylor expansion of a in a 13.233 * [backup-simplify]: Simplify 0 into 0 13.233 * [backup-simplify]: Simplify 1 into 1 13.233 * [taylor]: Taking taylor expansion of x in a 13.233 * [backup-simplify]: Simplify x into x 13.233 * [backup-simplify]: Simplify (* 0 x) into 0 13.233 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.233 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.234 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.234 * [taylor]: Taking taylor expansion of 1 in a 13.234 * [backup-simplify]: Simplify 1 into 1 13.234 * [backup-simplify]: Simplify (- 1) into -1 13.234 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.234 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 13.234 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1)) in x 13.234 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 13.234 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.234 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.234 * [taylor]: Taking taylor expansion of (* a x) in x 13.234 * [taylor]: Taking taylor expansion of a in x 13.234 * [backup-simplify]: Simplify a into a 13.234 * [taylor]: Taking taylor expansion of x in x 13.234 * [backup-simplify]: Simplify 0 into 0 13.235 * [backup-simplify]: Simplify 1 into 1 13.235 * [backup-simplify]: Simplify (* a 0) into 0 13.235 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.235 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.235 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.235 * [taylor]: Taking taylor expansion of 1 in x 13.235 * [backup-simplify]: Simplify 1 into 1 13.236 * [backup-simplify]: Simplify (- 1) into -1 13.236 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.236 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 13.236 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 13.236 * [backup-simplify]: Simplify (- 0) into 0 13.237 * [backup-simplify]: Simplify (+ 0 0) into 0 13.237 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 1) into 0 13.237 * [taylor]: Taking taylor expansion of 0 in x 13.237 * [backup-simplify]: Simplify 0 into 0 13.237 * [backup-simplify]: Simplify 0 into 0 13.238 * [backup-simplify]: Simplify (- 0) into 0 13.238 * [backup-simplify]: Simplify (+ 0 0) into 0 13.238 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 1) into 0 13.238 * [backup-simplify]: Simplify 0 into 0 13.239 * [backup-simplify]: Simplify (- 0) into 0 13.239 * [backup-simplify]: Simplify (+ 0 0) into 0 13.240 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (exp (/ 1 (* a x))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 2) into 0 13.240 * [taylor]: Taking taylor expansion of 0 in x 13.240 * [backup-simplify]: Simplify 0 into 0 13.240 * [backup-simplify]: Simplify 0 into 0 13.240 * [backup-simplify]: Simplify 0 into 0 13.240 * [backup-simplify]: Simplify (- 0) into 0 13.241 * [backup-simplify]: Simplify (+ 0 0) into 0 13.242 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (exp (/ 1 (* a x))) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 2) into 0 13.242 * [backup-simplify]: Simplify 0 into 0 13.242 * [backup-simplify]: Simplify (- 0) into 0 13.242 * [backup-simplify]: Simplify (+ 0 0) into 0 13.244 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (exp (/ 1 (* a x))) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 6) into 0 13.244 * [taylor]: Taking taylor expansion of 0 in x 13.244 * [backup-simplify]: Simplify 0 into 0 13.244 * [backup-simplify]: Simplify 0 into 0 13.244 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1)) into (log (- (exp (* a x)) 1)) 13.244 * * * * [progress]: [ 2 / 3 ] generating series at (2) 13.244 * [backup-simplify]: Simplify (exp (log (expm1 (* a x)))) into (expm1 (* a x)) 13.244 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 13.244 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 13.244 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 13.244 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 13.244 * [taylor]: Taking taylor expansion of (* a x) in x 13.244 * [taylor]: Taking taylor expansion of a in x 13.244 * [backup-simplify]: Simplify a into a 13.244 * [taylor]: Taking taylor expansion of x in x 13.245 * [backup-simplify]: Simplify 0 into 0 13.245 * [backup-simplify]: Simplify 1 into 1 13.245 * [backup-simplify]: Simplify (* a 0) into 0 13.245 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.245 * [backup-simplify]: Simplify (exp 0) into 1 13.245 * [taylor]: Taking taylor expansion of 1 in x 13.245 * [backup-simplify]: Simplify 1 into 1 13.245 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 13.245 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 13.245 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 13.245 * [taylor]: Taking taylor expansion of (* a x) in a 13.245 * [taylor]: Taking taylor expansion of a in a 13.245 * [backup-simplify]: Simplify 0 into 0 13.245 * [backup-simplify]: Simplify 1 into 1 13.245 * [taylor]: Taking taylor expansion of x in a 13.245 * [backup-simplify]: Simplify x into x 13.245 * [backup-simplify]: Simplify (* 0 x) into 0 13.245 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.245 * [backup-simplify]: Simplify (exp 0) into 1 13.245 * [taylor]: Taking taylor expansion of 1 in a 13.245 * [backup-simplify]: Simplify 1 into 1 13.245 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 13.245 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 13.245 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 13.245 * [taylor]: Taking taylor expansion of (* a x) in a 13.246 * [taylor]: Taking taylor expansion of a in a 13.246 * [backup-simplify]: Simplify 0 into 0 13.246 * [backup-simplify]: Simplify 1 into 1 13.246 * [taylor]: Taking taylor expansion of x in a 13.246 * [backup-simplify]: Simplify x into x 13.246 * [backup-simplify]: Simplify (* 0 x) into 0 13.246 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.246 * [backup-simplify]: Simplify (exp 0) into 1 13.246 * [taylor]: Taking taylor expansion of 1 in a 13.246 * [backup-simplify]: Simplify 1 into 1 13.246 * [backup-simplify]: Simplify (- 1) into -1 13.246 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.246 * [taylor]: Taking taylor expansion of 0 in x 13.247 * [backup-simplify]: Simplify 0 into 0 13.247 * [backup-simplify]: Simplify 0 into 0 13.247 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 13.247 * [backup-simplify]: Simplify (- 0) into 0 13.247 * [backup-simplify]: Simplify (+ x 0) into x 13.247 * [taylor]: Taking taylor expansion of x in x 13.247 * [backup-simplify]: Simplify 0 into 0 13.247 * [backup-simplify]: Simplify 1 into 1 13.247 * [backup-simplify]: Simplify 0 into 0 13.247 * [backup-simplify]: Simplify 0 into 0 13.248 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 13.248 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 13.248 * [backup-simplify]: Simplify (- 0) into 0 13.248 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 13.248 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 13.248 * [taylor]: Taking taylor expansion of 1/2 in x 13.248 * [backup-simplify]: Simplify 1/2 into 1/2 13.248 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.248 * [taylor]: Taking taylor expansion of x in x 13.248 * [backup-simplify]: Simplify 0 into 0 13.248 * [backup-simplify]: Simplify 1 into 1 13.248 * [backup-simplify]: Simplify 1 into 1 13.249 * [backup-simplify]: Simplify 0 into 0 13.249 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 13.250 * [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)) 13.250 * [backup-simplify]: Simplify (- 0) into 0 13.250 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 13.250 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 13.250 * [taylor]: Taking taylor expansion of 1/6 in x 13.251 * [backup-simplify]: Simplify 1/6 into 1/6 13.251 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.251 * [taylor]: Taking taylor expansion of x in x 13.251 * [backup-simplify]: Simplify 0 into 0 13.251 * [backup-simplify]: Simplify 1 into 1 13.251 * [backup-simplify]: Simplify 0 into 0 13.251 * [backup-simplify]: Simplify 0 into 0 13.252 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 13.253 * [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)) 13.253 * [backup-simplify]: Simplify (- 0) into 0 13.253 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 13.253 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 13.253 * [taylor]: Taking taylor expansion of 1/24 in x 13.254 * [backup-simplify]: Simplify 1/24 into 1/24 13.254 * [taylor]: Taking taylor expansion of (pow x 4) in x 13.254 * [taylor]: Taking taylor expansion of x in x 13.254 * [backup-simplify]: Simplify 0 into 0 13.254 * [backup-simplify]: Simplify 1 into 1 13.254 * [backup-simplify]: Simplify (* 1 1) into 1 13.254 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 13.254 * [backup-simplify]: Simplify 1/2 into 1/2 13.254 * [backup-simplify]: Simplify 0 into 0 13.254 * [backup-simplify]: Simplify 0 into 0 13.255 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 13.258 * [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)) 13.258 * [backup-simplify]: Simplify (- 0) into 0 13.258 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 13.258 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 13.258 * [taylor]: Taking taylor expansion of 1/120 in x 13.258 * [backup-simplify]: Simplify 1/120 into 1/120 13.258 * [taylor]: Taking taylor expansion of (pow x 5) in x 13.258 * [taylor]: Taking taylor expansion of x in x 13.258 * [backup-simplify]: Simplify 0 into 0 13.258 * [backup-simplify]: Simplify 1 into 1 13.259 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.259 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 13.259 * [backup-simplify]: Simplify 0 into 0 13.259 * [backup-simplify]: Simplify 0 into 0 13.259 * [backup-simplify]: Simplify 0 into 0 13.260 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 13.264 * [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)) 13.265 * [backup-simplify]: Simplify (- 0) into 0 13.265 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 13.265 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 13.265 * [taylor]: Taking taylor expansion of 1/720 in x 13.265 * [backup-simplify]: Simplify 1/720 into 1/720 13.265 * [taylor]: Taking taylor expansion of (pow x 6) in x 13.265 * [taylor]: Taking taylor expansion of x in x 13.265 * [backup-simplify]: Simplify 0 into 0 13.265 * [backup-simplify]: Simplify 1 into 1 13.265 * [backup-simplify]: Simplify (* 1 1) into 1 13.265 * [backup-simplify]: Simplify (* 1 1) into 1 13.266 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 13.266 * [backup-simplify]: Simplify 1/6 into 1/6 13.266 * [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))))) 13.266 * [backup-simplify]: Simplify (exp (log (expm1 (* (/ 1 a) (/ 1 x))))) into (expm1 (/ 1 (* a x))) 13.266 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 13.266 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 13.266 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.266 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.266 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.266 * [taylor]: Taking taylor expansion of (* a x) in x 13.266 * [taylor]: Taking taylor expansion of a in x 13.266 * [backup-simplify]: Simplify a into a 13.266 * [taylor]: Taking taylor expansion of x in x 13.266 * [backup-simplify]: Simplify 0 into 0 13.266 * [backup-simplify]: Simplify 1 into 1 13.266 * [backup-simplify]: Simplify (* a 0) into 0 13.267 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.267 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.267 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.267 * [taylor]: Taking taylor expansion of 1 in x 13.267 * [backup-simplify]: Simplify 1 into 1 13.267 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.267 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.267 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.267 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.267 * [taylor]: Taking taylor expansion of (* a x) in a 13.267 * [taylor]: Taking taylor expansion of a in a 13.267 * [backup-simplify]: Simplify 0 into 0 13.267 * [backup-simplify]: Simplify 1 into 1 13.267 * [taylor]: Taking taylor expansion of x in a 13.267 * [backup-simplify]: Simplify x into x 13.267 * [backup-simplify]: Simplify (* 0 x) into 0 13.267 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.267 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.267 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.267 * [taylor]: Taking taylor expansion of 1 in a 13.267 * [backup-simplify]: Simplify 1 into 1 13.267 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.267 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.267 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.267 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.267 * [taylor]: Taking taylor expansion of (* a x) in a 13.268 * [taylor]: Taking taylor expansion of a in a 13.268 * [backup-simplify]: Simplify 0 into 0 13.268 * [backup-simplify]: Simplify 1 into 1 13.268 * [taylor]: Taking taylor expansion of x in a 13.268 * [backup-simplify]: Simplify x into x 13.268 * [backup-simplify]: Simplify (* 0 x) into 0 13.268 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.268 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.268 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.268 * [taylor]: Taking taylor expansion of 1 in a 13.268 * [backup-simplify]: Simplify 1 into 1 13.268 * [backup-simplify]: Simplify (- 1) into -1 13.268 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.268 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 13.268 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.268 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.268 * [taylor]: Taking taylor expansion of (* a x) in x 13.268 * [taylor]: Taking taylor expansion of a in x 13.268 * [backup-simplify]: Simplify a into a 13.268 * [taylor]: Taking taylor expansion of x in x 13.268 * [backup-simplify]: Simplify 0 into 0 13.268 * [backup-simplify]: Simplify 1 into 1 13.269 * [backup-simplify]: Simplify (* a 0) into 0 13.269 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.269 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.269 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.269 * [taylor]: Taking taylor expansion of 1 in x 13.269 * [backup-simplify]: Simplify 1 into 1 13.270 * [backup-simplify]: Simplify (- 1) into -1 13.270 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.270 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 13.270 * [backup-simplify]: Simplify (- 0) into 0 13.271 * [backup-simplify]: Simplify (+ 0 0) into 0 13.271 * [taylor]: Taking taylor expansion of 0 in x 13.271 * [backup-simplify]: Simplify 0 into 0 13.271 * [backup-simplify]: Simplify 0 into 0 13.271 * [backup-simplify]: Simplify (- 0) into 0 13.272 * [backup-simplify]: Simplify (+ 0 0) into 0 13.272 * [backup-simplify]: Simplify 0 into 0 13.272 * [backup-simplify]: Simplify (- 0) into 0 13.272 * [backup-simplify]: Simplify (+ 0 0) into 0 13.272 * [taylor]: Taking taylor expansion of 0 in x 13.272 * [backup-simplify]: Simplify 0 into 0 13.272 * [backup-simplify]: Simplify 0 into 0 13.273 * [backup-simplify]: Simplify 0 into 0 13.273 * [backup-simplify]: Simplify (- 0) into 0 13.273 * [backup-simplify]: Simplify (+ 0 0) into 0 13.273 * [backup-simplify]: Simplify 0 into 0 13.274 * [backup-simplify]: Simplify (- 0) into 0 13.274 * [backup-simplify]: Simplify (+ 0 0) into 0 13.274 * [taylor]: Taking taylor expansion of 0 in x 13.274 * [backup-simplify]: Simplify 0 into 0 13.274 * [backup-simplify]: Simplify 0 into 0 13.274 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 13.275 * [backup-simplify]: Simplify (exp (log (expm1 (* (/ 1 (- a)) (/ 1 (- x)))))) into (expm1 (/ 1 (* a x))) 13.275 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 13.275 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 13.275 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.275 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.275 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.275 * [taylor]: Taking taylor expansion of (* a x) in x 13.275 * [taylor]: Taking taylor expansion of a in x 13.275 * [backup-simplify]: Simplify a into a 13.275 * [taylor]: Taking taylor expansion of x in x 13.275 * [backup-simplify]: Simplify 0 into 0 13.275 * [backup-simplify]: Simplify 1 into 1 13.275 * [backup-simplify]: Simplify (* a 0) into 0 13.275 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.275 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.276 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.276 * [taylor]: Taking taylor expansion of 1 in x 13.276 * [backup-simplify]: Simplify 1 into 1 13.276 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.276 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.276 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.276 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.276 * [taylor]: Taking taylor expansion of (* a x) in a 13.276 * [taylor]: Taking taylor expansion of a in a 13.276 * [backup-simplify]: Simplify 0 into 0 13.276 * [backup-simplify]: Simplify 1 into 1 13.276 * [taylor]: Taking taylor expansion of x in a 13.276 * [backup-simplify]: Simplify x into x 13.276 * [backup-simplify]: Simplify (* 0 x) into 0 13.276 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.276 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.277 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.277 * [taylor]: Taking taylor expansion of 1 in a 13.277 * [backup-simplify]: Simplify 1 into 1 13.277 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.277 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.277 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.277 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.277 * [taylor]: Taking taylor expansion of (* a x) in a 13.277 * [taylor]: Taking taylor expansion of a in a 13.277 * [backup-simplify]: Simplify 0 into 0 13.277 * [backup-simplify]: Simplify 1 into 1 13.277 * [taylor]: Taking taylor expansion of x in a 13.277 * [backup-simplify]: Simplify x into x 13.277 * [backup-simplify]: Simplify (* 0 x) into 0 13.277 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.277 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.278 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.278 * [taylor]: Taking taylor expansion of 1 in a 13.278 * [backup-simplify]: Simplify 1 into 1 13.278 * [backup-simplify]: Simplify (- 1) into -1 13.278 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.278 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 13.278 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.278 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.278 * [taylor]: Taking taylor expansion of (* a x) in x 13.278 * [taylor]: Taking taylor expansion of a in x 13.278 * [backup-simplify]: Simplify a into a 13.278 * [taylor]: Taking taylor expansion of x in x 13.278 * [backup-simplify]: Simplify 0 into 0 13.278 * [backup-simplify]: Simplify 1 into 1 13.278 * [backup-simplify]: Simplify (* a 0) into 0 13.279 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.279 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.279 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.279 * [taylor]: Taking taylor expansion of 1 in x 13.279 * [backup-simplify]: Simplify 1 into 1 13.279 * [backup-simplify]: Simplify (- 1) into -1 13.280 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.280 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 13.280 * [backup-simplify]: Simplify (- 0) into 0 13.281 * [backup-simplify]: Simplify (+ 0 0) into 0 13.281 * [taylor]: Taking taylor expansion of 0 in x 13.281 * [backup-simplify]: Simplify 0 into 0 13.281 * [backup-simplify]: Simplify 0 into 0 13.281 * [backup-simplify]: Simplify (- 0) into 0 13.281 * [backup-simplify]: Simplify (+ 0 0) into 0 13.282 * [backup-simplify]: Simplify 0 into 0 13.282 * [backup-simplify]: Simplify (- 0) into 0 13.282 * [backup-simplify]: Simplify (+ 0 0) into 0 13.282 * [taylor]: Taking taylor expansion of 0 in x 13.282 * [backup-simplify]: Simplify 0 into 0 13.282 * [backup-simplify]: Simplify 0 into 0 13.282 * [backup-simplify]: Simplify 0 into 0 13.283 * [backup-simplify]: Simplify (- 0) into 0 13.283 * [backup-simplify]: Simplify (+ 0 0) into 0 13.283 * [backup-simplify]: Simplify 0 into 0 13.283 * [backup-simplify]: Simplify (- 0) into 0 13.284 * [backup-simplify]: Simplify (+ 0 0) into 0 13.284 * [taylor]: Taking taylor expansion of 0 in x 13.284 * [backup-simplify]: Simplify 0 into 0 13.284 * [backup-simplify]: Simplify 0 into 0 13.284 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 13.284 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 13.284 * [backup-simplify]: Simplify (expm1 (* a x)) into (expm1 (* a x)) 13.284 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 13.284 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 13.284 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 13.284 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 13.284 * [taylor]: Taking taylor expansion of (* a x) in x 13.284 * [taylor]: Taking taylor expansion of a in x 13.284 * [backup-simplify]: Simplify a into a 13.284 * [taylor]: Taking taylor expansion of x in x 13.284 * [backup-simplify]: Simplify 0 into 0 13.285 * [backup-simplify]: Simplify 1 into 1 13.285 * [backup-simplify]: Simplify (* a 0) into 0 13.285 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.285 * [backup-simplify]: Simplify (exp 0) into 1 13.285 * [taylor]: Taking taylor expansion of 1 in x 13.285 * [backup-simplify]: Simplify 1 into 1 13.285 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 13.285 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 13.285 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 13.285 * [taylor]: Taking taylor expansion of (* a x) in a 13.285 * [taylor]: Taking taylor expansion of a in a 13.285 * [backup-simplify]: Simplify 0 into 0 13.285 * [backup-simplify]: Simplify 1 into 1 13.285 * [taylor]: Taking taylor expansion of x in a 13.285 * [backup-simplify]: Simplify x into x 13.285 * [backup-simplify]: Simplify (* 0 x) into 0 13.286 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.286 * [backup-simplify]: Simplify (exp 0) into 1 13.286 * [taylor]: Taking taylor expansion of 1 in a 13.286 * [backup-simplify]: Simplify 1 into 1 13.286 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 13.286 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 13.286 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 13.286 * [taylor]: Taking taylor expansion of (* a x) in a 13.286 * [taylor]: Taking taylor expansion of a in a 13.286 * [backup-simplify]: Simplify 0 into 0 13.286 * [backup-simplify]: Simplify 1 into 1 13.286 * [taylor]: Taking taylor expansion of x in a 13.286 * [backup-simplify]: Simplify x into x 13.286 * [backup-simplify]: Simplify (* 0 x) into 0 13.286 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.286 * [backup-simplify]: Simplify (exp 0) into 1 13.286 * [taylor]: Taking taylor expansion of 1 in a 13.287 * [backup-simplify]: Simplify 1 into 1 13.287 * [backup-simplify]: Simplify (- 1) into -1 13.287 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.287 * [taylor]: Taking taylor expansion of 0 in x 13.287 * [backup-simplify]: Simplify 0 into 0 13.287 * [backup-simplify]: Simplify 0 into 0 13.288 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 13.288 * [backup-simplify]: Simplify (- 0) into 0 13.288 * [backup-simplify]: Simplify (+ x 0) into x 13.288 * [taylor]: Taking taylor expansion of x in x 13.288 * [backup-simplify]: Simplify 0 into 0 13.288 * [backup-simplify]: Simplify 1 into 1 13.288 * [backup-simplify]: Simplify 0 into 0 13.288 * [backup-simplify]: Simplify 0 into 0 13.289 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 13.290 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 13.290 * [backup-simplify]: Simplify (- 0) into 0 13.290 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 13.290 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 13.290 * [taylor]: Taking taylor expansion of 1/2 in x 13.290 * [backup-simplify]: Simplify 1/2 into 1/2 13.290 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.290 * [taylor]: Taking taylor expansion of x in x 13.290 * [backup-simplify]: Simplify 0 into 0 13.290 * [backup-simplify]: Simplify 1 into 1 13.291 * [backup-simplify]: Simplify 1 into 1 13.291 * [backup-simplify]: Simplify 0 into 0 13.292 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 13.293 * [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)) 13.293 * [backup-simplify]: Simplify (- 0) into 0 13.294 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 13.294 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 13.294 * [taylor]: Taking taylor expansion of 1/6 in x 13.294 * [backup-simplify]: Simplify 1/6 into 1/6 13.294 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.294 * [taylor]: Taking taylor expansion of x in x 13.294 * [backup-simplify]: Simplify 0 into 0 13.294 * [backup-simplify]: Simplify 1 into 1 13.294 * [backup-simplify]: Simplify 0 into 0 13.294 * [backup-simplify]: Simplify 0 into 0 13.296 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 13.298 * [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)) 13.298 * [backup-simplify]: Simplify (- 0) into 0 13.299 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 13.299 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 13.299 * [taylor]: Taking taylor expansion of 1/24 in x 13.299 * [backup-simplify]: Simplify 1/24 into 1/24 13.299 * [taylor]: Taking taylor expansion of (pow x 4) in x 13.299 * [taylor]: Taking taylor expansion of x in x 13.299 * [backup-simplify]: Simplify 0 into 0 13.299 * [backup-simplify]: Simplify 1 into 1 13.299 * [backup-simplify]: Simplify (* 1 1) into 1 13.300 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 13.300 * [backup-simplify]: Simplify 1/2 into 1/2 13.300 * [backup-simplify]: Simplify 0 into 0 13.300 * [backup-simplify]: Simplify 0 into 0 13.302 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 13.305 * [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)) 13.306 * [backup-simplify]: Simplify (- 0) into 0 13.306 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 13.306 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 13.306 * [taylor]: Taking taylor expansion of 1/120 in x 13.306 * [backup-simplify]: Simplify 1/120 into 1/120 13.306 * [taylor]: Taking taylor expansion of (pow x 5) in x 13.306 * [taylor]: Taking taylor expansion of x in x 13.306 * [backup-simplify]: Simplify 0 into 0 13.306 * [backup-simplify]: Simplify 1 into 1 13.307 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.308 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 13.308 * [backup-simplify]: Simplify 0 into 0 13.308 * [backup-simplify]: Simplify 0 into 0 13.308 * [backup-simplify]: Simplify 0 into 0 13.310 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 13.317 * [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)) 13.317 * [backup-simplify]: Simplify (- 0) into 0 13.317 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 13.317 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 13.317 * [taylor]: Taking taylor expansion of 1/720 in x 13.317 * [backup-simplify]: Simplify 1/720 into 1/720 13.317 * [taylor]: Taking taylor expansion of (pow x 6) in x 13.317 * [taylor]: Taking taylor expansion of x in x 13.317 * [backup-simplify]: Simplify 0 into 0 13.317 * [backup-simplify]: Simplify 1 into 1 13.318 * [backup-simplify]: Simplify (* 1 1) into 1 13.318 * [backup-simplify]: Simplify (* 1 1) into 1 13.318 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 13.318 * [backup-simplify]: Simplify 1/6 into 1/6 13.319 * [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))))) 13.319 * [backup-simplify]: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x))) 13.319 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 13.319 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 13.319 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.319 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.319 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.319 * [taylor]: Taking taylor expansion of (* a x) in x 13.319 * [taylor]: Taking taylor expansion of a in x 13.319 * [backup-simplify]: Simplify a into a 13.319 * [taylor]: Taking taylor expansion of x in x 13.319 * [backup-simplify]: Simplify 0 into 0 13.319 * [backup-simplify]: Simplify 1 into 1 13.319 * [backup-simplify]: Simplify (* a 0) into 0 13.319 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.319 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.319 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.319 * [taylor]: Taking taylor expansion of 1 in x 13.319 * [backup-simplify]: Simplify 1 into 1 13.319 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.319 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.319 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.319 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.319 * [taylor]: Taking taylor expansion of (* a x) in a 13.319 * [taylor]: Taking taylor expansion of a in a 13.319 * [backup-simplify]: Simplify 0 into 0 13.319 * [backup-simplify]: Simplify 1 into 1 13.319 * [taylor]: Taking taylor expansion of x in a 13.319 * [backup-simplify]: Simplify x into x 13.320 * [backup-simplify]: Simplify (* 0 x) into 0 13.320 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.320 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.320 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.320 * [taylor]: Taking taylor expansion of 1 in a 13.320 * [backup-simplify]: Simplify 1 into 1 13.320 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.320 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.320 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.320 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.320 * [taylor]: Taking taylor expansion of (* a x) in a 13.320 * [taylor]: Taking taylor expansion of a in a 13.320 * [backup-simplify]: Simplify 0 into 0 13.320 * [backup-simplify]: Simplify 1 into 1 13.320 * [taylor]: Taking taylor expansion of x in a 13.320 * [backup-simplify]: Simplify x into x 13.320 * [backup-simplify]: Simplify (* 0 x) into 0 13.320 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.320 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.320 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.321 * [taylor]: Taking taylor expansion of 1 in a 13.321 * [backup-simplify]: Simplify 1 into 1 13.321 * [backup-simplify]: Simplify (- 1) into -1 13.321 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.321 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 13.321 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.321 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.321 * [taylor]: Taking taylor expansion of (* a x) in x 13.321 * [taylor]: Taking taylor expansion of a in x 13.321 * [backup-simplify]: Simplify a into a 13.321 * [taylor]: Taking taylor expansion of x in x 13.321 * [backup-simplify]: Simplify 0 into 0 13.321 * [backup-simplify]: Simplify 1 into 1 13.321 * [backup-simplify]: Simplify (* a 0) into 0 13.321 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.321 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.321 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.321 * [taylor]: Taking taylor expansion of 1 in x 13.321 * [backup-simplify]: Simplify 1 into 1 13.322 * [backup-simplify]: Simplify (- 1) into -1 13.322 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.322 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 13.322 * [backup-simplify]: Simplify (- 0) into 0 13.322 * [backup-simplify]: Simplify (+ 0 0) into 0 13.322 * [taylor]: Taking taylor expansion of 0 in x 13.322 * [backup-simplify]: Simplify 0 into 0 13.322 * [backup-simplify]: Simplify 0 into 0 13.323 * [backup-simplify]: Simplify (- 0) into 0 13.323 * [backup-simplify]: Simplify (+ 0 0) into 0 13.323 * [backup-simplify]: Simplify 0 into 0 13.323 * [backup-simplify]: Simplify (- 0) into 0 13.323 * [backup-simplify]: Simplify (+ 0 0) into 0 13.323 * [taylor]: Taking taylor expansion of 0 in x 13.323 * [backup-simplify]: Simplify 0 into 0 13.323 * [backup-simplify]: Simplify 0 into 0 13.323 * [backup-simplify]: Simplify 0 into 0 13.324 * [backup-simplify]: Simplify (- 0) into 0 13.324 * [backup-simplify]: Simplify (+ 0 0) into 0 13.324 * [backup-simplify]: Simplify 0 into 0 13.324 * [backup-simplify]: Simplify (- 0) into 0 13.324 * [backup-simplify]: Simplify (+ 0 0) into 0 13.324 * [taylor]: Taking taylor expansion of 0 in x 13.325 * [backup-simplify]: Simplify 0 into 0 13.325 * [backup-simplify]: Simplify 0 into 0 13.325 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 13.325 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x))) 13.325 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 13.325 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 13.325 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.325 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.325 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.325 * [taylor]: Taking taylor expansion of (* a x) in x 13.325 * [taylor]: Taking taylor expansion of a in x 13.325 * [backup-simplify]: Simplify a into a 13.325 * [taylor]: Taking taylor expansion of x in x 13.325 * [backup-simplify]: Simplify 0 into 0 13.325 * [backup-simplify]: Simplify 1 into 1 13.325 * [backup-simplify]: Simplify (* a 0) into 0 13.325 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.325 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.325 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.325 * [taylor]: Taking taylor expansion of 1 in x 13.325 * [backup-simplify]: Simplify 1 into 1 13.325 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.325 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.325 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.325 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.325 * [taylor]: Taking taylor expansion of (* a x) in a 13.326 * [taylor]: Taking taylor expansion of a in a 13.326 * [backup-simplify]: Simplify 0 into 0 13.326 * [backup-simplify]: Simplify 1 into 1 13.326 * [taylor]: Taking taylor expansion of x in a 13.326 * [backup-simplify]: Simplify x into x 13.326 * [backup-simplify]: Simplify (* 0 x) into 0 13.326 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.326 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.326 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.326 * [taylor]: Taking taylor expansion of 1 in a 13.326 * [backup-simplify]: Simplify 1 into 1 13.326 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 13.326 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 13.326 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 13.326 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 13.326 * [taylor]: Taking taylor expansion of (* a x) in a 13.326 * [taylor]: Taking taylor expansion of a in a 13.326 * [backup-simplify]: Simplify 0 into 0 13.326 * [backup-simplify]: Simplify 1 into 1 13.326 * [taylor]: Taking taylor expansion of x in a 13.326 * [backup-simplify]: Simplify x into x 13.326 * [backup-simplify]: Simplify (* 0 x) into 0 13.326 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 13.327 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.327 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.327 * [taylor]: Taking taylor expansion of 1 in a 13.327 * [backup-simplify]: Simplify 1 into 1 13.327 * [backup-simplify]: Simplify (- 1) into -1 13.327 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.327 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 13.327 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 13.327 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 13.327 * [taylor]: Taking taylor expansion of (* a x) in x 13.327 * [taylor]: Taking taylor expansion of a in x 13.327 * [backup-simplify]: Simplify a into a 13.327 * [taylor]: Taking taylor expansion of x in x 13.327 * [backup-simplify]: Simplify 0 into 0 13.327 * [backup-simplify]: Simplify 1 into 1 13.327 * [backup-simplify]: Simplify (* a 0) into 0 13.327 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 13.327 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 13.328 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 13.328 * [taylor]: Taking taylor expansion of 1 in x 13.328 * [backup-simplify]: Simplify 1 into 1 13.328 * [backup-simplify]: Simplify (- 1) into -1 13.328 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 13.328 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 13.328 * [backup-simplify]: Simplify (- 0) into 0 13.328 * [backup-simplify]: Simplify (+ 0 0) into 0 13.328 * [taylor]: Taking taylor expansion of 0 in x 13.328 * [backup-simplify]: Simplify 0 into 0 13.328 * [backup-simplify]: Simplify 0 into 0 13.329 * [backup-simplify]: Simplify (- 0) into 0 13.329 * [backup-simplify]: Simplify (+ 0 0) into 0 13.329 * [backup-simplify]: Simplify 0 into 0 13.329 * [backup-simplify]: Simplify (- 0) into 0 13.330 * [backup-simplify]: Simplify (+ 0 0) into 0 13.330 * [taylor]: Taking taylor expansion of 0 in x 13.330 * [backup-simplify]: Simplify 0 into 0 13.330 * [backup-simplify]: Simplify 0 into 0 13.330 * [backup-simplify]: Simplify 0 into 0 13.330 * [backup-simplify]: Simplify (- 0) into 0 13.330 * [backup-simplify]: Simplify (+ 0 0) into 0 13.330 * [backup-simplify]: Simplify 0 into 0 13.330 * [backup-simplify]: Simplify (- 0) into 0 13.331 * [backup-simplify]: Simplify (+ 0 0) into 0 13.331 * [taylor]: Taking taylor expansion of 0 in x 13.331 * [backup-simplify]: Simplify 0 into 0 13.331 * [backup-simplify]: Simplify 0 into 0 13.331 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 13.331 * * * [progress]: simplifying candidates 13.331 * * * * [progress]: [ 1 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 2 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 3 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 4 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 5 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 6 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 7 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 8 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 9 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 10 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 11 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 12 / 54 ] simplifiying candidate # 13.331 * * * * [progress]: [ 13 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 14 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 15 / 54 ] simplifiying candidate #real (real->posit16 (log (expm1 (* a x)))))))> 13.332 * * * * [progress]: [ 16 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 17 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 18 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 19 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 20 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 21 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 22 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 23 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 24 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 25 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 26 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 27 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 28 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 29 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 30 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 31 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 32 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 33 / 54 ] simplifiying candidate #real (real->posit16 (exp (log (expm1 (* a x)))))))> 13.332 * * * * [progress]: [ 34 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 35 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 36 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 37 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 38 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 39 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 40 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 41 / 54 ] simplifiying candidate # 13.332 * * * * [progress]: [ 42 / 54 ] simplifiying candidate # 13.333 * * * * [progress]: [ 43 / 54 ] simplifiying candidate # 13.333 * * * * [progress]: [ 44 / 54 ] simplifiying candidate # 13.333 * * * * [progress]: [ 45 / 54 ] simplifiying candidate #real (real->posit16 (expm1 (* a x)))))))> 13.333 * * * * [progress]: [ 46 / 54 ] simplifiying candidate # 13.333 * * * * [progress]: [ 47 / 54 ] simplifiying candidate # 13.333 * * * * [progress]: [ 48 / 54 ] simplifiying candidate # 13.333 * * * * [progress]: [ 49 / 54 ] simplifiying candidate # 13.333 * * * * [progress]: [ 50 / 54 ] simplifiying candidate # 13.333 * * * * [progress]: [ 51 / 54 ] simplifiying candidate # 13.333 * * * * [progress]: [ 52 / 54 ] simplifiying candidate # 13.333 * * * * [progress]: [ 53 / 54 ] simplifiying candidate # 13.333 * * * * [progress]: [ 54 / 54 ] simplifiying candidate # 13.333 * [simplify]: Simplifying: (expm1 (log (expm1 (* a x)))) (log1p (log (expm1 (* a x)))) (log (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))) (log (cbrt (expm1 (* a x)))) (log (sqrt (expm1 (* a x)))) (log (sqrt (expm1 (* a x)))) (log 1) (log (expm1 (* a x))) (log (expm1 (* a x))) (log (log (expm1 (* a x)))) (exp (log (expm1 (* a x)))) (* (cbrt (log (expm1 (* a x)))) (cbrt (log (expm1 (* a x))))) (cbrt (log (expm1 (* a x)))) (* (* (log (expm1 (* a x))) (log (expm1 (* a x)))) (log (expm1 (* a x)))) (sqrt (log (expm1 (* a x)))) (sqrt (log (expm1 (* a x)))) (real->posit16 (log (expm1 (* a x)))) (expm1 (exp (log (expm1 (* a x))))) (log1p (exp (log (expm1 (* a x))))) (exp 1) (exp (* (cbrt (log (expm1 (* a x)))) (cbrt (log (expm1 (* a x)))))) (exp (sqrt (log (expm1 (* a x))))) (exp 1) (exp (log (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))))) (exp (log (cbrt (expm1 (* a x))))) (exp (log (sqrt (expm1 (* a x))))) (exp (log (sqrt (expm1 (* a x))))) (exp (log 1)) (exp (log (expm1 (* a x)))) (log (exp (log (expm1 (* a x))))) (exp (exp (log (expm1 (* a x))))) (* (cbrt (exp (log (expm1 (* a x))))) (cbrt (exp (log (expm1 (* a x)))))) (cbrt (exp (log (expm1 (* a x))))) (* (* (exp (log (expm1 (* a x)))) (exp (log (expm1 (* a x))))) (exp (log (expm1 (* a x))))) (sqrt (exp (log (expm1 (* a x))))) (sqrt (exp (log (expm1 (* a x))))) (real->posit16 (exp (log (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 (* a x)) (+ (log a) (+ (* 1/24 (* (pow a 2) (pow x 2))) (log x)))) (log (- (exp (* a x)) 1)) (log (- (exp (* a x)) 1)) (+ (* 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) (+ (* 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) 13.334 * * [simplify]: iteration 1: (71 enodes) 13.350 * * [simplify]: iteration 2: (144 enodes) 13.399 * * [simplify]: iteration 3: (330 enodes) 13.571 * * [simplify]: iteration 4: (960 enodes) 15.013 * * [simplify]: Extracting #0: cost 29 inf + 0 15.013 * * [simplify]: Extracting #1: cost 154 inf + 3 15.016 * * [simplify]: Extracting #2: cost 436 inf + 1831 15.024 * * [simplify]: Extracting #3: cost 307 inf + 26043 15.043 * * [simplify]: Extracting #4: cost 81 inf + 102337 15.069 * * [simplify]: Extracting #5: cost 13 inf + 135760 15.109 * * [simplify]: Extracting #6: cost 0 inf + 143119 15.158 * [simplify]: Simplified to: (expm1 (log (expm1 (* a x)))) (log1p (log (expm1 (* a x)))) (log (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))) (log (cbrt (expm1 (* a x)))) (log (sqrt (expm1 (* a x)))) (log (sqrt (expm1 (* a x)))) 0 (log (expm1 (* a x))) (log (expm1 (* a x))) (log (log (expm1 (* a x)))) (expm1 (* a x)) (* (cbrt (log (expm1 (* a x)))) (cbrt (log (expm1 (* a x))))) (cbrt (log (expm1 (* a x)))) (* (log (expm1 (* a x))) (* (log (expm1 (* a x))) (log (expm1 (* a x))))) (sqrt (log (expm1 (* a x)))) (sqrt (log (expm1 (* a x)))) (real->posit16 (log (expm1 (* a x)))) (expm1 (expm1 (* a x))) (* a x) E (exp (* (cbrt (log (expm1 (* a x)))) (cbrt (log (expm1 (* a x)))))) (exp (sqrt (log (expm1 (* a x))))) E (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (cbrt (expm1 (* a x))) (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x))) 1 (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))) (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) (+ (fma (* (* a x) (* a x)) 1/24 (log a)) (log x))) (log (expm1 (* a x))) (log (expm1 (* a x))) (fma (* (* a x) (* (* a x) (* a x))) 1/6 (fma 1/2 (* (* a x) (* a x)) (* a x))) (expm1 (* a x)) (expm1 (* a x)) (fma (* (* a x) (* (* a x) (* a x))) 1/6 (fma 1/2 (* (* a x) (* a x)) (* a x))) (expm1 (* a x)) (expm1 (* a x)) 15.161 * * * [progress]: adding candidates to table 15.371 * [progress]: [Phase 3 of 3] Extracting. 15.371 * * [regime]: Finding splitpoints for: (# # #) 15.372 * * * [regime-changes]: Trying 3 branch expressions: ((* a x) x a) 15.372 * * * * [regimes]: Trying to branch on (* a x) from (# # #) 15.417 * * * * [regimes]: Trying to branch on x from (# # #) 15.466 * * * * [regimes]: Trying to branch on a from (# # #) 15.513 * * * [regime]: Found split indices: #