0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.040 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.040 * [simplify]: Simplifying (* (+ a b) (+ a b))
0.040 * * [simplify]: iters left: 4 (4 enodes)
0.042 * * [simplify]: iters left: 3 (19 enodes)
0.049 * * [simplify]: iters left: 2 (41 enodes)
0.062 * * [simplify]: iters left: 1 (77 enodes)
0.084 * * [simplify]: Extracting #0: cost 1 inf + 0
0.084 * * [simplify]: Extracting #1: cost 11 inf + 0
0.085 * * [simplify]: Extracting #2: cost 29 inf + 0
0.085 * * [simplify]: Extracting #3: cost 24 inf + 127
0.086 * * [simplify]: Extracting #4: cost 4 inf + 1844
0.087 * * [simplify]: Extracting #5: cost 0 inf + 2332
0.088 * * [simplify]: Extracting #6: cost 0 inf + 2292
0.089 * [simplify]: Simplified to (* (+ b a) (+ b a))
0.089 * [simplify]: Simplified (2) to (λ (a b) (* (+ b a) (+ b a)))
0.099 * * [progress]: iteration 1 / 4
0.099 * * * [progress]: picking best candidate
0.103 * * * * [pick]: Picked  #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.103 * * * [progress]: localizing error
0.115 * * * [progress]: generating rewritten candidates
0.115 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.160 * * * [progress]: generating series expansions
0.160 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.161 * [backup-simplify]: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2)
0.161 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0
0.161 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b
0.161 * [taylor]: Taking taylor expansion of (+ a b) in b
0.161 * [taylor]: Taking taylor expansion of a in b
0.161 * [backup-simplify]: Simplify a into a
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.161 * [backup-simplify]: Simplify (+ a 0) into a
0.161 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.161 * [taylor]: Taking taylor expansion of (+ a b) in a
0.161 * [taylor]: Taking taylor expansion of a in a
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify 1 into 1
0.161 * [taylor]: Taking taylor expansion of b in a
0.161 * [backup-simplify]: Simplify b into b
0.161 * [backup-simplify]: Simplify (+ 0 b) into b
0.161 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.161 * [taylor]: Taking taylor expansion of (+ a b) in a
0.161 * [taylor]: Taking taylor expansion of a in a
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify 1 into 1
0.161 * [taylor]: Taking taylor expansion of b in a
0.161 * [backup-simplify]: Simplify b into b
0.161 * [backup-simplify]: Simplify (+ 0 b) into b
0.161 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.161 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.161 * [taylor]: Taking taylor expansion of b in b
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify 1 into 1
0.162 * [backup-simplify]: Simplify (+ 1 0) into 1
0.162 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b)
0.162 * [taylor]: Taking taylor expansion of (* 2 b) in b
0.162 * [taylor]: Taking taylor expansion of 2 in b
0.162 * [backup-simplify]: Simplify 2 into 2
0.162 * [taylor]: Taking taylor expansion of b in b
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify 1 into 1
0.163 * [backup-simplify]: Simplify (* 2 0) into 0
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify (+ 0 0) into 0
0.164 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1
0.164 * [taylor]: Taking taylor expansion of 1 in b
0.164 * [backup-simplify]: Simplify 1 into 1
0.164 * [backup-simplify]: Simplify 1 into 1
0.165 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.165 * [backup-simplify]: Simplify 2 into 2
0.165 * [backup-simplify]: Simplify (* 1 1) into 1
0.165 * [backup-simplify]: Simplify 1 into 1
0.166 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
0.166 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.166 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.166 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.166 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.166 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.166 * [taylor]: Taking taylor expansion of a in b
0.166 * [backup-simplify]: Simplify a into a
0.166 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.166 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.166 * [taylor]: Taking taylor expansion of b in b
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.167 * [backup-simplify]: Simplify (/ 1 1) into 1
0.167 * [backup-simplify]: Simplify (+ 0 1) into 1
0.167 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.167 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.167 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.167 * [taylor]: Taking taylor expansion of a in a
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify (/ 1 1) into 1
0.168 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.168 * [taylor]: Taking taylor expansion of b in a
0.168 * [backup-simplify]: Simplify b into b
0.168 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.168 * [backup-simplify]: Simplify (+ 1 0) into 1
0.168 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.168 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.169 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.169 * [taylor]: Taking taylor expansion of a in a
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify 1 into 1
0.169 * [backup-simplify]: Simplify (/ 1 1) into 1
0.169 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.169 * [taylor]: Taking taylor expansion of b in a
0.169 * [backup-simplify]: Simplify b into b
0.169 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.170 * [backup-simplify]: Simplify (+ 1 0) into 1
0.170 * [backup-simplify]: Simplify (* 1 1) into 1
0.170 * [taylor]: Taking taylor expansion of 1 in b
0.170 * [backup-simplify]: Simplify 1 into 1
0.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.171 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.171 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.171 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.171 * [taylor]: Taking taylor expansion of 2 in b
0.171 * [backup-simplify]: Simplify 2 into 2
0.171 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.171 * [taylor]: Taking taylor expansion of b in b
0.171 * [backup-simplify]: Simplify 0 into 0
0.171 * [backup-simplify]: Simplify 1 into 1
0.172 * [backup-simplify]: Simplify (/ 1 1) into 1
0.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.173 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.173 * [backup-simplify]: Simplify (+ 0 0) into 0
0.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.174 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.174 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.174 * [taylor]: Taking taylor expansion of b in b
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify 1 into 1
0.175 * [backup-simplify]: Simplify (* 1 1) into 1
0.175 * [backup-simplify]: Simplify (/ 1 1) into 1
0.175 * [backup-simplify]: Simplify 1 into 1
0.176 * [backup-simplify]: Simplify (* 2 1) into 2
0.176 * [backup-simplify]: Simplify 2 into 2
0.176 * [backup-simplify]: Simplify 1 into 1
0.176 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
0.177 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.177 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.177 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.177 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.177 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.177 * [taylor]: Taking taylor expansion of a in b
0.177 * [backup-simplify]: Simplify a into a
0.177 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.177 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.177 * [taylor]: Taking taylor expansion of b in b
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 1 into 1
0.177 * [backup-simplify]: Simplify (/ 1 1) into 1
0.178 * [backup-simplify]: Simplify (+ 0 1) into 1
0.178 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.178 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.178 * [taylor]: Taking taylor expansion of a in a
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (/ 1 1) into 1
0.178 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.178 * [taylor]: Taking taylor expansion of b in a
0.178 * [backup-simplify]: Simplify b into b
0.178 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.179 * [backup-simplify]: Simplify (+ 1 0) into 1
0.179 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.179 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.179 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.179 * [taylor]: Taking taylor expansion of a in a
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 1 into 1
0.179 * [backup-simplify]: Simplify (/ 1 1) into 1
0.179 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.179 * [taylor]: Taking taylor expansion of b in a
0.179 * [backup-simplify]: Simplify b into b
0.180 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.180 * [backup-simplify]: Simplify (+ 1 0) into 1
0.180 * [backup-simplify]: Simplify (* 1 1) into 1
0.180 * [taylor]: Taking taylor expansion of 1 in b
0.180 * [backup-simplify]: Simplify 1 into 1
0.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.181 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.181 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.181 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.181 * [taylor]: Taking taylor expansion of 2 in b
0.181 * [backup-simplify]: Simplify 2 into 2
0.182 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.182 * [taylor]: Taking taylor expansion of b in b
0.182 * [backup-simplify]: Simplify 0 into 0
0.182 * [backup-simplify]: Simplify 1 into 1
0.182 * [backup-simplify]: Simplify (/ 1 1) into 1
0.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.183 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.183 * [backup-simplify]: Simplify (+ 0 0) into 0
0.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.184 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.184 * [taylor]: Taking taylor expansion of b in b
0.184 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify 1 into 1
0.185 * [backup-simplify]: Simplify (* 1 1) into 1
0.185 * [backup-simplify]: Simplify (/ 1 1) into 1
0.185 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (* 2 1) into 2
0.186 * [backup-simplify]: Simplify 2 into 2
0.186 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
0.186 * * * [progress]: simplifying candidates
0.187 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.187 * [simplify]: Simplifying (+ a b)
0.187 * * [simplify]: iters left: 2 (3 enodes)
0.188 * * [simplify]: iters left: 1 (10 enodes)
0.191 * * [simplify]: Extracting #0: cost 1 inf + 0
0.191 * * [simplify]: Extracting #1: cost 4 inf + 0
0.191 * * [simplify]: Extracting #2: cost 2 inf + 2
0.191 * * [simplify]: Extracting #3: cost 0 inf + 86
0.191 * [simplify]: Simplified to (+ b a)
0.191 * [simplify]: Simplified (2 1) to (λ (a b) (pow (+ b a) (+ 1 1)))
0.191 * [simplify]: Simplifying (+ 1 1)
0.191 * * [simplify]: iters left: 2 (2 enodes)
0.194 * * [simplify]: iters left: 1 (9 enodes)
0.196 * * [simplify]: Extracting #0: cost 1 inf + 0
0.196 * * [simplify]: Extracting #1: cost 0 inf + 1
0.196 * [simplify]: Simplified to 2
0.196 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2))
0.196 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.196 * [simplify]: Simplifying (* (+ a b) (+ a b))
0.196 * * [simplify]: iters left: 4 (4 enodes)
0.198 * * [simplify]: iters left: 3 (19 enodes)
0.201 * * [simplify]: iters left: 2 (41 enodes)
0.208 * * [simplify]: iters left: 1 (77 enodes)
0.221 * * [simplify]: Extracting #0: cost 1 inf + 0
0.221 * * [simplify]: Extracting #1: cost 11 inf + 0
0.222 * * [simplify]: Extracting #2: cost 29 inf + 0
0.222 * * [simplify]: Extracting #3: cost 24 inf + 127
0.222 * * [simplify]: Extracting #4: cost 4 inf + 1844
0.223 * * [simplify]: Extracting #5: cost 0 inf + 2332
0.223 * * [simplify]: Extracting #6: cost 0 inf + 2292
0.224 * [simplify]: Simplified to (* (+ b a) (+ b a))
0.224 * [simplify]: Simplified (2 1) to (λ (a b) (pow (* (+ b a) (+ b a)) 1))
0.224 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) 2))>
0.224 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.224 * [simplify]: Simplifying (+ a b)
0.224 * * [simplify]: iters left: 2 (3 enodes)
0.225 * * [simplify]: iters left: 1 (10 enodes)
0.226 * * [simplify]: Extracting #0: cost 1 inf + 0
0.226 * * [simplify]: Extracting #1: cost 4 inf + 0
0.226 * * [simplify]: Extracting #2: cost 2 inf + 2
0.226 * * [simplify]: Extracting #3: cost 0 inf + 86
0.226 * [simplify]: Simplified to (+ b a)
0.226 * [simplify]: Simplified (2 1) to (λ (a b) (pow (+ b a) (+ 1 1)))
0.227 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.227 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (a b) (exp (+ (log (+ a b)) (log (+ a b)))))>
0.227 * [simplify]: Simplifying (+ (log (+ a b)) (log (+ a b)))
0.227 * * [simplify]: iters left: 5 (5 enodes)
0.228 * * [simplify]: iters left: 4 (16 enodes)
0.230 * * [simplify]: Extracting #0: cost 1 inf + 0
0.230 * * [simplify]: Extracting #1: cost 3 inf + 0
0.230 * * [simplify]: Extracting #2: cost 5 inf + 0
0.230 * * [simplify]: Extracting #3: cost 8 inf + 0
0.230 * * [simplify]: Extracting #4: cost 6 inf + 2
0.231 * * [simplify]: Extracting #5: cost 0 inf + 614
0.231 * [simplify]: Simplified to (+ (log (+ b a)) (log (+ b a)))
0.231 * [simplify]: Simplified (2 1) to (λ (a b) (exp (+ (log (+ b a)) (log (+ b a)))))
0.231 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (a b) (exp (log (* (+ a b) (+ a b)))))>
0.231 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (a b) (log (exp (* (+ a b) (+ a b)))))>
0.231 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b)))))>
0.231 * [simplify]: Simplifying (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b)))
0.231 * * [simplify]: iters left: 6 (6 enodes)
0.233 * * [simplify]: iters left: 5 (38 enodes)
0.245 * * [simplify]: iters left: 4 (186 enodes)
0.361 * * [simplify]: Extracting #0: cost 1 inf + 0
0.361 * * [simplify]: Extracting #1: cost 20 inf + 0
0.362 * * [simplify]: Extracting #2: cost 154 inf + 2
0.363 * * [simplify]: Extracting #3: cost 243 inf + 2399
0.368 * * [simplify]: Extracting #4: cost 86 inf + 28517
0.385 * * [simplify]: Extracting #5: cost 0 inf + 43809
0.396 * [simplify]: Simplified to (* (* (+ b a) (* (+ b a) (+ b a))) (* (+ b a) (* (+ b a) (+ b a))))
0.396 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (* (+ b a) (* (+ b a) (+ b a))) (* (+ b a) (* (+ b a) (+ b a))))))
0.397 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b)))))>
0.397 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b)))))>
0.397 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b)))))>
0.397 * * * * [progress]: [ 13 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))))>
0.397 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3)))
0.397 * * [simplify]: iters left: 5 (7 enodes)
0.400 * * [simplify]: iters left: 4 (41 enodes)
0.411 * * [simplify]: iters left: 3 (114 enodes)
0.464 * * [simplify]: iters left: 2 (330 enodes)
0.648 * * [simplify]: Extracting #0: cost 1 inf + 0
0.648 * * [simplify]: Extracting #1: cost 11 inf + 0
0.648 * * [simplify]: Extracting #2: cost 88 inf + 0
0.649 * * [simplify]: Extracting #3: cost 180 inf + 45
0.653 * * [simplify]: Extracting #4: cost 119 inf + 17276
0.666 * * [simplify]: Extracting #5: cost 15 inf + 54302
0.683 * * [simplify]: Extracting #6: cost 0 inf + 57355
0.700 * * [simplify]: Extracting #7: cost 0 inf + 56973
0.720 * [simplify]: Simplified to (* (+ (* (* a a) a) (* b (* b b))) (+ (* (* a a) a) (* b (* b b))))
0.720 * [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))))))
0.721 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))
0.721 * * [simplify]: iters left: 6 (8 enodes)
0.725 * * [simplify]: iters left: 5 (38 enodes)
0.734 * * [simplify]: iters left: 4 (95 enodes)
0.761 * * [simplify]: iters left: 3 (325 enodes)
0.931 * * [simplify]: Extracting #0: cost 1 inf + 0
0.932 * * [simplify]: Extracting #1: cost 30 inf + 0
0.932 * * [simplify]: Extracting #2: cost 176 inf + 0
0.935 * * [simplify]: Extracting #3: cost 205 inf + 3645
0.946 * * [simplify]: Extracting #4: cost 105 inf + 22995
0.969 * * [simplify]: Extracting #5: cost 7 inf + 45867
0.999 * * [simplify]: Extracting #6: cost 0 inf + 47401
1.025 * * [simplify]: Extracting #7: cost 0 inf + 47361
1.052 * [simplify]: Simplified to (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a))))
1.052 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ (* (* a a) a) (* b (* b b))) (+ (* (* a a) a) (* b (* b b)))) (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a))))))
1.052 * * * * [progress]: [ 14 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b))))>
1.053 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))
1.053 * * [simplify]: iters left: 6 (10 enodes)
1.060 * * [simplify]: iters left: 5 (48 enodes)
1.079 * * [simplify]: iters left: 4 (102 enodes)
1.120 * * [simplify]: iters left: 3 (288 enodes)
1.256 * * [simplify]: Extracting #0: cost 1 inf + 0
1.257 * * [simplify]: Extracting #1: cost 47 inf + 0
1.258 * * [simplify]: Extracting #2: cost 177 inf + 0
1.259 * * [simplify]: Extracting #3: cost 278 inf + 369
1.264 * * [simplify]: Extracting #4: cost 208 inf + 13178
1.282 * * [simplify]: Extracting #5: cost 50 inf + 51840
1.311 * * [simplify]: Extracting #6: cost 0 inf + 64540
1.336 * [simplify]: Simplified to (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b))))
1.336 * [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.336 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (- a b))
1.336 * * [simplify]: iters left: 6 (9 enodes)
1.340 * * [simplify]: iters left: 5 (38 enodes)
1.346 * * [simplify]: iters left: 4 (75 enodes)
1.361 * * [simplify]: iters left: 3 (184 enodes)
1.434 * * [simplify]: Extracting #0: cost 1 inf + 0
1.434 * * [simplify]: Extracting #1: cost 46 inf + 0
1.434 * * [simplify]: Extracting #2: cost 114 inf + 0
1.435 * * [simplify]: Extracting #3: cost 110 inf + 1429
1.438 * * [simplify]: Extracting #4: cost 35 inf + 12966
1.443 * * [simplify]: Extracting #5: cost 0 inf + 20274
1.448 * * [simplify]: Extracting #6: cost 0 inf + 20194
1.453 * [simplify]: Simplified to (* (- a b) (+ (* (- a b) a) (* b b)))
1.454 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) (* (- a b) (+ (* (- a b) a) (* b b)))))
1.454 * * * * [progress]: [ 15 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))))>
1.454 * [simplify]: Simplifying (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3)))
1.454 * * [simplify]: iters left: 6 (10 enodes)
1.457 * * [simplify]: iters left: 5 (54 enodes)
1.478 * * [simplify]: iters left: 4 (154 enodes)
1.567 * * [simplify]: Extracting #0: cost 1 inf + 0
1.568 * * [simplify]: Extracting #1: cost 26 inf + 0
1.568 * * [simplify]: Extracting #2: cost 131 inf + 0
1.570 * * [simplify]: Extracting #3: cost 157 inf + 2717
1.576 * * [simplify]: Extracting #4: cost 77 inf + 14838
1.585 * * [simplify]: Extracting #5: cost 22 inf + 28085
1.597 * * [simplify]: Extracting #6: cost 0 inf + 35375
1.609 * [simplify]: Simplified to (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a))))
1.610 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a)))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))))
1.610 * [simplify]: Simplifying (* (- a b) (+ (* a a) (- (* b b) (* a b))))
1.610 * * [simplify]: iters left: 6 (9 enodes)
1.613 * * [simplify]: iters left: 5 (44 enodes)
1.621 * * [simplify]: iters left: 4 (109 enodes)
1.657 * * [simplify]: iters left: 3 (298 enodes)
1.765 * * [simplify]: Extracting #0: cost 1 inf + 0
1.765 * * [simplify]: Extracting #1: cost 39 inf + 0
1.766 * * [simplify]: Extracting #2: cost 148 inf + 0
1.767 * * [simplify]: Extracting #3: cost 147 inf + 2505
1.771 * * [simplify]: Extracting #4: cost 34 inf + 22688
1.779 * * [simplify]: Extracting #5: cost 2 inf + 29260
1.788 * * [simplify]: Extracting #6: cost 0 inf + 29373
1.800 * * [simplify]: Extracting #7: cost 0 inf + 29293
1.815 * [simplify]: Simplified to (* (+ (* b b) (* a (- a b))) (- a b))
1.815 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a)))) (* (+ (* b b) (* a (- a b))) (- a b))))
1.815 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))>
1.815 * [simplify]: Simplifying (* (- (* a a) (* b b)) (- (* a a) (* b b)))
1.815 * * [simplify]: iters left: 6 (6 enodes)
1.818 * * [simplify]: iters left: 5 (23 enodes)
1.826 * * [simplify]: iters left: 4 (49 enodes)
1.848 * * [simplify]: iters left: 3 (161 enodes)
1.964 * * [simplify]: Extracting #0: cost 1 inf + 0
1.964 * * [simplify]: Extracting #1: cost 43 inf + 0
1.964 * * [simplify]: Extracting #2: cost 161 inf + 0
1.965 * * [simplify]: Extracting #3: cost 180 inf + 1588
1.969 * * [simplify]: Extracting #4: cost 63 inf + 19808
1.978 * * [simplify]: Extracting #5: cost 0 inf + 30333
1.986 * * [simplify]: Extracting #6: cost 0 inf + 30253
1.993 * [simplify]: Simplified to (* (- (* a a) (* b b)) (- (* a a) (* b b)))
1.994 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))
1.994 * [simplify]: Simplifying (* (- a b) (- a b))
1.994 * * [simplify]: iters left: 4 (4 enodes)
1.995 * * [simplify]: iters left: 3 (14 enodes)
1.997 * * [simplify]: iters left: 2 (23 enodes)
2.001 * * [simplify]: iters left: 1 (49 enodes)
2.010 * * [simplify]: Extracting #0: cost 1 inf + 0
2.010 * * [simplify]: Extracting #1: cost 17 inf + 0
2.010 * * [simplify]: Extracting #2: cost 32 inf + 0
2.010 * * [simplify]: Extracting #3: cost 30 inf + 43
2.011 * * [simplify]: Extracting #4: cost 7 inf + 2364
2.012 * * [simplify]: Extracting #5: cost 0 inf + 3176
2.012 * [simplify]: Simplified to (* (- a b) (- a b))
2.012 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))
2.012 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
2.013 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (cbrt (+ a b)) (cbrt (+ a b)))))>
2.013 * [simplify]: Simplifying (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b))))
2.013 * * [simplify]: iters left: 6 (6 enodes)
2.014 * * [simplify]: iters left: 5 (23 enodes)
2.018 * * [simplify]: iters left: 4 (27 enodes)
2.023 * * [simplify]: iters left: 3 (38 enodes)
2.032 * * [simplify]: iters left: 2 (70 enodes)
2.050 * * [simplify]: iters left: 1 (126 enodes)
2.089 * * [simplify]: Extracting #0: cost 1 inf + 0
2.090 * * [simplify]: Extracting #1: cost 15 inf + 0
2.090 * * [simplify]: Extracting #2: cost 45 inf + 1
2.090 * * [simplify]: Extracting #3: cost 41 inf + 9
2.090 * * [simplify]: Extracting #4: cost 38 inf + 95
2.090 * * [simplify]: Extracting #5: cost 24 inf + 3319
2.091 * * [simplify]: Extracting #6: cost 3 inf + 12560
2.093 * * [simplify]: Extracting #7: cost 0 inf + 14101
2.094 * [simplify]: Simplified to (* (+ b a) (cbrt (+ b a)))
2.094 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (+ b a) (cbrt (+ b a))) (* (cbrt (+ a b)) (cbrt (+ a b)))))
2.094 * [simplify]: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b)))
2.094 * * [simplify]: iters left: 5 (5 enodes)
2.096 * * [simplify]: iters left: 4 (16 enodes)
2.098 * * [simplify]: Extracting #0: cost 1 inf + 0
2.098 * * [simplify]: Extracting #1: cost 3 inf + 0
2.098 * * [simplify]: Extracting #2: cost 5 inf + 0
2.098 * * [simplify]: Extracting #3: cost 8 inf + 0
2.098 * * [simplify]: Extracting #4: cost 6 inf + 2
2.098 * * [simplify]: Extracting #5: cost 0 inf + 654
2.098 * [simplify]: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a)))
2.098 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (cbrt (+ b a)) (cbrt (+ b a)))))
2.098 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
2.098 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
2.098 * * [simplify]: iters left: 5 (5 enodes)
2.100 * * [simplify]: iters left: 4 (14 enodes)
2.102 * * [simplify]: iters left: 3 (15 enodes)
2.104 * * [simplify]: Extracting #0: cost 1 inf + 0
2.104 * * [simplify]: Extracting #1: cost 5 inf + 0
2.104 * * [simplify]: Extracting #2: cost 4 inf + 2
2.104 * * [simplify]: Extracting #3: cost 3 inf + 44
2.104 * * [simplify]: Extracting #4: cost 0 inf + 250
2.104 * [simplify]: Simplified to (+ b a)
2.104 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (* (sqrt (+ a b)) (sqrt (+ a b)))))
2.104 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
2.104 * * [simplify]: iters left: 5 (5 enodes)
2.105 * * [simplify]: iters left: 4 (14 enodes)
2.107 * * [simplify]: iters left: 3 (15 enodes)
2.109 * * [simplify]: Extracting #0: cost 1 inf + 0
2.109 * * [simplify]: Extracting #1: cost 5 inf + 0
2.109 * * [simplify]: Extracting #2: cost 4 inf + 2
2.109 * * [simplify]: Extracting #3: cost 3 inf + 44
2.109 * * [simplify]: Extracting #4: cost 0 inf + 250
2.110 * [simplify]: Simplified to (+ b a)
2.110 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (+ b a)))
2.110 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
2.110 * [simplify]: Simplifying (* 1 1)
2.110 * * [simplify]: iters left: 2 (2 enodes)
2.111 * * [simplify]: iters left: 1 (6 enodes)
2.112 * * [simplify]: Extracting #0: cost 1 inf + 0
2.112 * * [simplify]: Extracting #1: cost 0 inf + 1
2.112 * [simplify]: Simplified to 1
2.112 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
2.113 * [simplify]: Simplifying (* (+ a b) (+ a b))
2.113 * * [simplify]: iters left: 4 (4 enodes)
2.114 * * [simplify]: iters left: 3 (19 enodes)
2.118 * * [simplify]: iters left: 2 (41 enodes)
2.125 * * [simplify]: iters left: 1 (77 enodes)
2.135 * * [simplify]: Extracting #0: cost 1 inf + 0
2.135 * * [simplify]: Extracting #1: cost 11 inf + 0
2.135 * * [simplify]: Extracting #2: cost 29 inf + 0
2.136 * * [simplify]: Extracting #3: cost 24 inf + 127
2.136 * * [simplify]: Extracting #4: cost 4 inf + 1844
2.137 * * [simplify]: Extracting #5: cost 0 inf + 2332
2.137 * * [simplify]: Extracting #6: cost 0 inf + 2292
2.138 * [simplify]: Simplified to (* (+ b a) (+ b a))
2.138 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
2.138 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
2.138 * [simplify]: Simplifying (* 1 1)
2.138 * * [simplify]: iters left: 2 (2 enodes)
2.139 * * [simplify]: iters left: 1 (6 enodes)
2.140 * * [simplify]: Extracting #0: cost 1 inf + 0
2.140 * * [simplify]: Extracting #1: cost 0 inf + 1
2.140 * [simplify]: Simplified to 1
2.141 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
2.141 * [simplify]: Simplifying (* (+ a b) (+ a b))
2.141 * * [simplify]: iters left: 4 (4 enodes)
2.142 * * [simplify]: iters left: 3 (19 enodes)
2.145 * * [simplify]: iters left: 2 (41 enodes)
2.155 * * [simplify]: iters left: 1 (77 enodes)
2.165 * * [simplify]: Extracting #0: cost 1 inf + 0
2.165 * * [simplify]: Extracting #1: cost 11 inf + 0
2.165 * * [simplify]: Extracting #2: cost 29 inf + 0
2.165 * * [simplify]: Extracting #3: cost 24 inf + 127
2.166 * * [simplify]: Extracting #4: cost 4 inf + 1844
2.166 * * [simplify]: Extracting #5: cost 0 inf + 2332
2.167 * * [simplify]: Extracting #6: cost 0 inf + 2292
2.168 * [simplify]: Simplified to (* (+ b a) (+ b a))
2.168 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
2.168 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
2.168 * [simplify]: Simplifying (* 1 1)
2.168 * * [simplify]: iters left: 2 (2 enodes)
2.169 * * [simplify]: iters left: 1 (6 enodes)
2.170 * * [simplify]: Extracting #0: cost 1 inf + 0
2.170 * * [simplify]: Extracting #1: cost 0 inf + 1
2.170 * [simplify]: Simplified to 1
2.170 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
2.171 * [simplify]: Simplifying (* (+ a b) (+ a b))
2.171 * * [simplify]: iters left: 4 (4 enodes)
2.172 * * [simplify]: iters left: 3 (19 enodes)
2.176 * * [simplify]: iters left: 2 (41 enodes)
2.183 * * [simplify]: iters left: 1 (77 enodes)
2.196 * * [simplify]: Extracting #0: cost 1 inf + 0
2.196 * * [simplify]: Extracting #1: cost 11 inf + 0
2.196 * * [simplify]: Extracting #2: cost 29 inf + 0
2.196 * * [simplify]: Extracting #3: cost 24 inf + 127
2.197 * * [simplify]: Extracting #4: cost 4 inf + 1844
2.198 * * [simplify]: Extracting #5: cost 0 inf + 2332
2.199 * * [simplify]: Extracting #6: cost 0 inf + 2292
2.200 * [simplify]: Simplified to (* (+ b a) (+ b a))
2.200 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
2.200 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
2.201 * [simplify]: Simplifying (* 1 1)
2.201 * * [simplify]: iters left: 2 (2 enodes)
2.202 * * [simplify]: iters left: 1 (6 enodes)
2.205 * * [simplify]: Extracting #0: cost 1 inf + 0
2.205 * * [simplify]: Extracting #1: cost 0 inf + 1
2.205 * [simplify]: Simplified to 1
2.205 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
2.205 * [simplify]: Simplifying (* (+ a b) (+ a b))
2.205 * * [simplify]: iters left: 4 (4 enodes)
2.207 * * [simplify]: iters left: 3 (19 enodes)
2.214 * * [simplify]: iters left: 2 (41 enodes)
2.227 * * [simplify]: iters left: 1 (77 enodes)
2.247 * * [simplify]: Extracting #0: cost 1 inf + 0
2.247 * * [simplify]: Extracting #1: cost 11 inf + 0
2.247 * * [simplify]: Extracting #2: cost 29 inf + 0
2.247 * * [simplify]: Extracting #3: cost 24 inf + 127
2.250 * * [simplify]: Extracting #4: cost 4 inf + 1844
2.251 * * [simplify]: Extracting #5: cost 0 inf + 2332
2.253 * * [simplify]: Extracting #6: cost 0 inf + 2292
2.254 * [simplify]: Simplified to (* (+ b a) (+ b a))
2.254 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
2.254 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
2.254 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
2.254 * * [simplify]: iters left: 5 (5 enodes)
2.257 * * [simplify]: iters left: 4 (14 enodes)
2.260 * * [simplify]: iters left: 3 (15 enodes)
2.264 * * [simplify]: Extracting #0: cost 1 inf + 0
2.264 * * [simplify]: Extracting #1: cost 5 inf + 0
2.264 * * [simplify]: Extracting #2: cost 4 inf + 2
2.264 * * [simplify]: Extracting #3: cost 3 inf + 44
2.264 * * [simplify]: Extracting #4: cost 0 inf + 250
2.264 * [simplify]: Simplified to (+ b a)
2.264 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (* (sqrt (+ a b)) (sqrt (+ a b)))))
2.265 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
2.265 * * [simplify]: iters left: 5 (5 enodes)
2.267 * * [simplify]: iters left: 4 (14 enodes)
2.270 * * [simplify]: iters left: 3 (15 enodes)
2.274 * * [simplify]: Extracting #0: cost 1 inf + 0
2.274 * * [simplify]: Extracting #1: cost 5 inf + 0
2.274 * * [simplify]: Extracting #2: cost 4 inf + 2
2.274 * * [simplify]: Extracting #3: cost 3 inf + 44
2.274 * * [simplify]: Extracting #4: cost 0 inf + 250
2.274 * [simplify]: Simplified to (+ b a)
2.274 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (+ b a)))
2.274 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (* 2 1)))>
2.275 * [simplify]: Simplifying (+ a b)
2.275 * * [simplify]: iters left: 2 (3 enodes)
2.276 * * [simplify]: iters left: 1 (10 enodes)
2.279 * * [simplify]: Extracting #0: cost 1 inf + 0
2.279 * * [simplify]: Extracting #1: cost 4 inf + 0
2.279 * * [simplify]: Extracting #2: cost 2 inf + 2
2.279 * * [simplify]: Extracting #3: cost 0 inf + 86
2.279 * [simplify]: Simplified to (+ b a)
2.279 * [simplify]: Simplified (2 1) to (λ (a b) (pow (+ b a) (* 2 1)))
2.279 * [simplify]: Simplifying (* 2 1)
2.279 * * [simplify]: iters left: 2 (3 enodes)
2.282 * * [simplify]: iters left: 1 (9 enodes)
2.286 * * [simplify]: Extracting #0: cost 1 inf + 0
2.286 * * [simplify]: Extracting #1: cost 0 inf + 1
2.286 * [simplify]: Simplified to 2
2.286 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2))
2.286 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))>
2.286 * [simplify]: Simplifying (* (+ a b) b)
2.286 * * [simplify]: iters left: 4 (4 enodes)
2.288 * * [simplify]: iters left: 3 (14 enodes)
2.292 * * [simplify]: iters left: 2 (21 enodes)
2.299 * * [simplify]: iters left: 1 (27 enodes)
2.305 * * [simplify]: Extracting #0: cost 1 inf + 0
2.305 * * [simplify]: Extracting #1: cost 6 inf + 0
2.305 * * [simplify]: Extracting #2: cost 8 inf + 42
2.305 * * [simplify]: Extracting #3: cost 6 inf + 84
2.305 * * [simplify]: Extracting #4: cost 0 inf + 416
2.306 * [simplify]: Simplified to (* (+ b a) b)
2.306 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ b a) b)))
2.306 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))>
2.306 * [simplify]: Simplifying (* b (+ a b))
2.306 * * [simplify]: iters left: 4 (4 enodes)
2.308 * * [simplify]: iters left: 3 (19 enodes)
2.314 * * [simplify]: iters left: 2 (27 enodes)
2.321 * * [simplify]: Extracting #0: cost 1 inf + 0
2.321 * * [simplify]: Extracting #1: cost 6 inf + 0
2.321 * * [simplify]: Extracting #2: cost 9 inf + 1
2.321 * * [simplify]: Extracting #3: cost 0 inf + 416
2.321 * [simplify]: Simplified to (* b (+ a b))
2.321 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))
2.321 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ a b))))>
2.322 * [simplify]: Simplifying (cbrt (+ a b))
2.322 * * [simplify]: iters left: 3 (4 enodes)
2.323 * * [simplify]: iters left: 2 (13 enodes)
2.327 * * [simplify]: Extracting #0: cost 1 inf + 0
2.327 * * [simplify]: Extracting #1: cost 3 inf + 0
2.327 * * [simplify]: Extracting #2: cost 6 inf + 0
2.327 * * [simplify]: Extracting #3: cost 4 inf + 2
2.327 * * [simplify]: Extracting #4: cost 0 inf + 330
2.327 * [simplify]: Simplified to (cbrt (+ b a))
2.328 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ b a))))
2.328 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (sqrt (+ a b))) (sqrt (+ a b))))>
2.328 * [simplify]: Simplifying (sqrt (+ a b))
2.328 * * [simplify]: iters left: 3 (4 enodes)
2.330 * * [simplify]: iters left: 2 (13 enodes)
2.333 * * [simplify]: Extracting #0: cost 1 inf + 0
2.333 * * [simplify]: Extracting #1: cost 3 inf + 0
2.333 * * [simplify]: Extracting #2: cost 6 inf + 0
2.333 * * [simplify]: Extracting #3: cost 4 inf + 2
2.334 * * [simplify]: Extracting #4: cost 0 inf + 250
2.334 * [simplify]: Simplified to (sqrt (+ b a))
2.334 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) (sqrt (+ a b))) (sqrt (+ b a))))
2.334 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
2.334 * [simplify]: Simplifying (+ a b)
2.334 * * [simplify]: iters left: 2 (3 enodes)
2.336 * * [simplify]: iters left: 1 (10 enodes)
2.338 * * [simplify]: Extracting #0: cost 1 inf + 0
2.338 * * [simplify]: Extracting #1: cost 4 inf + 0
2.338 * * [simplify]: Extracting #2: cost 2 inf + 2
2.338 * * [simplify]: Extracting #3: cost 0 inf + 86
2.339 * [simplify]: Simplified to (+ b a)
2.339 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) 1) (+ b a)))
2.339 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
2.339 * [simplify]: Simplifying (+ a b)
2.339 * * [simplify]: iters left: 2 (3 enodes)
2.340 * * [simplify]: iters left: 1 (10 enodes)
2.343 * * [simplify]: Extracting #0: cost 1 inf + 0
2.343 * * [simplify]: Extracting #1: cost 4 inf + 0
2.343 * * [simplify]: Extracting #2: cost 2 inf + 2
2.343 * * [simplify]: Extracting #3: cost 0 inf + 86
2.343 * [simplify]: Simplified to (+ b a)
2.343 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) 1) (+ b a)))
2.343 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (+ a b))))>
2.344 * [simplify]: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b)))
2.344 * * [simplify]: iters left: 5 (5 enodes)
2.346 * * [simplify]: iters left: 4 (16 enodes)
2.350 * * [simplify]: Extracting #0: cost 1 inf + 0
2.350 * * [simplify]: Extracting #1: cost 3 inf + 0
2.350 * * [simplify]: Extracting #2: cost 5 inf + 0
2.350 * * [simplify]: Extracting #3: cost 8 inf + 0
2.350 * * [simplify]: Extracting #4: cost 6 inf + 2
2.351 * * [simplify]: Extracting #5: cost 0 inf + 654
2.351 * [simplify]: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a)))
2.351 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (+ b a)) (cbrt (+ b a))) (* (cbrt (+ a b)) (+ a b))))
2.351 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (+ a b)) (* (sqrt (+ a b)) (+ a b))))>
2.352 * [simplify]: Simplifying (sqrt (+ a b))
2.352 * * [simplify]: iters left: 3 (4 enodes)
2.353 * * [simplify]: iters left: 2 (13 enodes)
2.357 * * [simplify]: Extracting #0: cost 1 inf + 0
2.357 * * [simplify]: Extracting #1: cost 3 inf + 0
2.357 * * [simplify]: Extracting #2: cost 6 inf + 0
2.357 * * [simplify]: Extracting #3: cost 4 inf + 2
2.357 * * [simplify]: Extracting #4: cost 0 inf + 250
2.357 * [simplify]: Simplified to (sqrt (+ b a))
2.357 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (+ b a)) (* (sqrt (+ a b)) (+ a b))))
2.357 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
2.357 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
2.357 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a a) (- (* b b) (* a b)))))>
2.358 * [simplify]: Simplifying (+ (* a a) (- (* b b) (* a b)))
2.358 * * [simplify]: iters left: 6 (7 enodes)
2.361 * * [simplify]: iters left: 5 (29 enodes)
2.371 * * [simplify]: iters left: 4 (50 enodes)
2.387 * * [simplify]: iters left: 3 (69 enodes)
2.399 * * [simplify]: iters left: 2 (85 enodes)
2.411 * * [simplify]: iters left: 1 (105 enodes)
2.428 * * [simplify]: Extracting #0: cost 1 inf + 0
2.428 * * [simplify]: Extracting #1: cost 13 inf + 0
2.428 * * [simplify]: Extracting #2: cost 33 inf + 0
2.428 * * [simplify]: Extracting #3: cost 24 inf + 779
2.429 * * [simplify]: Extracting #4: cost 4 inf + 2455
2.430 * * [simplify]: Extracting #5: cost 0 inf + 2702
2.431 * [simplify]: Simplified to (+ (* a (- a b)) (* b b))
2.431 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a (- a b)) (* b b))))
2.431 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (- a b)))>
2.431 * [simplify]: Simplifying (- a b)
2.431 * * [simplify]: iters left: 2 (3 enodes)
2.432 * * [simplify]: iters left: 1 (11 enodes)
2.435 * * [simplify]: Extracting #0: cost 1 inf + 0
2.435 * * [simplify]: Extracting #1: cost 5 inf + 0
2.435 * * [simplify]: Extracting #2: cost 3 inf + 43
2.435 * * [simplify]: Extracting #3: cost 0 inf + 168
2.435 * [simplify]: Simplified to (- a b)
2.435 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (- a b)))
2.436 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (+ a b)) (+ (* a a) (- (* b b) (* a b)))))>
2.436 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (+ a b))
2.436 * * [simplify]: iters left: 5 (8 enodes)
2.441 * * [simplify]: iters left: 4 (46 enodes)
2.461 * * [simplify]: iters left: 3 (107 enodes)
2.514 * * [simplify]: iters left: 2 (277 enodes)
2.608 * * [simplify]: Extracting #0: cost 1 inf + 0
2.609 * * [simplify]: Extracting #1: cost 23 inf + 0
2.609 * * [simplify]: Extracting #2: cost 94 inf + 0
2.609 * * [simplify]: Extracting #3: cost 134 inf + 340
2.613 * * [simplify]: Extracting #4: cost 72 inf + 13036
2.618 * * [simplify]: Extracting #5: cost 13 inf + 29899
2.622 * * [simplify]: Extracting #6: cost 2 inf + 33033
2.627 * * [simplify]: Extracting #7: cost 0 inf + 33457
2.633 * [simplify]: Simplified to (* (+ (* a (* a a)) (* (* b b) b)) (+ b a))
2.633 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (+ (* a (* a a)) (* (* b b) b)) (+ b a)) (+ (* a a) (- (* b b) (* a b)))))
2.633 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (+ a b)) (- a b)))>
2.634 * [simplify]: Simplifying (* (- (* a a) (* b b)) (+ a b))
2.634 * * [simplify]: iters left: 6 (7 enodes)
2.638 * * [simplify]: iters left: 5 (33 enodes)
2.650 * * [simplify]: iters left: 4 (82 enodes)
2.679 * * [simplify]: iters left: 3 (222 enodes)
2.777 * * [simplify]: Extracting #0: cost 1 inf + 0
2.777 * * [simplify]: Extracting #1: cost 31 inf + 0
2.778 * * [simplify]: Extracting #2: cost 118 inf + 0
2.779 * * [simplify]: Extracting #3: cost 113 inf + 1269
2.784 * * [simplify]: Extracting #4: cost 24 inf + 14757
2.794 * * [simplify]: Extracting #5: cost 0 inf + 19213
2.803 * [simplify]: Simplified to (* (* (+ a b) (+ a b)) (- a b))
2.803 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (* (+ a b) (+ a b)) (- a b)) (- a b)))
2.803 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (* (+ a b) (+ a b)))))>
2.803 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
2.804 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
2.804 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.804 * * [simplify]: iters left: 6 (9 enodes)
2.809 * * [simplify]: iters left: 5 (43 enodes)
2.823 * * [simplify]: iters left: 4 (67 enodes)
2.847 * * [simplify]: iters left: 3 (96 enodes)
2.872 * * [simplify]: iters left: 2 (117 enodes)
2.900 * * [simplify]: Extracting #0: cost 1 inf + 0
2.900 * * [simplify]: Extracting #1: cost 8 inf + 0
2.900 * * [simplify]: Extracting #2: cost 23 inf + 0
2.900 * * [simplify]: Extracting #3: cost 22 inf + 253
2.901 * * [simplify]: Extracting #4: cost 6 inf + 1610
2.901 * * [simplify]: Extracting #5: cost 0 inf + 2225
2.902 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
2.902 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
2.902 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
2.902 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.902 * * [simplify]: iters left: 6 (9 enodes)
2.905 * * [simplify]: iters left: 5 (43 enodes)
2.913 * * [simplify]: iters left: 4 (67 enodes)
2.925 * * [simplify]: iters left: 3 (96 enodes)
2.949 * * [simplify]: iters left: 2 (117 enodes)
2.977 * * [simplify]: Extracting #0: cost 1 inf + 0
2.977 * * [simplify]: Extracting #1: cost 8 inf + 0
2.977 * * [simplify]: Extracting #2: cost 23 inf + 0
2.978 * * [simplify]: Extracting #3: cost 22 inf + 253
2.978 * * [simplify]: Extracting #4: cost 6 inf + 1610
2.979 * * [simplify]: Extracting #5: cost 0 inf + 2225
2.981 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
2.981 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
2.981 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
2.981 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.981 * * [simplify]: iters left: 6 (9 enodes)
2.985 * * [simplify]: iters left: 5 (43 enodes)
2.992 * * [simplify]: iters left: 4 (67 enodes)
3.003 * * [simplify]: iters left: 3 (96 enodes)
3.017 * * [simplify]: iters left: 2 (117 enodes)
3.031 * * [simplify]: Extracting #0: cost 1 inf + 0
3.031 * * [simplify]: Extracting #1: cost 8 inf + 0
3.031 * * [simplify]: Extracting #2: cost 23 inf + 0
3.032 * * [simplify]: Extracting #3: cost 22 inf + 253
3.032 * * [simplify]: Extracting #4: cost 6 inf + 1610
3.032 * * [simplify]: Extracting #5: cost 0 inf + 2225
3.033 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
3.033 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
3.033 * * * [progress]: adding candidates to table
3.267 * * [progress]: iteration 2 / 4
3.267 * * * [progress]: picking best candidate
3.270 * * * * [pick]: Picked  #<alt (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))>
3.270 * * * [progress]: localizing error
3.289 * * * [progress]: generating rewritten candidates
3.289 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
3.302 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
3.315 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
3.332 * * * [progress]: generating series expansions
3.332 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
3.332 * [backup-simplify]: Simplify (* (+ a b) b) into (* (+ a b) b)
3.333 * [approximate]: Taking taylor expansion of (* (+ a b) b) in (a b) around 0
3.333 * [taylor]: Taking taylor expansion of (* (+ a b) b) in b
3.333 * [taylor]: Taking taylor expansion of (+ a b) in b
3.333 * [taylor]: Taking taylor expansion of a in b
3.333 * [backup-simplify]: Simplify a into a
3.333 * [taylor]: Taking taylor expansion of b in b
3.333 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify 1 into 1
3.333 * [taylor]: Taking taylor expansion of b in b
3.333 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify 1 into 1
3.333 * [taylor]: Taking taylor expansion of (* (+ a b) b) in a
3.333 * [taylor]: Taking taylor expansion of (+ a b) in a
3.333 * [taylor]: Taking taylor expansion of a in a
3.333 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify 1 into 1
3.333 * [taylor]: Taking taylor expansion of b in a
3.333 * [backup-simplify]: Simplify b into b
3.333 * [taylor]: Taking taylor expansion of b in a
3.333 * [backup-simplify]: Simplify b into b
3.333 * [taylor]: Taking taylor expansion of (* (+ a b) b) in a
3.333 * [taylor]: Taking taylor expansion of (+ a b) in a
3.333 * [taylor]: Taking taylor expansion of a in a
3.333 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify 1 into 1
3.333 * [taylor]: Taking taylor expansion of b in a
3.333 * [backup-simplify]: Simplify b into b
3.333 * [taylor]: Taking taylor expansion of b in a
3.333 * [backup-simplify]: Simplify b into b
3.333 * [backup-simplify]: Simplify (+ 0 b) into b
3.333 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.333 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.334 * [taylor]: Taking taylor expansion of b in b
3.334 * [backup-simplify]: Simplify 0 into 0
3.334 * [backup-simplify]: Simplify 1 into 1
3.334 * [backup-simplify]: Simplify (+ 1 0) into 1
3.334 * [backup-simplify]: Simplify (+ (* b 0) (* 1 b)) into b
3.335 * [taylor]: Taking taylor expansion of b in b
3.335 * [backup-simplify]: Simplify 0 into 0
3.335 * [backup-simplify]: Simplify 1 into 1
3.335 * [backup-simplify]: Simplify 0 into 0
3.335 * [backup-simplify]: Simplify (+ 0 0) into 0
3.336 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (* 0 b))) into 0
3.336 * [taylor]: Taking taylor expansion of 0 in b
3.336 * [backup-simplify]: Simplify 0 into 0
3.336 * [backup-simplify]: Simplify 0 into 0
3.336 * [backup-simplify]: Simplify 1 into 1
3.336 * [backup-simplify]: Simplify (* 1 1) into 1
3.336 * [backup-simplify]: Simplify 1 into 1
3.337 * [backup-simplify]: Simplify (+ 0 0) into 0
3.337 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 0) (* 0 b)))) into 0
3.337 * [taylor]: Taking taylor expansion of 0 in b
3.337 * [backup-simplify]: Simplify 0 into 0
3.337 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify (+ 0 0) into 0
3.339 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
3.339 * [taylor]: Taking taylor expansion of 0 in b
3.339 * [backup-simplify]: Simplify 0 into 0
3.339 * [backup-simplify]: Simplify 0 into 0
3.339 * [backup-simplify]: Simplify 0 into 0
3.339 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (* 1 (* b a))) into (+ (pow b 2) (* a b))
3.339 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (/ 1 b)) into (/ (+ (/ 1 a) (/ 1 b)) b)
3.339 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in (a b) around 0
3.339 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b
3.339 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
3.339 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.339 * [taylor]: Taking taylor expansion of a in b
3.339 * [backup-simplify]: Simplify a into a
3.339 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.340 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.340 * [taylor]: Taking taylor expansion of b in b
3.340 * [backup-simplify]: Simplify 0 into 0
3.340 * [backup-simplify]: Simplify 1 into 1
3.340 * [backup-simplify]: Simplify (/ 1 1) into 1
3.340 * [taylor]: Taking taylor expansion of b in b
3.340 * [backup-simplify]: Simplify 0 into 0
3.340 * [backup-simplify]: Simplify 1 into 1
3.340 * [backup-simplify]: Simplify (+ 0 1) into 1
3.340 * [backup-simplify]: Simplify (/ 1 1) into 1
3.340 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a
3.340 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.340 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.340 * [taylor]: Taking taylor expansion of a in a
3.340 * [backup-simplify]: Simplify 0 into 0
3.340 * [backup-simplify]: Simplify 1 into 1
3.341 * [backup-simplify]: Simplify (/ 1 1) into 1
3.341 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.341 * [taylor]: Taking taylor expansion of b in a
3.341 * [backup-simplify]: Simplify b into b
3.341 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.341 * [taylor]: Taking taylor expansion of b in a
3.341 * [backup-simplify]: Simplify b into b
3.341 * [backup-simplify]: Simplify (+ 1 0) into 1
3.341 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.341 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a
3.341 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.341 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.341 * [taylor]: Taking taylor expansion of a in a
3.341 * [backup-simplify]: Simplify 0 into 0
3.341 * [backup-simplify]: Simplify 1 into 1
3.341 * [backup-simplify]: Simplify (/ 1 1) into 1
3.341 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.341 * [taylor]: Taking taylor expansion of b in a
3.342 * [backup-simplify]: Simplify b into b
3.342 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.342 * [taylor]: Taking taylor expansion of b in a
3.342 * [backup-simplify]: Simplify b into b
3.342 * [backup-simplify]: Simplify (+ 1 0) into 1
3.342 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.342 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.342 * [taylor]: Taking taylor expansion of b in b
3.342 * [backup-simplify]: Simplify 0 into 0
3.342 * [backup-simplify]: Simplify 1 into 1
3.342 * [backup-simplify]: Simplify (/ 1 1) into 1
3.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.343 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
3.343 * [backup-simplify]: Simplify (- (/ (/ 1 b) b) (+ (* (/ 1 b) (/ 0 b)))) into (/ 1 (pow b 2))
3.343 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.343 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.343 * [taylor]: Taking taylor expansion of b in b
3.343 * [backup-simplify]: Simplify 0 into 0
3.343 * [backup-simplify]: Simplify 1 into 1
3.343 * [backup-simplify]: Simplify (* 1 1) into 1
3.343 * [backup-simplify]: Simplify (/ 1 1) into 1
3.343 * [backup-simplify]: Simplify 1 into 1
3.343 * [backup-simplify]: Simplify 1 into 1
3.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.344 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.344 * [backup-simplify]: Simplify (+ 0 0) into 0
3.344 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)))) into 0
3.344 * [taylor]: Taking taylor expansion of 0 in b
3.345 * [backup-simplify]: Simplify 0 into 0
3.345 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.345 * [backup-simplify]: Simplify 0 into 0
3.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.346 * [backup-simplify]: Simplify 0 into 0
3.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.347 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.347 * [backup-simplify]: Simplify (+ 0 0) into 0
3.347 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.347 * [taylor]: Taking taylor expansion of 0 in b
3.347 * [backup-simplify]: Simplify 0 into 0
3.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.348 * [backup-simplify]: Simplify 0 into 0
3.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.349 * [backup-simplify]: Simplify 0 into 0
3.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.350 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.350 * [backup-simplify]: Simplify (+ 0 0) into 0
3.350 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.350 * [taylor]: Taking taylor expansion of 0 in b
3.350 * [backup-simplify]: Simplify 0 into 0
3.350 * [backup-simplify]: Simplify 0 into 0
3.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.351 * [backup-simplify]: Simplify 0 into 0
3.352 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (+ (pow b 2) (* a b))
3.352 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- b))) into (/ (+ (/ 1 a) (/ 1 b)) b)
3.352 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in (a b) around 0
3.352 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b
3.352 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
3.352 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.352 * [taylor]: Taking taylor expansion of a in b
3.352 * [backup-simplify]: Simplify a into a
3.352 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.352 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.352 * [taylor]: Taking taylor expansion of b in b
3.352 * [backup-simplify]: Simplify 0 into 0
3.352 * [backup-simplify]: Simplify 1 into 1
3.352 * [backup-simplify]: Simplify (/ 1 1) into 1
3.352 * [taylor]: Taking taylor expansion of b in b
3.352 * [backup-simplify]: Simplify 0 into 0
3.352 * [backup-simplify]: Simplify 1 into 1
3.353 * [backup-simplify]: Simplify (+ 0 1) into 1
3.353 * [backup-simplify]: Simplify (/ 1 1) into 1
3.353 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a
3.353 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.353 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.353 * [taylor]: Taking taylor expansion of a in a
3.353 * [backup-simplify]: Simplify 0 into 0
3.353 * [backup-simplify]: Simplify 1 into 1
3.353 * [backup-simplify]: Simplify (/ 1 1) into 1
3.353 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.353 * [taylor]: Taking taylor expansion of b in a
3.353 * [backup-simplify]: Simplify b into b
3.353 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.353 * [taylor]: Taking taylor expansion of b in a
3.353 * [backup-simplify]: Simplify b into b
3.354 * [backup-simplify]: Simplify (+ 1 0) into 1
3.354 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.354 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a
3.354 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.354 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.354 * [taylor]: Taking taylor expansion of a in a
3.354 * [backup-simplify]: Simplify 0 into 0
3.354 * [backup-simplify]: Simplify 1 into 1
3.354 * [backup-simplify]: Simplify (/ 1 1) into 1
3.354 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.354 * [taylor]: Taking taylor expansion of b in a
3.354 * [backup-simplify]: Simplify b into b
3.354 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.354 * [taylor]: Taking taylor expansion of b in a
3.354 * [backup-simplify]: Simplify b into b
3.354 * [backup-simplify]: Simplify (+ 1 0) into 1
3.354 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.354 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.354 * [taylor]: Taking taylor expansion of b in b
3.354 * [backup-simplify]: Simplify 0 into 0
3.354 * [backup-simplify]: Simplify 1 into 1
3.355 * [backup-simplify]: Simplify (/ 1 1) into 1
3.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.355 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
3.355 * [backup-simplify]: Simplify (- (/ (/ 1 b) b) (+ (* (/ 1 b) (/ 0 b)))) into (/ 1 (pow b 2))
3.355 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.355 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.355 * [taylor]: Taking taylor expansion of b in b
3.355 * [backup-simplify]: Simplify 0 into 0
3.355 * [backup-simplify]: Simplify 1 into 1
3.356 * [backup-simplify]: Simplify (* 1 1) into 1
3.356 * [backup-simplify]: Simplify (/ 1 1) into 1
3.356 * [backup-simplify]: Simplify 1 into 1
3.356 * [backup-simplify]: Simplify 1 into 1
3.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.357 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.357 * [backup-simplify]: Simplify (+ 0 0) into 0
3.357 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)))) into 0
3.357 * [taylor]: Taking taylor expansion of 0 in b
3.357 * [backup-simplify]: Simplify 0 into 0
3.357 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.358 * [backup-simplify]: Simplify 0 into 0
3.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.359 * [backup-simplify]: Simplify 0 into 0
3.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.359 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.359 * [backup-simplify]: Simplify (+ 0 0) into 0
3.360 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.360 * [taylor]: Taking taylor expansion of 0 in b
3.360 * [backup-simplify]: Simplify 0 into 0
3.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.363 * [backup-simplify]: Simplify 0 into 0
3.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.364 * [backup-simplify]: Simplify 0 into 0
3.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.364 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.365 * [backup-simplify]: Simplify (+ 0 0) into 0
3.365 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.365 * [taylor]: Taking taylor expansion of 0 in b
3.365 * [backup-simplify]: Simplify 0 into 0
3.365 * [backup-simplify]: Simplify 0 into 0
3.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.366 * [backup-simplify]: Simplify 0 into 0
3.366 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (+ (pow b 2) (* a b))
3.366 * * * * [progress]: [ 2 / 3 ] generating series at (2)
3.366 * [backup-simplify]: Simplify (+ (* (+ a b) a) (* (+ a b) b)) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
3.366 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in (a b) around 0
3.367 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in b
3.367 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.367 * [taylor]: Taking taylor expansion of a in b
3.367 * [backup-simplify]: Simplify a into a
3.367 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in b
3.367 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.367 * [taylor]: Taking taylor expansion of b in b
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify 1 into 1
3.367 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b
3.367 * [taylor]: Taking taylor expansion of 2 in b
3.367 * [backup-simplify]: Simplify 2 into 2
3.367 * [taylor]: Taking taylor expansion of (* a b) in b
3.367 * [taylor]: Taking taylor expansion of a in b
3.367 * [backup-simplify]: Simplify a into a
3.367 * [taylor]: Taking taylor expansion of b in b
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify 1 into 1
3.367 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a
3.367 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.367 * [taylor]: Taking taylor expansion of a in a
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify 1 into 1
3.367 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a
3.367 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.367 * [taylor]: Taking taylor expansion of b in a
3.367 * [backup-simplify]: Simplify b into b
3.367 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
3.367 * [taylor]: Taking taylor expansion of 2 in a
3.367 * [backup-simplify]: Simplify 2 into 2
3.367 * [taylor]: Taking taylor expansion of (* a b) in a
3.367 * [taylor]: Taking taylor expansion of a in a
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify 1 into 1
3.367 * [taylor]: Taking taylor expansion of b in a
3.367 * [backup-simplify]: Simplify b into b
3.367 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a
3.367 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.367 * [taylor]: Taking taylor expansion of a in a
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify 1 into 1
3.367 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a
3.367 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.367 * [taylor]: Taking taylor expansion of b in a
3.367 * [backup-simplify]: Simplify b into b
3.367 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
3.367 * [taylor]: Taking taylor expansion of 2 in a
3.367 * [backup-simplify]: Simplify 2 into 2
3.367 * [taylor]: Taking taylor expansion of (* a b) in a
3.367 * [taylor]: Taking taylor expansion of a in a
3.367 * [backup-simplify]: Simplify 0 into 0
3.367 * [backup-simplify]: Simplify 1 into 1
3.367 * [taylor]: Taking taylor expansion of b in a
3.367 * [backup-simplify]: Simplify b into b
3.367 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.368 * [backup-simplify]: Simplify (* 0 b) into 0
3.368 * [backup-simplify]: Simplify (* 2 0) into 0
3.368 * [backup-simplify]: Simplify (+ (pow b 2) 0) into (pow b 2)
3.368 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2)
3.368 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.368 * [taylor]: Taking taylor expansion of b in b
3.368 * [backup-simplify]: Simplify 0 into 0
3.368 * [backup-simplify]: Simplify 1 into 1
3.368 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
3.368 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
3.369 * [backup-simplify]: Simplify (+ (* 2 b) (* 0 0)) into (* 2 b)
3.369 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b)
3.369 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b)
3.369 * [taylor]: Taking taylor expansion of (* 2 b) in b
3.369 * [taylor]: Taking taylor expansion of 2 in b
3.369 * [backup-simplify]: Simplify 2 into 2
3.369 * [taylor]: Taking taylor expansion of b in b
3.369 * [backup-simplify]: Simplify 0 into 0
3.369 * [backup-simplify]: Simplify 1 into 1
3.369 * [backup-simplify]: Simplify (* 2 0) into 0
3.369 * [backup-simplify]: Simplify 0 into 0
3.369 * [backup-simplify]: Simplify (* 1 1) into 1
3.370 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
3.370 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
3.371 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 b) (* 0 0))) into 0
3.371 * [backup-simplify]: Simplify (+ 0 0) into 0
3.371 * [backup-simplify]: Simplify (+ 1 0) into 1
3.371 * [taylor]: Taking taylor expansion of 1 in b
3.371 * [backup-simplify]: Simplify 1 into 1
3.371 * [backup-simplify]: Simplify 1 into 1
3.372 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
3.372 * [backup-simplify]: Simplify 2 into 2
3.372 * [backup-simplify]: Simplify (* 1 1) into 1
3.372 * [backup-simplify]: Simplify 1 into 1
3.372 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
3.372 * [backup-simplify]: Simplify (+ (* (+ (/ 1 a) (/ 1 b)) (/ 1 a)) (* (+ (/ 1 a) (/ 1 b)) (/ 1 b))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))))
3.372 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (a b) around 0
3.372 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b
3.373 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
3.373 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.373 * [taylor]: Taking taylor expansion of a in b
3.373 * [backup-simplify]: Simplify a into a
3.373 * [backup-simplify]: Simplify (* a a) into (pow a 2)
3.373 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
3.373 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b
3.373 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
3.373 * [taylor]: Taking taylor expansion of 2 in b
3.373 * [backup-simplify]: Simplify 2 into 2
3.373 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.373 * [taylor]: Taking taylor expansion of (* a b) in b
3.373 * [taylor]: Taking taylor expansion of a in b
3.373 * [backup-simplify]: Simplify a into a
3.373 * [taylor]: Taking taylor expansion of b in b
3.373 * [backup-simplify]: Simplify 0 into 0
3.373 * [backup-simplify]: Simplify 1 into 1
3.373 * [backup-simplify]: Simplify (* a 0) into 0
3.373 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
3.373 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.373 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.373 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.373 * [taylor]: Taking taylor expansion of b in b
3.373 * [backup-simplify]: Simplify 0 into 0
3.373 * [backup-simplify]: Simplify 1 into 1
3.373 * [backup-simplify]: Simplify (* 1 1) into 1
3.374 * [backup-simplify]: Simplify (/ 1 1) into 1
3.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
3.374 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.374 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.374 * [taylor]: Taking taylor expansion of a in a
3.374 * [backup-simplify]: Simplify 0 into 0
3.374 * [backup-simplify]: Simplify 1 into 1
3.374 * [backup-simplify]: Simplify (* 1 1) into 1
3.374 * [backup-simplify]: Simplify (/ 1 1) into 1
3.374 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
3.374 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
3.374 * [taylor]: Taking taylor expansion of 2 in a
3.374 * [backup-simplify]: Simplify 2 into 2
3.374 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.374 * [taylor]: Taking taylor expansion of (* a b) in a
3.374 * [taylor]: Taking taylor expansion of a in a
3.374 * [backup-simplify]: Simplify 0 into 0
3.374 * [backup-simplify]: Simplify 1 into 1
3.374 * [taylor]: Taking taylor expansion of b in a
3.374 * [backup-simplify]: Simplify b into b
3.374 * [backup-simplify]: Simplify (* 0 b) into 0
3.375 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
3.375 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.375 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
3.375 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.375 * [taylor]: Taking taylor expansion of b in a
3.375 * [backup-simplify]: Simplify b into b
3.375 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.375 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.375 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
3.375 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.375 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.375 * [taylor]: Taking taylor expansion of a in a
3.375 * [backup-simplify]: Simplify 0 into 0
3.375 * [backup-simplify]: Simplify 1 into 1
3.375 * [backup-simplify]: Simplify (* 1 1) into 1
3.375 * [backup-simplify]: Simplify (/ 1 1) into 1
3.376 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
3.376 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
3.376 * [taylor]: Taking taylor expansion of 2 in a
3.376 * [backup-simplify]: Simplify 2 into 2
3.376 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.376 * [taylor]: Taking taylor expansion of (* a b) in a
3.376 * [taylor]: Taking taylor expansion of a in a
3.376 * [backup-simplify]: Simplify 0 into 0
3.376 * [backup-simplify]: Simplify 1 into 1
3.376 * [taylor]: Taking taylor expansion of b in a
3.376 * [backup-simplify]: Simplify b into b
3.376 * [backup-simplify]: Simplify (* 0 b) into 0
3.376 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
3.376 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.376 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
3.376 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.376 * [taylor]: Taking taylor expansion of b in a
3.376 * [backup-simplify]: Simplify b into b
3.376 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.376 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.376 * [backup-simplify]: Simplify (+ 1 0) into 1
3.376 * [taylor]: Taking taylor expansion of 1 in b
3.377 * [backup-simplify]: Simplify 1 into 1
3.377 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.377 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b)
3.377 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
3.377 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b))
3.377 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
3.378 * [taylor]: Taking taylor expansion of 2 in b
3.378 * [backup-simplify]: Simplify 2 into 2
3.378 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.378 * [taylor]: Taking taylor expansion of b in b
3.378 * [backup-simplify]: Simplify 0 into 0
3.378 * [backup-simplify]: Simplify 1 into 1
3.378 * [backup-simplify]: Simplify (/ 1 1) into 1
3.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.379 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
3.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.380 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0
3.380 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
3.380 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
3.380 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.380 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.380 * [taylor]: Taking taylor expansion of b in b
3.380 * [backup-simplify]: Simplify 0 into 0
3.380 * [backup-simplify]: Simplify 1 into 1
3.380 * [backup-simplify]: Simplify (* 1 1) into 1
3.380 * [backup-simplify]: Simplify (/ 1 1) into 1
3.381 * [backup-simplify]: Simplify 1 into 1
3.381 * [backup-simplify]: Simplify (* 2 1) into 2
3.381 * [backup-simplify]: Simplify 2 into 2
3.381 * [backup-simplify]: Simplify 1 into 1
3.381 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
3.381 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- a))) (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- b)))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))))
3.381 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (a b) around 0
3.381 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b
3.381 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
3.381 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.381 * [taylor]: Taking taylor expansion of a in b
3.382 * [backup-simplify]: Simplify a into a
3.382 * [backup-simplify]: Simplify (* a a) into (pow a 2)
3.382 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
3.382 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b
3.382 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
3.382 * [taylor]: Taking taylor expansion of 2 in b
3.382 * [backup-simplify]: Simplify 2 into 2
3.382 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.382 * [taylor]: Taking taylor expansion of (* a b) in b
3.382 * [taylor]: Taking taylor expansion of a in b
3.382 * [backup-simplify]: Simplify a into a
3.382 * [taylor]: Taking taylor expansion of b in b
3.382 * [backup-simplify]: Simplify 0 into 0
3.382 * [backup-simplify]: Simplify 1 into 1
3.382 * [backup-simplify]: Simplify (* a 0) into 0
3.382 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
3.382 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.382 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.382 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.382 * [taylor]: Taking taylor expansion of b in b
3.382 * [backup-simplify]: Simplify 0 into 0
3.382 * [backup-simplify]: Simplify 1 into 1
3.382 * [backup-simplify]: Simplify (* 1 1) into 1
3.383 * [backup-simplify]: Simplify (/ 1 1) into 1
3.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
3.383 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.383 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.383 * [taylor]: Taking taylor expansion of a in a
3.383 * [backup-simplify]: Simplify 0 into 0
3.383 * [backup-simplify]: Simplify 1 into 1
3.383 * [backup-simplify]: Simplify (* 1 1) into 1
3.383 * [backup-simplify]: Simplify (/ 1 1) into 1
3.383 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
3.383 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
3.383 * [taylor]: Taking taylor expansion of 2 in a
3.383 * [backup-simplify]: Simplify 2 into 2
3.383 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.383 * [taylor]: Taking taylor expansion of (* a b) in a
3.383 * [taylor]: Taking taylor expansion of a in a
3.383 * [backup-simplify]: Simplify 0 into 0
3.383 * [backup-simplify]: Simplify 1 into 1
3.383 * [taylor]: Taking taylor expansion of b in a
3.383 * [backup-simplify]: Simplify b into b
3.383 * [backup-simplify]: Simplify (* 0 b) into 0
3.384 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
3.384 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.384 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
3.384 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.384 * [taylor]: Taking taylor expansion of b in a
3.384 * [backup-simplify]: Simplify b into b
3.384 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.384 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.384 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
3.384 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.384 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.384 * [taylor]: Taking taylor expansion of a in a
3.384 * [backup-simplify]: Simplify 0 into 0
3.384 * [backup-simplify]: Simplify 1 into 1
3.384 * [backup-simplify]: Simplify (* 1 1) into 1
3.384 * [backup-simplify]: Simplify (/ 1 1) into 1
3.384 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
3.385 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
3.385 * [taylor]: Taking taylor expansion of 2 in a
3.385 * [backup-simplify]: Simplify 2 into 2
3.385 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.385 * [taylor]: Taking taylor expansion of (* a b) in a
3.385 * [taylor]: Taking taylor expansion of a in a
3.385 * [backup-simplify]: Simplify 0 into 0
3.385 * [backup-simplify]: Simplify 1 into 1
3.385 * [taylor]: Taking taylor expansion of b in a
3.385 * [backup-simplify]: Simplify b into b
3.385 * [backup-simplify]: Simplify (* 0 b) into 0
3.385 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
3.385 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.385 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
3.385 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.385 * [taylor]: Taking taylor expansion of b in a
3.385 * [backup-simplify]: Simplify b into b
3.385 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.385 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.385 * [backup-simplify]: Simplify (+ 1 0) into 1
3.385 * [taylor]: Taking taylor expansion of 1 in b
3.385 * [backup-simplify]: Simplify 1 into 1
3.386 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.386 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b)
3.386 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
3.386 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b))
3.386 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
3.386 * [taylor]: Taking taylor expansion of 2 in b
3.387 * [backup-simplify]: Simplify 2 into 2
3.387 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.387 * [taylor]: Taking taylor expansion of b in b
3.387 * [backup-simplify]: Simplify 0 into 0
3.387 * [backup-simplify]: Simplify 1 into 1
3.387 * [backup-simplify]: Simplify (/ 1 1) into 1
3.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.388 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
3.388 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.389 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0
3.389 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
3.389 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
3.389 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.389 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.389 * [taylor]: Taking taylor expansion of b in b
3.389 * [backup-simplify]: Simplify 0 into 0
3.389 * [backup-simplify]: Simplify 1 into 1
3.389 * [backup-simplify]: Simplify (* 1 1) into 1
3.389 * [backup-simplify]: Simplify (/ 1 1) into 1
3.389 * [backup-simplify]: Simplify 1 into 1
3.390 * [backup-simplify]: Simplify (* 2 1) into 2
3.390 * [backup-simplify]: Simplify 2 into 2
3.390 * [backup-simplify]: Simplify 1 into 1
3.390 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
3.390 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
3.390 * [backup-simplify]: Simplify (* (+ a b) a) into (* a (+ a b))
3.390 * [approximate]: Taking taylor expansion of (* a (+ a b)) in (a b) around 0
3.390 * [taylor]: Taking taylor expansion of (* a (+ a b)) in b
3.390 * [taylor]: Taking taylor expansion of a in b
3.390 * [backup-simplify]: Simplify a into a
3.390 * [taylor]: Taking taylor expansion of (+ a b) in b
3.390 * [taylor]: Taking taylor expansion of a in b
3.390 * [backup-simplify]: Simplify a into a
3.390 * [taylor]: Taking taylor expansion of b in b
3.390 * [backup-simplify]: Simplify 0 into 0
3.390 * [backup-simplify]: Simplify 1 into 1
3.390 * [taylor]: Taking taylor expansion of (* a (+ a b)) in a
3.390 * [taylor]: Taking taylor expansion of a in a
3.390 * [backup-simplify]: Simplify 0 into 0
3.390 * [backup-simplify]: Simplify 1 into 1
3.390 * [taylor]: Taking taylor expansion of (+ a b) in a
3.390 * [taylor]: Taking taylor expansion of a in a
3.390 * [backup-simplify]: Simplify 0 into 0
3.390 * [backup-simplify]: Simplify 1 into 1
3.390 * [taylor]: Taking taylor expansion of b in a
3.391 * [backup-simplify]: Simplify b into b
3.391 * [taylor]: Taking taylor expansion of (* a (+ a b)) in a
3.391 * [taylor]: Taking taylor expansion of a in a
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify 1 into 1
3.391 * [taylor]: Taking taylor expansion of (+ a b) in a
3.391 * [taylor]: Taking taylor expansion of a in a
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify 1 into 1
3.391 * [taylor]: Taking taylor expansion of b in a
3.391 * [backup-simplify]: Simplify b into b
3.391 * [backup-simplify]: Simplify (+ 0 b) into b
3.391 * [backup-simplify]: Simplify (* 0 b) into 0
3.391 * [taylor]: Taking taylor expansion of 0 in b
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify (+ 1 0) into 1
3.391 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 b)) into b
3.391 * [taylor]: Taking taylor expansion of b in b
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify 1 into 1
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify 0 into 0
3.392 * [backup-simplify]: Simplify (+ 0 0) into 0
3.392 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 b))) into 1
3.392 * [taylor]: Taking taylor expansion of 1 in b
3.392 * [backup-simplify]: Simplify 1 into 1
3.392 * [backup-simplify]: Simplify 1 into 1
3.392 * [backup-simplify]: Simplify 1 into 1
3.392 * [backup-simplify]: Simplify 0 into 0
3.393 * [backup-simplify]: Simplify (+ 0 0) into 0
3.393 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 b)))) into 0
3.393 * [taylor]: Taking taylor expansion of 0 in b
3.393 * [backup-simplify]: Simplify 0 into 0
3.393 * [backup-simplify]: Simplify 0 into 0
3.393 * [backup-simplify]: Simplify 0 into 0
3.393 * [backup-simplify]: Simplify 0 into 0
3.394 * [backup-simplify]: Simplify 0 into 0
3.394 * [backup-simplify]: Simplify (+ 0 0) into 0
3.395 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 b))))) into 0
3.395 * [taylor]: Taking taylor expansion of 0 in b
3.395 * [backup-simplify]: Simplify 0 into 0
3.395 * [backup-simplify]: Simplify 0 into 0
3.395 * [backup-simplify]: Simplify (+ (* 1 (* b a)) (* 1 (pow (* 1 a) 2))) into (+ (pow a 2) (* a b))
3.395 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (/ 1 a)) into (/ (+ (/ 1 a) (/ 1 b)) a)
3.395 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in (a b) around 0
3.395 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in b
3.395 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
3.395 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.395 * [taylor]: Taking taylor expansion of a in b
3.395 * [backup-simplify]: Simplify a into a
3.395 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.395 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.395 * [taylor]: Taking taylor expansion of b in b
3.395 * [backup-simplify]: Simplify 0 into 0
3.395 * [backup-simplify]: Simplify 1 into 1
3.395 * [backup-simplify]: Simplify (/ 1 1) into 1
3.395 * [taylor]: Taking taylor expansion of a in b
3.395 * [backup-simplify]: Simplify a into a
3.396 * [backup-simplify]: Simplify (+ 0 1) into 1
3.396 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.396 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in a
3.396 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.396 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.396 * [taylor]: Taking taylor expansion of a in a
3.396 * [backup-simplify]: Simplify 0 into 0
3.396 * [backup-simplify]: Simplify 1 into 1
3.396 * [backup-simplify]: Simplify (/ 1 1) into 1
3.396 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.396 * [taylor]: Taking taylor expansion of b in a
3.396 * [backup-simplify]: Simplify b into b
3.396 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.396 * [taylor]: Taking taylor expansion of a in a
3.396 * [backup-simplify]: Simplify 0 into 0
3.396 * [backup-simplify]: Simplify 1 into 1
3.396 * [backup-simplify]: Simplify (+ 1 0) into 1
3.397 * [backup-simplify]: Simplify (/ 1 1) into 1
3.397 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in a
3.397 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.397 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.397 * [taylor]: Taking taylor expansion of a in a
3.397 * [backup-simplify]: Simplify 0 into 0
3.397 * [backup-simplify]: Simplify 1 into 1
3.397 * [backup-simplify]: Simplify (/ 1 1) into 1
3.397 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.397 * [taylor]: Taking taylor expansion of b in a
3.397 * [backup-simplify]: Simplify b into b
3.397 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.397 * [taylor]: Taking taylor expansion of a in a
3.397 * [backup-simplify]: Simplify 0 into 0
3.397 * [backup-simplify]: Simplify 1 into 1
3.397 * [backup-simplify]: Simplify (+ 1 0) into 1
3.398 * [backup-simplify]: Simplify (/ 1 1) into 1
3.398 * [taylor]: Taking taylor expansion of 1 in b
3.398 * [backup-simplify]: Simplify 1 into 1
3.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.398 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
3.399 * [backup-simplify]: Simplify (- (/ (/ 1 b) 1) (+ (* 1 (/ 0 1)))) into (/ 1 b)
3.399 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.399 * [taylor]: Taking taylor expansion of b in b
3.399 * [backup-simplify]: Simplify 0 into 0
3.399 * [backup-simplify]: Simplify 1 into 1
3.399 * [backup-simplify]: Simplify (/ 1 1) into 1
3.399 * [backup-simplify]: Simplify 1 into 1
3.399 * [backup-simplify]: Simplify 1 into 1
3.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.400 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.400 * [backup-simplify]: Simplify (+ 0 0) into 0
3.401 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)))) into 0
3.401 * [taylor]: Taking taylor expansion of 0 in b
3.401 * [backup-simplify]: Simplify 0 into 0
3.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.401 * [backup-simplify]: Simplify 0 into 0
3.401 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.402 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.402 * [backup-simplify]: Simplify (+ 0 0) into 0
3.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.403 * [taylor]: Taking taylor expansion of 0 in b
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.404 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.405 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.405 * [backup-simplify]: Simplify (+ 0 0) into 0
3.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.406 * [taylor]: Taking taylor expansion of 0 in b
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (* 1 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))))) into (+ (pow a 2) (* a b))
3.407 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- a))) into (/ (+ (/ 1 a) (/ 1 b)) a)
3.407 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in (a b) around 0
3.407 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in b
3.407 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
3.407 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.407 * [taylor]: Taking taylor expansion of a in b
3.407 * [backup-simplify]: Simplify a into a
3.407 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.407 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.407 * [taylor]: Taking taylor expansion of b in b
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify 1 into 1
3.407 * [backup-simplify]: Simplify (/ 1 1) into 1
3.407 * [taylor]: Taking taylor expansion of a in b
3.407 * [backup-simplify]: Simplify a into a
3.407 * [backup-simplify]: Simplify (+ 0 1) into 1
3.407 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.407 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in a
3.407 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.407 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.407 * [taylor]: Taking taylor expansion of a in a
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify 1 into 1
3.408 * [backup-simplify]: Simplify (/ 1 1) into 1
3.408 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.408 * [taylor]: Taking taylor expansion of b in a
3.408 * [backup-simplify]: Simplify b into b
3.408 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.408 * [taylor]: Taking taylor expansion of a in a
3.408 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify 1 into 1
3.408 * [backup-simplify]: Simplify (+ 1 0) into 1
3.409 * [backup-simplify]: Simplify (/ 1 1) into 1
3.409 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) a) in a
3.409 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.409 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.409 * [taylor]: Taking taylor expansion of a in a
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify 1 into 1
3.409 * [backup-simplify]: Simplify (/ 1 1) into 1
3.409 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.409 * [taylor]: Taking taylor expansion of b in a
3.409 * [backup-simplify]: Simplify b into b
3.409 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.409 * [taylor]: Taking taylor expansion of a in a
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify 1 into 1
3.410 * [backup-simplify]: Simplify (+ 1 0) into 1
3.410 * [backup-simplify]: Simplify (/ 1 1) into 1
3.410 * [taylor]: Taking taylor expansion of 1 in b
3.410 * [backup-simplify]: Simplify 1 into 1
3.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.411 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
3.412 * [backup-simplify]: Simplify (- (/ (/ 1 b) 1) (+ (* 1 (/ 0 1)))) into (/ 1 b)
3.412 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.412 * [taylor]: Taking taylor expansion of b in b
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 1 into 1
3.412 * [backup-simplify]: Simplify (/ 1 1) into 1
3.412 * [backup-simplify]: Simplify 1 into 1
3.412 * [backup-simplify]: Simplify 1 into 1
3.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.413 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.413 * [backup-simplify]: Simplify (+ 0 0) into 0
3.415 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)))) into 0
3.415 * [taylor]: Taking taylor expansion of 0 in b
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.417 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.417 * [backup-simplify]: Simplify (+ 0 0) into 0
3.419 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.419 * [taylor]: Taking taylor expansion of 0 in b
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.421 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.421 * [backup-simplify]: Simplify (+ 0 0) into 0
3.423 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 b) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.423 * [taylor]: Taking taylor expansion of 0 in b
3.423 * [backup-simplify]: Simplify 0 into 0
3.423 * [backup-simplify]: Simplify 0 into 0
3.424 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (* 1 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))))) into (+ (pow a 2) (* a b))
3.424 * * * [progress]: simplifying candidates
3.424 * * * * [progress]: [ 1 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (pow (* (+ a b) b) 1)))>
3.424 * [simplify]: Simplifying (* (+ a b) b)
3.424 * * [simplify]: iters left: 4 (4 enodes)
3.426 * * [simplify]: iters left: 3 (14 enodes)
3.429 * * [simplify]: iters left: 2 (21 enodes)
3.435 * * [simplify]: iters left: 1 (27 enodes)
3.438 * * [simplify]: Extracting #0: cost 1 inf + 0
3.438 * * [simplify]: Extracting #1: cost 6 inf + 0
3.438 * * [simplify]: Extracting #2: cost 8 inf + 42
3.438 * * [simplify]: Extracting #3: cost 6 inf + 84
3.438 * * [simplify]: Extracting #4: cost 0 inf + 416
3.438 * [simplify]: Simplified to (* (+ b a) b)
3.438 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (pow (* (+ b a) b) 1)))
3.438 * * * * [progress]: [ 2 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (pow (* (+ a b) b) 1)))>
3.438 * * * * [progress]: [ 3 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (exp (+ (log (+ a b)) (log b)))))>
3.438 * [simplify]: Simplifying (+ (log (+ a b)) (log b))
3.438 * * [simplify]: iters left: 5 (6 enodes)
3.440 * * [simplify]: iters left: 4 (20 enodes)
3.443 * * [simplify]: Extracting #0: cost 1 inf + 0
3.443 * * [simplify]: Extracting #1: cost 4 inf + 0
3.443 * * [simplify]: Extracting #2: cost 8 inf + 0
3.443 * * [simplify]: Extracting #3: cost 7 inf + 143
3.443 * * [simplify]: Extracting #4: cost 6 inf + 144
3.443 * * [simplify]: Extracting #5: cost 0 inf + 896
3.443 * [simplify]: Simplified to (+ (log (+ b a)) (log b))
3.443 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (exp (+ (log (+ b a)) (log b)))))
3.443 * * * * [progress]: [ 4 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (exp (log (* (+ a b) b)))))>
3.443 * * * * [progress]: [ 5 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (log (exp (* (+ a b) b)))))>
3.443 * * * * [progress]: [ 6 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (cbrt (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* b b) b)))))>
3.443 * [simplify]: Simplifying (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* b b) b))
3.443 * * [simplify]: iters left: 6 (8 enodes)
3.447 * * [simplify]: iters left: 5 (44 enodes)
3.458 * * [simplify]: iters left: 4 (151 enodes)
3.526 * * [simplify]: iters left: 3 (479 enodes)
3.909 * * [simplify]: Extracting #0: cost 1 inf + 0
3.909 * * [simplify]: Extracting #1: cost 48 inf + 0
3.910 * * [simplify]: Extracting #2: cost 292 inf + 2
3.912 * * [simplify]: Extracting #3: cost 314 inf + 7982
3.923 * * [simplify]: Extracting #4: cost 107 inf + 50331
3.939 * * [simplify]: Extracting #5: cost 0 inf + 74479
3.961 * * [simplify]: Extracting #6: cost 0 inf + 74399
3.979 * [simplify]: Simplified to (* (* (+ b a) b) (* (* (+ b a) b) (* (+ b a) b)))
3.979 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (cbrt (* (* (+ b a) b) (* (* (+ b a) b) (* (+ b a) b))))))
3.979 * * * * [progress]: [ 7 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (cbrt (* (+ a b) b)) (cbrt (* (+ a b) b))) (cbrt (* (+ a b) b)))))>
3.980 * * * * [progress]: [ 8 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (cbrt (* (* (* (+ a b) b) (* (+ a b) b)) (* (+ a b) b)))))>
3.980 * * * * [progress]: [ 9 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (sqrt (* (+ a b) b)) (sqrt (* (+ a b) b)))))>
3.980 * * * * [progress]: [ 10 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* 1 (* (+ a b) b))))>
3.980 * * * * [progress]: [ 11 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (sqrt (+ a b)) (sqrt b)) (* (sqrt (+ a b)) (sqrt b)))))>
3.980 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt b))
3.980 * * [simplify]: iters left: 5 (6 enodes)
3.981 * * [simplify]: iters left: 4 (20 enodes)
3.984 * * [simplify]: Extracting #0: cost 1 inf + 0
3.984 * * [simplify]: Extracting #1: cost 4 inf + 0
3.984 * * [simplify]: Extracting #2: cost 8 inf + 0
3.984 * * [simplify]: Extracting #3: cost 7 inf + 83
3.985 * * [simplify]: Extracting #4: cost 6 inf + 84
3.985 * * [simplify]: Extracting #5: cost 0 inf + 656
3.985 * [simplify]: Simplified to (* (sqrt (+ b a)) (sqrt b))
3.985 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (* (* (sqrt (+ b a)) (sqrt b)) (* (sqrt (+ a b)) (sqrt b)))))
3.985 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt b))
3.985 * * [simplify]: iters left: 5 (6 enodes)
3.987 * * [simplify]: iters left: 4 (20 enodes)
3.990 * * [simplify]: Extracting #0: cost 1 inf + 0
3.991 * * [simplify]: Extracting #1: cost 4 inf + 0
3.991 * * [simplify]: Extracting #2: cost 8 inf + 0
3.991 * * [simplify]: Extracting #3: cost 7 inf + 83
3.991 * * [simplify]: Extracting #4: cost 6 inf + 84
3.991 * * [simplify]: Extracting #5: cost 0 inf + 656
3.991 * [simplify]: Simplified to (* (sqrt (+ b a)) (sqrt b))
3.991 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* (+ a b) a) (* (* (sqrt (+ a b)) (sqrt b)) (* (sqrt (+ b a)) (sqrt b)))))
3.991 * * * * [progress]: [ 12 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (+ a b) (* (cbrt b) (cbrt b))) (cbrt b))))>
3.991 * [simplify]: Simplifying (cbrt b)
3.992 * * [simplify]: iters left: 1 (2 enodes)
3.992 * * [simplify]: Extracting #0: cost 1 inf + 0
3.992 * * [simplify]: Extracting #1: cost 3 inf + 0
3.992 * * [simplify]: Extracting #2: cost 2 inf + 1
3.992 * * [simplify]: Extracting #3: cost 0 inf + 163
3.993 * [simplify]: Simplified to (cbrt b)
3.993 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* (+ a b) a) (* (* (+ a b) (* (cbrt b) (cbrt b))) (cbrt b))))
3.993 * * * * [progress]: [ 13 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (+ a b) (sqrt b)) (sqrt b))))>
3.993 * [simplify]: Simplifying (sqrt b)
3.993 * * [simplify]: iters left: 1 (2 enodes)
3.993 * * [simplify]: Extracting #0: cost 1 inf + 0
3.993 * * [simplify]: Extracting #1: cost 3 inf + 0
3.993 * * [simplify]: Extracting #2: cost 2 inf + 1
3.993 * * [simplify]: Extracting #3: cost 0 inf + 83
3.993 * [simplify]: Simplified to (sqrt b)
3.994 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* (+ a b) a) (* (* (+ a b) (sqrt b)) (sqrt b))))
3.994 * * * * [progress]: [ 14 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (+ a b) 1) b)))>
3.994 * * * * [progress]: [ 15 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) b))))>
3.994 * [simplify]: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b)))
3.994 * * [simplify]: iters left: 5 (5 enodes)
3.995 * * [simplify]: iters left: 4 (16 enodes)
3.998 * * [simplify]: Extracting #0: cost 1 inf + 0
3.998 * * [simplify]: Extracting #1: cost 3 inf + 0
3.998 * * [simplify]: Extracting #2: cost 5 inf + 0
3.998 * * [simplify]: Extracting #3: cost 8 inf + 0
3.998 * * [simplify]: Extracting #4: cost 6 inf + 2
3.998 * * [simplify]: Extracting #5: cost 0 inf + 654
3.998 * [simplify]: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a)))
3.998 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (* (* (cbrt (+ b a)) (cbrt (+ b a))) (* (cbrt (+ a b)) b))))
3.998 * * * * [progress]: [ 16 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (sqrt (+ a b)) (* (sqrt (+ a b)) b))))>
3.998 * [simplify]: Simplifying (sqrt (+ a b))
3.998 * * [simplify]: iters left: 3 (4 enodes)
3.999 * * [simplify]: iters left: 2 (13 enodes)
4.001 * * [simplify]: Extracting #0: cost 1 inf + 0
4.001 * * [simplify]: Extracting #1: cost 3 inf + 0
4.001 * * [simplify]: Extracting #2: cost 6 inf + 0
4.001 * * [simplify]: Extracting #3: cost 4 inf + 2
4.001 * * [simplify]: Extracting #4: cost 0 inf + 250
4.001 * [simplify]: Simplified to (sqrt (+ b a))
4.001 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (* (sqrt (+ b a)) (* (sqrt (+ a b)) b))))
4.001 * * * * [progress]: [ 17 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* 1 (* (+ a b) b))))>
4.001 * * * * [progress]: [ 18 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* 1 (* (+ a b) b))))>
4.001 * * * * [progress]: [ 19 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (/ (* (+ (pow a 3) (pow b 3)) b) (+ (* a a) (- (* b b) (* a b))))))>
4.002 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) b)
4.002 * * [simplify]: iters left: 5 (7 enodes)
4.004 * * [simplify]: iters left: 4 (36 enodes)
4.013 * * [simplify]: iters left: 3 (71 enodes)
4.035 * * [simplify]: iters left: 2 (149 enodes)
4.071 * * [simplify]: iters left: 1 (272 enodes)
4.155 * * [simplify]: Extracting #0: cost 1 inf + 0
4.155 * * [simplify]: Extracting #1: cost 6 inf + 0
4.155 * * [simplify]: Extracting #2: cost 36 inf + 1
4.155 * * [simplify]: Extracting #3: cost 96 inf + 287
4.156 * * [simplify]: Extracting #4: cost 74 inf + 4149
4.158 * * [simplify]: Extracting #5: cost 31 inf + 20836
4.161 * * [simplify]: Extracting #6: cost 2 inf + 32639
4.166 * * [simplify]: Extracting #7: cost 0 inf + 33314
4.171 * [simplify]: Simplified to (+ (* (* b b) (* b b)) (* (* (* b a) a) a))
4.171 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (/ (+ (* (* b b) (* b b)) (* (* (* b a) a) a)) (+ (* a a) (- (* b b) (* a b))))))
4.171 * * * * [progress]: [ 20 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (/ (* (- (* a a) (* b b)) b) (- a b))))>
4.171 * [simplify]: Simplifying (* (- (* a a) (* b b)) b)
4.172 * * [simplify]: iters left: 6 (6 enodes)
4.174 * * [simplify]: iters left: 5 (24 enodes)
4.182 * * [simplify]: iters left: 4 (47 enodes)
4.199 * * [simplify]: iters left: 3 (99 enodes)
4.225 * * [simplify]: iters left: 2 (215 enodes)
4.281 * * [simplify]: iters left: 1 (401 enodes)
4.440 * * [simplify]: Extracting #0: cost 1 inf + 0
4.440 * * [simplify]: Extracting #1: cost 27 inf + 0
4.440 * * [simplify]: Extracting #2: cost 73 inf + 1
4.441 * * [simplify]: Extracting #3: cost 92 inf + 249
4.443 * * [simplify]: Extracting #4: cost 45 inf + 7256
4.446 * * [simplify]: Extracting #5: cost 8 inf + 12018
4.450 * * [simplify]: Extracting #6: cost 0 inf + 12414
4.454 * * [simplify]: Extracting #7: cost 0 inf + 12134
4.458 * [simplify]: Simplified to (* (- (* a a) (* b b)) b)
4.458 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (/ (* (- (* a a) (* b b)) b) (- a b))))
4.458 * * * * [progress]: [ 21 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (posit16->real (real->posit16 (* (+ a b) b)))))>
4.458 * * * * [progress]: [ 22 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* b (+ a b))))>
4.458 * * * * [progress]: [ 23 / 70 ] simplifiying candidate #<alt (λ (a b) (log (* (exp (* (+ a b) a)) (exp (* (+ a b) b)))))>
4.459 * [simplify]: Simplifying (* (exp (* (+ a b) a)) (exp (* (+ a b) b)))
4.459 * * [simplify]: iters left: 6 (8 enodes)
4.461 * * [simplify]: iters left: 5 (33 enodes)
4.467 * * [simplify]: iters left: 4 (65 enodes)
4.489 * * [simplify]: iters left: 3 (150 enodes)
4.520 * * [simplify]: iters left: 2 (360 enodes)
4.667 * * [simplify]: Extracting #0: cost 1 inf + 0
4.667 * * [simplify]: Extracting #1: cost 70 inf + 0
4.668 * * [simplify]: Extracting #2: cost 235 inf + 0
4.669 * * [simplify]: Extracting #3: cost 247 inf + 3652
4.673 * * [simplify]: Extracting #4: cost 151 inf + 26876
4.682 * * [simplify]: Extracting #5: cost 47 inf + 82187
4.702 * * [simplify]: Extracting #6: cost 0 inf + 115722
4.725 * * [simplify]: Extracting #7: cost 0 inf + 114276
4.748 * * [simplify]: Extracting #8: cost 0 inf + 113995
4.774 * [simplify]: Simplified to (exp (* (+ b a) (+ b a)))
4.774 * [simplify]: Simplified (2 1) to (λ (a b) (log (exp (* (+ b a) (+ b a)))))
4.774 * * * * [progress]: [ 24 / 70 ] simplifiying candidate #<alt (λ (a b) (pow (+ (* (+ a b) a) (* (+ a b) b)) 1))>
4.774 * * * * [progress]: [ 25 / 70 ] simplifiying candidate #<alt (λ (a b) (exp (log (+ (* (+ a b) a) (* (+ a b) b)))))>
4.774 * * * * [progress]: [ 26 / 70 ] simplifiying candidate #<alt (λ (a b) (log (exp (+ (* (+ a b) a) (* (+ a b) b)))))>
4.774 * * * * [progress]: [ 27 / 70 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (+ (* (+ a b) a) (* (+ a b) b))) (cbrt (+ (* (+ a b) a) (* (+ a b) b)))) (cbrt (+ (* (+ a b) a) (* (+ a b) b)))))>
4.774 * * * * [progress]: [ 28 / 70 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (+ (* (+ a b) a) (* (+ a b) b)) (+ (* (+ a b) a) (* (+ a b) b))) (+ (* (+ a b) a) (* (+ a b) b)))))>
4.774 * * * * [progress]: [ 29 / 70 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (+ (* (+ a b) a) (* (+ a b) b))) (sqrt (+ (* (+ a b) a) (* (+ a b) b)))))>
4.774 * * * * [progress]: [ 30 / 70 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (+ (pow a 3) (pow b 3)) a) (+ (* a a) (- (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (* (+ (pow a 3) (pow b 3)) b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))))>
4.775 * [simplify]: Simplifying (+ (* (* (+ (pow a 3) (pow b 3)) a) (+ (* a a) (- (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (* (+ (pow a 3) (pow b 3)) b)))
4.775 * * [simplify]: iters left: 6 (16 enodes)
4.783 * * [simplify]: iters left: 5 (83 enodes)
4.818 * * [simplify]: iters left: 4 (227 enodes)
4.970 * * [simplify]: Extracting #0: cost 1 inf + 0
4.970 * * [simplify]: Extracting #1: cost 23 inf + 0
4.971 * * [simplify]: Extracting #2: cost 176 inf + 0
4.972 * * [simplify]: Extracting #3: cost 274 inf + 250
4.975 * * [simplify]: Extracting #4: cost 174 inf + 20124
4.987 * * [simplify]: Extracting #5: cost 13 inf + 65422
5.010 * * [simplify]: Extracting #6: cost 1 inf + 68045
5.025 * * [simplify]: Extracting #7: cost 0 inf + 68257
5.040 * [simplify]: Simplified to (* (* (+ (* (* a a) a) (* (* b b) b)) (+ (* a a) (* b (- b a)))) (+ b a))
5.040 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (* (+ (* (* a a) a) (* (* b b) b)) (+ (* a a) (* b (- b a)))) (+ b a)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))))
5.040 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))
5.040 * * [simplify]: iters left: 6 (8 enodes)
5.043 * * [simplify]: iters left: 5 (38 enodes)
5.050 * * [simplify]: iters left: 4 (95 enodes)
5.086 * * [simplify]: iters left: 3 (325 enodes)
5.238 * * [simplify]: Extracting #0: cost 1 inf + 0
5.238 * * [simplify]: Extracting #1: cost 30 inf + 0
5.238 * * [simplify]: Extracting #2: cost 176 inf + 0
5.240 * * [simplify]: Extracting #3: cost 205 inf + 3645
5.245 * * [simplify]: Extracting #4: cost 105 inf + 22995
5.259 * * [simplify]: Extracting #5: cost 7 inf + 45867
5.272 * * [simplify]: Extracting #6: cost 0 inf + 47401
5.286 * * [simplify]: Extracting #7: cost 0 inf + 47361
5.303 * [simplify]: Simplified to (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a))))
5.303 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (* (+ (* (* a a) a) (* (* b b) b)) (+ (* a a) (* b (- b a)))) (+ b a)) (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a))))))
5.303 * * * * [progress]: [ 31 / 70 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (+ (pow a 3) (pow b 3)) a) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (- (* a a) (* b b)) b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b))))>
5.303 * [simplify]: Simplifying (+ (* (* (+ (pow a 3) (pow b 3)) a) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (- (* a a) (* b b)) b)))
5.304 * * [simplify]: iters left: 6 (18 enodes)
5.312 * * [simplify]: iters left: 5 (89 enodes)
5.334 * * [simplify]: iters left: 4 (207 enodes)
5.410 * * [simplify]: Extracting #0: cost 1 inf + 0
5.410 * * [simplify]: Extracting #1: cost 14 inf + 0
5.411 * * [simplify]: Extracting #2: cost 119 inf + 0
5.412 * * [simplify]: Extracting #3: cost 186 inf + 168
5.414 * * [simplify]: Extracting #4: cost 174 inf + 9932
5.420 * * [simplify]: Extracting #5: cost 34 inf + 40047
5.429 * * [simplify]: Extracting #6: cost 12 inf + 46882
5.439 * * [simplify]: Extracting #7: cost 9 inf + 47589
5.451 * * [simplify]: Extracting #8: cost 2 inf + 48942
5.461 * * [simplify]: Extracting #9: cost 0 inf + 49366
5.472 * [simplify]: Simplified to (+ (* (* (- a b) a) (+ (* (* a a) a) (* (* b b) b))) (* (* b (+ (* b b) (* (- a b) a))) (- (* a a) (* b b))))
5.473 * [simplify]: Simplified (2 1) to (λ (a b) (/ (+ (* (* (- a b) a) (+ (* (* a a) a) (* (* b b) b))) (* (* b (+ (* b b) (* (- a b) a))) (- (* a a) (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (- a b))))
5.473 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (- a b))
5.473 * * [simplify]: iters left: 6 (9 enodes)
5.475 * * [simplify]: iters left: 5 (38 enodes)
5.482 * * [simplify]: iters left: 4 (75 enodes)
5.504 * * [simplify]: iters left: 3 (184 enodes)
5.575 * * [simplify]: Extracting #0: cost 1 inf + 0
5.575 * * [simplify]: Extracting #1: cost 46 inf + 0
5.576 * * [simplify]: Extracting #2: cost 114 inf + 0
5.577 * * [simplify]: Extracting #3: cost 110 inf + 1429
5.582 * * [simplify]: Extracting #4: cost 35 inf + 12966
5.591 * * [simplify]: Extracting #5: cost 0 inf + 20274
5.600 * * [simplify]: Extracting #6: cost 0 inf + 20194
5.609 * [simplify]: Simplified to (* (- a b) (+ (* (- a b) a) (* b b)))
5.609 * [simplify]: Simplified (2 2) to (λ (a b) (/ (+ (* (* (- a b) a) (+ (* (* a a) a) (* (* b b) b))) (* (* b (+ (* b b) (* (- a b) a))) (- (* a a) (* b b)))) (* (- a b) (+ (* (- a b) a) (* b b)))))
5.609 * * * * [progress]: [ 32 / 70 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (- (* a a) (* b b)) a) (+ (* a a) (- (* b b) (* a b)))) (* (- a b) (* (+ (pow a 3) (pow b 3)) b))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))))>
5.609 * [simplify]: Simplifying (+ (* (* (- (* a a) (* b b)) a) (+ (* a a) (- (* b b) (* a b)))) (* (- a b) (* (+ (pow a 3) (pow b 3)) b)))
5.609 * * [simplify]: iters left: 6 (18 enodes)
5.618 * * [simplify]: iters left: 5 (95 enodes)
5.644 * * [simplify]: iters left: 4 (253 enodes)
5.784 * * [simplify]: Extracting #0: cost 1 inf + 0
5.784 * * [simplify]: Extracting #1: cost 12 inf + 0
5.785 * * [simplify]: Extracting #2: cost 152 inf + 0
5.786 * * [simplify]: Extracting #3: cost 268 inf + 493
5.791 * * [simplify]: Extracting #4: cost 190 inf + 18577
5.802 * * [simplify]: Extracting #5: cost 24 inf + 55560
5.814 * * [simplify]: Extracting #6: cost 4 inf + 61053
5.826 * * [simplify]: Extracting #7: cost 0 inf + 61941
5.843 * [simplify]: Simplified to (+ (* (* a (+ (* b (- b a)) (* a a))) (- (* a a) (* b b))) (* (- a b) (+ (* (* b b) (* b b)) (* (* a b) (* a a)))))
5.843 * [simplify]: Simplified (2 1) to (λ (a b) (/ (+ (* (* a (+ (* b (- b a)) (* a a))) (- (* a a) (* b b))) (* (- a b) (+ (* (* b b) (* b b)) (* (* a b) (* a a))))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))))
5.844 * [simplify]: Simplifying (* (- a b) (+ (* a a) (- (* b b) (* a b))))
5.844 * * [simplify]: iters left: 6 (9 enodes)
5.848 * * [simplify]: iters left: 5 (44 enodes)
5.859 * * [simplify]: iters left: 4 (109 enodes)
5.885 * * [simplify]: iters left: 3 (298 enodes)
6.008 * * [simplify]: Extracting #0: cost 1 inf + 0
6.008 * * [simplify]: Extracting #1: cost 39 inf + 0
6.008 * * [simplify]: Extracting #2: cost 148 inf + 0
6.009 * * [simplify]: Extracting #3: cost 147 inf + 2505
6.014 * * [simplify]: Extracting #4: cost 34 inf + 22688
6.025 * * [simplify]: Extracting #5: cost 2 inf + 29260
6.034 * * [simplify]: Extracting #6: cost 0 inf + 29373
6.047 * * [simplify]: Extracting #7: cost 0 inf + 29293
6.054 * [simplify]: Simplified to (* (+ (* b b) (* a (- a b))) (- a b))
6.054 * [simplify]: Simplified (2 2) to (λ (a b) (/ (+ (* (* a (+ (* b (- b a)) (* a a))) (- (* a a) (* b b))) (* (- a b) (+ (* (* b b) (* b b)) (* (* a b) (* a a))))) (* (+ (* b b) (* a (- a b))) (- a b))))
6.054 * * * * [progress]: [ 33 / 70 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (- (* a a) (* b b)) a) (- a b)) (* (- a b) (* (- (* a a) (* b b)) b))) (* (- a b) (- a b))))>
6.054 * [simplify]: Simplifying (+ (* (* (- (* a a) (* b b)) a) (- a b)) (* (- a b) (* (- (* a a) (* b b)) b)))
6.054 * * [simplify]: iters left: 6 (11 enodes)
6.057 * * [simplify]: iters left: 5 (48 enodes)
6.067 * * [simplify]: iters left: 4 (126 enodes)
6.135 * * [simplify]: Extracting #0: cost 1 inf + 0
6.135 * * [simplify]: Extracting #1: cost 14 inf + 0
6.135 * * [simplify]: Extracting #2: cost 107 inf + 0
6.136 * * [simplify]: Extracting #3: cost 150 inf + 372
6.140 * * [simplify]: Extracting #4: cost 68 inf + 12410
6.147 * * [simplify]: Extracting #5: cost 2 inf + 24217
6.153 * * [simplify]: Extracting #6: cost 0 inf + 24461
6.161 * [simplify]: Simplified to (* (- a b) (* (* (+ a b) (- a b)) (+ a b)))
6.161 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- a b) (* (* (+ a b) (- a b)) (+ a b))) (* (- a b) (- a b))))
6.161 * [simplify]: Simplifying (* (- a b) (- a b))
6.161 * * [simplify]: iters left: 4 (4 enodes)
6.163 * * [simplify]: iters left: 3 (14 enodes)
6.166 * * [simplify]: iters left: 2 (23 enodes)
6.173 * * [simplify]: iters left: 1 (49 enodes)
6.187 * * [simplify]: Extracting #0: cost 1 inf + 0
6.187 * * [simplify]: Extracting #1: cost 17 inf + 0
6.188 * * [simplify]: Extracting #2: cost 32 inf + 0
6.188 * * [simplify]: Extracting #3: cost 30 inf + 43
6.188 * * [simplify]: Extracting #4: cost 7 inf + 2364
6.190 * * [simplify]: Extracting #5: cost 0 inf + 3176
6.191 * [simplify]: Simplified to (* (- a b) (- a b))
6.191 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- a b) (* (* (+ a b) (- a b)) (+ a b))) (* (- a b) (- a b))))
6.191 * * * * [progress]: [ 34 / 70 ] simplifiying candidate #<alt (λ (a b) (/ (+ (pow (* (+ a b) a) 3) (pow (* (+ a b) b) 3)) (+ (* (* (+ a b) a) (* (+ a b) a)) (- (* (* (+ a b) b) (* (+ a b) b)) (* (* (+ a b) a) (* (+ a b) b))))))>
6.191 * * * * [progress]: [ 35 / 70 ] simplifiying candidate #<alt (λ (a b) (* 1 (+ (* (+ a b) a) (* (+ a b) b))))>
6.191 * * * * [progress]: [ 36 / 70 ] simplifiying candidate #<alt (λ (a b) (/ (- (* (* (+ a b) a) (* (+ a b) a)) (* (* (+ a b) b) (* (+ a b) b))) (- (* (+ a b) a) (* (+ a b) b))))>
6.191 * * * * [progress]: [ 37 / 70 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
6.191 * [simplify]: Simplifying (+ a b)
6.191 * * [simplify]: iters left: 2 (3 enodes)
6.193 * * [simplify]: iters left: 1 (10 enodes)
6.195 * * [simplify]: Extracting #0: cost 1 inf + 0
6.195 * * [simplify]: Extracting #1: cost 4 inf + 0
6.195 * * [simplify]: Extracting #2: cost 2 inf + 2
6.195 * * [simplify]: Extracting #3: cost 0 inf + 86
6.195 * [simplify]: Simplified to (+ b a)
6.195 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (+ a b)))
6.195 * [simplify]: Simplifying (+ a b)
6.195 * * [simplify]: iters left: 2 (3 enodes)
6.196 * * [simplify]: iters left: 1 (10 enodes)
6.198 * * [simplify]: Extracting #0: cost 1 inf + 0
6.198 * * [simplify]: Extracting #1: cost 4 inf + 0
6.199 * * [simplify]: Extracting #2: cost 2 inf + 2
6.199 * * [simplify]: Extracting #3: cost 0 inf + 86
6.199 * [simplify]: Simplified to (+ b a)
6.199 * [simplify]: Simplified (2 2) to (λ (a b) (* (+ a b) (+ b a)))
6.199 * * * * [progress]: [ 38 / 70 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (+ (* (+ a b) a) (* (+ a b) b)))))>
6.199 * * * * [progress]: [ 39 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) b) (* (+ a b) a)))>
6.199 * * * * [progress]: [ 40 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (pow (* (+ a b) a) 1) (* (+ a b) b)))>
6.199 * [simplify]: Simplifying (* (+ a b) a)
6.199 * * [simplify]: iters left: 4 (4 enodes)
6.201 * * [simplify]: iters left: 3 (14 enodes)
6.204 * * [simplify]: iters left: 2 (21 enodes)
6.209 * * [simplify]: iters left: 1 (27 enodes)
6.213 * * [simplify]: Extracting #0: cost 1 inf + 0
6.213 * * [simplify]: Extracting #1: cost 6 inf + 0
6.213 * * [simplify]: Extracting #2: cost 8 inf + 42
6.213 * * [simplify]: Extracting #3: cost 1 inf + 374
6.213 * * [simplify]: Extracting #4: cost 0 inf + 416
6.213 * [simplify]: Simplified to (* a (+ b a))
6.213 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (pow (* a (+ b a)) 1) (* (+ a b) b)))
6.213 * * * * [progress]: [ 41 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (pow (* (+ a b) a) 1) (* (+ a b) b)))>
6.213 * * * * [progress]: [ 42 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (exp (+ (log (+ a b)) (log a))) (* (+ a b) b)))>
6.214 * [simplify]: Simplifying (+ (log (+ a b)) (log a))
6.214 * * [simplify]: iters left: 5 (6 enodes)
6.215 * * [simplify]: iters left: 4 (20 enodes)
6.218 * * [simplify]: Extracting #0: cost 1 inf + 0
6.218 * * [simplify]: Extracting #1: cost 4 inf + 0
6.218 * * [simplify]: Extracting #2: cost 8 inf + 0
6.218 * * [simplify]: Extracting #3: cost 9 inf + 1
6.218 * * [simplify]: Extracting #4: cost 0 inf + 896
6.218 * [simplify]: Simplified to (+ (log (+ b a)) (log a))
6.218 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (exp (+ (log (+ b a)) (log a))) (* (+ a b) b)))
6.218 * * * * [progress]: [ 43 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (exp (log (* (+ a b) a))) (* (+ a b) b)))>
6.218 * * * * [progress]: [ 44 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (log (exp (* (+ a b) a))) (* (+ a b) b)))>
6.218 * * * * [progress]: [ 45 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (cbrt (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* a a) a))) (* (+ a b) b)))>
6.219 * [simplify]: Simplifying (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* a a) a))
6.219 * * [simplify]: iters left: 6 (8 enodes)
6.221 * * [simplify]: iters left: 5 (44 enodes)
6.232 * * [simplify]: iters left: 4 (151 enodes)
6.286 * * [simplify]: iters left: 3 (477 enodes)
6.620 * * [simplify]: Extracting #0: cost 1 inf + 0
6.621 * * [simplify]: Extracting #1: cost 46 inf + 0
6.621 * * [simplify]: Extracting #2: cost 289 inf + 43
6.624 * * [simplify]: Extracting #3: cost 303 inf + 9710
6.635 * * [simplify]: Extracting #4: cost 71 inf + 57907
6.652 * * [simplify]: Extracting #5: cost 0 inf + 73313
6.673 * [simplify]: Simplified to (* (* a (+ b a)) (* (* a (+ b a)) (* a (+ b a))))
6.673 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (cbrt (* (* a (+ b a)) (* (* a (+ b a)) (* a (+ b a))))) (* (+ a b) b)))
6.673 * * * * [progress]: [ 46 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (* (cbrt (* (+ a b) a)) (cbrt (* (+ a b) a))) (cbrt (* (+ a b) a))) (* (+ a b) b)))>
6.673 * * * * [progress]: [ 47 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (cbrt (* (* (* (+ a b) a) (* (+ a b) a)) (* (+ a b) a))) (* (+ a b) b)))>
6.673 * * * * [progress]: [ 48 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (sqrt (* (+ a b) a)) (sqrt (* (+ a b) a))) (* (+ a b) b)))>
6.673 * * * * [progress]: [ 49 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* 1 (* (+ a b) a)) (* (+ a b) b)))>
6.673 * * * * [progress]: [ 50 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (* (sqrt (+ a b)) (sqrt a)) (* (sqrt (+ a b)) (sqrt a))) (* (+ a b) b)))>
6.673 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt a))
6.673 * * [simplify]: iters left: 5 (6 enodes)
6.675 * * [simplify]: iters left: 4 (20 enodes)
6.677 * * [simplify]: Extracting #0: cost 1 inf + 0
6.677 * * [simplify]: Extracting #1: cost 4 inf + 0
6.677 * * [simplify]: Extracting #2: cost 8 inf + 0
6.677 * * [simplify]: Extracting #3: cost 9 inf + 1
6.678 * * [simplify]: Extracting #4: cost 0 inf + 656
6.678 * [simplify]: Simplified to (* (sqrt (+ b a)) (sqrt a))
6.678 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (* (* (sqrt (+ b a)) (sqrt a)) (* (sqrt (+ a b)) (sqrt a))) (* (+ a b) b)))
6.678 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt a))
6.678 * * [simplify]: iters left: 5 (6 enodes)
6.679 * * [simplify]: iters left: 4 (20 enodes)
6.682 * * [simplify]: Extracting #0: cost 1 inf + 0
6.682 * * [simplify]: Extracting #1: cost 4 inf + 0
6.682 * * [simplify]: Extracting #2: cost 8 inf + 0
6.682 * * [simplify]: Extracting #3: cost 9 inf + 1
6.682 * * [simplify]: Extracting #4: cost 0 inf + 656
6.682 * [simplify]: Simplified to (* (sqrt (+ b a)) (sqrt a))
6.682 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* (sqrt (+ a b)) (sqrt a)) (* (sqrt (+ b a)) (sqrt a))) (* (+ a b) b)))
6.682 * * * * [progress]: [ 51 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (* (+ a b) (* (cbrt a) (cbrt a))) (cbrt a)) (* (+ a b) b)))>
6.683 * [simplify]: Simplifying (cbrt a)
6.683 * * [simplify]: iters left: 1 (2 enodes)
6.683 * * [simplify]: Extracting #0: cost 1 inf + 0
6.683 * * [simplify]: Extracting #1: cost 3 inf + 0
6.683 * * [simplify]: Extracting #2: cost 2 inf + 1
6.683 * * [simplify]: Extracting #3: cost 0 inf + 163
6.683 * [simplify]: Simplified to (cbrt a)
6.683 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* (+ a b) (* (cbrt a) (cbrt a))) (cbrt a)) (* (+ a b) b)))
6.683 * * * * [progress]: [ 52 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (* (+ a b) (sqrt a)) (sqrt a)) (* (+ a b) b)))>
6.683 * [simplify]: Simplifying (sqrt a)
6.683 * * [simplify]: iters left: 1 (2 enodes)
6.684 * * [simplify]: Extracting #0: cost 1 inf + 0
6.684 * * [simplify]: Extracting #1: cost 3 inf + 0
6.684 * * [simplify]: Extracting #2: cost 2 inf + 1
6.684 * * [simplify]: Extracting #3: cost 0 inf + 83
6.684 * [simplify]: Simplified to (sqrt a)
6.684 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* (+ a b) (sqrt a)) (sqrt a)) (* (+ a b) b)))
6.684 * * * * [progress]: [ 53 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (* (+ a b) 1) a) (* (+ a b) b)))>
6.684 * * * * [progress]: [ 54 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) a)) (* (+ a b) b)))>
6.684 * [simplify]: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b)))
6.684 * * [simplify]: iters left: 5 (5 enodes)
6.685 * * [simplify]: iters left: 4 (16 enodes)
6.688 * * [simplify]: Extracting #0: cost 1 inf + 0
6.688 * * [simplify]: Extracting #1: cost 3 inf + 0
6.688 * * [simplify]: Extracting #2: cost 5 inf + 0
6.688 * * [simplify]: Extracting #3: cost 8 inf + 0
6.688 * * [simplify]: Extracting #4: cost 6 inf + 2
6.688 * * [simplify]: Extracting #5: cost 0 inf + 654
6.688 * [simplify]: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a)))
6.688 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (* (* (cbrt (+ b a)) (cbrt (+ b a))) (* (cbrt (+ a b)) a)) (* (+ a b) b)))
6.688 * * * * [progress]: [ 55 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (sqrt (+ a b)) (* (sqrt (+ a b)) a)) (* (+ a b) b)))>
6.688 * [simplify]: Simplifying (sqrt (+ a b))
6.688 * * [simplify]: iters left: 3 (4 enodes)
6.689 * * [simplify]: iters left: 2 (13 enodes)
6.691 * * [simplify]: Extracting #0: cost 1 inf + 0
6.691 * * [simplify]: Extracting #1: cost 3 inf + 0
6.691 * * [simplify]: Extracting #2: cost 6 inf + 0
6.691 * * [simplify]: Extracting #3: cost 4 inf + 2
6.691 * * [simplify]: Extracting #4: cost 0 inf + 250
6.691 * [simplify]: Simplified to (sqrt (+ b a))
6.691 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (* (sqrt (+ b a)) (* (sqrt (+ a b)) a)) (* (+ a b) b)))
6.691 * * * * [progress]: [ 56 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* 1 (* (+ a b) a)) (* (+ a b) b)))>
6.691 * * * * [progress]: [ 57 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* 1 (* (+ a b) a)) (* (+ a b) b)))>
6.691 * * * * [progress]: [ 58 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (/ (* (+ (pow a 3) (pow b 3)) a) (+ (* a a) (- (* b b) (* a b)))) (* (+ a b) b)))>
6.692 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) a)
6.692 * * [simplify]: iters left: 5 (7 enodes)
6.694 * * [simplify]: iters left: 4 (36 enodes)
6.703 * * [simplify]: iters left: 3 (71 enodes)
6.720 * * [simplify]: iters left: 2 (149 enodes)
6.752 * * [simplify]: iters left: 1 (271 enodes)
6.810 * * [simplify]: Extracting #0: cost 1 inf + 0
6.810 * * [simplify]: Extracting #1: cost 6 inf + 0
6.810 * * [simplify]: Extracting #2: cost 35 inf + 1
6.811 * * [simplify]: Extracting #3: cost 95 inf + 208
6.811 * * [simplify]: Extracting #4: cost 71 inf + 4602
6.816 * * [simplify]: Extracting #5: cost 16 inf + 27950
6.819 * * [simplify]: Extracting #6: cost 0 inf + 33192
6.821 * * [simplify]: Extracting #7: cost 0 inf + 33152
6.823 * [simplify]: Simplified to (+ (* (* a a) (* a a)) (* (* b (* b b)) a))
6.824 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (/ (+ (* (* a a) (* a a)) (* (* b (* b b)) a)) (+ (* a a) (- (* b b) (* a b)))) (* (+ a b) b)))
6.824 * * * * [progress]: [ 59 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (/ (* (- (* a a) (* b b)) a) (- a b)) (* (+ a b) b)))>
6.824 * [simplify]: Simplifying (* (- (* a a) (* b b)) a)
6.824 * * [simplify]: iters left: 6 (6 enodes)
6.825 * * [simplify]: iters left: 5 (24 enodes)
6.829 * * [simplify]: iters left: 4 (47 enodes)
6.838 * * [simplify]: iters left: 3 (100 enodes)
6.861 * * [simplify]: iters left: 2 (242 enodes)
6.916 * * [simplify]: iters left: 1 (463 enodes)
7.041 * * [simplify]: Extracting #0: cost 1 inf + 0
7.041 * * [simplify]: Extracting #1: cost 25 inf + 0
7.041 * * [simplify]: Extracting #2: cost 86 inf + 1
7.042 * * [simplify]: Extracting #3: cost 107 inf + 1353
7.046 * * [simplify]: Extracting #4: cost 31 inf + 10714
7.053 * * [simplify]: Extracting #5: cost 0 inf + 16457
7.058 * * [simplify]: Extracting #6: cost 0 inf + 16337
7.062 * [simplify]: Simplified to (* (- (* a a) (* b b)) a)
7.062 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (/ (* (- (* a a) (* b b)) a) (- a b)) (* (+ a b) b)))
7.062 * * * * [progress]: [ 60 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (posit16->real (real->posit16 (* (+ a b) a))) (* (+ a b) b)))>
7.063 * * * * [progress]: [ 61 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* a (+ a b)) (* (+ a b) b)))>
7.063 * * * * [progress]: [ 62 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (+ (pow b 2) (* a b))))>
7.063 * [simplify]: Simplifying (+ (pow b 2) (* a b))
7.063 * * [simplify]: iters left: 4 (6 enodes)
7.065 * * [simplify]: iters left: 3 (25 enodes)
7.069 * * [simplify]: iters left: 2 (33 enodes)
7.075 * * [simplify]: iters left: 1 (40 enodes)
7.083 * * [simplify]: Extracting #0: cost 1 inf + 0
7.083 * * [simplify]: Extracting #1: cost 6 inf + 0
7.083 * * [simplify]: Extracting #2: cost 10 inf + 1
7.084 * * [simplify]: Extracting #3: cost 1 inf + 455
7.084 * * [simplify]: Extracting #4: cost 0 inf + 417
7.084 * [simplify]: Simplified to (* (+ a b) b)
7.084 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))
7.084 * * * * [progress]: [ 63 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (+ (pow b 2) (* a b))))>
7.084 * [simplify]: Simplifying (+ (pow b 2) (* a b))
7.084 * * [simplify]: iters left: 4 (6 enodes)
7.086 * * [simplify]: iters left: 3 (25 enodes)
7.092 * * [simplify]: iters left: 2 (33 enodes)
7.097 * * [simplify]: iters left: 1 (40 enodes)
7.103 * * [simplify]: Extracting #0: cost 1 inf + 0
7.103 * * [simplify]: Extracting #1: cost 6 inf + 0
7.103 * * [simplify]: Extracting #2: cost 10 inf + 1
7.103 * * [simplify]: Extracting #3: cost 1 inf + 455
7.103 * * [simplify]: Extracting #4: cost 0 inf + 417
7.103 * [simplify]: Simplified to (* (+ a b) b)
7.103 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))
7.103 * * * * [progress]: [ 64 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (+ (pow b 2) (* a b))))>
7.104 * [simplify]: Simplifying (+ (pow b 2) (* a b))
7.104 * * [simplify]: iters left: 4 (6 enodes)
7.106 * * [simplify]: iters left: 3 (25 enodes)
7.110 * * [simplify]: iters left: 2 (33 enodes)
7.115 * * [simplify]: iters left: 1 (40 enodes)
7.121 * * [simplify]: Extracting #0: cost 1 inf + 0
7.121 * * [simplify]: Extracting #1: cost 6 inf + 0
7.121 * * [simplify]: Extracting #2: cost 10 inf + 1
7.121 * * [simplify]: Extracting #3: cost 1 inf + 455
7.121 * * [simplify]: Extracting #4: cost 0 inf + 417
7.121 * [simplify]: Simplified to (* (+ a b) b)
7.121 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))
7.121 * * * * [progress]: [ 65 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
7.121 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
7.122 * * [simplify]: iters left: 6 (9 enodes)
7.124 * * [simplify]: iters left: 5 (43 enodes)
7.133 * * [simplify]: iters left: 4 (67 enodes)
7.149 * * [simplify]: iters left: 3 (96 enodes)
7.170 * * [simplify]: iters left: 2 (117 enodes)
7.195 * * [simplify]: Extracting #0: cost 1 inf + 0
7.195 * * [simplify]: Extracting #1: cost 8 inf + 0
7.195 * * [simplify]: Extracting #2: cost 23 inf + 0
7.196 * * [simplify]: Extracting #3: cost 22 inf + 253
7.196 * * [simplify]: Extracting #4: cost 6 inf + 1610
7.197 * * [simplify]: Extracting #5: cost 0 inf + 2225
7.198 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
7.198 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
7.198 * * * * [progress]: [ 66 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
7.198 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
7.199 * * [simplify]: iters left: 6 (9 enodes)
7.203 * * [simplify]: iters left: 5 (43 enodes)
7.212 * * [simplify]: iters left: 4 (67 enodes)
7.223 * * [simplify]: iters left: 3 (96 enodes)
7.239 * * [simplify]: iters left: 2 (117 enodes)
7.257 * * [simplify]: Extracting #0: cost 1 inf + 0
7.257 * * [simplify]: Extracting #1: cost 8 inf + 0
7.257 * * [simplify]: Extracting #2: cost 23 inf + 0
7.257 * * [simplify]: Extracting #3: cost 22 inf + 253
7.257 * * [simplify]: Extracting #4: cost 6 inf + 1610
7.258 * * [simplify]: Extracting #5: cost 0 inf + 2225
7.258 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
7.258 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
7.259 * * * * [progress]: [ 67 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
7.259 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
7.259 * * [simplify]: iters left: 6 (9 enodes)
7.262 * * [simplify]: iters left: 5 (43 enodes)
7.269 * * [simplify]: iters left: 4 (67 enodes)
7.282 * * [simplify]: iters left: 3 (96 enodes)
7.296 * * [simplify]: iters left: 2 (117 enodes)
7.310 * * [simplify]: Extracting #0: cost 1 inf + 0
7.310 * * [simplify]: Extracting #1: cost 8 inf + 0
7.310 * * [simplify]: Extracting #2: cost 23 inf + 0
7.310 * * [simplify]: Extracting #3: cost 22 inf + 253
7.311 * * [simplify]: Extracting #4: cost 6 inf + 1610
7.311 * * [simplify]: Extracting #5: cost 0 inf + 2225
7.312 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
7.312 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
7.312 * * * * [progress]: [ 68 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (+ (pow a 2) (* a b)) (* (+ a b) b)))>
7.312 * [simplify]: Simplifying (+ (pow a 2) (* a b))
7.312 * * [simplify]: iters left: 4 (6 enodes)
7.314 * * [simplify]: iters left: 3 (25 enodes)
7.318 * * [simplify]: iters left: 2 (33 enodes)
7.324 * * [simplify]: iters left: 1 (40 enodes)
7.330 * * [simplify]: Extracting #0: cost 1 inf + 0
7.330 * * [simplify]: Extracting #1: cost 6 inf + 0
7.330 * * [simplify]: Extracting #2: cost 10 inf + 1
7.330 * * [simplify]: Extracting #3: cost 1 inf + 455
7.330 * * [simplify]: Extracting #4: cost 0 inf + 417
7.330 * [simplify]: Simplified to (* (+ b a) a)
7.330 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* (+ b a) a) (* (+ a b) b)))
7.330 * * * * [progress]: [ 69 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (+ (pow a 2) (* a b)) (* (+ a b) b)))>
7.330 * [simplify]: Simplifying (+ (pow a 2) (* a b))
7.331 * * [simplify]: iters left: 4 (6 enodes)
7.333 * * [simplify]: iters left: 3 (25 enodes)
7.337 * * [simplify]: iters left: 2 (33 enodes)
7.342 * * [simplify]: iters left: 1 (40 enodes)
7.348 * * [simplify]: Extracting #0: cost 1 inf + 0
7.348 * * [simplify]: Extracting #1: cost 6 inf + 0
7.348 * * [simplify]: Extracting #2: cost 10 inf + 1
7.348 * * [simplify]: Extracting #3: cost 1 inf + 455
7.348 * * [simplify]: Extracting #4: cost 0 inf + 417
7.348 * [simplify]: Simplified to (* (+ b a) a)
7.349 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* (+ b a) a) (* (+ a b) b)))
7.349 * * * * [progress]: [ 70 / 70 ] simplifiying candidate #<alt (λ (a b) (+ (+ (pow a 2) (* a b)) (* (+ a b) b)))>
7.349 * [simplify]: Simplifying (+ (pow a 2) (* a b))
7.349 * * [simplify]: iters left: 4 (6 enodes)
7.351 * * [simplify]: iters left: 3 (25 enodes)
7.359 * * [simplify]: iters left: 2 (33 enodes)
7.372 * * [simplify]: iters left: 1 (40 enodes)
7.377 * * [simplify]: Extracting #0: cost 1 inf + 0
7.377 * * [simplify]: Extracting #1: cost 6 inf + 0
7.377 * * [simplify]: Extracting #2: cost 10 inf + 1
7.378 * * [simplify]: Extracting #3: cost 1 inf + 455
7.378 * * [simplify]: Extracting #4: cost 0 inf + 417
7.378 * [simplify]: Simplified to (* (+ b a) a)
7.378 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* (+ b a) a) (* (+ a b) b)))
7.378 * * * [progress]: adding candidates to table
7.806 * [progress]: [Phase 3 of 3] Extracting.
7.809 * [simplify]: Simplifying (+ (* (+ a b) a) (* (+ a b) b))
7.809 * * [simplify]: iters left: 6 (6 enodes)
7.810 * * [simplify]: iters left: 5 (10 enodes)
7.810 * * [simplify]: Extracting #0: cost 1 inf + 0
7.811 * * [simplify]: Extracting #1: cost 3 inf + 0
7.811 * * [simplify]: Extracting #2: cost 6 inf + 0
7.811 * * [simplify]: Extracting #3: cost 4 inf + 2
7.811 * * [simplify]: Extracting #4: cost 0 inf + 370
7.811 * [simplify]: Simplified to (+ (* a (+ b a)) (* (+ b a) b))
8.833 * [regime-testing]: Baseline error score: 0.017127140892611577
8.837 * [regime-testing]: Oracle error score: 0.017127140892611577
8.837 * [regime-testing]: End program error score: 0.017127140892611577
8.876 * [regime-testing]: Target error score: 0.010251281410176272