0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.028 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.028 * [simplify]: Simplifying (* (+ a b) (+ a b))
0.028 * * [simplify]: iters left: 4 (4 enodes)
0.030 * * [simplify]: iters left: 3 (19 enodes)
0.038 * * [simplify]: iters left: 2 (43 enodes)
0.054 * * [simplify]: iters left: 1 (89 enodes)
0.068 * * [simplify]: Extracting #0: cost 1 inf + 0
0.068 * * [simplify]: Extracting #1: cost 13 inf + 0
0.069 * * [simplify]: Extracting #2: cost 27 inf + 2
0.069 * * [simplify]: Extracting #3: cost 7 inf + 1564
0.070 * * [simplify]: Extracting #4: cost 0 inf + 2242
0.071 * [simplify]: Simplified to (* (+ b a) (+ b a))
0.071 * [simplify]: Simplified (2) to (λ (a b) (* (+ b a) (+ b a)))
0.073 * * [progress]: iteration 1 / 4
0.073 * * * [progress]: picking best candidate
0.075 * * * * [pick]: Picked  #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.075 * * * [progress]: localizing error
0.081 * * * [progress]: generating rewritten candidates
0.081 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.137 * * * [progress]: generating series expansions
0.137 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.137 * [backup-simplify]: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2)
0.137 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0
0.137 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b
0.137 * [taylor]: Taking taylor expansion of (+ a b) in b
0.137 * [taylor]: Taking taylor expansion of a in b
0.137 * [backup-simplify]: Simplify a into a
0.137 * [taylor]: Taking taylor expansion of b in b
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (+ a 0) into a
0.137 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.137 * [taylor]: Taking taylor expansion of (+ a b) in a
0.137 * [taylor]: Taking taylor expansion of a in a
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [taylor]: Taking taylor expansion of b in a
0.137 * [backup-simplify]: Simplify b into b
0.138 * [backup-simplify]: Simplify (+ 0 b) into b
0.138 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.138 * [taylor]: Taking taylor expansion of (+ a b) in a
0.138 * [taylor]: Taking taylor expansion of a in a
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify 1 into 1
0.138 * [taylor]: Taking taylor expansion of b in a
0.138 * [backup-simplify]: Simplify b into b
0.138 * [backup-simplify]: Simplify (+ 0 b) into b
0.138 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.138 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.138 * [taylor]: Taking taylor expansion of b in b
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify 1 into 1
0.139 * [backup-simplify]: Simplify (+ 1 0) into 1
0.139 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b)
0.139 * [taylor]: Taking taylor expansion of (* 2 b) in b
0.139 * [taylor]: Taking taylor expansion of 2 in b
0.139 * [backup-simplify]: Simplify 2 into 2
0.139 * [taylor]: Taking taylor expansion of b in b
0.139 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify 1 into 1
0.139 * [backup-simplify]: Simplify (* 2 0) into 0
0.140 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify (+ 0 0) into 0
0.140 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1
0.140 * [taylor]: Taking taylor expansion of 1 in b
0.140 * [backup-simplify]: Simplify 1 into 1
0.140 * [backup-simplify]: Simplify 1 into 1
0.141 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.141 * [backup-simplify]: Simplify 2 into 2
0.142 * [backup-simplify]: Simplify (* 1 1) into 1
0.142 * [backup-simplify]: Simplify 1 into 1
0.142 * [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.142 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.142 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.142 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.142 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.142 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.142 * [taylor]: Taking taylor expansion of a in b
0.142 * [backup-simplify]: Simplify a into a
0.142 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.143 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.143 * [taylor]: Taking taylor expansion of b in b
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify 1 into 1
0.143 * [backup-simplify]: Simplify (/ 1 1) into 1
0.143 * [backup-simplify]: Simplify (+ 0 1) into 1
0.143 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.143 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.143 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.144 * [taylor]: Taking taylor expansion of a in a
0.144 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify 1 into 1
0.144 * [backup-simplify]: Simplify (/ 1 1) into 1
0.144 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.144 * [taylor]: Taking taylor expansion of b in a
0.144 * [backup-simplify]: Simplify b into b
0.144 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.145 * [backup-simplify]: Simplify (+ 1 0) into 1
0.145 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.145 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.145 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.145 * [taylor]: Taking taylor expansion of a in a
0.145 * [backup-simplify]: Simplify 0 into 0
0.145 * [backup-simplify]: Simplify 1 into 1
0.145 * [backup-simplify]: Simplify (/ 1 1) into 1
0.145 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.145 * [taylor]: Taking taylor expansion of b in a
0.145 * [backup-simplify]: Simplify b into b
0.145 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.146 * [backup-simplify]: Simplify (+ 1 0) into 1
0.146 * [backup-simplify]: Simplify (* 1 1) into 1
0.146 * [taylor]: Taking taylor expansion of 1 in b
0.146 * [backup-simplify]: Simplify 1 into 1
0.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.147 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.147 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.147 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.147 * [taylor]: Taking taylor expansion of 2 in b
0.147 * [backup-simplify]: Simplify 2 into 2
0.147 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.147 * [taylor]: Taking taylor expansion of b in b
0.147 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify 1 into 1
0.148 * [backup-simplify]: Simplify (/ 1 1) into 1
0.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.149 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.149 * [backup-simplify]: Simplify (+ 0 0) into 0
0.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.150 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.150 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.150 * [taylor]: Taking taylor expansion of b in b
0.150 * [backup-simplify]: Simplify 0 into 0
0.150 * [backup-simplify]: Simplify 1 into 1
0.151 * [backup-simplify]: Simplify (* 1 1) into 1
0.151 * [backup-simplify]: Simplify (/ 1 1) into 1
0.151 * [backup-simplify]: Simplify 1 into 1
0.151 * [backup-simplify]: Simplify (* 2 1) into 2
0.152 * [backup-simplify]: Simplify 2 into 2
0.152 * [backup-simplify]: Simplify 1 into 1
0.152 * [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.153 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.153 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.153 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.153 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.153 * [taylor]: Taking taylor expansion of a in b
0.153 * [backup-simplify]: Simplify a into a
0.153 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.153 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.153 * [taylor]: Taking taylor expansion of b in b
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify 1 into 1
0.154 * [backup-simplify]: Simplify (/ 1 1) into 1
0.154 * [backup-simplify]: Simplify (+ 0 1) into 1
0.154 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.154 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.154 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.154 * [taylor]: Taking taylor expansion of a in a
0.154 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify 1 into 1
0.155 * [backup-simplify]: Simplify (/ 1 1) into 1
0.155 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.155 * [taylor]: Taking taylor expansion of b in a
0.155 * [backup-simplify]: Simplify b into b
0.155 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.156 * [backup-simplify]: Simplify (+ 1 0) into 1
0.156 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.156 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.156 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.156 * [taylor]: Taking taylor expansion of a in a
0.156 * [backup-simplify]: Simplify 0 into 0
0.156 * [backup-simplify]: Simplify 1 into 1
0.156 * [backup-simplify]: Simplify (/ 1 1) into 1
0.156 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.156 * [taylor]: Taking taylor expansion of b in a
0.156 * [backup-simplify]: Simplify b into b
0.156 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.157 * [backup-simplify]: Simplify (+ 1 0) into 1
0.157 * [backup-simplify]: Simplify (* 1 1) into 1
0.157 * [taylor]: Taking taylor expansion of 1 in b
0.157 * [backup-simplify]: Simplify 1 into 1
0.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.158 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.158 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.158 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.158 * [taylor]: Taking taylor expansion of 2 in b
0.158 * [backup-simplify]: Simplify 2 into 2
0.159 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.159 * [taylor]: Taking taylor expansion of b in b
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 1 into 1
0.159 * [backup-simplify]: Simplify (/ 1 1) into 1
0.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.161 * [backup-simplify]: Simplify (+ 0 0) into 0
0.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.162 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.162 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.162 * [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 1) into 1
0.163 * [backup-simplify]: Simplify (/ 1 1) into 1
0.163 * [backup-simplify]: Simplify 1 into 1
0.163 * [backup-simplify]: Simplify (* 2 1) into 2
0.163 * [backup-simplify]: Simplify 2 into 2
0.163 * [backup-simplify]: Simplify 1 into 1
0.164 * [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.164 * * * [progress]: simplifying candidates
0.164 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (* (+ a b) (+ a b)))))>
0.164 * [simplify]: Simplifying (expm1 (* (+ a b) (+ a b)))
0.164 * * [simplify]: iters left: 5 (5 enodes)
0.167 * * [simplify]: iters left: 4 (22 enodes)
0.176 * * [simplify]: iters left: 3 (46 enodes)
0.186 * * [simplify]: iters left: 2 (92 enodes)
0.200 * * [simplify]: iters left: 1 (141 enodes)
0.232 * * [simplify]: Extracting #0: cost 1 inf + 0
0.232 * * [simplify]: Extracting #1: cost 3 inf + 0
0.232 * * [simplify]: Extracting #2: cost 17 inf + 0
0.232 * * [simplify]: Extracting #3: cost 30 inf + 2
0.233 * * [simplify]: Extracting #4: cost 9 inf + 1923
0.235 * * [simplify]: Extracting #5: cost 0 inf + 2675
0.237 * * [simplify]: Extracting #6: cost 0 inf + 2660
0.239 * [simplify]: Simplified to (expm1 (* (+ b a) (+ b a)))
0.239 * [simplify]: Simplified (2 1) to (λ (a b) (log1p (expm1 (* (+ b a) (+ b a)))))
0.239 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (* (+ a b) (+ a b)))))>
0.239 * [simplify]: Simplifying (log1p (* (+ a b) (+ a b)))
0.239 * * [simplify]: iters left: 5 (5 enodes)
0.241 * * [simplify]: iters left: 4 (22 enodes)
0.245 * * [simplify]: iters left: 3 (46 enodes)
0.253 * * [simplify]: iters left: 2 (92 enodes)
0.268 * * [simplify]: iters left: 1 (141 enodes)
0.290 * * [simplify]: Extracting #0: cost 1 inf + 0
0.290 * * [simplify]: Extracting #1: cost 3 inf + 0
0.290 * * [simplify]: Extracting #2: cost 17 inf + 0
0.290 * * [simplify]: Extracting #3: cost 30 inf + 2
0.291 * * [simplify]: Extracting #4: cost 9 inf + 1943
0.292 * * [simplify]: Extracting #5: cost 0 inf + 2715
0.293 * * [simplify]: Extracting #6: cost 0 inf + 2700
0.293 * [simplify]: Simplified to (log1p (* (+ b a) (+ b a)))
0.294 * [simplify]: Simplified (2 1) to (λ (a b) (expm1 (log1p (* (+ b a) (+ b a)))))
0.294 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.294 * [simplify]: Simplifying (+ 1 1)
0.294 * * [simplify]: iters left: 2 (2 enodes)
0.295 * * [simplify]: iters left: 1 (9 enodes)
0.297 * * [simplify]: Extracting #0: cost 1 inf + 0
0.297 * * [simplify]: Extracting #1: cost 0 inf + 1
0.297 * [simplify]: Simplified to 2
0.297 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2))
0.297 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.298 * [simplify]: Simplifying (* (+ a b) (+ a b))
0.298 * * [simplify]: iters left: 4 (4 enodes)
0.300 * * [simplify]: iters left: 3 (19 enodes)
0.304 * * [simplify]: iters left: 2 (43 enodes)
0.312 * * [simplify]: iters left: 1 (89 enodes)
0.326 * * [simplify]: Extracting #0: cost 1 inf + 0
0.326 * * [simplify]: Extracting #1: cost 13 inf + 0
0.326 * * [simplify]: Extracting #2: cost 27 inf + 2
0.326 * * [simplify]: Extracting #3: cost 7 inf + 1564
0.327 * * [simplify]: Extracting #4: cost 0 inf + 2242
0.328 * [simplify]: Simplified to (* (+ b a) (+ b a))
0.328 * [simplify]: Simplified (2 1) to (λ (a b) (pow (* (+ b a) (+ b a)) 1))
0.328 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) 2))>
0.328 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.328 * [simplify]: Simplifying (+ 1 1)
0.328 * * [simplify]: iters left: 2 (2 enodes)
0.330 * * [simplify]: iters left: 1 (9 enodes)
0.332 * * [simplify]: Extracting #0: cost 1 inf + 0
0.332 * * [simplify]: Extracting #1: cost 0 inf + 1
0.332 * [simplify]: Simplified to 2
0.332 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2))
0.332 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.332 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (a b) (exp (+ (log (+ a b)) (log (+ a b)))))>
0.332 * [simplify]: Simplifying (+ (log (+ a b)) (log (+ a b)))
0.332 * * [simplify]: iters left: 5 (5 enodes)
0.334 * * [simplify]: iters left: 4 (16 enodes)
0.336 * * [simplify]: Extracting #0: cost 1 inf + 0
0.336 * * [simplify]: Extracting #1: cost 3 inf + 0
0.336 * * [simplify]: Extracting #2: cost 5 inf + 0
0.336 * * [simplify]: Extracting #3: cost 8 inf + 0
0.336 * * [simplify]: Extracting #4: cost 6 inf + 2
0.336 * * [simplify]: Extracting #5: cost 0 inf + 614
0.336 * [simplify]: Simplified to (+ (log (+ b a)) (log (+ b a)))
0.336 * [simplify]: Simplified (2 1) to (λ (a b) (exp (+ (log (+ b a)) (log (+ b a)))))
0.337 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (a b) (exp (log (* (+ a b) (+ a b)))))>
0.337 * [simplify]: Simplifying (log (* (+ a b) (+ a b)))
0.337 * * [simplify]: iters left: 5 (5 enodes)
0.338 * * [simplify]: iters left: 4 (24 enodes)
0.343 * * [simplify]: iters left: 3 (50 enodes)
0.353 * * [simplify]: iters left: 2 (96 enodes)
0.367 * * [simplify]: iters left: 1 (146 enodes)
0.390 * * [simplify]: Extracting #0: cost 1 inf + 0
0.390 * * [simplify]: Extracting #1: cost 4 inf + 0
0.390 * * [simplify]: Extracting #2: cost 19 inf + 0
0.390 * * [simplify]: Extracting #3: cost 32 inf + 2
0.391 * * [simplify]: Extracting #4: cost 8 inf + 2048
0.392 * * [simplify]: Extracting #5: cost 0 inf + 2884
0.393 * [simplify]: Simplified to (log (* (+ b a) (+ b a)))
0.393 * [simplify]: Simplified (2 1) to (λ (a b) (exp (log (* (+ b a) (+ b a)))))
0.393 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (a b) (log (exp (* (+ a b) (+ a b)))))>
0.393 * [simplify]: Simplifying (exp (* (+ a b) (+ a b)))
0.393 * * [simplify]: iters left: 5 (5 enodes)
0.395 * * [simplify]: iters left: 4 (24 enodes)
0.404 * * [simplify]: iters left: 3 (64 enodes)
0.428 * * [simplify]: iters left: 2 (152 enodes)
0.469 * * [simplify]: iters left: 1 (311 enodes)
0.556 * * [simplify]: Extracting #0: cost 1 inf + 0
0.556 * * [simplify]: Extracting #1: cost 48 inf + 0
0.557 * * [simplify]: Extracting #2: cost 132 inf + 0
0.557 * * [simplify]: Extracting #3: cost 151 inf + 1146
0.560 * * [simplify]: Extracting #4: cost 53 inf + 20719
0.567 * * [simplify]: Extracting #5: cost 2 inf + 39406
0.572 * * [simplify]: Extracting #6: cost 0 inf + 40093
0.577 * [simplify]: Simplified to (exp (* (+ b a) (+ b a)))
0.577 * [simplify]: Simplified (2 1) to (λ (a b) (log (exp (* (+ b a) (+ b a)))))
0.577 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b)))))>
0.578 * [simplify]: Simplifying (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b)))
0.578 * * [simplify]: iters left: 6 (6 enodes)
0.580 * * [simplify]: iters left: 5 (38 enodes)
0.606 * * [simplify]: iters left: 4 (190 enodes)
0.758 * * [simplify]: Extracting #0: cost 1 inf + 0
0.758 * * [simplify]: Extracting #1: cost 24 inf + 0
0.759 * * [simplify]: Extracting #2: cost 175 inf + 4
0.761 * * [simplify]: Extracting #3: cost 222 inf + 9267
0.774 * * [simplify]: Extracting #4: cost 34 inf + 43666
0.795 * * [simplify]: Extracting #5: cost 0 inf + 47295
0.805 * [simplify]: Simplified to (* (* (+ b a) (* (+ b a) (+ b a))) (* (+ b a) (* (+ b a) (+ b a))))
0.805 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (* (+ b a) (* (+ b a) (+ b a))) (* (+ b a) (* (+ b a) (+ b a))))))
0.805 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b)))))>
0.806 * [simplify]: Simplifying (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b))))
0.806 * * [simplify]: iters left: 6 (6 enodes)
0.807 * * [simplify]: iters left: 5 (25 enodes)
0.812 * * [simplify]: iters left: 4 (49 enodes)
0.821 * * [simplify]: iters left: 3 (95 enodes)
0.848 * * [simplify]: iters left: 2 (142 enodes)
0.877 * * [simplify]: iters left: 1 (176 enodes)
0.902 * * [simplify]: Extracting #0: cost 1 inf + 0
0.902 * * [simplify]: Extracting #1: cost 3 inf + 0
0.902 * * [simplify]: Extracting #2: cost 5 inf + 0
0.902 * * [simplify]: Extracting #3: cost 23 inf + 0
0.903 * * [simplify]: Extracting #4: cost 35 inf + 43
0.904 * * [simplify]: Extracting #5: cost 6 inf + 2500
0.906 * * [simplify]: Extracting #6: cost 0 inf + 3166
0.908 * [simplify]: Simplified to (* (cbrt (* (+ b a) (+ b a))) (cbrt (* (+ b a) (+ b a))))
0.908 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (* (+ b a) (+ b a))) (cbrt (* (+ b a) (+ b a)))) (cbrt (* (+ a b) (+ a b)))))
0.909 * [simplify]: Simplifying (cbrt (* (+ a b) (+ a b)))
0.909 * * [simplify]: iters left: 5 (5 enodes)
0.911 * * [simplify]: iters left: 4 (22 enodes)
0.919 * * [simplify]: iters left: 3 (46 enodes)
0.937 * * [simplify]: iters left: 2 (92 enodes)
0.966 * * [simplify]: iters left: 1 (141 enodes)
0.990 * * [simplify]: Extracting #0: cost 1 inf + 0
0.990 * * [simplify]: Extracting #1: cost 3 inf + 0
0.990 * * [simplify]: Extracting #2: cost 17 inf + 0
0.991 * * [simplify]: Extracting #3: cost 30 inf + 2
0.991 * * [simplify]: Extracting #4: cost 9 inf + 1933
0.992 * * [simplify]: Extracting #5: cost 0 inf + 2695
0.993 * * [simplify]: Extracting #6: cost 0 inf + 2680
0.994 * [simplify]: Simplified to (cbrt (* (+ b a) (+ b a)))
0.994 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ b a) (+ b a)))))
0.994 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b)))))>
0.994 * [simplify]: Simplifying (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b)))
0.994 * * [simplify]: iters left: 6 (6 enodes)
0.996 * * [simplify]: iters left: 5 (33 enodes)
1.006 * * [simplify]: iters left: 4 (138 enodes)
1.125 * * [simplify]: Extracting #0: cost 1 inf + 0
1.125 * * [simplify]: Extracting #1: cost 18 inf + 0
1.126 * * [simplify]: Extracting #2: cost 90 inf + 4
1.126 * * [simplify]: Extracting #3: cost 130 inf + 2369
1.131 * * [simplify]: Extracting #4: cost 15 inf + 21928
1.141 * * [simplify]: Extracting #5: cost 0 inf + 24518
1.155 * [simplify]: Simplified to (* (* (+ b a) (+ b a)) (* (* (+ b a) (+ b a)) (* (+ b a) (+ b a))))
1.155 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (* (+ b a) (+ b a)) (* (* (+ b a) (+ b a)) (* (+ b a) (+ b a))))))
1.156 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b)))))>
1.156 * [simplify]: Simplifying (sqrt (* (+ a b) (+ a b)))
1.156 * * [simplify]: iters left: 5 (5 enodes)
1.159 * * [simplify]: iters left: 4 (23 enodes)
1.167 * * [simplify]: iters left: 3 (47 enodes)
1.181 * * [simplify]: iters left: 2 (93 enodes)
1.196 * * [simplify]: iters left: 1 (144 enodes)
1.235 * * [simplify]: Extracting #0: cost 1 inf + 0
1.235 * * [simplify]: Extracting #1: cost 4 inf + 0
1.235 * * [simplify]: Extracting #2: cost 18 inf + 0
1.235 * * [simplify]: Extracting #3: cost 28 inf + 85
1.236 * * [simplify]: Extracting #4: cost 8 inf + 1855
1.238 * * [simplify]: Extracting #5: cost 0 inf + 2535
1.239 * * [simplify]: Extracting #6: cost 0 inf + 2520
1.241 * [simplify]: Simplified to (fabs (+ b a))
1.241 * [simplify]: Simplified (2 1) to (λ (a b) (* (fabs (+ b a)) (sqrt (* (+ a b) (+ a b)))))
1.241 * [simplify]: Simplifying (sqrt (* (+ a b) (+ a b)))
1.241 * * [simplify]: iters left: 5 (5 enodes)
1.244 * * [simplify]: iters left: 4 (23 enodes)
1.253 * * [simplify]: iters left: 3 (47 enodes)
1.266 * * [simplify]: iters left: 2 (93 enodes)
1.281 * * [simplify]: iters left: 1 (144 enodes)
1.315 * * [simplify]: Extracting #0: cost 1 inf + 0
1.315 * * [simplify]: Extracting #1: cost 4 inf + 0
1.315 * * [simplify]: Extracting #2: cost 18 inf + 0
1.315 * * [simplify]: Extracting #3: cost 28 inf + 85
1.315 * * [simplify]: Extracting #4: cost 8 inf + 1855
1.316 * * [simplify]: Extracting #5: cost 0 inf + 2535
1.317 * * [simplify]: Extracting #6: cost 0 inf + 2520
1.318 * [simplify]: Simplified to (fabs (+ b a))
1.318 * [simplify]: Simplified (2 2) to (λ (a b) (* (sqrt (* (+ a b) (+ a b))) (fabs (+ b a))))
1.318 * * * * [progress]: [ 15 / 46 ] 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))))))>
1.319 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3)))
1.319 * * [simplify]: iters left: 5 (7 enodes)
1.321 * * [simplify]: iters left: 4 (41 enodes)
1.335 * * [simplify]: iters left: 3 (122 enodes)
1.394 * * [simplify]: iters left: 2 (361 enodes)
1.632 * * [simplify]: Extracting #0: cost 1 inf + 0
1.632 * * [simplify]: Extracting #1: cost 42 inf + 0
1.634 * * [simplify]: Extracting #2: cost 169 inf + 43
1.637 * * [simplify]: Extracting #3: cost 126 inf + 12187
1.651 * * [simplify]: Extracting #4: cost 35 inf + 44784
1.663 * * [simplify]: Extracting #5: cost 4 inf + 54757
1.675 * * [simplify]: Extracting #6: cost 0 inf + 55563
1.691 * [simplify]: Simplified to (* (fma a (* a a) (* b (* b b))) (fma a (* a a) (* b (* b b))))
1.692 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (fma a (* a a) (* b (* b b))) (fma a (* a a) (* b (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))))
1.692 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))
1.692 * * [simplify]: iters left: 6 (8 enodes)
1.697 * * [simplify]: iters left: 5 (40 enodes)
1.713 * * [simplify]: iters left: 4 (101 enodes)
1.753 * * [simplify]: iters left: 3 (362 enodes)
2.050 * * [simplify]: Extracting #0: cost 1 inf + 0
2.051 * * [simplify]: Extracting #1: cost 47 inf + 0
2.053 * * [simplify]: Extracting #2: cost 190 inf + 491
2.061 * * [simplify]: Extracting #3: cost 142 inf + 14613
2.088 * * [simplify]: Extracting #4: cost 9 inf + 42954
2.113 * * [simplify]: Extracting #5: cost 0 inf + 45112
2.132 * [simplify]: Simplified to (* (fma (- b a) b (* a a)) (fma (- b a) b (* a a)))
2.132 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (fma a (* a a) (* b (* b b))) (fma a (* a a) (* b (* b b)))) (* (fma (- b a) b (* a a)) (fma (- b a) b (* a a)))))
2.132 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b))))>
2.132 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))
2.132 * * [simplify]: iters left: 6 (10 enodes)
2.136 * * [simplify]: iters left: 5 (49 enodes)
2.155 * * [simplify]: iters left: 4 (109 enodes)
2.209 * * [simplify]: iters left: 3 (303 enodes)
2.408 * * [simplify]: Extracting #0: cost 1 inf + 0
2.408 * * [simplify]: Extracting #1: cost 70 inf + 0
2.410 * * [simplify]: Extracting #2: cost 268 inf + 168
2.418 * * [simplify]: Extracting #3: cost 167 inf + 25713
2.445 * * [simplify]: Extracting #4: cost 28 inf + 57634
2.471 * * [simplify]: Extracting #5: cost 3 inf + 63247
2.484 * * [simplify]: Extracting #6: cost 0 inf + 64305
2.498 * [simplify]: Simplified to (- (* (fma a (* a a) (* b (* b b))) (* a a)) (* (* b b) (fma a (* a a) (* b (* b b)))))
2.498 * [simplify]: Simplified (2 1) to (λ (a b) (/ (- (* (fma a (* a a) (* b (* b b))) (* a a)) (* (* b b) (fma a (* a a) (* b (* b b))))) (* (+ (* a a) (- (* b b) (* a b))) (- a b))))
2.498 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (- a b))
2.498 * * [simplify]: iters left: 6 (9 enodes)
2.501 * * [simplify]: iters left: 5 (40 enodes)
2.512 * * [simplify]: iters left: 4 (79 enodes)
2.545 * * [simplify]: iters left: 3 (208 enodes)
2.652 * * [simplify]: Extracting #0: cost 1 inf + 0
2.653 * * [simplify]: Extracting #1: cost 57 inf + 0
2.656 * * [simplify]: Extracting #2: cost 118 inf + 125
2.659 * * [simplify]: Extracting #3: cost 76 inf + 5740
2.669 * * [simplify]: Extracting #4: cost 11 inf + 16887
2.681 * * [simplify]: Extracting #5: cost 0 inf + 19504
2.692 * [simplify]: Simplified to (* (- a b) (fma b (- b a) (* a a)))
2.692 * [simplify]: Simplified (2 2) to (λ (a b) (/ (- (* (fma a (* a a) (* b (* b b))) (* a a)) (* (* b b) (fma a (* a a) (* b (* b b))))) (* (- a b) (fma b (- b a) (* a a)))))
2.693 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))))>
2.693 * [simplify]: Simplifying (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3)))
2.693 * * [simplify]: iters left: 6 (10 enodes)
2.700 * * [simplify]: iters left: 5 (55 enodes)
2.725 * * [simplify]: iters left: 4 (163 enodes)
2.812 * * [simplify]: Extracting #0: cost 1 inf + 0
2.812 * * [simplify]: Extracting #1: cost 44 inf + 0
2.813 * * [simplify]: Extracting #2: cost 163 inf + 411
2.815 * * [simplify]: Extracting #3: cost 88 inf + 12530
2.821 * * [simplify]: Extracting #4: cost 24 inf + 27537
2.827 * * [simplify]: Extracting #5: cost 5 inf + 33820
2.834 * * [simplify]: Extracting #6: cost 0 inf + 35363
2.841 * [simplify]: Simplified to (fma (fma b (* b b) (* a (* a a))) (* a a) (* (fma b (* b b) (* a (* a a))) (- (* b b))))
2.841 * [simplify]: Simplified (2 1) to (λ (a b) (/ (fma (fma b (* b b) (* a (* a a))) (* a a) (* (fma b (* b b) (* a (* a a))) (- (* b b)))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))))
2.841 * [simplify]: Simplifying (* (- a b) (+ (* a a) (- (* b b) (* a b))))
2.841 * * [simplify]: iters left: 6 (9 enodes)
2.845 * * [simplify]: iters left: 5 (46 enodes)
2.863 * * [simplify]: iters left: 4 (115 enodes)
2.916 * * [simplify]: iters left: 3 (333 enodes)
3.067 * * [simplify]: Extracting #0: cost 1 inf + 0
3.067 * * [simplify]: Extracting #1: cost 46 inf + 0
3.068 * * [simplify]: Extracting #2: cost 139 inf + 44
3.070 * * [simplify]: Extracting #3: cost 120 inf + 3464
3.076 * * [simplify]: Extracting #4: cost 20 inf + 20966
3.085 * * [simplify]: Extracting #5: cost 0 inf + 25173
3.099 * * [simplify]: Extracting #6: cost 0 inf + 25158
3.113 * [simplify]: Simplified to (* (fma a a (* b (- b a))) (- a b))
3.113 * [simplify]: Simplified (2 2) to (λ (a b) (/ (fma (fma b (* b b) (* a (* a a))) (* a a) (* (fma b (* b b) (* a (* a a))) (- (* b b)))) (* (fma a a (* b (- b a))) (- a b))))
3.113 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))>
3.113 * [simplify]: Simplifying (* (- (* a a) (* b b)) (- (* a a) (* b b)))
3.113 * * [simplify]: iters left: 6 (6 enodes)
3.115 * * [simplify]: iters left: 5 (24 enodes)
3.119 * * [simplify]: iters left: 4 (50 enodes)
3.131 * * [simplify]: iters left: 3 (166 enodes)
3.283 * * [simplify]: Extracting #0: cost 1 inf + 0
3.284 * * [simplify]: Extracting #1: cost 55 inf + 0
3.285 * * [simplify]: Extracting #2: cost 177 inf + 614
3.292 * * [simplify]: Extracting #3: cost 73 inf + 18689
3.306 * * [simplify]: Extracting #4: cost 0 inf + 30658
3.321 * * [simplify]: Extracting #5: cost 0 inf + 30363
3.333 * [simplify]: Simplified to (* (- (* a a) (* b b)) (- (* a a) (* b b)))
3.333 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))
3.333 * [simplify]: Simplifying (* (- a b) (- a b))
3.334 * * [simplify]: iters left: 4 (4 enodes)
3.335 * * [simplify]: iters left: 3 (14 enodes)
3.337 * * [simplify]: iters left: 2 (23 enodes)
3.342 * * [simplify]: iters left: 1 (51 enodes)
3.355 * * [simplify]: Extracting #0: cost 1 inf + 0
3.355 * * [simplify]: Extracting #1: cost 19 inf + 0
3.355 * * [simplify]: Extracting #2: cost 31 inf + 42
3.355 * * [simplify]: Extracting #3: cost 29 inf + 84
3.355 * * [simplify]: Extracting #4: cost 4 inf + 2488
3.356 * * [simplify]: Extracting #5: cost 0 inf + 3176
3.357 * [simplify]: Simplified to (* (- a b) (- a b))
3.357 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))
3.357 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
3.357 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (cbrt (+ a b)) (cbrt (+ a b)))))>
3.357 * [simplify]: Simplifying (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b))))
3.358 * * [simplify]: iters left: 6 (6 enodes)
3.359 * * [simplify]: iters left: 5 (23 enodes)
3.364 * * [simplify]: iters left: 4 (27 enodes)
3.374 * * [simplify]: iters left: 3 (38 enodes)
3.389 * * [simplify]: iters left: 2 (70 enodes)
3.410 * * [simplify]: iters left: 1 (130 enodes)
3.451 * * [simplify]: Extracting #0: cost 1 inf + 0
3.452 * * [simplify]: Extracting #1: cost 17 inf + 0
3.452 * * [simplify]: Extracting #2: cost 43 inf + 3
3.452 * * [simplify]: Extracting #3: cost 39 inf + 93
3.453 * * [simplify]: Extracting #4: cost 25 inf + 3147
3.455 * * [simplify]: Extracting #5: cost 6 inf + 10677
3.458 * * [simplify]: Extracting #6: cost 0 inf + 14101
3.460 * [simplify]: Simplified to (* (+ b a) (cbrt (+ b a)))
3.460 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (+ b a) (cbrt (+ b a))) (* (cbrt (+ a b)) (cbrt (+ a b)))))
3.460 * [simplify]: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b)))
3.461 * * [simplify]: iters left: 5 (5 enodes)
3.463 * * [simplify]: iters left: 4 (16 enodes)
3.472 * * [simplify]: Extracting #0: cost 1 inf + 0
3.472 * * [simplify]: Extracting #1: cost 3 inf + 0
3.472 * * [simplify]: Extracting #2: cost 5 inf + 0
3.472 * * [simplify]: Extracting #3: cost 8 inf + 0
3.472 * * [simplify]: Extracting #4: cost 6 inf + 2
3.473 * * [simplify]: Extracting #5: cost 0 inf + 654
3.473 * [simplify]: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a)))
3.473 * [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)))))
3.473 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
3.473 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
3.473 * * [simplify]: iters left: 5 (5 enodes)
3.476 * * [simplify]: iters left: 4 (14 enodes)
3.480 * * [simplify]: iters left: 3 (15 enodes)
3.484 * * [simplify]: Extracting #0: cost 1 inf + 0
3.484 * * [simplify]: Extracting #1: cost 5 inf + 0
3.485 * * [simplify]: Extracting #2: cost 4 inf + 2
3.485 * * [simplify]: Extracting #3: cost 3 inf + 44
3.485 * * [simplify]: Extracting #4: cost 0 inf + 250
3.485 * [simplify]: Simplified to (+ b a)
3.485 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (* (sqrt (+ a b)) (sqrt (+ a b)))))
3.485 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
3.485 * * [simplify]: iters left: 5 (5 enodes)
3.488 * * [simplify]: iters left: 4 (14 enodes)
3.492 * * [simplify]: iters left: 3 (15 enodes)
3.496 * * [simplify]: Extracting #0: cost 1 inf + 0
3.496 * * [simplify]: Extracting #1: cost 5 inf + 0
3.496 * * [simplify]: Extracting #2: cost 4 inf + 2
3.496 * * [simplify]: Extracting #3: cost 3 inf + 44
3.496 * * [simplify]: Extracting #4: cost 0 inf + 250
3.496 * [simplify]: Simplified to (+ b a)
3.496 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (+ b a)))
3.496 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
3.497 * [simplify]: Simplifying (* 1 1)
3.497 * * [simplify]: iters left: 2 (2 enodes)
3.498 * * [simplify]: iters left: 1 (6 enodes)
3.501 * * [simplify]: Extracting #0: cost 1 inf + 0
3.501 * * [simplify]: Extracting #1: cost 0 inf + 1
3.501 * [simplify]: Simplified to 1
3.501 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
3.501 * [simplify]: Simplifying (* (+ a b) (+ a b))
3.501 * * [simplify]: iters left: 4 (4 enodes)
3.503 * * [simplify]: iters left: 3 (19 enodes)
3.511 * * [simplify]: iters left: 2 (43 enodes)
3.526 * * [simplify]: iters left: 1 (89 enodes)
3.551 * * [simplify]: Extracting #0: cost 1 inf + 0
3.551 * * [simplify]: Extracting #1: cost 13 inf + 0
3.551 * * [simplify]: Extracting #2: cost 27 inf + 2
3.551 * * [simplify]: Extracting #3: cost 7 inf + 1564
3.552 * * [simplify]: Extracting #4: cost 0 inf + 2242
3.553 * [simplify]: Simplified to (* (+ b a) (+ b a))
3.553 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
3.553 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
3.553 * [simplify]: Simplifying (* 1 1)
3.553 * * [simplify]: iters left: 2 (2 enodes)
3.554 * * [simplify]: iters left: 1 (6 enodes)
3.556 * * [simplify]: Extracting #0: cost 1 inf + 0
3.556 * * [simplify]: Extracting #1: cost 0 inf + 1
3.556 * [simplify]: Simplified to 1
3.556 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
3.556 * [simplify]: Simplifying (* (+ a b) (+ a b))
3.556 * * [simplify]: iters left: 4 (4 enodes)
3.557 * * [simplify]: iters left: 3 (19 enodes)
3.561 * * [simplify]: iters left: 2 (43 enodes)
3.569 * * [simplify]: iters left: 1 (89 enodes)
3.585 * * [simplify]: Extracting #0: cost 1 inf + 0
3.586 * * [simplify]: Extracting #1: cost 13 inf + 0
3.586 * * [simplify]: Extracting #2: cost 27 inf + 2
3.587 * * [simplify]: Extracting #3: cost 7 inf + 1564
3.588 * * [simplify]: Extracting #4: cost 0 inf + 2242
3.590 * [simplify]: Simplified to (* (+ b a) (+ b a))
3.590 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
3.590 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
3.590 * [simplify]: Simplifying (* 1 1)
3.590 * * [simplify]: iters left: 2 (2 enodes)
3.592 * * [simplify]: iters left: 1 (6 enodes)
3.594 * * [simplify]: Extracting #0: cost 1 inf + 0
3.594 * * [simplify]: Extracting #1: cost 0 inf + 1
3.594 * [simplify]: Simplified to 1
3.594 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
3.594 * [simplify]: Simplifying (* (+ a b) (+ a b))
3.594 * * [simplify]: iters left: 4 (4 enodes)
3.596 * * [simplify]: iters left: 3 (19 enodes)
3.604 * * [simplify]: iters left: 2 (43 enodes)
3.620 * * [simplify]: iters left: 1 (89 enodes)
3.641 * * [simplify]: Extracting #0: cost 1 inf + 0
3.641 * * [simplify]: Extracting #1: cost 13 inf + 0
3.641 * * [simplify]: Extracting #2: cost 27 inf + 2
3.641 * * [simplify]: Extracting #3: cost 7 inf + 1564
3.642 * * [simplify]: Extracting #4: cost 0 inf + 2242
3.643 * [simplify]: Simplified to (* (+ b a) (+ b a))
3.643 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
3.643 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
3.643 * [simplify]: Simplifying (* 1 1)
3.643 * * [simplify]: iters left: 2 (2 enodes)
3.645 * * [simplify]: iters left: 1 (6 enodes)
3.646 * * [simplify]: Extracting #0: cost 1 inf + 0
3.646 * * [simplify]: Extracting #1: cost 0 inf + 1
3.646 * [simplify]: Simplified to 1
3.646 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
3.646 * [simplify]: Simplifying (* (+ a b) (+ a b))
3.646 * * [simplify]: iters left: 4 (4 enodes)
3.647 * * [simplify]: iters left: 3 (19 enodes)
3.651 * * [simplify]: iters left: 2 (43 enodes)
3.659 * * [simplify]: iters left: 1 (89 enodes)
3.674 * * [simplify]: Extracting #0: cost 1 inf + 0
3.674 * * [simplify]: Extracting #1: cost 13 inf + 0
3.674 * * [simplify]: Extracting #2: cost 27 inf + 2
3.675 * * [simplify]: Extracting #3: cost 7 inf + 1564
3.676 * * [simplify]: Extracting #4: cost 0 inf + 2242
3.678 * [simplify]: Simplified to (* (+ b a) (+ b a))
3.678 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
3.678 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
3.678 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
3.678 * * [simplify]: iters left: 5 (5 enodes)
3.680 * * [simplify]: iters left: 4 (14 enodes)
3.684 * * [simplify]: iters left: 3 (15 enodes)
3.690 * * [simplify]: Extracting #0: cost 1 inf + 0
3.690 * * [simplify]: Extracting #1: cost 5 inf + 0
3.690 * * [simplify]: Extracting #2: cost 4 inf + 2
3.690 * * [simplify]: Extracting #3: cost 3 inf + 44
3.690 * * [simplify]: Extracting #4: cost 0 inf + 250
3.690 * [simplify]: Simplified to (+ b a)
3.691 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (* (sqrt (+ a b)) (sqrt (+ a b)))))
3.691 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
3.691 * * [simplify]: iters left: 5 (5 enodes)
3.693 * * [simplify]: iters left: 4 (14 enodes)
3.697 * * [simplify]: iters left: 3 (15 enodes)
3.701 * * [simplify]: Extracting #0: cost 1 inf + 0
3.701 * * [simplify]: Extracting #1: cost 5 inf + 0
3.701 * * [simplify]: Extracting #2: cost 4 inf + 2
3.702 * * [simplify]: Extracting #3: cost 3 inf + 44
3.702 * * [simplify]: Extracting #4: cost 0 inf + 250
3.702 * [simplify]: Simplified to (+ b a)
3.702 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (+ b a)))
3.702 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (* 2 1)))>
3.702 * [simplify]: Simplifying (* 2 1)
3.702 * * [simplify]: iters left: 2 (3 enodes)
3.705 * * [simplify]: iters left: 1 (9 enodes)
3.708 * * [simplify]: Extracting #0: cost 1 inf + 0
3.708 * * [simplify]: Extracting #1: cost 0 inf + 1
3.708 * [simplify]: Simplified to 2
3.708 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2))
3.708 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))>
3.708 * [simplify]: Simplifying (* (+ a b) a)
3.708 * * [simplify]: iters left: 4 (4 enodes)
3.709 * * [simplify]: iters left: 3 (14 enodes)
3.712 * * [simplify]: iters left: 2 (21 enodes)
3.716 * * [simplify]: iters left: 1 (31 enodes)
3.719 * * [simplify]: Extracting #0: cost 1 inf + 0
3.719 * * [simplify]: Extracting #1: cost 7 inf + 0
3.719 * * [simplify]: Extracting #2: cost 8 inf + 2
3.720 * * [simplify]: Extracting #3: cost 2 inf + 333
3.720 * * [simplify]: Extracting #4: cost 0 inf + 416
3.720 * [simplify]: Simplified to (* a (+ b a))
3.720 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* a (+ b a)) (* (+ a b) b)))
3.720 * [simplify]: Simplifying (* (+ a b) b)
3.720 * * [simplify]: iters left: 4 (4 enodes)
3.721 * * [simplify]: iters left: 3 (14 enodes)
3.723 * * [simplify]: iters left: 2 (21 enodes)
3.727 * * [simplify]: iters left: 1 (31 enodes)
3.731 * * [simplify]: Extracting #0: cost 1 inf + 0
3.731 * * [simplify]: Extracting #1: cost 7 inf + 0
3.731 * * [simplify]: Extracting #2: cost 7 inf + 43
3.731 * * [simplify]: Extracting #3: cost 0 inf + 416
3.731 * [simplify]: Simplified to (* (+ b a) b)
3.731 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ b a) b)))
3.731 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))>
3.731 * [simplify]: Simplifying (* a (+ a b))
3.731 * * [simplify]: iters left: 4 (4 enodes)
3.733 * * [simplify]: iters left: 3 (19 enodes)
3.737 * * [simplify]: iters left: 2 (29 enodes)
3.745 * * [simplify]: iters left: 1 (31 enodes)
3.752 * * [simplify]: Extracting #0: cost 1 inf + 0
3.752 * * [simplify]: Extracting #1: cost 7 inf + 0
3.752 * * [simplify]: Extracting #2: cost 8 inf + 2
3.752 * * [simplify]: Extracting #3: cost 0 inf + 416
3.753 * [simplify]: Simplified to (* a (+ b a))
3.753 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* a (+ b a)) (* b (+ a b))))
3.753 * [simplify]: Simplifying (* b (+ a b))
3.753 * * [simplify]: iters left: 4 (4 enodes)
3.755 * * [simplify]: iters left: 3 (19 enodes)
3.762 * * [simplify]: iters left: 2 (29 enodes)
3.766 * * [simplify]: iters left: 1 (30 enodes)
3.770 * * [simplify]: Extracting #0: cost 1 inf + 0
3.770 * * [simplify]: Extracting #1: cost 7 inf + 0
3.770 * * [simplify]: Extracting #2: cost 8 inf + 2
3.770 * * [simplify]: Extracting #3: cost 0 inf + 416
3.770 * [simplify]: Simplified to (* b (+ a b))
3.770 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))
3.770 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ a b))))>
3.770 * [simplify]: Simplifying (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b))))
3.770 * * [simplify]: iters left: 6 (6 enodes)
3.772 * * [simplify]: iters left: 5 (22 enodes)
3.776 * * [simplify]: iters left: 4 (34 enodes)
3.782 * * [simplify]: iters left: 3 (58 enodes)
3.790 * * [simplify]: iters left: 2 (70 enodes)
3.802 * * [simplify]: Extracting #0: cost 1 inf + 0
3.802 * * [simplify]: Extracting #1: cost 10 inf + 0
3.802 * * [simplify]: Extracting #2: cost 16 inf + 2
3.803 * * [simplify]: Extracting #3: cost 12 inf + 734
3.804 * * [simplify]: Extracting #4: cost 2 inf + 2474
3.805 * * [simplify]: Extracting #5: cost 0 inf + 2838
3.806 * [simplify]: Simplified to (* (* (cbrt (+ b a)) (cbrt (+ b a))) (+ b a))
3.806 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (* (cbrt (+ b a)) (cbrt (+ b a))) (+ b a)) (cbrt (+ a b))))
3.806 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (sqrt (+ a b))) (sqrt (+ a b))))>
3.807 * [simplify]: Simplifying (* (+ a b) (sqrt (+ a b)))
3.807 * * [simplify]: iters left: 5 (5 enodes)
3.809 * * [simplify]: iters left: 4 (17 enodes)
3.814 * * [simplify]: iters left: 3 (25 enodes)
3.823 * * [simplify]: iters left: 2 (37 enodes)
3.827 * * [simplify]: Extracting #0: cost 1 inf + 0
3.827 * * [simplify]: Extracting #1: cost 8 inf + 0
3.828 * * [simplify]: Extracting #2: cost 10 inf + 2
3.828 * * [simplify]: Extracting #3: cost 2 inf + 738
3.828 * * [simplify]: Extracting #4: cost 0 inf + 982
3.828 * [simplify]: Simplified to (* (+ b a) (sqrt (+ b a)))
3.828 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (+ b a) (sqrt (+ b a))) (sqrt (+ a b))))
3.829 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
3.829 * [simplify]: Simplifying (* (+ a b) 1)
3.829 * * [simplify]: iters left: 4 (5 enodes)
3.831 * * [simplify]: iters left: 3 (17 enodes)
3.834 * * [simplify]: iters left: 2 (29 enodes)
3.840 * * [simplify]: iters left: 1 (33 enodes)
3.843 * * [simplify]: Extracting #0: cost 1 inf + 0
3.844 * * [simplify]: Extracting #1: cost 5 inf + 0
3.844 * * [simplify]: Extracting #2: cost 2 inf + 3
3.844 * * [simplify]: Extracting #3: cost 1 inf + 45
3.844 * * [simplify]: Extracting #4: cost 0 inf + 87
3.844 * [simplify]: Simplified to (+ b a)
3.844 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (+ a b)))
3.844 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
3.844 * [simplify]: Simplifying (* (+ a b) 1)
3.844 * * [simplify]: iters left: 4 (5 enodes)
3.846 * * [simplify]: iters left: 3 (17 enodes)
3.849 * * [simplify]: iters left: 2 (29 enodes)
3.856 * * [simplify]: iters left: 1 (33 enodes)
3.863 * * [simplify]: Extracting #0: cost 1 inf + 0
3.863 * * [simplify]: Extracting #1: cost 5 inf + 0
3.863 * * [simplify]: Extracting #2: cost 2 inf + 3
3.863 * * [simplify]: Extracting #3: cost 1 inf + 45
3.863 * * [simplify]: Extracting #4: cost 0 inf + 87
3.863 * [simplify]: Simplified to (+ b a)
3.863 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (+ a b)))
3.863 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (+ a b))))>
3.864 * [simplify]: Simplifying (* (cbrt (+ a b)) (+ a b))
3.864 * * [simplify]: iters left: 5 (5 enodes)
3.866 * * [simplify]: iters left: 4 (23 enodes)
3.872 * * [simplify]: iters left: 3 (35 enodes)
3.876 * * [simplify]: iters left: 2 (37 enodes)
3.880 * * [simplify]: Extracting #0: cost 1 inf + 0
3.880 * * [simplify]: Extracting #1: cost 8 inf + 0
3.880 * * [simplify]: Extracting #2: cost 10 inf + 2
3.880 * * [simplify]: Extracting #3: cost 1 inf + 1140
3.881 * * [simplify]: Extracting #4: cost 0 inf + 1302
3.881 * [simplify]: Simplified to (* (+ b a) (cbrt (+ b a)))
3.881 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (+ b a) (cbrt (+ b a)))))
3.881 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (+ a b)) (* (sqrt (+ a b)) (+ a b))))>
3.881 * [simplify]: Simplifying (* (sqrt (+ a b)) (+ a b))
3.881 * * [simplify]: iters left: 5 (5 enodes)
3.883 * * [simplify]: iters left: 4 (23 enodes)
3.887 * * [simplify]: iters left: 3 (35 enodes)
3.891 * * [simplify]: iters left: 2 (37 enodes)
3.896 * * [simplify]: Extracting #0: cost 1 inf + 0
3.896 * * [simplify]: Extracting #1: cost 8 inf + 0
3.896 * * [simplify]: Extracting #2: cost 10 inf + 2
3.896 * * [simplify]: Extracting #3: cost 1 inf + 860
3.896 * * [simplify]: Extracting #4: cost 0 inf + 982
3.896 * [simplify]: Simplified to (* (+ b a) (sqrt (+ b a)))
3.896 * [simplify]: Simplified (2 2) to (λ (a b) (* (sqrt (+ a b)) (* (+ b a) (sqrt (+ b a)))))
3.896 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
3.897 * [simplify]: Simplifying (* (+ a b) (+ a b))
3.897 * * [simplify]: iters left: 4 (4 enodes)
3.899 * * [simplify]: iters left: 3 (19 enodes)
3.907 * * [simplify]: iters left: 2 (43 enodes)
3.922 * * [simplify]: iters left: 1 (89 enodes)
3.936 * * [simplify]: Extracting #0: cost 1 inf + 0
3.936 * * [simplify]: Extracting #1: cost 13 inf + 0
3.937 * * [simplify]: Extracting #2: cost 27 inf + 2
3.937 * * [simplify]: Extracting #3: cost 7 inf + 1564
3.938 * * [simplify]: Extracting #4: cost 0 inf + 2242
3.938 * [simplify]: Simplified to (* (+ b a) (+ b a))
3.939 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
3.939 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
3.939 * [simplify]: Simplifying (* (+ a b) (+ a b))
3.939 * * [simplify]: iters left: 4 (4 enodes)
3.940 * * [simplify]: iters left: 3 (19 enodes)
3.944 * * [simplify]: iters left: 2 (43 enodes)
3.953 * * [simplify]: iters left: 1 (89 enodes)
3.979 * * [simplify]: Extracting #0: cost 1 inf + 0
3.979 * * [simplify]: Extracting #1: cost 13 inf + 0
3.979 * * [simplify]: Extracting #2: cost 27 inf + 2
3.980 * * [simplify]: Extracting #3: cost 7 inf + 1564
3.982 * * [simplify]: Extracting #4: cost 0 inf + 2242
3.983 * [simplify]: Simplified to (* (+ b a) (+ b a))
3.983 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
3.983 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a a) (- (* b b) (* a b)))))>
3.984 * [simplify]: Simplifying (* (+ a b) (+ (pow a 3) (pow b 3)))
3.984 * * [simplify]: iters left: 5 (8 enodes)
3.990 * * [simplify]: iters left: 4 (46 enodes)
4.005 * * [simplify]: iters left: 3 (139 enodes)
4.058 * * [simplify]: iters left: 2 (381 enodes)
4.225 * * [simplify]: Extracting #0: cost 1 inf + 0
4.226 * * [simplify]: Extracting #1: cost 41 inf + 0
4.226 * * [simplify]: Extracting #2: cost 123 inf + 304
4.229 * * [simplify]: Extracting #3: cost 83 inf + 7871
4.235 * * [simplify]: Extracting #4: cost 31 inf + 21983
4.253 * * [simplify]: Extracting #5: cost 2 inf + 34609
4.263 * * [simplify]: Extracting #6: cost 0 inf + 35033
4.270 * [simplify]: Simplified to (* (fma b (* b b) (* a (* a a))) (+ b a))
4.270 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (fma b (* b b) (* a (* a a))) (+ b a)) (+ (* a a) (- (* b b) (* a b)))))
4.270 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (- a b)))>
4.271 * [simplify]: Simplifying (* (+ a b) (- (* a a) (* b b)))
4.271 * * [simplify]: iters left: 6 (7 enodes)
4.273 * * [simplify]: iters left: 5 (28 enodes)
4.278 * * [simplify]: iters left: 4 (55 enodes)
4.290 * * [simplify]: iters left: 3 (155 enodes)
4.369 * * [simplify]: iters left: 2 (493 enodes)
4.837 * * [simplify]: Extracting #0: cost 1 inf + 0
4.837 * * [simplify]: Extracting #1: cost 76 inf + 0
4.838 * * [simplify]: Extracting #2: cost 227 inf + 44
4.842 * * [simplify]: Extracting #3: cost 138 inf + 13856
4.862 * * [simplify]: Extracting #4: cost 14 inf + 39462
4.893 * * [simplify]: Extracting #5: cost 0 inf + 42955
4.919 * [simplify]: Simplified to (* (- a b) (* (+ b a) (+ b a)))
4.920 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- a b) (* (+ b a) (+ b a))) (- a b)))
4.920 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (+ a b)) (+ (* a a) (- (* b b) (* a b)))))>
4.920 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (+ a b))
4.920 * * [simplify]: iters left: 5 (8 enodes)
4.926 * * [simplify]: iters left: 4 (46 enodes)
4.949 * * [simplify]: iters left: 3 (115 enodes)
4.996 * * [simplify]: iters left: 2 (299 enodes)
5.103 * * [simplify]: Extracting #0: cost 1 inf + 0
5.103 * * [simplify]: Extracting #1: cost 37 inf + 0
5.104 * * [simplify]: Extracting #2: cost 115 inf + 953
5.106 * * [simplify]: Extracting #3: cost 79 inf + 8053
5.111 * * [simplify]: Extracting #4: cost 24 inf + 22028
5.117 * * [simplify]: Extracting #5: cost 2 inf + 29071
5.122 * * [simplify]: Extracting #6: cost 0 inf + 28935
5.128 * [simplify]: Simplified to (* (fma (* a a) a (* (* b b) b)) (+ b a))
5.129 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (fma (* a a) a (* (* b b) b)) (+ b a)) (+ (* a a) (- (* b b) (* a b)))))
5.129 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (+ a b)) (- a b)))>
5.129 * [simplify]: Simplifying (* (- (* a a) (* b b)) (+ a b))
5.129 * * [simplify]: iters left: 6 (7 enodes)
5.131 * * [simplify]: iters left: 5 (34 enodes)
5.140 * * [simplify]: iters left: 4 (85 enodes)
5.164 * * [simplify]: iters left: 3 (239 enodes)
5.272 * * [simplify]: Extracting #0: cost 1 inf + 0
5.272 * * [simplify]: Extracting #1: cost 38 inf + 0
5.273 * * [simplify]: Extracting #2: cost 108 inf + 249
5.276 * * [simplify]: Extracting #3: cost 51 inf + 8304
5.281 * * [simplify]: Extracting #4: cost 3 inf + 15404
5.287 * * [simplify]: Extracting #5: cost 0 inf + 16019
5.292 * [simplify]: Simplified to (* (* (- a b) (+ a b)) (+ a b))
5.292 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (* (- a b) (+ a b)) (+ a b)) (- a b)))
5.292 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (* (+ a b) (+ a b)))))>
5.292 * [simplify]: Simplifying (real->posit16 (* (+ a b) (+ a b)))
5.293 * * [simplify]: iters left: 5 (5 enodes)
5.294 * * [simplify]: iters left: 4 (19 enodes)
5.298 * * [simplify]: iters left: 3 (43 enodes)
5.309 * * [simplify]: iters left: 2 (89 enodes)
5.335 * * [simplify]: iters left: 1 (139 enodes)
5.377 * * [simplify]: Extracting #0: cost 1 inf + 0
5.377 * * [simplify]: Extracting #1: cost 2 inf + 0
5.377 * * [simplify]: Extracting #2: cost 15 inf + 0
5.378 * * [simplify]: Extracting #3: cost 27 inf + 43
5.379 * * [simplify]: Extracting #4: cost 5 inf + 1851
5.381 * * [simplify]: Extracting #5: cost 0 inf + 2356
5.383 * [simplify]: Simplified to (real->posit16 (* (+ b a) (+ b a)))
5.383 * [simplify]: Simplified (2 1) to (λ (a b) (posit16->real (real->posit16 (* (+ b a) (+ b a)))))
5.383 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
5.383 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
5.383 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
5.383 * * [simplify]: iters left: 6 (9 enodes)
5.388 * * [simplify]: iters left: 5 (43 enodes)
5.397 * * [simplify]: iters left: 4 (76 enodes)
5.411 * * [simplify]: iters left: 3 (130 enodes)
5.444 * * [simplify]: iters left: 2 (152 enodes)
5.475 * * [simplify]: iters left: 1 (155 enodes)
5.504 * * [simplify]: Extracting #0: cost 1 inf + 0
5.504 * * [simplify]: Extracting #1: cost 16 inf + 0
5.505 * * [simplify]: Extracting #2: cost 24 inf + 3
5.505 * * [simplify]: Extracting #3: cost 12 inf + 703
5.506 * * [simplify]: Extracting #4: cost 1 inf + 1556
5.508 * * [simplify]: Extracting #5: cost 0 inf + 1709
5.509 * [simplify]: Simplified to (fma (fma 2 a b) b (* a a))
5.509 * [simplify]: Simplified (2) to (λ (a b) (fma (fma 2 a b) b (* a a)))
5.509 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
5.510 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
5.510 * * [simplify]: iters left: 6 (9 enodes)
5.514 * * [simplify]: iters left: 5 (43 enodes)
5.522 * * [simplify]: iters left: 4 (76 enodes)
5.535 * * [simplify]: iters left: 3 (130 enodes)
5.564 * * [simplify]: iters left: 2 (152 enodes)
5.599 * * [simplify]: iters left: 1 (155 enodes)
5.626 * * [simplify]: Extracting #0: cost 1 inf + 0
5.626 * * [simplify]: Extracting #1: cost 16 inf + 0
5.626 * * [simplify]: Extracting #2: cost 24 inf + 3
5.626 * * [simplify]: Extracting #3: cost 12 inf + 703
5.628 * * [simplify]: Extracting #4: cost 1 inf + 1556
5.629 * * [simplify]: Extracting #5: cost 0 inf + 1709
5.631 * [simplify]: Simplified to (fma (fma 2 a b) b (* a a))
5.631 * [simplify]: Simplified (2) to (λ (a b) (fma (fma 2 a b) b (* a a)))
5.631 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
5.631 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
5.631 * * [simplify]: iters left: 6 (9 enodes)
5.637 * * [simplify]: iters left: 5 (43 enodes)
5.653 * * [simplify]: iters left: 4 (76 enodes)
5.680 * * [simplify]: iters left: 3 (130 enodes)
5.701 * * [simplify]: iters left: 2 (152 enodes)
5.724 * * [simplify]: iters left: 1 (155 enodes)
5.750 * * [simplify]: Extracting #0: cost 1 inf + 0
5.750 * * [simplify]: Extracting #1: cost 16 inf + 0
5.751 * * [simplify]: Extracting #2: cost 24 inf + 3
5.751 * * [simplify]: Extracting #3: cost 12 inf + 703
5.753 * * [simplify]: Extracting #4: cost 1 inf + 1556
5.754 * * [simplify]: Extracting #5: cost 0 inf + 1709
5.756 * [simplify]: Simplified to (fma (fma 2 a b) b (* a a))
5.756 * [simplify]: Simplified (2) to (λ (a b) (fma (fma 2 a b) b (* a a)))
5.756 * * * [progress]: adding candidates to table
6.094 * * [progress]: iteration 2 / 4
6.094 * * * [progress]: picking best candidate
6.098 * * * * [pick]: Picked  #<alt (λ (a b) (fma (fma 2 a b) b (* a a)))>
6.098 * * * [progress]: localizing error
6.120 * * * [progress]: generating rewritten candidates
6.120 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.120 * * * [progress]: generating series expansions
6.121 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.121 * [backup-simplify]: Simplify (fma (fma 2 a b) b (* a a)) into (fma (fma 2 a b) b (pow a 2))
6.121 * [approximate]: Taking taylor expansion of (fma (fma 2 a b) b (pow a 2)) in (a b) around 0
6.121 * [taylor]: Taking taylor expansion of (fma (fma 2 a b) b (pow a 2)) in b
6.121 * [taylor]: Rewrote expression to (+ (* (fma 2 a b) b) (pow a 2))
6.121 * [taylor]: Taking taylor expansion of (* (fma 2 a b) b) in b
6.121 * [taylor]: Taking taylor expansion of (fma 2 a b) in b
6.121 * [taylor]: Rewrote expression to (+ (* 2 a) b)
6.121 * [taylor]: Taking taylor expansion of (* 2 a) in b
6.121 * [taylor]: Taking taylor expansion of 2 in b
6.121 * [backup-simplify]: Simplify 2 into 2
6.121 * [taylor]: Taking taylor expansion of a in b
6.121 * [backup-simplify]: Simplify a into a
6.121 * [taylor]: Taking taylor expansion of b in b
6.121 * [backup-simplify]: Simplify 0 into 0
6.121 * [backup-simplify]: Simplify 1 into 1
6.121 * [taylor]: Taking taylor expansion of b in b
6.121 * [backup-simplify]: Simplify 0 into 0
6.121 * [backup-simplify]: Simplify 1 into 1
6.121 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.121 * [taylor]: Taking taylor expansion of a in b
6.121 * [backup-simplify]: Simplify a into a
6.121 * [taylor]: Taking taylor expansion of (fma (fma 2 a b) b (pow a 2)) in a
6.121 * [taylor]: Rewrote expression to (+ (* (fma 2 a b) b) (pow a 2))
6.121 * [taylor]: Taking taylor expansion of (* (fma 2 a b) b) in a
6.122 * [taylor]: Taking taylor expansion of (fma 2 a b) in a
6.122 * [taylor]: Rewrote expression to (+ (* 2 a) b)
6.122 * [taylor]: Taking taylor expansion of (* 2 a) in a
6.122 * [taylor]: Taking taylor expansion of 2 in a
6.122 * [backup-simplify]: Simplify 2 into 2
6.122 * [taylor]: Taking taylor expansion of a in a
6.122 * [backup-simplify]: Simplify 0 into 0
6.122 * [backup-simplify]: Simplify 1 into 1
6.122 * [taylor]: Taking taylor expansion of b in a
6.122 * [backup-simplify]: Simplify b into b
6.122 * [taylor]: Taking taylor expansion of b in a
6.122 * [backup-simplify]: Simplify b into b
6.122 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.122 * [taylor]: Taking taylor expansion of a in a
6.122 * [backup-simplify]: Simplify 0 into 0
6.122 * [backup-simplify]: Simplify 1 into 1
6.122 * [taylor]: Taking taylor expansion of (fma (fma 2 a b) b (pow a 2)) in a
6.122 * [taylor]: Rewrote expression to (+ (* (fma 2 a b) b) (pow a 2))
6.122 * [taylor]: Taking taylor expansion of (* (fma 2 a b) b) in a
6.122 * [taylor]: Taking taylor expansion of (fma 2 a b) in a
6.122 * [taylor]: Rewrote expression to (+ (* 2 a) b)
6.122 * [taylor]: Taking taylor expansion of (* 2 a) in a
6.122 * [taylor]: Taking taylor expansion of 2 in a
6.122 * [backup-simplify]: Simplify 2 into 2
6.122 * [taylor]: Taking taylor expansion of a in a
6.122 * [backup-simplify]: Simplify 0 into 0
6.122 * [backup-simplify]: Simplify 1 into 1
6.122 * [taylor]: Taking taylor expansion of b in a
6.122 * [backup-simplify]: Simplify b into b
6.122 * [taylor]: Taking taylor expansion of b in a
6.122 * [backup-simplify]: Simplify b into b
6.122 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.122 * [taylor]: Taking taylor expansion of a in a
6.122 * [backup-simplify]: Simplify 0 into 0
6.122 * [backup-simplify]: Simplify 1 into 1
6.123 * [backup-simplify]: Simplify (* 2 0) into 0
6.123 * [backup-simplify]: Simplify (+ 0 b) into b
6.123 * [backup-simplify]: Simplify (* b b) into (pow b 2)
6.124 * [backup-simplify]: Simplify (+ (pow b 2) 0) into (pow b 2)
6.124 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.124 * [taylor]: Taking taylor expansion of b in b
6.124 * [backup-simplify]: Simplify 0 into 0
6.124 * [backup-simplify]: Simplify 1 into 1
6.124 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
6.125 * [backup-simplify]: Simplify (+ 2 0) into 2
6.125 * [backup-simplify]: Simplify (+ (* b 0) (* 2 b)) into (* 2 b)
6.125 * [backup-simplify]: Simplify (+ (* 2 b) 0) into (* 2 b)
6.125 * [taylor]: Taking taylor expansion of (* 2 b) in b
6.125 * [taylor]: Taking taylor expansion of 2 in b
6.125 * [backup-simplify]: Simplify 2 into 2
6.125 * [taylor]: Taking taylor expansion of b in b
6.125 * [backup-simplify]: Simplify 0 into 0
6.125 * [backup-simplify]: Simplify 1 into 1
6.126 * [backup-simplify]: Simplify (* 2 0) into 0
6.126 * [backup-simplify]: Simplify 0 into 0
6.127 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
6.127 * [backup-simplify]: Simplify (+ 0 0) into 0
6.128 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 2 0) (* 0 b))) into 0
6.128 * [backup-simplify]: Simplify (* 1 1) into 1
6.128 * [backup-simplify]: Simplify (+ 0 1) into 1
6.128 * [taylor]: Taking taylor expansion of 1 in b
6.128 * [backup-simplify]: Simplify 1 into 1
6.128 * [backup-simplify]: Simplify 1 into 1
6.129 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
6.129 * [backup-simplify]: Simplify 2 into 2
6.129 * [backup-simplify]: Simplify (* 1 1) into 1
6.129 * [backup-simplify]: Simplify 1 into 1
6.129 * [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))))
6.129 * [backup-simplify]: Simplify (fma (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b) (* (/ 1 a) (/ 1 a))) into (fma (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b) (/ 1 (pow a 2)))
6.130 * [approximate]: Taking taylor expansion of (fma (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b) (/ 1 (pow a 2))) in (a b) around 0
6.130 * [taylor]: Taking taylor expansion of (fma (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b) (/ 1 (pow a 2))) in b
6.130 * [taylor]: Rewrote expression to (+ (* (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b)) (/ 1 (pow a 2)))
6.130 * [taylor]: Taking taylor expansion of (* (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b)) in b
6.130 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 a) (/ 1 b)) in b
6.130 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 a)) (/ 1 b))
6.130 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b
6.130 * [taylor]: Taking taylor expansion of 2 in b
6.130 * [backup-simplify]: Simplify 2 into 2
6.130 * [taylor]: Taking taylor expansion of (/ 1 a) in b
6.130 * [taylor]: Taking taylor expansion of a in b
6.130 * [backup-simplify]: Simplify a into a
6.130 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.130 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.130 * [taylor]: Taking taylor expansion of b in b
6.130 * [backup-simplify]: Simplify 0 into 0
6.130 * [backup-simplify]: Simplify 1 into 1
6.130 * [backup-simplify]: Simplify (/ 1 1) into 1
6.130 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.130 * [taylor]: Taking taylor expansion of b in b
6.130 * [backup-simplify]: Simplify 0 into 0
6.130 * [backup-simplify]: Simplify 1 into 1
6.130 * [backup-simplify]: Simplify (/ 1 1) into 1
6.130 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
6.130 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.130 * [taylor]: Taking taylor expansion of a in b
6.130 * [backup-simplify]: Simplify a into a
6.131 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.131 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.131 * [taylor]: Taking taylor expansion of (fma (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b) (/ 1 (pow a 2))) in a
6.131 * [taylor]: Rewrote expression to (+ (* (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b)) (/ 1 (pow a 2)))
6.131 * [taylor]: Taking taylor expansion of (* (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b)) in a
6.131 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 a) (/ 1 b)) in a
6.131 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 a)) (/ 1 b))
6.131 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
6.131 * [taylor]: Taking taylor expansion of 2 in a
6.131 * [backup-simplify]: Simplify 2 into 2
6.131 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.131 * [taylor]: Taking taylor expansion of a in a
6.131 * [backup-simplify]: Simplify 0 into 0
6.131 * [backup-simplify]: Simplify 1 into 1
6.131 * [backup-simplify]: Simplify (/ 1 1) into 1
6.131 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.131 * [taylor]: Taking taylor expansion of b in a
6.131 * [backup-simplify]: Simplify b into b
6.131 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.131 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.131 * [taylor]: Taking taylor expansion of b in a
6.131 * [backup-simplify]: Simplify b into b
6.131 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.131 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
6.131 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.131 * [taylor]: Taking taylor expansion of a in a
6.131 * [backup-simplify]: Simplify 0 into 0
6.131 * [backup-simplify]: Simplify 1 into 1
6.132 * [backup-simplify]: Simplify (* 1 1) into 1
6.132 * [backup-simplify]: Simplify (/ 1 1) into 1
6.132 * [taylor]: Taking taylor expansion of (fma (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b) (/ 1 (pow a 2))) in a
6.132 * [taylor]: Rewrote expression to (+ (* (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b)) (/ 1 (pow a 2)))
6.132 * [taylor]: Taking taylor expansion of (* (fma 2 (/ 1 a) (/ 1 b)) (/ 1 b)) in a
6.132 * [taylor]: Taking taylor expansion of (fma 2 (/ 1 a) (/ 1 b)) in a
6.132 * [taylor]: Rewrote expression to (+ (* 2 (/ 1 a)) (/ 1 b))
6.132 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
6.132 * [taylor]: Taking taylor expansion of 2 in a
6.132 * [backup-simplify]: Simplify 2 into 2
6.132 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.132 * [taylor]: Taking taylor expansion of a in a
6.132 * [backup-simplify]: Simplify 0 into 0
6.132 * [backup-simplify]: Simplify 1 into 1
6.132 * [backup-simplify]: Simplify (/ 1 1) into 1
6.132 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.132 * [taylor]: Taking taylor expansion of b in a
6.132 * [backup-simplify]: Simplify b into b
6.132 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.132 * [taylor]: Taking taylor expansion of (/ 1 b) in a
6.132 * [taylor]: Taking taylor expansion of b in a
6.132 * [backup-simplify]: Simplify b into b
6.132 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
6.132 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
6.132 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.132 * [taylor]: Taking taylor expansion of a in a
6.132 * [backup-simplify]: Simplify 0 into 0
6.133 * [backup-simplify]: Simplify 1 into 1
6.133 * [backup-simplify]: Simplify (* 1 1) into 1
6.133 * [backup-simplify]: Simplify (/ 1 1) into 1
6.133 * [backup-simplify]: Simplify (+ 0 1) into 1
6.133 * [taylor]: Taking taylor expansion of 1 in b
6.133 * [backup-simplify]: Simplify 1 into 1
6.134 * [backup-simplify]: Simplify (* 2 1) into 2
6.134 * [backup-simplify]: Simplify (+ 2 0) into 2
6.134 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b)
6.134 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.135 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
6.135 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
6.135 * [taylor]: Taking taylor expansion of 2 in b
6.135 * [backup-simplify]: Simplify 2 into 2
6.135 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.135 * [taylor]: Taking taylor expansion of b in b
6.135 * [backup-simplify]: Simplify 0 into 0
6.135 * [backup-simplify]: Simplify 1 into 1
6.135 * [backup-simplify]: Simplify (/ 1 1) into 1
6.135 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
6.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.136 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
6.136 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
6.137 * [backup-simplify]: Simplify (+ (* 2 0) (* (/ 1 b) (/ 1 b))) into (/ 1 (pow b 2))
6.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.138 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2))
6.138 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
6.138 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.138 * [taylor]: Taking taylor expansion of b in b
6.138 * [backup-simplify]: Simplify 0 into 0
6.138 * [backup-simplify]: Simplify 1 into 1
6.138 * [backup-simplify]: Simplify (* 1 1) into 1
6.138 * [backup-simplify]: Simplify (/ 1 1) into 1
6.138 * [backup-simplify]: Simplify 1 into 1
6.139 * [backup-simplify]: Simplify (* 2 1) into 2
6.139 * [backup-simplify]: Simplify 2 into 2
6.139 * [backup-simplify]: Simplify 1 into 1
6.139 * [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))))
6.139 * [backup-simplify]: Simplify (fma (fma 2 (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- b)) (* (/ 1 (- a)) (/ 1 (- a)))) into (fma (fma 2 (/ -1 a) (/ -1 b)) (/ -1 b) (/ 1 (pow a 2)))
6.139 * [approximate]: Taking taylor expansion of (fma (fma 2 (/ -1 a) (/ -1 b)) (/ -1 b) (/ 1 (pow a 2))) in (a b) around 0
6.139 * [taylor]: Taking taylor expansion of (fma (fma 2 (/ -1 a) (/ -1 b)) (/ -1 b) (/ 1 (pow a 2))) in b
6.139 * [taylor]: Rewrote expression to (+ (* (fma 2 (/ -1 a) (/ -1 b)) (/ -1 b)) (/ 1 (pow a 2)))
6.139 * [taylor]: Taking taylor expansion of (* (fma 2 (/ -1 a) (/ -1 b)) (/ -1 b)) in b
6.139 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 a) (/ -1 b)) in b
6.139 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 a)) (/ -1 b))
6.139 * [taylor]: Taking taylor expansion of (* 2 (/ -1 a)) in b
6.139 * [taylor]: Taking taylor expansion of 2 in b
6.139 * [backup-simplify]: Simplify 2 into 2
6.139 * [taylor]: Taking taylor expansion of (/ -1 a) in b
6.139 * [taylor]: Taking taylor expansion of -1 in b
6.139 * [backup-simplify]: Simplify -1 into -1
6.139 * [taylor]: Taking taylor expansion of a in b
6.139 * [backup-simplify]: Simplify a into a
6.139 * [backup-simplify]: Simplify (/ -1 a) into (/ -1 a)
6.139 * [taylor]: Taking taylor expansion of (/ -1 b) in b
6.139 * [taylor]: Taking taylor expansion of -1 in b
6.140 * [backup-simplify]: Simplify -1 into -1
6.140 * [taylor]: Taking taylor expansion of b in b
6.140 * [backup-simplify]: Simplify 0 into 0
6.140 * [backup-simplify]: Simplify 1 into 1
6.140 * [backup-simplify]: Simplify (/ -1 1) into -1
6.140 * [taylor]: Taking taylor expansion of (/ -1 b) in b
6.140 * [taylor]: Taking taylor expansion of -1 in b
6.140 * [backup-simplify]: Simplify -1 into -1
6.140 * [taylor]: Taking taylor expansion of b in b
6.140 * [backup-simplify]: Simplify 0 into 0
6.140 * [backup-simplify]: Simplify 1 into 1
6.140 * [backup-simplify]: Simplify (/ -1 1) into -1
6.140 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
6.140 * [taylor]: Taking taylor expansion of (pow a 2) in b
6.140 * [taylor]: Taking taylor expansion of a in b
6.140 * [backup-simplify]: Simplify a into a
6.140 * [backup-simplify]: Simplify (* a a) into (pow a 2)
6.140 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
6.140 * [taylor]: Taking taylor expansion of (fma (fma 2 (/ -1 a) (/ -1 b)) (/ -1 b) (/ 1 (pow a 2))) in a
6.140 * [taylor]: Rewrote expression to (+ (* (fma 2 (/ -1 a) (/ -1 b)) (/ -1 b)) (/ 1 (pow a 2)))
6.140 * [taylor]: Taking taylor expansion of (* (fma 2 (/ -1 a) (/ -1 b)) (/ -1 b)) in a
6.140 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 a) (/ -1 b)) in a
6.141 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 a)) (/ -1 b))
6.141 * [taylor]: Taking taylor expansion of (* 2 (/ -1 a)) in a
6.141 * [taylor]: Taking taylor expansion of 2 in a
6.141 * [backup-simplify]: Simplify 2 into 2
6.141 * [taylor]: Taking taylor expansion of (/ -1 a) in a
6.141 * [taylor]: Taking taylor expansion of -1 in a
6.141 * [backup-simplify]: Simplify -1 into -1
6.141 * [taylor]: Taking taylor expansion of a in a
6.141 * [backup-simplify]: Simplify 0 into 0
6.141 * [backup-simplify]: Simplify 1 into 1
6.141 * [backup-simplify]: Simplify (/ -1 1) into -1
6.141 * [taylor]: Taking taylor expansion of (/ -1 b) in a
6.141 * [taylor]: Taking taylor expansion of -1 in a
6.141 * [backup-simplify]: Simplify -1 into -1
6.141 * [taylor]: Taking taylor expansion of b in a
6.141 * [backup-simplify]: Simplify b into b
6.141 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
6.141 * [taylor]: Taking taylor expansion of (/ -1 b) in a
6.141 * [taylor]: Taking taylor expansion of -1 in a
6.141 * [backup-simplify]: Simplify -1 into -1
6.141 * [taylor]: Taking taylor expansion of b in a
6.141 * [backup-simplify]: Simplify b into b
6.141 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
6.141 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
6.141 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.141 * [taylor]: Taking taylor expansion of a in a
6.141 * [backup-simplify]: Simplify 0 into 0
6.141 * [backup-simplify]: Simplify 1 into 1
6.141 * [backup-simplify]: Simplify (* 1 1) into 1
6.142 * [backup-simplify]: Simplify (/ 1 1) into 1
6.142 * [taylor]: Taking taylor expansion of (fma (fma 2 (/ -1 a) (/ -1 b)) (/ -1 b) (/ 1 (pow a 2))) in a
6.142 * [taylor]: Rewrote expression to (+ (* (fma 2 (/ -1 a) (/ -1 b)) (/ -1 b)) (/ 1 (pow a 2)))
6.142 * [taylor]: Taking taylor expansion of (* (fma 2 (/ -1 a) (/ -1 b)) (/ -1 b)) in a
6.142 * [taylor]: Taking taylor expansion of (fma 2 (/ -1 a) (/ -1 b)) in a
6.142 * [taylor]: Rewrote expression to (+ (* 2 (/ -1 a)) (/ -1 b))
6.142 * [taylor]: Taking taylor expansion of (* 2 (/ -1 a)) in a
6.142 * [taylor]: Taking taylor expansion of 2 in a
6.142 * [backup-simplify]: Simplify 2 into 2
6.142 * [taylor]: Taking taylor expansion of (/ -1 a) in a
6.142 * [taylor]: Taking taylor expansion of -1 in a
6.142 * [backup-simplify]: Simplify -1 into -1
6.142 * [taylor]: Taking taylor expansion of a in a
6.142 * [backup-simplify]: Simplify 0 into 0
6.142 * [backup-simplify]: Simplify 1 into 1
6.142 * [backup-simplify]: Simplify (/ -1 1) into -1
6.142 * [taylor]: Taking taylor expansion of (/ -1 b) in a
6.142 * [taylor]: Taking taylor expansion of -1 in a
6.142 * [backup-simplify]: Simplify -1 into -1
6.142 * [taylor]: Taking taylor expansion of b in a
6.142 * [backup-simplify]: Simplify b into b
6.142 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
6.142 * [taylor]: Taking taylor expansion of (/ -1 b) in a
6.142 * [taylor]: Taking taylor expansion of -1 in a
6.142 * [backup-simplify]: Simplify -1 into -1
6.142 * [taylor]: Taking taylor expansion of b in a
6.142 * [backup-simplify]: Simplify b into b
6.142 * [backup-simplify]: Simplify (/ -1 b) into (/ -1 b)
6.143 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
6.143 * [taylor]: Taking taylor expansion of (pow a 2) in a
6.143 * [taylor]: Taking taylor expansion of a in a
6.143 * [backup-simplify]: Simplify 0 into 0
6.143 * [backup-simplify]: Simplify 1 into 1
6.143 * [backup-simplify]: Simplify (* 1 1) into 1
6.143 * [backup-simplify]: Simplify (/ 1 1) into 1
6.143 * [backup-simplify]: Simplify (+ 0 1) into 1
6.143 * [taylor]: Taking taylor expansion of 1 in b
6.143 * [backup-simplify]: Simplify 1 into 1
6.147 * [backup-simplify]: Simplify (* 2 -1) into -2
6.147 * [backup-simplify]: Simplify (+ -2 0) into -2
6.147 * [backup-simplify]: Simplify (* -2 (/ -1 b)) into (/ 2 b)
6.148 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.148 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
6.148 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
6.149 * [taylor]: Taking taylor expansion of 2 in b
6.149 * [backup-simplify]: Simplify 2 into 2
6.149 * [taylor]: Taking taylor expansion of (/ 1 b) in b
6.149 * [taylor]: Taking taylor expansion of b in b
6.149 * [backup-simplify]: Simplify 0 into 0
6.149 * [backup-simplify]: Simplify 1 into 1
6.149 * [backup-simplify]: Simplify (/ 1 1) into 1
6.149 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ -1 b) (/ 0 b)))) into 0
6.149 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.150 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 -1)) into 0
6.150 * [backup-simplify]: Simplify (+ 0 (/ -1 b)) into (- (/ 1 b))
6.150 * [backup-simplify]: Simplify (+ (* -2 0) (* (- (/ 1 b)) (/ -1 b))) into (/ 1 (pow b 2))
6.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.151 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2))
6.151 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
6.151 * [taylor]: Taking taylor expansion of (pow b 2) in b
6.151 * [taylor]: Taking taylor expansion of b in b
6.152 * [backup-simplify]: Simplify 0 into 0
6.152 * [backup-simplify]: Simplify 1 into 1
6.152 * [backup-simplify]: Simplify (* 1 1) into 1
6.152 * [backup-simplify]: Simplify (/ 1 1) into 1
6.152 * [backup-simplify]: Simplify 1 into 1
6.152 * [backup-simplify]: Simplify (* 2 1) into 2
6.152 * [backup-simplify]: Simplify 2 into 2
6.152 * [backup-simplify]: Simplify 1 into 1
6.153 * [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))))
6.153 * * * [progress]: simplifying candidates
6.153 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (fma (fma 2 a b) b (* a a)))))>
6.153 * [simplify]: Simplifying (expm1 (fma (fma 2 a b) b (* a a)))
6.153 * * [simplify]: iters left: 4 (7 enodes)
6.155 * * [simplify]: iters left: 3 (25 enodes)
6.160 * * [simplify]: iters left: 2 (33 enodes)
6.171 * * [simplify]: iters left: 1 (43 enodes)
6.186 * * [simplify]: Extracting #0: cost 1 inf + 0
6.186 * * [simplify]: Extracting #1: cost 3 inf + 0
6.186 * * [simplify]: Extracting #2: cost 15 inf + 0
6.186 * * [simplify]: Extracting #3: cost 23 inf + 43
6.186 * * [simplify]: Extracting #4: cost 16 inf + 496
6.187 * * [simplify]: Extracting #5: cost 4 inf + 1522
6.188 * * [simplify]: Extracting #6: cost 0 inf + 2219
6.189 * [simplify]: Simplified to (expm1 (fma b (fma a 2 b) (* a a)))
6.189 * [simplify]: Simplified (2 1) to (λ (a b) (log1p (expm1 (fma b (fma a 2 b) (* a a)))))
6.189 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (fma (fma 2 a b) b (* a a)))))>
6.190 * [simplify]: Simplifying (log1p (fma (fma 2 a b) b (* a a)))
6.190 * * [simplify]: iters left: 4 (7 enodes)
6.194 * * [simplify]: iters left: 3 (25 enodes)
6.202 * * [simplify]: iters left: 2 (33 enodes)
6.213 * * [simplify]: iters left: 1 (43 enodes)
6.229 * * [simplify]: Extracting #0: cost 1 inf + 0
6.229 * * [simplify]: Extracting #1: cost 3 inf + 0
6.229 * * [simplify]: Extracting #2: cost 15 inf + 0
6.229 * * [simplify]: Extracting #3: cost 23 inf + 43
6.229 * * [simplify]: Extracting #4: cost 16 inf + 496
6.230 * * [simplify]: Extracting #5: cost 4 inf + 1522
6.231 * * [simplify]: Extracting #6: cost 0 inf + 2259
6.232 * [simplify]: Simplified to (log1p (fma b (fma a 2 b) (* a a)))
6.232 * [simplify]: Simplified (2 1) to (λ (a b) (expm1 (log1p (fma b (fma a 2 b) (* a a)))))
6.232 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a b) (+ (* (fma 2 a b) b) (* a a)))>
6.233 * [simplify]: Simplifying (* (fma 2 a b) b)
6.233 * * [simplify]: iters left: 3 (5 enodes)
6.236 * * [simplify]: iters left: 2 (18 enodes)
6.242 * * [simplify]: iters left: 1 (27 enodes)
6.252 * * [simplify]: Extracting #0: cost 1 inf + 0
6.252 * * [simplify]: Extracting #1: cost 7 inf + 0
6.252 * * [simplify]: Extracting #2: cost 15 inf + 42
6.252 * * [simplify]: Extracting #3: cost 10 inf + 169
6.253 * * [simplify]: Extracting #4: cost 3 inf + 577
6.253 * * [simplify]: Extracting #5: cost 0 inf + 815
6.254 * [simplify]: Simplified to (* b (fma a 2 b))
6.254 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* b (fma a 2 b)) (* a a)))
6.254 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a b) (pow (fma (fma 2 a b) b (* a a)) 1))>
6.254 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a b) (exp (log (fma (fma 2 a b) b (* a a)))))>
6.254 * [simplify]: Simplifying (log (fma (fma 2 a b) b (* a a)))
6.254 * * [simplify]: iters left: 4 (7 enodes)
6.258 * * [simplify]: iters left: 3 (25 enodes)
6.266 * * [simplify]: iters left: 2 (33 enodes)
6.276 * * [simplify]: iters left: 1 (43 enodes)
6.284 * * [simplify]: Extracting #0: cost 1 inf + 0
6.284 * * [simplify]: Extracting #1: cost 3 inf + 0
6.284 * * [simplify]: Extracting #2: cost 15 inf + 0
6.284 * * [simplify]: Extracting #3: cost 23 inf + 43
6.285 * * [simplify]: Extracting #4: cost 16 inf + 496
6.285 * * [simplify]: Extracting #5: cost 4 inf + 1522
6.285 * * [simplify]: Extracting #6: cost 0 inf + 2219
6.286 * [simplify]: Simplified to (log (fma b (fma a 2 b) (* a a)))
6.286 * [simplify]: Simplified (2 1) to (λ (a b) (exp (log (fma b (fma a 2 b) (* a a)))))
6.286 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a b) (log (exp (fma (fma 2 a b) b (* a a)))))>
6.286 * [simplify]: Simplifying (exp (fma (fma 2 a b) b (* a a)))
6.286 * * [simplify]: iters left: 4 (7 enodes)
6.290 * * [simplify]: iters left: 3 (25 enodes)
6.295 * * [simplify]: iters left: 2 (36 enodes)
6.301 * * [simplify]: iters left: 1 (57 enodes)
6.312 * * [simplify]: Extracting #0: cost 1 inf + 0
6.312 * * [simplify]: Extracting #1: cost 5 inf + 0
6.312 * * [simplify]: Extracting #2: cost 27 inf + 0
6.312 * * [simplify]: Extracting #3: cost 39 inf + 296
6.312 * * [simplify]: Extracting #4: cost 30 inf + 1209
6.313 * * [simplify]: Extracting #5: cost 8 inf + 3584
6.314 * * [simplify]: Extracting #6: cost 0 inf + 4953
6.315 * [simplify]: Simplified to (exp (fma b (fma a 2 b) (* a a)))
6.315 * [simplify]: Simplified (2 1) to (λ (a b) (log (exp (fma b (fma a 2 b) (* a a)))))
6.315 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (fma (fma 2 a b) b (* a a))) (cbrt (fma (fma 2 a b) b (* a a)))) (cbrt (fma (fma 2 a b) b (* a a)))))>
6.315 * [simplify]: Simplifying (* (cbrt (fma (fma 2 a b) b (* a a))) (cbrt (fma (fma 2 a b) b (* a a))))
6.315 * * [simplify]: iters left: 6 (8 enodes)
6.317 * * [simplify]: iters left: 5 (28 enodes)
6.326 * * [simplify]: iters left: 4 (36 enodes)
6.338 * * [simplify]: iters left: 3 (46 enodes)
6.353 * * [simplify]: iters left: 2 (78 enodes)
6.377 * * [simplify]: iters left: 1 (121 enodes)
6.409 * * [simplify]: Extracting #0: cost 1 inf + 0
6.409 * * [simplify]: Extracting #1: cost 3 inf + 0
6.409 * * [simplify]: Extracting #2: cost 5 inf + 0
6.409 * * [simplify]: Extracting #3: cost 21 inf + 0
6.409 * * [simplify]: Extracting #4: cost 34 inf + 44
6.410 * * [simplify]: Extracting #5: cost 11 inf + 1843
6.412 * * [simplify]: Extracting #6: cost 0 inf + 3302
6.416 * [simplify]: Simplified to (* (cbrt (fma a (fma 2 b a) (* b b))) (cbrt (fma a (fma 2 b a) (* b b))))
6.416 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (fma a (fma 2 b a) (* b b))) (cbrt (fma a (fma 2 b a) (* b b)))) (cbrt (fma (fma 2 a b) b (* a a)))))
6.416 * [simplify]: Simplifying (cbrt (fma (fma 2 a b) b (* a a)))
6.417 * * [simplify]: iters left: 4 (7 enodes)
6.421 * * [simplify]: iters left: 3 (25 enodes)
6.428 * * [simplify]: iters left: 2 (33 enodes)
6.434 * * [simplify]: iters left: 1 (43 enodes)
6.442 * * [simplify]: Extracting #0: cost 1 inf + 0
6.442 * * [simplify]: Extracting #1: cost 3 inf + 0
6.442 * * [simplify]: Extracting #2: cost 15 inf + 0
6.442 * * [simplify]: Extracting #3: cost 23 inf + 43
6.442 * * [simplify]: Extracting #4: cost 16 inf + 496
6.443 * * [simplify]: Extracting #5: cost 4 inf + 1522
6.443 * * [simplify]: Extracting #6: cost 0 inf + 2239
6.444 * [simplify]: Simplified to (cbrt (fma b (fma a 2 b) (* a a)))
6.444 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (cbrt (fma (fma 2 a b) b (* a a))) (cbrt (fma (fma 2 a b) b (* a a)))) (cbrt (fma b (fma a 2 b) (* a a)))))
6.444 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (fma (fma 2 a b) b (* a a)) (fma (fma 2 a b) b (* a a))) (fma (fma 2 a b) b (* a a)))))>
6.444 * [simplify]: Simplifying (* (* (fma (fma 2 a b) b (* a a)) (fma (fma 2 a b) b (* a a))) (fma (fma 2 a b) b (* a a)))
6.444 * * [simplify]: iters left: 6 (8 enodes)
6.447 * * [simplify]: iters left: 5 (29 enodes)
6.452 * * [simplify]: iters left: 4 (51 enodes)
6.465 * * [simplify]: iters left: 3 (161 enodes)
6.554 * * [simplify]: Extracting #0: cost 1 inf + 0
6.554 * * [simplify]: Extracting #1: cost 28 inf + 0
6.555 * * [simplify]: Extracting #2: cost 173 inf + 3
6.557 * * [simplify]: Extracting #3: cost 177 inf + 2716
6.564 * * [simplify]: Extracting #4: cost 84 inf + 21926
6.582 * * [simplify]: Extracting #5: cost 3 inf + 44805
6.602 * * [simplify]: Extracting #6: cost 0 inf + 45224
6.626 * * [simplify]: Extracting #7: cost 0 inf + 45184
6.646 * [simplify]: Simplified to (* (fma b (fma a 2 b) (* a a)) (* (fma b (fma a 2 b) (* a a)) (fma b (fma a 2 b) (* a a))))
6.646 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (fma b (fma a 2 b) (* a a)) (* (fma b (fma a 2 b) (* a a)) (fma b (fma a 2 b) (* a a))))))
6.646 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (fma (fma 2 a b) b (* a a))) (sqrt (fma (fma 2 a b) b (* a a)))))>
6.647 * [simplify]: Simplifying (sqrt (fma (fma 2 a b) b (* a a)))
6.647 * * [simplify]: iters left: 4 (7 enodes)
6.651 * * [simplify]: iters left: 3 (25 enodes)
6.660 * * [simplify]: iters left: 2 (33 enodes)
6.670 * * [simplify]: iters left: 1 (43 enodes)
6.685 * * [simplify]: Extracting #0: cost 1 inf + 0
6.685 * * [simplify]: Extracting #1: cost 3 inf + 0
6.685 * * [simplify]: Extracting #2: cost 15 inf + 0
6.685 * * [simplify]: Extracting #3: cost 23 inf + 43
6.686 * * [simplify]: Extracting #4: cost 16 inf + 496
6.686 * * [simplify]: Extracting #5: cost 4 inf + 1522
6.687 * * [simplify]: Extracting #6: cost 0 inf + 2159
6.688 * [simplify]: Simplified to (sqrt (fma b (fma a 2 b) (* a a)))
6.688 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (fma b (fma a 2 b) (* a a))) (sqrt (fma (fma 2 a b) b (* a a)))))
6.689 * [simplify]: Simplifying (sqrt (fma (fma 2 a b) b (* a a)))
6.689 * * [simplify]: iters left: 4 (7 enodes)
6.693 * * [simplify]: iters left: 3 (25 enodes)
6.701 * * [simplify]: iters left: 2 (33 enodes)
6.712 * * [simplify]: iters left: 1 (43 enodes)
6.727 * * [simplify]: Extracting #0: cost 1 inf + 0
6.727 * * [simplify]: Extracting #1: cost 3 inf + 0
6.727 * * [simplify]: Extracting #2: cost 15 inf + 0
6.728 * * [simplify]: Extracting #3: cost 23 inf + 43
6.728 * * [simplify]: Extracting #4: cost 16 inf + 496
6.729 * * [simplify]: Extracting #5: cost 4 inf + 1522
6.730 * * [simplify]: Extracting #6: cost 0 inf + 2159
6.731 * [simplify]: Simplified to (sqrt (fma b (fma a 2 b) (* a a)))
6.731 * [simplify]: Simplified (2 2) to (λ (a b) (* (sqrt (fma (fma 2 a b) b (* a a))) (sqrt (fma b (fma a 2 b) (* a a)))))
6.731 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a b) (* 1 (fma (fma 2 a b) b (* a a))))>
6.731 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (fma (fma 2 a b) b (* a a)))))>
6.731 * [simplify]: Simplifying (real->posit16 (fma (fma 2 a b) b (* a a)))
6.731 * * [simplify]: iters left: 4 (7 enodes)
6.735 * * [simplify]: iters left: 3 (22 enodes)
6.743 * * [simplify]: iters left: 2 (30 enodes)
6.753 * * [simplify]: iters left: 1 (40 enodes)
6.768 * * [simplify]: Extracting #0: cost 1 inf + 0
6.768 * * [simplify]: Extracting #1: cost 2 inf + 0
6.768 * * [simplify]: Extracting #2: cost 13 inf + 0
6.768 * * [simplify]: Extracting #3: cost 21 inf + 43
6.769 * * [simplify]: Extracting #4: cost 13 inf + 457
6.769 * * [simplify]: Extracting #5: cost 5 inf + 1234
6.770 * * [simplify]: Extracting #6: cost 0 inf + 1773
6.771 * [simplify]: Simplified to (real->posit16 (fma b (fma a 2 b) (* a a)))
6.771 * [simplify]: Simplified (2 1) to (λ (a b) (posit16->real (real->posit16 (fma b (fma a 2 b) (* a a)))))
6.771 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
6.772 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
6.772 * * [simplify]: iters left: 6 (9 enodes)
6.778 * * [simplify]: iters left: 5 (43 enodes)
6.790 * * [simplify]: iters left: 4 (76 enodes)
6.804 * * [simplify]: iters left: 3 (130 enodes)
6.832 * * [simplify]: iters left: 2 (152 enodes)
6.849 * * [simplify]: iters left: 1 (155 enodes)
6.873 * * [simplify]: Extracting #0: cost 1 inf + 0
6.873 * * [simplify]: Extracting #1: cost 16 inf + 0
6.873 * * [simplify]: Extracting #2: cost 24 inf + 3
6.874 * * [simplify]: Extracting #3: cost 12 inf + 703
6.875 * * [simplify]: Extracting #4: cost 1 inf + 1556
6.876 * * [simplify]: Extracting #5: cost 0 inf + 1709
6.878 * [simplify]: Simplified to (fma (fma 2 a b) b (* a a))
6.878 * [simplify]: Simplified (2) to (λ (a b) (fma (fma 2 a b) b (* a a)))
6.878 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
6.878 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
6.878 * * [simplify]: iters left: 6 (9 enodes)
6.885 * * [simplify]: iters left: 5 (43 enodes)
6.893 * * [simplify]: iters left: 4 (76 enodes)
6.906 * * [simplify]: iters left: 3 (130 enodes)
6.931 * * [simplify]: iters left: 2 (152 enodes)
6.963 * * [simplify]: iters left: 1 (155 enodes)
6.990 * * [simplify]: Extracting #0: cost 1 inf + 0
6.990 * * [simplify]: Extracting #1: cost 16 inf + 0
6.990 * * [simplify]: Extracting #2: cost 24 inf + 3
6.993 * * [simplify]: Extracting #3: cost 12 inf + 703
6.994 * * [simplify]: Extracting #4: cost 1 inf + 1556
6.995 * * [simplify]: Extracting #5: cost 0 inf + 1709
6.997 * [simplify]: Simplified to (fma (fma 2 a b) b (* a a))
6.997 * [simplify]: Simplified (2) to (λ (a b) (fma (fma 2 a b) b (* a a)))
6.997 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
6.997 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
6.997 * * [simplify]: iters left: 6 (9 enodes)
7.003 * * [simplify]: iters left: 5 (43 enodes)
7.019 * * [simplify]: iters left: 4 (76 enodes)
7.046 * * [simplify]: iters left: 3 (130 enodes)
7.083 * * [simplify]: iters left: 2 (152 enodes)
7.101 * * [simplify]: iters left: 1 (155 enodes)
7.121 * * [simplify]: Extracting #0: cost 1 inf + 0
7.121 * * [simplify]: Extracting #1: cost 16 inf + 0
7.121 * * [simplify]: Extracting #2: cost 24 inf + 3
7.122 * * [simplify]: Extracting #3: cost 12 inf + 703
7.123 * * [simplify]: Extracting #4: cost 1 inf + 1556
7.125 * * [simplify]: Extracting #5: cost 0 inf + 1709
7.126 * [simplify]: Simplified to (fma (fma 2 a b) b (* a a))
7.126 * [simplify]: Simplified (2) to (λ (a b) (fma (fma 2 a b) b (* a a)))
7.126 * * * [progress]: adding candidates to table
7.281 * [progress]: [Phase 3 of 3] Extracting.
7.281 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (* (+ a b) (+ a b)))> #<alt (λ (a b) (fma (fma 2 a b) b (* a a)))>)
7.281 * * * [regime-changes]: Trying 4 branch expressions: (b a (+ a b) (* (+ a b) (+ a b)))
7.281 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (* (+ a b) (+ a b)))> #<alt (λ (a b) (fma (fma 2 a b) b (* a a)))>)
7.300 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (* (+ a b) (+ a b)))> #<alt (λ (a b) (fma (fma 2 a b) b (* a a)))>)
7.330 * * * * [regimes]: Trying to branch on (+ a b) from (#<alt (λ (a b) (* (+ a b) (+ a b)))> #<alt (λ (a b) (fma (fma 2 a b) b (* a a)))>)
7.350 * * * * [regimes]: Trying to branch on (* (+ a b) (+ a b)) from (#<alt (λ (a b) (* (+ a b) (+ a b)))> #<alt (λ (a b) (fma (fma 2 a b) b (* a a)))>)
7.389 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
7.389 * [simplify]: Simplifying (fma (fma 2 a b) b (* a a))
7.389 * * [simplify]: iters left: 3 (6 enodes)
7.390 * * [simplify]: Extracting #0: cost 1 inf + 0
7.390 * * [simplify]: Extracting #1: cost 4 inf + 0
7.390 * * [simplify]: Extracting #2: cost 5 inf + 1
7.390 * * [simplify]: Extracting #3: cost 2 inf + 44
7.390 * * [simplify]: Extracting #4: cost 0 inf + 255
7.390 * [simplify]: Simplified to (fma (fma 2 a b) b (* a a))
8.533 * [regime-testing]: Baseline error score: 0.01062632829103638
8.536 * [regime-testing]: Oracle error score: 0.005000625078134767
8.540 * [regime-testing]: End program error score: 0.01062632829103638
8.595 * [regime-testing]: Target error score: 0.01062632829103638