1553947548.773 * [progress]: [Phase 1 of 3] Setting up. 1553947548.773 * * * [progress]: [1/2] Preparing points 1553947548.804 * * * [progress]: [2/2] Setting up program. 1553947548.809 * [progress]: [Phase 2 of 3] Improving. 1553947548.809 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553947548.809 * [simplify]: Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 1553947548.809 * * [simplify]: iters left: 6 (8 enodes) 1553947548.813 * * [simplify]: iters left: 5 (35 enodes) 1553947548.825 * * [simplify]: iters left: 4 (70 enodes) 1553947548.849 * * [simplify]: iters left: 3 (132 enodes) 1553947548.899 * * [simplify]: iters left: 2 (233 enodes) 1553947548.958 * * [simplify]: iters left: 1 (429 enodes) 1553947549.083 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.083 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947549.083 * * [simplify]: Extracting #2: cost 5 inf + 0 1553947549.083 * * [simplify]: Extracting #3: cost 35 inf + 0 1553947549.084 * * [simplify]: Extracting #4: cost 87 inf + 209 1553947549.088 * * [simplify]: Extracting #5: cost 66 inf + 8081 1553947549.097 * * [simplify]: Extracting #6: cost 0 inf + 14839 1553947549.104 * * [simplify]: Extracting #7: cost 0 inf + 14714 1553947549.108 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553947549.109 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947549.116 * * [progress]: iteration 1 / 4 1553947549.116 * * * [progress]: picking best candidate 1553947549.118 * * * * [pick]: Picked # 1553947549.118 * * * [progress]: localizing error 1553947549.133 * * * [progress]: generating rewritten candidates 1553947549.133 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1553947549.134 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 1553947549.138 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1553947549.139 * * * [progress]: generating series expansions 1553947549.140 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1553947549.140 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947549.140 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 1553947549.140 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 1553947549.140 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 1553947549.140 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1553947549.140 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947549.140 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553947549.140 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 1553947549.140 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 1553947549.140 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1553947549.141 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947549.141 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553947549.141 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 1553947549.141 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 1553947549.141 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1553947549.141 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947549.141 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553947549.141 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 1553947549.141 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 1553947549.141 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 1553947549.141 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947549.142 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553947549.142 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947549.142 * [taylor]: Taking taylor expansion of 0 in a 1553947549.142 * [backup-simplify]: Simplify 0 into 0 1553947549.142 * [backup-simplify]: Simplify 0 into 0 1553947549.142 * [backup-simplify]: Simplify 0 into 0 1553947549.143 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553947549.143 * [taylor]: Taking taylor expansion of 0 in a 1553947549.143 * [backup-simplify]: Simplify 0 into 0 1553947549.143 * [backup-simplify]: Simplify 0 into 0 1553947549.143 * [backup-simplify]: Simplify 0 into 0 1553947549.143 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553947549.143 * [backup-simplify]: Simplify 0 into 0 1553947549.144 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 1553947549.144 * [taylor]: Taking taylor expansion of 0 in a 1553947549.144 * [backup-simplify]: Simplify 0 into 0 1553947549.144 * [backup-simplify]: Simplify 0 into 0 1553947549.144 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947549.144 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.144 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 1553947549.144 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1553947549.144 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1553947549.144 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553947549.145 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.145 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.145 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1553947549.145 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1553947549.145 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553947549.145 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.145 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.145 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1553947549.145 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1553947549.145 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553947549.145 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.146 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.146 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1553947549.146 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1553947549.146 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553947549.146 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.146 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.146 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.146 * [taylor]: Taking taylor expansion of 0 in a 1553947549.146 * [backup-simplify]: Simplify 0 into 0 1553947549.146 * [backup-simplify]: Simplify 0 into 0 1553947549.146 * [backup-simplify]: Simplify 0 into 0 1553947549.147 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.147 * [taylor]: Taking taylor expansion of 0 in a 1553947549.147 * [backup-simplify]: Simplify 0 into 0 1553947549.147 * [backup-simplify]: Simplify 0 into 0 1553947549.147 * [backup-simplify]: Simplify 0 into 0 1553947549.147 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.147 * [backup-simplify]: Simplify 0 into 0 1553947549.148 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.148 * [taylor]: Taking taylor expansion of 0 in a 1553947549.148 * [backup-simplify]: Simplify 0 into 0 1553947549.148 * [backup-simplify]: Simplify 0 into 0 1553947549.148 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947549.148 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.149 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 1553947549.149 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1553947549.149 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1553947549.149 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553947549.149 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.149 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.149 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1553947549.149 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1553947549.149 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553947549.149 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.149 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.149 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 1553947549.149 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 1553947549.149 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553947549.150 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.150 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.150 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 1553947549.150 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 1553947549.150 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 1553947549.150 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.150 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.150 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 1553947549.150 * [taylor]: Taking taylor expansion of 0 in a 1553947549.150 * [backup-simplify]: Simplify 0 into 0 1553947549.150 * [backup-simplify]: Simplify 0 into 0 1553947549.150 * [backup-simplify]: Simplify 0 into 0 1553947549.151 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.151 * [taylor]: Taking taylor expansion of 0 in a 1553947549.151 * [backup-simplify]: Simplify 0 into 0 1553947549.151 * [backup-simplify]: Simplify 0 into 0 1553947549.151 * [backup-simplify]: Simplify 0 into 0 1553947549.151 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.152 * [backup-simplify]: Simplify 0 into 0 1553947549.152 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 1553947549.152 * [taylor]: Taking taylor expansion of 0 in a 1553947549.152 * [backup-simplify]: Simplify 0 into 0 1553947549.152 * [backup-simplify]: Simplify 0 into 0 1553947549.152 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947549.152 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 1553947549.152 * [backup-simplify]: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2)) 1553947549.152 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 1553947549.152 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1553947549.153 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553947549.153 * [taylor]: Taking taylor expansion of b in a 1553947549.153 * [backup-simplify]: Simplify b into b 1553947549.153 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.153 * [taylor]: Taking taylor expansion of a in a 1553947549.153 * [backup-simplify]: Simplify 0 into 0 1553947549.153 * [backup-simplify]: Simplify 1 into 1 1553947549.153 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553947549.153 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.153 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 1553947549.153 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1553947549.153 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.153 * [taylor]: Taking taylor expansion of b in b 1553947549.153 * [backup-simplify]: Simplify 0 into 0 1553947549.153 * [backup-simplify]: Simplify 1 into 1 1553947549.153 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.153 * [taylor]: Taking taylor expansion of a in b 1553947549.153 * [backup-simplify]: Simplify a into a 1553947549.153 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.153 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.153 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1553947549.153 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1553947549.153 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.153 * [taylor]: Taking taylor expansion of b in b 1553947549.153 * [backup-simplify]: Simplify 0 into 0 1553947549.154 * [backup-simplify]: Simplify 1 into 1 1553947549.154 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.154 * [taylor]: Taking taylor expansion of a in b 1553947549.154 * [backup-simplify]: Simplify a into a 1553947549.154 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.154 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.154 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1553947549.154 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1553947549.154 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.154 * [taylor]: Taking taylor expansion of a in a 1553947549.154 * [backup-simplify]: Simplify 0 into 0 1553947549.154 * [backup-simplify]: Simplify 1 into 1 1553947549.154 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.155 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947549.155 * [backup-simplify]: Simplify 1 into 1 1553947549.155 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.155 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553947549.155 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1553947549.155 * [taylor]: Taking taylor expansion of 0 in a 1553947549.155 * [backup-simplify]: Simplify 0 into 0 1553947549.156 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947549.156 * [backup-simplify]: Simplify 0 into 0 1553947549.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947549.157 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553947549.157 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1553947549.157 * [taylor]: Taking taylor expansion of 0 in a 1553947549.157 * [backup-simplify]: Simplify 0 into 0 1553947549.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947549.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.159 * [backup-simplify]: Simplify 0 into 0 1553947549.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947549.161 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1553947549.161 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1553947549.161 * [taylor]: Taking taylor expansion of 0 in a 1553947549.161 * [backup-simplify]: Simplify 0 into 0 1553947549.161 * [backup-simplify]: Simplify 0 into 0 1553947549.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947549.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.163 * [backup-simplify]: Simplify 0 into 0 1553947549.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947549.165 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1553947549.166 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1553947549.166 * [taylor]: Taking taylor expansion of 0 in a 1553947549.166 * [backup-simplify]: Simplify 0 into 0 1553947549.166 * [backup-simplify]: Simplify 0 into 0 1553947549.166 * [backup-simplify]: Simplify 0 into 0 1553947549.166 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 1553947549.166 * [backup-simplify]: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2)) 1553947549.166 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1553947549.166 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1553947549.166 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.166 * [taylor]: Taking taylor expansion of a in a 1553947549.166 * [backup-simplify]: Simplify 0 into 0 1553947549.166 * [backup-simplify]: Simplify 1 into 1 1553947549.167 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553947549.167 * [taylor]: Taking taylor expansion of b in a 1553947549.167 * [backup-simplify]: Simplify b into b 1553947549.167 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.167 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553947549.167 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1553947549.167 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553947549.167 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.167 * [taylor]: Taking taylor expansion of a in b 1553947549.167 * [backup-simplify]: Simplify a into a 1553947549.167 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.167 * [taylor]: Taking taylor expansion of b in b 1553947549.167 * [backup-simplify]: Simplify 0 into 0 1553947549.167 * [backup-simplify]: Simplify 1 into 1 1553947549.167 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.168 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.168 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553947549.168 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553947549.168 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.168 * [taylor]: Taking taylor expansion of a in b 1553947549.168 * [backup-simplify]: Simplify a into a 1553947549.168 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.168 * [taylor]: Taking taylor expansion of b in b 1553947549.168 * [backup-simplify]: Simplify 0 into 0 1553947549.168 * [backup-simplify]: Simplify 1 into 1 1553947549.168 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.169 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.169 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553947549.169 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.169 * [taylor]: Taking taylor expansion of a in a 1553947549.169 * [backup-simplify]: Simplify 0 into 0 1553947549.169 * [backup-simplify]: Simplify 1 into 1 1553947549.169 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.169 * [backup-simplify]: Simplify 1 into 1 1553947549.169 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553947549.170 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.171 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1553947549.171 * [taylor]: Taking taylor expansion of 0 in a 1553947549.171 * [backup-simplify]: Simplify 0 into 0 1553947549.171 * [backup-simplify]: Simplify 0 into 0 1553947549.172 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.172 * [backup-simplify]: Simplify 0 into 0 1553947549.172 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553947549.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947549.174 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.174 * [taylor]: Taking taylor expansion of 0 in a 1553947549.174 * [backup-simplify]: Simplify 0 into 0 1553947549.174 * [backup-simplify]: Simplify 0 into 0 1553947549.174 * [backup-simplify]: Simplify 0 into 0 1553947549.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947549.175 * [backup-simplify]: Simplify 0 into 0 1553947549.176 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1553947549.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947549.179 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.179 * [taylor]: Taking taylor expansion of 0 in a 1553947549.179 * [backup-simplify]: Simplify 0 into 0 1553947549.179 * [backup-simplify]: Simplify 0 into 0 1553947549.179 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 1553947549.179 * [backup-simplify]: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2)) 1553947549.179 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 1553947549.179 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1553947549.179 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.179 * [taylor]: Taking taylor expansion of a in a 1553947549.179 * [backup-simplify]: Simplify 0 into 0 1553947549.179 * [backup-simplify]: Simplify 1 into 1 1553947549.179 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553947549.180 * [taylor]: Taking taylor expansion of b in a 1553947549.180 * [backup-simplify]: Simplify b into b 1553947549.180 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.180 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553947549.180 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1553947549.180 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553947549.180 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.180 * [taylor]: Taking taylor expansion of a in b 1553947549.180 * [backup-simplify]: Simplify a into a 1553947549.180 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.180 * [taylor]: Taking taylor expansion of b in b 1553947549.180 * [backup-simplify]: Simplify 0 into 0 1553947549.180 * [backup-simplify]: Simplify 1 into 1 1553947549.180 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.181 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.181 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553947549.181 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553947549.181 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.181 * [taylor]: Taking taylor expansion of a in b 1553947549.181 * [backup-simplify]: Simplify a into a 1553947549.181 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.181 * [taylor]: Taking taylor expansion of b in b 1553947549.181 * [backup-simplify]: Simplify 0 into 0 1553947549.181 * [backup-simplify]: Simplify 1 into 1 1553947549.181 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.181 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.182 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553947549.182 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.182 * [taylor]: Taking taylor expansion of a in a 1553947549.182 * [backup-simplify]: Simplify 0 into 0 1553947549.182 * [backup-simplify]: Simplify 1 into 1 1553947549.182 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.182 * [backup-simplify]: Simplify 1 into 1 1553947549.182 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553947549.183 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.184 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1553947549.184 * [taylor]: Taking taylor expansion of 0 in a 1553947549.184 * [backup-simplify]: Simplify 0 into 0 1553947549.184 * [backup-simplify]: Simplify 0 into 0 1553947549.184 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.184 * [backup-simplify]: Simplify 0 into 0 1553947549.185 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553947549.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947549.187 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.187 * [taylor]: Taking taylor expansion of 0 in a 1553947549.187 * [backup-simplify]: Simplify 0 into 0 1553947549.187 * [backup-simplify]: Simplify 0 into 0 1553947549.187 * [backup-simplify]: Simplify 0 into 0 1553947549.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947549.188 * [backup-simplify]: Simplify 0 into 0 1553947549.189 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1553947549.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947549.192 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.192 * [taylor]: Taking taylor expansion of 0 in a 1553947549.192 * [backup-simplify]: Simplify 0 into 0 1553947549.192 * [backup-simplify]: Simplify 0 into 0 1553947549.192 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 1553947549.193 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1553947549.193 * [backup-simplify]: Simplify (- 1 (* (/ b a) (/ b a))) into (- 1 (/ (pow b 2) (pow a 2))) 1553947549.193 * [approximate]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in (b a) around 0 1553947549.193 * [taylor]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in a 1553947549.193 * [taylor]: Taking taylor expansion of 1 in a 1553947549.193 * [backup-simplify]: Simplify 1 into 1 1553947549.193 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 1553947549.193 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553947549.193 * [taylor]: Taking taylor expansion of b in a 1553947549.193 * [backup-simplify]: Simplify b into b 1553947549.193 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.193 * [taylor]: Taking taylor expansion of a in a 1553947549.193 * [backup-simplify]: Simplify 0 into 0 1553947549.193 * [backup-simplify]: Simplify 1 into 1 1553947549.193 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553947549.194 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.194 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 1553947549.194 * [taylor]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in b 1553947549.194 * [taylor]: Taking taylor expansion of 1 in b 1553947549.194 * [backup-simplify]: Simplify 1 into 1 1553947549.194 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1553947549.194 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.194 * [taylor]: Taking taylor expansion of b in b 1553947549.194 * [backup-simplify]: Simplify 0 into 0 1553947549.194 * [backup-simplify]: Simplify 1 into 1 1553947549.194 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.194 * [taylor]: Taking taylor expansion of a in b 1553947549.194 * [backup-simplify]: Simplify a into a 1553947549.194 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.194 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.194 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1553947549.195 * [taylor]: Taking taylor expansion of (- 1 (/ (pow b 2) (pow a 2))) in b 1553947549.195 * [taylor]: Taking taylor expansion of 1 in b 1553947549.195 * [backup-simplify]: Simplify 1 into 1 1553947549.195 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 1553947549.195 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.195 * [taylor]: Taking taylor expansion of b in b 1553947549.195 * [backup-simplify]: Simplify 0 into 0 1553947549.195 * [backup-simplify]: Simplify 1 into 1 1553947549.195 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.195 * [taylor]: Taking taylor expansion of a in b 1553947549.195 * [backup-simplify]: Simplify a into a 1553947549.195 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.195 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.195 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 1553947549.196 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947549.196 * [taylor]: Taking taylor expansion of 1 in a 1553947549.196 * [backup-simplify]: Simplify 1 into 1 1553947549.196 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947549.196 * [taylor]: Taking taylor expansion of 0 in a 1553947549.196 * [backup-simplify]: Simplify 0 into 0 1553947549.196 * [backup-simplify]: Simplify (- (/ 1 (pow a 2))) into (- (/ 1 (pow a 2))) 1553947549.196 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow a 2)))) into (- (/ 1 (pow a 2))) 1553947549.196 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2))) in a 1553947549.197 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1553947549.197 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.197 * [taylor]: Taking taylor expansion of a in a 1553947549.197 * [backup-simplify]: Simplify 0 into 0 1553947549.197 * [backup-simplify]: Simplify 1 into 1 1553947549.197 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.197 * [backup-simplify]: Simplify (/ 1 1) into 1 1553947549.198 * [backup-simplify]: Simplify (- 1) into -1 1553947549.198 * [backup-simplify]: Simplify -1 into -1 1553947549.198 * [backup-simplify]: Simplify 1 into 1 1553947549.198 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.199 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553947549.199 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 1553947549.199 * [backup-simplify]: Simplify (- 0) into 0 1553947549.199 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947549.200 * [taylor]: Taking taylor expansion of 0 in a 1553947549.200 * [backup-simplify]: Simplify 0 into 0 1553947549.200 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553947549.201 * [backup-simplify]: Simplify (- 0) into 0 1553947549.201 * [backup-simplify]: Simplify 0 into 0 1553947549.201 * [backup-simplify]: Simplify 0 into 0 1553947549.201 * [backup-simplify]: Simplify 0 into 0 1553947549.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947549.203 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553947549.203 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 1553947549.204 * [backup-simplify]: Simplify (- 0) into 0 1553947549.204 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947549.204 * [taylor]: Taking taylor expansion of 0 in a 1553947549.204 * [backup-simplify]: Simplify 0 into 0 1553947549.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947549.206 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.206 * [backup-simplify]: Simplify (- 0) into 0 1553947549.206 * [backup-simplify]: Simplify 0 into 0 1553947549.206 * [backup-simplify]: Simplify 0 into 0 1553947549.206 * [backup-simplify]: Simplify 0 into 0 1553947549.206 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (* (/ 1 a) b) 2))) into (- 1 (/ (pow b 2) (pow a 2))) 1553947549.207 * [backup-simplify]: Simplify (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))) into (- 1 (/ (pow a 2) (pow b 2))) 1553947549.207 * [approximate]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in (b a) around 0 1553947549.207 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in a 1553947549.207 * [taylor]: Taking taylor expansion of 1 in a 1553947549.207 * [backup-simplify]: Simplify 1 into 1 1553947549.207 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1553947549.207 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.207 * [taylor]: Taking taylor expansion of a in a 1553947549.207 * [backup-simplify]: Simplify 0 into 0 1553947549.207 * [backup-simplify]: Simplify 1 into 1 1553947549.207 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553947549.207 * [taylor]: Taking taylor expansion of b in a 1553947549.207 * [backup-simplify]: Simplify b into b 1553947549.208 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.208 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553947549.208 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1553947549.208 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1553947549.208 * [taylor]: Taking taylor expansion of 1 in b 1553947549.208 * [backup-simplify]: Simplify 1 into 1 1553947549.208 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553947549.208 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.208 * [taylor]: Taking taylor expansion of a in b 1553947549.208 * [backup-simplify]: Simplify a into a 1553947549.208 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.208 * [taylor]: Taking taylor expansion of b in b 1553947549.208 * [backup-simplify]: Simplify 0 into 0 1553947549.208 * [backup-simplify]: Simplify 1 into 1 1553947549.208 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.208 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.209 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553947549.209 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1553947549.209 * [taylor]: Taking taylor expansion of 1 in b 1553947549.209 * [backup-simplify]: Simplify 1 into 1 1553947549.209 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553947549.209 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.209 * [taylor]: Taking taylor expansion of a in b 1553947549.209 * [backup-simplify]: Simplify a into a 1553947549.209 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.209 * [taylor]: Taking taylor expansion of b in b 1553947549.209 * [backup-simplify]: Simplify 0 into 0 1553947549.209 * [backup-simplify]: Simplify 1 into 1 1553947549.209 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.209 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.209 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553947549.209 * [backup-simplify]: Simplify (- (pow a 2)) into (- (pow a 2)) 1553947549.210 * [backup-simplify]: Simplify (+ 0 (- (pow a 2))) into (- (pow a 2)) 1553947549.210 * [taylor]: Taking taylor expansion of (- (pow a 2)) in a 1553947549.210 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.210 * [taylor]: Taking taylor expansion of a in a 1553947549.210 * [backup-simplify]: Simplify 0 into 0 1553947549.210 * [backup-simplify]: Simplify 1 into 1 1553947549.210 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553947549.210 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.211 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1553947549.212 * [backup-simplify]: Simplify (- 0) into 0 1553947549.212 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947549.212 * [taylor]: Taking taylor expansion of 0 in a 1553947549.212 * [backup-simplify]: Simplify 0 into 0 1553947549.212 * [backup-simplify]: Simplify 0 into 0 1553947549.213 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553947549.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947549.215 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.215 * [backup-simplify]: Simplify (- 0) into 0 1553947549.215 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947549.216 * [taylor]: Taking taylor expansion of 1 in a 1553947549.216 * [backup-simplify]: Simplify 1 into 1 1553947549.216 * [backup-simplify]: Simplify 1 into 1 1553947549.216 * [backup-simplify]: Simplify 0 into 0 1553947549.216 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.216 * [backup-simplify]: Simplify (- 1) into -1 1553947549.216 * [backup-simplify]: Simplify -1 into -1 1553947549.217 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1553947549.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947549.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.220 * [backup-simplify]: Simplify (- 0) into 0 1553947549.221 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947549.221 * [taylor]: Taking taylor expansion of 0 in a 1553947549.221 * [backup-simplify]: Simplify 0 into 0 1553947549.221 * [backup-simplify]: Simplify 0 into 0 1553947549.221 * [backup-simplify]: Simplify 0 into 0 1553947549.221 * [backup-simplify]: Simplify 0 into 0 1553947549.221 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.222 * [backup-simplify]: Simplify (- 0) into 0 1553947549.222 * [backup-simplify]: Simplify 0 into 0 1553947549.223 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1553947549.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947549.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.227 * [backup-simplify]: Simplify (- 0) into 0 1553947549.227 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947549.228 * [taylor]: Taking taylor expansion of 0 in a 1553947549.228 * [backup-simplify]: Simplify 0 into 0 1553947549.228 * [backup-simplify]: Simplify 0 into 0 1553947549.228 * [backup-simplify]: Simplify 0 into 0 1553947549.228 * [backup-simplify]: Simplify (+ (* -1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2))) 1553947549.228 * [backup-simplify]: Simplify (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))) into (- 1 (/ (pow a 2) (pow b 2))) 1553947549.228 * [approximate]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in (b a) around 0 1553947549.228 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in a 1553947549.228 * [taylor]: Taking taylor expansion of 1 in a 1553947549.228 * [backup-simplify]: Simplify 1 into 1 1553947549.228 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 1553947549.228 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.228 * [taylor]: Taking taylor expansion of a in a 1553947549.228 * [backup-simplify]: Simplify 0 into 0 1553947549.229 * [backup-simplify]: Simplify 1 into 1 1553947549.229 * [taylor]: Taking taylor expansion of (pow b 2) in a 1553947549.229 * [taylor]: Taking taylor expansion of b in a 1553947549.229 * [backup-simplify]: Simplify b into b 1553947549.229 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.229 * [backup-simplify]: Simplify (* b b) into (pow b 2) 1553947549.229 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 1553947549.229 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1553947549.229 * [taylor]: Taking taylor expansion of 1 in b 1553947549.229 * [backup-simplify]: Simplify 1 into 1 1553947549.229 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553947549.229 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.229 * [taylor]: Taking taylor expansion of a in b 1553947549.229 * [backup-simplify]: Simplify a into a 1553947549.229 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.229 * [taylor]: Taking taylor expansion of b in b 1553947549.229 * [backup-simplify]: Simplify 0 into 0 1553947549.229 * [backup-simplify]: Simplify 1 into 1 1553947549.229 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.230 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.230 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553947549.230 * [taylor]: Taking taylor expansion of (- 1 (/ (pow a 2) (pow b 2))) in b 1553947549.230 * [taylor]: Taking taylor expansion of 1 in b 1553947549.230 * [backup-simplify]: Simplify 1 into 1 1553947549.230 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 1553947549.230 * [taylor]: Taking taylor expansion of (pow a 2) in b 1553947549.230 * [taylor]: Taking taylor expansion of a in b 1553947549.230 * [backup-simplify]: Simplify a into a 1553947549.230 * [taylor]: Taking taylor expansion of (pow b 2) in b 1553947549.230 * [taylor]: Taking taylor expansion of b in b 1553947549.230 * [backup-simplify]: Simplify 0 into 0 1553947549.230 * [backup-simplify]: Simplify 1 into 1 1553947549.230 * [backup-simplify]: Simplify (* a a) into (pow a 2) 1553947549.231 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.231 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 1553947549.231 * [backup-simplify]: Simplify (- (pow a 2)) into (- (pow a 2)) 1553947549.231 * [backup-simplify]: Simplify (+ 0 (- (pow a 2))) into (- (pow a 2)) 1553947549.231 * [taylor]: Taking taylor expansion of (- (pow a 2)) in a 1553947549.231 * [taylor]: Taking taylor expansion of (pow a 2) in a 1553947549.231 * [taylor]: Taking taylor expansion of a in a 1553947549.231 * [backup-simplify]: Simplify 0 into 0 1553947549.231 * [backup-simplify]: Simplify 1 into 1 1553947549.231 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 1553947549.232 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.236 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 1553947549.236 * [backup-simplify]: Simplify (- 0) into 0 1553947549.236 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947549.236 * [taylor]: Taking taylor expansion of 0 in a 1553947549.236 * [backup-simplify]: Simplify 0 into 0 1553947549.236 * [backup-simplify]: Simplify 0 into 0 1553947549.237 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 1553947549.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553947549.238 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.238 * [backup-simplify]: Simplify (- 0) into 0 1553947549.239 * [backup-simplify]: Simplify (+ 1 0) into 1 1553947549.239 * [taylor]: Taking taylor expansion of 1 in a 1553947549.239 * [backup-simplify]: Simplify 1 into 1 1553947549.239 * [backup-simplify]: Simplify 1 into 1 1553947549.239 * [backup-simplify]: Simplify 0 into 0 1553947549.239 * [backup-simplify]: Simplify (* 1 1) into 1 1553947549.239 * [backup-simplify]: Simplify (- 1) into -1 1553947549.239 * [backup-simplify]: Simplify -1 into -1 1553947549.240 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 1553947549.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553947549.242 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.242 * [backup-simplify]: Simplify (- 0) into 0 1553947549.242 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947549.242 * [taylor]: Taking taylor expansion of 0 in a 1553947549.242 * [backup-simplify]: Simplify 0 into 0 1553947549.242 * [backup-simplify]: Simplify 0 into 0 1553947549.242 * [backup-simplify]: Simplify 0 into 0 1553947549.242 * [backup-simplify]: Simplify 0 into 0 1553947549.243 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553947549.243 * [backup-simplify]: Simplify (- 0) into 0 1553947549.243 * [backup-simplify]: Simplify 0 into 0 1553947549.244 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 1553947549.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553947549.246 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553947549.246 * [backup-simplify]: Simplify (- 0) into 0 1553947549.246 * [backup-simplify]: Simplify (+ 0 0) into 0 1553947549.246 * [taylor]: Taking taylor expansion of 0 in a 1553947549.246 * [backup-simplify]: Simplify 0 into 0 1553947549.246 * [backup-simplify]: Simplify 0 into 0 1553947549.246 * [backup-simplify]: Simplify 0 into 0 1553947549.247 * [backup-simplify]: Simplify (+ (* -1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) 1) into (- 1 (/ (pow b 2) (pow a 2))) 1553947549.247 * * * [progress]: simplifying candidates 1553947549.247 * * * * [progress]: [ 1 / 66 ] simplifiying candidate # 1553947549.247 * * * * [progress]: [ 2 / 66 ] simplifiying candidate # 1553947549.247 * * * * [progress]: [ 3 / 66 ] simplifiying candidate # 1553947549.247 * * * * [progress]: [ 4 / 66 ] simplifiying candidate # 1553947549.247 * * * * [progress]: [ 5 / 66 ] simplifiying candidate # 1553947549.247 * * * * [progress]: [ 6 / 66 ] simplifiying candidate # 1553947549.247 * * * * [progress]: [ 7 / 66 ] simplifiying candidate # 1553947549.247 * * * * [progress]: [ 8 / 66 ] simplifiying candidate # 1553947549.247 * * * * [progress]: [ 9 / 66 ] simplifiying candidate # 1553947549.247 * [simplify]: Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1553947549.247 * * [simplify]: iters left: 6 (10 enodes) 1553947549.250 * * [simplify]: iters left: 5 (39 enodes) 1553947549.256 * * [simplify]: iters left: 4 (59 enodes) 1553947549.265 * * [simplify]: iters left: 3 (89 enodes) 1553947549.288 * * [simplify]: iters left: 2 (113 enodes) 1553947549.318 * * [simplify]: iters left: 1 (126 enodes) 1553947549.351 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.351 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947549.351 * * [simplify]: Extracting #2: cost 7 inf + 0 1553947549.351 * * [simplify]: Extracting #3: cost 9 inf + 0 1553947549.351 * * [simplify]: Extracting #4: cost 15 inf + 0 1553947549.351 * * [simplify]: Extracting #5: cost 33 inf + 1 1553947549.352 * * [simplify]: Extracting #6: cost 42 inf + 44 1553947549.352 * * [simplify]: Extracting #7: cost 20 inf + 1804 1553947549.357 * * [simplify]: Extracting #8: cost 3 inf + 4082 1553947549.359 * * [simplify]: Extracting #9: cost 0 inf + 4851 1553947549.361 * [simplify]: Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947549.361 * [simplify]: Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1553947549.361 * * * * [progress]: [ 10 / 66 ] simplifiying candidate # 1553947549.361 * [simplify]: Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947549.361 * * [simplify]: iters left: 6 (9 enodes) 1553947549.366 * * [simplify]: iters left: 5 (35 enodes) 1553947549.378 * * [simplify]: iters left: 4 (55 enodes) 1553947549.395 * * [simplify]: iters left: 3 (85 enodes) 1553947549.418 * * [simplify]: iters left: 2 (109 enodes) 1553947549.436 * * [simplify]: iters left: 1 (122 enodes) 1553947549.453 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.453 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947549.453 * * [simplify]: Extracting #2: cost 5 inf + 0 1553947549.453 * * [simplify]: Extracting #3: cost 7 inf + 0 1553947549.453 * * [simplify]: Extracting #4: cost 13 inf + 0 1553947549.453 * * [simplify]: Extracting #5: cost 31 inf + 1 1553947549.453 * * [simplify]: Extracting #6: cost 40 inf + 44 1553947549.454 * * [simplify]: Extracting #7: cost 18 inf + 1682 1553947549.456 * * [simplify]: Extracting #8: cost 1 inf + 3922 1553947549.458 * * [simplify]: Extracting #9: cost 0 inf + 4125 1553947549.459 * [simplify]: Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947549.459 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1553947549.460 * * * * [progress]: [ 11 / 66 ] simplifiying candidate # 1553947549.460 * [simplify]: Simplifying (sqrt 1) 1553947549.460 * * [simplify]: iters left: 1 (2 enodes) 1553947549.463 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.463 * * [simplify]: Extracting #1: cost 0 inf + 1 1553947549.463 * [simplify]: Simplified to 1 1553947549.463 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1553947549.463 * * * * [progress]: [ 12 / 66 ] simplifiying candidate # 1553947549.463 * * * * [progress]: [ 13 / 66 ] simplifiying candidate # 1553947549.464 * [simplify]: Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553947549.464 * * [simplify]: iters left: 6 (8 enodes) 1553947549.468 * * [simplify]: iters left: 5 (32 enodes) 1553947549.480 * * [simplify]: iters left: 4 (52 enodes) 1553947549.493 * * [simplify]: iters left: 3 (82 enodes) 1553947549.505 * * [simplify]: iters left: 2 (106 enodes) 1553947549.521 * * [simplify]: iters left: 1 (119 enodes) 1553947549.553 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.553 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947549.553 * * [simplify]: Extracting #2: cost 5 inf + 0 1553947549.553 * * [simplify]: Extracting #3: cost 11 inf + 0 1553947549.554 * * [simplify]: Extracting #4: cost 29 inf + 1 1553947549.554 * * [simplify]: Extracting #5: cost 33 inf + 372 1553947549.555 * * [simplify]: Extracting #6: cost 8 inf + 2579 1553947549.557 * * [simplify]: Extracting #7: cost 0 inf + 3639 1553947549.558 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553947549.558 * [simplify]: Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1553947549.558 * * * * [progress]: [ 14 / 66 ] simplifiying candidate # 1553947549.559 * * * * [progress]: [ 15 / 66 ] simplifiying candidate #real (real->posit16 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))> 1553947549.559 * * * * [progress]: [ 16 / 66 ] simplifiying candidate # 1553947549.559 * * * * [progress]: [ 17 / 66 ] simplifiying candidate # 1553947549.559 * * * * [progress]: [ 18 / 66 ] simplifiying candidate # 1553947549.559 * [simplify]: Simplifying (/ b a) 1553947549.559 * * [simplify]: iters left: 2 (3 enodes) 1553947549.560 * * [simplify]: iters left: 1 (9 enodes) 1553947549.563 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.563 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947549.563 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947549.563 * * [simplify]: Extracting #3: cost 0 inf + 86 1553947549.563 * [simplify]: Simplified to (/ b a) 1553947549.563 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) 1553947549.563 * [simplify]: Simplifying (+ 1 1) 1553947549.563 * * [simplify]: iters left: 2 (2 enodes) 1553947549.566 * * [simplify]: iters left: 1 (9 enodes) 1553947549.569 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.569 * * [simplify]: Extracting #1: cost 0 inf + 1 1553947549.569 * [simplify]: Simplified to 2 1553947549.569 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2))))) 1553947549.569 * * * * [progress]: [ 19 / 66 ] simplifiying candidate # 1553947549.569 * [simplify]: Simplifying (* (/ b a) (/ b a)) 1553947549.569 * * [simplify]: iters left: 4 (4 enodes) 1553947549.571 * * [simplify]: iters left: 3 (16 enodes) 1553947549.574 * * [simplify]: iters left: 2 (24 enodes) 1553947549.578 * * [simplify]: iters left: 1 (36 enodes) 1553947549.583 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.583 * * [simplify]: Extracting #1: cost 11 inf + 0 1553947549.583 * * [simplify]: Extracting #2: cost 10 inf + 332 1553947549.584 * * [simplify]: Extracting #3: cost 2 inf + 826 1553947549.585 * * [simplify]: Extracting #4: cost 0 inf + 990 1553947549.585 * [simplify]: Simplified to (* (/ b a) (/ b a)) 1553947549.585 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1))))) 1553947549.585 * * * * [progress]: [ 20 / 66 ] simplifiying candidate # 1553947549.585 * * * * [progress]: [ 21 / 66 ] simplifiying candidate # 1553947549.585 * [simplify]: Simplifying (/ b a) 1553947549.585 * * [simplify]: iters left: 2 (3 enodes) 1553947549.586 * * [simplify]: iters left: 1 (9 enodes) 1553947549.587 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.587 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947549.587 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947549.587 * * [simplify]: Extracting #3: cost 0 inf + 86 1553947549.587 * [simplify]: Simplified to (/ b a) 1553947549.587 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) 1553947549.587 * * * * [progress]: [ 22 / 66 ] simplifiying candidate # 1553947549.587 * * * * [progress]: [ 23 / 66 ] simplifiying candidate # 1553947549.587 * [simplify]: Simplifying (+ (log (/ b a)) (log (/ b a))) 1553947549.587 * * [simplify]: iters left: 5 (5 enodes) 1553947549.589 * * [simplify]: iters left: 4 (18 enodes) 1553947549.591 * * [simplify]: iters left: 3 (28 enodes) 1553947549.596 * * [simplify]: iters left: 2 (48 enodes) 1553947549.603 * * [simplify]: iters left: 1 (82 enodes) 1553947549.616 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.616 * * [simplify]: Extracting #1: cost 13 inf + 0 1553947549.616 * * [simplify]: Extracting #2: cost 30 inf + 0 1553947549.616 * * [simplify]: Extracting #3: cost 29 inf + 73 1553947549.616 * * [simplify]: Extracting #4: cost 6 inf + 3238 1553947549.618 * * [simplify]: Extracting #5: cost 0 inf + 4137 1553947549.620 * [simplify]: Simplified to (+ (log (/ b a)) (log (/ b a))) 1553947549.620 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) 1553947549.620 * * * * [progress]: [ 24 / 66 ] simplifiying candidate # 1553947549.620 * * * * [progress]: [ 25 / 66 ] simplifiying candidate # 1553947549.620 * * * * [progress]: [ 26 / 66 ] simplifiying candidate # 1553947549.621 * [simplify]: Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))) 1553947549.621 * * [simplify]: iters left: 6 (6 enodes) 1553947549.624 * * [simplify]: iters left: 5 (29 enodes) 1553947549.635 * * [simplify]: iters left: 4 (80 enodes) 1553947549.659 * * [simplify]: iters left: 3 (196 enodes) 1553947549.752 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.753 * * [simplify]: Extracting #1: cost 54 inf + 0 1553947549.754 * * [simplify]: Extracting #2: cost 135 inf + 298 1553947549.758 * * [simplify]: Extracting #3: cost 70 inf + 9925 1553947549.770 * * [simplify]: Extracting #4: cost 3 inf + 21366 1553947549.782 * * [simplify]: Extracting #5: cost 0 inf + 21692 1553947549.795 * * [simplify]: Extracting #6: cost 0 inf + 21652 1553947549.808 * [simplify]: Simplified to (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a)))) 1553947549.808 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a))))))))) 1553947549.808 * * * * [progress]: [ 27 / 66 ] simplifiying candidate # 1553947549.808 * * * * [progress]: [ 28 / 66 ] simplifiying candidate # 1553947549.808 * * * * [progress]: [ 29 / 66 ] simplifiying candidate # 1553947549.808 * * * * [progress]: [ 30 / 66 ] simplifiying candidate # 1553947549.809 * [simplify]: Simplifying (* b b) 1553947549.809 * * [simplify]: iters left: 2 (2 enodes) 1553947549.810 * * [simplify]: iters left: 1 (6 enodes) 1553947549.811 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.811 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947549.812 * * [simplify]: Extracting #2: cost 2 inf + 1 1553947549.812 * * [simplify]: Extracting #3: cost 0 inf + 83 1553947549.812 * [simplify]: Simplified to (* b b) 1553947549.812 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1553947549.812 * [simplify]: Simplifying (* a a) 1553947549.812 * * [simplify]: iters left: 2 (2 enodes) 1553947549.813 * * [simplify]: iters left: 1 (6 enodes) 1553947549.815 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.815 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947549.815 * * [simplify]: Extracting #2: cost 2 inf + 1 1553947549.815 * * [simplify]: Extracting #3: cost 0 inf + 83 1553947549.815 * [simplify]: Simplified to (* a a) 1553947549.815 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1553947549.815 * * * * [progress]: [ 31 / 66 ] simplifiying candidate # 1553947549.815 * * * * [progress]: [ 32 / 66 ] simplifiying candidate # 1553947549.815 * [simplify]: Simplifying (cbrt (/ b a)) 1553947549.816 * * [simplify]: iters left: 3 (4 enodes) 1553947549.817 * * [simplify]: iters left: 2 (12 enodes) 1553947549.820 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.820 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947549.820 * * [simplify]: Extracting #2: cost 6 inf + 0 1553947549.821 * * [simplify]: Extracting #3: cost 4 inf + 2 1553947549.821 * * [simplify]: Extracting #4: cost 0 inf + 330 1553947549.821 * [simplify]: Simplified to (cbrt (/ b a)) 1553947549.821 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))))))) 1553947549.821 * * * * [progress]: [ 33 / 66 ] simplifiying candidate # 1553947549.821 * [simplify]: Simplifying (sqrt (/ b a)) 1553947549.821 * * [simplify]: iters left: 3 (4 enodes) 1553947549.823 * * [simplify]: iters left: 2 (12 enodes) 1553947549.826 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.826 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947549.826 * * [simplify]: Extracting #2: cost 6 inf + 0 1553947549.826 * * [simplify]: Extracting #3: cost 4 inf + 2 1553947549.826 * * [simplify]: Extracting #4: cost 0 inf + 250 1553947549.826 * [simplify]: Simplified to (sqrt (/ b a)) 1553947549.826 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a))))))) 1553947549.827 * * * * [progress]: [ 34 / 66 ] simplifiying candidate # 1553947549.827 * [simplify]: Simplifying (/ b a) 1553947549.827 * * [simplify]: iters left: 2 (3 enodes) 1553947549.828 * * [simplify]: iters left: 1 (9 enodes) 1553947549.830 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.830 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947549.830 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947549.831 * * [simplify]: Extracting #3: cost 0 inf + 86 1553947549.831 * [simplify]: Simplified to (/ b a) 1553947549.831 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a)))))) 1553947549.831 * * * * [progress]: [ 35 / 66 ] simplifiying candidate # 1553947549.831 * [simplify]: Simplifying (/ 1 a) 1553947549.831 * * [simplify]: iters left: 2 (3 enodes) 1553947549.833 * * [simplify]: iters left: 1 (11 enodes) 1553947549.837 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.837 * * [simplify]: Extracting #1: cost 4 inf + 0 1553947549.837 * * [simplify]: Extracting #2: cost 2 inf + 2 1553947549.837 * * [simplify]: Extracting #3: cost 0 inf + 86 1553947549.837 * [simplify]: Simplified to (/ 1 a) 1553947549.837 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a)))))) 1553947549.837 * * * * [progress]: [ 36 / 66 ] simplifiying candidate # 1553947549.837 * [simplify]: Simplifying (* (cbrt (/ b a)) (cbrt (/ b a))) 1553947549.838 * * [simplify]: iters left: 5 (5 enodes) 1553947549.840 * * [simplify]: iters left: 4 (15 enodes) 1553947549.844 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.844 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947549.844 * * [simplify]: Extracting #2: cost 5 inf + 0 1553947549.844 * * [simplify]: Extracting #3: cost 8 inf + 0 1553947549.844 * * [simplify]: Extracting #4: cost 6 inf + 2 1553947549.844 * * [simplify]: Extracting #5: cost 0 inf + 654 1553947549.844 * [simplify]: Simplified to (* (cbrt (/ b a)) (cbrt (/ b a))) 1553947549.844 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a))))))) 1553947549.844 * * * * [progress]: [ 37 / 66 ] simplifiying candidate # 1553947549.845 * [simplify]: Simplifying (sqrt (/ b a)) 1553947549.845 * * [simplify]: iters left: 3 (4 enodes) 1553947549.846 * * [simplify]: iters left: 2 (12 enodes) 1553947549.849 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.849 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947549.850 * * [simplify]: Extracting #2: cost 6 inf + 0 1553947549.850 * * [simplify]: Extracting #3: cost 4 inf + 2 1553947549.850 * * [simplify]: Extracting #4: cost 0 inf + 250 1553947549.850 * [simplify]: Simplified to (sqrt (/ b a)) 1553947549.850 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a))))))) 1553947549.850 * * * * [progress]: [ 38 / 66 ] simplifiying candidate # 1553947549.850 * * * * [progress]: [ 39 / 66 ] simplifiying candidate # 1553947549.850 * * * * [progress]: [ 40 / 66 ] simplifiying candidate # 1553947549.850 * * * * [progress]: [ 41 / 66 ] simplifiying candidate # 1553947549.850 * [simplify]: Simplifying (* b (/ b a)) 1553947549.851 * * [simplify]: iters left: 4 (4 enodes) 1553947549.852 * * [simplify]: iters left: 3 (15 enodes) 1553947549.857 * * [simplify]: iters left: 2 (19 enodes) 1553947549.862 * * [simplify]: iters left: 1 (21 enodes) 1553947549.867 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.867 * * [simplify]: Extracting #1: cost 7 inf + 0 1553947549.868 * * [simplify]: Extracting #2: cost 8 inf + 2 1553947549.868 * * [simplify]: Extracting #3: cost 1 inf + 374 1553947549.868 * * [simplify]: Extracting #4: cost 0 inf + 416 1553947549.868 * [simplify]: Simplified to (* b (/ b a)) 1553947549.868 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) 1553947549.868 * * * * [progress]: [ 42 / 66 ] simplifiying candidate #real (real->posit16 (* (/ b a) (/ b a))))))))> 1553947549.868 * * * * [progress]: [ 43 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 44 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 45 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 46 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 47 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 48 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 49 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 50 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 51 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 52 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 53 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 54 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 55 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 56 / 66 ] simplifiying candidate # 1553947549.869 * * * * [progress]: [ 57 / 66 ] simplifiying candidate #real (real->posit16 (- 1 (* (/ b a) (/ b a))))))))> 1553947549.869 * * * * [progress]: [ 58 / 66 ] simplifiying candidate # 1553947549.870 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947549.870 * * [simplify]: iters left: 6 (10 enodes) 1553947549.875 * * [simplify]: iters left: 5 (36 enodes) 1553947549.886 * * [simplify]: iters left: 4 (49 enodes) 1553947549.904 * * [simplify]: iters left: 3 (77 enodes) 1553947549.928 * * [simplify]: iters left: 2 (113 enodes) 1553947549.959 * * [simplify]: iters left: 1 (127 enodes) 1553947549.980 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947549.980 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947549.981 * * [simplify]: Extracting #2: cost 5 inf + 0 1553947549.981 * * [simplify]: Extracting #3: cost 11 inf + 0 1553947549.981 * * [simplify]: Extracting #4: cost 28 inf + 1 1553947549.981 * * [simplify]: Extracting #5: cost 38 inf + 44 1553947549.982 * * [simplify]: Extracting #6: cost 14 inf + 2293 1553947549.983 * * [simplify]: Extracting #7: cost 0 inf + 3640 1553947549.983 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553947549.984 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947549.984 * * * * [progress]: [ 59 / 66 ] simplifiying candidate # 1553947549.984 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947549.984 * * [simplify]: iters left: 6 (10 enodes) 1553947549.987 * * [simplify]: iters left: 5 (36 enodes) 1553947549.992 * * [simplify]: iters left: 4 (49 enodes) 1553947550.003 * * [simplify]: iters left: 3 (77 enodes) 1553947550.030 * * [simplify]: iters left: 2 (113 enodes) 1553947550.061 * * [simplify]: iters left: 1 (127 enodes) 1553947550.092 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947550.092 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947550.092 * * [simplify]: Extracting #2: cost 5 inf + 0 1553947550.092 * * [simplify]: Extracting #3: cost 11 inf + 0 1553947550.092 * * [simplify]: Extracting #4: cost 28 inf + 1 1553947550.092 * * [simplify]: Extracting #5: cost 38 inf + 44 1553947550.093 * * [simplify]: Extracting #6: cost 14 inf + 2293 1553947550.094 * * [simplify]: Extracting #7: cost 0 inf + 3640 1553947550.096 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553947550.096 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947550.096 * * * * [progress]: [ 60 / 66 ] simplifiying candidate # 1553947550.097 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1553947550.097 * * [simplify]: iters left: 6 (10 enodes) 1553947550.099 * * [simplify]: iters left: 5 (36 enodes) 1553947550.105 * * [simplify]: iters left: 4 (49 enodes) 1553947550.113 * * [simplify]: iters left: 3 (77 enodes) 1553947550.126 * * [simplify]: iters left: 2 (113 enodes) 1553947550.152 * * [simplify]: iters left: 1 (127 enodes) 1553947550.172 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947550.172 * * [simplify]: Extracting #1: cost 3 inf + 0 1553947550.172 * * [simplify]: Extracting #2: cost 5 inf + 0 1553947550.172 * * [simplify]: Extracting #3: cost 11 inf + 0 1553947550.172 * * [simplify]: Extracting #4: cost 28 inf + 1 1553947550.172 * * [simplify]: Extracting #5: cost 38 inf + 44 1553947550.172 * * [simplify]: Extracting #6: cost 14 inf + 2293 1553947550.173 * * [simplify]: Extracting #7: cost 0 inf + 3640 1553947550.174 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553947550.174 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947550.174 * * * * [progress]: [ 61 / 66 ] simplifiying candidate # 1553947550.174 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 1553947550.174 * * [simplify]: iters left: 3 (6 enodes) 1553947550.176 * * [simplify]: iters left: 2 (20 enodes) 1553947550.179 * * [simplify]: iters left: 1 (26 enodes) 1553947550.183 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947550.183 * * [simplify]: Extracting #1: cost 12 inf + 0 1553947550.183 * * [simplify]: Extracting #2: cost 16 inf + 43 1553947550.183 * * [simplify]: Extracting #3: cost 2 inf + 867 1553947550.184 * * [simplify]: Extracting #4: cost 0 inf + 1031 1553947550.184 * [simplify]: Simplified to (* (/ b a) (/ b a)) 1553947550.184 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947550.184 * * * * [progress]: [ 62 / 66 ] simplifiying candidate # 1553947550.184 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 1553947550.184 * * [simplify]: iters left: 3 (6 enodes) 1553947550.186 * * [simplify]: iters left: 2 (20 enodes) 1553947550.189 * * [simplify]: iters left: 1 (26 enodes) 1553947550.193 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947550.193 * * [simplify]: Extracting #1: cost 12 inf + 0 1553947550.193 * * [simplify]: Extracting #2: cost 16 inf + 43 1553947550.193 * * [simplify]: Extracting #3: cost 2 inf + 867 1553947550.194 * * [simplify]: Extracting #4: cost 0 inf + 1031 1553947550.194 * [simplify]: Simplified to (* (/ b a) (/ b a)) 1553947550.194 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947550.194 * * * * [progress]: [ 63 / 66 ] simplifiying candidate # 1553947550.194 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 1553947550.194 * * [simplify]: iters left: 3 (6 enodes) 1553947550.196 * * [simplify]: iters left: 2 (20 enodes) 1553947550.199 * * [simplify]: iters left: 1 (26 enodes) 1553947550.204 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947550.204 * * [simplify]: Extracting #1: cost 12 inf + 0 1553947550.205 * * [simplify]: Extracting #2: cost 16 inf + 43 1553947550.205 * * [simplify]: Extracting #3: cost 2 inf + 867 1553947550.205 * * [simplify]: Extracting #4: cost 0 inf + 1031 1553947550.206 * [simplify]: Simplified to (* (/ b a) (/ b a)) 1553947550.206 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947550.206 * * * * [progress]: [ 64 / 66 ] simplifiying candidate # 1553947550.206 * [simplify]: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1553947550.206 * * [simplify]: iters left: 5 (8 enodes) 1553947550.211 * * [simplify]: iters left: 4 (30 enodes) 1553947550.221 * * [simplify]: iters left: 3 (43 enodes) 1553947550.235 * * [simplify]: iters left: 2 (71 enodes) 1553947550.259 * * [simplify]: iters left: 1 (107 enodes) 1553947550.289 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947550.289 * * [simplify]: Extracting #1: cost 7 inf + 0 1553947550.289 * * [simplify]: Extracting #2: cost 23 inf + 1 1553947550.289 * * [simplify]: Extracting #3: cost 33 inf + 44 1553947550.290 * * [simplify]: Extracting #4: cost 12 inf + 1845 1553947550.291 * * [simplify]: Extracting #5: cost 1 inf + 2704 1553947550.293 * * [simplify]: Extracting #6: cost 0 inf + 2786 1553947550.294 * [simplify]: Simplified to (- 1 (* (/ b a) (/ b a))) 1553947550.294 * [simplify]: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947550.294 * * * * [progress]: [ 65 / 66 ] simplifiying candidate # 1553947550.295 * [simplify]: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1553947550.295 * * [simplify]: iters left: 5 (8 enodes) 1553947550.299 * * [simplify]: iters left: 4 (30 enodes) 1553947550.309 * * [simplify]: iters left: 3 (43 enodes) 1553947550.322 * * [simplify]: iters left: 2 (71 enodes) 1553947550.343 * * [simplify]: iters left: 1 (107 enodes) 1553947550.372 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947550.372 * * [simplify]: Extracting #1: cost 7 inf + 0 1553947550.372 * * [simplify]: Extracting #2: cost 23 inf + 1 1553947550.372 * * [simplify]: Extracting #3: cost 33 inf + 44 1553947550.373 * * [simplify]: Extracting #4: cost 12 inf + 1845 1553947550.374 * * [simplify]: Extracting #5: cost 1 inf + 2704 1553947550.375 * * [simplify]: Extracting #6: cost 0 inf + 2786 1553947550.378 * [simplify]: Simplified to (- 1 (* (/ b a) (/ b a))) 1553947550.378 * [simplify]: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947550.379 * * * * [progress]: [ 66 / 66 ] simplifiying candidate # 1553947550.379 * [simplify]: Simplifying (- 1 (/ (pow b 2) (pow a 2))) 1553947550.379 * * [simplify]: iters left: 5 (8 enodes) 1553947550.384 * * [simplify]: iters left: 4 (30 enodes) 1553947550.394 * * [simplify]: iters left: 3 (43 enodes) 1553947550.407 * * [simplify]: iters left: 2 (71 enodes) 1553947550.429 * * [simplify]: iters left: 1 (107 enodes) 1553947550.458 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947550.458 * * [simplify]: Extracting #1: cost 7 inf + 0 1553947550.458 * * [simplify]: Extracting #2: cost 23 inf + 1 1553947550.458 * * [simplify]: Extracting #3: cost 33 inf + 44 1553947550.459 * * [simplify]: Extracting #4: cost 12 inf + 1845 1553947550.460 * * [simplify]: Extracting #5: cost 1 inf + 2704 1553947550.462 * * [simplify]: Extracting #6: cost 0 inf + 2786 1553947550.463 * [simplify]: Simplified to (- 1 (* (/ b a) (/ b a))) 1553947550.463 * [simplify]: Simplified (2 1 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1553947550.463 * * * [progress]: adding candidates to table 1553947551.039 * [progress]: [Phase 3 of 3] Extracting. 1553947551.041 * [simplify]: Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553947551.041 * * [simplify]: iters left: 6 (8 enodes) 1553947551.042 * * [simplify]: iters left: 5 (10 enodes) 1553947551.042 * * [simplify]: Extracting #0: cost 1 inf + 0 1553947551.042 * * [simplify]: Extracting #1: cost 2 inf + 0 1553947551.042 * * [simplify]: Extracting #2: cost 3 inf + 0 1553947551.042 * * [simplify]: Extracting #3: cost 5 inf + 0 1553947551.042 * * [simplify]: Extracting #4: cost 5 inf + 1 1553947551.042 * * [simplify]: Extracting #5: cost 7 inf + 1 1553947551.042 * * [simplify]: Extracting #6: cost 0 inf + 616 1553947551.042 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1553947552.526 * [regime-testing]: Baseline error score: 7.295355910500344 1553947552.528 * [regime-testing]: Oracle error score: 7.295355910500344 1553947552.528 * [regime-testing]: End program error score: 7.295355910500344