0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.048 * [progress]: [Phase 2 of 3] Improving.
0.048 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.048 * [simplify]: Simplifying (* (+ a b) (+ a b))
0.048 * * [simplify]: iteration 1: (4 enodes)
0.050 * * [simplify]: iteration 2: (19 enodes)
0.058 * * [simplify]: iteration 3: (43 enodes)
0.073 * * [simplify]: iteration 4: (89 enodes)
0.100 * * [simplify]: iteration 5: (138 enodes)
0.138 * * [simplify]: iteration 6: (172 enodes)
0.182 * * [simplify]: iteration 7: (192 enodes)
0.220 * * [simplify]: iteration 8: (196 enodes)
0.249 * * [simplify]: Extracting #0: cost 1 inf + 0
0.249 * * [simplify]: Extracting #1: cost 19 inf + 0
0.249 * * [simplify]: Extracting #2: cost 32 inf + 2
0.250 * * [simplify]: Extracting #3: cost 11 inf + 1578
0.251 * * [simplify]: Extracting #4: cost 0 inf + 2453
0.252 * * [simplify]: Extracting #5: cost 0 inf + 2438
0.253 * [simplify]: Simplified to (* (+ b a) (+ b a))
0.253 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.253 * [simplify]: Simplified (2) to (λ (a b) (* (+ b a) (+ b a)))
0.255 * * [progress]: iteration 1 / 4
0.255 * * * [progress]: picking best candidate
0.257 * * * * [pick]: Picked  #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.257 * * * [progress]: localizing error
0.262 * * * [progress]: generating rewritten candidates
0.262 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.298 * * * [progress]: generating series expansions
0.298 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.298 * [backup-simplify]: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2)
0.298 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0
0.298 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b
0.298 * [taylor]: Taking taylor expansion of (+ a b) in b
0.298 * [taylor]: Taking taylor expansion of a in b
0.298 * [backup-simplify]: Simplify a into a
0.298 * [taylor]: Taking taylor expansion of b in b
0.298 * [backup-simplify]: Simplify 0 into 0
0.298 * [backup-simplify]: Simplify 1 into 1
0.299 * [backup-simplify]: Simplify (+ a 0) into a
0.299 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.299 * [taylor]: Taking taylor expansion of (+ a b) in a
0.299 * [taylor]: Taking taylor expansion of a in a
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [taylor]: Taking taylor expansion of b in a
0.299 * [backup-simplify]: Simplify b into b
0.299 * [backup-simplify]: Simplify (+ 0 b) into b
0.299 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.299 * [taylor]: Taking taylor expansion of (+ a b) in a
0.299 * [taylor]: Taking taylor expansion of a in a
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [taylor]: Taking taylor expansion of b in a
0.299 * [backup-simplify]: Simplify b into b
0.299 * [backup-simplify]: Simplify (+ 0 b) into b
0.299 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.299 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.299 * [taylor]: Taking taylor expansion of b in b
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.300 * [backup-simplify]: Simplify (+ 1 0) into 1
0.300 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b)
0.300 * [taylor]: Taking taylor expansion of (* 2 b) in b
0.300 * [taylor]: Taking taylor expansion of 2 in b
0.300 * [backup-simplify]: Simplify 2 into 2
0.300 * [taylor]: Taking taylor expansion of b in b
0.300 * [backup-simplify]: Simplify 0 into 0
0.300 * [backup-simplify]: Simplify 1 into 1
0.301 * [backup-simplify]: Simplify (* 2 0) into 0
0.301 * [backup-simplify]: Simplify 0 into 0
0.301 * [backup-simplify]: Simplify (+ 0 0) into 0
0.302 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1
0.302 * [taylor]: Taking taylor expansion of 1 in b
0.302 * [backup-simplify]: Simplify 1 into 1
0.302 * [backup-simplify]: Simplify 1 into 1
0.303 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.303 * [backup-simplify]: Simplify 2 into 2
0.303 * [backup-simplify]: Simplify (* 1 1) into 1
0.303 * [backup-simplify]: Simplify 1 into 1
0.303 * [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.304 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.304 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.304 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.304 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.304 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.304 * [taylor]: Taking taylor expansion of a in b
0.304 * [backup-simplify]: Simplify a into a
0.304 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.304 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.304 * [taylor]: Taking taylor expansion of b in b
0.304 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify 1 into 1
0.304 * [backup-simplify]: Simplify (/ 1 1) into 1
0.305 * [backup-simplify]: Simplify (+ 0 1) into 1
0.305 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.305 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.305 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.305 * [taylor]: Taking taylor expansion of a in a
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify 1 into 1
0.306 * [backup-simplify]: Simplify (/ 1 1) into 1
0.306 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.306 * [taylor]: Taking taylor expansion of b in a
0.306 * [backup-simplify]: Simplify b into b
0.306 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.306 * [backup-simplify]: Simplify (+ 1 0) into 1
0.306 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.306 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.306 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.306 * [taylor]: Taking taylor expansion of a in a
0.306 * [backup-simplify]: Simplify 0 into 0
0.306 * [backup-simplify]: Simplify 1 into 1
0.307 * [backup-simplify]: Simplify (/ 1 1) into 1
0.307 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.307 * [taylor]: Taking taylor expansion of b in a
0.307 * [backup-simplify]: Simplify b into b
0.307 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.307 * [backup-simplify]: Simplify (+ 1 0) into 1
0.308 * [backup-simplify]: Simplify (* 1 1) into 1
0.308 * [taylor]: Taking taylor expansion of 1 in b
0.308 * [backup-simplify]: Simplify 1 into 1
0.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.309 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.309 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.309 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.309 * [taylor]: Taking taylor expansion of 2 in b
0.309 * [backup-simplify]: Simplify 2 into 2
0.309 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.309 * [taylor]: Taking taylor expansion of b in b
0.309 * [backup-simplify]: Simplify 0 into 0
0.309 * [backup-simplify]: Simplify 1 into 1
0.309 * [backup-simplify]: Simplify (/ 1 1) into 1
0.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.310 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.311 * [backup-simplify]: Simplify (+ 0 0) into 0
0.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.312 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.312 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.312 * [taylor]: Taking taylor expansion of b in b
0.312 * [backup-simplify]: Simplify 0 into 0
0.312 * [backup-simplify]: Simplify 1 into 1
0.312 * [backup-simplify]: Simplify (* 1 1) into 1
0.313 * [backup-simplify]: Simplify (/ 1 1) into 1
0.313 * [backup-simplify]: Simplify 1 into 1
0.313 * [backup-simplify]: Simplify (* 2 1) into 2
0.313 * [backup-simplify]: Simplify 2 into 2
0.313 * [backup-simplify]: Simplify 1 into 1
0.314 * [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.314 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.314 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.314 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.314 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.314 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.314 * [taylor]: Taking taylor expansion of a in b
0.314 * [backup-simplify]: Simplify a into a
0.314 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.314 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.314 * [taylor]: Taking taylor expansion of b in b
0.314 * [backup-simplify]: Simplify 0 into 0
0.314 * [backup-simplify]: Simplify 1 into 1
0.315 * [backup-simplify]: Simplify (/ 1 1) into 1
0.315 * [backup-simplify]: Simplify (+ 0 1) into 1
0.315 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.315 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.315 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.315 * [taylor]: Taking taylor expansion of a in a
0.315 * [backup-simplify]: Simplify 0 into 0
0.315 * [backup-simplify]: Simplify 1 into 1
0.316 * [backup-simplify]: Simplify (/ 1 1) into 1
0.316 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.316 * [taylor]: Taking taylor expansion of b in a
0.316 * [backup-simplify]: Simplify b into b
0.316 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.316 * [backup-simplify]: Simplify (+ 1 0) into 1
0.316 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.316 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.316 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.316 * [taylor]: Taking taylor expansion of a in a
0.317 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify 1 into 1
0.317 * [backup-simplify]: Simplify (/ 1 1) into 1
0.317 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.317 * [taylor]: Taking taylor expansion of b in a
0.317 * [backup-simplify]: Simplify b into b
0.317 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.318 * [backup-simplify]: Simplify (+ 1 0) into 1
0.318 * [backup-simplify]: Simplify (* 1 1) into 1
0.318 * [taylor]: Taking taylor expansion of 1 in b
0.318 * [backup-simplify]: Simplify 1 into 1
0.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.319 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.319 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.319 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.319 * [taylor]: Taking taylor expansion of 2 in b
0.319 * [backup-simplify]: Simplify 2 into 2
0.319 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.319 * [taylor]: Taking taylor expansion of b in b
0.319 * [backup-simplify]: Simplify 0 into 0
0.319 * [backup-simplify]: Simplify 1 into 1
0.320 * [backup-simplify]: Simplify (/ 1 1) into 1
0.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.321 * [backup-simplify]: Simplify (+ 0 0) into 0
0.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.322 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.322 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.322 * [taylor]: Taking taylor expansion of b in b
0.322 * [backup-simplify]: Simplify 0 into 0
0.322 * [backup-simplify]: Simplify 1 into 1
0.322 * [backup-simplify]: Simplify (* 1 1) into 1
0.323 * [backup-simplify]: Simplify (/ 1 1) into 1
0.323 * [backup-simplify]: Simplify 1 into 1
0.323 * [backup-simplify]: Simplify (* 2 1) into 2
0.323 * [backup-simplify]: Simplify 2 into 2
0.323 * [backup-simplify]: Simplify 1 into 1
0.324 * [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.324 * * * [progress]: simplifying candidates
0.324 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (* (+ a b) (+ a b)))))>
0.324 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (* (+ a b) (+ a b)))))>
0.324 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.324 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.324 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) 2))>
0.324 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.325 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.325 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (a b) (exp (+ (log (+ a b)) (log (+ a b)))))>
0.325 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (a b) (exp (log (* (+ a b) (+ a b)))))>
0.325 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (a b) (log (exp (* (+ a b) (+ a b)))))>
0.325 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b)))))>
0.325 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b)))))>
0.325 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b)))))>
0.325 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b)))))>
0.325 * * * * [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))))))>
0.325 * * * * [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))))>
0.325 * * * * [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))))))>
0.325 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))>
0.326 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
0.326 * * * * [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)))))>
0.326 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
0.326 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.326 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.326 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.326 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.326 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
0.326 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (* 2 1)))>
0.326 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))>
0.326 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))>
0.326 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ a b))))>
0.326 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (sqrt (+ a b))) (sqrt (+ a b))))>
0.326 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
0.327 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
0.327 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (+ a b))))>
0.327 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (+ a b)) (* (sqrt (+ a b)) (+ a b))))>
0.327 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
0.327 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
0.327 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a a) (- (* b b) (* a b)))))>
0.327 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (- a b)))>
0.327 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (+ a b)) (+ (* a a) (- (* b b) (* a b)))))>
0.327 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (+ a b)) (- a b)))>
0.327 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (* (+ a b) (+ a b)))))>
0.327 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.327 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
0.327 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
0.327 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
0.328 * [simplify]: Simplifying (expm1 (* (+ a b) (+ a b))), (log1p (* (+ a b) (+ a b))), (+ 1 1), (* (+ a b) (+ a b)), (+ 1 1), (+ (log (+ a b)) (log (+ a b))), (log (* (+ a b) (+ a b))), (exp (* (+ a b) (+ a b))), (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b))), (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))), (cbrt (* (+ a b) (+ a b))), (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b))), (sqrt (* (+ a b) (+ a b))), (sqrt (* (+ a b) (+ 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)))), (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))), (* (+ (* a a) (- (* b b) (* a b))) (- a b)), (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))), (* (- a b) (+ (* a a) (- (* b b) (* a b)))), (* (- (* a a) (* b b)) (- (* a a) (* b b))), (* (- a b) (- a b)), (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))), (* (cbrt (+ a b)) (cbrt (+ a b))), (* (sqrt (+ a b)) (sqrt (+ a b))), (* (sqrt (+ a b)) (sqrt (+ a b))), (* 1 1), (* (+ a b) (+ a b)), (* 1 1), (* (+ a b) (+ a b)), (* 1 1), (* (+ a b) (+ a b)), (* 1 1), (* (+ a b) (+ a b)), (* (sqrt (+ a b)) (sqrt (+ a b))), (* (sqrt (+ a b)) (sqrt (+ a b))), (* 2 1), (* (+ a b) a), (* (+ a b) b), (* a (+ a b)), (* b (+ a b)), (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))), (* (+ a b) (sqrt (+ a b))), (* (+ a b) 1), (* (+ a b) 1), (* (cbrt (+ a b)) (+ a b)), (* (sqrt (+ a b)) (+ a b)), (* (+ a b) (+ a b)), (* (+ a b) (+ a b)), (* (+ a b) (+ (pow a 3) (pow b 3))), (* (+ a b) (- (* a a) (* b b))), (* (+ (pow a 3) (pow b 3)) (+ a b)), (* (- (* a a) (* b b)) (+ a b)), (real->posit16 (* (+ a b) (+ a b))), (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))), (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))), (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
0.329 * * [simplify]: iteration 1: (65 enodes)
0.370 * * [simplify]: iteration 2: (339 enodes)
0.539 * * [simplify]: Extracting #0: cost 29 inf + 0
0.540 * * [simplify]: Extracting #1: cost 148 inf + 2
0.542 * * [simplify]: Extracting #2: cost 301 inf + 926
0.548 * * [simplify]: Extracting #3: cost 196 inf + 18355
0.557 * * [simplify]: Extracting #4: cost 25 inf + 46894
0.567 * * [simplify]: Extracting #5: cost 2 inf + 53130
0.578 * * [simplify]: Extracting #6: cost 0 inf + 53519
0.600 * [simplify]: Simplified to (expm1 (* (+ b a) (+ b a))), (log1p (* (+ b a) (+ b a))), 2, (* (+ b a) (+ b a)), 2, (log (* (+ b a) (+ b a))), (log (* (+ b a) (+ b a))), (exp (* (+ b a) (+ b a))), (* (* (* (+ b a) (+ b a)) (+ b a)) (* (* (+ b a) (+ b a)) (+ b a))), (* (cbrt (* (+ b a) (+ b a))) (cbrt (* (+ b a) (+ b a)))), (cbrt (* (+ b a) (+ b a))), (* (* (* (+ b a) (+ b a)) (+ b a)) (* (* (+ b a) (+ b a)) (+ b a))), (fabs (+ b a)), (fabs (+ b a)), (* (fma (* b b) b (* (* a a) a)) (fma (* b b) b (* (* a a) a))), (* (fma b (- b a) (* a a)) (fma b (- b a) (* a a))), (* (fma (* b b) b (* (* a a) a)) (* (+ b a) (- a b))), (* (fma b (- b a) (* a a)) (- a b)), (* (fma (* b b) b (* (* a a) a)) (* (+ b a) (- a b))), (* (fma b (- b a) (* a a)) (- a b)), (* (* (+ b a) (- a b)) (* (+ b a) (- a b))), (* (- a b) (- a b)), (* (* (cbrt (+ b a)) (cbrt (+ b a))) (* (cbrt (+ b a)) (cbrt (+ b a)))), (* (cbrt (+ b a)) (cbrt (+ b a))), (+ b a), (+ b a), 1, (* (+ b a) (+ b a)), 1, (* (+ b a) (+ b a)), 1, (* (+ b a) (+ b a)), 1, (* (+ b a) (+ b a)), (+ b a), (+ b a), 2, (* a (+ b a)), (* b (+ b a)), (* a (+ b a)), (* b (+ b a)), (* (+ b a) (* (cbrt (+ b a)) (cbrt (+ b a)))), (* (+ b a) (sqrt (+ b a))), (+ b a), (+ b a), (* (cbrt (+ b a)) (+ b a)), (* (+ b a) (sqrt (+ b a))), (* (+ b a) (+ b a)), (* (+ b a) (+ b a)), (* (fma (* b b) b (* (* a a) a)) (+ b a)), (* (+ b a) (* (+ b a) (- a b))), (* (fma (* b b) b (* (* a a) a)) (+ b a)), (* (+ b a) (* (+ b a) (- a b))), (real->posit16 (* (+ b a) (+ b a))), (fma a a (* b (+ b (* a 2)))), (fma a a (* b (+ b (* a 2)))), (fma a a (* b (+ b (* a 2))))
0.600 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (a b) (log1p (expm1 (* (+ a b) (+ a b)))))>
0.600 * [simplify]: Simplified (2 1) to (λ (a b) (log1p (expm1 (* (+ b a) (+ b a)))))
0.600 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (a b) (expm1 (log1p (* (+ a b) (+ a b)))))>
0.600 * [simplify]: Simplified (2 1) to (λ (a b) (expm1 (log1p (* (+ b a) (+ b a)))))
0.601 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.601 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2))
0.601 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.601 * [simplify]: Simplified (2 1) to (λ (a b) (pow (* (+ b a) (+ b a)) 1))
0.605 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) 2))>
0.605 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.605 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2))
0.605 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.605 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (a b) (exp (+ (log (+ a b)) (log (+ a b)))))>
0.605 * [simplify]: Simplified (2 1) to (λ (a b) (exp (log (* (+ b a) (+ b a)))))
0.605 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (a b) (exp (log (* (+ a b) (+ a b)))))>
0.605 * [simplify]: Simplified (2 1) to (λ (a b) (exp (log (* (+ b a) (+ b a)))))
0.605 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (a b) (log (exp (* (+ a b) (+ a b)))))>
0.605 * [simplify]: Simplified (2 1) to (λ (a b) (log (exp (* (+ b a) (+ b a)))))
0.605 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b)))))>
0.606 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (* (* (+ b a) (+ b a)) (+ b a)) (* (* (+ b a) (+ b a)) (+ b a)))))
0.606 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b)))))>
0.606 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (* (+ b a) (+ b a))) (cbrt (* (+ b a) (+ b a)))) (cbrt (* (+ a b) (+ a b)))))
0.606 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ b a) (+ b a)))))
0.606 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b)))))>
0.606 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (* (* (+ b a) (+ b a)) (+ b a)) (* (* (+ b a) (+ b a)) (+ b a)))))
0.606 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b)))))>
0.606 * [simplify]: Simplified (2 1) to (λ (a b) (* (fabs (+ b a)) (sqrt (* (+ a b) (+ a b)))))
0.606 * [simplify]: Simplified (2 2) to (λ (a b) (* (sqrt (* (+ a b) (+ a b))) (fabs (+ b a))))
0.606 * * * * [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))))))>
0.606 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (fma (* b b) b (* (* a a) a)) (fma (* b b) b (* (* a a) a))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))))
0.607 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (fma (* b b) b (* (* a a) a)) (fma (* b b) b (* (* a a) a))) (* (fma b (- b a) (* a a)) (fma b (- b a) (* a a)))))
0.607 * * * * [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))))>
0.607 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (fma (* b b) b (* (* a a) a)) (* (+ b a) (- a b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b))))
0.607 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (fma (* b b) b (* (* a a) a)) (* (+ b a) (- a b))) (* (fma b (- b a) (* a a)) (- a b))))
0.607 * * * * [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))))))>
0.607 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (fma (* b b) b (* (* a a) a)) (* (+ b a) (- a b))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))))
0.607 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (fma (* b b) b (* (* a a) a)) (* (+ b a) (- a b))) (* (fma b (- b a) (* a a)) (- a b))))
0.608 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))>
0.608 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (* (+ b a) (- a b)) (* (+ b a) (- a b))) (* (- a b) (- a b))))
0.608 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (* (+ b a) (- a b)) (* (+ b a) (- a b))) (* (- a b) (- a b))))
0.608 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
0.608 * * * * [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)))))>
0.608 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (* (cbrt (+ b a)) (cbrt (+ b a))) (* (cbrt (+ b a)) (cbrt (+ b a)))) (* (cbrt (+ a b)) (cbrt (+ a b)))))
0.608 * [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)))))
0.608 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
0.609 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (* (sqrt (+ a b)) (sqrt (+ a b)))))
0.609 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (+ b a)))
0.609 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.609 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
0.609 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
0.609 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.609 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
0.609 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
0.609 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.609 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
0.609 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
0.609 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.609 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
0.610 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
0.610 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
0.610 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (* (sqrt (+ a b)) (sqrt (+ a b)))))
0.610 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (+ b a)))
0.610 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (* 2 1)))>
0.610 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2))
0.610 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))>
0.610 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* a (+ b a)) (* (+ a b) b)))
0.610 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* b (+ b a))))
0.610 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))>
0.610 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* a (+ b a)) (* b (+ a b))))
0.610 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* b (+ b a))))
0.610 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ a b))))>
0.611 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (+ b a) (* (cbrt (+ b a)) (cbrt (+ b a)))) (cbrt (+ a b))))
0.611 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (sqrt (+ a b))) (sqrt (+ a b))))>
0.611 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (+ b a) (sqrt (+ b a))) (sqrt (+ a b))))
0.611 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
0.611 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (+ a b)))
0.611 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
0.611 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (+ a b)))
0.611 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (+ a b))))>
0.611 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ b a)) (+ b a))))
0.611 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (+ a b)) (* (sqrt (+ a b)) (+ a b))))>
0.611 * [simplify]: Simplified (2 2) to (λ (a b) (* (sqrt (+ a b)) (* (+ b a) (sqrt (+ b a)))))
0.611 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
0.611 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
0.612 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
0.612 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
0.612 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a a) (- (* b b) (* a b)))))>
0.612 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (fma (* b b) b (* (* a a) a)) (+ b a)) (+ (* a a) (- (* b b) (* a b)))))
0.612 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (- a b)))>
0.612 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (+ b a) (* (+ b a) (- a b))) (- a b)))
0.612 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (+ a b)) (+ (* a a) (- (* b b) (* a b)))))>
0.612 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (fma (* b b) b (* (* a a) a)) (+ b a)) (+ (* a a) (- (* b b) (* a b)))))
0.612 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (+ a b)) (- a b)))>
0.612 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (+ b a) (* (+ b a) (- a b))) (- a b)))
0.612 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (* (+ a b) (+ a b)))))>
0.612 * [simplify]: Simplified (2 1) to (λ (a b) (posit16->real (real->posit16 (* (+ b a) (+ b a)))))
0.613 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.613 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
0.613 * [simplify]: Simplified (2) to (λ (a b) (fma a a (* b (+ b (* a 2)))))
0.613 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
0.613 * [simplify]: Simplified (2) to (λ (a b) (fma a a (* b (+ b (* a 2)))))
0.613 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
0.613 * [simplify]: Simplified (2) to (λ (a b) (fma a a (* b (+ b (* a 2)))))
0.613 * * * [progress]: adding candidates to table
0.911 * * [progress]: iteration 2 / 4
0.911 * * * [progress]: picking best candidate
0.914 * * * * [pick]: Picked  #<alt (λ (a b) (fma a a (* b (+ b (* a 2)))))>
0.914 * * * [progress]: localizing error
0.936 * * * [progress]: generating rewritten candidates
0.936 * * * * [progress]: [ 1 / 1 ] rewriting at (2 3)
0.961 * * * [progress]: generating series expansions
0.961 * * * * [progress]: [ 1 / 1 ] generating series at (2 3)
0.961 * [backup-simplify]: Simplify (* b (+ b (* a 2))) into (* (+ (* 2 a) b) b)
0.961 * [approximate]: Taking taylor expansion of (* (+ (* 2 a) b) b) in (b a) around 0
0.961 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in a
0.961 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in a
0.961 * [taylor]: Taking taylor expansion of (* 2 a) in a
0.961 * [taylor]: Taking taylor expansion of 2 in a
0.961 * [backup-simplify]: Simplify 2 into 2
0.961 * [taylor]: Taking taylor expansion of a in a
0.961 * [backup-simplify]: Simplify 0 into 0
0.961 * [backup-simplify]: Simplify 1 into 1
0.961 * [taylor]: Taking taylor expansion of b in a
0.961 * [backup-simplify]: Simplify b into b
0.961 * [taylor]: Taking taylor expansion of b in a
0.961 * [backup-simplify]: Simplify b into b
0.961 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b
0.961 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b
0.961 * [taylor]: Taking taylor expansion of (* 2 a) in b
0.961 * [taylor]: Taking taylor expansion of 2 in b
0.961 * [backup-simplify]: Simplify 2 into 2
0.962 * [taylor]: Taking taylor expansion of a in b
0.962 * [backup-simplify]: Simplify a into a
0.962 * [taylor]: Taking taylor expansion of b in b
0.962 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify 1 into 1
0.962 * [taylor]: Taking taylor expansion of b in b
0.962 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify 1 into 1
0.962 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b
0.962 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b
0.962 * [taylor]: Taking taylor expansion of (* 2 a) in b
0.962 * [taylor]: Taking taylor expansion of 2 in b
0.962 * [backup-simplify]: Simplify 2 into 2
0.962 * [taylor]: Taking taylor expansion of a in b
0.962 * [backup-simplify]: Simplify a into a
0.962 * [taylor]: Taking taylor expansion of b in b
0.962 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify 1 into 1
0.962 * [taylor]: Taking taylor expansion of b in b
0.962 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify 1 into 1
0.962 * [backup-simplify]: Simplify (* 2 a) into (* 2 a)
0.962 * [backup-simplify]: Simplify (+ (* 2 a) 0) into (* 2 a)
0.962 * [backup-simplify]: Simplify (* (* 2 a) 0) into 0
0.962 * [taylor]: Taking taylor expansion of 0 in a
0.962 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify 0 into 0
0.963 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 a)) into 0
0.964 * [backup-simplify]: Simplify (+ 0 1) into 1
0.964 * [backup-simplify]: Simplify (+ (* (* 2 a) 1) (* 1 0)) into (* 2 a)
0.964 * [taylor]: Taking taylor expansion of (* 2 a) in a
0.964 * [taylor]: Taking taylor expansion of 2 in a
0.964 * [backup-simplify]: Simplify 2 into 2
0.964 * [taylor]: Taking taylor expansion of a in a
0.964 * [backup-simplify]: Simplify 0 into 0
0.964 * [backup-simplify]: Simplify 1 into 1
0.965 * [backup-simplify]: Simplify (* 2 0) into 0
0.965 * [backup-simplify]: Simplify 0 into 0
0.965 * [backup-simplify]: Simplify 0 into 0
0.966 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 a))) into 0
0.966 * [backup-simplify]: Simplify (+ 0 0) into 0
0.967 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 1) (* 0 0))) into 1
0.967 * [taylor]: Taking taylor expansion of 1 in a
0.967 * [backup-simplify]: Simplify 1 into 1
0.967 * [backup-simplify]: Simplify 1 into 1
0.968 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.968 * [backup-simplify]: Simplify 2 into 2
0.968 * [backup-simplify]: Simplify 0 into 0
0.969 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
0.970 * [backup-simplify]: Simplify (+ 0 0) into 0
0.971 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
0.971 * [taylor]: Taking taylor expansion of 0 in a
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.971 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
0.974 * [backup-simplify]: Simplify (+ 0 0) into 0
0.975 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.975 * [taylor]: Taking taylor expansion of 0 in a
0.975 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify (+ (* 2 (* a b)) (* 1 (pow (* 1 b) 2))) into (+ (pow b 2) (* 2 (* a b)))
0.976 * [backup-simplify]: Simplify (* (/ 1 b) (+ (/ 1 b) (* (/ 1 a) 2))) into (/ (+ (/ 1 b) (* 2 (/ 1 a))) b)
0.976 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in (b a) around 0
0.976 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in a
0.976 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a
0.976 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.976 * [taylor]: Taking taylor expansion of b in a
0.976 * [backup-simplify]: Simplify b into b
0.976 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.976 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
0.976 * [taylor]: Taking taylor expansion of 2 in a
0.976 * [backup-simplify]: Simplify 2 into 2
0.976 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.976 * [taylor]: Taking taylor expansion of a in a
0.977 * [backup-simplify]: Simplify 0 into 0
0.977 * [backup-simplify]: Simplify 1 into 1
0.977 * [backup-simplify]: Simplify (/ 1 1) into 1
0.977 * [taylor]: Taking taylor expansion of b in a
0.977 * [backup-simplify]: Simplify b into b
0.977 * [backup-simplify]: Simplify (* 2 1) into 2
0.978 * [backup-simplify]: Simplify (+ 0 2) into 2
0.978 * [backup-simplify]: Simplify (/ 2 b) into (/ 2 b)
0.978 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b
0.978 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b
0.978 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.978 * [taylor]: Taking taylor expansion of b in b
0.978 * [backup-simplify]: Simplify 0 into 0
0.978 * [backup-simplify]: Simplify 1 into 1
0.978 * [backup-simplify]: Simplify (/ 1 1) into 1
0.978 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b
0.978 * [taylor]: Taking taylor expansion of 2 in b
0.978 * [backup-simplify]: Simplify 2 into 2
0.978 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.978 * [taylor]: Taking taylor expansion of a in b
0.978 * [backup-simplify]: Simplify a into a
0.978 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.978 * [taylor]: Taking taylor expansion of b in b
0.978 * [backup-simplify]: Simplify 0 into 0
0.978 * [backup-simplify]: Simplify 1 into 1
0.978 * [backup-simplify]: Simplify (+ 1 0) into 1
0.979 * [backup-simplify]: Simplify (/ 1 1) into 1
0.979 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b
0.979 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b
0.979 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.979 * [taylor]: Taking taylor expansion of b in b
0.979 * [backup-simplify]: Simplify 0 into 0
0.979 * [backup-simplify]: Simplify 1 into 1
0.979 * [backup-simplify]: Simplify (/ 1 1) into 1
0.979 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b
0.979 * [taylor]: Taking taylor expansion of 2 in b
0.979 * [backup-simplify]: Simplify 2 into 2
0.979 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.979 * [taylor]: Taking taylor expansion of a in b
0.979 * [backup-simplify]: Simplify a into a
0.979 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.979 * [taylor]: Taking taylor expansion of b in b
0.979 * [backup-simplify]: Simplify 0 into 0
0.979 * [backup-simplify]: Simplify 1 into 1
0.980 * [backup-simplify]: Simplify (+ 1 0) into 1
0.980 * [backup-simplify]: Simplify (/ 1 1) into 1
0.980 * [taylor]: Taking taylor expansion of 1 in a
0.980 * [backup-simplify]: Simplify 1 into 1
0.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.980 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a)
0.981 * [backup-simplify]: Simplify (+ 0 (/ 2 a)) into (* 2 (/ 1 a))
0.981 * [backup-simplify]: Simplify (- (/ (* 2 (/ 1 a)) 1) (+ (* 1 (/ 0 1)))) into (* 2 (/ 1 a))
0.981 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
0.981 * [taylor]: Taking taylor expansion of 2 in a
0.981 * [backup-simplify]: Simplify 2 into 2
0.981 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.981 * [taylor]: Taking taylor expansion of a in a
0.981 * [backup-simplify]: Simplify 0 into 0
0.981 * [backup-simplify]: Simplify 1 into 1
0.981 * [backup-simplify]: Simplify (/ 1 1) into 1
0.982 * [backup-simplify]: Simplify (* 2 1) into 2
0.982 * [backup-simplify]: Simplify 2 into 2
0.982 * [backup-simplify]: Simplify 1 into 1
0.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.982 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
0.983 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0
0.983 * [backup-simplify]: Simplify (+ 0 0) into 0
0.984 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)))) into 0
0.984 * [taylor]: Taking taylor expansion of 0 in a
0.984 * [backup-simplify]: Simplify 0 into 0
0.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.985 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.985 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.986 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0
0.986 * [backup-simplify]: Simplify (+ 0 0) into 0
0.988 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.988 * [taylor]: Taking taylor expansion of 0 in a
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify 0 into 0
0.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.989 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
0.989 * [backup-simplify]: Simplify 0 into 0
0.989 * [backup-simplify]: Simplify 0 into 0
0.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.990 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
0.990 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0
0.991 * [backup-simplify]: Simplify (+ 0 0) into 0
0.992 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.992 * [taylor]: Taking taylor expansion of 0 in a
0.992 * [backup-simplify]: Simplify 0 into 0
0.992 * [backup-simplify]: Simplify 0 into 0
0.992 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (* 2 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b))))) into (+ (pow b 2) (* 2 (* a b)))
0.993 * [backup-simplify]: Simplify (* (/ 1 (- b)) (+ (/ 1 (- b)) (* (/ 1 (- a)) 2))) into (/ (+ (/ 1 b) (* 2 (/ 1 a))) b)
0.993 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in (b a) around 0
0.993 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in a
0.993 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a
0.993 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.993 * [taylor]: Taking taylor expansion of b in a
0.993 * [backup-simplify]: Simplify b into b
0.993 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.993 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
0.993 * [taylor]: Taking taylor expansion of 2 in a
0.993 * [backup-simplify]: Simplify 2 into 2
0.993 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.993 * [taylor]: Taking taylor expansion of a in a
0.993 * [backup-simplify]: Simplify 0 into 0
0.993 * [backup-simplify]: Simplify 1 into 1
0.993 * [backup-simplify]: Simplify (/ 1 1) into 1
0.993 * [taylor]: Taking taylor expansion of b in a
0.993 * [backup-simplify]: Simplify b into b
0.993 * [backup-simplify]: Simplify (* 2 1) into 2
0.997 * [backup-simplify]: Simplify (+ 0 2) into 2
0.997 * [backup-simplify]: Simplify (/ 2 b) into (/ 2 b)
0.997 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b
0.997 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b
0.997 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.997 * [taylor]: Taking taylor expansion of b in b
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify 1 into 1
0.998 * [backup-simplify]: Simplify (/ 1 1) into 1
0.998 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b
0.998 * [taylor]: Taking taylor expansion of 2 in b
0.998 * [backup-simplify]: Simplify 2 into 2
0.998 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.998 * [taylor]: Taking taylor expansion of a in b
0.998 * [backup-simplify]: Simplify a into a
0.998 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.998 * [taylor]: Taking taylor expansion of b in b
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 1 into 1
0.998 * [backup-simplify]: Simplify (+ 1 0) into 1
0.998 * [backup-simplify]: Simplify (/ 1 1) into 1
0.998 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b
0.998 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b
0.998 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.998 * [taylor]: Taking taylor expansion of b in b
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 1 into 1
0.999 * [backup-simplify]: Simplify (/ 1 1) into 1
0.999 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b
0.999 * [taylor]: Taking taylor expansion of 2 in b
0.999 * [backup-simplify]: Simplify 2 into 2
0.999 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.999 * [taylor]: Taking taylor expansion of a in b
0.999 * [backup-simplify]: Simplify a into a
0.999 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.999 * [taylor]: Taking taylor expansion of b in b
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 1 into 1
0.999 * [backup-simplify]: Simplify (+ 1 0) into 1
0.999 * [backup-simplify]: Simplify (/ 1 1) into 1
0.999 * [taylor]: Taking taylor expansion of 1 in a
0.999 * [backup-simplify]: Simplify 1 into 1
1.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.000 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a)
1.000 * [backup-simplify]: Simplify (+ 0 (/ 2 a)) into (* 2 (/ 1 a))
1.000 * [backup-simplify]: Simplify (- (/ (* 2 (/ 1 a)) 1) (+ (* 1 (/ 0 1)))) into (* 2 (/ 1 a))
1.000 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
1.000 * [taylor]: Taking taylor expansion of 2 in a
1.001 * [backup-simplify]: Simplify 2 into 2
1.001 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.001 * [taylor]: Taking taylor expansion of a in a
1.001 * [backup-simplify]: Simplify 0 into 0
1.001 * [backup-simplify]: Simplify 1 into 1
1.001 * [backup-simplify]: Simplify (/ 1 1) into 1
1.001 * [backup-simplify]: Simplify (* 2 1) into 2
1.001 * [backup-simplify]: Simplify 2 into 2
1.001 * [backup-simplify]: Simplify 1 into 1
1.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.002 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
1.002 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0
1.002 * [backup-simplify]: Simplify (+ 0 0) into 0
1.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)))) into 0
1.003 * [taylor]: Taking taylor expansion of 0 in a
1.003 * [backup-simplify]: Simplify 0 into 0
1.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.004 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
1.004 * [backup-simplify]: Simplify 0 into 0
1.004 * [backup-simplify]: Simplify 0 into 0
1.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.005 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
1.005 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0
1.006 * [backup-simplify]: Simplify (+ 0 0) into 0
1.007 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.007 * [taylor]: Taking taylor expansion of 0 in a
1.007 * [backup-simplify]: Simplify 0 into 0
1.007 * [backup-simplify]: Simplify 0 into 0
1.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.008 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
1.008 * [backup-simplify]: Simplify 0 into 0
1.008 * [backup-simplify]: Simplify 0 into 0
1.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.009 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
1.009 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0
1.010 * [backup-simplify]: Simplify (+ 0 0) into 0
1.011 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.011 * [taylor]: Taking taylor expansion of 0 in a
1.011 * [backup-simplify]: Simplify 0 into 0
1.011 * [backup-simplify]: Simplify 0 into 0
1.011 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (* 2 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))))) into (+ (pow b 2) (* 2 (* a b)))
1.011 * * * [progress]: simplifying candidates
1.011 * * * * [progress]: [ 1 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (log1p (expm1 (* b (+ b (* a 2)))))))>
1.011 * * * * [progress]: [ 2 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (expm1 (log1p (* b (+ b (* a 2)))))))>
1.011 * * * * [progress]: [ 3 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (pow (* b (+ b (* a 2))) 1)))>
1.012 * * * * [progress]: [ 4 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (pow (* b (+ b (* a 2))) 1)))>
1.012 * * * * [progress]: [ 5 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (exp (+ (log b) (log (+ b (* a 2)))))))>
1.012 * * * * [progress]: [ 6 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (exp (log (* b (+ b (* a 2)))))))>
1.012 * * * * [progress]: [ 7 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (log (exp (* b (+ b (* a 2)))))))>
1.012 * * * * [progress]: [ 8 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (cbrt (* (* (* b b) b) (* (* (+ b (* a 2)) (+ b (* a 2))) (+ b (* a 2)))))))>
1.012 * * * * [progress]: [ 9 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* (cbrt (* b (+ b (* a 2)))) (cbrt (* b (+ b (* a 2))))) (cbrt (* b (+ b (* a 2)))))))>
1.012 * * * * [progress]: [ 10 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (cbrt (* (* (* b (+ b (* a 2))) (* b (+ b (* a 2)))) (* b (+ b (* a 2)))))))>
1.012 * * * * [progress]: [ 11 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (sqrt (* b (+ b (* a 2)))) (sqrt (* b (+ b (* a 2)))))))>
1.012 * * * * [progress]: [ 12 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* 1 (* b (+ b (* a 2))))))>
1.012 * * * * [progress]: [ 13 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* (sqrt b) (sqrt (+ b (* a 2)))) (* (sqrt b) (sqrt (+ b (* a 2)))))))>
1.012 * * * * [progress]: [ 14 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (+ (* b b) (* b (* a 2)))))>
1.012 * * * * [progress]: [ 15 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (+ (* b b) (* (* a 2) b))))>
1.012 * * * * [progress]: [ 16 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* b (* (cbrt (+ b (* a 2))) (cbrt (+ b (* a 2))))) (cbrt (+ b (* a 2))))))>
1.012 * * * * [progress]: [ 17 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* b (sqrt (+ b (* a 2)))) (sqrt (+ b (* a 2))))))>
1.012 * * * * [progress]: [ 18 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* b 1) (+ b (* a 2)))))>
1.012 * * * * [progress]: [ 19 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* (cbrt b) (cbrt b)) (* (cbrt b) (+ b (* a 2))))))>
1.012 * * * * [progress]: [ 20 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (sqrt b) (* (sqrt b) (+ b (* a 2))))))>
1.012 * * * * [progress]: [ 21 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* 1 (* b (+ b (* a 2))))))>
1.012 * * * * [progress]: [ 22 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (/ (* b (+ (pow b 3) (pow (* a 2) 3))) (+ (* b b) (- (* (* a 2) (* a 2)) (* b (* a 2)))))))>
1.012 * * * * [progress]: [ 23 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (/ (* b (- (* b b) (* (* a 2) (* a 2)))) (- b (* a 2)))))>
1.012 * * * * [progress]: [ 24 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (posit16->real (real->posit16 (* b (+ b (* a 2)))))))>
1.012 * * * * [progress]: [ 25 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (+ b (* a 2)) b)))>
1.012 * * * * [progress]: [ 26 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (+ (pow b 2) (* 2 (* a b)))))>
1.012 * * * * [progress]: [ 27 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (+ (pow b 2) (* 2 (* a b)))))>
1.013 * * * * [progress]: [ 28 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (+ (pow b 2) (* 2 (* a b)))))>
1.013 * [simplify]: Simplifying (expm1 (* b (+ b (* a 2)))), (log1p (* b (+ b (* a 2)))), (* b (+ b (* a 2))), (+ (log b) (log (+ b (* a 2)))), (log (* b (+ b (* a 2)))), (exp (* b (+ b (* a 2)))), (* (* (* b b) b) (* (* (+ b (* a 2)) (+ b (* a 2))) (+ b (* a 2)))), (* (cbrt (* b (+ b (* a 2)))) (cbrt (* b (+ b (* a 2))))), (cbrt (* b (+ b (* a 2)))), (* (* (* b (+ b (* a 2))) (* b (+ b (* a 2)))) (* b (+ b (* a 2)))), (sqrt (* b (+ b (* a 2)))), (sqrt (* b (+ b (* a 2)))), (* (sqrt b) (sqrt (+ b (* a 2)))), (* (sqrt b) (sqrt (+ b (* a 2)))), (* b b), (* b (* a 2)), (* b b), (* (* a 2) b), (* b (* (cbrt (+ b (* a 2))) (cbrt (+ b (* a 2))))), (* b (sqrt (+ b (* a 2)))), (* b 1), (* (cbrt b) (+ b (* a 2))), (* (sqrt b) (+ b (* a 2))), (* b (+ b (* a 2))), (* b (+ (pow b 3) (pow (* a 2) 3))), (* b (- (* b b) (* (* a 2) (* a 2)))), (real->posit16 (* b (+ b (* a 2)))), (+ (pow b 2) (* 2 (* a b))), (+ (pow b 2) (* 2 (* a b))), (+ (pow b 2) (* 2 (* a b)))
1.013 * * [simplify]: iteration 1: (50 enodes)
1.029 * * [simplify]: iteration 2: (235 enodes)
1.096 * * [simplify]: iteration 3: (629 enodes)
1.494 * * [simplify]: Extracting #0: cost 20 inf + 0
1.494 * * [simplify]: Extracting #1: cost 114 inf + 1
1.497 * * [simplify]: Extracting #2: cost 374 inf + 2292
1.511 * * [simplify]: Extracting #3: cost 288 inf + 33252
1.536 * * [simplify]: Extracting #4: cost 23 inf + 88235
1.566 * * [simplify]: Extracting #5: cost 1 inf + 95797
1.594 * * [simplify]: Extracting #6: cost 0 inf + 95601
1.615 * [simplify]: Simplified to (expm1 (* (fma a 2 b) b)), (log1p (* (fma a 2 b) b)), (* (fma a 2 b) b), (log (* (fma a 2 b) b)), (log (* (fma a 2 b) b)), (exp (* (fma a 2 b) b)), (* (* (fma a 2 b) b) (* (* (fma a 2 b) b) (* (fma a 2 b) b))), (* (cbrt (* (fma a 2 b) b)) (cbrt (* (fma a 2 b) b))), (cbrt (* (fma a 2 b) b)), (* (* (fma a 2 b) b) (* (* (fma a 2 b) b) (* (fma a 2 b) b))), (sqrt (* (fma a 2 b) b)), (sqrt (* (fma a 2 b) b)), (* (sqrt (fma a 2 b)) (sqrt b)), (* (sqrt (fma a 2 b)) (sqrt b)), (* b b), (* (* 2 a) b), (* b b), (* (* 2 a) b), (* (* b (cbrt (fma a 2 b))) (cbrt (fma a 2 b))), (* b (sqrt (fma a 2 b))), b, (* (fma a 2 b) (cbrt b)), (* (sqrt b) (fma a 2 b)), (* (fma a 2 b) b), (fma (* b (* (* 2 a) (* 2 a))) (* 2 a) (* (* b b) (* b b))), (* b (fma a (* -4 a) (* b b))), (real->posit16 (* (fma a 2 b) b)), (* (fma a 2 b) b), (* (fma a 2 b) b), (* (fma a 2 b) b)
1.615 * * * * [progress]: [ 1 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (log1p (expm1 (* b (+ b (* a 2)))))))>
1.615 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (log1p (expm1 (* (fma a 2 b) b)))))
1.615 * * * * [progress]: [ 2 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (expm1 (log1p (* b (+ b (* a 2)))))))>
1.615 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (expm1 (log1p (* (fma a 2 b) b)))))
1.615 * * * * [progress]: [ 3 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (pow (* b (+ b (* a 2))) 1)))>
1.615 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (pow (* (fma a 2 b) b) 1)))
1.616 * * * * [progress]: [ 4 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (pow (* b (+ b (* a 2))) 1)))>
1.616 * * * * [progress]: [ 5 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (exp (+ (log b) (log (+ b (* a 2)))))))>
1.616 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (exp (log (* (fma a 2 b) b)))))
1.616 * * * * [progress]: [ 6 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (exp (log (* b (+ b (* a 2)))))))>
1.616 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (exp (log (* (fma a 2 b) b)))))
1.616 * * * * [progress]: [ 7 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (log (exp (* b (+ b (* a 2)))))))>
1.616 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (log (exp (* (fma a 2 b) b)))))
1.616 * * * * [progress]: [ 8 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (cbrt (* (* (* b b) b) (* (* (+ b (* a 2)) (+ b (* a 2))) (+ b (* a 2)))))))>
1.616 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (cbrt (* (* (fma a 2 b) b) (* (* (fma a 2 b) b) (* (fma a 2 b) b))))))
1.616 * * * * [progress]: [ 9 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* (cbrt (* b (+ b (* a 2)))) (cbrt (* b (+ b (* a 2))))) (cbrt (* b (+ b (* a 2)))))))>
1.616 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (* (* (cbrt (* (fma a 2 b) b)) (cbrt (* (fma a 2 b) b))) (cbrt (* b (+ b (* a 2)))))))
1.616 * [simplify]: Simplified (2 3 2) to (λ (a b) (fma a a (* (* (cbrt (* b (+ b (* a 2)))) (cbrt (* b (+ b (* a 2))))) (cbrt (* (fma a 2 b) b)))))
1.616 * * * * [progress]: [ 10 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (cbrt (* (* (* b (+ b (* a 2))) (* b (+ b (* a 2)))) (* b (+ b (* a 2)))))))>
1.616 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (cbrt (* (* (fma a 2 b) b) (* (* (fma a 2 b) b) (* (fma a 2 b) b))))))
1.616 * * * * [progress]: [ 11 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (sqrt (* b (+ b (* a 2)))) (sqrt (* b (+ b (* a 2)))))))>
1.616 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (* (sqrt (* (fma a 2 b) b)) (sqrt (* b (+ b (* a 2)))))))
1.616 * [simplify]: Simplified (2 3 2) to (λ (a b) (fma a a (* (sqrt (* b (+ b (* a 2)))) (sqrt (* (fma a 2 b) b)))))
1.616 * * * * [progress]: [ 12 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* 1 (* b (+ b (* a 2))))))>
1.616 * * * * [progress]: [ 13 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* (sqrt b) (sqrt (+ b (* a 2)))) (* (sqrt b) (sqrt (+ b (* a 2)))))))>
1.616 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (* (* (sqrt (fma a 2 b)) (sqrt b)) (* (sqrt b) (sqrt (+ b (* a 2)))))))
1.617 * [simplify]: Simplified (2 3 2) to (λ (a b) (fma a a (* (* (sqrt b) (sqrt (+ b (* a 2)))) (* (sqrt (fma a 2 b)) (sqrt b)))))
1.617 * * * * [progress]: [ 14 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (+ (* b b) (* b (* a 2)))))>
1.617 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (+ (* b b) (* b (* a 2)))))
1.617 * [simplify]: Simplified (2 3 2) to (λ (a b) (fma a a (+ (* b b) (* (* 2 a) b))))
1.617 * * * * [progress]: [ 15 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (+ (* b b) (* (* a 2) b))))>
1.617 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (+ (* b b) (* (* a 2) b))))
1.617 * [simplify]: Simplified (2 3 2) to (λ (a b) (fma a a (+ (* b b) (* (* 2 a) b))))
1.617 * * * * [progress]: [ 16 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* b (* (cbrt (+ b (* a 2))) (cbrt (+ b (* a 2))))) (cbrt (+ b (* a 2))))))>
1.617 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (* (* (* b (cbrt (fma a 2 b))) (cbrt (fma a 2 b))) (cbrt (+ b (* a 2))))))
1.617 * * * * [progress]: [ 17 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* b (sqrt (+ b (* a 2)))) (sqrt (+ b (* a 2))))))>
1.617 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (* (* b (sqrt (fma a 2 b))) (sqrt (+ b (* a 2))))))
1.617 * * * * [progress]: [ 18 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* b 1) (+ b (* a 2)))))>
1.617 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (* b (+ b (* a 2)))))
1.617 * * * * [progress]: [ 19 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (* (cbrt b) (cbrt b)) (* (cbrt b) (+ b (* a 2))))))>
1.617 * [simplify]: Simplified (2 3 2) to (λ (a b) (fma a a (* (* (cbrt b) (cbrt b)) (* (fma a 2 b) (cbrt b)))))
1.617 * * * * [progress]: [ 20 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (sqrt b) (* (sqrt b) (+ b (* a 2))))))>
1.617 * [simplify]: Simplified (2 3 2) to (λ (a b) (fma a a (* (sqrt b) (* (sqrt b) (fma a 2 b)))))
1.617 * * * * [progress]: [ 21 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* 1 (* b (+ b (* a 2))))))>
1.617 * [simplify]: Simplified (2 3 2) to (λ (a b) (fma a a (* 1 (* (fma a 2 b) b))))
1.617 * * * * [progress]: [ 22 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (/ (* b (+ (pow b 3) (pow (* a 2) 3))) (+ (* b b) (- (* (* a 2) (* a 2)) (* b (* a 2)))))))>
1.618 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (/ (fma (* b (* (* 2 a) (* 2 a))) (* 2 a) (* (* b b) (* b b))) (+ (* b b) (- (* (* a 2) (* a 2)) (* b (* a 2)))))))
1.618 * * * * [progress]: [ 23 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (/ (* b (- (* b b) (* (* a 2) (* a 2)))) (- b (* a 2)))))>
1.618 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (/ (* b (fma a (* -4 a) (* b b))) (- b (* a 2)))))
1.618 * * * * [progress]: [ 24 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (posit16->real (real->posit16 (* b (+ b (* a 2)))))))>
1.618 * [simplify]: Simplified (2 3 1) to (λ (a b) (fma a a (posit16->real (real->posit16 (* (fma a 2 b) b)))))
1.618 * * * * [progress]: [ 25 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (* (+ b (* a 2)) b)))>
1.618 * * * * [progress]: [ 26 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (+ (pow b 2) (* 2 (* a b)))))>
1.618 * [simplify]: Simplified (2 3) to (λ (a b) (fma a a (* (fma a 2 b) b)))
1.618 * * * * [progress]: [ 27 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (+ (pow b 2) (* 2 (* a b)))))>
1.618 * [simplify]: Simplified (2 3) to (λ (a b) (fma a a (* (fma a 2 b) b)))
1.618 * * * * [progress]: [ 28 / 28 ] simplifiying candidate #<alt (λ (a b) (fma a a (+ (pow b 2) (* 2 (* a b)))))>
1.618 * [simplify]: Simplified (2 3) to (λ (a b) (fma a a (* (fma a 2 b) b)))
1.618 * * * [progress]: adding candidates to table
1.824 * [progress]: [Phase 3 of 3] Extracting.
1.826 * [simplify]: Simplifying (fma a a (* b (+ b (* a 2))))
1.826 * * [simplify]: iteration 1: (7 enodes)
1.827 * * [simplify]: iteration 2: (10 enodes)
1.827 * * [simplify]: Extracting #0: cost 1 inf + 0
1.827 * * [simplify]: Extracting #1: cost 3 inf + 0
1.827 * * [simplify]: Extracting #2: cost 4 inf + 1
1.827 * * [simplify]: Extracting #3: cost 4 inf + 2
1.827 * * [simplify]: Extracting #4: cost 5 inf + 2
1.827 * * [simplify]: Extracting #5: cost 0 inf + 429
1.827 * [simplify]: Simplified to (fma a a (* b (+ b (* a 2))))
2.951 * [regime-testing]: Baseline error score: 0
2.953 * [regime-testing]: Oracle error score: 0
2.953 * [regime-testing]: End program error score: 0
2.999 * [regime-testing]: Target error score: 0.01062632829103638