1554300982.945 * [misc]progress: [Phase 1 of 3] Setting up. 1554300982.945 * * * [misc]progress: [1/2] Preparing points 1554300982.974 * * * [misc]progress: [2/2] Setting up program. 1554300982.976 * [misc]progress: [Phase 2 of 3] Improving. 1554300982.976 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1554300982.976 * [enter]simplify: Simplifying (exp (- (- 1 (* x x)))) 1554300982.976 * * [misc]simplify: iters left: 6 (6 enodes) 1554300982.977 * * [misc]simplify: iters left: 5 (24 enodes) 1554300982.981 * * [misc]simplify: iters left: 4 (43 enodes) 1554300982.988 * * [misc]simplify: iters left: 3 (71 enodes) 1554300982.999 * * [misc]simplify: iters left: 2 (102 enodes) 1554300983.021 * * [misc]simplify: iters left: 1 (140 enodes) 1554300983.057 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.058 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1554300983.058 * * [misc]simplify: Extracting #2: cost 37 inf + 2 1554300983.058 * * [misc]simplify: Extracting #3: cost 38 inf + 326 1554300983.059 * * [misc]simplify: Extracting #4: cost 8 inf + 2890 1554300983.060 * * [misc]simplify: Extracting #5: cost 0 inf + 3895 1554300983.062 * [exit]simplify: Simplified to (/ (exp (* x x)) E) 1554300983.062 * [misc]simplify: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 1554300983.067 * * [misc]progress: iteration 1 / 4 1554300983.067 * * * [misc]progress: picking best candidate 1554300983.071 * * * * [misc]pick: Picked # 1554300983.071 * * * [misc]progress: localizing error 1554300983.080 * * * [misc]progress: generating rewritten candidates 1554300983.080 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1554300983.084 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 1) 1554300983.086 * * * [misc]progress: generating series expansions 1554300983.086 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1554300983.086 * [misc]backup-simplify: Simplify (exp (- (- 1 (* x x)))) into (exp (- (pow x 2) 1)) 1554300983.086 * [misc]approximate: Taking taylor expansion of (exp (- (pow x 2) 1)) in (x) around 0 1554300983.086 * [misc]taylor: Taking taylor expansion of (exp (- (pow x 2) 1)) in x 1554300983.086 * [misc]taylor: Taking taylor expansion of (- (pow x 2) 1) in x 1554300983.086 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.086 * [misc]taylor: Taking taylor expansion of x in x 1554300983.086 * [misc]backup-simplify: Simplify 0 into 0 1554300983.086 * [misc]backup-simplify: Simplify 1 into 1 1554300983.086 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.086 * [misc]backup-simplify: Simplify 1 into 1 1554300983.087 * [misc]backup-simplify: Simplify (- 1) into -1 1554300983.087 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300983.087 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1554300983.087 * [misc]taylor: Taking taylor expansion of (exp (- (pow x 2) 1)) in x 1554300983.087 * [misc]taylor: Taking taylor expansion of (- (pow x 2) 1) in x 1554300983.087 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.087 * [misc]taylor: Taking taylor expansion of x in x 1554300983.087 * [misc]backup-simplify: Simplify 0 into 0 1554300983.087 * [misc]backup-simplify: Simplify 1 into 1 1554300983.087 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.087 * [misc]backup-simplify: Simplify 1 into 1 1554300983.087 * [misc]backup-simplify: Simplify (- 1) into -1 1554300983.087 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300983.088 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1554300983.088 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1554300983.088 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.088 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.089 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1554300983.089 * [misc]backup-simplify: Simplify 0 into 0 1554300983.090 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.090 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.090 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.092 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1554300983.092 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1554300983.092 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554300983.092 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.093 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.096 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554300983.096 * [misc]backup-simplify: Simplify 0 into 0 1554300983.096 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554300983.096 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.096 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.101 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1)) 1554300983.101 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1554300983.102 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1554300983.102 * [misc]backup-simplify: Simplify (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.102 * [misc]approximate: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0 1554300983.102 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 1554300983.103 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1554300983.103 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.103 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.103 * [misc]taylor: Taking taylor expansion of x in x 1554300983.103 * [misc]backup-simplify: Simplify 0 into 0 1554300983.103 * [misc]backup-simplify: Simplify 1 into 1 1554300983.103 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.103 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.103 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.103 * [misc]backup-simplify: Simplify 1 into 1 1554300983.103 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.103 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.103 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 1554300983.103 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1554300983.103 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.103 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.103 * [misc]taylor: Taking taylor expansion of x in x 1554300983.103 * [misc]backup-simplify: Simplify 0 into 0 1554300983.103 * [misc]backup-simplify: Simplify 1 into 1 1554300983.104 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.104 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.104 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.104 * [misc]backup-simplify: Simplify 1 into 1 1554300983.104 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.104 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.104 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.104 * [misc]backup-simplify: Simplify 0 into 0 1554300983.104 * [misc]backup-simplify: Simplify 0 into 0 1554300983.104 * [misc]backup-simplify: Simplify 0 into 0 1554300983.104 * [misc]backup-simplify: Simplify 0 into 0 1554300983.104 * [misc]backup-simplify: Simplify 0 into 0 1554300983.104 * [misc]backup-simplify: Simplify 0 into 0 1554300983.104 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1)) 1554300983.105 * [misc]backup-simplify: Simplify (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.105 * [misc]approximate: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0 1554300983.105 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 1554300983.105 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1554300983.105 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.105 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.105 * [misc]taylor: Taking taylor expansion of x in x 1554300983.105 * [misc]backup-simplify: Simplify 0 into 0 1554300983.105 * [misc]backup-simplify: Simplify 1 into 1 1554300983.105 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.105 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.105 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.105 * [misc]backup-simplify: Simplify 1 into 1 1554300983.105 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.105 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.105 * [misc]taylor: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 1554300983.105 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1554300983.106 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.106 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.106 * [misc]taylor: Taking taylor expansion of x in x 1554300983.106 * [misc]backup-simplify: Simplify 0 into 0 1554300983.106 * [misc]backup-simplify: Simplify 1 into 1 1554300983.106 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.106 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.106 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.106 * [misc]backup-simplify: Simplify 1 into 1 1554300983.106 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.106 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.106 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.106 * [misc]backup-simplify: Simplify 0 into 0 1554300983.106 * [misc]backup-simplify: Simplify 0 into 0 1554300983.106 * [misc]backup-simplify: Simplify 0 into 0 1554300983.106 * [misc]backup-simplify: Simplify 0 into 0 1554300983.106 * [misc]backup-simplify: Simplify 0 into 0 1554300983.107 * [misc]backup-simplify: Simplify 0 into 0 1554300983.107 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1)) 1554300983.107 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 1) 1554300983.107 * [misc]backup-simplify: Simplify (- 1 (* x x)) into (- 1 (pow x 2)) 1554300983.107 * [misc]approximate: Taking taylor expansion of (- 1 (pow x 2)) in (x) around 0 1554300983.107 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1554300983.107 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.107 * [misc]backup-simplify: Simplify 1 into 1 1554300983.107 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.107 * [misc]taylor: Taking taylor expansion of x in x 1554300983.107 * [misc]backup-simplify: Simplify 0 into 0 1554300983.107 * [misc]backup-simplify: Simplify 1 into 1 1554300983.107 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1554300983.107 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.107 * [misc]backup-simplify: Simplify 1 into 1 1554300983.107 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.107 * [misc]taylor: Taking taylor expansion of x in x 1554300983.107 * [misc]backup-simplify: Simplify 0 into 0 1554300983.107 * [misc]backup-simplify: Simplify 1 into 1 1554300983.107 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.107 * [misc]backup-simplify: Simplify 1 into 1 1554300983.107 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.107 * [misc]backup-simplify: Simplify 0 into 0 1554300983.108 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.108 * [misc]backup-simplify: Simplify (- 1) into -1 1554300983.108 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300983.108 * [misc]backup-simplify: Simplify -1 into -1 1554300983.108 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554300983.108 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.108 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.108 * [misc]backup-simplify: Simplify 0 into 0 1554300983.109 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554300983.109 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.109 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.109 * [misc]backup-simplify: Simplify 0 into 0 1554300983.109 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554300983.109 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.109 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.109 * [misc]backup-simplify: Simplify 0 into 0 1554300983.110 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554300983.110 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.110 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.110 * [misc]backup-simplify: Simplify 0 into 0 1554300983.110 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554300983.110 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.111 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.111 * [misc]backup-simplify: Simplify 0 into 0 1554300983.111 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554300983.111 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.111 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.111 * [misc]backup-simplify: Simplify 0 into 0 1554300983.111 * [misc]backup-simplify: Simplify (+ (* -1 (pow x 2)) 1) into (- 1 (pow x 2)) 1554300983.111 * [misc]backup-simplify: Simplify (- 1 (* (/ 1 x) (/ 1 x))) into (- 1 (/ 1 (pow x 2))) 1554300983.111 * [misc]approximate: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in (x) around 0 1554300983.112 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1554300983.112 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.112 * [misc]backup-simplify: Simplify 1 into 1 1554300983.112 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.112 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.112 * [misc]taylor: Taking taylor expansion of x in x 1554300983.112 * [misc]backup-simplify: Simplify 0 into 0 1554300983.112 * [misc]backup-simplify: Simplify 1 into 1 1554300983.112 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.112 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.112 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1554300983.112 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.112 * [misc]backup-simplify: Simplify 1 into 1 1554300983.112 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.112 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.112 * [misc]taylor: Taking taylor expansion of x in x 1554300983.112 * [misc]backup-simplify: Simplify 0 into 0 1554300983.112 * [misc]backup-simplify: Simplify 1 into 1 1554300983.112 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.113 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.113 * [misc]backup-simplify: Simplify (- 1) into -1 1554300983.113 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300983.113 * [misc]backup-simplify: Simplify -1 into -1 1554300983.113 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554300983.113 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554300983.113 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.114 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.114 * [misc]backup-simplify: Simplify 0 into 0 1554300983.114 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554300983.114 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.114 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.114 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.114 * [misc]backup-simplify: Simplify 1 into 1 1554300983.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554300983.115 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.115 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.115 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.115 * [misc]backup-simplify: Simplify 0 into 0 1554300983.115 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554300983.116 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.116 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.116 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.116 * [misc]backup-simplify: Simplify 0 into 0 1554300983.116 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554300983.117 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.117 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.117 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.117 * [misc]backup-simplify: Simplify 0 into 0 1554300983.117 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554300983.118 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.118 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.118 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.118 * [misc]backup-simplify: Simplify 0 into 0 1554300983.118 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554300983.119 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.119 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.119 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.119 * [misc]backup-simplify: Simplify 0 into 0 1554300983.120 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554300983.120 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.120 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.120 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.120 * [misc]backup-simplify: Simplify 0 into 0 1554300983.121 * [misc]backup-simplify: Simplify (+ 1 (* -1 (pow (/ 1 (/ 1 x)) 2))) into (- 1 (pow x 2)) 1554300983.121 * [misc]backup-simplify: Simplify (- 1 (* (/ 1 (- x)) (/ 1 (- x)))) into (- 1 (/ 1 (pow x 2))) 1554300983.121 * [misc]approximate: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in (x) around 0 1554300983.121 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1554300983.121 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.121 * [misc]backup-simplify: Simplify 1 into 1 1554300983.121 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.121 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.121 * [misc]taylor: Taking taylor expansion of x in x 1554300983.121 * [misc]backup-simplify: Simplify 0 into 0 1554300983.121 * [misc]backup-simplify: Simplify 1 into 1 1554300983.121 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.121 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.121 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1554300983.121 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.121 * [misc]backup-simplify: Simplify 1 into 1 1554300983.121 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.121 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.121 * [misc]taylor: Taking taylor expansion of x in x 1554300983.121 * [misc]backup-simplify: Simplify 0 into 0 1554300983.121 * [misc]backup-simplify: Simplify 1 into 1 1554300983.122 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.122 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.122 * [misc]backup-simplify: Simplify (- 1) into -1 1554300983.122 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300983.122 * [misc]backup-simplify: Simplify -1 into -1 1554300983.122 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554300983.122 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554300983.123 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.123 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.123 * [misc]backup-simplify: Simplify 0 into 0 1554300983.123 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554300983.123 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.123 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.123 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.123 * [misc]backup-simplify: Simplify 1 into 1 1554300983.124 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554300983.124 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.124 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.124 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.124 * [misc]backup-simplify: Simplify 0 into 0 1554300983.125 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554300983.125 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.125 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.125 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.125 * [misc]backup-simplify: Simplify 0 into 0 1554300983.125 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554300983.126 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.126 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.126 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.126 * [misc]backup-simplify: Simplify 0 into 0 1554300983.126 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554300983.127 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.127 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.127 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.127 * [misc]backup-simplify: Simplify 0 into 0 1554300983.128 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554300983.128 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.128 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.128 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.128 * [misc]backup-simplify: Simplify 0 into 0 1554300983.129 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554300983.129 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.129 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.129 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.130 * [misc]backup-simplify: Simplify 0 into 0 1554300983.130 * [misc]backup-simplify: Simplify (+ 1 (* -1 (pow (/ 1 (/ 1 (- x))) 2))) into (- 1 (pow x 2)) 1554300983.130 * * * [misc]progress: simplifying candidates 1554300983.130 * * * * [misc]progress: [ 1 / 42 ] simplifiying candidate # 1554300983.130 * * * * [misc]progress: [ 2 / 42 ] simplifiying candidate # 1554300983.130 * [enter]simplify: Simplifying (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x)))))) 1554300983.130 * * [misc]simplify: iters left: 6 (8 enodes) 1554300983.133 * * [misc]simplify: iters left: 5 (30 enodes) 1554300983.139 * * [misc]simplify: iters left: 4 (44 enodes) 1554300983.148 * * [misc]simplify: iters left: 3 (53 enodes) 1554300983.162 * * [misc]simplify: iters left: 2 (54 enodes) 1554300983.172 * * [misc]simplify: iters left: 1 (60 enodes) 1554300983.182 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.183 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300983.183 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1554300983.183 * * [misc]simplify: Extracting #3: cost 18 inf + 0 1554300983.183 * * [misc]simplify: Extracting #4: cost 27 inf + 1 1554300983.183 * * [misc]simplify: Extracting #5: cost 25 inf + 45 1554300983.183 * * [misc]simplify: Extracting #6: cost 14 inf + 823 1554300983.184 * * [misc]simplify: Extracting #7: cost 1 inf + 2657 1554300983.185 * * [misc]simplify: Extracting #8: cost 0 inf + 2889 1554300983.185 * [exit]simplify: Simplified to (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) 1554300983.185 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (cbrt (- (- 1 (* x x)))))) 1554300983.185 * * * * [misc]progress: [ 3 / 42 ] simplifiying candidate # 1554300983.186 * [enter]simplify: Simplifying (exp (sqrt (- (- 1 (* x x))))) 1554300983.186 * * [misc]simplify: iters left: 6 (7 enodes) 1554300983.188 * * [misc]simplify: iters left: 5 (25 enodes) 1554300983.194 * * [misc]simplify: iters left: 4 (37 enodes) 1554300983.201 * * [misc]simplify: iters left: 3 (46 enodes) 1554300983.209 * * [misc]simplify: iters left: 2 (47 enodes) 1554300983.218 * * [misc]simplify: iters left: 1 (53 enodes) 1554300983.227 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.227 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300983.227 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554300983.227 * * [misc]simplify: Extracting #3: cost 14 inf + 0 1554300983.228 * * [misc]simplify: Extracting #4: cost 23 inf + 1 1554300983.228 * * [misc]simplify: Extracting #5: cost 21 inf + 45 1554300983.228 * * [misc]simplify: Extracting #6: cost 9 inf + 825 1554300983.228 * * [misc]simplify: Extracting #7: cost 1 inf + 1699 1554300983.229 * * [misc]simplify: Extracting #8: cost 0 inf + 1781 1554300983.230 * [exit]simplify: Simplified to (exp (sqrt (+ (* x x) -1))) 1554300983.230 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (sqrt (+ (* x x) -1))) (sqrt (- (- 1 (* x x)))))) 1554300983.230 * * * * [misc]progress: [ 4 / 42 ] simplifiying candidate # 1554300983.230 * [enter]simplify: Simplifying (exp 1) 1554300983.230 * * [misc]simplify: iters left: 1 (2 enodes) 1554300983.231 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.231 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1554300983.231 * [exit]simplify: Simplified to E 1554300983.231 * [misc]simplify: Simplified (2 1) to (λ (x) (pow E (- (- 1 (* x x))))) 1554300983.231 * * * * [misc]progress: [ 5 / 42 ] simplifiying candidate # 1554300983.231 * [enter]simplify: Simplifying (exp -1) 1554300983.231 * * [misc]simplify: iters left: 1 (2 enodes) 1554300983.232 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.232 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300983.233 * * [misc]simplify: Extracting #2: cost 2 inf + 1 1554300983.233 * * [misc]simplify: Extracting #3: cost 0 inf + 143 1554300983.233 * [exit]simplify: Simplified to (exp -1) 1554300983.233 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp -1) (- 1 (* x x)))) 1554300983.233 * * * * [misc]progress: [ 6 / 42 ] simplifiying candidate # 1554300983.233 * [enter]simplify: Simplifying (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) 1554300983.233 * * [misc]simplify: iters left: 6 (8 enodes) 1554300983.236 * * [misc]simplify: iters left: 5 (33 enodes) 1554300983.243 * * [misc]simplify: iters left: 4 (50 enodes) 1554300983.252 * * [misc]simplify: iters left: 3 (57 enodes) 1554300983.264 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.264 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1554300983.264 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1554300983.264 * * [misc]simplify: Extracting #3: cost 20 inf + 1 1554300983.264 * * [misc]simplify: Extracting #4: cost 24 inf + 1 1554300983.264 * * [misc]simplify: Extracting #5: cost 24 inf + 2 1554300983.265 * * [misc]simplify: Extracting #6: cost 12 inf + 1491 1554300983.265 * * [misc]simplify: Extracting #7: cost 1 inf + 4012 1554300983.266 * * [misc]simplify: Extracting #8: cost 0 inf + 4284 1554300983.267 * [exit]simplify: Simplified to (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) 1554300983.267 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) (cbrt (- 1 (* x x))))) 1554300983.268 * * * * [misc]progress: [ 7 / 42 ] simplifiying candidate # 1554300983.268 * [enter]simplify: Simplifying (exp (- (sqrt (- 1 (* x x))))) 1554300983.268 * * [misc]simplify: iters left: 6 (7 enodes) 1554300983.270 * * [misc]simplify: iters left: 5 (27 enodes) 1554300983.275 * * [misc]simplify: iters left: 4 (37 enodes) 1554300983.279 * * [misc]simplify: iters left: 3 (39 enodes) 1554300983.284 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.284 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300983.284 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1554300983.284 * * [misc]simplify: Extracting #3: cost 9 inf + 1 1554300983.284 * * [misc]simplify: Extracting #4: cost 12 inf + 1 1554300983.284 * * [misc]simplify: Extracting #5: cost 16 inf + 1 1554300983.284 * * [misc]simplify: Extracting #6: cost 16 inf + 2 1554300983.284 * * [misc]simplify: Extracting #7: cost 10 inf + 329 1554300983.285 * * [misc]simplify: Extracting #8: cost 4 inf + 1160 1554300983.285 * * [misc]simplify: Extracting #9: cost 0 inf + 1908 1554300983.285 * [exit]simplify: Simplified to (exp (- (sqrt (- 1 (* x x))))) 1554300983.285 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x))))) 1554300983.285 * * * * [misc]progress: [ 8 / 42 ] simplifiying candidate # 1554300983.286 * [enter]simplify: Simplifying (exp (- 1)) 1554300983.286 * * [misc]simplify: iters left: 3 (3 enodes) 1554300983.287 * * [misc]simplify: iters left: 2 (14 enodes) 1554300983.290 * * [misc]simplify: iters left: 1 (17 enodes) 1554300983.293 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.293 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300983.293 * * [misc]simplify: Extracting #2: cost 2 inf + 3 1554300983.293 * * [misc]simplify: Extracting #3: cost 1 inf + 45 1554300983.293 * * [misc]simplify: Extracting #4: cost 0 inf + 87 1554300983.293 * [exit]simplify: Simplified to (/ 1 E) 1554300983.293 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (/ 1 E) (- 1 (* x x)))) 1554300983.293 * * * * [misc]progress: [ 9 / 42 ] simplifiying candidate # 1554300983.293 * [enter]simplify: Simplifying (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 1554300983.293 * * [misc]simplify: iters left: 6 (7 enodes) 1554300983.296 * * [misc]simplify: iters left: 5 (27 enodes) 1554300983.302 * * [misc]simplify: iters left: 4 (37 enodes) 1554300983.309 * * [misc]simplify: iters left: 3 (39 enodes) 1554300983.317 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.317 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300983.317 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1554300983.317 * * [misc]simplify: Extracting #3: cost 13 inf + 0 1554300983.317 * * [misc]simplify: Extracting #4: cost 16 inf + 1 1554300983.317 * * [misc]simplify: Extracting #5: cost 16 inf + 2 1554300983.318 * * [misc]simplify: Extracting #6: cost 10 inf + 329 1554300983.318 * * [misc]simplify: Extracting #7: cost 4 inf + 1320 1554300983.318 * * [misc]simplify: Extracting #8: cost 0 inf + 2228 1554300983.319 * [exit]simplify: Simplified to (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 1554300983.319 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x)))))) 1554300983.319 * * * * [misc]progress: [ 10 / 42 ] simplifiying candidate # 1554300983.319 * [enter]simplify: Simplifying (exp (sqrt (- 1 (* x x)))) 1554300983.319 * * [misc]simplify: iters left: 6 (6 enodes) 1554300983.321 * * [misc]simplify: iters left: 5 (22 enodes) 1554300983.324 * * [misc]simplify: iters left: 4 (30 enodes) 1554300983.328 * * [misc]simplify: iters left: 3 (32 enodes) 1554300983.332 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.332 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300983.332 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554300983.332 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554300983.332 * * [misc]simplify: Extracting #4: cost 12 inf + 1 1554300983.332 * * [misc]simplify: Extracting #5: cost 11 inf + 43 1554300983.332 * * [misc]simplify: Extracting #6: cost 5 inf + 410 1554300983.333 * * [misc]simplify: Extracting #7: cost 1 inf + 928 1554300983.333 * * [misc]simplify: Extracting #8: cost 0 inf + 1120 1554300983.333 * [exit]simplify: Simplified to (exp (sqrt (- 1 (* x x)))) 1554300983.333 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (exp (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x)))))) 1554300983.333 * * * * [misc]progress: [ 11 / 42 ] simplifiying candidate # 1554300983.333 * [enter]simplify: Simplifying (exp 1) 1554300983.333 * * [misc]simplify: iters left: 1 (2 enodes) 1554300983.334 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.334 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1554300983.334 * [exit]simplify: Simplified to E 1554300983.334 * [misc]simplify: Simplified (2 1) to (λ (x) (pow E (- (- 1 (* x x))))) 1554300983.334 * * * * [misc]progress: [ 12 / 42 ] simplifiying candidate # 1554300983.334 * [enter]simplify: Simplifying (exp (- 1)) 1554300983.334 * * [misc]simplify: iters left: 3 (3 enodes) 1554300983.336 * * [misc]simplify: iters left: 2 (14 enodes) 1554300983.340 * * [misc]simplify: iters left: 1 (17 enodes) 1554300983.344 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.344 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300983.344 * * [misc]simplify: Extracting #2: cost 2 inf + 3 1554300983.344 * * [misc]simplify: Extracting #3: cost 1 inf + 45 1554300983.344 * * [misc]simplify: Extracting #4: cost 0 inf + 87 1554300983.345 * [exit]simplify: Simplified to (/ 1 E) 1554300983.345 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ 1 E) (exp (- (- (* x x)))))) 1554300983.345 * * * * [misc]progress: [ 13 / 42 ] simplifiying candidate # 1554300983.345 * [enter]simplify: Simplifying (exp (- 1)) 1554300983.345 * * [misc]simplify: iters left: 3 (3 enodes) 1554300983.348 * * [misc]simplify: iters left: 2 (14 enodes) 1554300983.351 * * [misc]simplify: iters left: 1 (17 enodes) 1554300983.355 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.355 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300983.355 * * [misc]simplify: Extracting #2: cost 2 inf + 3 1554300983.355 * * [misc]simplify: Extracting #3: cost 1 inf + 45 1554300983.356 * * [misc]simplify: Extracting #4: cost 0 inf + 87 1554300983.356 * [exit]simplify: Simplified to (/ 1 E) 1554300983.356 * [misc]simplify: Simplified (2 1) to (λ (x) (* (/ 1 E) (exp (- (- (* x x)))))) 1554300983.356 * * * * [misc]progress: [ 14 / 42 ] simplifiying candidate # 1554300983.356 * * * * [misc]progress: [ 15 / 42 ] simplifiying candidate # 1554300983.356 * [enter]simplify: Simplifying (exp 0) 1554300983.356 * * [misc]simplify: iters left: 1 (2 enodes) 1554300983.357 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.357 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1554300983.357 * [exit]simplify: Simplified to 1 1554300983.357 * [misc]simplify: Simplified (2 1) to (λ (x) (/ 1 (exp (- 1 (* x x))))) 1554300983.357 * * * * [misc]progress: [ 16 / 42 ] simplifiying candidate # 1554300983.357 * * * * [misc]progress: [ 17 / 42 ] simplifiying candidate # 1554300983.357 * [enter]simplify: Simplifying (- (- 1 (* x x))) 1554300983.357 * * [misc]simplify: iters left: 6 (5 enodes) 1554300983.361 * * [misc]simplify: iters left: 5 (19 enodes) 1554300983.366 * * [misc]simplify: iters left: 4 (31 enodes) 1554300983.372 * * [misc]simplify: iters left: 3 (40 enodes) 1554300983.380 * * [misc]simplify: iters left: 2 (41 enodes) 1554300983.387 * * [misc]simplify: iters left: 1 (47 enodes) 1554300983.396 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.396 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1554300983.396 * * [misc]simplify: Extracting #2: cost 19 inf + 1 1554300983.396 * * [misc]simplify: Extracting #3: cost 18 inf + 3 1554300983.396 * * [misc]simplify: Extracting #4: cost 6 inf + 742 1554300983.397 * * [misc]simplify: Extracting #5: cost 0 inf + 1153 1554300983.397 * [exit]simplify: Simplified to (+ -1 (* x x)) 1554300983.397 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (+ -1 (* x x)))) 1554300983.397 * * * * [misc]progress: [ 18 / 42 ] simplifiying candidate # 1554300983.397 * * * * [misc]progress: [ 19 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 20 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 21 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 22 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 23 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 24 / 42 ] simplifiying candidate #real (real->posit16 (exp (- (- 1 (* x x)))))))> 1554300983.398 * * * * [misc]progress: [ 25 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 26 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 27 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 28 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 29 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 30 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 31 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 32 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 33 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 34 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 35 / 42 ] simplifiying candidate # 1554300983.398 * * * * [misc]progress: [ 36 / 42 ] simplifiying candidate #real (real->posit16 (- 1 (* x x)))))))> 1554300983.398 * * * * [misc]progress: [ 37 / 42 ] simplifiying candidate # 1554300983.398 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1554300983.399 * * [misc]simplify: iters left: 6 (13 enodes) 1554300983.404 * * [misc]simplify: iters left: 5 (49 enodes) 1554300983.416 * * [misc]simplify: iters left: 4 (76 enodes) 1554300983.433 * * [misc]simplify: iters left: 3 (112 enodes) 1554300983.448 * * [misc]simplify: iters left: 2 (137 enodes) 1554300983.466 * * [misc]simplify: iters left: 1 (139 enodes) 1554300983.483 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.483 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1554300983.483 * * [misc]simplify: Extracting #2: cost 38 inf + 1 1554300983.483 * * [misc]simplify: Extracting #3: cost 46 inf + 462 1554300983.484 * * [misc]simplify: Extracting #4: cost 27 inf + 2919 1554300983.485 * * [misc]simplify: Extracting #5: cost 4 inf + 11012 1554300983.487 * * [misc]simplify: Extracting #6: cost 0 inf + 12618 1554300983.488 * [exit]simplify: Simplified to (+ (* (exp -1) (+ (* x x) (* 1/2 (pow x 4)))) (exp -1)) 1554300983.488 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (exp -1) (+ (* x x) (* 1/2 (pow x 4)))) (exp -1))) 1554300983.488 * * * * [misc]progress: [ 38 / 42 ] simplifiying candidate # 1554300983.489 * [enter]simplify: Simplifying (exp (- (pow x 2) 1)) 1554300983.489 * * [misc]simplify: iters left: 4 (6 enodes) 1554300983.491 * * [misc]simplify: iters left: 3 (27 enodes) 1554300983.495 * * [misc]simplify: iters left: 2 (41 enodes) 1554300983.501 * * [misc]simplify: iters left: 1 (55 enodes) 1554300983.508 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.508 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1554300983.508 * * [misc]simplify: Extracting #2: cost 28 inf + 1 1554300983.508 * * [misc]simplify: Extracting #3: cost 26 inf + 117 1554300983.509 * * [misc]simplify: Extracting #4: cost 4 inf + 1767 1554300983.509 * * [misc]simplify: Extracting #5: cost 0 inf + 2225 1554300983.509 * [exit]simplify: Simplified to (/ (exp (* x x)) E) 1554300983.509 * [misc]simplify: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 1554300983.510 * * * * [misc]progress: [ 39 / 42 ] simplifiying candidate # 1554300983.510 * [enter]simplify: Simplifying (exp (- (pow x 2) 1)) 1554300983.510 * * [misc]simplify: iters left: 4 (6 enodes) 1554300983.512 * * [misc]simplify: iters left: 3 (27 enodes) 1554300983.516 * * [misc]simplify: iters left: 2 (41 enodes) 1554300983.522 * * [misc]simplify: iters left: 1 (55 enodes) 1554300983.536 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.536 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1554300983.536 * * [misc]simplify: Extracting #2: cost 28 inf + 1 1554300983.536 * * [misc]simplify: Extracting #3: cost 26 inf + 117 1554300983.536 * * [misc]simplify: Extracting #4: cost 4 inf + 1767 1554300983.537 * * [misc]simplify: Extracting #5: cost 0 inf + 2225 1554300983.538 * [exit]simplify: Simplified to (/ (exp (* x x)) E) 1554300983.538 * [misc]simplify: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 1554300983.538 * * * * [misc]progress: [ 40 / 42 ] simplifiying candidate # 1554300983.538 * [enter]simplify: Simplifying (- 1 (pow x 2)) 1554300983.538 * * [misc]simplify: iters left: 3 (5 enodes) 1554300983.540 * * [misc]simplify: iters left: 2 (20 enodes) 1554300983.545 * * [misc]simplify: iters left: 1 (28 enodes) 1554300983.551 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.551 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300983.551 * * [misc]simplify: Extracting #2: cost 9 inf + 1 1554300983.551 * * [misc]simplify: Extracting #3: cost 1 inf + 452 1554300983.551 * * [misc]simplify: Extracting #4: cost 0 inf + 493 1554300983.551 * [exit]simplify: Simplified to (- 1 (* x x)) 1554300983.552 * [misc]simplify: Simplified (2 1 1) to (λ (x) (exp (- (- 1 (* x x))))) 1554300983.552 * * * * [misc]progress: [ 41 / 42 ] simplifiying candidate # 1554300983.552 * [enter]simplify: Simplifying (- 1 (pow x 2)) 1554300983.552 * * [misc]simplify: iters left: 3 (5 enodes) 1554300983.554 * * [misc]simplify: iters left: 2 (20 enodes) 1554300983.559 * * [misc]simplify: iters left: 1 (28 enodes) 1554300983.564 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.564 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300983.565 * * [misc]simplify: Extracting #2: cost 9 inf + 1 1554300983.565 * * [misc]simplify: Extracting #3: cost 1 inf + 452 1554300983.565 * * [misc]simplify: Extracting #4: cost 0 inf + 493 1554300983.565 * [exit]simplify: Simplified to (- 1 (* x x)) 1554300983.565 * [misc]simplify: Simplified (2 1 1) to (λ (x) (exp (- (- 1 (* x x))))) 1554300983.565 * * * * [misc]progress: [ 42 / 42 ] simplifiying candidate # 1554300983.566 * [enter]simplify: Simplifying (- 1 (pow x 2)) 1554300983.566 * * [misc]simplify: iters left: 3 (5 enodes) 1554300983.568 * * [misc]simplify: iters left: 2 (20 enodes) 1554300983.573 * * [misc]simplify: iters left: 1 (28 enodes) 1554300983.578 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.578 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300983.578 * * [misc]simplify: Extracting #2: cost 9 inf + 1 1554300983.579 * * [misc]simplify: Extracting #3: cost 1 inf + 452 1554300983.579 * * [misc]simplify: Extracting #4: cost 0 inf + 493 1554300983.579 * [exit]simplify: Simplified to (- 1 (* x x)) 1554300983.579 * [misc]simplify: Simplified (2 1 1) to (λ (x) (exp (- (- 1 (* x x))))) 1554300983.579 * * * [misc]progress: adding candidates to table 1554300983.798 * * [misc]progress: iteration 2 / 4 1554300983.798 * * * [misc]progress: picking best candidate 1554300983.799 * * * * [misc]pick: Picked # 1554300983.799 * * * [misc]progress: localizing error 1554300983.805 * * * [misc]progress: generating rewritten candidates 1554300983.805 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1554300983.807 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 1) 1554300983.808 * * * [misc]progress: generating series expansions 1554300983.808 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1554300983.809 * [misc]backup-simplify: Simplify (pow E (- (- 1 (* x x)))) into (pow E (- (pow x 2) 1)) 1554300983.809 * [misc]approximate: Taking taylor expansion of (pow E (- (pow x 2) 1)) in (x) around 0 1554300983.809 * [misc]taylor: Taking taylor expansion of (pow E (- (pow x 2) 1)) in x 1554300983.809 * [misc]taylor: Taking taylor expansion of (exp (* (- (pow x 2) 1) (log E))) in x 1554300983.809 * [misc]taylor: Taking taylor expansion of (* (- (pow x 2) 1) (log E)) in x 1554300983.809 * [misc]taylor: Taking taylor expansion of (- (pow x 2) 1) in x 1554300983.809 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.809 * [misc]taylor: Taking taylor expansion of x in x 1554300983.809 * [misc]backup-simplify: Simplify 0 into 0 1554300983.809 * [misc]backup-simplify: Simplify 1 into 1 1554300983.809 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.809 * [misc]backup-simplify: Simplify 1 into 1 1554300983.809 * [misc]taylor: Taking taylor expansion of (log E) in x 1554300983.809 * [misc]taylor: Taking taylor expansion of E in x 1554300983.809 * [misc]backup-simplify: Simplify E into E 1554300983.809 * [misc]backup-simplify: Simplify (log E) into 1 1554300983.809 * [misc]backup-simplify: Simplify (- 1) into -1 1554300983.809 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300983.810 * [misc]backup-simplify: Simplify (* -1 1) into -1 1554300983.810 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1554300983.810 * [misc]taylor: Taking taylor expansion of (pow E (- (pow x 2) 1)) in x 1554300983.810 * [misc]taylor: Taking taylor expansion of (exp (* (- (pow x 2) 1) (log E))) in x 1554300983.810 * [misc]taylor: Taking taylor expansion of (* (- (pow x 2) 1) (log E)) in x 1554300983.810 * [misc]taylor: Taking taylor expansion of (- (pow x 2) 1) in x 1554300983.810 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.810 * [misc]taylor: Taking taylor expansion of x in x 1554300983.810 * [misc]backup-simplify: Simplify 0 into 0 1554300983.810 * [misc]backup-simplify: Simplify 1 into 1 1554300983.810 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.810 * [misc]backup-simplify: Simplify 1 into 1 1554300983.810 * [misc]taylor: Taking taylor expansion of (log E) in x 1554300983.810 * [misc]taylor: Taking taylor expansion of E in x 1554300983.810 * [misc]backup-simplify: Simplify E into E 1554300983.810 * [misc]backup-simplify: Simplify (log E) into 1 1554300983.810 * [misc]backup-simplify: Simplify (- 1) into -1 1554300983.810 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300983.811 * [misc]backup-simplify: Simplify (* -1 1) into -1 1554300983.811 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1554300983.811 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1554300983.814 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1554300983.814 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.814 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.814 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1)) into 0 1554300983.815 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 1554300983.815 * [misc]backup-simplify: Simplify 0 into 0 1554300983.819 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1554300983.819 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.819 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.819 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.820 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 1 1))) into 1 1554300983.821 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 1554300983.822 * [misc]backup-simplify: Simplify (exp -1) into (exp -1) 1554300983.827 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1554300983.827 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554300983.827 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.827 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.828 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (* 0 1)))) into 0 1554300983.831 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554300983.831 * [misc]backup-simplify: Simplify 0 into 0 1554300983.840 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow E 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow E 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow E 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow E 1)))) 24) into 0 1554300983.840 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554300983.840 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.840 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.840 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1))))) into 0 1554300983.845 * [misc]backup-simplify: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1)) 1554300983.845 * [misc]backup-simplify: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 1554300983.846 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1554300983.846 * [misc]backup-simplify: Simplify (pow E (- (- 1 (* (/ 1 x) (/ 1 x))))) into (pow E (- (/ 1 (pow x 2)) 1)) 1554300983.846 * [misc]approximate: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1)) in (x) around 0 1554300983.846 * [misc]taylor: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1)) in x 1554300983.846 * [misc]taylor: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1) (log E))) in x 1554300983.847 * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1) (log E)) in x 1554300983.847 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1554300983.847 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.847 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.847 * [misc]taylor: Taking taylor expansion of x in x 1554300983.847 * [misc]backup-simplify: Simplify 0 into 0 1554300983.847 * [misc]backup-simplify: Simplify 1 into 1 1554300983.847 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.847 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.847 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.847 * [misc]backup-simplify: Simplify 1 into 1 1554300983.847 * [misc]taylor: Taking taylor expansion of (log E) in x 1554300983.847 * [misc]taylor: Taking taylor expansion of E in x 1554300983.847 * [misc]backup-simplify: Simplify E into E 1554300983.847 * [misc]backup-simplify: Simplify (log E) into 1 1554300983.847 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.847 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.847 * [misc]backup-simplify: Simplify (exp (* (- (/ 1 (pow x 2)) 1) (log E))) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.848 * [misc]taylor: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1)) in x 1554300983.848 * [misc]taylor: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1) (log E))) in x 1554300983.848 * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1) (log E)) in x 1554300983.848 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1554300983.848 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.848 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.848 * [misc]taylor: Taking taylor expansion of x in x 1554300983.848 * [misc]backup-simplify: Simplify 0 into 0 1554300983.848 * [misc]backup-simplify: Simplify 1 into 1 1554300983.848 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.848 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.848 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.848 * [misc]backup-simplify: Simplify 1 into 1 1554300983.848 * [misc]taylor: Taking taylor expansion of (log E) in x 1554300983.848 * [misc]taylor: Taking taylor expansion of E in x 1554300983.848 * [misc]backup-simplify: Simplify E into E 1554300983.848 * [misc]backup-simplify: Simplify (log E) into 1 1554300983.848 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.848 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.849 * [misc]backup-simplify: Simplify (exp (* (- (/ 1 (pow x 2)) 1) (log E))) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.849 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.849 * [misc]backup-simplify: Simplify 0 into 0 1554300983.849 * [misc]backup-simplify: Simplify 0 into 0 1554300983.849 * [misc]backup-simplify: Simplify 0 into 0 1554300983.849 * [misc]backup-simplify: Simplify 0 into 0 1554300983.849 * [misc]backup-simplify: Simplify 0 into 0 1554300983.849 * [misc]backup-simplify: Simplify 0 into 0 1554300983.849 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1)) 1554300983.849 * [misc]backup-simplify: Simplify (pow E (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (pow E (- (/ 1 (pow x 2)) 1)) 1554300983.849 * [misc]approximate: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1)) in (x) around 0 1554300983.849 * [misc]taylor: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1)) in x 1554300983.849 * [misc]taylor: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1) (log E))) in x 1554300983.849 * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1) (log E)) in x 1554300983.849 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1554300983.849 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.849 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.849 * [misc]taylor: Taking taylor expansion of x in x 1554300983.849 * [misc]backup-simplify: Simplify 0 into 0 1554300983.849 * [misc]backup-simplify: Simplify 1 into 1 1554300983.850 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.850 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.850 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.850 * [misc]backup-simplify: Simplify 1 into 1 1554300983.850 * [misc]taylor: Taking taylor expansion of (log E) in x 1554300983.850 * [misc]taylor: Taking taylor expansion of E in x 1554300983.850 * [misc]backup-simplify: Simplify E into E 1554300983.850 * [misc]backup-simplify: Simplify (log E) into 1 1554300983.850 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.850 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.850 * [misc]backup-simplify: Simplify (exp (* (- (/ 1 (pow x 2)) 1) (log E))) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.850 * [misc]taylor: Taking taylor expansion of (pow E (- (/ 1 (pow x 2)) 1)) in x 1554300983.850 * [misc]taylor: Taking taylor expansion of (exp (* (- (/ 1 (pow x 2)) 1) (log E))) in x 1554300983.850 * [misc]taylor: Taking taylor expansion of (* (- (/ 1 (pow x 2)) 1) (log E)) in x 1554300983.850 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1554300983.850 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.850 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.850 * [misc]taylor: Taking taylor expansion of x in x 1554300983.850 * [misc]backup-simplify: Simplify 0 into 0 1554300983.851 * [misc]backup-simplify: Simplify 1 into 1 1554300983.851 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.851 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.851 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.851 * [misc]backup-simplify: Simplify 1 into 1 1554300983.851 * [misc]taylor: Taking taylor expansion of (log E) in x 1554300983.851 * [misc]taylor: Taking taylor expansion of E in x 1554300983.851 * [misc]backup-simplify: Simplify E into E 1554300983.851 * [misc]backup-simplify: Simplify (log E) into 1 1554300983.851 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.851 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.851 * [misc]backup-simplify: Simplify (exp (* (- (/ 1 (pow x 2)) 1) (log E))) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.851 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 1554300983.851 * [misc]backup-simplify: Simplify 0 into 0 1554300983.852 * [misc]backup-simplify: Simplify 0 into 0 1554300983.852 * [misc]backup-simplify: Simplify 0 into 0 1554300983.852 * [misc]backup-simplify: Simplify 0 into 0 1554300983.852 * [misc]backup-simplify: Simplify 0 into 0 1554300983.852 * [misc]backup-simplify: Simplify 0 into 0 1554300983.852 * [misc]backup-simplify: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1)) 1554300983.852 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 1) 1554300983.852 * [misc]backup-simplify: Simplify (- 1 (* x x)) into (- 1 (pow x 2)) 1554300983.852 * [misc]approximate: Taking taylor expansion of (- 1 (pow x 2)) in (x) around 0 1554300983.852 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1554300983.852 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.852 * [misc]backup-simplify: Simplify 1 into 1 1554300983.852 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.852 * [misc]taylor: Taking taylor expansion of x in x 1554300983.852 * [misc]backup-simplify: Simplify 0 into 0 1554300983.852 * [misc]backup-simplify: Simplify 1 into 1 1554300983.852 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1554300983.852 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.852 * [misc]backup-simplify: Simplify 1 into 1 1554300983.852 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.852 * [misc]taylor: Taking taylor expansion of x in x 1554300983.852 * [misc]backup-simplify: Simplify 0 into 0 1554300983.852 * [misc]backup-simplify: Simplify 1 into 1 1554300983.852 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.852 * [misc]backup-simplify: Simplify 1 into 1 1554300983.853 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.853 * [misc]backup-simplify: Simplify 0 into 0 1554300983.853 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.853 * [misc]backup-simplify: Simplify (- 1) into -1 1554300983.853 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300983.853 * [misc]backup-simplify: Simplify -1 into -1 1554300983.853 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554300983.853 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.854 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.854 * [misc]backup-simplify: Simplify 0 into 0 1554300983.854 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554300983.854 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.854 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.854 * [misc]backup-simplify: Simplify 0 into 0 1554300983.854 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554300983.854 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.855 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.855 * [misc]backup-simplify: Simplify 0 into 0 1554300983.855 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554300983.855 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.855 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.855 * [misc]backup-simplify: Simplify 0 into 0 1554300983.856 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554300983.856 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.856 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.856 * [misc]backup-simplify: Simplify 0 into 0 1554300983.856 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554300983.856 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.856 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.856 * [misc]backup-simplify: Simplify 0 into 0 1554300983.857 * [misc]backup-simplify: Simplify (+ (* -1 (pow x 2)) 1) into (- 1 (pow x 2)) 1554300983.857 * [misc]backup-simplify: Simplify (- 1 (* (/ 1 x) (/ 1 x))) into (- 1 (/ 1 (pow x 2))) 1554300983.857 * [misc]approximate: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in (x) around 0 1554300983.857 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1554300983.857 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.857 * [misc]backup-simplify: Simplify 1 into 1 1554300983.857 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.857 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.857 * [misc]taylor: Taking taylor expansion of x in x 1554300983.857 * [misc]backup-simplify: Simplify 0 into 0 1554300983.857 * [misc]backup-simplify: Simplify 1 into 1 1554300983.857 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.857 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.857 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1554300983.857 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.857 * [misc]backup-simplify: Simplify 1 into 1 1554300983.857 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.857 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.857 * [misc]taylor: Taking taylor expansion of x in x 1554300983.857 * [misc]backup-simplify: Simplify 0 into 0 1554300983.857 * [misc]backup-simplify: Simplify 1 into 1 1554300983.858 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.858 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.858 * [misc]backup-simplify: Simplify (- 1) into -1 1554300983.858 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300983.858 * [misc]backup-simplify: Simplify -1 into -1 1554300983.858 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554300983.858 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554300983.859 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.859 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.859 * [misc]backup-simplify: Simplify 0 into 0 1554300983.859 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554300983.859 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.859 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.859 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.859 * [misc]backup-simplify: Simplify 1 into 1 1554300983.860 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554300983.860 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.860 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.860 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.860 * [misc]backup-simplify: Simplify 0 into 0 1554300983.861 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554300983.861 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.861 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.861 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.861 * [misc]backup-simplify: Simplify 0 into 0 1554300983.862 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554300983.862 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.862 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.862 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.862 * [misc]backup-simplify: Simplify 0 into 0 1554300983.863 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554300983.863 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.863 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.863 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.863 * [misc]backup-simplify: Simplify 0 into 0 1554300983.864 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554300983.864 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.864 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.864 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.864 * [misc]backup-simplify: Simplify 0 into 0 1554300983.865 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554300983.865 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.866 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.866 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.866 * [misc]backup-simplify: Simplify 0 into 0 1554300983.866 * [misc]backup-simplify: Simplify (+ 1 (* -1 (pow (/ 1 (/ 1 x)) 2))) into (- 1 (pow x 2)) 1554300983.866 * [misc]backup-simplify: Simplify (- 1 (* (/ 1 (- x)) (/ 1 (- x)))) into (- 1 (/ 1 (pow x 2))) 1554300983.866 * [misc]approximate: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in (x) around 0 1554300983.866 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1554300983.866 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.866 * [misc]backup-simplify: Simplify 1 into 1 1554300983.866 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.866 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.866 * [misc]taylor: Taking taylor expansion of x in x 1554300983.866 * [misc]backup-simplify: Simplify 0 into 0 1554300983.866 * [misc]backup-simplify: Simplify 1 into 1 1554300983.867 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.867 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.867 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1554300983.867 * [misc]taylor: Taking taylor expansion of 1 in x 1554300983.867 * [misc]backup-simplify: Simplify 1 into 1 1554300983.867 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554300983.867 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1554300983.867 * [misc]taylor: Taking taylor expansion of x in x 1554300983.867 * [misc]backup-simplify: Simplify 0 into 0 1554300983.867 * [misc]backup-simplify: Simplify 1 into 1 1554300983.867 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554300983.867 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554300983.867 * [misc]backup-simplify: Simplify (- 1) into -1 1554300983.868 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1554300983.868 * [misc]backup-simplify: Simplify -1 into -1 1554300983.868 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554300983.868 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554300983.868 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.868 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.868 * [misc]backup-simplify: Simplify 0 into 0 1554300983.868 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554300983.869 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.869 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.869 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1554300983.869 * [misc]backup-simplify: Simplify 1 into 1 1554300983.869 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554300983.870 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.870 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.870 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.870 * [misc]backup-simplify: Simplify 0 into 0 1554300983.870 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554300983.871 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.871 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.871 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.871 * [misc]backup-simplify: Simplify 0 into 0 1554300983.871 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554300983.872 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.872 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.872 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.872 * [misc]backup-simplify: Simplify 0 into 0 1554300983.873 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554300983.873 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.873 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.873 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.873 * [misc]backup-simplify: Simplify 0 into 0 1554300983.874 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554300983.877 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.877 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.877 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.877 * [misc]backup-simplify: Simplify 0 into 0 1554300983.878 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554300983.878 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554300983.878 * [misc]backup-simplify: Simplify (- 0) into 0 1554300983.878 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1554300983.878 * [misc]backup-simplify: Simplify 0 into 0 1554300983.879 * [misc]backup-simplify: Simplify (+ 1 (* -1 (pow (/ 1 (/ 1 (- x))) 2))) into (- 1 (pow x 2)) 1554300983.879 * * * [misc]progress: simplifying candidates 1554300983.879 * * * * [misc]progress: [ 1 / 41 ] simplifiying candidate # 1554300983.879 * * * * [misc]progress: [ 2 / 41 ] simplifiying candidate # 1554300983.879 * [enter]simplify: Simplifying (pow E (- 1 (* x x))) 1554300983.879 * * [misc]simplify: iters left: 5 (6 enodes) 1554300983.882 * * [misc]simplify: iters left: 4 (23 enodes) 1554300983.886 * * [misc]simplify: iters left: 3 (31 enodes) 1554300983.893 * * [misc]simplify: iters left: 2 (33 enodes) 1554300983.899 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.899 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554300983.899 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1554300983.899 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1554300983.899 * * [misc]simplify: Extracting #4: cost 10 inf + 3 1554300983.899 * * [misc]simplify: Extracting #5: cost 4 inf + 329 1554300983.899 * * [misc]simplify: Extracting #6: cost 2 inf + 704 1554300983.899 * * [misc]simplify: Extracting #7: cost 0 inf + 1079 1554300983.900 * [exit]simplify: Simplified to (pow E (- 1 (* x x))) 1554300983.900 * [misc]simplify: Simplified (2 2) to (λ (x) (/ 1 (pow E (- 1 (* x x))))) 1554300983.900 * * * * [misc]progress: [ 3 / 41 ] simplifiying candidate # 1554300983.900 * [enter]simplify: Simplifying (pow E (- 1 (* x x))) 1554300983.900 * * [misc]simplify: iters left: 5 (6 enodes) 1554300983.902 * * [misc]simplify: iters left: 4 (23 enodes) 1554300983.907 * * [misc]simplify: iters left: 3 (31 enodes) 1554300983.913 * * [misc]simplify: iters left: 2 (33 enodes) 1554300983.919 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.919 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554300983.919 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1554300983.919 * * [misc]simplify: Extracting #3: cost 10 inf + 2 1554300983.920 * * [misc]simplify: Extracting #4: cost 10 inf + 3 1554300983.920 * * [misc]simplify: Extracting #5: cost 4 inf + 329 1554300983.920 * * [misc]simplify: Extracting #6: cost 2 inf + 704 1554300983.920 * * [misc]simplify: Extracting #7: cost 0 inf + 1079 1554300983.920 * [exit]simplify: Simplified to (pow E (- 1 (* x x))) 1554300983.920 * [misc]simplify: Simplified (2 2) to (λ (x) (/ (pow E 0) (pow E (- 1 (* x x))))) 1554300983.920 * * * * [misc]progress: [ 4 / 41 ] simplifiying candidate # 1554300983.921 * [enter]simplify: Simplifying (cbrt (- (- 1 (* x x)))) 1554300983.921 * * [misc]simplify: iters left: 6 (6 enodes) 1554300983.923 * * [misc]simplify: iters left: 5 (22 enodes) 1554300983.928 * * [misc]simplify: iters left: 4 (34 enodes) 1554300983.935 * * [misc]simplify: iters left: 3 (43 enodes) 1554300983.944 * * [misc]simplify: iters left: 2 (44 enodes) 1554300983.952 * * [misc]simplify: iters left: 1 (50 enodes) 1554300983.961 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.961 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300983.961 * * [misc]simplify: Extracting #2: cost 12 inf + 0 1554300983.961 * * [misc]simplify: Extracting #3: cost 21 inf + 1 1554300983.961 * * [misc]simplify: Extracting #4: cost 18 inf + 86 1554300983.961 * * [misc]simplify: Extracting #5: cost 4 inf + 1109 1554300983.962 * * [misc]simplify: Extracting #6: cost 0 inf + 1477 1554300983.962 * [exit]simplify: Simplified to (cbrt (+ (* x x) -1)) 1554300983.962 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x)))))) (cbrt (+ (* x x) -1)))) 1554300983.963 * * * * [misc]progress: [ 5 / 41 ] simplifiying candidate # 1554300983.963 * [enter]simplify: Simplifying (sqrt (- (- 1 (* x x)))) 1554300983.963 * * [misc]simplify: iters left: 6 (6 enodes) 1554300983.965 * * [misc]simplify: iters left: 5 (22 enodes) 1554300983.970 * * [misc]simplify: iters left: 4 (34 enodes) 1554300983.977 * * [misc]simplify: iters left: 3 (43 enodes) 1554300983.987 * * [misc]simplify: iters left: 2 (44 enodes) 1554300983.993 * * [misc]simplify: iters left: 1 (50 enodes) 1554300983.999 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300983.999 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300983.999 * * [misc]simplify: Extracting #2: cost 12 inf + 0 1554300984.000 * * [misc]simplify: Extracting #3: cost 21 inf + 1 1554300984.000 * * [misc]simplify: Extracting #4: cost 18 inf + 86 1554300984.000 * * [misc]simplify: Extracting #5: cost 4 inf + 1069 1554300984.000 * * [misc]simplify: Extracting #6: cost 0 inf + 1397 1554300984.001 * [exit]simplify: Simplified to (sqrt (+ (* x x) -1)) 1554300984.001 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E (sqrt (- (- 1 (* x x))))) (sqrt (+ (* x x) -1)))) 1554300984.001 * * * * [misc]progress: [ 6 / 41 ] simplifiying candidate # 1554300984.001 * [enter]simplify: Simplifying (- (- 1 (* x x))) 1554300984.001 * * [misc]simplify: iters left: 6 (5 enodes) 1554300984.002 * * [misc]simplify: iters left: 5 (19 enodes) 1554300984.005 * * [misc]simplify: iters left: 4 (31 enodes) 1554300984.011 * * [misc]simplify: iters left: 3 (40 enodes) 1554300984.020 * * [misc]simplify: iters left: 2 (41 enodes) 1554300984.028 * * [misc]simplify: iters left: 1 (47 enodes) 1554300984.037 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.037 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1554300984.037 * * [misc]simplify: Extracting #2: cost 19 inf + 1 1554300984.037 * * [misc]simplify: Extracting #3: cost 18 inf + 3 1554300984.038 * * [misc]simplify: Extracting #4: cost 6 inf + 742 1554300984.038 * * [misc]simplify: Extracting #5: cost 0 inf + 1153 1554300984.039 * [exit]simplify: Simplified to (+ -1 (* x x)) 1554300984.039 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E 1) (+ -1 (* x x)))) 1554300984.039 * * * * [misc]progress: [ 7 / 41 ] simplifiying candidate # 1554300984.039 * [enter]simplify: Simplifying (- 1 (* x x)) 1554300984.039 * * [misc]simplify: iters left: 4 (4 enodes) 1554300984.041 * * [misc]simplify: iters left: 3 (16 enodes) 1554300984.045 * * [misc]simplify: iters left: 2 (24 enodes) 1554300984.051 * * [misc]simplify: iters left: 1 (26 enodes) 1554300984.056 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.056 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300984.056 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554300984.057 * * [misc]simplify: Extracting #3: cost 2 inf + 370 1554300984.057 * * [misc]simplify: Extracting #4: cost 0 inf + 492 1554300984.057 * [exit]simplify: Simplified to (- 1 (* x x)) 1554300984.057 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E -1) (- 1 (* x x)))) 1554300984.057 * * * * [misc]progress: [ 8 / 41 ] simplifiying candidate # 1554300984.057 * [enter]simplify: Simplifying (cbrt (- 1 (* x x))) 1554300984.057 * * [misc]simplify: iters left: 5 (5 enodes) 1554300984.059 * * [misc]simplify: iters left: 4 (19 enodes) 1554300984.064 * * [misc]simplify: iters left: 3 (27 enodes) 1554300984.070 * * [misc]simplify: iters left: 2 (29 enodes) 1554300984.076 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.076 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300984.076 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554300984.076 * * [misc]simplify: Extracting #3: cost 10 inf + 1 1554300984.077 * * [misc]simplify: Extracting #4: cost 1 inf + 775 1554300984.077 * * [misc]simplify: Extracting #5: cost 0 inf + 816 1554300984.077 * [exit]simplify: Simplified to (cbrt (- 1 (* x x))) 1554300984.077 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) (cbrt (- 1 (* x x))))) 1554300984.077 * * * * [misc]progress: [ 9 / 41 ] simplifiying candidate # 1554300984.078 * [enter]simplify: Simplifying (sqrt (- 1 (* x x))) 1554300984.078 * * [misc]simplify: iters left: 5 (5 enodes) 1554300984.080 * * [misc]simplify: iters left: 4 (19 enodes) 1554300984.085 * * [misc]simplify: iters left: 3 (27 enodes) 1554300984.091 * * [misc]simplify: iters left: 2 (29 enodes) 1554300984.097 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.097 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300984.097 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554300984.097 * * [misc]simplify: Extracting #3: cost 10 inf + 1 1554300984.097 * * [misc]simplify: Extracting #4: cost 1 inf + 695 1554300984.097 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1554300984.097 * [exit]simplify: Simplified to (sqrt (- 1 (* x x))) 1554300984.097 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x))))) 1554300984.097 * * * * [misc]progress: [ 10 / 41 ] simplifiying candidate # 1554300984.098 * [enter]simplify: Simplifying (- 1 (* x x)) 1554300984.098 * * [misc]simplify: iters left: 4 (4 enodes) 1554300984.100 * * [misc]simplify: iters left: 3 (16 enodes) 1554300984.102 * * [misc]simplify: iters left: 2 (24 enodes) 1554300984.106 * * [misc]simplify: iters left: 1 (26 enodes) 1554300984.109 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.109 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300984.109 * * [misc]simplify: Extracting #2: cost 8 inf + 1 1554300984.109 * * [misc]simplify: Extracting #3: cost 2 inf + 370 1554300984.109 * * [misc]simplify: Extracting #4: cost 0 inf + 492 1554300984.109 * [exit]simplify: Simplified to (- 1 (* x x)) 1554300984.109 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E (- 1)) (- 1 (* x x)))) 1554300984.109 * * * * [misc]progress: [ 11 / 41 ] simplifiying candidate # 1554300984.109 * [enter]simplify: Simplifying (- (cbrt (- 1 (* x x)))) 1554300984.109 * * [misc]simplify: iters left: 6 (6 enodes) 1554300984.111 * * [misc]simplify: iters left: 5 (22 enodes) 1554300984.114 * * [misc]simplify: iters left: 4 (30 enodes) 1554300984.118 * * [misc]simplify: iters left: 3 (32 enodes) 1554300984.122 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.122 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300984.122 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554300984.122 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554300984.122 * * [misc]simplify: Extracting #4: cost 12 inf + 1 1554300984.122 * * [misc]simplify: Extracting #5: cost 11 inf + 43 1554300984.122 * * [misc]simplify: Extracting #6: cost 5 inf + 410 1554300984.122 * * [misc]simplify: Extracting #7: cost 1 inf + 1018 1554300984.123 * * [misc]simplify: Extracting #8: cost 0 inf + 1220 1554300984.123 * [exit]simplify: Simplified to (- (cbrt (- 1 (* x x)))) 1554300984.123 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x)))))) 1554300984.123 * * * * [misc]progress: [ 12 / 41 ] simplifiying candidate # 1554300984.123 * [enter]simplify: Simplifying (- (sqrt (- 1 (* x x)))) 1554300984.123 * * [misc]simplify: iters left: 6 (6 enodes) 1554300984.124 * * [misc]simplify: iters left: 5 (22 enodes) 1554300984.130 * * [misc]simplify: iters left: 4 (30 enodes) 1554300984.136 * * [misc]simplify: iters left: 3 (32 enodes) 1554300984.143 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.143 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300984.143 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554300984.143 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554300984.143 * * [misc]simplify: Extracting #4: cost 12 inf + 1 1554300984.143 * * [misc]simplify: Extracting #5: cost 11 inf + 43 1554300984.143 * * [misc]simplify: Extracting #6: cost 5 inf + 410 1554300984.144 * * [misc]simplify: Extracting #7: cost 1 inf + 898 1554300984.144 * * [misc]simplify: Extracting #8: cost 0 inf + 1060 1554300984.144 * [exit]simplify: Simplified to (- (sqrt (- 1 (* x x)))) 1554300984.144 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x)))))) 1554300984.144 * * * * [misc]progress: [ 13 / 41 ] simplifiying candidate # 1554300984.145 * [enter]simplify: Simplifying (- (- 1 (* x x))) 1554300984.145 * * [misc]simplify: iters left: 6 (5 enodes) 1554300984.147 * * [misc]simplify: iters left: 5 (19 enodes) 1554300984.152 * * [misc]simplify: iters left: 4 (31 enodes) 1554300984.160 * * [misc]simplify: iters left: 3 (40 enodes) 1554300984.169 * * [misc]simplify: iters left: 2 (41 enodes) 1554300984.177 * * [misc]simplify: iters left: 1 (47 enodes) 1554300984.187 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.187 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1554300984.187 * * [misc]simplify: Extracting #2: cost 19 inf + 1 1554300984.187 * * [misc]simplify: Extracting #3: cost 18 inf + 3 1554300984.187 * * [misc]simplify: Extracting #4: cost 6 inf + 742 1554300984.188 * * [misc]simplify: Extracting #5: cost 0 inf + 1153 1554300984.188 * [exit]simplify: Simplified to (+ -1 (* x x)) 1554300984.188 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (pow E 1) (+ -1 (* x x)))) 1554300984.189 * * * * [misc]progress: [ 14 / 41 ] simplifiying candidate # 1554300984.189 * [enter]simplify: Simplifying (pow E (- (- (* x x)))) 1554300984.189 * * [misc]simplify: iters left: 6 (6 enodes) 1554300984.191 * * [misc]simplify: iters left: 5 (21 enodes) 1554300984.195 * * [misc]simplify: iters left: 4 (31 enodes) 1554300984.198 * * [misc]simplify: iters left: 3 (33 enodes) 1554300984.203 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.203 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554300984.203 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1554300984.203 * * [misc]simplify: Extracting #3: cost 4 inf + 377 1554300984.204 * * [misc]simplify: Extracting #4: cost 0 inf + 832 1554300984.204 * [exit]simplify: Simplified to (pow E (* x x)) 1554300984.204 * [misc]simplify: Simplified (2 2) to (λ (x) (* (pow E (- 1)) (pow E (* x x)))) 1554300984.204 * * * * [misc]progress: [ 15 / 41 ] simplifiying candidate # 1554300984.204 * [enter]simplify: Simplifying (pow E (- (- (* x x)))) 1554300984.204 * * [misc]simplify: iters left: 6 (6 enodes) 1554300984.205 * * [misc]simplify: iters left: 5 (21 enodes) 1554300984.208 * * [misc]simplify: iters left: 4 (31 enodes) 1554300984.212 * * [misc]simplify: iters left: 3 (33 enodes) 1554300984.216 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.216 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554300984.216 * * [misc]simplify: Extracting #2: cost 7 inf + 1 1554300984.216 * * [misc]simplify: Extracting #3: cost 4 inf + 377 1554300984.216 * * [misc]simplify: Extracting #4: cost 0 inf + 832 1554300984.216 * [exit]simplify: Simplified to (pow E (* x x)) 1554300984.216 * [misc]simplify: Simplified (2 2) to (λ (x) (* (pow E (- 1)) (pow E (* x x)))) 1554300984.216 * * * * [misc]progress: [ 16 / 41 ] simplifiying candidate # 1554300984.216 * * * * [misc]progress: [ 17 / 41 ] simplifiying candidate # 1554300984.216 * * * * [misc]progress: [ 18 / 41 ] simplifiying candidate # 1554300984.216 * * * * [misc]progress: [ 19 / 41 ] simplifiying candidate # 1554300984.216 * * * * [misc]progress: [ 20 / 41 ] simplifiying candidate # 1554300984.216 * * * * [misc]progress: [ 21 / 41 ] simplifiying candidate # 1554300984.216 * * * * [misc]progress: [ 22 / 41 ] simplifiying candidate # 1554300984.216 * * * * [misc]progress: [ 23 / 41 ] simplifiying candidate #real (real->posit16 (pow E (- (- 1 (* x x)))))))> 1554300984.216 * * * * [misc]progress: [ 24 / 41 ] simplifiying candidate # 1554300984.216 * * * * [misc]progress: [ 25 / 41 ] simplifiying candidate # 1554300984.216 * * * * [misc]progress: [ 26 / 41 ] simplifiying candidate # 1554300984.216 * * * * [misc]progress: [ 27 / 41 ] simplifiying candidate # 1554300984.217 * * * * [misc]progress: [ 28 / 41 ] simplifiying candidate # 1554300984.217 * * * * [misc]progress: [ 29 / 41 ] simplifiying candidate # 1554300984.217 * * * * [misc]progress: [ 30 / 41 ] simplifiying candidate # 1554300984.217 * * * * [misc]progress: [ 31 / 41 ] simplifiying candidate # 1554300984.217 * * * * [misc]progress: [ 32 / 41 ] simplifiying candidate # 1554300984.217 * * * * [misc]progress: [ 33 / 41 ] simplifiying candidate # 1554300984.217 * * * * [misc]progress: [ 34 / 41 ] simplifiying candidate # 1554300984.217 * * * * [misc]progress: [ 35 / 41 ] simplifiying candidate #real (real->posit16 (- 1 (* x x)))))))> 1554300984.217 * * * * [misc]progress: [ 36 / 41 ] simplifiying candidate # 1554300984.217 * [enter]simplify: Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 1554300984.217 * * [misc]simplify: iters left: 6 (13 enodes) 1554300984.221 * * [misc]simplify: iters left: 5 (49 enodes) 1554300984.228 * * [misc]simplify: iters left: 4 (76 enodes) 1554300984.241 * * [misc]simplify: iters left: 3 (112 enodes) 1554300984.257 * * [misc]simplify: iters left: 2 (137 enodes) 1554300984.276 * * [misc]simplify: iters left: 1 (139 enodes) 1554300984.295 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.295 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1554300984.295 * * [misc]simplify: Extracting #2: cost 38 inf + 1 1554300984.295 * * [misc]simplify: Extracting #3: cost 46 inf + 462 1554300984.296 * * [misc]simplify: Extracting #4: cost 27 inf + 2919 1554300984.298 * * [misc]simplify: Extracting #5: cost 4 inf + 11012 1554300984.300 * * [misc]simplify: Extracting #6: cost 0 inf + 12618 1554300984.302 * [exit]simplify: Simplified to (+ (* (exp -1) (+ (* x x) (* 1/2 (pow x 4)))) (exp -1)) 1554300984.302 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (exp -1) (+ (* x x) (* 1/2 (pow x 4)))) (exp -1))) 1554300984.302 * * * * [misc]progress: [ 37 / 41 ] simplifiying candidate # 1554300984.302 * [enter]simplify: Simplifying (exp (- (pow x 2) 1)) 1554300984.302 * * [misc]simplify: iters left: 4 (6 enodes) 1554300984.305 * * [misc]simplify: iters left: 3 (27 enodes) 1554300984.309 * * [misc]simplify: iters left: 2 (41 enodes) 1554300984.315 * * [misc]simplify: iters left: 1 (55 enodes) 1554300984.322 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.323 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1554300984.323 * * [misc]simplify: Extracting #2: cost 28 inf + 1 1554300984.323 * * [misc]simplify: Extracting #3: cost 26 inf + 117 1554300984.323 * * [misc]simplify: Extracting #4: cost 4 inf + 1767 1554300984.323 * * [misc]simplify: Extracting #5: cost 0 inf + 2225 1554300984.324 * [exit]simplify: Simplified to (/ (exp (* x x)) E) 1554300984.324 * [misc]simplify: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 1554300984.324 * * * * [misc]progress: [ 38 / 41 ] simplifiying candidate # 1554300984.324 * [enter]simplify: Simplifying (exp (- (pow x 2) 1)) 1554300984.324 * * [misc]simplify: iters left: 4 (6 enodes) 1554300984.326 * * [misc]simplify: iters left: 3 (27 enodes) 1554300984.331 * * [misc]simplify: iters left: 2 (41 enodes) 1554300984.337 * * [misc]simplify: iters left: 1 (55 enodes) 1554300984.345 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.345 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1554300984.345 * * [misc]simplify: Extracting #2: cost 28 inf + 1 1554300984.345 * * [misc]simplify: Extracting #3: cost 26 inf + 117 1554300984.345 * * [misc]simplify: Extracting #4: cost 4 inf + 1767 1554300984.346 * * [misc]simplify: Extracting #5: cost 0 inf + 2225 1554300984.346 * [exit]simplify: Simplified to (/ (exp (* x x)) E) 1554300984.346 * [misc]simplify: Simplified (2) to (λ (x) (/ (exp (* x x)) E)) 1554300984.346 * * * * [misc]progress: [ 39 / 41 ] simplifiying candidate # 1554300984.346 * [enter]simplify: Simplifying (- 1 (pow x 2)) 1554300984.346 * * [misc]simplify: iters left: 3 (5 enodes) 1554300984.349 * * [misc]simplify: iters left: 2 (20 enodes) 1554300984.352 * * [misc]simplify: iters left: 1 (28 enodes) 1554300984.356 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.356 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300984.356 * * [misc]simplify: Extracting #2: cost 9 inf + 1 1554300984.357 * * [misc]simplify: Extracting #3: cost 1 inf + 452 1554300984.357 * * [misc]simplify: Extracting #4: cost 0 inf + 493 1554300984.357 * [exit]simplify: Simplified to (- 1 (* x x)) 1554300984.357 * [misc]simplify: Simplified (2 2 1) to (λ (x) (pow E (- (- 1 (* x x))))) 1554300984.357 * * * * [misc]progress: [ 40 / 41 ] simplifiying candidate # 1554300984.357 * [enter]simplify: Simplifying (- 1 (pow x 2)) 1554300984.357 * * [misc]simplify: iters left: 3 (5 enodes) 1554300984.359 * * [misc]simplify: iters left: 2 (20 enodes) 1554300984.362 * * [misc]simplify: iters left: 1 (28 enodes) 1554300984.365 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.365 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300984.366 * * [misc]simplify: Extracting #2: cost 9 inf + 1 1554300984.366 * * [misc]simplify: Extracting #3: cost 1 inf + 452 1554300984.366 * * [misc]simplify: Extracting #4: cost 0 inf + 493 1554300984.366 * [exit]simplify: Simplified to (- 1 (* x x)) 1554300984.366 * [misc]simplify: Simplified (2 2 1) to (λ (x) (pow E (- (- 1 (* x x))))) 1554300984.366 * * * * [misc]progress: [ 41 / 41 ] simplifiying candidate # 1554300984.366 * [enter]simplify: Simplifying (- 1 (pow x 2)) 1554300984.366 * * [misc]simplify: iters left: 3 (5 enodes) 1554300984.368 * * [misc]simplify: iters left: 2 (20 enodes) 1554300984.372 * * [misc]simplify: iters left: 1 (28 enodes) 1554300984.378 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.378 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554300984.378 * * [misc]simplify: Extracting #2: cost 9 inf + 1 1554300984.378 * * [misc]simplify: Extracting #3: cost 1 inf + 452 1554300984.379 * * [misc]simplify: Extracting #4: cost 0 inf + 493 1554300984.379 * [exit]simplify: Simplified to (- 1 (* x x)) 1554300984.379 * [misc]simplify: Simplified (2 2 1) to (λ (x) (pow E (- (- 1 (* x x))))) 1554300984.379 * * * [misc]progress: adding candidates to table 1554300984.615 * [misc]progress: [Phase 3 of 3] Extracting. 1554300984.617 * [enter]simplify: Simplifying (pow E (- (- 1 (* x x)))) 1554300984.617 * * [misc]simplify: iters left: 6 (7 enodes) 1554300984.617 * * [misc]simplify: iters left: 5 (10 enodes) 1554300984.618 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300984.618 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300984.618 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1554300984.618 * * [misc]simplify: Extracting #3: cost 5 inf + 1 1554300984.618 * * [misc]simplify: Extracting #4: cost 5 inf + 2 1554300984.618 * * [misc]simplify: Extracting #5: cost 0 inf + 581 1554300984.618 * [exit]simplify: Simplified to (pow E (- (- 1 (* x x)))) 1554300986.358 * [misc]regime-testing: Baseline error score: 0.02767008712143685 1554300986.359 * [misc]regime-testing: Oracle error score: 0.02767008712143685 1554300986.359 * [misc]regime-testing: End program error score: 0.02767008712143685