1545818898.192 * [misc]progress:  [Phase 1 of 3] Setting up.
1545818898.192 * * * [misc]progress:  [1/2] Preparing points
1545818898.192 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545818898.259 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818898.260 * * * * [misc]points:  Sampling 61 additional inputs, on iter 1 have 195 / 256
1545818898.278 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818898.278 * * * * [misc]points:  Sampling 15 additional inputs, on iter 2 have 241 / 256
1545818898.284 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818898.284 * * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 253 / 256
1545818898.287 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818898.287 * * * * [exit]points:  Sampled 256 points with exact outputs
1545818898.287 * * * [misc]progress:  [2/2] Setting up program.
1545818898.292 * [misc]progress:  [Phase 2 of 3] Improving.
1545818898.292 * [enter]simplify:  Simplifying (- (exp (* a x)) 1)
1545818898.293 * * [misc]simplify:  iters left: 5 (6 enodes)
1545818898.296 * * [misc]simplify:  iters left: 4 (15 enodes)
1545818898.300 * [exit]simplify:  Simplified to (expm1 (* a x))
1545818898.311 * * [misc]progress:  iteration 1 / 4
1545818898.311 * * * [misc]progress:  picking best candidate
1545818898.315 * * * * [misc]pick:  Picked  #<alt (λ (a x) (expm1 (* a x)))>
1545818898.315 * * * [misc]progress:  localizing error
1545818898.345 * * * [misc]progress:  generating rewritten candidates
1545818898.345 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545818898.346 * * * [misc]progress:  generating series expansions
1545818898.346 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545818898.346 * [misc]backup-simplify:  Simplify (expm1 (* a x)) into (expm1 (* a x))
1545818898.346 * [misc]approximate:  Taking taylor expansion of (expm1 (* a x)) in (a x) around 0
1545818898.346 * [misc]taylor:  Taking taylor expansion of (expm1 (* a x)) in x
1545818898.346 * [misc]taylor:  Rewrote expression to (- (exp (* a x)) 1)
1545818898.346 * [misc]taylor:  Taking taylor expansion of (exp (* a x)) in x
1545818898.346 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.346 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.346 * [misc]backup-simplify:  Simplify a into a
1545818898.346 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.346 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.346 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.346 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.347 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.347 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545818898.347 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.347 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.347 * [misc]taylor:  Taking taylor expansion of (expm1 (* a x)) in a
1545818898.347 * [misc]taylor:  Rewrote expression to (- (exp (* a x)) 1)
1545818898.347 * [misc]taylor:  Taking taylor expansion of (exp (* a x)) in a
1545818898.347 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.347 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.347 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.347 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.347 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.347 * [misc]backup-simplify:  Simplify x into x
1545818898.347 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.347 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.347 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545818898.347 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.347 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.347 * [misc]taylor:  Taking taylor expansion of (expm1 (* a x)) in a
1545818898.348 * [misc]taylor:  Rewrote expression to (- (exp (* a x)) 1)
1545818898.348 * [misc]taylor:  Taking taylor expansion of (exp (* a x)) in a
1545818898.348 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.348 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.348 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.348 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.348 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.348 * [misc]backup-simplify:  Simplify x into x
1545818898.348 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.348 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.348 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545818898.348 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.348 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.348 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.348 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545818898.348 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.348 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.348 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.349 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x
1545818898.349 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.349 * [misc]backup-simplify:  Simplify (+ x 0) into x
1545818898.349 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.349 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.349 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.349 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.349 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.349 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
1545818898.350 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2))
1545818898.350 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.351 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2))
1545818898.351 * [misc]taylor:  Taking taylor expansion of (* 1/2 (pow x 2)) in x
1545818898.351 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1545818898.351 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545818898.351 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545818898.351 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.351 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.351 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.351 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.351 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.351 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
1545818898.353 * [misc]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))
1545818898.353 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.353 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3))
1545818898.353 * [misc]taylor:  Taking taylor expansion of (* 1/6 (pow x 3)) in x
1545818898.353 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1545818898.353 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1545818898.353 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1545818898.353 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.353 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.353 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.353 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.353 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.354 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
1545818898.357 * [misc]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))
1545818898.357 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.357 * [misc]backup-simplify:  Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4))
1545818898.357 * [misc]taylor:  Taking taylor expansion of (* 1/24 (pow x 4)) in x
1545818898.357 * [misc]taylor:  Taking taylor expansion of 1/24 in x
1545818898.357 * [misc]backup-simplify:  Simplify 1/24 into 1/24
1545818898.357 * [misc]taylor:  Taking taylor expansion of (pow x 4) in x
1545818898.357 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.357 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.357 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.357 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545818898.357 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1545818898.357 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545818898.357 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.358 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.358 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
1545818898.362 * [misc]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))
1545818898.362 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.363 * [misc]backup-simplify:  Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5))
1545818898.363 * [misc]taylor:  Taking taylor expansion of (* 1/120 (pow x 5)) in x
1545818898.363 * [misc]taylor:  Taking taylor expansion of 1/120 in x
1545818898.363 * [misc]backup-simplify:  Simplify 1/120 into 1/120
1545818898.363 * [misc]taylor:  Taking taylor expansion of (pow x 5) in x
1545818898.363 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.363 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.363 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.363 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545818898.363 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1545818898.363 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.364 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.364 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.365 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0
1545818898.371 * [misc]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))
1545818898.372 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.372 * [misc]backup-simplify:  Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6))
1545818898.372 * [misc]taylor:  Taking taylor expansion of (* 1/720 (pow x 6)) in x
1545818898.372 * [misc]taylor:  Taking taylor expansion of 1/720 in x
1545818898.372 * [misc]backup-simplify:  Simplify 1/720 into 1/720
1545818898.372 * [misc]taylor:  Taking taylor expansion of (pow x 6) in x
1545818898.372 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.372 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.372 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.372 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545818898.372 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545818898.372 * [misc]backup-simplify:  Simplify (* 1/6 1) into 1/6
1545818898.373 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1545818898.373 * [misc]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)))))
1545818898.373 * [misc]backup-simplify:  Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x)))
1545818898.373 * [misc]approximate:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
1545818898.373 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
1545818898.373 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.373 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.373 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.373 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.373 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.373 * [misc]backup-simplify:  Simplify a into a
1545818898.374 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.374 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.374 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.374 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.374 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.374 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.374 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.374 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.374 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.374 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.374 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.374 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.374 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.374 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.374 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.374 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.374 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.374 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.374 * [misc]backup-simplify:  Simplify x into x
1545818898.374 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.375 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.375 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.375 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.375 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.375 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.375 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.375 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.375 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.375 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.375 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.375 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.375 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.375 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.375 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.375 * [misc]backup-simplify:  Simplify x into x
1545818898.375 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.375 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.376 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.376 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.376 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.376 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.376 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.376 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.376 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
1545818898.376 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.376 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.376 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.376 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.376 * [misc]backup-simplify:  Simplify a into a
1545818898.376 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.376 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.376 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.376 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.377 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.377 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.377 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.377 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.377 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.377 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.377 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.377 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
1545818898.377 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.378 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.378 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.378 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.378 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.378 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.378 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.378 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.378 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.378 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.378 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.378 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.378 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.378 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.379 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.379 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.379 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.379 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.379 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.379 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.379 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.379 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.379 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1)
1545818898.380 * [misc]backup-simplify:  Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x)))
1545818898.380 * [misc]approximate:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
1545818898.380 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
1545818898.380 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.380 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.380 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.380 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.380 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.380 * [misc]backup-simplify:  Simplify a into a
1545818898.380 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.380 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.380 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.380 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.380 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.380 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.380 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.380 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.381 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.381 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.381 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.381 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.381 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.381 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.381 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.381 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.381 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.381 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.381 * [misc]backup-simplify:  Simplify x into x
1545818898.381 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.381 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.381 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.381 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.381 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.381 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.381 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.381 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.381 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.382 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.382 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.382 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.382 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.382 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.382 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.382 * [misc]backup-simplify:  Simplify x into x
1545818898.382 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.382 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.382 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.382 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.382 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.382 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.382 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.383 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.383 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
1545818898.383 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.383 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.383 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.383 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.383 * [misc]backup-simplify:  Simplify a into a
1545818898.383 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.383 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.383 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.383 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.383 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.383 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.383 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.383 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.383 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.383 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.384 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.384 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
1545818898.384 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.384 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.384 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.384 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.384 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.384 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.385 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.385 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.385 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.385 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.385 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.385 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.385 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.385 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.385 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.385 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.385 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.386 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.386 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.386 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.386 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.386 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.386 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1)
1545818898.386 * * * [misc]progress:  simplifying candidates
1545818898.386 * * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
1545818898.386 * * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt (λ (a x) (log1p (expm1 (expm1 (* a x)))))>
1545818898.386 * * * * [misc]progress:  [ 3 / 14 ] simplifiying candidate #<alt (λ (a x) (expm1 (log1p (expm1 (* a x)))))>
1545818898.386 * * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt (λ (a x) (expm1 (* a x)))>
1545818898.387 * [enter]simplify:  Simplifying (* a x)
1545818898.387 * * [misc]simplify:  iters left: 2 (3 enodes)
1545818898.388 * * [misc]simplify:  iters left: 1 (4 enodes)
1545818898.389 * [exit]simplify:  Simplified to (* a x)
1545818898.389 * [misc]simplify:  Simplified (2 1) to (λ (a x) (expm1 (* a x)))
1545818898.389 * * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt (λ (a x) (pow (expm1 (* a x)) 1))>
1545818898.389 * * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt (λ (a x) (exp (log (expm1 (* a x)))))>
1545818898.389 * * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt (λ (a x) (log (exp (expm1 (* a x)))))>
1545818898.389 * * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt (λ (a x) (* (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (cbrt (expm1 (* a x)))))>
1545818898.389 * * * * [misc]progress:  [ 9 / 14 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))>
1545818898.389 * * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (a x) (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x)))))>
1545818898.389 * * * * [misc]progress:  [ 11 / 14 ] simplifiying candidate #<alt (λ (a x) (* 1 (expm1 (* a x))))>
1545818898.389 * * * * [misc]progress:  [ 12 / 14 ] simplifiying candidate #<alt (λ (a x) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))))>
1545818898.390 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
1545818898.390 * * [misc]simplify:  iters left: 6 (17 enodes)
1545818898.396 * * [misc]simplify:  iters left: 5 (38 enodes)
1545818898.405 * * [misc]simplify:  iters left: 4 (105 enodes)
1545818898.445 * * [misc]simplify:  iters left: 3 (253 enodes)
1545818898.565 * [exit]simplify:  Simplified to (fma (* x x) (* (* a a) 1/2) (fma (* 1/6 (* x x)) (* (* a x) (* a a)) (* a x)))
1545818898.565 * [misc]simplify:  Simplified (2) to (λ (a x) (fma (* x x) (* (* a a) 1/2) (fma (* 1/6 (* x x)) (* (* a x) (* a a)) (* a x))))
1545818898.565 * * * * [misc]progress:  [ 13 / 14 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
1545818898.565 * [enter]simplify:  Simplifying (- (exp (* a x)) 1)
1545818898.565 * * [misc]simplify:  iters left: 5 (6 enodes)
1545818898.567 * * [misc]simplify:  iters left: 4 (15 enodes)
1545818898.569 * [exit]simplify:  Simplified to (expm1 (* a x))
1545818898.569 * [misc]simplify:  Simplified (2) to (λ (a x) (expm1 (* a x)))
1545818898.569 * * * * [misc]progress:  [ 14 / 14 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
1545818898.569 * [enter]simplify:  Simplifying (- (exp (* a x)) 1)
1545818898.569 * * [misc]simplify:  iters left: 5 (6 enodes)
1545818898.571 * * [misc]simplify:  iters left: 4 (15 enodes)
1545818898.574 * [exit]simplify:  Simplified to (expm1 (* a x))
1545818898.574 * [misc]simplify:  Simplified (2) to (λ (a x) (expm1 (* a x)))
1545818898.574 * * * [misc]progress:  adding candidates to table
1545818898.687 * * [misc]progress:  iteration 2 / 4
1545818898.687 * * * [misc]progress:  picking best candidate
1545818898.689 * * * * [misc]pick:  Picked  #<alt (λ (a x) (log (exp (expm1 (* a x)))))>
1545818898.689 * * * [misc]progress:  localizing error
1545818898.694 * * * [misc]progress:  generating rewritten candidates
1545818898.694 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1545818898.696 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1)
1545818898.697 * * * [misc]progress:  generating series expansions
1545818898.697 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1545818898.697 * [misc]backup-simplify:  Simplify (log (exp (expm1 (* a x)))) into (expm1 (* a x))
1545818898.697 * [misc]approximate:  Taking taylor expansion of (expm1 (* a x)) in (a x) around 0
1545818898.697 * [misc]taylor:  Taking taylor expansion of (expm1 (* a x)) in x
1545818898.697 * [misc]taylor:  Rewrote expression to (- (exp (* a x)) 1)
1545818898.697 * [misc]taylor:  Taking taylor expansion of (exp (* a x)) in x
1545818898.697 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.697 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.697 * [misc]backup-simplify:  Simplify a into a
1545818898.697 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.697 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.697 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.697 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.698 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.698 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545818898.698 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.698 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.698 * [misc]taylor:  Taking taylor expansion of (expm1 (* a x)) in a
1545818898.698 * [misc]taylor:  Rewrote expression to (- (exp (* a x)) 1)
1545818898.698 * [misc]taylor:  Taking taylor expansion of (exp (* a x)) in a
1545818898.698 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.698 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.698 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.698 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.698 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.698 * [misc]backup-simplify:  Simplify x into x
1545818898.698 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.698 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.698 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545818898.698 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.698 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.698 * [misc]taylor:  Taking taylor expansion of (expm1 (* a x)) in a
1545818898.698 * [misc]taylor:  Rewrote expression to (- (exp (* a x)) 1)
1545818898.698 * [misc]taylor:  Taking taylor expansion of (exp (* a x)) in a
1545818898.698 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.698 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.698 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.698 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.698 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.698 * [misc]backup-simplify:  Simplify x into x
1545818898.698 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.698 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.698 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545818898.698 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.698 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.698 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.699 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545818898.699 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.699 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.699 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.699 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x
1545818898.699 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.699 * [misc]backup-simplify:  Simplify (+ x 0) into x
1545818898.699 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.699 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.699 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.699 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.699 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.699 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
1545818898.700 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2))
1545818898.700 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.700 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2))
1545818898.700 * [misc]taylor:  Taking taylor expansion of (* 1/2 (pow x 2)) in x
1545818898.700 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1545818898.700 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545818898.700 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545818898.700 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.700 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.700 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.700 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.700 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.701 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
1545818898.702 * [misc]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))
1545818898.702 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.702 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3))
1545818898.702 * [misc]taylor:  Taking taylor expansion of (* 1/6 (pow x 3)) in x
1545818898.702 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1545818898.702 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1545818898.702 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1545818898.702 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.702 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.702 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.702 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.702 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.702 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
1545818898.704 * [misc]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))
1545818898.704 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.704 * [misc]backup-simplify:  Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4))
1545818898.704 * [misc]taylor:  Taking taylor expansion of (* 1/24 (pow x 4)) in x
1545818898.704 * [misc]taylor:  Taking taylor expansion of 1/24 in x
1545818898.704 * [misc]backup-simplify:  Simplify 1/24 into 1/24
1545818898.704 * [misc]taylor:  Taking taylor expansion of (pow x 4) in x
1545818898.704 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.704 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.704 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.704 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545818898.705 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1545818898.705 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545818898.705 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.705 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.705 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
1545818898.708 * [misc]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))
1545818898.708 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.708 * [misc]backup-simplify:  Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5))
1545818898.708 * [misc]taylor:  Taking taylor expansion of (* 1/120 (pow x 5)) in x
1545818898.708 * [misc]taylor:  Taking taylor expansion of 1/120 in x
1545818898.708 * [misc]backup-simplify:  Simplify 1/120 into 1/120
1545818898.708 * [misc]taylor:  Taking taylor expansion of (pow x 5) in x
1545818898.708 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.708 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.708 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.709 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545818898.709 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1545818898.709 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.709 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.709 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.710 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0
1545818898.720 * [misc]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))
1545818898.720 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.720 * [misc]backup-simplify:  Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6))
1545818898.720 * [misc]taylor:  Taking taylor expansion of (* 1/720 (pow x 6)) in x
1545818898.721 * [misc]taylor:  Taking taylor expansion of 1/720 in x
1545818898.721 * [misc]backup-simplify:  Simplify 1/720 into 1/720
1545818898.721 * [misc]taylor:  Taking taylor expansion of (pow x 6) in x
1545818898.721 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.721 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.721 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.721 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545818898.721 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545818898.721 * [misc]backup-simplify:  Simplify (* 1/6 1) into 1/6
1545818898.721 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1545818898.722 * [misc]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)))))
1545818898.722 * [misc]backup-simplify:  Simplify (log (exp (expm1 (* (/ 1 a) (/ 1 x))))) into (expm1 (/ 1 (* a x)))
1545818898.722 * [misc]approximate:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
1545818898.722 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
1545818898.722 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.722 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.722 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.722 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.722 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.722 * [misc]backup-simplify:  Simplify a into a
1545818898.722 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.722 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.722 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.722 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.723 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.723 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.723 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.723 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.723 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.723 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.723 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.723 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.723 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.723 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.723 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.723 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.723 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.723 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.723 * [misc]backup-simplify:  Simplify x into x
1545818898.723 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.724 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.724 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.724 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.724 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.724 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.724 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.724 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.724 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.724 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.724 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.724 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.724 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.724 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.724 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.724 * [misc]backup-simplify:  Simplify x into x
1545818898.724 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.725 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.725 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.725 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.725 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.725 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.725 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.725 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.725 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
1545818898.725 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.725 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.725 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.725 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.725 * [misc]backup-simplify:  Simplify a into a
1545818898.725 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.725 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.725 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.726 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.726 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.726 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.726 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.726 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.726 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.726 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.726 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.726 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
1545818898.727 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.727 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.727 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.727 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.727 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.727 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.727 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.727 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.727 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.728 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.728 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.728 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.728 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.728 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.728 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.728 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.728 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.728 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.728 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.728 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.728 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.728 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.729 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1)
1545818898.729 * [misc]backup-simplify:  Simplify (log (exp (expm1 (* (/ 1 (- a)) (/ 1 (- x)))))) into (expm1 (/ 1 (* a x)))
1545818898.729 * [misc]approximate:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
1545818898.729 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
1545818898.729 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.729 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.729 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.729 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.729 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.729 * [misc]backup-simplify:  Simplify a into a
1545818898.729 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.729 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.729 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.729 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.729 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.729 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.730 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.730 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.730 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.730 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.730 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.730 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.730 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.730 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.730 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.730 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.730 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.730 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.730 * [misc]backup-simplify:  Simplify x into x
1545818898.730 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.730 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.730 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.730 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.730 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.730 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.730 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.731 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.731 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.731 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.731 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.731 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.731 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.731 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.731 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.731 * [misc]backup-simplify:  Simplify x into x
1545818898.731 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.731 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.731 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.731 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.731 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.731 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.731 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.732 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.732 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
1545818898.732 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.732 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.732 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.732 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.732 * [misc]backup-simplify:  Simplify a into a
1545818898.732 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.732 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.732 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.732 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.732 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.732 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.732 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.732 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.732 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.732 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.733 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.733 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
1545818898.733 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.733 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.733 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.733 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.733 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.733 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.734 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.734 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.734 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.734 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.734 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.734 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.734 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.734 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.734 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.734 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.734 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.735 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.735 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.735 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.735 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.735 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.735 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1)
1545818898.735 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1)
1545818898.735 * [misc]backup-simplify:  Simplify (expm1 (* a x)) into (expm1 (* a x))
1545818898.735 * [misc]approximate:  Taking taylor expansion of (expm1 (* a x)) in (a x) around 0
1545818898.735 * [misc]taylor:  Taking taylor expansion of (expm1 (* a x)) in x
1545818898.735 * [misc]taylor:  Rewrote expression to (- (exp (* a x)) 1)
1545818898.735 * [misc]taylor:  Taking taylor expansion of (exp (* a x)) in x
1545818898.735 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.735 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.736 * [misc]backup-simplify:  Simplify a into a
1545818898.736 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.736 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.736 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.736 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.736 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.736 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545818898.736 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.736 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.736 * [misc]taylor:  Taking taylor expansion of (expm1 (* a x)) in a
1545818898.736 * [misc]taylor:  Rewrote expression to (- (exp (* a x)) 1)
1545818898.736 * [misc]taylor:  Taking taylor expansion of (exp (* a x)) in a
1545818898.736 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.736 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.736 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.736 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.736 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.736 * [misc]backup-simplify:  Simplify x into x
1545818898.736 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.736 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.737 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545818898.737 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.737 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.737 * [misc]taylor:  Taking taylor expansion of (expm1 (* a x)) in a
1545818898.737 * [misc]taylor:  Rewrote expression to (- (exp (* a x)) 1)
1545818898.737 * [misc]taylor:  Taking taylor expansion of (exp (* a x)) in a
1545818898.737 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.737 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.737 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.737 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.737 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.737 * [misc]backup-simplify:  Simplify x into x
1545818898.737 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.737 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.737 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545818898.737 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.737 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.737 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.738 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545818898.738 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.738 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.738 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.738 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x
1545818898.738 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.738 * [misc]backup-simplify:  Simplify (+ x 0) into x
1545818898.738 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.738 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.738 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.738 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.738 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.739 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
1545818898.740 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2))
1545818898.740 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.740 * [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2))
1545818898.740 * [misc]taylor:  Taking taylor expansion of (* 1/2 (pow x 2)) in x
1545818898.740 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1545818898.740 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545818898.740 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545818898.740 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.740 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.740 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.740 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.740 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.741 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0
1545818898.742 * [misc]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))
1545818898.743 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.743 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3))
1545818898.743 * [misc]taylor:  Taking taylor expansion of (* 1/6 (pow x 3)) in x
1545818898.743 * [misc]taylor:  Taking taylor expansion of 1/6 in x
1545818898.743 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1545818898.743 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1545818898.743 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.743 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.743 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.743 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.743 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.744 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
1545818898.746 * [misc]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))
1545818898.747 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.747 * [misc]backup-simplify:  Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4))
1545818898.747 * [misc]taylor:  Taking taylor expansion of (* 1/24 (pow x 4)) in x
1545818898.747 * [misc]taylor:  Taking taylor expansion of 1/24 in x
1545818898.747 * [misc]backup-simplify:  Simplify 1/24 into 1/24
1545818898.747 * [misc]taylor:  Taking taylor expansion of (pow x 4) in x
1545818898.747 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.747 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.747 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.747 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545818898.747 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1545818898.747 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545818898.747 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.747 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.748 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0
1545818898.752 * [misc]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))
1545818898.753 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.753 * [misc]backup-simplify:  Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5))
1545818898.753 * [misc]taylor:  Taking taylor expansion of (* 1/120 (pow x 5)) in x
1545818898.753 * [misc]taylor:  Taking taylor expansion of 1/120 in x
1545818898.753 * [misc]backup-simplify:  Simplify 1/120 into 1/120
1545818898.753 * [misc]taylor:  Taking taylor expansion of (pow x 5) in x
1545818898.753 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.753 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.753 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.753 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545818898.753 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1545818898.753 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.753 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.754 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.754 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0
1545818898.760 * [misc]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))
1545818898.761 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.761 * [misc]backup-simplify:  Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6))
1545818898.761 * [misc]taylor:  Taking taylor expansion of (* 1/720 (pow x 6)) in x
1545818898.761 * [misc]taylor:  Taking taylor expansion of 1/720 in x
1545818898.761 * [misc]backup-simplify:  Simplify 1/720 into 1/720
1545818898.761 * [misc]taylor:  Taking taylor expansion of (pow x 6) in x
1545818898.761 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.761 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.761 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.761 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545818898.761 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545818898.761 * [misc]backup-simplify:  Simplify (* 1/6 1) into 1/6
1545818898.761 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1545818898.762 * [misc]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)))))
1545818898.762 * [misc]backup-simplify:  Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x)))
1545818898.762 * [misc]approximate:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
1545818898.762 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
1545818898.762 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.762 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.762 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.762 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.762 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.762 * [misc]backup-simplify:  Simplify a into a
1545818898.762 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.762 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.762 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.762 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.762 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.762 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.762 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.762 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.762 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.762 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.762 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.762 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.762 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.762 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.762 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.762 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.762 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.762 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.762 * [misc]backup-simplify:  Simplify x into x
1545818898.762 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.763 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.763 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.763 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.763 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.763 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.763 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.763 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.763 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.763 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.763 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.763 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.763 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.763 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.763 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.763 * [misc]backup-simplify:  Simplify x into x
1545818898.763 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.763 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.763 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.763 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.763 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.763 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.763 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.763 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.763 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
1545818898.763 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.763 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.763 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.763 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.763 * [misc]backup-simplify:  Simplify a into a
1545818898.764 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.764 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.764 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.764 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.764 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.764 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.764 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.764 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.764 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.764 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.764 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.764 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
1545818898.764 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.764 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.764 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.764 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.764 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.764 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.765 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.765 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.765 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.765 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.765 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.765 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.765 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.765 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.765 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.765 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.765 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.765 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.765 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.765 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.765 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.765 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.766 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1)
1545818898.766 * [misc]backup-simplify:  Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x)))
1545818898.766 * [misc]approximate:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0
1545818898.766 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in x
1545818898.766 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.766 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.766 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.766 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.766 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.766 * [misc]backup-simplify:  Simplify a into a
1545818898.766 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.766 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.766 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.766 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.766 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.766 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.766 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.766 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.766 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.766 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.766 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.766 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.766 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.766 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.766 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.766 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.766 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.766 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.766 * [misc]backup-simplify:  Simplify x into x
1545818898.766 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.766 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.767 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.767 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.767 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.767 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.767 * [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (* a x))) in a
1545818898.767 * [misc]taylor:  Rewrote expression to (- (exp (/ 1 (* a x))) 1)
1545818898.767 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in a
1545818898.767 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in a
1545818898.767 * [misc]taylor:  Taking taylor expansion of (* a x) in a
1545818898.767 * [misc]taylor:  Taking taylor expansion of a in a
1545818898.767 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.767 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.767 * [misc]taylor:  Taking taylor expansion of x in a
1545818898.767 * [misc]backup-simplify:  Simplify x into x
1545818898.767 * [misc]backup-simplify:  Simplify (* 0 x) into 0
1545818898.767 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 x)) into x
1545818898.767 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1545818898.767 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.767 * [misc]taylor:  Taking taylor expansion of 1 in a
1545818898.767 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.767 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.767 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.767 * [misc]taylor:  Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
1545818898.767 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 (* a x))) in x
1545818898.767 * [misc]taylor:  Taking taylor expansion of (/ 1 (* a x)) in x
1545818898.767 * [misc]taylor:  Taking taylor expansion of (* a x) in x
1545818898.767 * [misc]taylor:  Taking taylor expansion of a in x
1545818898.767 * [misc]backup-simplify:  Simplify a into a
1545818898.767 * [misc]taylor:  Taking taylor expansion of x in x
1545818898.767 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.767 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.768 * [misc]backup-simplify:  Simplify (* a 0) into 0
1545818898.768 * [misc]backup-simplify:  Simplify (+ (* a 1) (* 0 0)) into a
1545818898.768 * [misc]backup-simplify:  Simplify (/ 1 a) into (/ 1 a)
1545818898.768 * [misc]backup-simplify:  Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x)))
1545818898.768 * [misc]taylor:  Taking taylor expansion of 1 in x
1545818898.768 * [misc]backup-simplify:  Simplify 1 into 1
1545818898.768 * [misc]backup-simplify:  Simplify (- 1) into -1
1545818898.768 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1)
1545818898.768 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1)
1545818898.768 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.768 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.768 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.768 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.768 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.768 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.769 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.769 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.769 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.769 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.769 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.769 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.769 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.769 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.769 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.769 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.769 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.769 * [misc]backup-simplify:  Simplify (- 0) into 0
1545818898.769 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545818898.769 * [misc]taylor:  Taking taylor expansion of 0 in x
1545818898.769 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.769 * [misc]backup-simplify:  Simplify 0 into 0
1545818898.769 * [misc]backup-simplify:  Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1)
1545818898.770 * * * [misc]progress:  simplifying candidates
1545818898.770 * * * * [misc]progress:  [ 1 / 35 ] simplifiying candidate #<alt (λ (a x) (log1p (expm1 (log (exp (expm1 (* a x)))))))>
1545818898.770 * * * * [misc]progress:  [ 2 / 35 ] simplifiying candidate #<alt (λ (a x) (expm1 (log1p (log (exp (expm1 (* a x)))))))>
1545818898.770 * * * * [misc]progress:  [ 3 / 35 ] simplifiying candidate #<alt (λ (a x) (+ (log (* (cbrt (exp (expm1 (* a x)))) (cbrt (exp (expm1 (* a x)))))) (log (cbrt (exp (expm1 (* a x)))))))>
1545818898.770 * [enter]simplify:  Simplifying (log (* (cbrt (exp (expm1 (* a x)))) (cbrt (exp (expm1 (* a x))))))
1545818898.770 * * [misc]simplify:  iters left: 6 (8 enodes)
1545818898.771 * * [misc]simplify:  iters left: 5 (11 enodes)
1545818898.773 * [exit]simplify:  Simplified to (log (* (cbrt (exp (expm1 (* a x)))) (cbrt (exp (expm1 (* a x))))))
1545818898.773 * [misc]simplify:  Simplified (2 1) to (λ (a x) (+ (log (* (cbrt (exp (expm1 (* a x)))) (cbrt (exp (expm1 (* a x)))))) (log (cbrt (exp (expm1 (* a x)))))))
1545818898.773 * * * * [misc]progress:  [ 4 / 35 ] simplifiying candidate #<alt (λ (a x) (+ (log (sqrt (exp (expm1 (* a x))))) (log (sqrt (exp (expm1 (* a x)))))))>
1545818898.773 * [enter]simplify:  Simplifying (log (sqrt (exp (expm1 (* a x)))))
1545818898.773 * * [misc]simplify:  iters left: 6 (7 enodes)
1545818898.774 * * [misc]simplify:  iters left: 5 (8 enodes)
1545818898.775 * [exit]simplify:  Simplified to (log (sqrt (exp (expm1 (* a x)))))
1545818898.775 * [misc]simplify:  Simplified (2 1) to (λ (a x) (+ (log (sqrt (exp (expm1 (* a x))))) (log (sqrt (exp (expm1 (* a x)))))))
1545818898.775 * * * * [misc]progress:  [ 5 / 35 ] simplifiying candidate #<alt (λ (a x) (+ (log 1) (log (exp (expm1 (* a x))))))>
1545818898.776 * [enter]simplify:  Simplifying (log 1)
1545818898.776 * * [misc]simplify:  iters left: 1 (2 enodes)
1545818898.777 * [exit]simplify:  Simplified to 0
1545818898.777 * [misc]simplify:  Simplified (2 1) to (λ (a x) (+ 0 (log (exp (expm1 (* a x))))))
1545818898.777 * * * * [misc]progress:  [ 6 / 35 ] simplifiying candidate #<alt (λ (a x) (- (log (exp (exp (* a x)))) (log (exp 1))))>
1545818898.777 * [enter]simplify:  Simplifying (log (exp (exp (* a x))))
1545818898.777 * * [misc]simplify:  iters left: 5 (6 enodes)
1545818898.778 * * [misc]simplify:  iters left: 4 (9 enodes)
1545818898.779 * * [misc]simplify:  iters left: 3 (11 enodes)
1545818898.780 * [exit]simplify:  Simplified to (exp (* a x))
1545818898.780 * [misc]simplify:  Simplified (2 1) to (λ (a x) (- (exp (* a x)) (log (exp 1))))
1545818898.780 * * * * [misc]progress:  [ 7 / 35 ] simplifiying candidate #<alt (λ (a x) (* 1 (log (exp (expm1 (* a x))))))>
1545818898.781 * * * * [misc]progress:  [ 8 / 35 ] simplifiying candidate #<alt (λ (a x) (* (cbrt (expm1 (* a x))) (log (exp (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))))))>
1545818898.781 * [enter]simplify:  Simplifying (cbrt (expm1 (* a x)))
1545818898.781 * * [misc]simplify:  iters left: 4 (5 enodes)
1545818898.781 * * [misc]simplify:  iters left: 3 (6 enodes)
1545818898.782 * [exit]simplify:  Simplified to (cbrt (expm1 (* a x)))
1545818898.782 * [misc]simplify:  Simplified (2 1) to (λ (a x) (* (cbrt (expm1 (* a x))) (log (exp (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x))))))))
1545818898.782 * * * * [misc]progress:  [ 9 / 35 ] simplifiying candidate #<alt (λ (a x) (* (sqrt (expm1 (* a x))) (log (exp (sqrt (expm1 (* a x)))))))>
1545818898.782 * [enter]simplify:  Simplifying (sqrt (expm1 (* a x)))
1545818898.782 * * [misc]simplify:  iters left: 4 (5 enodes)
1545818898.783 * * [misc]simplify:  iters left: 3 (6 enodes)
1545818898.784 * [exit]simplify:  Simplified to (sqrt (expm1 (* a x)))
1545818898.784 * [misc]simplify:  Simplified (2 1) to (λ (a x) (* (sqrt (expm1 (* a x))) (log (exp (sqrt (expm1 (* a x)))))))
1545818898.784 * * * * [misc]progress:  [ 10 / 35 ] simplifiying candidate #<alt (λ (a x) (* (expm1 (* a x)) (log (exp 1))))>
1545818898.784 * [enter]simplify:  Simplifying (expm1 (* a x))
1545818898.784 * * [misc]simplify:  iters left: 3 (4 enodes)
1545818898.785 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818898.785 * [exit]simplify:  Simplified to (expm1 (* a x))
1545818898.785 * [misc]simplify:  Simplified (2 1) to (λ (a x) (* (expm1 (* a x)) (log (exp 1))))
1545818898.785 * * * * [misc]progress:  [ 11 / 35 ] simplifiying candidate #<alt (λ (a x) (pow (log (exp (expm1 (* a x)))) 1))>
1545818898.786 * * * * [misc]progress:  [ 12 / 35 ] simplifiying candidate #<alt (λ (a x) (expm1 (* a x)))>
1545818898.786 * [enter]simplify:  Simplifying (* a x)
1545818898.786 * * [misc]simplify:  iters left: 2 (3 enodes)
1545818898.786 * * [misc]simplify:  iters left: 1 (4 enodes)
1545818898.787 * [exit]simplify:  Simplified to (* a x)
1545818898.787 * [misc]simplify:  Simplified (2 1) to (λ (a x) (expm1 (* a x)))
1545818898.787 * * * * [misc]progress:  [ 13 / 35 ] simplifiying candidate #<alt (λ (a x) (exp (log (log (exp (expm1 (* a x)))))))>
1545818898.787 * * * * [misc]progress:  [ 14 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (log (exp (expm1 (* a x)))))))>
1545818898.787 * * * * [misc]progress:  [ 15 / 35 ] simplifiying candidate #<alt (λ (a x) (* (* (cbrt (log (exp (expm1 (* a x))))) (cbrt (log (exp (expm1 (* a x)))))) (cbrt (log (exp (expm1 (* a x)))))))>
1545818898.787 * * * * [misc]progress:  [ 16 / 35 ] simplifiying candidate #<alt (λ (a x) (cbrt (* (* (log (exp (expm1 (* a x)))) (log (exp (expm1 (* a x))))) (log (exp (expm1 (* a x)))))))>
1545818898.787 * * * * [misc]progress:  [ 17 / 35 ] simplifiying candidate #<alt (λ (a x) (* (sqrt (log (exp (expm1 (* a x))))) (sqrt (log (exp (expm1 (* a x)))))))>
1545818898.787 * * * * [misc]progress:  [ 18 / 35 ] simplifiying candidate #<alt (λ (a x) (* 1 (log (exp (expm1 (* a x))))))>
1545818898.787 * * * * [misc]progress:  [ 19 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (- (exp (* a x)) 1))))>
1545818898.787 * * * * [misc]progress:  [ 20 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (log1p (expm1 (expm1 (* a x)))))))>
1545818898.787 * * * * [misc]progress:  [ 21 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (expm1 (log1p (expm1 (* a x)))))))>
1545818898.787 * * * * [misc]progress:  [ 22 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (expm1 (* a x)))))>
1545818898.787 * [enter]simplify:  Simplifying (* a x)
1545818898.787 * * [misc]simplify:  iters left: 2 (3 enodes)
1545818898.788 * * [misc]simplify:  iters left: 1 (4 enodes)
1545818898.788 * [exit]simplify:  Simplified to (* a x)
1545818898.788 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a x) (log (exp (expm1 (* a x)))))
1545818898.788 * * * * [misc]progress:  [ 23 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (pow (expm1 (* a x)) 1))))>
1545818898.788 * * * * [misc]progress:  [ 24 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (exp (log (expm1 (* a x)))))))>
1545818898.788 * * * * [misc]progress:  [ 25 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (log (exp (expm1 (* a x)))))))>
1545818898.788 * * * * [misc]progress:  [ 26 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (* (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (cbrt (expm1 (* a x)))))))>
1545818898.788 * * * * [misc]progress:  [ 27 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (cbrt (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x)))))))>
1545818898.788 * * * * [misc]progress:  [ 28 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (* (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x)))))))>
1545818898.788 * * * * [misc]progress:  [ 29 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (* 1 (expm1 (* a x))))))>
1545818898.788 * * * * [misc]progress:  [ 30 / 35 ] simplifiying candidate #<alt (λ (a x) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))))>
1545818898.789 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
1545818898.789 * * [misc]simplify:  iters left: 6 (17 enodes)
1545818898.792 * * [misc]simplify:  iters left: 5 (38 enodes)
1545818898.800 * * [misc]simplify:  iters left: 4 (105 enodes)
1545818898.823 * * [misc]simplify:  iters left: 3 (253 enodes)
1545818898.974 * [exit]simplify:  Simplified to (fma (* x x) (* (* a a) 1/2) (fma (* 1/6 (* x x)) (* (* a x) (* a a)) (* a x)))
1545818898.974 * [misc]simplify:  Simplified (2) to (λ (a x) (fma (* x x) (* (* a a) 1/2) (fma (* 1/6 (* x x)) (* (* a x) (* a a)) (* a x))))
1545818898.974 * * * * [misc]progress:  [ 31 / 35 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
1545818898.974 * [enter]simplify:  Simplifying (- (exp (* a x)) 1)
1545818898.974 * * [misc]simplify:  iters left: 5 (6 enodes)
1545818898.977 * * [misc]simplify:  iters left: 4 (15 enodes)
1545818898.980 * [exit]simplify:  Simplified to (expm1 (* a x))
1545818898.980 * [misc]simplify:  Simplified (2) to (λ (a x) (expm1 (* a x)))
1545818898.980 * * * * [misc]progress:  [ 32 / 35 ] simplifiying candidate #<alt (λ (a x) (- (exp (* a x)) 1))>
1545818898.980 * [enter]simplify:  Simplifying (- (exp (* a x)) 1)
1545818898.980 * * [misc]simplify:  iters left: 5 (6 enodes)
1545818898.983 * * [misc]simplify:  iters left: 4 (15 enodes)
1545818898.986 * [exit]simplify:  Simplified to (expm1 (* a x))
1545818898.986 * [misc]simplify:  Simplified (2) to (λ (a x) (expm1 (* a x)))
1545818898.986 * * * * [misc]progress:  [ 33 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))))))>
1545818898.986 * [enter]simplify:  Simplifying (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3)))))
1545818898.986 * * [misc]simplify:  iters left: 6 (17 enodes)
1545818898.992 * * [misc]simplify:  iters left: 5 (38 enodes)
1545818899.007 * * [misc]simplify:  iters left: 4 (105 enodes)
1545818899.050 * * [misc]simplify:  iters left: 3 (253 enodes)
1545818899.164 * [exit]simplify:  Simplified to (fma (* x x) (* (* a a) 1/2) (fma (* 1/6 (* x x)) (* (* a x) (* a a)) (* a x)))
1545818899.164 * [misc]simplify:  Simplified (2 1 1) to (λ (a x) (log (exp (fma (* x x) (* (* a a) 1/2) (fma (* 1/6 (* x x)) (* (* a x) (* a a)) (* a x))))))
1545818899.164 * * * * [misc]progress:  [ 34 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (- (exp (* a x)) 1))))>
1545818899.164 * [enter]simplify:  Simplifying (- (exp (* a x)) 1)
1545818899.164 * * [misc]simplify:  iters left: 5 (6 enodes)
1545818899.166 * * [misc]simplify:  iters left: 4 (15 enodes)
1545818899.168 * [exit]simplify:  Simplified to (expm1 (* a x))
1545818899.168 * [misc]simplify:  Simplified (2 1 1) to (λ (a x) (log (exp (expm1 (* a x)))))
1545818899.168 * * * * [misc]progress:  [ 35 / 35 ] simplifiying candidate #<alt (λ (a x) (log (exp (- (exp (* a x)) 1))))>
1545818899.168 * [enter]simplify:  Simplifying (- (exp (* a x)) 1)
1545818899.168 * * [misc]simplify:  iters left: 5 (6 enodes)
1545818899.169 * * [misc]simplify:  iters left: 4 (15 enodes)
1545818899.171 * [exit]simplify:  Simplified to (expm1 (* a x))
1545818899.171 * [misc]simplify:  Simplified (2 1 1) to (λ (a x) (log (exp (expm1 (* a x)))))
1545818899.171 * * * [misc]progress:  adding candidates to table
1545818899.461 * [misc]progress:  [Phase 3 of 3] Extracting.
1545818899.461 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a x) (expm1 (* a x)))> #<alt (λ (a x) (log (exp (expm1 (* a x)))))>)
1545818899.462 * * * [misc]regime-changes:  Trying 3 branch expressions: (x a (* a x))
1545818899.462 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (a x) (expm1 (* a x)))> #<alt (λ (a x) (log (exp (expm1 (* a x)))))>)
1545818899.503 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a x) (expm1 (* a x)))> #<alt (λ (a x) (log (exp (expm1 (* a x)))))>)
1545818899.524 * * * * [misc]regimes:  Trying to branch on (* a x) from (#<alt (λ (a x) (expm1 (* a x)))> #<alt (λ (a x) (log (exp (expm1 (* a x)))))>)
1545818899.557 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1545818899.557 * [enter]simplify:  Simplifying (expm1 (* a x))
1545818899.557 * * [misc]simplify:  iters left: 3 (4 enodes)
1545818899.558 * * [misc]simplify:  iters left: 2 (5 enodes)
1545818899.558 * [exit]simplify:  Simplified to (expm1 (* a x))
1545818899.558 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545818901.442 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818901.444 * * * * [misc]points:  Sampling 2003 additional inputs, on iter 1 have 5997 / 8000
1545818902.046 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818902.046 * * * * [misc]points:  Sampling 475 additional inputs, on iter 2 have 7525 / 8000
1545818902.504 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818902.505 * * * * [misc]points:  Sampling 111 additional inputs, on iter 3 have 7889 / 8000
1545818902.522 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818902.522 * * * * [misc]points:  Sampling 27 additional inputs, on iter 4 have 7973 / 8000
1545818902.528 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818902.528 * * * * [misc]points:  Sampling 7 additional inputs, on iter 5 have 7993 / 8000
1545818902.529 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818902.529 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 7997 / 8000
1545818902.531 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818902.531 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 7999 / 8000
1545818902.532 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545818902.532 * * * * [exit]points:  Sampled 8003 points with exact outputs
1545818902.809 * [misc]regime-testing:  Baseline error score: 0.02087880231519832
1545818902.810 * [misc]regime-testing:  Oracle error score: 0.02050380231519832
1545818902.812 * [misc]regime-testing:  End program error score: 0.02087880231519832
1545818902.934 * [misc]regime-testing:  Target error score: 0.15937333836222076