0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.041 * * * [progress]: [2/2] Setting up program. 0.045 * [progress]: [Phase 2 of 3] Improving. 0.045 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.045 * [simplify]: Simplifying (- (* a a) (* b b)) 0.045 * * [simplify]: iters left: 4 (5 enodes) 0.048 * * [simplify]: iters left: 3 (20 enodes) 0.054 * * [simplify]: iters left: 2 (33 enodes) 0.062 * * [simplify]: iters left: 1 (50 enodes) 0.078 * * [simplify]: Extracting #0: cost 1 inf + 0 0.078 * * [simplify]: Extracting #1: cost 11 inf + 0 0.079 * * [simplify]: Extracting #2: cost 29 inf + 0 0.079 * * [simplify]: Extracting #3: cost 19 inf + 455 0.080 * * [simplify]: Extracting #4: cost 0 inf + 2130 0.081 * * [simplify]: Extracting #5: cost 0 inf + 1970 0.082 * [simplify]: Simplified to (* (+ a b) (- a b)) 0.082 * [simplify]: Simplified (2) to (λ (a b) (* (+ a b) (- a b))) 0.093 * * [progress]: iteration 1 / 4 0.094 * * * [progress]: picking best candidate 0.097 * * * * [pick]: Picked # 0.097 * * * [progress]: localizing error 0.113 * * * [progress]: generating rewritten candidates 0.113 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.128 * * * [progress]: generating series expansions 0.128 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.128 * [backup-simplify]: Simplify (- (* a a) (* b b)) into (- (pow a 2) (pow b 2)) 0.128 * [approximate]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0 0.128 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 0.128 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.128 * [taylor]: Taking taylor expansion of a in b 0.128 * [backup-simplify]: Simplify a into a 0.128 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.128 * [taylor]: Taking taylor expansion of b in b 0.128 * [backup-simplify]: Simplify 0 into 0 0.128 * [backup-simplify]: Simplify 1 into 1 0.128 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.128 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.129 * [taylor]: Taking taylor expansion of a in a 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.129 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.129 * [taylor]: Taking taylor expansion of b in a 0.129 * [backup-simplify]: Simplify b into b 0.129 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 0.129 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.129 * [taylor]: Taking taylor expansion of a in a 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.129 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.129 * [taylor]: Taking taylor expansion of b in a 0.129 * [backup-simplify]: Simplify b into b 0.129 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.129 * [backup-simplify]: Simplify (- (pow b 2)) into (- (pow b 2)) 0.129 * [backup-simplify]: Simplify (+ 0 (- (pow b 2))) into (- (pow b 2)) 0.129 * [taylor]: Taking taylor expansion of (- (pow b 2)) in b 0.129 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.129 * [taylor]: Taking taylor expansion of b in b 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.129 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 0.130 * [backup-simplify]: Simplify (- 0) into 0 0.130 * [backup-simplify]: Simplify (+ 0 0) into 0 0.130 * [taylor]: Taking taylor expansion of 0 in b 0.130 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify 0 into 0 0.131 * [backup-simplify]: Simplify (* 1 1) into 1 0.131 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 0.132 * [backup-simplify]: Simplify (- 0) into 0 0.132 * [backup-simplify]: Simplify (+ 1 0) into 1 0.132 * [taylor]: Taking taylor expansion of 1 in b 0.132 * [backup-simplify]: Simplify 1 into 1 0.132 * [backup-simplify]: Simplify 1 into 1 0.132 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify (* 1 1) into 1 0.133 * [backup-simplify]: Simplify (- 1) into -1 0.133 * [backup-simplify]: Simplify -1 into -1 0.134 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.134 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0 0.135 * [backup-simplify]: Simplify (- 0) into 0 0.135 * [backup-simplify]: Simplify (+ 0 0) into 0 0.135 * [taylor]: Taking taylor expansion of 0 in b 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.136 * [backup-simplify]: Simplify (- 0) into 0 0.136 * [backup-simplify]: Simplify 0 into 0 0.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.139 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0 0.139 * [backup-simplify]: Simplify (- 0) into 0 0.139 * [backup-simplify]: Simplify (+ 0 0) into 0 0.139 * [taylor]: Taking taylor expansion of 0 in b 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2)) 0.140 * [backup-simplify]: Simplify (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) 0.140 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 0.140 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.140 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.140 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.140 * [taylor]: Taking taylor expansion of a in b 0.140 * [backup-simplify]: Simplify a into a 0.140 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.140 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 0.140 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.140 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.140 * [taylor]: Taking taylor expansion of b in b 0.140 * [backup-simplify]: Simplify 0 into 0 0.140 * [backup-simplify]: Simplify 1 into 1 0.141 * [backup-simplify]: Simplify (* 1 1) into 1 0.141 * [backup-simplify]: Simplify (/ 1 1) into 1 0.141 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.141 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.141 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.141 * [taylor]: Taking taylor expansion of a in a 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify 1 into 1 0.142 * [backup-simplify]: Simplify (* 1 1) into 1 0.142 * [backup-simplify]: Simplify (/ 1 1) into 1 0.142 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.142 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.142 * [taylor]: Taking taylor expansion of b in a 0.142 * [backup-simplify]: Simplify b into b 0.142 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.142 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.142 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.142 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.142 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.142 * [taylor]: Taking taylor expansion of a in a 0.142 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify 1 into 1 0.143 * [backup-simplify]: Simplify (* 1 1) into 1 0.143 * [backup-simplify]: Simplify (/ 1 1) into 1 0.143 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.143 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.143 * [taylor]: Taking taylor expansion of b in a 0.143 * [backup-simplify]: Simplify b into b 0.143 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.143 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.144 * [backup-simplify]: Simplify (+ 1 0) into 1 0.144 * [taylor]: Taking taylor expansion of 1 in b 0.144 * [backup-simplify]: Simplify 1 into 1 0.145 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.146 * [backup-simplify]: Simplify (+ 0 0) into 0 0.146 * [taylor]: Taking taylor expansion of 0 in b 0.146 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.148 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 0.148 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 0.148 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.148 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.148 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.148 * [taylor]: Taking taylor expansion of b in b 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify 1 into 1 0.148 * [backup-simplify]: Simplify (* 1 1) into 1 0.149 * [backup-simplify]: Simplify (/ 1 1) into 1 0.149 * [backup-simplify]: Simplify (- 1) into -1 0.149 * [backup-simplify]: Simplify -1 into -1 0.149 * [backup-simplify]: Simplify 1 into 1 0.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.151 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 0.151 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 0.152 * [backup-simplify]: Simplify (- 0) into 0 0.152 * [backup-simplify]: Simplify (+ 0 0) into 0 0.152 * [taylor]: Taking taylor expansion of 0 in b 0.152 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.154 * [backup-simplify]: Simplify (- 0) into 0 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [backup-simplify]: Simplify 0 into 0 0.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.157 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 0.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 0.157 * [backup-simplify]: Simplify (- 0) into 0 0.158 * [backup-simplify]: Simplify (+ 0 0) into 0 0.158 * [taylor]: Taking taylor expansion of 0 in b 0.158 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.160 * [backup-simplify]: Simplify (- 0) into 0 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify 0 into 0 0.160 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2)) 0.161 * [backup-simplify]: Simplify (- (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) into (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) 0.161 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 0.161 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 0.161 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.161 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.161 * [taylor]: Taking taylor expansion of a in b 0.161 * [backup-simplify]: Simplify a into a 0.161 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.161 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 0.161 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.161 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.161 * [taylor]: Taking taylor expansion of b in b 0.161 * [backup-simplify]: Simplify 0 into 0 0.161 * [backup-simplify]: Simplify 1 into 1 0.162 * [backup-simplify]: Simplify (* 1 1) into 1 0.162 * [backup-simplify]: Simplify (/ 1 1) into 1 0.162 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.162 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.162 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.162 * [taylor]: Taking taylor expansion of a in a 0.162 * [backup-simplify]: Simplify 0 into 0 0.162 * [backup-simplify]: Simplify 1 into 1 0.163 * [backup-simplify]: Simplify (* 1 1) into 1 0.163 * [backup-simplify]: Simplify (/ 1 1) into 1 0.163 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.163 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.163 * [taylor]: Taking taylor expansion of b in a 0.163 * [backup-simplify]: Simplify b into b 0.163 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.163 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.163 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 0.163 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.163 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.163 * [taylor]: Taking taylor expansion of a in a 0.163 * [backup-simplify]: Simplify 0 into 0 0.164 * [backup-simplify]: Simplify 1 into 1 0.164 * [backup-simplify]: Simplify (* 1 1) into 1 0.164 * [backup-simplify]: Simplify (/ 1 1) into 1 0.164 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.164 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.164 * [taylor]: Taking taylor expansion of b in a 0.164 * [backup-simplify]: Simplify b into b 0.164 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.165 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.165 * [backup-simplify]: Simplify (+ 1 0) into 1 0.165 * [taylor]: Taking taylor expansion of 1 in b 0.165 * [backup-simplify]: Simplify 1 into 1 0.166 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.167 * [backup-simplify]: Simplify (+ 0 0) into 0 0.167 * [taylor]: Taking taylor expansion of 0 in b 0.167 * [backup-simplify]: Simplify 0 into 0 0.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.169 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.169 * [backup-simplify]: Simplify (- (/ 1 (pow b 2))) into (- (/ 1 (pow b 2))) 0.169 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow b 2)))) into (- (/ 1 (pow b 2))) 0.169 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.169 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.169 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.169 * [taylor]: Taking taylor expansion of b in b 0.169 * [backup-simplify]: Simplify 0 into 0 0.169 * [backup-simplify]: Simplify 1 into 1 0.170 * [backup-simplify]: Simplify (* 1 1) into 1 0.170 * [backup-simplify]: Simplify (/ 1 1) into 1 0.171 * [backup-simplify]: Simplify (- 1) into -1 0.171 * [backup-simplify]: Simplify -1 into -1 0.171 * [backup-simplify]: Simplify 1 into 1 0.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.173 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0 0.173 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0 0.173 * [backup-simplify]: Simplify (- 0) into 0 0.174 * [backup-simplify]: Simplify (+ 0 0) into 0 0.174 * [taylor]: Taking taylor expansion of 0 in b 0.174 * [backup-simplify]: Simplify 0 into 0 0.175 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.176 * [backup-simplify]: Simplify (- 0) into 0 0.176 * [backup-simplify]: Simplify 0 into 0 0.176 * [backup-simplify]: Simplify 0 into 0 0.176 * [backup-simplify]: Simplify 0 into 0 0.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.179 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0 0.179 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0 0.179 * [backup-simplify]: Simplify (- 0) into 0 0.180 * [backup-simplify]: Simplify (+ 0 0) into 0 0.180 * [taylor]: Taking taylor expansion of 0 in b 0.180 * [backup-simplify]: Simplify 0 into 0 0.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.182 * [backup-simplify]: Simplify (- 0) into 0 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 0 into 0 0.183 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2)) 0.183 * * * [progress]: simplifying candidates 0.183 * * * * [progress]: [ 1 / 17 ] simplifiying candidate # 0.183 * [simplify]: Simplifying (/ (exp (* a a)) (exp (* b b))) 0.183 * * [simplify]: iters left: 5 (7 enodes) 0.186 * * [simplify]: iters left: 4 (27 enodes) 0.194 * * [simplify]: iters left: 3 (45 enodes) 0.208 * * [simplify]: iters left: 2 (88 enodes) 0.243 * * [simplify]: iters left: 1 (199 enodes) 0.316 * * [simplify]: Extracting #0: cost 1 inf + 0 0.317 * * [simplify]: Extracting #1: cost 61 inf + 0 0.317 * * [simplify]: Extracting #2: cost 168 inf + 0 0.318 * * [simplify]: Extracting #3: cost 198 inf + 1218 0.321 * * [simplify]: Extracting #4: cost 139 inf + 9149 0.328 * * [simplify]: Extracting #5: cost 69 inf + 34185 0.343 * * [simplify]: Extracting #6: cost 10 inf + 77610 0.364 * * [simplify]: Extracting #7: cost 0 inf + 85017 0.381 * [simplify]: Simplified to (exp (- (* a a) (* b b))) 0.381 * [simplify]: Simplified (2 1) to (λ (a b) (log (exp (- (* a a) (* b b))))) 0.381 * * * * [progress]: [ 2 / 17 ] simplifiying candidate # 0.381 * * * * [progress]: [ 3 / 17 ] simplifiying candidate # 0.381 * * * * [progress]: [ 4 / 17 ] simplifiying candidate # 0.381 * * * * [progress]: [ 5 / 17 ] simplifiying candidate # 0.381 * * * * [progress]: [ 6 / 17 ] simplifiying candidate # 0.381 * * * * [progress]: [ 7 / 17 ] simplifiying candidate # 0.381 * * * * [progress]: [ 8 / 17 ] simplifiying candidate # 0.381 * * * * [progress]: [ 9 / 17 ] simplifiying candidate # 0.381 * * * * [progress]: [ 10 / 17 ] simplifiying candidate # 0.381 * * * * [progress]: [ 11 / 17 ] simplifiying candidate # 0.382 * * * * [progress]: [ 12 / 17 ] simplifiying candidate # 0.382 * [simplify]: Simplifying (+ a b) 0.382 * * [simplify]: iters left: 2 (3 enodes) 0.383 * * [simplify]: iters left: 1 (10 enodes) 0.384 * * [simplify]: Extracting #0: cost 1 inf + 0 0.384 * * [simplify]: Extracting #1: cost 4 inf + 0 0.384 * * [simplify]: Extracting #2: cost 2 inf + 2 0.384 * * [simplify]: Extracting #3: cost 0 inf + 86 0.384 * [simplify]: Simplified to (+ b a) 0.384 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (- a b))) 0.385 * [simplify]: Simplifying (- a b) 0.385 * * [simplify]: iters left: 2 (3 enodes) 0.385 * * [simplify]: iters left: 1 (11 enodes) 0.387 * * [simplify]: Extracting #0: cost 1 inf + 0 0.387 * * [simplify]: Extracting #1: cost 5 inf + 0 0.387 * * [simplify]: Extracting #2: cost 3 inf + 43 0.387 * * [simplify]: Extracting #3: cost 0 inf + 168 0.387 * [simplify]: Simplified to (- a b) 0.387 * [simplify]: Simplified (2 2) to (λ (a b) (* (+ a b) (- a b))) 0.387 * * * * [progress]: [ 13 / 17 ] simplifiying candidate # 0.387 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #real (real->posit16 (- (* a a) (* b b)))))> 0.387 * * * * [progress]: [ 15 / 17 ] simplifiying candidate # 0.387 * [simplify]: Simplifying (- (pow a 2) (pow b 2)) 0.387 * * [simplify]: iters left: 3 (6 enodes) 0.389 * * [simplify]: iters left: 2 (28 enodes) 0.394 * * [simplify]: iters left: 1 (41 enodes) 0.399 * * [simplify]: Extracting #0: cost 1 inf + 0 0.399 * * [simplify]: Extracting #1: cost 7 inf + 0 0.399 * * [simplify]: Extracting #2: cost 16 inf + 0 0.399 * * [simplify]: Extracting #3: cost 14 inf + 3 0.399 * * [simplify]: Extracting #4: cost 6 inf + 454 0.400 * * [simplify]: Extracting #5: cost 0 inf + 823 0.400 * [simplify]: Simplified to (- (* a a) (* b b)) 0.400 * [simplify]: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 0.400 * * * * [progress]: [ 16 / 17 ] simplifiying candidate # 0.400 * [simplify]: Simplifying (- (pow a 2) (pow b 2)) 0.400 * * [simplify]: iters left: 3 (6 enodes) 0.402 * * [simplify]: iters left: 2 (28 enodes) 0.406 * * [simplify]: iters left: 1 (41 enodes) 0.412 * * [simplify]: Extracting #0: cost 1 inf + 0 0.412 * * [simplify]: Extracting #1: cost 7 inf + 0 0.412 * * [simplify]: Extracting #2: cost 16 inf + 0 0.412 * * [simplify]: Extracting #3: cost 14 inf + 3 0.412 * * [simplify]: Extracting #4: cost 6 inf + 454 0.412 * * [simplify]: Extracting #5: cost 0 inf + 823 0.413 * [simplify]: Simplified to (- (* a a) (* b b)) 0.413 * [simplify]: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 0.413 * * * * [progress]: [ 17 / 17 ] simplifiying candidate # 0.413 * [simplify]: Simplifying (- (pow a 2) (pow b 2)) 0.413 * * [simplify]: iters left: 3 (6 enodes) 0.415 * * [simplify]: iters left: 2 (28 enodes) 0.419 * * [simplify]: iters left: 1 (41 enodes) 0.424 * * [simplify]: Extracting #0: cost 1 inf + 0 0.424 * * [simplify]: Extracting #1: cost 7 inf + 0 0.424 * * [simplify]: Extracting #2: cost 16 inf + 0 0.424 * * [simplify]: Extracting #3: cost 14 inf + 3 0.425 * * [simplify]: Extracting #4: cost 6 inf + 454 0.425 * * [simplify]: Extracting #5: cost 0 inf + 823 0.425 * [simplify]: Simplified to (- (* a a) (* b b)) 0.425 * [simplify]: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 0.425 * * * [progress]: adding candidates to table 0.561 * * [progress]: iteration 2 / 4 0.561 * * * [progress]: picking best candidate 0.565 * * * * [pick]: Picked # 0.565 * * * [progress]: localizing error 0.581 * * * [progress]: generating rewritten candidates 0.581 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.605 * * * [progress]: generating series expansions 0.605 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.606 * [backup-simplify]: Simplify (* (+ a b) (- a b)) into (* (+ a b) (- a b)) 0.606 * [approximate]: Taking taylor expansion of (* (+ a b) (- a b)) in (a b) around 0 0.606 * [taylor]: Taking taylor expansion of (* (+ a b) (- a b)) in b 0.606 * [taylor]: Taking taylor expansion of (+ a b) in b 0.606 * [taylor]: Taking taylor expansion of a in b 0.606 * [backup-simplify]: Simplify a into a 0.606 * [taylor]: Taking taylor expansion of b in b 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify 1 into 1 0.606 * [taylor]: Taking taylor expansion of (- a b) in b 0.606 * [taylor]: Taking taylor expansion of a in b 0.606 * [backup-simplify]: Simplify a into a 0.606 * [taylor]: Taking taylor expansion of b in b 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify 1 into 1 0.606 * [taylor]: Taking taylor expansion of (* (+ a b) (- a b)) in a 0.606 * [taylor]: Taking taylor expansion of (+ a b) in a 0.606 * [taylor]: Taking taylor expansion of a in a 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify 1 into 1 0.606 * [taylor]: Taking taylor expansion of b in a 0.606 * [backup-simplify]: Simplify b into b 0.606 * [taylor]: Taking taylor expansion of (- a b) in a 0.606 * [taylor]: Taking taylor expansion of a in a 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify 1 into 1 0.606 * [taylor]: Taking taylor expansion of b in a 0.606 * [backup-simplify]: Simplify b into b 0.606 * [taylor]: Taking taylor expansion of (* (+ a b) (- a b)) in a 0.606 * [taylor]: Taking taylor expansion of (+ a b) in a 0.606 * [taylor]: Taking taylor expansion of a in a 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify 1 into 1 0.606 * [taylor]: Taking taylor expansion of b in a 0.606 * [backup-simplify]: Simplify b into b 0.606 * [taylor]: Taking taylor expansion of (- a b) in a 0.606 * [taylor]: Taking taylor expansion of a in a 0.606 * [backup-simplify]: Simplify 0 into 0 0.606 * [backup-simplify]: Simplify 1 into 1 0.606 * [taylor]: Taking taylor expansion of b in a 0.606 * [backup-simplify]: Simplify b into b 0.606 * [backup-simplify]: Simplify (+ 0 b) into b 0.606 * [backup-simplify]: Simplify (- b) into (- b) 0.606 * [backup-simplify]: Simplify (+ 0 (- b)) into (- b) 0.606 * [backup-simplify]: Simplify (* b (- b)) into (* -1 (pow b 2)) 0.606 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b 0.606 * [taylor]: Taking taylor expansion of -1 in b 0.606 * [backup-simplify]: Simplify -1 into -1 0.606 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.606 * [taylor]: Taking taylor expansion of b in b 0.606 * [backup-simplify]: Simplify 0 into 0 0.607 * [backup-simplify]: Simplify 1 into 1 0.607 * [backup-simplify]: Simplify (- 0) into 0 0.607 * [backup-simplify]: Simplify (+ 1 0) into 1 0.607 * [backup-simplify]: Simplify (+ 1 0) into 1 0.608 * [backup-simplify]: Simplify (+ (* b 1) (* 1 (- b))) into 0 0.608 * [taylor]: Taking taylor expansion of 0 in b 0.608 * [backup-simplify]: Simplify 0 into 0 0.608 * [backup-simplify]: Simplify 0 into 0 0.608 * [backup-simplify]: Simplify (- 0) into 0 0.608 * [backup-simplify]: Simplify (+ 0 0) into 0 0.608 * [backup-simplify]: Simplify (+ 0 0) into 0 0.609 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 (- b)))) into 1 0.609 * [taylor]: Taking taylor expansion of 1 in b 0.609 * [backup-simplify]: Simplify 1 into 1 0.609 * [backup-simplify]: Simplify 1 into 1 0.609 * [backup-simplify]: Simplify 0 into 0 0.609 * [backup-simplify]: Simplify (* 1 1) into 1 0.609 * [backup-simplify]: Simplify (* -1 1) into -1 0.609 * [backup-simplify]: Simplify -1 into -1 0.609 * [backup-simplify]: Simplify (- 0) into 0 0.610 * [backup-simplify]: Simplify (+ 0 0) into 0 0.610 * [backup-simplify]: Simplify (+ 0 0) into 0 0.610 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- b))))) into 0 0.610 * [taylor]: Taking taylor expansion of 0 in b 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.612 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 0.612 * [backup-simplify]: Simplify 0 into 0 0.612 * [backup-simplify]: Simplify (- 0) into 0 0.613 * [backup-simplify]: Simplify (+ 0 0) into 0 0.613 * [backup-simplify]: Simplify (+ 0 0) into 0 0.614 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- b)))))) into 0 0.614 * [taylor]: Taking taylor expansion of 0 in b 0.614 * [backup-simplify]: Simplify 0 into 0 0.614 * [backup-simplify]: Simplify 0 into 0 0.614 * [backup-simplify]: Simplify 0 into 0 0.615 * [backup-simplify]: Simplify (+ (* -1 (pow (* b 1) 2)) (* 1 (pow (* 1 a) 2))) into (- (pow a 2) (pow b 2)) 0.615 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) into (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) 0.615 * [approximate]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in (a b) around 0 0.615 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in b 0.615 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.615 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.615 * [taylor]: Taking taylor expansion of a in b 0.615 * [backup-simplify]: Simplify a into a 0.615 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.615 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.615 * [taylor]: Taking taylor expansion of b in b 0.615 * [backup-simplify]: Simplify 0 into 0 0.615 * [backup-simplify]: Simplify 1 into 1 0.616 * [backup-simplify]: Simplify (/ 1 1) into 1 0.616 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 0.616 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.616 * [taylor]: Taking taylor expansion of a in b 0.616 * [backup-simplify]: Simplify a into a 0.616 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.616 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.616 * [taylor]: Taking taylor expansion of b in b 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 1 into 1 0.616 * [backup-simplify]: Simplify (/ 1 1) into 1 0.616 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in a 0.617 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.617 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.617 * [taylor]: Taking taylor expansion of a in a 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 1 into 1 0.617 * [backup-simplify]: Simplify (/ 1 1) into 1 0.617 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.617 * [taylor]: Taking taylor expansion of b in a 0.617 * [backup-simplify]: Simplify b into b 0.617 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.617 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.617 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.617 * [taylor]: Taking taylor expansion of a in a 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 1 into 1 0.618 * [backup-simplify]: Simplify (/ 1 1) into 1 0.618 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.618 * [taylor]: Taking taylor expansion of b in a 0.618 * [backup-simplify]: Simplify b into b 0.618 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.618 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) in a 0.618 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.618 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.618 * [taylor]: Taking taylor expansion of a in a 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 1 into 1 0.618 * [backup-simplify]: Simplify (/ 1 1) into 1 0.618 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.618 * [taylor]: Taking taylor expansion of b in a 0.618 * [backup-simplify]: Simplify b into b 0.619 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.619 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 0.619 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.619 * [taylor]: Taking taylor expansion of a in a 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 1 into 1 0.619 * [backup-simplify]: Simplify (/ 1 1) into 1 0.619 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.619 * [taylor]: Taking taylor expansion of b in a 0.619 * [backup-simplify]: Simplify b into b 0.619 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.620 * [backup-simplify]: Simplify (+ 1 0) into 1 0.620 * [backup-simplify]: Simplify (+ 1 0) into 1 0.621 * [backup-simplify]: Simplify (* 1 1) into 1 0.621 * [taylor]: Taking taylor expansion of 1 in b 0.621 * [backup-simplify]: Simplify 1 into 1 0.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.622 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b)) 0.622 * [backup-simplify]: Simplify (+ 0 (- (/ 1 b))) into (- (/ 1 b)) 0.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.622 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 0.623 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 b))) (* (/ 1 b) 1)) into 0 0.623 * [taylor]: Taking taylor expansion of 0 in b 0.623 * [backup-simplify]: Simplify 0 into 0 0.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.624 * [backup-simplify]: Simplify (- 0) into 0 0.625 * [backup-simplify]: Simplify (+ 0 0) into 0 0.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.630 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.631 * [backup-simplify]: Simplify (+ 0 0) into 0 0.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (- (/ 1 b))) (* 0 1))) into (- (/ 1 (pow b 2))) 0.632 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.632 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.632 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.632 * [taylor]: Taking taylor expansion of b in b 0.632 * [backup-simplify]: Simplify 0 into 0 0.632 * [backup-simplify]: Simplify 1 into 1 0.633 * [backup-simplify]: Simplify (* 1 1) into 1 0.633 * [backup-simplify]: Simplify (/ 1 1) into 1 0.634 * [backup-simplify]: Simplify (- 1) into -1 0.634 * [backup-simplify]: Simplify -1 into -1 0.634 * [backup-simplify]: Simplify 1 into 1 0.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.635 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.635 * [backup-simplify]: Simplify (- 0) into 0 0.636 * [backup-simplify]: Simplify (+ 0 0) into 0 0.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.637 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.637 * [backup-simplify]: Simplify (+ 0 0) into 0 0.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) 0) (+ (* 0 (- (/ 1 b))) (* 0 1)))) into 0 0.638 * [taylor]: Taking taylor expansion of 0 in b 0.638 * [backup-simplify]: Simplify 0 into 0 0.639 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.640 * [backup-simplify]: Simplify (- 0) into 0 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.641 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.642 * [backup-simplify]: Simplify (- 0) into 0 0.642 * [backup-simplify]: Simplify (+ 0 0) into 0 0.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.644 * [backup-simplify]: Simplify (+ 0 0) into 0 0.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 b))) (* 0 1))))) into 0 0.645 * [taylor]: Taking taylor expansion of 0 in b 0.645 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.647 * [backup-simplify]: Simplify (- 0) into 0 0.647 * [backup-simplify]: Simplify 0 into 0 0.647 * [backup-simplify]: Simplify 0 into 0 0.647 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* -1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (- (pow a 2) (pow b 2)) 0.648 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (- (/ 1 (- a)) (/ 1 (- b)))) into (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) 0.648 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in (a b) around 0 0.648 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in b 0.648 * [taylor]: Taking taylor expansion of -1 in b 0.648 * [backup-simplify]: Simplify -1 into -1 0.648 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b))) in b 0.648 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 0.648 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.648 * [taylor]: Taking taylor expansion of b in b 0.648 * [backup-simplify]: Simplify 0 into 0 0.648 * [backup-simplify]: Simplify 1 into 1 0.649 * [backup-simplify]: Simplify (/ 1 1) into 1 0.649 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.649 * [taylor]: Taking taylor expansion of a in b 0.649 * [backup-simplify]: Simplify a into a 0.649 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.649 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 0.649 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.649 * [taylor]: Taking taylor expansion of a in b 0.649 * [backup-simplify]: Simplify a into a 0.649 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 0.649 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.649 * [taylor]: Taking taylor expansion of b in b 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify 1 into 1 0.650 * [backup-simplify]: Simplify (/ 1 1) into 1 0.650 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in a 0.650 * [taylor]: Taking taylor expansion of -1 in a 0.650 * [backup-simplify]: Simplify -1 into -1 0.650 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b))) in a 0.650 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.650 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.650 * [taylor]: Taking taylor expansion of b in a 0.650 * [backup-simplify]: Simplify b into b 0.650 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.650 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.650 * [taylor]: Taking taylor expansion of a in a 0.650 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify 1 into 1 0.650 * [backup-simplify]: Simplify (/ 1 1) into 1 0.650 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.650 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.650 * [taylor]: Taking taylor expansion of a in a 0.650 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify 1 into 1 0.651 * [backup-simplify]: Simplify (/ 1 1) into 1 0.651 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.651 * [taylor]: Taking taylor expansion of b in a 0.651 * [backup-simplify]: Simplify b into b 0.651 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.651 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b)))) in a 0.651 * [taylor]: Taking taylor expansion of -1 in a 0.651 * [backup-simplify]: Simplify -1 into -1 0.651 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 a) (/ 1 b))) in a 0.651 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 0.651 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.651 * [taylor]: Taking taylor expansion of b in a 0.651 * [backup-simplify]: Simplify b into b 0.651 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.651 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.651 * [taylor]: Taking taylor expansion of a in a 0.651 * [backup-simplify]: Simplify 0 into 0 0.651 * [backup-simplify]: Simplify 1 into 1 0.652 * [backup-simplify]: Simplify (/ 1 1) into 1 0.652 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 0.652 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.652 * [taylor]: Taking taylor expansion of a in a 0.652 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify 1 into 1 0.652 * [backup-simplify]: Simplify (/ 1 1) into 1 0.652 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.652 * [taylor]: Taking taylor expansion of b in a 0.652 * [backup-simplify]: Simplify b into b 0.652 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 0.653 * [backup-simplify]: Simplify (- 1) into -1 0.653 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.654 * [backup-simplify]: Simplify (+ 1 0) into 1 0.654 * [backup-simplify]: Simplify (* -1 1) into -1 0.655 * [backup-simplify]: Simplify (* -1 -1) into 1 0.655 * [taylor]: Taking taylor expansion of 1 in b 0.655 * [backup-simplify]: Simplify 1 into 1 0.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.656 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b) 0.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.657 * [backup-simplify]: Simplify (- 0) into 0 0.657 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b) 0.657 * [backup-simplify]: Simplify (+ (* -1 (/ 1 b)) (* (/ 1 b) 1)) into 0 0.658 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 0.658 * [taylor]: Taking taylor expansion of 0 in b 0.658 * [backup-simplify]: Simplify 0 into 0 0.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.659 * [backup-simplify]: Simplify (+ 0 0) into 0 0.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0 0.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.660 * [backup-simplify]: Simplify (- 0) into 0 0.661 * [backup-simplify]: Simplify (+ 0 0) into 0 0.662 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2)) 0.663 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1))) into (- (/ 1 (pow b 2))) 0.663 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 0.663 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.663 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.663 * [taylor]: Taking taylor expansion of b in b 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.663 * [backup-simplify]: Simplify (* 1 1) into 1 0.664 * [backup-simplify]: Simplify (/ 1 1) into 1 0.664 * [backup-simplify]: Simplify (- 1) into -1 0.664 * [backup-simplify]: Simplify -1 into -1 0.664 * [backup-simplify]: Simplify 1 into 1 0.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.666 * [backup-simplify]: Simplify (+ 0 0) into 0 0.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.667 * [backup-simplify]: Simplify (- 0) into 0 0.667 * [backup-simplify]: Simplify (+ 0 0) into 0 0.668 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 (/ 1 b)) (* 0 1)))) into 0 0.669 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1)))) into 0 0.669 * [taylor]: Taking taylor expansion of 0 in b 0.670 * [backup-simplify]: Simplify 0 into 0 0.670 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.671 * [backup-simplify]: Simplify (- 0) into 0 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.673 * [backup-simplify]: Simplify (+ 0 0) into 0 0.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0 0.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.674 * [backup-simplify]: Simplify (- 0) into 0 0.675 * [backup-simplify]: Simplify (+ 0 0) into 0 0.676 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 1))))) into 0 0.676 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 -1))))) into 0 0.676 * [taylor]: Taking taylor expansion of 0 in b 0.676 * [backup-simplify]: Simplify 0 into 0 0.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.678 * [backup-simplify]: Simplify (- 0) into 0 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (- (pow a 2) (pow b 2)) 0.678 * * * [progress]: simplifying candidates 0.678 * * * * [progress]: [ 1 / 37 ] simplifiying candidate # 0.678 * [simplify]: Simplifying (* (+ a b) (- a b)) 0.678 * * [simplify]: iters left: 4 (5 enodes) 0.679 * * [simplify]: iters left: 3 (19 enodes) 0.682 * * [simplify]: iters left: 2 (36 enodes) 0.688 * * [simplify]: iters left: 1 (81 enodes) 0.701 * * [simplify]: Extracting #0: cost 1 inf + 0 0.701 * * [simplify]: Extracting #1: cost 29 inf + 0 0.701 * * [simplify]: Extracting #2: cost 45 inf + 0 0.701 * * [simplify]: Extracting #3: cost 42 inf + 84 0.702 * * [simplify]: Extracting #4: cost 16 inf + 2732 0.703 * * [simplify]: Extracting #5: cost 1 inf + 4921 0.704 * * [simplify]: Extracting #6: cost 0 inf + 5083 0.705 * [simplify]: Simplified to (* (+ b a) (- a b)) 0.705 * [simplify]: Simplified (2 1) to (λ (a b) (pow (* (+ b a) (- a b)) 1)) 0.705 * * * * [progress]: [ 2 / 37 ] simplifiying candidate # 0.705 * * * * [progress]: [ 3 / 37 ] simplifiying candidate # 0.705 * [simplify]: Simplifying (+ (log (+ a b)) (log (- a b))) 0.705 * * [simplify]: iters left: 5 (7 enodes) 0.707 * * [simplify]: iters left: 4 (25 enodes) 0.713 * * [simplify]: iters left: 3 (28 enodes) 0.720 * * [simplify]: Extracting #0: cost 1 inf + 0 0.721 * * [simplify]: Extracting #1: cost 4 inf + 0 0.721 * * [simplify]: Extracting #2: cost 8 inf + 0 0.721 * * [simplify]: Extracting #3: cost 13 inf + 0 0.721 * * [simplify]: Extracting #4: cost 11 inf + 43 0.721 * * [simplify]: Extracting #5: cost 3 inf + 588 0.722 * * [simplify]: Extracting #6: cost 1 inf + 962 0.722 * * [simplify]: Extracting #7: cost 0 inf + 1224 0.722 * [simplify]: Simplified to (+ (log (+ b a)) (log (- a b))) 0.722 * [simplify]: Simplified (2 1) to (λ (a b) (exp (+ (log (+ b a)) (log (- a b))))) 0.723 * * * * [progress]: [ 4 / 37 ] simplifiying candidate # 0.723 * * * * [progress]: [ 5 / 37 ] simplifiying candidate # 0.723 * * * * [progress]: [ 6 / 37 ] simplifiying candidate # 0.723 * [simplify]: Simplifying (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) 0.723 * * [simplify]: iters left: 6 (9 enodes) 0.728 * * [simplify]: iters left: 5 (49 enodes) 0.753 * * [simplify]: iters left: 4 (179 enodes) 0.858 * * [simplify]: Extracting #0: cost 1 inf + 0 0.858 * * [simplify]: Extracting #1: cost 27 inf + 0 0.858 * * [simplify]: Extracting #2: cost 159 inf + 0 0.859 * * [simplify]: Extracting #3: cost 193 inf + 2399 0.864 * * [simplify]: Extracting #4: cost 64 inf + 23937 0.872 * * [simplify]: Extracting #5: cost 1 inf + 37433 0.887 * * [simplify]: Extracting #6: cost 0 inf + 37675 0.898 * [simplify]: Simplified to (* (* (+ b a) (- a b)) (* (* (+ b a) (- a b)) (* (+ b a) (- a b)))) 0.898 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (* (+ b a) (- a b)) (* (* (+ b a) (- a b)) (* (+ b a) (- a b)))))) 0.898 * * * * [progress]: [ 7 / 37 ] simplifiying candidate # 0.898 * * * * [progress]: [ 8 / 37 ] simplifiying candidate # 0.898 * * * * [progress]: [ 9 / 37 ] simplifiying candidate # 0.898 * * * * [progress]: [ 10 / 37 ] simplifiying candidate # 0.898 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) 0.898 * * [simplify]: iters left: 5 (8 enodes) 0.901 * * [simplify]: iters left: 4 (41 enodes) 0.910 * * [simplify]: iters left: 3 (97 enodes) 0.938 * * [simplify]: iters left: 2 (286 enodes) 1.043 * * [simplify]: Extracting #0: cost 1 inf + 0 1.044 * * [simplify]: Extracting #1: cost 39 inf + 0 1.044 * * [simplify]: Extracting #2: cost 179 inf + 0 1.046 * * [simplify]: Extracting #3: cost 253 inf + 44 1.050 * * [simplify]: Extracting #4: cost 186 inf + 24351 1.067 * * [simplify]: Extracting #5: cost 53 inf + 80063 1.087 * * [simplify]: Extracting #6: cost 6 inf + 92493 1.099 * * [simplify]: Extracting #7: cost 0 inf + 93905 1.118 * [simplify]: Simplified to (* (+ (* a (* a a)) (* (* b b) b)) (- (* a (* a a)) (* (* b b) b))) 1.118 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (+ (* a (* a a)) (* (* b b) b)) (- (* a (* a a)) (* (* b b) b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))) 1.118 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) 1.118 * * [simplify]: iters left: 6 (10 enodes) 1.123 * * [simplify]: iters left: 5 (50 enodes) 1.144 * * [simplify]: iters left: 4 (134 enodes) 1.209 * * [simplify]: iters left: 3 (491 enodes) 1.568 * * [simplify]: Extracting #0: cost 1 inf + 0 1.568 * * [simplify]: Extracting #1: cost 79 inf + 0 1.569 * * [simplify]: Extracting #2: cost 319 inf + 0 1.572 * * [simplify]: Extracting #3: cost 307 inf + 11999 1.591 * * [simplify]: Extracting #4: cost 68 inf + 72106 1.618 * * [simplify]: Extracting #5: cost 0 inf + 88881 1.645 * * [simplify]: Extracting #6: cost 0 inf + 88721 1.686 * [simplify]: Simplified to (* (+ (* a a) (- (* b b) (* a b))) (+ (+ (* b b) (* a b)) (* a a))) 1.686 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ (* a (* a a)) (* (* b b) b)) (- (* a (* a a)) (* (* b b) b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (+ (* b b) (* a b)) (* a a))))) 1.687 * * * * [progress]: [ 11 / 37 ] simplifiying candidate # 1.687 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) 1.687 * * [simplify]: iters left: 6 (10 enodes) 1.690 * * [simplify]: iters left: 5 (48 enodes) 1.701 * * [simplify]: iters left: 4 (102 enodes) 1.738 * * [simplify]: iters left: 3 (288 enodes) 1.895 * * [simplify]: Extracting #0: cost 1 inf + 0 1.895 * * [simplify]: Extracting #1: cost 47 inf + 0 1.895 * * [simplify]: Extracting #2: cost 177 inf + 0 1.896 * * [simplify]: Extracting #3: cost 278 inf + 369 1.899 * * [simplify]: Extracting #4: cost 208 inf + 13178 1.916 * * [simplify]: Extracting #5: cost 50 inf + 51840 1.932 * * [simplify]: Extracting #6: cost 0 inf + 64540 1.944 * [simplify]: Simplified to (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) 1.944 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))) 1.945 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) 1.945 * * [simplify]: iters left: 6 (9 enodes) 1.947 * * [simplify]: iters left: 5 (43 enodes) 1.954 * * [simplify]: iters left: 4 (98 enodes) 1.973 * * [simplify]: iters left: 3 (245 enodes) 2.041 * * [simplify]: Extracting #0: cost 1 inf + 0 2.041 * * [simplify]: Extracting #1: cost 34 inf + 0 2.042 * * [simplify]: Extracting #2: cost 147 inf + 0 2.043 * * [simplify]: Extracting #3: cost 149 inf + 1627 2.051 * * [simplify]: Extracting #4: cost 45 inf + 20384 2.067 * * [simplify]: Extracting #5: cost 0 inf + 30402 2.081 * * [simplify]: Extracting #6: cost 0 inf + 30322 2.095 * [simplify]: Simplified to (* (+ a b) (+ (* a a) (* (- b a) b))) 2.095 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) (* (+ a b) (+ (* a a) (* (- b a) b))))) 2.096 * * * * [progress]: [ 12 / 37 ] simplifiying candidate # 2.096 * [simplify]: Simplifying (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) 2.096 * * [simplify]: iters left: 6 (10 enodes) 2.102 * * [simplify]: iters left: 5 (49 enodes) 2.122 * * [simplify]: iters left: 4 (114 enodes) 2.174 * * [simplify]: iters left: 3 (348 enodes) 2.417 * * [simplify]: Extracting #0: cost 1 inf + 0 2.417 * * [simplify]: Extracting #1: cost 64 inf + 0 2.419 * * [simplify]: Extracting #2: cost 288 inf + 0 2.424 * * [simplify]: Extracting #3: cost 406 inf + 7121 2.440 * * [simplify]: Extracting #4: cost 236 inf + 40578 2.454 * * [simplify]: Extracting #5: cost 145 inf + 66481 2.472 * * [simplify]: Extracting #6: cost 25 inf + 123604 2.499 * * [simplify]: Extracting #7: cost 0 inf + 137719 2.537 * [simplify]: Simplified to (* (- (* a a) (* b b)) (- (* a (* a a)) (* b (* b b)))) 2.537 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a (* a a)) (* b (* b b)))) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))) 2.538 * [simplify]: Simplifying (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) 2.538 * * [simplify]: iters left: 6 (9 enodes) 2.542 * * [simplify]: iters left: 5 (43 enodes) 2.555 * * [simplify]: iters left: 4 (107 enodes) 2.600 * * [simplify]: iters left: 3 (317 enodes) 2.736 * * [simplify]: Extracting #0: cost 1 inf + 0 2.737 * * [simplify]: Extracting #1: cost 50 inf + 0 2.737 * * [simplify]: Extracting #2: cost 149 inf + 0 2.739 * * [simplify]: Extracting #3: cost 146 inf + 2075 2.749 * * [simplify]: Extracting #4: cost 46 inf + 22466 2.764 * * [simplify]: Extracting #5: cost 1 inf + 32365 2.773 * * [simplify]: Extracting #6: cost 0 inf + 31967 2.780 * [simplify]: Simplified to (* (+ (* a a) (* (+ b a) b)) (- a b)) 2.780 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a (* a a)) (* b (* b b)))) (* (+ (* a a) (* (+ b a) b)) (- a b)))) 2.781 * * * * [progress]: [ 13 / 37 ] simplifiying candidate # 2.781 * [simplify]: Simplifying (* (- (* a a) (* b b)) (- (* a a) (* b b))) 2.781 * * [simplify]: iters left: 6 (6 enodes) 2.782 * * [simplify]: iters left: 5 (23 enodes) 2.788 * * [simplify]: iters left: 4 (49 enodes) 2.800 * * [simplify]: iters left: 3 (161 enodes) 2.893 * * [simplify]: Extracting #0: cost 1 inf + 0 2.894 * * [simplify]: Extracting #1: cost 43 inf + 0 2.894 * * [simplify]: Extracting #2: cost 161 inf + 0 2.896 * * [simplify]: Extracting #3: cost 180 inf + 1588 2.904 * * [simplify]: Extracting #4: cost 63 inf + 19808 2.919 * * [simplify]: Extracting #5: cost 0 inf + 30333 2.934 * * [simplify]: Extracting #6: cost 0 inf + 30253 2.946 * [simplify]: Simplified to (* (- (* a a) (* b b)) (- (* a a) (* b b))) 2.946 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (+ a b)))) 2.946 * [simplify]: Simplifying (* (- a b) (+ a b)) 2.946 * * [simplify]: iters left: 4 (5 enodes) 2.948 * * [simplify]: iters left: 3 (25 enodes) 2.952 * * [simplify]: iters left: 2 (55 enodes) 2.962 * * [simplify]: iters left: 1 (107 enodes) 2.983 * * [simplify]: Extracting #0: cost 1 inf + 0 2.983 * * [simplify]: Extracting #1: cost 20 inf + 0 2.983 * * [simplify]: Extracting #2: cost 45 inf + 0 2.983 * * [simplify]: Extracting #3: cost 42 inf + 84 2.984 * * [simplify]: Extracting #4: cost 14 inf + 2655 2.985 * * [simplify]: Extracting #5: cost 1 inf + 4319 2.986 * * [simplify]: Extracting #6: cost 0 inf + 4441 2.987 * [simplify]: Simplified to (* (- a b) (+ b a)) 2.987 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (+ b a)))) 2.987 * * * * [progress]: [ 14 / 37 ] simplifiying candidate # 2.987 * * * * [progress]: [ 15 / 37 ] simplifiying candidate # 2.987 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (- a b))) 2.987 * * [simplify]: iters left: 5 (7 enodes) 2.989 * * [simplify]: iters left: 4 (25 enodes) 2.992 * * [simplify]: iters left: 3 (28 enodes) 2.995 * * [simplify]: Extracting #0: cost 1 inf + 0 2.996 * * [simplify]: Extracting #1: cost 4 inf + 0 2.996 * * [simplify]: Extracting #2: cost 8 inf + 0 2.996 * * [simplify]: Extracting #3: cost 13 inf + 0 2.996 * * [simplify]: Extracting #4: cost 11 inf + 43 2.996 * * [simplify]: Extracting #5: cost 3 inf + 498 2.996 * * [simplify]: Extracting #6: cost 1 inf + 782 2.996 * * [simplify]: Extracting #7: cost 0 inf + 984 2.996 * [simplify]: Simplified to (* (sqrt (+ b a)) (sqrt (- a b))) 2.996 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (sqrt (+ b a)) (sqrt (- a b))) (* (sqrt (+ a b)) (sqrt (- a b))))) 2.997 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (- a b))) 2.997 * * [simplify]: iters left: 5 (7 enodes) 2.998 * * [simplify]: iters left: 4 (25 enodes) 3.001 * * [simplify]: iters left: 3 (28 enodes) 3.006 * * [simplify]: Extracting #0: cost 1 inf + 0 3.006 * * [simplify]: Extracting #1: cost 4 inf + 0 3.006 * * [simplify]: Extracting #2: cost 8 inf + 0 3.006 * * [simplify]: Extracting #3: cost 13 inf + 0 3.006 * * [simplify]: Extracting #4: cost 11 inf + 43 3.007 * * [simplify]: Extracting #5: cost 3 inf + 498 3.007 * * [simplify]: Extracting #6: cost 1 inf + 782 3.007 * * [simplify]: Extracting #7: cost 0 inf + 984 3.008 * [simplify]: Simplified to (* (sqrt (+ b a)) (sqrt (- a b))) 3.008 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (sqrt (+ a b)) (sqrt (- a b))) (* (sqrt (+ b a)) (sqrt (- a b))))) 3.008 * * * * [progress]: [ 16 / 37 ] simplifiying candidate # 3.008 * [simplify]: Simplifying (* (+ a b) (- b)) 3.008 * * [simplify]: iters left: 4 (5 enodes) 3.010 * * [simplify]: iters left: 3 (19 enodes) 3.015 * * [simplify]: iters left: 2 (33 enodes) 3.024 * * [simplify]: iters left: 1 (55 enodes) 3.037 * * [simplify]: Extracting #0: cost 1 inf + 0 3.037 * * [simplify]: Extracting #1: cost 11 inf + 0 3.038 * * [simplify]: Extracting #2: cost 17 inf + 164 3.038 * * [simplify]: Extracting #3: cost 14 inf + 328 3.038 * * [simplify]: Extracting #4: cost 2 inf + 1150 3.039 * * [simplify]: Extracting #5: cost 0 inf + 1314 3.040 * [simplify]: Simplified to (* (+ b a) (- b)) 3.040 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ b a) (- b)))) 3.040 * * * * [progress]: [ 17 / 37 ] simplifiying candidate # 3.040 * [simplify]: Simplifying (* (+ a b) (- b)) 3.040 * * [simplify]: iters left: 4 (5 enodes) 3.042 * * [simplify]: iters left: 3 (19 enodes) 3.047 * * [simplify]: iters left: 2 (33 enodes) 3.056 * * [simplify]: iters left: 1 (55 enodes) 3.064 * * [simplify]: Extracting #0: cost 1 inf + 0 3.064 * * [simplify]: Extracting #1: cost 11 inf + 0 3.064 * * [simplify]: Extracting #2: cost 17 inf + 164 3.064 * * [simplify]: Extracting #3: cost 14 inf + 328 3.064 * * [simplify]: Extracting #4: cost 2 inf + 1150 3.065 * * [simplify]: Extracting #5: cost 0 inf + 1314 3.065 * [simplify]: Simplified to (* (+ b a) (- b)) 3.065 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ b a) (- b)))) 3.065 * * * * [progress]: [ 18 / 37 ] simplifiying candidate # 3.065 * [simplify]: Simplifying (* (- b) (+ a b)) 3.065 * * [simplify]: iters left: 4 (5 enodes) 3.067 * * [simplify]: iters left: 3 (25 enodes) 3.071 * * [simplify]: iters left: 2 (49 enodes) 3.077 * * [simplify]: iters left: 1 (66 enodes) 3.085 * * [simplify]: Extracting #0: cost 1 inf + 0 3.085 * * [simplify]: Extracting #1: cost 11 inf + 0 3.085 * * [simplify]: Extracting #2: cost 20 inf + 1 3.085 * * [simplify]: Extracting #3: cost 10 inf + 497 3.085 * * [simplify]: Extracting #4: cost 1 inf + 1192 3.086 * * [simplify]: Extracting #5: cost 0 inf + 1314 3.086 * [simplify]: Simplified to (* (+ b a) (- b)) 3.086 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* (+ b a) (- b)))) 3.086 * * * * [progress]: [ 19 / 37 ] simplifiying candidate # 3.086 * [simplify]: Simplifying (* (- b) (+ a b)) 3.086 * * [simplify]: iters left: 4 (5 enodes) 3.089 * * [simplify]: iters left: 3 (25 enodes) 3.097 * * [simplify]: iters left: 2 (49 enodes) 3.110 * * [simplify]: iters left: 1 (66 enodes) 3.126 * * [simplify]: Extracting #0: cost 1 inf + 0 3.126 * * [simplify]: Extracting #1: cost 11 inf + 0 3.126 * * [simplify]: Extracting #2: cost 20 inf + 1 3.126 * * [simplify]: Extracting #3: cost 10 inf + 497 3.127 * * [simplify]: Extracting #4: cost 1 inf + 1192 3.128 * * [simplify]: Extracting #5: cost 0 inf + 1314 3.129 * [simplify]: Simplified to (* (+ b a) (- b)) 3.129 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* (+ b a) (- b)))) 3.129 * * * * [progress]: [ 20 / 37 ] simplifiying candidate # 3.129 * [simplify]: Simplifying (cbrt (- a b)) 3.129 * * [simplify]: iters left: 3 (4 enodes) 3.131 * * [simplify]: iters left: 2 (14 enodes) 3.135 * * [simplify]: iters left: 1 (17 enodes) 3.139 * * [simplify]: Extracting #0: cost 1 inf + 0 3.139 * * [simplify]: Extracting #1: cost 3 inf + 0 3.139 * * [simplify]: Extracting #2: cost 7 inf + 0 3.139 * * [simplify]: Extracting #3: cost 5 inf + 43 3.139 * * [simplify]: Extracting #4: cost 0 inf + 412 3.140 * [simplify]: Simplified to (cbrt (- a b)) 3.140 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) (* (cbrt (- a b)) (cbrt (- a b)))) (cbrt (- a b)))) 3.140 * * * * [progress]: [ 21 / 37 ] simplifiying candidate # 3.140 * [simplify]: Simplifying (sqrt (- a b)) 3.140 * * [simplify]: iters left: 3 (4 enodes) 3.142 * * [simplify]: iters left: 2 (14 enodes) 3.146 * * [simplify]: iters left: 1 (17 enodes) 3.151 * * [simplify]: Extracting #0: cost 1 inf + 0 3.151 * * [simplify]: Extracting #1: cost 3 inf + 0 3.151 * * [simplify]: Extracting #2: cost 7 inf + 0 3.151 * * [simplify]: Extracting #3: cost 5 inf + 43 3.151 * * [simplify]: Extracting #4: cost 0 inf + 332 3.151 * [simplify]: Simplified to (sqrt (- a b)) 3.151 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) (sqrt (- a b))) (sqrt (- a b)))) 3.151 * * * * [progress]: [ 22 / 37 ] simplifiying candidate # 3.152 * [simplify]: Simplifying (- a b) 3.152 * * [simplify]: iters left: 2 (3 enodes) 3.153 * * [simplify]: iters left: 1 (11 enodes) 3.156 * * [simplify]: Extracting #0: cost 1 inf + 0 3.156 * * [simplify]: Extracting #1: cost 5 inf + 0 3.156 * * [simplify]: Extracting #2: cost 3 inf + 43 3.156 * * [simplify]: Extracting #3: cost 0 inf + 168 3.156 * [simplify]: Simplified to (- a b) 3.157 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) 1) (- a b))) 3.157 * * * * [progress]: [ 23 / 37 ] simplifiying candidate # 3.157 * [simplify]: Simplifying (- (sqrt a) (sqrt b)) 3.157 * * [simplify]: iters left: 3 (5 enodes) 3.159 * * [simplify]: iters left: 2 (17 enodes) 3.163 * * [simplify]: iters left: 1 (20 enodes) 3.166 * * [simplify]: Extracting #0: cost 1 inf + 0 3.166 * * [simplify]: Extracting #1: cost 5 inf + 0 3.166 * * [simplify]: Extracting #2: cost 10 inf + 0 3.166 * * [simplify]: Extracting #3: cost 8 inf + 2 3.166 * * [simplify]: Extracting #4: cost 1 inf + 491 3.166 * * [simplify]: Extracting #5: cost 0 inf + 572 3.166 * [simplify]: Simplified to (- (sqrt a) (sqrt b)) 3.166 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) (+ (sqrt a) (sqrt b))) (- (sqrt a) (sqrt b)))) 3.166 * * * * [progress]: [ 24 / 37 ] simplifiying candidate # 3.166 * [simplify]: Simplifying (- a b) 3.166 * * [simplify]: iters left: 2 (3 enodes) 3.167 * * [simplify]: iters left: 1 (11 enodes) 3.168 * * [simplify]: Extracting #0: cost 1 inf + 0 3.169 * * [simplify]: Extracting #1: cost 5 inf + 0 3.169 * * [simplify]: Extracting #2: cost 3 inf + 43 3.169 * * [simplify]: Extracting #3: cost 0 inf + 168 3.169 * [simplify]: Simplified to (- a b) 3.169 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) 1) (- a b))) 3.169 * * * * [progress]: [ 25 / 37 ] simplifiying candidate # 3.169 * [simplify]: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b))) 3.169 * * [simplify]: iters left: 5 (5 enodes) 3.170 * * [simplify]: iters left: 4 (16 enodes) 3.172 * * [simplify]: Extracting #0: cost 1 inf + 0 3.172 * * [simplify]: Extracting #1: cost 3 inf + 0 3.172 * * [simplify]: Extracting #2: cost 5 inf + 0 3.172 * * [simplify]: Extracting #3: cost 8 inf + 0 3.172 * * [simplify]: Extracting #4: cost 6 inf + 2 3.172 * * [simplify]: Extracting #5: cost 0 inf + 654 3.172 * [simplify]: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a))) 3.172 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (+ b a)) (cbrt (+ b a))) (* (cbrt (+ a b)) (- a b)))) 3.173 * * * * [progress]: [ 26 / 37 ] simplifiying candidate # 3.173 * [simplify]: Simplifying (sqrt (+ a b)) 3.173 * * [simplify]: iters left: 3 (4 enodes) 3.174 * * [simplify]: iters left: 2 (13 enodes) 3.175 * * [simplify]: Extracting #0: cost 1 inf + 0 3.175 * * [simplify]: Extracting #1: cost 3 inf + 0 3.175 * * [simplify]: Extracting #2: cost 6 inf + 0 3.175 * * [simplify]: Extracting #3: cost 4 inf + 2 3.175 * * [simplify]: Extracting #4: cost 0 inf + 250 3.175 * [simplify]: Simplified to (sqrt (+ b a)) 3.175 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (+ b a)) (* (sqrt (+ a b)) (- a b)))) 3.175 * * * * [progress]: [ 27 / 37 ] simplifiying candidate # 3.175 * * * * [progress]: [ 28 / 37 ] simplifiying candidate # 3.176 * * * * [progress]: [ 29 / 37 ] simplifiying candidate # 3.176 * [simplify]: Simplifying (+ (* a a) (+ (* b b) (* a b))) 3.176 * * [simplify]: iters left: 6 (7 enodes) 3.177 * * [simplify]: iters left: 5 (28 enodes) 3.181 * * [simplify]: iters left: 4 (41 enodes) 3.187 * * [simplify]: iters left: 3 (44 enodes) 3.192 * * [simplify]: iters left: 2 (45 enodes) 3.201 * * [simplify]: Extracting #0: cost 1 inf + 0 3.201 * * [simplify]: Extracting #1: cost 8 inf + 0 3.201 * * [simplify]: Extracting #2: cost 17 inf + 0 3.201 * * [simplify]: Extracting #3: cost 14 inf + 84 3.201 * * [simplify]: Extracting #4: cost 7 inf + 576 3.202 * * [simplify]: Extracting #5: cost 1 inf + 1108 3.202 * * [simplify]: Extracting #6: cost 0 inf + 1230 3.203 * [simplify]: Simplified to (+ (* (+ a b) a) (* b b)) 3.203 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (- (pow a 3) (pow b 3))) (+ (* (+ a b) a) (* b b)))) 3.203 * * * * [progress]: [ 30 / 37 ] simplifiying candidate # 3.203 * [simplify]: Simplifying (+ a b) 3.203 * * [simplify]: iters left: 2 (3 enodes) 3.205 * * [simplify]: iters left: 1 (10 enodes) 3.207 * * [simplify]: Extracting #0: cost 1 inf + 0 3.207 * * [simplify]: Extracting #1: cost 4 inf + 0 3.207 * * [simplify]: Extracting #2: cost 2 inf + 2 3.207 * * [simplify]: Extracting #3: cost 0 inf + 86 3.208 * [simplify]: Simplified to (+ b a) 3.208 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (+ b a))) 3.208 * * * * [progress]: [ 31 / 37 ] simplifiying candidate # 3.208 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (- a b)) 3.208 * * [simplify]: iters left: 5 (8 enodes) 3.214 * * [simplify]: iters left: 4 (41 enodes) 3.231 * * [simplify]: iters left: 3 (85 enodes) 3.271 * * [simplify]: iters left: 2 (204 enodes) 3.330 * * [simplify]: iters left: 1 (497 enodes) 3.537 * * [simplify]: Extracting #0: cost 1 inf + 0 3.537 * * [simplify]: Extracting #1: cost 37 inf + 0 3.538 * * [simplify]: Extracting #2: cost 182 inf + 0 3.540 * * [simplify]: Extracting #3: cost 270 inf + 503 3.545 * * [simplify]: Extracting #4: cost 210 inf + 14380 3.560 * * [simplify]: Extracting #5: cost 91 inf + 48721 3.581 * * [simplify]: Extracting #6: cost 13 inf + 82426 3.603 * * [simplify]: Extracting #7: cost 0 inf + 87896 3.625 * [simplify]: Simplified to (* (+ (* a (* a a)) (* (* b b) b)) (- a b)) 3.625 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (+ (* a (* a a)) (* (* b b) b)) (- a b)) (+ (* a a) (- (* b b) (* a b))))) 3.625 * * * * [progress]: [ 32 / 37 ] simplifiying candidate # 3.625 * [simplify]: Simplifying (* (- (* a a) (* b b)) (- a b)) 3.625 * * [simplify]: iters left: 6 (7 enodes) 3.629 * * [simplify]: iters left: 5 (28 enodes) 3.637 * * [simplify]: iters left: 4 (61 enodes) 3.668 * * [simplify]: iters left: 3 (202 enodes) 3.777 * * [simplify]: Extracting #0: cost 1 inf + 0 3.777 * * [simplify]: Extracting #1: cost 49 inf + 0 3.778 * * [simplify]: Extracting #2: cost 128 inf + 0 3.779 * * [simplify]: Extracting #3: cost 123 inf + 1389 3.785 * * [simplify]: Extracting #4: cost 34 inf + 14595 3.795 * * [simplify]: Extracting #5: cost 0 inf + 21062 3.806 * [simplify]: Simplified to (* (+ a b) (* (- a b) (- a b))) 3.806 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (+ a b) (* (- a b) (- a b))) (- a b))) 3.806 * * * * [progress]: [ 33 / 37 ] simplifiying candidate #real (real->posit16 (* (+ a b) (- a b)))))> 3.806 * * * * [progress]: [ 34 / 37 ] simplifiying candidate # 3.807 * * * * [progress]: [ 35 / 37 ] simplifiying candidate # 3.807 * [simplify]: Simplifying (- (pow a 2) (pow b 2)) 3.807 * * [simplify]: iters left: 3 (6 enodes) 3.811 * * [simplify]: iters left: 2 (28 enodes) 3.820 * * [simplify]: iters left: 1 (41 enodes) 3.832 * * [simplify]: Extracting #0: cost 1 inf + 0 3.832 * * [simplify]: Extracting #1: cost 7 inf + 0 3.832 * * [simplify]: Extracting #2: cost 16 inf + 0 3.832 * * [simplify]: Extracting #3: cost 14 inf + 3 3.832 * * [simplify]: Extracting #4: cost 6 inf + 454 3.833 * * [simplify]: Extracting #5: cost 0 inf + 823 3.833 * [simplify]: Simplified to (- (* a a) (* b b)) 3.833 * [simplify]: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 3.833 * * * * [progress]: [ 36 / 37 ] simplifiying candidate # 3.834 * [simplify]: Simplifying (- (pow a 2) (pow b 2)) 3.834 * * [simplify]: iters left: 3 (6 enodes) 3.838 * * [simplify]: iters left: 2 (28 enodes) 3.846 * * [simplify]: iters left: 1 (41 enodes) 3.858 * * [simplify]: Extracting #0: cost 1 inf + 0 3.858 * * [simplify]: Extracting #1: cost 7 inf + 0 3.859 * * [simplify]: Extracting #2: cost 16 inf + 0 3.859 * * [simplify]: Extracting #3: cost 14 inf + 3 3.859 * * [simplify]: Extracting #4: cost 6 inf + 454 3.859 * * [simplify]: Extracting #5: cost 0 inf + 823 3.860 * [simplify]: Simplified to (- (* a a) (* b b)) 3.860 * [simplify]: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 3.860 * * * * [progress]: [ 37 / 37 ] simplifiying candidate # 3.860 * [simplify]: Simplifying (- (pow a 2) (pow b 2)) 3.860 * * [simplify]: iters left: 3 (6 enodes) 3.864 * * [simplify]: iters left: 2 (28 enodes) 3.873 * * [simplify]: iters left: 1 (41 enodes) 3.885 * * [simplify]: Extracting #0: cost 1 inf + 0 3.885 * * [simplify]: Extracting #1: cost 7 inf + 0 3.885 * * [simplify]: Extracting #2: cost 16 inf + 0 3.885 * * [simplify]: Extracting #3: cost 14 inf + 3 3.885 * * [simplify]: Extracting #4: cost 6 inf + 454 3.885 * * [simplify]: Extracting #5: cost 0 inf + 823 3.886 * [simplify]: Simplified to (- (* a a) (* b b)) 3.886 * [simplify]: Simplified (2) to (λ (a b) (- (* a a) (* b b))) 3.886 * * * [progress]: adding candidates to table 4.217 * [progress]: [Phase 3 of 3] Extracting. 4.218 * * [regime]: Finding splitpoints for: (# #) 4.218 * * * [regime-changes]: Trying 5 branch expressions: (b (* b b) a (* a a) (- (* a a) (* b b))) 4.218 * * * * [regimes]: Trying to branch on b from (# #) 4.239 * * * * [regimes]: Trying to branch on (* b b) from (# #) 4.272 * * * * [regimes]: Trying to branch on a from (# #) 4.311 * * * * [regimes]: Trying to branch on (* a a) from (# #) 4.331 * * * * [regimes]: Trying to branch on (- (* a a) (* b b)) from (# #) 4.360 * * * [regime]: Found split indices: #