1548149264.950 * [misc]progress: [Phase 1 of 3] Setting up. 1548149264.950 * * * [misc]progress: [1/2] Preparing points 1548149265.032 * * * [misc]progress: [2/2] Setting up program. 1548149265.037 * [misc]progress: [Phase 2 of 3] Improving. 1548149265.037 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1548149265.037 * [enter]simplify: Simplifying (- (exp (* a x)) 1) 1548149265.037 * * [misc]simplify: iters left: 5 (6 enodes) 1548149265.040 * * [misc]simplify: iters left: 4 (15 enodes) 1548149265.043 * [exit]simplify: Simplified to (expm1 (* a x)) 1548149265.043 * [misc]simplify: Simplified (2) to (λ (a x) (expm1 (* a x))) 1548149265.054 * * [misc]progress: iteration 1 / 4 1548149265.054 * * * [misc]progress: picking best candidate 1548149265.057 * * * * [misc]pick: Picked # 1548149265.057 * * * [misc]progress: localizing error 1548149265.069 * * * [misc]progress: generating rewritten candidates 1548149265.069 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1548149265.070 * * * [misc]progress: generating series expansions 1548149265.070 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1548149265.070 * [misc]backup-simplify: Simplify (expm1 (* a x)) into (expm1 (* a x)) 1548149265.070 * [misc]approximate: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 1548149265.070 * [misc]taylor: Taking taylor expansion of (expm1 (* a x)) in x 1548149265.070 * [misc]taylor: Rewrote expression to (- (exp (* a x)) 1) 1548149265.070 * [misc]taylor: Taking taylor expansion of (exp (* a x)) in x 1548149265.070 * [misc]taylor: Taking taylor expansion of (* a x) in x 1548149265.070 * [misc]taylor: Taking taylor expansion of a in x 1548149265.070 * [misc]backup-simplify: Simplify a into a 1548149265.070 * [misc]taylor: Taking taylor expansion of x in x 1548149265.070 * [misc]backup-simplify: Simplify 0 into 0 1548149265.070 * [misc]backup-simplify: Simplify 1 into 1 1548149265.071 * [misc]backup-simplify: Simplify (* a 0) into 0 1548149265.071 * [misc]backup-simplify: Simplify (+ (* a 1) (* 0 0)) into a 1548149265.071 * [misc]backup-simplify: Simplify (exp 0) into 1 1548149265.071 * [misc]taylor: Taking taylor expansion of 1 in x 1548149265.071 * [misc]backup-simplify: Simplify 1 into 1 1548149265.071 * [misc]taylor: Taking taylor expansion of (expm1 (* a x)) in a 1548149265.071 * [misc]taylor: Rewrote expression to (- (exp (* a x)) 1) 1548149265.071 * [misc]taylor: Taking taylor expansion of (exp (* a x)) in a 1548149265.071 * [misc]taylor: Taking taylor expansion of (* a x) in a 1548149265.071 * [misc]taylor: Taking taylor expansion of a in a 1548149265.071 * [misc]backup-simplify: Simplify 0 into 0 1548149265.071 * [misc]backup-simplify: Simplify 1 into 1 1548149265.071 * [misc]taylor: Taking taylor expansion of x in a 1548149265.071 * [misc]backup-simplify: Simplify x into x 1548149265.071 * [misc]backup-simplify: Simplify (* 0 x) into 0 1548149265.072 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 x)) into x 1548149265.072 * [misc]backup-simplify: Simplify (exp 0) into 1 1548149265.072 * [misc]taylor: Taking taylor expansion of 1 in a 1548149265.072 * [misc]backup-simplify: Simplify 1 into 1 1548149265.072 * [misc]taylor: Taking taylor expansion of (expm1 (* a x)) in a 1548149265.072 * [misc]taylor: Rewrote expression to (- (exp (* a x)) 1) 1548149265.072 * [misc]taylor: Taking taylor expansion of (exp (* a x)) in a 1548149265.072 * [misc]taylor: Taking taylor expansion of (* a x) in a 1548149265.072 * [misc]taylor: Taking taylor expansion of a in a 1548149265.072 * [misc]backup-simplify: Simplify 0 into 0 1548149265.072 * [misc]backup-simplify: Simplify 1 into 1 1548149265.072 * [misc]taylor: Taking taylor expansion of x in a 1548149265.072 * [misc]backup-simplify: Simplify x into x 1548149265.072 * [misc]backup-simplify: Simplify (* 0 x) into 0 1548149265.072 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 x)) into x 1548149265.072 * [misc]backup-simplify: Simplify (exp 0) into 1 1548149265.072 * [misc]taylor: Taking taylor expansion of 1 in a 1548149265.072 * [misc]backup-simplify: Simplify 1 into 1 1548149265.073 * [misc]backup-simplify: Simplify (- 1) into -1 1548149265.073 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1548149265.073 * [misc]taylor: Taking taylor expansion of 0 in x 1548149265.073 * [misc]backup-simplify: Simplify 0 into 0 1548149265.073 * [misc]backup-simplify: Simplify 0 into 0 1548149265.073 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 1548149265.073 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.073 * [misc]backup-simplify: Simplify (+ x 0) into x 1548149265.073 * [misc]taylor: Taking taylor expansion of x in x 1548149265.073 * [misc]backup-simplify: Simplify 0 into 0 1548149265.073 * [misc]backup-simplify: Simplify 1 into 1 1548149265.073 * [misc]backup-simplify: Simplify 0 into 0 1548149265.073 * [misc]backup-simplify: Simplify 0 into 0 1548149265.074 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 1548149265.075 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 1548149265.075 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.075 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 1548149265.075 * [misc]taylor: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1548149265.075 * [misc]taylor: Taking taylor expansion of 1/2 in x 1548149265.075 * [misc]backup-simplify: Simplify 1/2 into 1/2 1548149265.075 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1548149265.075 * [misc]taylor: Taking taylor expansion of x in x 1548149265.075 * [misc]backup-simplify: Simplify 0 into 0 1548149265.075 * [misc]backup-simplify: Simplify 1 into 1 1548149265.075 * [misc]backup-simplify: Simplify 1 into 1 1548149265.075 * [misc]backup-simplify: Simplify 0 into 0 1548149265.076 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 1548149265.077 * [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)) 1548149265.077 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.077 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 1548149265.077 * [misc]taylor: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1548149265.077 * [misc]taylor: Taking taylor expansion of 1/6 in x 1548149265.077 * [misc]backup-simplify: Simplify 1/6 into 1/6 1548149265.077 * [misc]taylor: Taking taylor expansion of (pow x 3) in x 1548149265.077 * [misc]taylor: Taking taylor expansion of x in x 1548149265.077 * [misc]backup-simplify: Simplify 0 into 0 1548149265.077 * [misc]backup-simplify: Simplify 1 into 1 1548149265.078 * [misc]backup-simplify: Simplify 0 into 0 1548149265.078 * [misc]backup-simplify: Simplify 0 into 0 1548149265.078 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 1548149265.080 * [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)) 1548149265.081 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.081 * [misc]backup-simplify: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 1548149265.081 * [misc]taylor: Taking taylor expansion of (* 1/24 (pow x 4)) in x 1548149265.081 * [misc]taylor: Taking taylor expansion of 1/24 in x 1548149265.081 * [misc]backup-simplify: Simplify 1/24 into 1/24 1548149265.081 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1548149265.081 * [misc]taylor: Taking taylor expansion of x in x 1548149265.081 * [misc]backup-simplify: Simplify 0 into 0 1548149265.081 * [misc]backup-simplify: Simplify 1 into 1 1548149265.081 * [misc]backup-simplify: Simplify (* 1 1) into 1 1548149265.081 * [misc]backup-simplify: Simplify (* 1/2 1) into 1/2 1548149265.081 * [misc]backup-simplify: Simplify 1/2 into 1/2 1548149265.081 * [misc]backup-simplify: Simplify 0 into 0 1548149265.081 * [misc]backup-simplify: Simplify 0 into 0 1548149265.082 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 1548149265.086 * [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)) 1548149265.086 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.086 * [misc]backup-simplify: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 1548149265.086 * [misc]taylor: Taking taylor expansion of (* 1/120 (pow x 5)) in x 1548149265.086 * [misc]taylor: Taking taylor expansion of 1/120 in x 1548149265.086 * [misc]backup-simplify: Simplify 1/120 into 1/120 1548149265.086 * [misc]taylor: Taking taylor expansion of (pow x 5) in x 1548149265.086 * [misc]taylor: Taking taylor expansion of x in x 1548149265.086 * [misc]backup-simplify: Simplify 0 into 0 1548149265.086 * [misc]backup-simplify: Simplify 1 into 1 1548149265.087 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1548149265.087 * [misc]backup-simplify: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1548149265.087 * [misc]backup-simplify: Simplify 0 into 0 1548149265.087 * [misc]backup-simplify: Simplify 0 into 0 1548149265.087 * [misc]backup-simplify: Simplify 0 into 0 1548149265.088 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 1548149265.094 * [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)) 1548149265.094 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.094 * [misc]backup-simplify: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 1548149265.094 * [misc]taylor: Taking taylor expansion of (* 1/720 (pow x 6)) in x 1548149265.094 * [misc]taylor: Taking taylor expansion of 1/720 in x 1548149265.094 * [misc]backup-simplify: Simplify 1/720 into 1/720 1548149265.094 * [misc]taylor: Taking taylor expansion of (pow x 6) in x 1548149265.094 * [misc]taylor: Taking taylor expansion of x in x 1548149265.094 * [misc]backup-simplify: Simplify 0 into 0 1548149265.094 * [misc]backup-simplify: Simplify 1 into 1 1548149265.095 * [misc]backup-simplify: Simplify (* 1 1) into 1 1548149265.095 * [misc]backup-simplify: Simplify (* 1 1) into 1 1548149265.095 * [misc]backup-simplify: Simplify (* 1/6 1) into 1/6 1548149265.095 * [misc]backup-simplify: Simplify 1/6 into 1/6 1548149265.096 * [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))))) 1548149265.096 * [misc]backup-simplify: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x))) 1548149265.096 * [misc]approximate: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 1548149265.096 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 1548149265.096 * [misc]taylor: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1548149265.097 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1548149265.097 * [misc]taylor: Taking taylor expansion of (/ 1 (* a x)) in x 1548149265.097 * [misc]taylor: Taking taylor expansion of (* a x) in x 1548149265.097 * [misc]taylor: Taking taylor expansion of a in x 1548149265.097 * [misc]backup-simplify: Simplify a into a 1548149265.097 * [misc]taylor: Taking taylor expansion of x in x 1548149265.097 * [misc]backup-simplify: Simplify 0 into 0 1548149265.097 * [misc]backup-simplify: Simplify 1 into 1 1548149265.097 * [misc]backup-simplify: Simplify (* a 0) into 0 1548149265.097 * [misc]backup-simplify: Simplify (+ (* a 1) (* 0 0)) into a 1548149265.097 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548149265.098 * [misc]backup-simplify: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1548149265.098 * [misc]taylor: Taking taylor expansion of 1 in x 1548149265.098 * [misc]backup-simplify: Simplify 1 into 1 1548149265.098 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 1548149265.098 * [misc]taylor: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1548149265.098 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1548149265.098 * [misc]taylor: Taking taylor expansion of (/ 1 (* a x)) in a 1548149265.098 * [misc]taylor: Taking taylor expansion of (* a x) in a 1548149265.098 * [misc]taylor: Taking taylor expansion of a in a 1548149265.098 * [misc]backup-simplify: Simplify 0 into 0 1548149265.098 * [misc]backup-simplify: Simplify 1 into 1 1548149265.098 * [misc]taylor: Taking taylor expansion of x in a 1548149265.098 * [misc]backup-simplify: Simplify x into x 1548149265.098 * [misc]backup-simplify: Simplify (* 0 x) into 0 1548149265.098 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 x)) into x 1548149265.098 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1548149265.099 * [misc]backup-simplify: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1548149265.099 * [misc]taylor: Taking taylor expansion of 1 in a 1548149265.099 * [misc]backup-simplify: Simplify 1 into 1 1548149265.099 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 1548149265.099 * [misc]taylor: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1548149265.099 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1548149265.099 * [misc]taylor: Taking taylor expansion of (/ 1 (* a x)) in a 1548149265.099 * [misc]taylor: Taking taylor expansion of (* a x) in a 1548149265.099 * [misc]taylor: Taking taylor expansion of a in a 1548149265.099 * [misc]backup-simplify: Simplify 0 into 0 1548149265.099 * [misc]backup-simplify: Simplify 1 into 1 1548149265.099 * [misc]taylor: Taking taylor expansion of x in a 1548149265.099 * [misc]backup-simplify: Simplify x into x 1548149265.099 * [misc]backup-simplify: Simplify (* 0 x) into 0 1548149265.099 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 x)) into x 1548149265.099 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1548149265.099 * [misc]backup-simplify: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1548149265.100 * [misc]taylor: Taking taylor expansion of 1 in a 1548149265.100 * [misc]backup-simplify: Simplify 1 into 1 1548149265.100 * [misc]backup-simplify: Simplify (- 1) into -1 1548149265.100 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 1548149265.100 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 1548149265.100 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1548149265.100 * [misc]taylor: Taking taylor expansion of (/ 1 (* a x)) in x 1548149265.100 * [misc]taylor: Taking taylor expansion of (* a x) in x 1548149265.100 * [misc]taylor: Taking taylor expansion of a in x 1548149265.100 * [misc]backup-simplify: Simplify a into a 1548149265.100 * [misc]taylor: Taking taylor expansion of x in x 1548149265.100 * [misc]backup-simplify: Simplify 0 into 0 1548149265.100 * [misc]backup-simplify: Simplify 1 into 1 1548149265.100 * [misc]backup-simplify: Simplify (* a 0) into 0 1548149265.100 * [misc]backup-simplify: Simplify (+ (* a 1) (* 0 0)) into a 1548149265.100 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548149265.101 * [misc]backup-simplify: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1548149265.101 * [misc]taylor: Taking taylor expansion of 1 in x 1548149265.101 * [misc]backup-simplify: Simplify 1 into 1 1548149265.101 * [misc]backup-simplify: Simplify (- 1) into -1 1548149265.101 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 1548149265.101 * [misc]backup-simplify: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 1548149265.101 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.101 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548149265.101 * [misc]taylor: Taking taylor expansion of 0 in x 1548149265.101 * [misc]backup-simplify: Simplify 0 into 0 1548149265.101 * [misc]backup-simplify: Simplify 0 into 0 1548149265.102 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.102 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548149265.102 * [misc]backup-simplify: Simplify 0 into 0 1548149265.102 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.102 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548149265.102 * [misc]taylor: Taking taylor expansion of 0 in x 1548149265.102 * [misc]backup-simplify: Simplify 0 into 0 1548149265.102 * [misc]backup-simplify: Simplify 0 into 0 1548149265.102 * [misc]backup-simplify: Simplify 0 into 0 1548149265.102 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.103 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548149265.103 * [misc]backup-simplify: Simplify 0 into 0 1548149265.103 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.103 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548149265.103 * [misc]taylor: Taking taylor expansion of 0 in x 1548149265.103 * [misc]backup-simplify: Simplify 0 into 0 1548149265.103 * [misc]backup-simplify: Simplify 0 into 0 1548149265.103 * [misc]backup-simplify: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 1548149265.103 * [misc]backup-simplify: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x))) 1548149265.103 * [misc]approximate: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 1548149265.103 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 1548149265.104 * [misc]taylor: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1548149265.104 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1548149265.104 * [misc]taylor: Taking taylor expansion of (/ 1 (* a x)) in x 1548149265.104 * [misc]taylor: Taking taylor expansion of (* a x) in x 1548149265.104 * [misc]taylor: Taking taylor expansion of a in x 1548149265.104 * [misc]backup-simplify: Simplify a into a 1548149265.104 * [misc]taylor: Taking taylor expansion of x in x 1548149265.104 * [misc]backup-simplify: Simplify 0 into 0 1548149265.104 * [misc]backup-simplify: Simplify 1 into 1 1548149265.104 * [misc]backup-simplify: Simplify (* a 0) into 0 1548149265.104 * [misc]backup-simplify: Simplify (+ (* a 1) (* 0 0)) into a 1548149265.104 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548149265.104 * [misc]backup-simplify: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1548149265.104 * [misc]taylor: Taking taylor expansion of 1 in x 1548149265.104 * [misc]backup-simplify: Simplify 1 into 1 1548149265.104 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 1548149265.104 * [misc]taylor: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1548149265.104 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1548149265.104 * [misc]taylor: Taking taylor expansion of (/ 1 (* a x)) in a 1548149265.104 * [misc]taylor: Taking taylor expansion of (* a x) in a 1548149265.104 * [misc]taylor: Taking taylor expansion of a in a 1548149265.104 * [misc]backup-simplify: Simplify 0 into 0 1548149265.104 * [misc]backup-simplify: Simplify 1 into 1 1548149265.104 * [misc]taylor: Taking taylor expansion of x in a 1548149265.104 * [misc]backup-simplify: Simplify x into x 1548149265.104 * [misc]backup-simplify: Simplify (* 0 x) into 0 1548149265.105 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 x)) into x 1548149265.105 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1548149265.105 * [misc]backup-simplify: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1548149265.105 * [misc]taylor: Taking taylor expansion of 1 in a 1548149265.105 * [misc]backup-simplify: Simplify 1 into 1 1548149265.105 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 1548149265.105 * [misc]taylor: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 1548149265.105 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (* a x))) in a 1548149265.105 * [misc]taylor: Taking taylor expansion of (/ 1 (* a x)) in a 1548149265.105 * [misc]taylor: Taking taylor expansion of (* a x) in a 1548149265.105 * [misc]taylor: Taking taylor expansion of a in a 1548149265.105 * [misc]backup-simplify: Simplify 0 into 0 1548149265.105 * [misc]backup-simplify: Simplify 1 into 1 1548149265.105 * [misc]taylor: Taking taylor expansion of x in a 1548149265.105 * [misc]backup-simplify: Simplify x into x 1548149265.105 * [misc]backup-simplify: Simplify (* 0 x) into 0 1548149265.105 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 x)) into x 1548149265.106 * [misc]backup-simplify: Simplify (/ 1 x) into (/ 1 x) 1548149265.106 * [misc]backup-simplify: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1548149265.106 * [misc]taylor: Taking taylor expansion of 1 in a 1548149265.106 * [misc]backup-simplify: Simplify 1 into 1 1548149265.106 * [misc]backup-simplify: Simplify (- 1) into -1 1548149265.106 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 1548149265.106 * [misc]taylor: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 1548149265.106 * [misc]taylor: Taking taylor expansion of (exp (/ 1 (* a x))) in x 1548149265.106 * [misc]taylor: Taking taylor expansion of (/ 1 (* a x)) in x 1548149265.106 * [misc]taylor: Taking taylor expansion of (* a x) in x 1548149265.106 * [misc]taylor: Taking taylor expansion of a in x 1548149265.106 * [misc]backup-simplify: Simplify a into a 1548149265.106 * [misc]taylor: Taking taylor expansion of x in x 1548149265.106 * [misc]backup-simplify: Simplify 0 into 0 1548149265.106 * [misc]backup-simplify: Simplify 1 into 1 1548149265.106 * [misc]backup-simplify: Simplify (* a 0) into 0 1548149265.107 * [misc]backup-simplify: Simplify (+ (* a 1) (* 0 0)) into a 1548149265.107 * [misc]backup-simplify: Simplify (/ 1 a) into (/ 1 a) 1548149265.107 * [misc]backup-simplify: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 1548149265.107 * [misc]taylor: Taking taylor expansion of 1 in x 1548149265.107 * [misc]backup-simplify: Simplify 1 into 1 1548149265.107 * [misc]backup-simplify: Simplify (- 1) into -1 1548149265.107 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 1548149265.107 * [misc]backup-simplify: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 1548149265.107 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.108 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548149265.108 * [misc]taylor: Taking taylor expansion of 0 in x 1548149265.108 * [misc]backup-simplify: Simplify 0 into 0 1548149265.108 * [misc]backup-simplify: Simplify 0 into 0 1548149265.108 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.108 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548149265.108 * [misc]backup-simplify: Simplify 0 into 0 1548149265.108 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.108 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548149265.108 * [misc]taylor: Taking taylor expansion of 0 in x 1548149265.108 * [misc]backup-simplify: Simplify 0 into 0 1548149265.108 * [misc]backup-simplify: Simplify 0 into 0 1548149265.108 * [misc]backup-simplify: Simplify 0 into 0 1548149265.109 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.109 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548149265.109 * [misc]backup-simplify: Simplify 0 into 0 1548149265.109 * [misc]backup-simplify: Simplify (- 0) into 0 1548149265.109 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1548149265.109 * [misc]taylor: Taking taylor expansion of 0 in x 1548149265.109 * [misc]backup-simplify: Simplify 0 into 0 1548149265.109 * [misc]backup-simplify: Simplify 0 into 0 1548149265.109 * [misc]backup-simplify: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 1548149265.110 * * * [misc]progress: simplifying candidates 1548149265.110 * * * * [misc]progress: [ 1 / 14 ] simplifiying candidate # 1548149265.110 * * * * [misc]progress: [ 2 / 14 ] simplifiying candidate # 1548149265.110 * * * * [misc]progress: [ 3 / 14 ] simplifiying candidate # 1548149265.110 * * * * [misc]progress: [ 4 / 14 ] simplifiying candidate # 1548149265.110 * [enter]simplify: Simplifying (* a x) 1548149265.110 * * [misc]simplify: iters left: 2 (3 enodes) 1548149265.111 * * [misc]simplify: iters left: 1 (4 enodes) 1548149265.112 * [exit]simplify: Simplified to (* a x) 1548149265.112 * [misc]simplify: Simplified (2 1) to (λ (a x) (expm1 (* a x))) 1548149265.112 * * * * [misc]progress: [ 5 / 14 ] simplifiying candidate # 1548149265.112 * * * * [misc]progress: [ 6 / 14 ] simplifiying candidate # 1548149265.112 * * * * [misc]progress: [ 7 / 14 ] simplifiying candidate # 1548149265.112 * * * * [misc]progress: [ 8 / 14 ] simplifiying candidate # 1548149265.112 * * * * [misc]progress: [ 9 / 14 ] simplifiying candidate # 1548149265.113 * * * * [misc]progress: [ 10 / 14 ] simplifiying candidate # 1548149265.113 * * * * [misc]progress: [ 11 / 14 ] simplifiying candidate # 1548149265.113 * * * * [misc]progress: [ 12 / 14 ] simplifiying candidate # 1548149265.113 * [enter]simplify: Simplifying (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))) 1548149265.113 * * [misc]simplify: iters left: 6 (17 enodes) 1548149265.119 * * [misc]simplify: iters left: 5 (38 enodes) 1548149265.132 * * [misc]simplify: iters left: 4 (105 enodes) 1548149265.177 * * [misc]simplify: iters left: 3 (258 enodes) 1548149265.281 * [exit]simplify: Simplified to (fma (* (* x 1/6) (* (* a x) (* a x))) a (fma 1/2 (* (* a x) (* a x)) (* a x))) 1548149265.281 * [misc]simplify: Simplified (2) to (λ (a x) (fma (* (* x 1/6) (* (* a x) (* a x))) a (fma 1/2 (* (* a x) (* a x)) (* a x)))) 1548149265.281 * * * * [misc]progress: [ 13 / 14 ] simplifiying candidate # 1548149265.281 * [enter]simplify: Simplifying (- (exp (* a x)) 1) 1548149265.281 * * [misc]simplify: iters left: 5 (6 enodes) 1548149265.282 * * [misc]simplify: iters left: 4 (15 enodes) 1548149265.284 * [exit]simplify: Simplified to (expm1 (* a x)) 1548149265.284 * [misc]simplify: Simplified (2) to (λ (a x) (expm1 (* a x))) 1548149265.284 * * * * [misc]progress: [ 14 / 14 ] simplifiying candidate # 1548149265.284 * [enter]simplify: Simplifying (- (exp (* a x)) 1) 1548149265.284 * * [misc]simplify: iters left: 5 (6 enodes) 1548149265.286 * * [misc]simplify: iters left: 4 (15 enodes) 1548149265.287 * [exit]simplify: Simplified to (expm1 (* a x)) 1548149265.287 * [misc]simplify: Simplified (2) to (λ (a x) (expm1 (* a x))) 1548149265.287 * * * [misc]progress: adding candidates to table 1548149265.399 * [misc]progress: [Phase 3 of 3] Extracting. 1548149265.401 * [enter]simplify: Simplifying (expm1 (* a x)) 1548149265.401 * * [misc]simplify: iters left: 3 (4 enodes) 1548149265.401 * * [misc]simplify: iters left: 2 (5 enodes) 1548149265.401 * [exit]simplify: Simplified to (expm1 (* a x)) 1548149267.689 * [misc]regime-testing: Baseline error score: 0.017105093115823852 1548149267.690 * [misc]regime-testing: Oracle error score: 0.017105093115823852 1548149267.690 * [misc]regime-testing: End program error score: 0.017105093115823852 1548149267.767 * [misc]regime-testing: Target error score: 0.15682778527107571