41.385 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.068 * * * [progress]: [2/2] Setting up program. 0.072 * [progress]: [Phase 2 of 3] Improving. 0.072 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.072 * [simplify]: Simplifying: (- (exp (* a x)) 1) 0.072 * * [simplify]: iteration 0: 6 enodes 0.075 * * [simplify]: iteration 1: 15 enodes 0.078 * * [simplify]: iteration 2: 19 enodes 0.082 * * [simplify]: iteration 3: 31 enodes 0.090 * * [simplify]: iteration 4: 60 enodes 0.108 * * [simplify]: iteration 5: 145 enodes 0.167 * * [simplify]: iteration 6: 399 enodes 0.522 * * [simplify]: iteration 7: 1531 enodes 0.848 * * [simplify]: iteration 8: 2007 enodes 1.168 * * [simplify]: iteration complete: 2007 enodes 1.169 * * [simplify]: Extracting #0: cost 1 inf + 0 1.169 * * [simplify]: Extracting #1: cost 159 inf + 0 1.171 * * [simplify]: Extracting #2: cost 304 inf + 3 1.174 * * [simplify]: Extracting #3: cost 332 inf + 1071 1.184 * * [simplify]: Extracting #4: cost 238 inf + 37540 1.204 * * [simplify]: Extracting #5: cost 57 inf + 152636 1.254 * * [simplify]: Extracting #6: cost 0 inf + 199231 1.310 * * [simplify]: Extracting #7: cost 0 inf + 198592 1.357 * [simplify]: Simplified to: (expm1 (* a x)) 1.368 * * [progress]: iteration 1 / 4 1.368 * * * [progress]: picking best candidate 1.371 * * * * [pick]: Picked # 1.371 * * * [progress]: localizing error 1.376 * * * [progress]: generating rewritten candidates 1.376 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.377 * * * [progress]: generating series expansions 1.377 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.377 * [backup-simplify]: Simplify (expm1 (* a x)) into (expm1 (* a x)) 1.377 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 1.377 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 1.377 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 1.377 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 1.377 * [taylor]: Taking taylor expansion of (* a x) in x 1.377 * [taylor]: Taking taylor expansion of a in x 1.377 * [backup-simplify]: Simplify a into a 1.377 * [taylor]: Taking taylor expansion of x in x 1.377 * [backup-simplify]: Simplify 0 into 0 1.377 * [backup-simplify]: Simplify 1 into 1 1.377 * [backup-simplify]: Simplify (* a 0) into 0 1.378 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 1.378 * [backup-simplify]: Simplify (exp 0) into 1 1.378 * [taylor]: Taking taylor expansion of 1 in x 1.378 * [backup-simplify]: Simplify 1 into 1 1.378 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 1.378 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 1.378 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 1.378 * [taylor]: Taking taylor expansion of (* a x) in a 1.378 * [taylor]: Taking taylor expansion of a in a 1.378 * [backup-simplify]: Simplify 0 into 0 1.378 * [backup-simplify]: Simplify 1 into 1 1.378 * [taylor]: Taking taylor expansion of x in a 1.378 * [backup-simplify]: Simplify x into x 1.378 * [backup-simplify]: Simplify (* 0 x) into 0 1.378 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 1.378 * [backup-simplify]: Simplify (exp 0) into 1 1.379 * [taylor]: Taking taylor expansion of 1 in a 1.379 * [backup-simplify]: Simplify 1 into 1 1.379 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 1.379 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 1.379 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 1.379 * [taylor]: Taking taylor expansion of (* a x) in a 1.379 * [taylor]: Taking taylor expansion of a in a 1.379 * [backup-simplify]: Simplify 0 into 0 1.379 * [backup-simplify]: Simplify 1 into 1 1.379 * [taylor]: Taking taylor expansion of x in a 1.379 * [backup-simplify]: Simplify x into x 1.379 * [backup-simplify]: Simplify (* 0 x) into 0 1.379 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 1.379 * [backup-simplify]: Simplify (exp 0) into 1 1.379 * [taylor]: Taking taylor expansion of 1 in a 1.379 * [backup-simplify]: Simplify 1 into 1 1.379 * [backup-simplify]: Simplify (- 1) into -1 1.380 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.380 * [taylor]: Taking taylor expansion of 0 in x 1.380 * [backup-simplify]: Simplify 0 into 0 1.380 * [backup-simplify]: Simplify 0 into 0 1.380 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 1.380 * [backup-simplify]: Simplify (- 0) into 0 1.380 * [backup-simplify]: Simplify (+ x 0) into x 1.380 * [taylor]: Taking taylor expansion of x in x 1.380 * [backup-simplify]: Simplify 0 into 0 1.380 * [backup-simplify]: Simplify 1 into 1 1.380 * [backup-simplify]: Simplify 0 into 0 1.380 * [backup-simplify]: Simplify 0 into 0 1.381 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 1.381 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 1.382 * [backup-simplify]: Simplify (- 0) into 0 1.382 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 1.382 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1.382 * [taylor]: Taking taylor expansion of 1/2 in x 1.382 * [backup-simplify]: Simplify 1/2 into 1/2 1.382 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.382 * [taylor]: Taking taylor expansion of x in x 1.382 * [backup-simplify]: Simplify 0 into 0 1.382 * [backup-simplify]: Simplify 1 into 1 1.382 * [backup-simplify]: Simplify 1 into 1 1.382 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 1.383 * [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)) 1.384 * [backup-simplify]: Simplify (- 0) into 0 1.384 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 1.384 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1.384 * [taylor]: Taking taylor expansion of 1/6 in x 1.384 * [backup-simplify]: Simplify 1/6 into 1/6 1.384 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.384 * [taylor]: Taking taylor expansion of x in x 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [backup-simplify]: Simplify 1 into 1 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [backup-simplify]: Simplify 0 into 0 1.385 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 1.386 * [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)) 1.387 * [backup-simplify]: Simplify (- 0) into 0 1.387 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 1.387 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 1.387 * [taylor]: Taking taylor expansion of 1/24 in x 1.387 * [backup-simplify]: Simplify 1/24 into 1/24 1.387 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.387 * [taylor]: Taking taylor expansion of x in x 1.387 * [backup-simplify]: Simplify 0 into 0 1.387 * [backup-simplify]: Simplify 1 into 1 1.388 * [backup-simplify]: Simplify (* 1 1) into 1 1.388 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1.388 * [backup-simplify]: Simplify 1/2 into 1/2 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify 0 into 0 1.391 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 1.393 * [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)) 1.393 * [backup-simplify]: Simplify (- 0) into 0 1.393 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 1.393 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 1.393 * [taylor]: Taking taylor expansion of 1/120 in x 1.393 * [backup-simplify]: Simplify 1/120 into 1/120 1.393 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.393 * [taylor]: Taking taylor expansion of x in x 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify 1 into 1 1.394 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.394 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1.394 * [backup-simplify]: Simplify 0 into 0 1.394 * [backup-simplify]: Simplify 0 into 0 1.394 * [backup-simplify]: Simplify 0 into 0 1.396 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 1.400 * [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)) 1.400 * [backup-simplify]: Simplify (- 0) into 0 1.400 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 1.400 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 1.400 * [taylor]: Taking taylor expansion of 1/720 in x 1.400 * [backup-simplify]: Simplify 1/720 into 1/720 1.400 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.400 * [taylor]: Taking taylor expansion of x in x 1.400 * [backup-simplify]: Simplify 0 into 0 1.400 * [backup-simplify]: Simplify 1 into 1 1.401 * [backup-simplify]: Simplify (* 1 1) into 1 1.401 * [backup-simplify]: Simplify (* 1 1) into 1 1.401 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1.401 * [backup-simplify]: Simplify 1/6 into 1/6 1.402 * [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))))) 1.402 * [backup-simplify]: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x))) 1.402 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 1.402 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 1.402 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1.402 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.402 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.402 * [taylor]: Taking taylor expansion of (* a x) in x 1.402 * [taylor]: Taking taylor expansion of a in x 1.402 * [backup-simplify]: Simplify a into a 1.402 * [taylor]: Taking taylor expansion of x in x 1.402 * [backup-simplify]: Simplify 0 into 0 1.402 * [backup-simplify]: Simplify 1 into 1 1.402 * [backup-simplify]: Simplify (* a 0) into 0 1.402 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 1.402 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.402 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1.402 * [taylor]: Taking taylor expansion of 1 in x 1.402 * [backup-simplify]: Simplify 1 into 1 1.402 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 1.402 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1.402 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.402 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.403 * [taylor]: Taking taylor expansion of (* a x) in a 1.403 * [taylor]: Taking taylor expansion of a in a 1.403 * [backup-simplify]: Simplify 0 into 0 1.403 * [backup-simplify]: Simplify 1 into 1 1.403 * [taylor]: Taking taylor expansion of x in a 1.403 * [backup-simplify]: Simplify x into x 1.403 * [backup-simplify]: Simplify (* 0 x) into 0 1.403 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 1.403 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.403 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1.403 * [taylor]: Taking taylor expansion of 1 in a 1.403 * [backup-simplify]: Simplify 1 into 1 1.403 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 1.403 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1.403 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.403 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.403 * [taylor]: Taking taylor expansion of (* a x) in a 1.403 * [taylor]: Taking taylor expansion of a in a 1.403 * [backup-simplify]: Simplify 0 into 0 1.403 * [backup-simplify]: Simplify 1 into 1 1.403 * [taylor]: Taking taylor expansion of x in a 1.403 * [backup-simplify]: Simplify x into x 1.403 * [backup-simplify]: Simplify (* 0 x) into 0 1.404 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 1.404 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.404 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1.404 * [taylor]: Taking taylor expansion of 1 in a 1.404 * [backup-simplify]: Simplify 1 into 1 1.404 * [backup-simplify]: Simplify (- 1) into -1 1.404 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 1.404 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 1.404 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.404 * [taylor]: Taking taylor expansion of (* a x) in x 1.404 * [taylor]: Taking taylor expansion of a in x 1.404 * [backup-simplify]: Simplify a into a 1.404 * [taylor]: Taking taylor expansion of x in x 1.404 * [backup-simplify]: Simplify 0 into 0 1.404 * [backup-simplify]: Simplify 1 into 1 1.404 * [backup-simplify]: Simplify (* a 0) into 0 1.405 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 1.405 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.405 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1.405 * [taylor]: Taking taylor expansion of 1 in x 1.405 * [backup-simplify]: Simplify 1 into 1 1.405 * [backup-simplify]: Simplify (- 1) into -1 1.405 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 1.405 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 1.405 * [backup-simplify]: Simplify (- 0) into 0 1.406 * [backup-simplify]: Simplify (+ 0 0) into 0 1.406 * [taylor]: Taking taylor expansion of 0 in x 1.406 * [backup-simplify]: Simplify 0 into 0 1.406 * [backup-simplify]: Simplify 0 into 0 1.406 * [backup-simplify]: Simplify (- 0) into 0 1.406 * [backup-simplify]: Simplify (+ 0 0) into 0 1.406 * [backup-simplify]: Simplify 0 into 0 1.406 * [backup-simplify]: Simplify (- 0) into 0 1.407 * [backup-simplify]: Simplify (+ 0 0) into 0 1.407 * [taylor]: Taking taylor expansion of 0 in x 1.407 * [backup-simplify]: Simplify 0 into 0 1.407 * [backup-simplify]: Simplify 0 into 0 1.407 * [backup-simplify]: Simplify 0 into 0 1.407 * [backup-simplify]: Simplify (- 0) into 0 1.407 * [backup-simplify]: Simplify (+ 0 0) into 0 1.407 * [backup-simplify]: Simplify 0 into 0 1.407 * [backup-simplify]: Simplify (- 0) into 0 1.408 * [backup-simplify]: Simplify (+ 0 0) into 0 1.408 * [taylor]: Taking taylor expansion of 0 in x 1.408 * [backup-simplify]: Simplify 0 into 0 1.408 * [backup-simplify]: Simplify 0 into 0 1.408 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 1.408 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x))) 1.408 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 1.408 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 1.408 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1.408 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.408 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.408 * [taylor]: Taking taylor expansion of (* a x) in x 1.408 * [taylor]: Taking taylor expansion of a in x 1.408 * [backup-simplify]: Simplify a into a 1.408 * [taylor]: Taking taylor expansion of x in x 1.408 * [backup-simplify]: Simplify 0 into 0 1.408 * [backup-simplify]: Simplify 1 into 1 1.408 * [backup-simplify]: Simplify (* a 0) into 0 1.408 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 1.408 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.409 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1.409 * [taylor]: Taking taylor expansion of 1 in x 1.409 * [backup-simplify]: Simplify 1 into 1 1.409 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 1.409 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1.409 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.409 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.409 * [taylor]: Taking taylor expansion of (* a x) in a 1.409 * [taylor]: Taking taylor expansion of a in a 1.409 * [backup-simplify]: Simplify 0 into 0 1.409 * [backup-simplify]: Simplify 1 into 1 1.409 * [taylor]: Taking taylor expansion of x in a 1.409 * [backup-simplify]: Simplify x into x 1.409 * [backup-simplify]: Simplify (* 0 x) into 0 1.409 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 1.409 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.409 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1.409 * [taylor]: Taking taylor expansion of 1 in a 1.409 * [backup-simplify]: Simplify 1 into 1 1.409 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 1.409 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1.409 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1.409 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 1.409 * [taylor]: Taking taylor expansion of (* a x) in a 1.409 * [taylor]: Taking taylor expansion of a in a 1.409 * [backup-simplify]: Simplify 0 into 0 1.409 * [backup-simplify]: Simplify 1 into 1 1.409 * [taylor]: Taking taylor expansion of x in a 1.409 * [backup-simplify]: Simplify x into x 1.409 * [backup-simplify]: Simplify (* 0 x) into 0 1.410 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 1.410 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.410 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1.410 * [taylor]: Taking taylor expansion of 1 in a 1.410 * [backup-simplify]: Simplify 1 into 1 1.410 * [backup-simplify]: Simplify (- 1) into -1 1.410 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 1.410 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 1.410 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1.410 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 1.410 * [taylor]: Taking taylor expansion of (* a x) in x 1.410 * [taylor]: Taking taylor expansion of a in x 1.410 * [backup-simplify]: Simplify a into a 1.410 * [taylor]: Taking taylor expansion of x in x 1.410 * [backup-simplify]: Simplify 0 into 0 1.410 * [backup-simplify]: Simplify 1 into 1 1.410 * [backup-simplify]: Simplify (* a 0) into 0 1.411 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 1.411 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 1.411 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1.411 * [taylor]: Taking taylor expansion of 1 in x 1.411 * [backup-simplify]: Simplify 1 into 1 1.411 * [backup-simplify]: Simplify (- 1) into -1 1.411 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 1.411 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 1.411 * [backup-simplify]: Simplify (- 0) into 0 1.412 * [backup-simplify]: Simplify (+ 0 0) into 0 1.412 * [taylor]: Taking taylor expansion of 0 in x 1.412 * [backup-simplify]: Simplify 0 into 0 1.412 * [backup-simplify]: Simplify 0 into 0 1.412 * [backup-simplify]: Simplify (- 0) into 0 1.412 * [backup-simplify]: Simplify (+ 0 0) into 0 1.412 * [backup-simplify]: Simplify 0 into 0 1.412 * [backup-simplify]: Simplify (- 0) into 0 1.413 * [backup-simplify]: Simplify (+ 0 0) into 0 1.413 * [taylor]: Taking taylor expansion of 0 in x 1.413 * [backup-simplify]: Simplify 0 into 0 1.413 * [backup-simplify]: Simplify 0 into 0 1.413 * [backup-simplify]: Simplify 0 into 0 1.413 * [backup-simplify]: Simplify (- 0) into 0 1.413 * [backup-simplify]: Simplify (+ 0 0) into 0 1.413 * [backup-simplify]: Simplify 0 into 0 1.413 * [backup-simplify]: Simplify (- 0) into 0 1.414 * [backup-simplify]: Simplify (+ 0 0) into 0 1.414 * [taylor]: Taking taylor expansion of 0 in x 1.414 * [backup-simplify]: Simplify 0 into 0 1.414 * [backup-simplify]: Simplify 0 into 0 1.414 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 1.414 * * * [progress]: simplifying candidates 1.414 * * * * [progress]: [ 1 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 2 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 3 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 4 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 5 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 6 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 7 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 8 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 9 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 10 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 11 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #real (real->posit16 (expm1 (* a x)))))> 1.414 * * * * [progress]: [ 13 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 14 / 15 ] simplifiying candidate # 1.414 * * * * [progress]: [ 15 / 15 ] simplifiying candidate # 1.415 * [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) 1.415 * * [simplify]: iteration 0: 31 enodes 1.427 * * [simplify]: iteration 1: 74 enodes 1.454 * * [simplify]: iteration 2: 231 enodes 1.562 * * [simplify]: iteration 3: 881 enodes 1.969 * * [simplify]: iteration 4: 2004 enodes 2.411 * * [simplify]: iteration complete: 2004 enodes 2.412 * * [simplify]: Extracting #0: cost 12 inf + 0 2.412 * * [simplify]: Extracting #1: cost 111 inf + 0 2.415 * * [simplify]: Extracting #2: cost 428 inf + 948 2.425 * * [simplify]: Extracting #3: cost 350 inf + 20407 2.446 * * [simplify]: Extracting #4: cost 126 inf + 85664 2.480 * * [simplify]: Extracting #5: cost 31 inf + 118781 2.499 * * [simplify]: Extracting #6: cost 0 inf + 132526 2.518 * [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 (* (* a x) (* a x)) 1/2 (fma 1/6 (* (* (* a x) (* a x)) (* a x)) (* a x))) (expm1 (* a x)) (expm1 (* a x)) 2.518 * * * [progress]: adding candidates to table 2.596 * * [progress]: iteration 2 / 4 2.596 * * * [progress]: picking best candidate 2.601 * * * * [pick]: Picked # 2.601 * * * [progress]: localizing error 2.612 * * * [progress]: generating rewritten candidates 2.612 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 2.615 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 2.615 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 2.618 * * * [progress]: generating series expansions 2.618 * * * * [progress]: [ 1 / 3 ] generating series at (2) 2.618 * [backup-simplify]: Simplify (log (exp (expm1 (* a x)))) into (expm1 (* a x)) 2.618 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 2.618 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 2.619 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 2.619 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 2.619 * [taylor]: Taking taylor expansion of (* a x) in x 2.619 * [taylor]: Taking taylor expansion of a in x 2.619 * [backup-simplify]: Simplify a into a 2.619 * [taylor]: Taking taylor expansion of x in x 2.619 * [backup-simplify]: Simplify 0 into 0 2.619 * [backup-simplify]: Simplify 1 into 1 2.619 * [backup-simplify]: Simplify (* a 0) into 0 2.619 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.619 * [backup-simplify]: Simplify (exp 0) into 1 2.619 * [taylor]: Taking taylor expansion of 1 in x 2.619 * [backup-simplify]: Simplify 1 into 1 2.619 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 2.619 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 2.619 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 2.619 * [taylor]: Taking taylor expansion of (* a x) in a 2.619 * [taylor]: Taking taylor expansion of a in a 2.619 * [backup-simplify]: Simplify 0 into 0 2.620 * [backup-simplify]: Simplify 1 into 1 2.620 * [taylor]: Taking taylor expansion of x in a 2.620 * [backup-simplify]: Simplify x into x 2.620 * [backup-simplify]: Simplify (* 0 x) into 0 2.620 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.620 * [backup-simplify]: Simplify (exp 0) into 1 2.620 * [taylor]: Taking taylor expansion of 1 in a 2.620 * [backup-simplify]: Simplify 1 into 1 2.620 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 2.620 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 2.620 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 2.620 * [taylor]: Taking taylor expansion of (* a x) in a 2.620 * [taylor]: Taking taylor expansion of a in a 2.620 * [backup-simplify]: Simplify 0 into 0 2.620 * [backup-simplify]: Simplify 1 into 1 2.620 * [taylor]: Taking taylor expansion of x in a 2.620 * [backup-simplify]: Simplify x into x 2.620 * [backup-simplify]: Simplify (* 0 x) into 0 2.621 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.621 * [backup-simplify]: Simplify (exp 0) into 1 2.621 * [taylor]: Taking taylor expansion of 1 in a 2.621 * [backup-simplify]: Simplify 1 into 1 2.621 * [backup-simplify]: Simplify (- 1) into -1 2.621 * [backup-simplify]: Simplify (+ 1 -1) into 0 2.621 * [taylor]: Taking taylor expansion of 0 in x 2.621 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 2.622 * [backup-simplify]: Simplify (- 0) into 0 2.622 * [backup-simplify]: Simplify (+ x 0) into x 2.622 * [taylor]: Taking taylor expansion of x in x 2.622 * [backup-simplify]: Simplify 0 into 0 2.622 * [backup-simplify]: Simplify 1 into 1 2.622 * [backup-simplify]: Simplify 0 into 0 2.622 * [backup-simplify]: Simplify 0 into 0 2.622 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 2.623 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 2.623 * [backup-simplify]: Simplify (- 0) into 0 2.623 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 2.623 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 2.623 * [taylor]: Taking taylor expansion of 1/2 in x 2.623 * [backup-simplify]: Simplify 1/2 into 1/2 2.623 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.623 * [taylor]: Taking taylor expansion of x in x 2.623 * [backup-simplify]: Simplify 0 into 0 2.623 * [backup-simplify]: Simplify 1 into 1 2.623 * [backup-simplify]: Simplify 1 into 1 2.623 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 2.625 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow x 3)) 2.625 * [backup-simplify]: Simplify (- 0) into 0 2.625 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 2.625 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 2.625 * [taylor]: Taking taylor expansion of 1/6 in x 2.625 * [backup-simplify]: Simplify 1/6 into 1/6 2.625 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.625 * [taylor]: Taking taylor expansion of x in x 2.625 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify 1 into 1 2.625 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify 0 into 0 2.626 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 2.628 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow x 4)) 2.628 * [backup-simplify]: Simplify (- 0) into 0 2.629 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 2.629 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 2.629 * [taylor]: Taking taylor expansion of 1/24 in x 2.629 * [backup-simplify]: Simplify 1/24 into 1/24 2.629 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.629 * [taylor]: Taking taylor expansion of x in x 2.629 * [backup-simplify]: Simplify 0 into 0 2.629 * [backup-simplify]: Simplify 1 into 1 2.629 * [backup-simplify]: Simplify (* 1 1) into 1 2.629 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.629 * [backup-simplify]: Simplify 1/2 into 1/2 2.629 * [backup-simplify]: Simplify 0 into 0 2.629 * [backup-simplify]: Simplify 0 into 0 2.631 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 2.633 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 5) 120)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 2) 2)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow x 5)) 2.633 * [backup-simplify]: Simplify (- 0) into 0 2.633 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 2.633 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 2.633 * [taylor]: Taking taylor expansion of 1/120 in x 2.633 * [backup-simplify]: Simplify 1/120 into 1/120 2.633 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.633 * [taylor]: Taking taylor expansion of x in x 2.633 * [backup-simplify]: Simplify 0 into 0 2.633 * [backup-simplify]: Simplify 1 into 1 2.634 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.634 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 2.634 * [backup-simplify]: Simplify 0 into 0 2.634 * [backup-simplify]: Simplify 0 into 0 2.634 * [backup-simplify]: Simplify 0 into 0 2.636 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 2.639 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 6) 720)) (* (/ (pow x 4) 24) (/ (pow 0 1) 1)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 2) 2)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/720 (pow x 6)) 2.640 * [backup-simplify]: Simplify (- 0) into 0 2.640 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 2.640 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 2.640 * [taylor]: Taking taylor expansion of 1/720 in x 2.640 * [backup-simplify]: Simplify 1/720 into 1/720 2.640 * [taylor]: Taking taylor expansion of (pow x 6) in x 2.640 * [taylor]: Taking taylor expansion of x in x 2.640 * [backup-simplify]: Simplify 0 into 0 2.640 * [backup-simplify]: Simplify 1 into 1 2.640 * [backup-simplify]: Simplify (* 1 1) into 1 2.640 * [backup-simplify]: Simplify (* 1 1) into 1 2.641 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.641 * [backup-simplify]: Simplify 1/6 into 1/6 2.641 * [backup-simplify]: Simplify (+ (* 1/6 (pow (* x a) 3)) (+ (* 1/2 (pow (* x a) 2)) (* 1 (* x a)))) into (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))) 2.641 * [backup-simplify]: Simplify (log (exp (expm1 (* (/ 1 a) (/ 1 x))))) into (expm1 (/ 1 (* a x))) 2.641 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 2.641 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 2.641 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.641 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.641 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.641 * [taylor]: Taking taylor expansion of (* a x) in x 2.641 * [taylor]: Taking taylor expansion of a in x 2.641 * [backup-simplify]: Simplify a into a 2.641 * [taylor]: Taking taylor expansion of x in x 2.641 * [backup-simplify]: Simplify 0 into 0 2.641 * [backup-simplify]: Simplify 1 into 1 2.641 * [backup-simplify]: Simplify (* a 0) into 0 2.642 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.642 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.642 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.642 * [taylor]: Taking taylor expansion of 1 in x 2.642 * [backup-simplify]: Simplify 1 into 1 2.642 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.642 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.642 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.642 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.642 * [taylor]: Taking taylor expansion of (* a x) in a 2.642 * [taylor]: Taking taylor expansion of a in a 2.642 * [backup-simplify]: Simplify 0 into 0 2.642 * [backup-simplify]: Simplify 1 into 1 2.642 * [taylor]: Taking taylor expansion of x in a 2.642 * [backup-simplify]: Simplify x into x 2.642 * [backup-simplify]: Simplify (* 0 x) into 0 2.642 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.642 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.642 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.642 * [taylor]: Taking taylor expansion of 1 in a 2.642 * [backup-simplify]: Simplify 1 into 1 2.642 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.642 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.642 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.642 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.642 * [taylor]: Taking taylor expansion of (* a x) in a 2.642 * [taylor]: Taking taylor expansion of a in a 2.642 * [backup-simplify]: Simplify 0 into 0 2.642 * [backup-simplify]: Simplify 1 into 1 2.642 * [taylor]: Taking taylor expansion of x in a 2.643 * [backup-simplify]: Simplify x into x 2.643 * [backup-simplify]: Simplify (* 0 x) into 0 2.643 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.643 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.643 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.643 * [taylor]: Taking taylor expansion of 1 in a 2.643 * [backup-simplify]: Simplify 1 into 1 2.643 * [backup-simplify]: Simplify (- 1) into -1 2.643 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.643 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 2.643 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.643 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.643 * [taylor]: Taking taylor expansion of (* a x) in x 2.643 * [taylor]: Taking taylor expansion of a in x 2.643 * [backup-simplify]: Simplify a into a 2.643 * [taylor]: Taking taylor expansion of x in x 2.643 * [backup-simplify]: Simplify 0 into 0 2.643 * [backup-simplify]: Simplify 1 into 1 2.643 * [backup-simplify]: Simplify (* a 0) into 0 2.644 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.644 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.644 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.644 * [taylor]: Taking taylor expansion of 1 in x 2.644 * [backup-simplify]: Simplify 1 into 1 2.644 * [backup-simplify]: Simplify (- 1) into -1 2.644 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.644 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 2.645 * [backup-simplify]: Simplify (- 0) into 0 2.645 * [backup-simplify]: Simplify (+ 0 0) into 0 2.645 * [taylor]: Taking taylor expansion of 0 in x 2.645 * [backup-simplify]: Simplify 0 into 0 2.645 * [backup-simplify]: Simplify 0 into 0 2.645 * [backup-simplify]: Simplify (- 0) into 0 2.645 * [backup-simplify]: Simplify (+ 0 0) into 0 2.645 * [backup-simplify]: Simplify 0 into 0 2.646 * [backup-simplify]: Simplify (- 0) into 0 2.646 * [backup-simplify]: Simplify (+ 0 0) into 0 2.646 * [taylor]: Taking taylor expansion of 0 in x 2.646 * [backup-simplify]: Simplify 0 into 0 2.646 * [backup-simplify]: Simplify 0 into 0 2.646 * [backup-simplify]: Simplify 0 into 0 2.646 * [backup-simplify]: Simplify (- 0) into 0 2.646 * [backup-simplify]: Simplify (+ 0 0) into 0 2.646 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify (- 0) into 0 2.647 * [backup-simplify]: Simplify (+ 0 0) into 0 2.647 * [taylor]: Taking taylor expansion of 0 in x 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 2.647 * [backup-simplify]: Simplify (log (exp (expm1 (* (/ 1 (- a)) (/ 1 (- x)))))) into (expm1 (/ 1 (* a x))) 2.647 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 2.647 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 2.647 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.647 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.647 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.647 * [taylor]: Taking taylor expansion of (* a x) in x 2.647 * [taylor]: Taking taylor expansion of a in x 2.647 * [backup-simplify]: Simplify a into a 2.647 * [taylor]: Taking taylor expansion of x in x 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify 1 into 1 2.647 * [backup-simplify]: Simplify (* a 0) into 0 2.648 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.648 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.648 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.648 * [taylor]: Taking taylor expansion of 1 in x 2.648 * [backup-simplify]: Simplify 1 into 1 2.648 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.648 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.648 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.648 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.648 * [taylor]: Taking taylor expansion of (* a x) in a 2.648 * [taylor]: Taking taylor expansion of a in a 2.648 * [backup-simplify]: Simplify 0 into 0 2.648 * [backup-simplify]: Simplify 1 into 1 2.648 * [taylor]: Taking taylor expansion of x in a 2.648 * [backup-simplify]: Simplify x into x 2.648 * [backup-simplify]: Simplify (* 0 x) into 0 2.648 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.648 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.648 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.648 * [taylor]: Taking taylor expansion of 1 in a 2.648 * [backup-simplify]: Simplify 1 into 1 2.648 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.648 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.648 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.648 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.648 * [taylor]: Taking taylor expansion of (* a x) in a 2.648 * [taylor]: Taking taylor expansion of a in a 2.648 * [backup-simplify]: Simplify 0 into 0 2.648 * [backup-simplify]: Simplify 1 into 1 2.648 * [taylor]: Taking taylor expansion of x in a 2.649 * [backup-simplify]: Simplify x into x 2.649 * [backup-simplify]: Simplify (* 0 x) into 0 2.649 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.649 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.649 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.649 * [taylor]: Taking taylor expansion of 1 in a 2.649 * [backup-simplify]: Simplify 1 into 1 2.649 * [backup-simplify]: Simplify (- 1) into -1 2.649 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.649 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 2.649 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.649 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.649 * [taylor]: Taking taylor expansion of (* a x) in x 2.649 * [taylor]: Taking taylor expansion of a in x 2.649 * [backup-simplify]: Simplify a into a 2.649 * [taylor]: Taking taylor expansion of x in x 2.649 * [backup-simplify]: Simplify 0 into 0 2.649 * [backup-simplify]: Simplify 1 into 1 2.649 * [backup-simplify]: Simplify (* a 0) into 0 2.650 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.650 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.650 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.650 * [taylor]: Taking taylor expansion of 1 in x 2.650 * [backup-simplify]: Simplify 1 into 1 2.650 * [backup-simplify]: Simplify (- 1) into -1 2.650 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.650 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 2.650 * [backup-simplify]: Simplify (- 0) into 0 2.651 * [backup-simplify]: Simplify (+ 0 0) into 0 2.651 * [taylor]: Taking taylor expansion of 0 in x 2.651 * [backup-simplify]: Simplify 0 into 0 2.651 * [backup-simplify]: Simplify 0 into 0 2.651 * [backup-simplify]: Simplify (- 0) into 0 2.651 * [backup-simplify]: Simplify (+ 0 0) into 0 2.651 * [backup-simplify]: Simplify 0 into 0 2.652 * [backup-simplify]: Simplify (- 0) into 0 2.652 * [backup-simplify]: Simplify (+ 0 0) into 0 2.652 * [taylor]: Taking taylor expansion of 0 in x 2.652 * [backup-simplify]: Simplify 0 into 0 2.652 * [backup-simplify]: Simplify 0 into 0 2.652 * [backup-simplify]: Simplify 0 into 0 2.652 * [backup-simplify]: Simplify (- 0) into 0 2.652 * [backup-simplify]: Simplify (+ 0 0) into 0 2.652 * [backup-simplify]: Simplify 0 into 0 2.653 * [backup-simplify]: Simplify (- 0) into 0 2.653 * [backup-simplify]: Simplify (+ 0 0) into 0 2.653 * [taylor]: Taking taylor expansion of 0 in x 2.653 * [backup-simplify]: Simplify 0 into 0 2.653 * [backup-simplify]: Simplify 0 into 0 2.653 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 2.653 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 2.653 * [backup-simplify]: Simplify (expm1 (* a x)) into (expm1 (* a x)) 2.653 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 2.653 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 2.653 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 2.653 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 2.653 * [taylor]: Taking taylor expansion of (* a x) in x 2.653 * [taylor]: Taking taylor expansion of a in x 2.653 * [backup-simplify]: Simplify a into a 2.653 * [taylor]: Taking taylor expansion of x in x 2.653 * [backup-simplify]: Simplify 0 into 0 2.653 * [backup-simplify]: Simplify 1 into 1 2.653 * [backup-simplify]: Simplify (* a 0) into 0 2.654 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.654 * [backup-simplify]: Simplify (exp 0) into 1 2.654 * [taylor]: Taking taylor expansion of 1 in x 2.654 * [backup-simplify]: Simplify 1 into 1 2.654 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 2.654 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 2.654 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 2.654 * [taylor]: Taking taylor expansion of (* a x) in a 2.654 * [taylor]: Taking taylor expansion of a in a 2.654 * [backup-simplify]: Simplify 0 into 0 2.654 * [backup-simplify]: Simplify 1 into 1 2.654 * [taylor]: Taking taylor expansion of x in a 2.654 * [backup-simplify]: Simplify x into x 2.654 * [backup-simplify]: Simplify (* 0 x) into 0 2.654 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.654 * [backup-simplify]: Simplify (exp 0) into 1 2.654 * [taylor]: Taking taylor expansion of 1 in a 2.654 * [backup-simplify]: Simplify 1 into 1 2.654 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 2.654 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 2.654 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 2.654 * [taylor]: Taking taylor expansion of (* a x) in a 2.654 * [taylor]: Taking taylor expansion of a in a 2.654 * [backup-simplify]: Simplify 0 into 0 2.654 * [backup-simplify]: Simplify 1 into 1 2.654 * [taylor]: Taking taylor expansion of x in a 2.654 * [backup-simplify]: Simplify x into x 2.654 * [backup-simplify]: Simplify (* 0 x) into 0 2.655 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.655 * [backup-simplify]: Simplify (exp 0) into 1 2.655 * [taylor]: Taking taylor expansion of 1 in a 2.655 * [backup-simplify]: Simplify 1 into 1 2.655 * [backup-simplify]: Simplify (- 1) into -1 2.655 * [backup-simplify]: Simplify (+ 1 -1) into 0 2.655 * [taylor]: Taking taylor expansion of 0 in x 2.655 * [backup-simplify]: Simplify 0 into 0 2.655 * [backup-simplify]: Simplify 0 into 0 2.655 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 2.656 * [backup-simplify]: Simplify (- 0) into 0 2.656 * [backup-simplify]: Simplify (+ x 0) into x 2.656 * [taylor]: Taking taylor expansion of x in x 2.656 * [backup-simplify]: Simplify 0 into 0 2.656 * [backup-simplify]: Simplify 1 into 1 2.656 * [backup-simplify]: Simplify 0 into 0 2.656 * [backup-simplify]: Simplify 0 into 0 2.656 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 2.657 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 2.657 * [backup-simplify]: Simplify (- 0) into 0 2.657 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 2.657 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 2.657 * [taylor]: Taking taylor expansion of 1/2 in x 2.657 * [backup-simplify]: Simplify 1/2 into 1/2 2.657 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.657 * [taylor]: Taking taylor expansion of x in x 2.657 * [backup-simplify]: Simplify 0 into 0 2.657 * [backup-simplify]: Simplify 1 into 1 2.657 * [backup-simplify]: Simplify 1 into 1 2.657 * [backup-simplify]: Simplify 0 into 0 2.658 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 2.659 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow x 3)) 2.659 * [backup-simplify]: Simplify (- 0) into 0 2.659 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 2.659 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 2.659 * [taylor]: Taking taylor expansion of 1/6 in x 2.659 * [backup-simplify]: Simplify 1/6 into 1/6 2.659 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.659 * [taylor]: Taking taylor expansion of x in x 2.659 * [backup-simplify]: Simplify 0 into 0 2.659 * [backup-simplify]: Simplify 1 into 1 2.659 * [backup-simplify]: Simplify 0 into 0 2.659 * [backup-simplify]: Simplify 0 into 0 2.660 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 2.665 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow x 4)) 2.665 * [backup-simplify]: Simplify (- 0) into 0 2.665 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 2.665 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 2.665 * [taylor]: Taking taylor expansion of 1/24 in x 2.665 * [backup-simplify]: Simplify 1/24 into 1/24 2.665 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.665 * [taylor]: Taking taylor expansion of x in x 2.665 * [backup-simplify]: Simplify 0 into 0 2.665 * [backup-simplify]: Simplify 1 into 1 2.666 * [backup-simplify]: Simplify (* 1 1) into 1 2.666 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 2.666 * [backup-simplify]: Simplify 1/2 into 1/2 2.666 * [backup-simplify]: Simplify 0 into 0 2.666 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 2.669 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 5) 120)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 2) 2)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow x 5)) 2.670 * [backup-simplify]: Simplify (- 0) into 0 2.670 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 2.670 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 2.670 * [taylor]: Taking taylor expansion of 1/120 in x 2.670 * [backup-simplify]: Simplify 1/120 into 1/120 2.670 * [taylor]: Taking taylor expansion of (pow x 5) in x 2.670 * [taylor]: Taking taylor expansion of x in x 2.670 * [backup-simplify]: Simplify 0 into 0 2.670 * [backup-simplify]: Simplify 1 into 1 2.670 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.671 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 2.671 * [backup-simplify]: Simplify 0 into 0 2.671 * [backup-simplify]: Simplify 0 into 0 2.671 * [backup-simplify]: Simplify 0 into 0 2.672 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 2.676 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 6) 720)) (* (/ (pow x 4) 24) (/ (pow 0 1) 1)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 2) 2)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/720 (pow x 6)) 2.676 * [backup-simplify]: Simplify (- 0) into 0 2.676 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 2.676 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 2.676 * [taylor]: Taking taylor expansion of 1/720 in x 2.676 * [backup-simplify]: Simplify 1/720 into 1/720 2.676 * [taylor]: Taking taylor expansion of (pow x 6) in x 2.676 * [taylor]: Taking taylor expansion of x in x 2.676 * [backup-simplify]: Simplify 0 into 0 2.677 * [backup-simplify]: Simplify 1 into 1 2.677 * [backup-simplify]: Simplify (* 1 1) into 1 2.677 * [backup-simplify]: Simplify (* 1 1) into 1 2.677 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 2.677 * [backup-simplify]: Simplify 1/6 into 1/6 2.678 * [backup-simplify]: Simplify (+ (* 1/6 (pow (* x a) 3)) (+ (* 1/2 (pow (* x a) 2)) (* 1 (* x a)))) into (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))) 2.678 * [backup-simplify]: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x))) 2.678 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 2.678 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 2.678 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.678 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.678 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.678 * [taylor]: Taking taylor expansion of (* a x) in x 2.678 * [taylor]: Taking taylor expansion of a in x 2.678 * [backup-simplify]: Simplify a into a 2.678 * [taylor]: Taking taylor expansion of x in x 2.678 * [backup-simplify]: Simplify 0 into 0 2.678 * [backup-simplify]: Simplify 1 into 1 2.678 * [backup-simplify]: Simplify (* a 0) into 0 2.678 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.678 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.678 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.678 * [taylor]: Taking taylor expansion of 1 in x 2.678 * [backup-simplify]: Simplify 1 into 1 2.678 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.678 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.678 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.678 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.678 * [taylor]: Taking taylor expansion of (* a x) in a 2.678 * [taylor]: Taking taylor expansion of a in a 2.679 * [backup-simplify]: Simplify 0 into 0 2.679 * [backup-simplify]: Simplify 1 into 1 2.679 * [taylor]: Taking taylor expansion of x in a 2.679 * [backup-simplify]: Simplify x into x 2.679 * [backup-simplify]: Simplify (* 0 x) into 0 2.679 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.679 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.679 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.679 * [taylor]: Taking taylor expansion of 1 in a 2.679 * [backup-simplify]: Simplify 1 into 1 2.679 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.679 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.679 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.679 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.679 * [taylor]: Taking taylor expansion of (* a x) in a 2.679 * [taylor]: Taking taylor expansion of a in a 2.679 * [backup-simplify]: Simplify 0 into 0 2.679 * [backup-simplify]: Simplify 1 into 1 2.679 * [taylor]: Taking taylor expansion of x in a 2.679 * [backup-simplify]: Simplify x into x 2.679 * [backup-simplify]: Simplify (* 0 x) into 0 2.679 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.679 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.680 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.680 * [taylor]: Taking taylor expansion of 1 in a 2.680 * [backup-simplify]: Simplify 1 into 1 2.680 * [backup-simplify]: Simplify (- 1) into -1 2.680 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.680 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 2.680 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.680 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.680 * [taylor]: Taking taylor expansion of (* a x) in x 2.680 * [taylor]: Taking taylor expansion of a in x 2.680 * [backup-simplify]: Simplify a into a 2.680 * [taylor]: Taking taylor expansion of x in x 2.680 * [backup-simplify]: Simplify 0 into 0 2.680 * [backup-simplify]: Simplify 1 into 1 2.680 * [backup-simplify]: Simplify (* a 0) into 0 2.680 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.680 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.680 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.680 * [taylor]: Taking taylor expansion of 1 in x 2.681 * [backup-simplify]: Simplify 1 into 1 2.681 * [backup-simplify]: Simplify (- 1) into -1 2.681 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.681 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 2.681 * [backup-simplify]: Simplify (- 0) into 0 2.681 * [backup-simplify]: Simplify (+ 0 0) into 0 2.681 * [taylor]: Taking taylor expansion of 0 in x 2.681 * [backup-simplify]: Simplify 0 into 0 2.681 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify (- 0) into 0 2.682 * [backup-simplify]: Simplify (+ 0 0) into 0 2.682 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify (- 0) into 0 2.682 * [backup-simplify]: Simplify (+ 0 0) into 0 2.682 * [taylor]: Taking taylor expansion of 0 in x 2.682 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify 0 into 0 2.682 * [backup-simplify]: Simplify 0 into 0 2.683 * [backup-simplify]: Simplify (- 0) into 0 2.683 * [backup-simplify]: Simplify (+ 0 0) into 0 2.683 * [backup-simplify]: Simplify 0 into 0 2.683 * [backup-simplify]: Simplify (- 0) into 0 2.683 * [backup-simplify]: Simplify (+ 0 0) into 0 2.683 * [taylor]: Taking taylor expansion of 0 in x 2.683 * [backup-simplify]: Simplify 0 into 0 2.684 * [backup-simplify]: Simplify 0 into 0 2.684 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 2.684 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x))) 2.684 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 2.684 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 2.684 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.684 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.684 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.684 * [taylor]: Taking taylor expansion of (* a x) in x 2.684 * [taylor]: Taking taylor expansion of a in x 2.684 * [backup-simplify]: Simplify a into a 2.684 * [taylor]: Taking taylor expansion of x in x 2.684 * [backup-simplify]: Simplify 0 into 0 2.684 * [backup-simplify]: Simplify 1 into 1 2.684 * [backup-simplify]: Simplify (* a 0) into 0 2.684 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.684 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.684 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.684 * [taylor]: Taking taylor expansion of 1 in x 2.684 * [backup-simplify]: Simplify 1 into 1 2.684 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.684 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.684 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.684 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.684 * [taylor]: Taking taylor expansion of (* a x) in a 2.684 * [taylor]: Taking taylor expansion of a in a 2.684 * [backup-simplify]: Simplify 0 into 0 2.684 * [backup-simplify]: Simplify 1 into 1 2.684 * [taylor]: Taking taylor expansion of x in a 2.685 * [backup-simplify]: Simplify x into x 2.685 * [backup-simplify]: Simplify (* 0 x) into 0 2.685 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.685 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.685 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.685 * [taylor]: Taking taylor expansion of 1 in a 2.685 * [backup-simplify]: Simplify 1 into 1 2.685 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.685 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.685 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.685 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.685 * [taylor]: Taking taylor expansion of (* a x) in a 2.685 * [taylor]: Taking taylor expansion of a in a 2.685 * [backup-simplify]: Simplify 0 into 0 2.685 * [backup-simplify]: Simplify 1 into 1 2.685 * [taylor]: Taking taylor expansion of x in a 2.685 * [backup-simplify]: Simplify x into x 2.685 * [backup-simplify]: Simplify (* 0 x) into 0 2.685 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.685 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.686 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.686 * [taylor]: Taking taylor expansion of 1 in a 2.686 * [backup-simplify]: Simplify 1 into 1 2.686 * [backup-simplify]: Simplify (- 1) into -1 2.686 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.686 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 2.686 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.686 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.686 * [taylor]: Taking taylor expansion of (* a x) in x 2.686 * [taylor]: Taking taylor expansion of a in x 2.686 * [backup-simplify]: Simplify a into a 2.686 * [taylor]: Taking taylor expansion of x in x 2.686 * [backup-simplify]: Simplify 0 into 0 2.686 * [backup-simplify]: Simplify 1 into 1 2.686 * [backup-simplify]: Simplify (* a 0) into 0 2.686 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.686 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.686 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.686 * [taylor]: Taking taylor expansion of 1 in x 2.686 * [backup-simplify]: Simplify 1 into 1 2.687 * [backup-simplify]: Simplify (- 1) into -1 2.687 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.687 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 2.687 * [backup-simplify]: Simplify (- 0) into 0 2.687 * [backup-simplify]: Simplify (+ 0 0) into 0 2.687 * [taylor]: Taking taylor expansion of 0 in x 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [backup-simplify]: Simplify 0 into 0 2.688 * [backup-simplify]: Simplify (- 0) into 0 2.688 * [backup-simplify]: Simplify (+ 0 0) into 0 2.688 * [backup-simplify]: Simplify 0 into 0 2.688 * [backup-simplify]: Simplify (- 0) into 0 2.689 * [backup-simplify]: Simplify (+ 0 0) into 0 2.689 * [taylor]: Taking taylor expansion of 0 in x 2.689 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify (- 0) into 0 2.689 * [backup-simplify]: Simplify (+ 0 0) into 0 2.689 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify (- 0) into 0 2.690 * [backup-simplify]: Simplify (+ 0 0) into 0 2.690 * [taylor]: Taking taylor expansion of 0 in x 2.690 * [backup-simplify]: Simplify 0 into 0 2.690 * [backup-simplify]: Simplify 0 into 0 2.690 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 2.690 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 2.690 * [backup-simplify]: Simplify (exp (expm1 (* a x))) into (exp (expm1 (* a x))) 2.690 * [approximate]: Taking taylor expansion of (exp (expm1 (* a x))) in (a x) around 0 2.690 * [taylor]: Taking taylor expansion of (exp (expm1 (* a x))) in x 2.690 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 2.690 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 2.690 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 2.690 * [taylor]: Taking taylor expansion of (* a x) in x 2.690 * [taylor]: Taking taylor expansion of a in x 2.690 * [backup-simplify]: Simplify a into a 2.690 * [taylor]: Taking taylor expansion of x in x 2.690 * [backup-simplify]: Simplify 0 into 0 2.690 * [backup-simplify]: Simplify 1 into 1 2.690 * [backup-simplify]: Simplify (* a 0) into 0 2.690 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.690 * [backup-simplify]: Simplify (exp 0) into 1 2.690 * [taylor]: Taking taylor expansion of 1 in x 2.690 * [backup-simplify]: Simplify 1 into 1 2.691 * [backup-simplify]: Simplify (- 1) into -1 2.691 * [backup-simplify]: Simplify (+ 1 -1) into 0 2.691 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow a 1) 1)))) into a 2.691 * [backup-simplify]: Simplify (- 0) into 0 2.691 * [backup-simplify]: Simplify (+ a 0) into a 2.691 * [backup-simplify]: Simplify (exp 0) into 1 2.691 * [taylor]: Taking taylor expansion of (exp (expm1 (* a x))) in a 2.691 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 2.691 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 2.691 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 2.691 * [taylor]: Taking taylor expansion of (* a x) in a 2.691 * [taylor]: Taking taylor expansion of a in a 2.692 * [backup-simplify]: Simplify 0 into 0 2.692 * [backup-simplify]: Simplify 1 into 1 2.692 * [taylor]: Taking taylor expansion of x in a 2.692 * [backup-simplify]: Simplify x into x 2.692 * [backup-simplify]: Simplify (* 0 x) into 0 2.692 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.692 * [backup-simplify]: Simplify (exp 0) into 1 2.692 * [taylor]: Taking taylor expansion of 1 in a 2.692 * [backup-simplify]: Simplify 1 into 1 2.692 * [backup-simplify]: Simplify (- 1) into -1 2.692 * [backup-simplify]: Simplify (+ 1 -1) into 0 2.692 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 2.693 * [backup-simplify]: Simplify (- 0) into 0 2.693 * [backup-simplify]: Simplify (+ x 0) into x 2.693 * [backup-simplify]: Simplify (exp 0) into 1 2.693 * [taylor]: Taking taylor expansion of (exp (expm1 (* a x))) in a 2.693 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 2.693 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 2.693 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 2.693 * [taylor]: Taking taylor expansion of (* a x) in a 2.693 * [taylor]: Taking taylor expansion of a in a 2.693 * [backup-simplify]: Simplify 0 into 0 2.693 * [backup-simplify]: Simplify 1 into 1 2.693 * [taylor]: Taking taylor expansion of x in a 2.693 * [backup-simplify]: Simplify x into x 2.693 * [backup-simplify]: Simplify (* 0 x) into 0 2.693 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.693 * [backup-simplify]: Simplify (exp 0) into 1 2.693 * [taylor]: Taking taylor expansion of 1 in a 2.693 * [backup-simplify]: Simplify 1 into 1 2.694 * [backup-simplify]: Simplify (- 1) into -1 2.694 * [backup-simplify]: Simplify (+ 1 -1) into 0 2.694 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 2.694 * [backup-simplify]: Simplify (- 0) into 0 2.694 * [backup-simplify]: Simplify (+ x 0) into x 2.694 * [backup-simplify]: Simplify (exp 0) into 1 2.694 * [taylor]: Taking taylor expansion of 1 in x 2.694 * [backup-simplify]: Simplify 1 into 1 2.694 * [backup-simplify]: Simplify 1 into 1 2.694 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 2.694 * [taylor]: Taking taylor expansion of x in x 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 1 into 1 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 0 into 0 2.695 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 2.695 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 2.696 * [backup-simplify]: Simplify (- 0) into 0 2.696 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 2.696 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow (* 1/2 (pow x 2)) 1) 1)))) into (pow x 2) 2.696 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.696 * [taylor]: Taking taylor expansion of x in x 2.696 * [backup-simplify]: Simplify 0 into 0 2.696 * [backup-simplify]: Simplify 1 into 1 2.696 * [backup-simplify]: Simplify 1 into 1 2.696 * [backup-simplify]: Simplify 0 into 0 2.697 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 2.698 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow x 3)) 2.698 * [backup-simplify]: Simplify (- 0) into 0 2.698 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 2.698 * [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)) 2.698 * [taylor]: Taking taylor expansion of (* 5/6 (pow x 3)) in x 2.698 * [taylor]: Taking taylor expansion of 5/6 in x 2.698 * [backup-simplify]: Simplify 5/6 into 5/6 2.698 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.698 * [taylor]: Taking taylor expansion of x in x 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [backup-simplify]: Simplify 1 into 1 2.698 * [backup-simplify]: Simplify 0 into 0 2.698 * [backup-simplify]: Simplify 0 into 0 2.699 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 2.701 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow x 4)) 2.701 * [backup-simplify]: Simplify (- 0) into 0 2.701 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 2.702 * [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)) 2.702 * [taylor]: Taking taylor expansion of (* 5/8 (pow x 4)) in x 2.702 * [taylor]: Taking taylor expansion of 5/8 in x 2.702 * [backup-simplify]: Simplify 5/8 into 5/8 2.702 * [taylor]: Taking taylor expansion of (pow x 4) in x 2.702 * [taylor]: Taking taylor expansion of x in x 2.702 * [backup-simplify]: Simplify 0 into 0 2.702 * [backup-simplify]: Simplify 1 into 1 2.702 * [backup-simplify]: Simplify (* 1 1) into 1 2.702 * [backup-simplify]: Simplify 1 into 1 2.702 * [backup-simplify]: Simplify (+ (* 1 (pow (* x a) 2)) (+ (* 1 (* x a)) 1)) into (+ (* a x) (+ (* (pow a 2) (pow x 2)) 1)) 2.702 * [backup-simplify]: Simplify (exp (expm1 (* (/ 1 a) (/ 1 x)))) into (exp (expm1 (/ 1 (* a x)))) 2.702 * [approximate]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in (a x) around 0 2.702 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in x 2.702 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 2.702 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.702 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.703 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.703 * [taylor]: Taking taylor expansion of (* a x) in x 2.703 * [taylor]: Taking taylor expansion of a in x 2.703 * [backup-simplify]: Simplify a into a 2.703 * [taylor]: Taking taylor expansion of x in x 2.703 * [backup-simplify]: Simplify 0 into 0 2.703 * [backup-simplify]: Simplify 1 into 1 2.703 * [backup-simplify]: Simplify (* a 0) into 0 2.703 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.703 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.703 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.703 * [taylor]: Taking taylor expansion of 1 in x 2.703 * [backup-simplify]: Simplify 1 into 1 2.703 * [backup-simplify]: Simplify (- 1) into -1 2.703 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.703 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 2.703 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in a 2.703 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.703 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.704 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.704 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.704 * [taylor]: Taking taylor expansion of (* a x) in a 2.704 * [taylor]: Taking taylor expansion of a in a 2.704 * [backup-simplify]: Simplify 0 into 0 2.704 * [backup-simplify]: Simplify 1 into 1 2.704 * [taylor]: Taking taylor expansion of x in a 2.704 * [backup-simplify]: Simplify x into x 2.704 * [backup-simplify]: Simplify (* 0 x) into 0 2.704 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.704 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.704 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.704 * [taylor]: Taking taylor expansion of 1 in a 2.704 * [backup-simplify]: Simplify 1 into 1 2.704 * [backup-simplify]: Simplify (- 1) into -1 2.704 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.704 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 2.704 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in a 2.704 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.705 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.705 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.705 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.705 * [taylor]: Taking taylor expansion of (* a x) in a 2.705 * [taylor]: Taking taylor expansion of a in a 2.705 * [backup-simplify]: Simplify 0 into 0 2.705 * [backup-simplify]: Simplify 1 into 1 2.705 * [taylor]: Taking taylor expansion of x in a 2.705 * [backup-simplify]: Simplify x into x 2.705 * [backup-simplify]: Simplify (* 0 x) into 0 2.705 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.705 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.705 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.705 * [taylor]: Taking taylor expansion of 1 in a 2.705 * [backup-simplify]: Simplify 1 into 1 2.705 * [backup-simplify]: Simplify (- 1) into -1 2.705 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.705 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 2.705 * [taylor]: Taking taylor expansion of (exp (- (exp (/ 1 (* a x))) 1)) in x 2.706 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 2.706 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.706 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.706 * [taylor]: Taking taylor expansion of (* a x) in x 2.706 * [taylor]: Taking taylor expansion of a in x 2.706 * [backup-simplify]: Simplify a into a 2.706 * [taylor]: Taking taylor expansion of x in x 2.706 * [backup-simplify]: Simplify 0 into 0 2.706 * [backup-simplify]: Simplify 1 into 1 2.706 * [backup-simplify]: Simplify (* a 0) into 0 2.706 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.706 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.706 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.706 * [taylor]: Taking taylor expansion of 1 in x 2.706 * [backup-simplify]: Simplify 1 into 1 2.706 * [backup-simplify]: Simplify (- 1) into -1 2.706 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.706 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 2.707 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 2.707 * [backup-simplify]: Simplify (- 0) into 0 2.707 * [backup-simplify]: Simplify (+ 0 0) into 0 2.708 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 1) 1)))) into 0 2.708 * [taylor]: Taking taylor expansion of 0 in x 2.708 * [backup-simplify]: Simplify 0 into 0 2.708 * [backup-simplify]: Simplify 0 into 0 2.708 * [backup-simplify]: Simplify (- 0) into 0 2.708 * [backup-simplify]: Simplify (+ 0 0) into 0 2.709 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 1) 1)))) into 0 2.709 * [backup-simplify]: Simplify 0 into 0 2.709 * [backup-simplify]: Simplify (- 0) into 0 2.709 * [backup-simplify]: Simplify (+ 0 0) into 0 2.710 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.710 * [taylor]: Taking taylor expansion of 0 in x 2.710 * [backup-simplify]: Simplify 0 into 0 2.710 * [backup-simplify]: Simplify 0 into 0 2.710 * [backup-simplify]: Simplify 0 into 0 2.710 * [backup-simplify]: Simplify (- 0) into 0 2.710 * [backup-simplify]: Simplify (+ 0 0) into 0 2.711 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.711 * [backup-simplify]: Simplify 0 into 0 2.712 * [backup-simplify]: Simplify (- 0) into 0 2.712 * [backup-simplify]: Simplify (+ 0 0) into 0 2.713 * [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 2.713 * [taylor]: Taking taylor expansion of 0 in x 2.713 * [backup-simplify]: Simplify 0 into 0 2.713 * [backup-simplify]: Simplify 0 into 0 2.713 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1)) into (exp (- (exp (* a x)) 1)) 2.713 * [backup-simplify]: Simplify (exp (expm1 (* (/ 1 (- a)) (/ 1 (- x))))) into (exp (expm1 (/ 1 (* a x)))) 2.713 * [approximate]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in (a x) around 0 2.713 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in x 2.713 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 2.713 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.713 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.713 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.713 * [taylor]: Taking taylor expansion of (* a x) in x 2.713 * [taylor]: Taking taylor expansion of a in x 2.713 * [backup-simplify]: Simplify a into a 2.713 * [taylor]: Taking taylor expansion of x in x 2.713 * [backup-simplify]: Simplify 0 into 0 2.713 * [backup-simplify]: Simplify 1 into 1 2.713 * [backup-simplify]: Simplify (* a 0) into 0 2.714 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.714 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.714 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.714 * [taylor]: Taking taylor expansion of 1 in x 2.714 * [backup-simplify]: Simplify 1 into 1 2.714 * [backup-simplify]: Simplify (- 1) into -1 2.714 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.714 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 2.714 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in a 2.714 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.714 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.714 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.714 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.714 * [taylor]: Taking taylor expansion of (* a x) in a 2.714 * [taylor]: Taking taylor expansion of a in a 2.714 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify 1 into 1 2.714 * [taylor]: Taking taylor expansion of x in a 2.714 * [backup-simplify]: Simplify x into x 2.714 * [backup-simplify]: Simplify (* 0 x) into 0 2.715 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.715 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.715 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.715 * [taylor]: Taking taylor expansion of 1 in a 2.715 * [backup-simplify]: Simplify 1 into 1 2.715 * [backup-simplify]: Simplify (- 1) into -1 2.715 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.715 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 2.715 * [taylor]: Taking taylor expansion of (exp (expm1 (/ 1 (* a x)))) in a 2.715 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 2.715 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 2.715 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 2.715 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 2.715 * [taylor]: Taking taylor expansion of (* a x) in a 2.715 * [taylor]: Taking taylor expansion of a in a 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.715 * [taylor]: Taking taylor expansion of x in a 2.715 * [backup-simplify]: Simplify x into x 2.715 * [backup-simplify]: Simplify (* 0 x) into 0 2.716 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 2.716 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.716 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.716 * [taylor]: Taking taylor expansion of 1 in a 2.716 * [backup-simplify]: Simplify 1 into 1 2.716 * [backup-simplify]: Simplify (- 1) into -1 2.716 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.716 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 2.716 * [taylor]: Taking taylor expansion of (exp (- (exp (/ 1 (* a x))) 1)) in x 2.716 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 2.716 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 2.716 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 2.716 * [taylor]: Taking taylor expansion of (* a x) in x 2.716 * [taylor]: Taking taylor expansion of a in x 2.716 * [backup-simplify]: Simplify a into a 2.716 * [taylor]: Taking taylor expansion of x in x 2.716 * [backup-simplify]: Simplify 0 into 0 2.716 * [backup-simplify]: Simplify 1 into 1 2.716 * [backup-simplify]: Simplify (* a 0) into 0 2.717 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 2.717 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 2.717 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 2.717 * [taylor]: Taking taylor expansion of 1 in x 2.717 * [backup-simplify]: Simplify 1 into 1 2.717 * [backup-simplify]: Simplify (- 1) into -1 2.717 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 2.717 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 2.717 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* a x))) 1)) into (exp (- (exp (/ 1 (* a x))) 1)) 2.718 * [backup-simplify]: Simplify (- 0) into 0 2.718 * [backup-simplify]: Simplify (+ 0 0) into 0 2.718 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 1) 1)))) into 0 2.718 * [taylor]: Taking taylor expansion of 0 in x 2.718 * [backup-simplify]: Simplify 0 into 0 2.718 * [backup-simplify]: Simplify 0 into 0 2.719 * [backup-simplify]: Simplify (- 0) into 0 2.719 * [backup-simplify]: Simplify (+ 0 0) into 0 2.719 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 1) 1)))) into 0 2.719 * [backup-simplify]: Simplify 0 into 0 2.720 * [backup-simplify]: Simplify (- 0) into 0 2.720 * [backup-simplify]: Simplify (+ 0 0) into 0 2.721 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.721 * [taylor]: Taking taylor expansion of 0 in x 2.721 * [backup-simplify]: Simplify 0 into 0 2.721 * [backup-simplify]: Simplify 0 into 0 2.721 * [backup-simplify]: Simplify 0 into 0 2.721 * [backup-simplify]: Simplify (- 0) into 0 2.721 * [backup-simplify]: Simplify (+ 0 0) into 0 2.722 * [backup-simplify]: Simplify (* (exp (- (exp (/ 1 (* a x))) 1)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 2.722 * [backup-simplify]: Simplify 0 into 0 2.722 * [backup-simplify]: Simplify (- 0) into 0 2.723 * [backup-simplify]: Simplify (+ 0 0) into 0 2.723 * [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 2.724 * [taylor]: Taking taylor expansion of 0 in x 2.724 * [backup-simplify]: Simplify 0 into 0 2.724 * [backup-simplify]: Simplify 0 into 0 2.724 * [backup-simplify]: Simplify (exp (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1)) into (exp (- (exp (* a x)) 1)) 2.724 * * * [progress]: simplifying candidates 2.724 * * * * [progress]: [ 1 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 2 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 3 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 4 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 5 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 6 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 7 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 8 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 9 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 10 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 11 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 12 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 13 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 14 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 15 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 16 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 17 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 18 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 19 / 55 ] simplifiying candidate #real (real->posit16 (log (exp (expm1 (* a x)))))))> 2.724 * * * * [progress]: [ 20 / 55 ] simplifiying candidate # 2.724 * * * * [progress]: [ 21 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 22 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 23 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 24 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 25 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 26 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 27 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 28 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 29 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 30 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 31 / 55 ] simplifiying candidate #real (real->posit16 (expm1 (* a x)))))))> 2.725 * * * * [progress]: [ 32 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 33 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 34 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 35 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 36 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 37 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 38 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 39 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 40 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 41 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 42 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 43 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 44 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 45 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 46 / 55 ] simplifiying candidate #real (real->posit16 (exp (expm1 (* a x)))))))> 2.725 * * * * [progress]: [ 47 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 48 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 49 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 50 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 51 / 55 ] simplifiying candidate # 2.725 * * * * [progress]: [ 52 / 55 ] simplifiying candidate # 2.726 * * * * [progress]: [ 53 / 55 ] simplifiying candidate # 2.726 * * * * [progress]: [ 54 / 55 ] simplifiying candidate # 2.726 * * * * [progress]: [ 55 / 55 ] simplifiying candidate # 2.726 * [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)) 2.727 * * [simplify]: iteration 0: 66 enodes 2.740 * * [simplify]: iteration 1: 131 enodes 2.771 * * [simplify]: iteration 2: 300 enodes 2.862 * * [simplify]: iteration 3: 966 enodes 3.303 * * [simplify]: iteration 4: 2068 enodes 3.672 * * [simplify]: iteration complete: 2068 enodes 3.672 * * [simplify]: Extracting #0: cost 30 inf + 0 3.673 * * [simplify]: Extracting #1: cost 176 inf + 3 3.677 * * [simplify]: Extracting #2: cost 445 inf + 1992 3.685 * * [simplify]: Extracting #3: cost 323 inf + 30391 3.706 * * [simplify]: Extracting #4: cost 73 inf + 98964 3.738 * * [simplify]: Extracting #5: cost 17 inf + 123607 3.775 * * [simplify]: Extracting #6: cost 3 inf + 126584 3.795 * * [simplify]: Extracting #7: cost 0 inf + 127343 3.823 * [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 (* 3 (expm1 (* a x)))) (sqrt (exp (expm1 (* a x)))) (sqrt (exp (expm1 (* a x)))) (real->posit16 (exp (expm1 (* a x)))) (fma (* (* (* (* a x) (* a x)) x) 1/6) a (fma 1/2 (* (* a x) (* a x)) (* a x))) (expm1 (* a x)) (expm1 (* a x)) (fma (* (* (* (* a x) (* a x)) x) 1/6) a (fma 1/2 (* (* a x) (* a x)) (* a x))) (expm1 (* a x)) (expm1 (* a x)) (+ 1 (fma (* a x) (* a x) (* a x))) (exp (expm1 (* a x))) (exp (expm1 (* a x))) 3.825 * * * [progress]: adding candidates to table 4.317 * * [progress]: iteration 3 / 4 4.317 * * * [progress]: picking best candidate 4.319 * * * * [pick]: Picked # 4.319 * * * [progress]: localizing error 4.330 * * * [progress]: generating rewritten candidates 4.330 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 4.331 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 4.335 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 4.335 * * * [progress]: generating series expansions 4.335 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 4.335 * [backup-simplify]: Simplify (log (expm1 (* a x))) into (log (expm1 (* a x))) 4.336 * [approximate]: Taking taylor expansion of (log (expm1 (* a x))) in (a x) around 0 4.336 * [taylor]: Taking taylor expansion of (log (expm1 (* a x))) in x 4.336 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 4.336 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 4.336 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 4.336 * [taylor]: Taking taylor expansion of (* a x) in x 4.336 * [taylor]: Taking taylor expansion of a in x 4.336 * [backup-simplify]: Simplify a into a 4.336 * [taylor]: Taking taylor expansion of x in x 4.336 * [backup-simplify]: Simplify 0 into 0 4.336 * [backup-simplify]: Simplify 1 into 1 4.336 * [backup-simplify]: Simplify (* a 0) into 0 4.336 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.336 * [backup-simplify]: Simplify (exp 0) into 1 4.336 * [taylor]: Taking taylor expansion of 1 in x 4.336 * [backup-simplify]: Simplify 1 into 1 4.337 * [backup-simplify]: Simplify (- 1) into -1 4.337 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.337 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow a 1) 1)))) into a 4.337 * [backup-simplify]: Simplify (- 0) into 0 4.337 * [backup-simplify]: Simplify (+ a 0) into a 4.337 * [backup-simplify]: Simplify (log a) into (log a) 4.337 * [taylor]: Taking taylor expansion of (log (expm1 (* a x))) in a 4.337 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 4.337 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 4.337 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 4.337 * [taylor]: Taking taylor expansion of (* a x) in a 4.337 * [taylor]: Taking taylor expansion of a in a 4.337 * [backup-simplify]: Simplify 0 into 0 4.337 * [backup-simplify]: Simplify 1 into 1 4.337 * [taylor]: Taking taylor expansion of x in a 4.337 * [backup-simplify]: Simplify x into x 4.337 * [backup-simplify]: Simplify (* 0 x) into 0 4.338 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.338 * [backup-simplify]: Simplify (exp 0) into 1 4.338 * [taylor]: Taking taylor expansion of 1 in a 4.338 * [backup-simplify]: Simplify 1 into 1 4.338 * [backup-simplify]: Simplify (- 1) into -1 4.338 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.338 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 4.339 * [backup-simplify]: Simplify (- 0) into 0 4.339 * [backup-simplify]: Simplify (+ x 0) into x 4.339 * [backup-simplify]: Simplify (log x) into (log x) 4.339 * [taylor]: Taking taylor expansion of (log (expm1 (* a x))) in a 4.339 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 4.339 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 4.339 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 4.339 * [taylor]: Taking taylor expansion of (* a x) in a 4.339 * [taylor]: Taking taylor expansion of a in a 4.339 * [backup-simplify]: Simplify 0 into 0 4.339 * [backup-simplify]: Simplify 1 into 1 4.339 * [taylor]: Taking taylor expansion of x in a 4.339 * [backup-simplify]: Simplify x into x 4.339 * [backup-simplify]: Simplify (* 0 x) into 0 4.340 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.340 * [backup-simplify]: Simplify (exp 0) into 1 4.340 * [taylor]: Taking taylor expansion of 1 in a 4.340 * [backup-simplify]: Simplify 1 into 1 4.340 * [backup-simplify]: Simplify (- 1) into -1 4.341 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.341 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 4.341 * [backup-simplify]: Simplify (- 0) into 0 4.341 * [backup-simplify]: Simplify (+ x 0) into x 4.341 * [backup-simplify]: Simplify (log x) into (log x) 4.342 * [backup-simplify]: Simplify (+ (* (- -1) (log a)) (log x)) into (+ (log a) (log x)) 4.342 * [taylor]: Taking taylor expansion of (+ (log a) (log x)) in x 4.342 * [taylor]: Taking taylor expansion of (log a) in x 4.342 * [taylor]: Taking taylor expansion of a in x 4.342 * [backup-simplify]: Simplify a into a 4.342 * [backup-simplify]: Simplify (log a) into (log a) 4.342 * [taylor]: Taking taylor expansion of (log x) in x 4.342 * [taylor]: Taking taylor expansion of x in x 4.342 * [backup-simplify]: Simplify 0 into 0 4.342 * [backup-simplify]: Simplify 1 into 1 4.342 * [backup-simplify]: Simplify (log 1) into 0 4.343 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x) 4.343 * [backup-simplify]: Simplify (+ (log a) (log x)) into (+ (log a) (log x)) 4.343 * [backup-simplify]: Simplify (+ (log a) (log x)) into (+ (log a) (log x)) 4.344 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 4.345 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 4.345 * [backup-simplify]: Simplify (- 0) into 0 4.345 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 4.346 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (* 1/2 (pow x 2))) 1)) (pow x 1)))) 1) into (* 1/2 x) 4.346 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 4.346 * [taylor]: Taking taylor expansion of 1/2 in x 4.346 * [backup-simplify]: Simplify 1/2 into 1/2 4.346 * [taylor]: Taking taylor expansion of x in x 4.346 * [backup-simplify]: Simplify 0 into 0 4.346 * [backup-simplify]: Simplify 1 into 1 4.346 * [backup-simplify]: Simplify (* 1/2 0) into 0 4.346 * [backup-simplify]: Simplify 0 into 0 4.348 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow a 1)))) 1) into 0 4.349 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 4.349 * [backup-simplify]: Simplify (+ 0 0) into 0 4.349 * [backup-simplify]: Simplify 0 into 0 4.351 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 4.352 * [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)) 4.353 * [backup-simplify]: Simplify (- 0) into 0 4.353 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 4.353 * [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)) 4.353 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 2)) in x 4.353 * [taylor]: Taking taylor expansion of 1/24 in x 4.353 * [backup-simplify]: Simplify 1/24 into 1/24 4.353 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.353 * [taylor]: Taking taylor expansion of x in x 4.353 * [backup-simplify]: Simplify 0 into 0 4.354 * [backup-simplify]: Simplify 1 into 1 4.354 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 4.354 * [backup-simplify]: Simplify 1/2 into 1/2 4.355 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow a 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow a 1)))) 2) into 0 4.357 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 4.357 * [backup-simplify]: Simplify (+ 0 0) into 0 4.357 * [backup-simplify]: Simplify 0 into 0 4.358 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 4.360 * [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)) 4.360 * [backup-simplify]: Simplify (- 0) into 0 4.360 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 4.360 * [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 4.360 * [taylor]: Taking taylor expansion of 0 in x 4.360 * [backup-simplify]: Simplify 0 into 0 4.361 * [backup-simplify]: Simplify 0 into 0 4.361 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 4.361 * [backup-simplify]: Simplify 0 into 0 4.363 * [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 4.365 * [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 4.366 * [backup-simplify]: Simplify (+ 0 0) into 0 4.366 * [backup-simplify]: Simplify 0 into 0 4.367 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 4.369 * [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)) 4.369 * [backup-simplify]: Simplify (- 0) into 0 4.369 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 4.370 * [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)) 4.370 * [taylor]: Taking taylor expansion of (* -1/2880 (pow x 4)) in x 4.370 * [taylor]: Taking taylor expansion of -1/2880 in x 4.370 * [backup-simplify]: Simplify -1/2880 into -1/2880 4.370 * [taylor]: Taking taylor expansion of (pow x 4) in x 4.370 * [taylor]: Taking taylor expansion of x in x 4.370 * [backup-simplify]: Simplify 0 into 0 4.370 * [backup-simplify]: Simplify 1 into 1 4.370 * [backup-simplify]: Simplify 0 into 0 4.371 * [backup-simplify]: Simplify (* 1 1) into 1 4.371 * [backup-simplify]: Simplify (* 1/24 1) into 1/24 4.371 * [backup-simplify]: Simplify 1/24 into 1/24 4.371 * [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)))) 4.372 * [backup-simplify]: Simplify (log (expm1 (* (/ 1 a) (/ 1 x)))) into (log (expm1 (/ 1 (* a x)))) 4.372 * [approximate]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in (a x) around 0 4.372 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in x 4.372 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 4.372 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.372 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.372 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.372 * [taylor]: Taking taylor expansion of (* a x) in x 4.372 * [taylor]: Taking taylor expansion of a in x 4.372 * [backup-simplify]: Simplify a into a 4.372 * [taylor]: Taking taylor expansion of x in x 4.372 * [backup-simplify]: Simplify 0 into 0 4.372 * [backup-simplify]: Simplify 1 into 1 4.372 * [backup-simplify]: Simplify (* a 0) into 0 4.372 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.372 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.372 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.372 * [taylor]: Taking taylor expansion of 1 in x 4.372 * [backup-simplify]: Simplify 1 into 1 4.372 * [backup-simplify]: Simplify (- 1) into -1 4.373 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.373 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 4.373 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in a 4.373 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.373 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.373 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.373 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.373 * [taylor]: Taking taylor expansion of (* a x) in a 4.373 * [taylor]: Taking taylor expansion of a in a 4.373 * [backup-simplify]: Simplify 0 into 0 4.373 * [backup-simplify]: Simplify 1 into 1 4.373 * [taylor]: Taking taylor expansion of x in a 4.373 * [backup-simplify]: Simplify x into x 4.373 * [backup-simplify]: Simplify (* 0 x) into 0 4.373 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.373 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.373 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.373 * [taylor]: Taking taylor expansion of 1 in a 4.373 * [backup-simplify]: Simplify 1 into 1 4.374 * [backup-simplify]: Simplify (- 1) into -1 4.374 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.374 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 4.374 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in a 4.374 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.374 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.374 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.374 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.374 * [taylor]: Taking taylor expansion of (* a x) in a 4.374 * [taylor]: Taking taylor expansion of a in a 4.374 * [backup-simplify]: Simplify 0 into 0 4.374 * [backup-simplify]: Simplify 1 into 1 4.374 * [taylor]: Taking taylor expansion of x in a 4.374 * [backup-simplify]: Simplify x into x 4.374 * [backup-simplify]: Simplify (* 0 x) into 0 4.374 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.374 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.374 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.374 * [taylor]: Taking taylor expansion of 1 in a 4.374 * [backup-simplify]: Simplify 1 into 1 4.375 * [backup-simplify]: Simplify (- 1) into -1 4.375 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.375 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 4.375 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1)) in x 4.375 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 4.375 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.375 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.375 * [taylor]: Taking taylor expansion of (* a x) in x 4.375 * [taylor]: Taking taylor expansion of a in x 4.375 * [backup-simplify]: Simplify a into a 4.375 * [taylor]: Taking taylor expansion of x in x 4.375 * [backup-simplify]: Simplify 0 into 0 4.375 * [backup-simplify]: Simplify 1 into 1 4.375 * [backup-simplify]: Simplify (* a 0) into 0 4.375 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.375 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.375 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.375 * [taylor]: Taking taylor expansion of 1 in x 4.375 * [backup-simplify]: Simplify 1 into 1 4.376 * [backup-simplify]: Simplify (- 1) into -1 4.376 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.376 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 4.376 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 4.376 * [backup-simplify]: Simplify (- 0) into 0 4.376 * [backup-simplify]: Simplify (+ 0 0) into 0 4.377 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 1) into 0 4.377 * [taylor]: Taking taylor expansion of 0 in x 4.377 * [backup-simplify]: Simplify 0 into 0 4.377 * [backup-simplify]: Simplify 0 into 0 4.377 * [backup-simplify]: Simplify (- 0) into 0 4.377 * [backup-simplify]: Simplify (+ 0 0) into 0 4.378 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 1) into 0 4.378 * [backup-simplify]: Simplify 0 into 0 4.378 * [backup-simplify]: Simplify (- 0) into 0 4.378 * [backup-simplify]: Simplify (+ 0 0) into 0 4.379 * [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 4.379 * [taylor]: Taking taylor expansion of 0 in x 4.379 * [backup-simplify]: Simplify 0 into 0 4.380 * [backup-simplify]: Simplify 0 into 0 4.380 * [backup-simplify]: Simplify 0 into 0 4.380 * [backup-simplify]: Simplify (- 0) into 0 4.380 * [backup-simplify]: Simplify (+ 0 0) into 0 4.381 * [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 4.381 * [backup-simplify]: Simplify 0 into 0 4.381 * [backup-simplify]: Simplify (- 0) into 0 4.382 * [backup-simplify]: Simplify (+ 0 0) into 0 4.384 * [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 4.384 * [taylor]: Taking taylor expansion of 0 in x 4.384 * [backup-simplify]: Simplify 0 into 0 4.384 * [backup-simplify]: Simplify 0 into 0 4.384 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1)) into (log (- (exp (* a x)) 1)) 4.385 * [backup-simplify]: Simplify (log (expm1 (* (/ 1 (- a)) (/ 1 (- x))))) into (log (expm1 (/ 1 (* a x)))) 4.385 * [approximate]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in (a x) around 0 4.385 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in x 4.385 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 4.385 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.385 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.385 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.385 * [taylor]: Taking taylor expansion of (* a x) in x 4.385 * [taylor]: Taking taylor expansion of a in x 4.385 * [backup-simplify]: Simplify a into a 4.385 * [taylor]: Taking taylor expansion of x in x 4.385 * [backup-simplify]: Simplify 0 into 0 4.385 * [backup-simplify]: Simplify 1 into 1 4.385 * [backup-simplify]: Simplify (* a 0) into 0 4.385 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.386 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.386 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.386 * [taylor]: Taking taylor expansion of 1 in x 4.386 * [backup-simplify]: Simplify 1 into 1 4.386 * [backup-simplify]: Simplify (- 1) into -1 4.386 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.386 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 4.386 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in a 4.386 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.387 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.387 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.387 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.387 * [taylor]: Taking taylor expansion of (* a x) in a 4.387 * [taylor]: Taking taylor expansion of a in a 4.387 * [backup-simplify]: Simplify 0 into 0 4.387 * [backup-simplify]: Simplify 1 into 1 4.387 * [taylor]: Taking taylor expansion of x in a 4.387 * [backup-simplify]: Simplify x into x 4.387 * [backup-simplify]: Simplify (* 0 x) into 0 4.387 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.387 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.387 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.387 * [taylor]: Taking taylor expansion of 1 in a 4.387 * [backup-simplify]: Simplify 1 into 1 4.388 * [backup-simplify]: Simplify (- 1) into -1 4.388 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.388 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 4.388 * [taylor]: Taking taylor expansion of (log (expm1 (/ 1 (* a x)))) in a 4.388 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.388 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.388 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.388 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.388 * [taylor]: Taking taylor expansion of (* a x) in a 4.388 * [taylor]: Taking taylor expansion of a in a 4.388 * [backup-simplify]: Simplify 0 into 0 4.388 * [backup-simplify]: Simplify 1 into 1 4.388 * [taylor]: Taking taylor expansion of x in a 4.389 * [backup-simplify]: Simplify x into x 4.389 * [backup-simplify]: Simplify (* 0 x) into 0 4.389 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.389 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.389 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.389 * [taylor]: Taking taylor expansion of 1 in a 4.389 * [backup-simplify]: Simplify 1 into 1 4.390 * [backup-simplify]: Simplify (- 1) into -1 4.390 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.390 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 4.390 * [taylor]: Taking taylor expansion of (log (- (exp (/ 1 (* a x))) 1)) in x 4.390 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 4.390 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.390 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.390 * [taylor]: Taking taylor expansion of (* a x) in x 4.390 * [taylor]: Taking taylor expansion of a in x 4.390 * [backup-simplify]: Simplify a into a 4.390 * [taylor]: Taking taylor expansion of x in x 4.390 * [backup-simplify]: Simplify 0 into 0 4.390 * [backup-simplify]: Simplify 1 into 1 4.390 * [backup-simplify]: Simplify (* a 0) into 0 4.391 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.391 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.391 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.391 * [taylor]: Taking taylor expansion of 1 in x 4.391 * [backup-simplify]: Simplify 1 into 1 4.391 * [backup-simplify]: Simplify (- 1) into -1 4.392 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.392 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 4.392 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* a x))) 1)) into (log (- (exp (/ 1 (* a x))) 1)) 4.392 * [backup-simplify]: Simplify (- 0) into 0 4.393 * [backup-simplify]: Simplify (+ 0 0) into 0 4.393 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 1) into 0 4.394 * [taylor]: Taking taylor expansion of 0 in x 4.394 * [backup-simplify]: Simplify 0 into 0 4.394 * [backup-simplify]: Simplify 0 into 0 4.394 * [backup-simplify]: Simplify (- 0) into 0 4.394 * [backup-simplify]: Simplify (+ 0 0) into 0 4.395 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (exp (/ 1 (* a x))) 1) 1)))) 1) into 0 4.395 * [backup-simplify]: Simplify 0 into 0 4.396 * [backup-simplify]: Simplify (- 0) into 0 4.396 * [backup-simplify]: Simplify (+ 0 0) into 0 4.398 * [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 4.398 * [taylor]: Taking taylor expansion of 0 in x 4.398 * [backup-simplify]: Simplify 0 into 0 4.398 * [backup-simplify]: Simplify 0 into 0 4.398 * [backup-simplify]: Simplify 0 into 0 4.398 * [backup-simplify]: Simplify (- 0) into 0 4.399 * [backup-simplify]: Simplify (+ 0 0) into 0 4.401 * [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 4.401 * [backup-simplify]: Simplify 0 into 0 4.402 * [backup-simplify]: Simplify (- 0) into 0 4.402 * [backup-simplify]: Simplify (+ 0 0) into 0 4.405 * [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 4.405 * [taylor]: Taking taylor expansion of 0 in x 4.406 * [backup-simplify]: Simplify 0 into 0 4.406 * [backup-simplify]: Simplify 0 into 0 4.406 * [backup-simplify]: Simplify (log (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1)) into (log (- (exp (* a x)) 1)) 4.406 * * * * [progress]: [ 2 / 3 ] generating series at (2) 4.406 * [backup-simplify]: Simplify (exp (log (expm1 (* a x)))) into (expm1 (* a x)) 4.406 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 4.406 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 4.406 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 4.406 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 4.406 * [taylor]: Taking taylor expansion of (* a x) in x 4.406 * [taylor]: Taking taylor expansion of a in x 4.406 * [backup-simplify]: Simplify a into a 4.406 * [taylor]: Taking taylor expansion of x in x 4.406 * [backup-simplify]: Simplify 0 into 0 4.406 * [backup-simplify]: Simplify 1 into 1 4.406 * [backup-simplify]: Simplify (* a 0) into 0 4.407 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.407 * [backup-simplify]: Simplify (exp 0) into 1 4.407 * [taylor]: Taking taylor expansion of 1 in x 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 4.407 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 4.407 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 4.407 * [taylor]: Taking taylor expansion of (* a x) in a 4.407 * [taylor]: Taking taylor expansion of a in a 4.407 * [backup-simplify]: Simplify 0 into 0 4.407 * [backup-simplify]: Simplify 1 into 1 4.407 * [taylor]: Taking taylor expansion of x in a 4.407 * [backup-simplify]: Simplify x into x 4.407 * [backup-simplify]: Simplify (* 0 x) into 0 4.408 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.408 * [backup-simplify]: Simplify (exp 0) into 1 4.408 * [taylor]: Taking taylor expansion of 1 in a 4.408 * [backup-simplify]: Simplify 1 into 1 4.408 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 4.408 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 4.408 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 4.408 * [taylor]: Taking taylor expansion of (* a x) in a 4.408 * [taylor]: Taking taylor expansion of a in a 4.408 * [backup-simplify]: Simplify 0 into 0 4.408 * [backup-simplify]: Simplify 1 into 1 4.408 * [taylor]: Taking taylor expansion of x in a 4.408 * [backup-simplify]: Simplify x into x 4.408 * [backup-simplify]: Simplify (* 0 x) into 0 4.409 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.409 * [backup-simplify]: Simplify (exp 0) into 1 4.409 * [taylor]: Taking taylor expansion of 1 in a 4.409 * [backup-simplify]: Simplify 1 into 1 4.409 * [backup-simplify]: Simplify (- 1) into -1 4.410 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.410 * [taylor]: Taking taylor expansion of 0 in x 4.410 * [backup-simplify]: Simplify 0 into 0 4.410 * [backup-simplify]: Simplify 0 into 0 4.410 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 4.411 * [backup-simplify]: Simplify (- 0) into 0 4.411 * [backup-simplify]: Simplify (+ x 0) into x 4.411 * [taylor]: Taking taylor expansion of x in x 4.411 * [backup-simplify]: Simplify 0 into 0 4.411 * [backup-simplify]: Simplify 1 into 1 4.411 * [backup-simplify]: Simplify 0 into 0 4.411 * [backup-simplify]: Simplify 0 into 0 4.412 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 4.412 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 4.413 * [backup-simplify]: Simplify (- 0) into 0 4.413 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 4.413 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 4.413 * [taylor]: Taking taylor expansion of 1/2 in x 4.413 * [backup-simplify]: Simplify 1/2 into 1/2 4.413 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.413 * [taylor]: Taking taylor expansion of x in x 4.413 * [backup-simplify]: Simplify 0 into 0 4.413 * [backup-simplify]: Simplify 1 into 1 4.413 * [backup-simplify]: Simplify 1 into 1 4.413 * [backup-simplify]: Simplify 0 into 0 4.415 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 4.416 * [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)) 4.416 * [backup-simplify]: Simplify (- 0) into 0 4.417 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 4.417 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 4.417 * [taylor]: Taking taylor expansion of 1/6 in x 4.417 * [backup-simplify]: Simplify 1/6 into 1/6 4.417 * [taylor]: Taking taylor expansion of (pow x 3) in x 4.417 * [taylor]: Taking taylor expansion of x in x 4.417 * [backup-simplify]: Simplify 0 into 0 4.417 * [backup-simplify]: Simplify 1 into 1 4.417 * [backup-simplify]: Simplify 0 into 0 4.417 * [backup-simplify]: Simplify 0 into 0 4.424 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 4.426 * [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)) 4.427 * [backup-simplify]: Simplify (- 0) into 0 4.427 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 4.427 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 4.427 * [taylor]: Taking taylor expansion of 1/24 in x 4.427 * [backup-simplify]: Simplify 1/24 into 1/24 4.427 * [taylor]: Taking taylor expansion of (pow x 4) in x 4.427 * [taylor]: Taking taylor expansion of x in x 4.427 * [backup-simplify]: Simplify 0 into 0 4.427 * [backup-simplify]: Simplify 1 into 1 4.428 * [backup-simplify]: Simplify (* 1 1) into 1 4.428 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 4.428 * [backup-simplify]: Simplify 1/2 into 1/2 4.428 * [backup-simplify]: Simplify 0 into 0 4.428 * [backup-simplify]: Simplify 0 into 0 4.430 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 4.434 * [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)) 4.434 * [backup-simplify]: Simplify (- 0) into 0 4.435 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 4.435 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 4.435 * [taylor]: Taking taylor expansion of 1/120 in x 4.435 * [backup-simplify]: Simplify 1/120 into 1/120 4.435 * [taylor]: Taking taylor expansion of (pow x 5) in x 4.435 * [taylor]: Taking taylor expansion of x in x 4.435 * [backup-simplify]: Simplify 0 into 0 4.435 * [backup-simplify]: Simplify 1 into 1 4.436 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.436 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 4.436 * [backup-simplify]: Simplify 0 into 0 4.436 * [backup-simplify]: Simplify 0 into 0 4.437 * [backup-simplify]: Simplify 0 into 0 4.439 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 4.446 * [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)) 4.447 * [backup-simplify]: Simplify (- 0) into 0 4.447 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 4.447 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 4.447 * [taylor]: Taking taylor expansion of 1/720 in x 4.447 * [backup-simplify]: Simplify 1/720 into 1/720 4.447 * [taylor]: Taking taylor expansion of (pow x 6) in x 4.447 * [taylor]: Taking taylor expansion of x in x 4.447 * [backup-simplify]: Simplify 0 into 0 4.447 * [backup-simplify]: Simplify 1 into 1 4.448 * [backup-simplify]: Simplify (* 1 1) into 1 4.448 * [backup-simplify]: Simplify (* 1 1) into 1 4.448 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 4.448 * [backup-simplify]: Simplify 1/6 into 1/6 4.449 * [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))))) 4.449 * [backup-simplify]: Simplify (exp (log (expm1 (* (/ 1 a) (/ 1 x))))) into (expm1 (/ 1 (* a x))) 4.449 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 4.449 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 4.449 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.449 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.449 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.449 * [taylor]: Taking taylor expansion of (* a x) in x 4.449 * [taylor]: Taking taylor expansion of a in x 4.450 * [backup-simplify]: Simplify a into a 4.450 * [taylor]: Taking taylor expansion of x in x 4.450 * [backup-simplify]: Simplify 0 into 0 4.450 * [backup-simplify]: Simplify 1 into 1 4.450 * [backup-simplify]: Simplify (* a 0) into 0 4.450 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.450 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.450 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.450 * [taylor]: Taking taylor expansion of 1 in x 4.450 * [backup-simplify]: Simplify 1 into 1 4.450 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.450 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.450 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.450 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.450 * [taylor]: Taking taylor expansion of (* a x) in a 4.450 * [taylor]: Taking taylor expansion of a in a 4.450 * [backup-simplify]: Simplify 0 into 0 4.451 * [backup-simplify]: Simplify 1 into 1 4.451 * [taylor]: Taking taylor expansion of x in a 4.451 * [backup-simplify]: Simplify x into x 4.451 * [backup-simplify]: Simplify (* 0 x) into 0 4.451 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.451 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.451 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.451 * [taylor]: Taking taylor expansion of 1 in a 4.451 * [backup-simplify]: Simplify 1 into 1 4.451 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.451 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.451 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.451 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.451 * [taylor]: Taking taylor expansion of (* a x) in a 4.451 * [taylor]: Taking taylor expansion of a in a 4.451 * [backup-simplify]: Simplify 0 into 0 4.451 * [backup-simplify]: Simplify 1 into 1 4.452 * [taylor]: Taking taylor expansion of x in a 4.452 * [backup-simplify]: Simplify x into x 4.452 * [backup-simplify]: Simplify (* 0 x) into 0 4.452 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.452 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.452 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.452 * [taylor]: Taking taylor expansion of 1 in a 4.452 * [backup-simplify]: Simplify 1 into 1 4.453 * [backup-simplify]: Simplify (- 1) into -1 4.453 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.453 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 4.453 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.453 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.453 * [taylor]: Taking taylor expansion of (* a x) in x 4.453 * [taylor]: Taking taylor expansion of a in x 4.453 * [backup-simplify]: Simplify a into a 4.453 * [taylor]: Taking taylor expansion of x in x 4.453 * [backup-simplify]: Simplify 0 into 0 4.453 * [backup-simplify]: Simplify 1 into 1 4.453 * [backup-simplify]: Simplify (* a 0) into 0 4.453 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.454 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.454 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.454 * [taylor]: Taking taylor expansion of 1 in x 4.454 * [backup-simplify]: Simplify 1 into 1 4.454 * [backup-simplify]: Simplify (- 1) into -1 4.454 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.454 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 4.455 * [backup-simplify]: Simplify (- 0) into 0 4.455 * [backup-simplify]: Simplify (+ 0 0) into 0 4.455 * [taylor]: Taking taylor expansion of 0 in x 4.455 * [backup-simplify]: Simplify 0 into 0 4.455 * [backup-simplify]: Simplify 0 into 0 4.456 * [backup-simplify]: Simplify (- 0) into 0 4.456 * [backup-simplify]: Simplify (+ 0 0) into 0 4.456 * [backup-simplify]: Simplify 0 into 0 4.456 * [backup-simplify]: Simplify (- 0) into 0 4.457 * [backup-simplify]: Simplify (+ 0 0) into 0 4.457 * [taylor]: Taking taylor expansion of 0 in x 4.457 * [backup-simplify]: Simplify 0 into 0 4.457 * [backup-simplify]: Simplify 0 into 0 4.457 * [backup-simplify]: Simplify 0 into 0 4.457 * [backup-simplify]: Simplify (- 0) into 0 4.458 * [backup-simplify]: Simplify (+ 0 0) into 0 4.458 * [backup-simplify]: Simplify 0 into 0 4.458 * [backup-simplify]: Simplify (- 0) into 0 4.459 * [backup-simplify]: Simplify (+ 0 0) into 0 4.459 * [taylor]: Taking taylor expansion of 0 in x 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 4.459 * [backup-simplify]: Simplify (exp (log (expm1 (* (/ 1 (- a)) (/ 1 (- x)))))) into (expm1 (/ 1 (* a x))) 4.459 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 4.459 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 4.459 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.459 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.459 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.459 * [taylor]: Taking taylor expansion of (* a x) in x 4.459 * [taylor]: Taking taylor expansion of a in x 4.460 * [backup-simplify]: Simplify a into a 4.460 * [taylor]: Taking taylor expansion of x in x 4.460 * [backup-simplify]: Simplify 0 into 0 4.460 * [backup-simplify]: Simplify 1 into 1 4.460 * [backup-simplify]: Simplify (* a 0) into 0 4.460 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.460 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.460 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.460 * [taylor]: Taking taylor expansion of 1 in x 4.460 * [backup-simplify]: Simplify 1 into 1 4.460 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.460 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.460 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.460 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.460 * [taylor]: Taking taylor expansion of (* a x) in a 4.460 * [taylor]: Taking taylor expansion of a in a 4.461 * [backup-simplify]: Simplify 0 into 0 4.461 * [backup-simplify]: Simplify 1 into 1 4.461 * [taylor]: Taking taylor expansion of x in a 4.461 * [backup-simplify]: Simplify x into x 4.461 * [backup-simplify]: Simplify (* 0 x) into 0 4.461 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.461 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.461 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.461 * [taylor]: Taking taylor expansion of 1 in a 4.461 * [backup-simplify]: Simplify 1 into 1 4.461 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.461 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.461 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.461 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.461 * [taylor]: Taking taylor expansion of (* a x) in a 4.462 * [taylor]: Taking taylor expansion of a in a 4.462 * [backup-simplify]: Simplify 0 into 0 4.462 * [backup-simplify]: Simplify 1 into 1 4.462 * [taylor]: Taking taylor expansion of x in a 4.462 * [backup-simplify]: Simplify x into x 4.462 * [backup-simplify]: Simplify (* 0 x) into 0 4.462 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.462 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.462 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.462 * [taylor]: Taking taylor expansion of 1 in a 4.462 * [backup-simplify]: Simplify 1 into 1 4.463 * [backup-simplify]: Simplify (- 1) into -1 4.463 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.463 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 4.463 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.463 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.463 * [taylor]: Taking taylor expansion of (* a x) in x 4.463 * [taylor]: Taking taylor expansion of a in x 4.463 * [backup-simplify]: Simplify a into a 4.463 * [taylor]: Taking taylor expansion of x in x 4.463 * [backup-simplify]: Simplify 0 into 0 4.463 * [backup-simplify]: Simplify 1 into 1 4.463 * [backup-simplify]: Simplify (* a 0) into 0 4.464 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.464 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.464 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.464 * [taylor]: Taking taylor expansion of 1 in x 4.464 * [backup-simplify]: Simplify 1 into 1 4.464 * [backup-simplify]: Simplify (- 1) into -1 4.464 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.465 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 4.465 * [backup-simplify]: Simplify (- 0) into 0 4.465 * [backup-simplify]: Simplify (+ 0 0) into 0 4.465 * [taylor]: Taking taylor expansion of 0 in x 4.465 * [backup-simplify]: Simplify 0 into 0 4.465 * [backup-simplify]: Simplify 0 into 0 4.466 * [backup-simplify]: Simplify (- 0) into 0 4.466 * [backup-simplify]: Simplify (+ 0 0) into 0 4.466 * [backup-simplify]: Simplify 0 into 0 4.467 * [backup-simplify]: Simplify (- 0) into 0 4.467 * [backup-simplify]: Simplify (+ 0 0) into 0 4.467 * [taylor]: Taking taylor expansion of 0 in x 4.467 * [backup-simplify]: Simplify 0 into 0 4.467 * [backup-simplify]: Simplify 0 into 0 4.467 * [backup-simplify]: Simplify 0 into 0 4.468 * [backup-simplify]: Simplify (- 0) into 0 4.468 * [backup-simplify]: Simplify (+ 0 0) into 0 4.468 * [backup-simplify]: Simplify 0 into 0 4.468 * [backup-simplify]: Simplify (- 0) into 0 4.469 * [backup-simplify]: Simplify (+ 0 0) into 0 4.469 * [taylor]: Taking taylor expansion of 0 in x 4.469 * [backup-simplify]: Simplify 0 into 0 4.469 * [backup-simplify]: Simplify 0 into 0 4.469 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 4.469 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 4.469 * [backup-simplify]: Simplify (expm1 (* a x)) into (expm1 (* a x)) 4.469 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 4.469 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 4.469 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 4.469 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 4.469 * [taylor]: Taking taylor expansion of (* a x) in x 4.469 * [taylor]: Taking taylor expansion of a in x 4.469 * [backup-simplify]: Simplify a into a 4.469 * [taylor]: Taking taylor expansion of x in x 4.469 * [backup-simplify]: Simplify 0 into 0 4.470 * [backup-simplify]: Simplify 1 into 1 4.470 * [backup-simplify]: Simplify (* a 0) into 0 4.470 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.470 * [backup-simplify]: Simplify (exp 0) into 1 4.470 * [taylor]: Taking taylor expansion of 1 in x 4.470 * [backup-simplify]: Simplify 1 into 1 4.470 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 4.470 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 4.470 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 4.470 * [taylor]: Taking taylor expansion of (* a x) in a 4.470 * [taylor]: Taking taylor expansion of a in a 4.470 * [backup-simplify]: Simplify 0 into 0 4.470 * [backup-simplify]: Simplify 1 into 1 4.470 * [taylor]: Taking taylor expansion of x in a 4.470 * [backup-simplify]: Simplify x into x 4.470 * [backup-simplify]: Simplify (* 0 x) into 0 4.471 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.471 * [backup-simplify]: Simplify (exp 0) into 1 4.471 * [taylor]: Taking taylor expansion of 1 in a 4.471 * [backup-simplify]: Simplify 1 into 1 4.471 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 4.471 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 4.471 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 4.471 * [taylor]: Taking taylor expansion of (* a x) in a 4.471 * [taylor]: Taking taylor expansion of a in a 4.471 * [backup-simplify]: Simplify 0 into 0 4.471 * [backup-simplify]: Simplify 1 into 1 4.471 * [taylor]: Taking taylor expansion of x in a 4.471 * [backup-simplify]: Simplify x into x 4.471 * [backup-simplify]: Simplify (* 0 x) into 0 4.472 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.472 * [backup-simplify]: Simplify (exp 0) into 1 4.472 * [taylor]: Taking taylor expansion of 1 in a 4.472 * [backup-simplify]: Simplify 1 into 1 4.472 * [backup-simplify]: Simplify (- 1) into -1 4.473 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.473 * [taylor]: Taking taylor expansion of 0 in x 4.473 * [backup-simplify]: Simplify 0 into 0 4.473 * [backup-simplify]: Simplify 0 into 0 4.473 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 4.473 * [backup-simplify]: Simplify (- 0) into 0 4.473 * [backup-simplify]: Simplify (+ x 0) into x 4.473 * [taylor]: Taking taylor expansion of x in x 4.473 * [backup-simplify]: Simplify 0 into 0 4.473 * [backup-simplify]: Simplify 1 into 1 4.473 * [backup-simplify]: Simplify 0 into 0 4.473 * [backup-simplify]: Simplify 0 into 0 4.474 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 4.475 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 4.475 * [backup-simplify]: Simplify (- 0) into 0 4.476 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 4.476 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 4.476 * [taylor]: Taking taylor expansion of 1/2 in x 4.476 * [backup-simplify]: Simplify 1/2 into 1/2 4.476 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.476 * [taylor]: Taking taylor expansion of x in x 4.476 * [backup-simplify]: Simplify 0 into 0 4.476 * [backup-simplify]: Simplify 1 into 1 4.476 * [backup-simplify]: Simplify 1 into 1 4.476 * [backup-simplify]: Simplify 0 into 0 4.477 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 4.479 * [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)) 4.479 * [backup-simplify]: Simplify (- 0) into 0 4.479 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 4.479 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 4.479 * [taylor]: Taking taylor expansion of 1/6 in x 4.479 * [backup-simplify]: Simplify 1/6 into 1/6 4.479 * [taylor]: Taking taylor expansion of (pow x 3) in x 4.479 * [taylor]: Taking taylor expansion of x in x 4.479 * [backup-simplify]: Simplify 0 into 0 4.479 * [backup-simplify]: Simplify 1 into 1 4.479 * [backup-simplify]: Simplify 0 into 0 4.479 * [backup-simplify]: Simplify 0 into 0 4.481 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 4.483 * [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)) 4.484 * [backup-simplify]: Simplify (- 0) into 0 4.484 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 4.484 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 4.484 * [taylor]: Taking taylor expansion of 1/24 in x 4.484 * [backup-simplify]: Simplify 1/24 into 1/24 4.484 * [taylor]: Taking taylor expansion of (pow x 4) in x 4.484 * [taylor]: Taking taylor expansion of x in x 4.484 * [backup-simplify]: Simplify 0 into 0 4.484 * [backup-simplify]: Simplify 1 into 1 4.485 * [backup-simplify]: Simplify (* 1 1) into 1 4.485 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 4.485 * [backup-simplify]: Simplify 1/2 into 1/2 4.485 * [backup-simplify]: Simplify 0 into 0 4.485 * [backup-simplify]: Simplify 0 into 0 4.487 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 4.491 * [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)) 4.491 * [backup-simplify]: Simplify (- 0) into 0 4.491 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 4.491 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 4.491 * [taylor]: Taking taylor expansion of 1/120 in x 4.491 * [backup-simplify]: Simplify 1/120 into 1/120 4.492 * [taylor]: Taking taylor expansion of (pow x 5) in x 4.492 * [taylor]: Taking taylor expansion of x in x 4.492 * [backup-simplify]: Simplify 0 into 0 4.492 * [backup-simplify]: Simplify 1 into 1 4.492 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.493 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 4.493 * [backup-simplify]: Simplify 0 into 0 4.493 * [backup-simplify]: Simplify 0 into 0 4.493 * [backup-simplify]: Simplify 0 into 0 4.495 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 4.502 * [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)) 4.503 * [backup-simplify]: Simplify (- 0) into 0 4.503 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 4.503 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 4.503 * [taylor]: Taking taylor expansion of 1/720 in x 4.503 * [backup-simplify]: Simplify 1/720 into 1/720 4.503 * [taylor]: Taking taylor expansion of (pow x 6) in x 4.503 * [taylor]: Taking taylor expansion of x in x 4.503 * [backup-simplify]: Simplify 0 into 0 4.503 * [backup-simplify]: Simplify 1 into 1 4.503 * [backup-simplify]: Simplify (* 1 1) into 1 4.504 * [backup-simplify]: Simplify (* 1 1) into 1 4.504 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 4.504 * [backup-simplify]: Simplify 1/6 into 1/6 4.505 * [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))))) 4.505 * [backup-simplify]: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x))) 4.505 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 4.505 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 4.505 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.505 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.505 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.506 * [taylor]: Taking taylor expansion of (* a x) in x 4.506 * [taylor]: Taking taylor expansion of a in x 4.506 * [backup-simplify]: Simplify a into a 4.506 * [taylor]: Taking taylor expansion of x in x 4.506 * [backup-simplify]: Simplify 0 into 0 4.506 * [backup-simplify]: Simplify 1 into 1 4.506 * [backup-simplify]: Simplify (* a 0) into 0 4.506 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.506 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.506 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.506 * [taylor]: Taking taylor expansion of 1 in x 4.506 * [backup-simplify]: Simplify 1 into 1 4.506 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.506 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.506 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.506 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.507 * [taylor]: Taking taylor expansion of (* a x) in a 4.507 * [taylor]: Taking taylor expansion of a in a 4.507 * [backup-simplify]: Simplify 0 into 0 4.507 * [backup-simplify]: Simplify 1 into 1 4.507 * [taylor]: Taking taylor expansion of x in a 4.507 * [backup-simplify]: Simplify x into x 4.507 * [backup-simplify]: Simplify (* 0 x) into 0 4.507 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.507 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.507 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.507 * [taylor]: Taking taylor expansion of 1 in a 4.507 * [backup-simplify]: Simplify 1 into 1 4.507 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.507 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.507 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.507 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.508 * [taylor]: Taking taylor expansion of (* a x) in a 4.508 * [taylor]: Taking taylor expansion of a in a 4.508 * [backup-simplify]: Simplify 0 into 0 4.508 * [backup-simplify]: Simplify 1 into 1 4.508 * [taylor]: Taking taylor expansion of x in a 4.508 * [backup-simplify]: Simplify x into x 4.508 * [backup-simplify]: Simplify (* 0 x) into 0 4.508 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.508 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.508 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.508 * [taylor]: Taking taylor expansion of 1 in a 4.508 * [backup-simplify]: Simplify 1 into 1 4.509 * [backup-simplify]: Simplify (- 1) into -1 4.509 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.509 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 4.509 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.509 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.509 * [taylor]: Taking taylor expansion of (* a x) in x 4.509 * [taylor]: Taking taylor expansion of a in x 4.509 * [backup-simplify]: Simplify a into a 4.509 * [taylor]: Taking taylor expansion of x in x 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify 1 into 1 4.509 * [backup-simplify]: Simplify (* a 0) into 0 4.510 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.510 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.510 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.510 * [taylor]: Taking taylor expansion of 1 in x 4.510 * [backup-simplify]: Simplify 1 into 1 4.510 * [backup-simplify]: Simplify (- 1) into -1 4.510 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.510 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 4.511 * [backup-simplify]: Simplify (- 0) into 0 4.511 * [backup-simplify]: Simplify (+ 0 0) into 0 4.511 * [taylor]: Taking taylor expansion of 0 in x 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify 0 into 0 4.512 * [backup-simplify]: Simplify (- 0) into 0 4.512 * [backup-simplify]: Simplify (+ 0 0) into 0 4.512 * [backup-simplify]: Simplify 0 into 0 4.512 * [backup-simplify]: Simplify (- 0) into 0 4.513 * [backup-simplify]: Simplify (+ 0 0) into 0 4.513 * [taylor]: Taking taylor expansion of 0 in x 4.513 * [backup-simplify]: Simplify 0 into 0 4.513 * [backup-simplify]: Simplify 0 into 0 4.513 * [backup-simplify]: Simplify 0 into 0 4.513 * [backup-simplify]: Simplify (- 0) into 0 4.514 * [backup-simplify]: Simplify (+ 0 0) into 0 4.514 * [backup-simplify]: Simplify 0 into 0 4.514 * [backup-simplify]: Simplify (- 0) into 0 4.515 * [backup-simplify]: Simplify (+ 0 0) into 0 4.515 * [taylor]: Taking taylor expansion of 0 in x 4.515 * [backup-simplify]: Simplify 0 into 0 4.515 * [backup-simplify]: Simplify 0 into 0 4.515 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 4.515 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x))) 4.515 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 4.515 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 4.515 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.515 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.515 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.515 * [taylor]: Taking taylor expansion of (* a x) in x 4.515 * [taylor]: Taking taylor expansion of a in x 4.515 * [backup-simplify]: Simplify a into a 4.515 * [taylor]: Taking taylor expansion of x in x 4.515 * [backup-simplify]: Simplify 0 into 0 4.515 * [backup-simplify]: Simplify 1 into 1 4.515 * [backup-simplify]: Simplify (* a 0) into 0 4.516 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.516 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.516 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.516 * [taylor]: Taking taylor expansion of 1 in x 4.516 * [backup-simplify]: Simplify 1 into 1 4.516 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.516 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.516 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.516 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.516 * [taylor]: Taking taylor expansion of (* a x) in a 4.516 * [taylor]: Taking taylor expansion of a in a 4.516 * [backup-simplify]: Simplify 0 into 0 4.516 * [backup-simplify]: Simplify 1 into 1 4.516 * [taylor]: Taking taylor expansion of x in a 4.516 * [backup-simplify]: Simplify x into x 4.517 * [backup-simplify]: Simplify (* 0 x) into 0 4.517 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.517 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.517 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.517 * [taylor]: Taking taylor expansion of 1 in a 4.517 * [backup-simplify]: Simplify 1 into 1 4.517 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 4.517 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 4.517 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 4.517 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 4.517 * [taylor]: Taking taylor expansion of (* a x) in a 4.517 * [taylor]: Taking taylor expansion of a in a 4.517 * [backup-simplify]: Simplify 0 into 0 4.517 * [backup-simplify]: Simplify 1 into 1 4.517 * [taylor]: Taking taylor expansion of x in a 4.517 * [backup-simplify]: Simplify x into x 4.517 * [backup-simplify]: Simplify (* 0 x) into 0 4.518 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 4.518 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.518 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.518 * [taylor]: Taking taylor expansion of 1 in a 4.518 * [backup-simplify]: Simplify 1 into 1 4.519 * [backup-simplify]: Simplify (- 1) into -1 4.519 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.519 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 4.519 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 4.519 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 4.519 * [taylor]: Taking taylor expansion of (* a x) in x 4.519 * [taylor]: Taking taylor expansion of a in x 4.519 * [backup-simplify]: Simplify a into a 4.519 * [taylor]: Taking taylor expansion of x in x 4.519 * [backup-simplify]: Simplify 0 into 0 4.519 * [backup-simplify]: Simplify 1 into 1 4.519 * [backup-simplify]: Simplify (* a 0) into 0 4.520 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.520 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 4.520 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 4.520 * [taylor]: Taking taylor expansion of 1 in x 4.520 * [backup-simplify]: Simplify 1 into 1 4.520 * [backup-simplify]: Simplify (- 1) into -1 4.520 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 4.520 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 4.521 * [backup-simplify]: Simplify (- 0) into 0 4.521 * [backup-simplify]: Simplify (+ 0 0) into 0 4.521 * [taylor]: Taking taylor expansion of 0 in x 4.521 * [backup-simplify]: Simplify 0 into 0 4.521 * [backup-simplify]: Simplify 0 into 0 4.522 * [backup-simplify]: Simplify (- 0) into 0 4.522 * [backup-simplify]: Simplify (+ 0 0) into 0 4.522 * [backup-simplify]: Simplify 0 into 0 4.523 * [backup-simplify]: Simplify (- 0) into 0 4.523 * [backup-simplify]: Simplify (+ 0 0) into 0 4.523 * [taylor]: Taking taylor expansion of 0 in x 4.523 * [backup-simplify]: Simplify 0 into 0 4.523 * [backup-simplify]: Simplify 0 into 0 4.523 * [backup-simplify]: Simplify 0 into 0 4.523 * [backup-simplify]: Simplify (- 0) into 0 4.524 * [backup-simplify]: Simplify (+ 0 0) into 0 4.524 * [backup-simplify]: Simplify 0 into 0 4.524 * [backup-simplify]: Simplify (- 0) into 0 4.525 * [backup-simplify]: Simplify (+ 0 0) into 0 4.525 * [taylor]: Taking taylor expansion of 0 in x 4.525 * [backup-simplify]: Simplify 0 into 0 4.525 * [backup-simplify]: Simplify 0 into 0 4.525 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 4.525 * * * [progress]: simplifying candidates 4.525 * * * * [progress]: [ 1 / 54 ] simplifiying candidate # 4.525 * * * * [progress]: [ 2 / 54 ] simplifiying candidate # 4.525 * * * * [progress]: [ 3 / 54 ] simplifiying candidate # 4.525 * * * * [progress]: [ 4 / 54 ] simplifiying candidate # 4.525 * * * * [progress]: [ 5 / 54 ] simplifiying candidate # 4.525 * * * * [progress]: [ 6 / 54 ] simplifiying candidate # 4.525 * * * * [progress]: [ 7 / 54 ] simplifiying candidate # 4.525 * * * * [progress]: [ 8 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 9 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 10 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 11 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 12 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 13 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 14 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 15 / 54 ] simplifiying candidate #real (real->posit16 (log (expm1 (* a x)))))))> 4.526 * * * * [progress]: [ 16 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 17 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 18 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 19 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 20 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 21 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 22 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 23 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 24 / 54 ] simplifiying candidate # 4.526 * * * * [progress]: [ 25 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 26 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 27 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 28 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 29 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 30 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 31 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 32 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 33 / 54 ] simplifiying candidate #real (real->posit16 (exp (log (expm1 (* a x)))))))> 4.527 * * * * [progress]: [ 34 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 35 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 36 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 37 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 38 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 39 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 40 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 41 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 42 / 54 ] simplifiying candidate # 4.527 * * * * [progress]: [ 43 / 54 ] simplifiying candidate # 4.528 * * * * [progress]: [ 44 / 54 ] simplifiying candidate # 4.528 * * * * [progress]: [ 45 / 54 ] simplifiying candidate #real (real->posit16 (expm1 (* a x)))))))> 4.528 * * * * [progress]: [ 46 / 54 ] simplifiying candidate # 4.528 * * * * [progress]: [ 47 / 54 ] simplifiying candidate # 4.528 * * * * [progress]: [ 48 / 54 ] simplifiying candidate # 4.528 * * * * [progress]: [ 49 / 54 ] simplifiying candidate # 4.528 * * * * [progress]: [ 50 / 54 ] simplifiying candidate # 4.528 * * * * [progress]: [ 51 / 54 ] simplifiying candidate # 4.528 * * * * [progress]: [ 52 / 54 ] simplifiying candidate # 4.528 * * * * [progress]: [ 53 / 54 ] simplifiying candidate # 4.528 * * * * [progress]: [ 54 / 54 ] simplifiying candidate # 4.529 * [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) 4.530 * * [simplify]: iteration 0: 71 enodes 4.558 * * [simplify]: iteration 1: 145 enodes 4.621 * * [simplify]: iteration 2: 341 enodes 4.774 * * [simplify]: iteration 3: 1041 enodes 5.427 * * [simplify]: iteration 4: 2087 enodes 5.806 * * [simplify]: iteration complete: 2087 enodes 5.806 * * [simplify]: Extracting #0: cost 29 inf + 0 5.807 * * [simplify]: Extracting #1: cost 173 inf + 3 5.811 * * [simplify]: Extracting #2: cost 453 inf + 2060 5.825 * * [simplify]: Extracting #3: cost 292 inf + 36057 5.854 * * [simplify]: Extracting #4: cost 79 inf + 96654 5.875 * * [simplify]: Extracting #5: cost 29 inf + 114605 5.911 * * [simplify]: Extracting #6: cost 6 inf + 118932 5.954 * * [simplify]: Extracting #7: cost 0 inf + 120860 5.978 * [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 (* (* a x) (* a x)) 1/24 (fma (* a x) 1/2 (+ (log x) (log a)))) (log (expm1 (* a x))) (log (expm1 (* a x))) (fma x (fma (* 1/6 a) (* (* a x) (* a x)) a) (* (* (* a x) (* a x)) 1/2)) (expm1 (* a x)) (expm1 (* a x)) (fma x (fma (* 1/6 a) (* (* a x) (* a x)) a) (* (* (* a x) (* a x)) 1/2)) (expm1 (* a x)) (expm1 (* a x)) 5.980 * * * [progress]: adding candidates to table 6.489 * [progress]: [Phase 3 of 3] Extracting. 6.489 * * [regime]: Finding splitpoints for: (# # #) 6.490 * * * [regime-changes]: Trying 3 branch expressions: ((* a x) x a) 6.490 * * * * [regimes]: Trying to branch on (* a x) from (# # #) 6.518 * * * * [regimes]: Trying to branch on x from (# # #) 6.545 * * * * [regimes]: Trying to branch on a from (# # #) 6.584 * * * [regime]: Found split indices: #