0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.026 * [simplify]: Simplifying (* (+ a b) (+ a b))
0.026 * * [simplify]: iters left: 4 (4 enodes)
0.028 * * [simplify]: iters left: 3 (19 enodes)
0.036 * * [simplify]: iters left: 2 (41 enodes)
0.050 * * [simplify]: iters left: 1 (77 enodes)
0.069 * * [simplify]: Extracting #0: cost 1 inf + 0
0.069 * * [simplify]: Extracting #1: cost 11 inf + 0
0.069 * * [simplify]: Extracting #2: cost 29 inf + 0
0.069 * * [simplify]: Extracting #3: cost 24 inf + 127
0.070 * * [simplify]: Extracting #4: cost 4 inf + 1844
0.070 * * [simplify]: Extracting #5: cost 0 inf + 2332
0.071 * * [simplify]: Extracting #6: cost 0 inf + 2292
0.072 * [simplify]: Simplified to (* (+ b a) (+ b a))
0.072 * [simplify]: Simplified (2) to (λ (a b) (* (+ b a) (+ b a)))
0.074 * * [progress]: iteration 1 / 4
0.074 * * * [progress]: picking best candidate
0.076 * * * * [pick]: Picked  #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.076 * * * [progress]: localizing error
0.082 * * * [progress]: generating rewritten candidates
0.082 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.122 * * * [progress]: generating series expansions
0.122 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.122 * [backup-simplify]: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2)
0.123 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0
0.123 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b
0.123 * [taylor]: Taking taylor expansion of (+ a b) in b
0.123 * [taylor]: Taking taylor expansion of a in b
0.123 * [backup-simplify]: Simplify a into a
0.123 * [taylor]: Taking taylor expansion of b in b
0.123 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify 1 into 1
0.123 * [backup-simplify]: Simplify (+ a 0) into a
0.123 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.123 * [taylor]: Taking taylor expansion of (+ a b) in a
0.123 * [taylor]: Taking taylor expansion of a in a
0.123 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify 1 into 1
0.123 * [taylor]: Taking taylor expansion of b in a
0.123 * [backup-simplify]: Simplify b into b
0.123 * [backup-simplify]: Simplify (+ 0 b) into b
0.123 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.123 * [taylor]: Taking taylor expansion of (+ a b) in a
0.123 * [taylor]: Taking taylor expansion of a in a
0.123 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify 1 into 1
0.123 * [taylor]: Taking taylor expansion of b in a
0.123 * [backup-simplify]: Simplify b into b
0.123 * [backup-simplify]: Simplify (+ 0 b) into b
0.123 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.123 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.123 * [taylor]: Taking taylor expansion of b in b
0.123 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify 1 into 1
0.124 * [backup-simplify]: Simplify (+ 1 0) into 1
0.124 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b)
0.124 * [taylor]: Taking taylor expansion of (* 2 b) in b
0.124 * [taylor]: Taking taylor expansion of 2 in b
0.124 * [backup-simplify]: Simplify 2 into 2
0.124 * [taylor]: Taking taylor expansion of b in b
0.124 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify 1 into 1
0.125 * [backup-simplify]: Simplify (* 2 0) into 0
0.125 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify (+ 0 0) into 0
0.126 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1
0.126 * [taylor]: Taking taylor expansion of 1 in b
0.126 * [backup-simplify]: Simplify 1 into 1
0.126 * [backup-simplify]: Simplify 1 into 1
0.127 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.127 * [backup-simplify]: Simplify 2 into 2
0.127 * [backup-simplify]: Simplify (* 1 1) into 1
0.127 * [backup-simplify]: Simplify 1 into 1
0.128 * [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.128 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.128 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.128 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.128 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.128 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.128 * [taylor]: Taking taylor expansion of a in b
0.128 * [backup-simplify]: Simplify a into a
0.128 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.128 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.128 * [taylor]: Taking taylor expansion of b in b
0.128 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify 1 into 1
0.129 * [backup-simplify]: Simplify (/ 1 1) into 1
0.129 * [backup-simplify]: Simplify (+ 0 1) into 1
0.129 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.130 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.130 * [taylor]: Taking taylor expansion of a in a
0.130 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify 1 into 1
0.130 * [backup-simplify]: Simplify (/ 1 1) into 1
0.130 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.130 * [taylor]: Taking taylor expansion of b in a
0.130 * [backup-simplify]: Simplify b into b
0.130 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.131 * [backup-simplify]: Simplify (+ 1 0) into 1
0.131 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.131 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.131 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.131 * [taylor]: Taking taylor expansion of a in a
0.131 * [backup-simplify]: Simplify 0 into 0
0.131 * [backup-simplify]: Simplify 1 into 1
0.131 * [backup-simplify]: Simplify (/ 1 1) into 1
0.131 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.131 * [taylor]: Taking taylor expansion of b in a
0.131 * [backup-simplify]: Simplify b into b
0.131 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.132 * [backup-simplify]: Simplify (+ 1 0) into 1
0.132 * [backup-simplify]: Simplify (* 1 1) into 1
0.132 * [taylor]: Taking taylor expansion of 1 in b
0.132 * [backup-simplify]: Simplify 1 into 1
0.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.133 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.133 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.133 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.133 * [taylor]: Taking taylor expansion of 2 in b
0.133 * [backup-simplify]: Simplify 2 into 2
0.133 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.133 * [taylor]: Taking taylor expansion of b in b
0.133 * [backup-simplify]: Simplify 0 into 0
0.133 * [backup-simplify]: Simplify 1 into 1
0.134 * [backup-simplify]: Simplify (/ 1 1) into 1
0.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.135 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.135 * [backup-simplify]: Simplify (+ 0 0) into 0
0.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.136 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.136 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.136 * [taylor]: Taking taylor expansion of b in b
0.136 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify 1 into 1
0.136 * [backup-simplify]: Simplify (* 1 1) into 1
0.137 * [backup-simplify]: Simplify (/ 1 1) into 1
0.137 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (* 2 1) into 2
0.137 * [backup-simplify]: Simplify 2 into 2
0.137 * [backup-simplify]: Simplify 1 into 1
0.138 * [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.138 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.138 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.138 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.138 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.138 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.138 * [taylor]: Taking taylor expansion of a in b
0.138 * [backup-simplify]: Simplify a into a
0.138 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.138 * [taylor]: Taking taylor expansion of (/ 1 b) in b
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 (/ 1 1) into 1
0.139 * [backup-simplify]: Simplify (+ 0 1) into 1
0.139 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.139 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.139 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.139 * [taylor]: Taking taylor expansion of a in a
0.139 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify 1 into 1
0.139 * [backup-simplify]: Simplify (/ 1 1) into 1
0.140 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.140 * [taylor]: Taking taylor expansion of b in a
0.140 * [backup-simplify]: Simplify b into b
0.140 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.140 * [backup-simplify]: Simplify (+ 1 0) into 1
0.140 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.140 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.140 * [taylor]: Taking taylor expansion of a in a
0.140 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify 1 into 1
0.140 * [backup-simplify]: Simplify (/ 1 1) into 1
0.140 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.140 * [taylor]: Taking taylor expansion of b in a
0.140 * [backup-simplify]: Simplify b into b
0.140 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.141 * [backup-simplify]: Simplify (+ 1 0) into 1
0.141 * [backup-simplify]: Simplify (* 1 1) into 1
0.141 * [taylor]: Taking taylor expansion of 1 in b
0.141 * [backup-simplify]: Simplify 1 into 1
0.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.141 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.141 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.141 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.141 * [taylor]: Taking taylor expansion of 2 in b
0.142 * [backup-simplify]: Simplify 2 into 2
0.142 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.142 * [taylor]: Taking taylor expansion of b in b
0.142 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify 1 into 1
0.142 * [backup-simplify]: Simplify (/ 1 1) into 1
0.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.142 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.143 * [backup-simplify]: Simplify (+ 0 0) into 0
0.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.143 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.143 * [taylor]: Taking taylor expansion of (pow b 2) 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.144 * [backup-simplify]: Simplify (* 1 1) into 1
0.144 * [backup-simplify]: Simplify (/ 1 1) into 1
0.144 * [backup-simplify]: Simplify 1 into 1
0.144 * [backup-simplify]: Simplify (* 2 1) into 2
0.144 * [backup-simplify]: Simplify 2 into 2
0.144 * [backup-simplify]: Simplify 1 into 1
0.145 * [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.145 * * * [progress]: simplifying candidates
0.145 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.145 * [simplify]: Simplifying (+ a b)
0.145 * * [simplify]: iters left: 2 (3 enodes)
0.146 * * [simplify]: iters left: 1 (10 enodes)
0.147 * * [simplify]: Extracting #0: cost 1 inf + 0
0.147 * * [simplify]: Extracting #1: cost 4 inf + 0
0.147 * * [simplify]: Extracting #2: cost 2 inf + 2
0.147 * * [simplify]: Extracting #3: cost 0 inf + 86
0.147 * [simplify]: Simplified to (+ b a)
0.147 * [simplify]: Simplified (2 1) to (λ (a b) (pow (+ b a) (+ 1 1)))
0.148 * [simplify]: Simplifying (+ 1 1)
0.148 * * [simplify]: iters left: 2 (2 enodes)
0.149 * * [simplify]: iters left: 1 (9 enodes)
0.151 * * [simplify]: Extracting #0: cost 1 inf + 0
0.151 * * [simplify]: Extracting #1: cost 0 inf + 1
0.151 * [simplify]: Simplified to 2
0.151 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2))
0.151 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.151 * [simplify]: Simplifying (* (+ a b) (+ a b))
0.151 * * [simplify]: iters left: 4 (4 enodes)
0.153 * * [simplify]: iters left: 3 (19 enodes)
0.157 * * [simplify]: iters left: 2 (41 enodes)
0.167 * * [simplify]: iters left: 1 (77 enodes)
0.183 * * [simplify]: Extracting #0: cost 1 inf + 0
0.183 * * [simplify]: Extracting #1: cost 11 inf + 0
0.183 * * [simplify]: Extracting #2: cost 29 inf + 0
0.184 * * [simplify]: Extracting #3: cost 24 inf + 127
0.184 * * [simplify]: Extracting #4: cost 4 inf + 1844
0.186 * * [simplify]: Extracting #5: cost 0 inf + 2332
0.187 * * [simplify]: Extracting #6: cost 0 inf + 2292
0.188 * [simplify]: Simplified to (* (+ b a) (+ b a))
0.188 * [simplify]: Simplified (2 1) to (λ (a b) (pow (* (+ b a) (+ b a)) 1))
0.188 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) 2))>
0.188 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.188 * [simplify]: Simplifying (+ a b)
0.188 * * [simplify]: iters left: 2 (3 enodes)
0.190 * * [simplify]: iters left: 1 (10 enodes)
0.193 * * [simplify]: Extracting #0: cost 1 inf + 0
0.193 * * [simplify]: Extracting #1: cost 4 inf + 0
0.193 * * [simplify]: Extracting #2: cost 2 inf + 2
0.193 * * [simplify]: Extracting #3: cost 0 inf + 86
0.193 * [simplify]: Simplified to (+ b a)
0.193 * [simplify]: Simplified (2 1) to (λ (a b) (pow (+ b a) (+ 1 1)))
0.193 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.193 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (a b) (exp (+ (log (+ a b)) (log (+ a b)))))>
0.193 * [simplify]: Simplifying (+ (log (+ a b)) (log (+ a b)))
0.193 * * [simplify]: iters left: 5 (5 enodes)
0.196 * * [simplify]: iters left: 4 (16 enodes)
0.200 * * [simplify]: Extracting #0: cost 1 inf + 0
0.200 * * [simplify]: Extracting #1: cost 3 inf + 0
0.200 * * [simplify]: Extracting #2: cost 5 inf + 0
0.200 * * [simplify]: Extracting #3: cost 8 inf + 0
0.200 * * [simplify]: Extracting #4: cost 6 inf + 2
0.201 * * [simplify]: Extracting #5: cost 0 inf + 614
0.201 * [simplify]: Simplified to (+ (log (+ b a)) (log (+ b a)))
0.201 * [simplify]: Simplified (2 1) to (λ (a b) (exp (+ (log (+ b a)) (log (+ b a)))))
0.201 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (a b) (exp (log (* (+ a b) (+ a b)))))>
0.201 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (a b) (log (exp (* (+ a b) (+ a b)))))>
0.201 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b)))))>
0.201 * [simplify]: Simplifying (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b)))
0.201 * * [simplify]: iters left: 6 (6 enodes)
0.204 * * [simplify]: iters left: 5 (38 enodes)
0.217 * * [simplify]: iters left: 4 (186 enodes)
0.352 * * [simplify]: Extracting #0: cost 1 inf + 0
0.352 * * [simplify]: Extracting #1: cost 20 inf + 0
0.352 * * [simplify]: Extracting #2: cost 154 inf + 2
0.353 * * [simplify]: Extracting #3: cost 243 inf + 2399
0.362 * * [simplify]: Extracting #4: cost 86 inf + 28517
0.371 * * [simplify]: Extracting #5: cost 0 inf + 43809
0.381 * [simplify]: Simplified to (* (* (+ b a) (* (+ b a) (+ b a))) (* (+ b a) (* (+ b a) (+ b a))))
0.381 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (* (+ b a) (* (+ b a) (+ b a))) (* (+ b a) (* (+ b a) (+ b a))))))
0.381 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b)))))>
0.381 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b)))))>
0.381 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b)))))>
0.381 * * * * [progress]: [ 13 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))))>
0.381 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3)))
0.381 * * [simplify]: iters left: 5 (7 enodes)
0.384 * * [simplify]: iters left: 4 (41 enodes)
0.401 * * [simplify]: iters left: 3 (114 enodes)
0.457 * * [simplify]: iters left: 2 (330 enodes)
0.650 * * [simplify]: Extracting #0: cost 1 inf + 0
0.650 * * [simplify]: Extracting #1: cost 11 inf + 0
0.651 * * [simplify]: Extracting #2: cost 88 inf + 0
0.652 * * [simplify]: Extracting #3: cost 180 inf + 45
0.656 * * [simplify]: Extracting #4: cost 119 inf + 17276
0.669 * * [simplify]: Extracting #5: cost 15 inf + 54302
0.682 * * [simplify]: Extracting #6: cost 0 inf + 57355
0.693 * * [simplify]: Extracting #7: cost 0 inf + 56973
0.702 * [simplify]: Simplified to (* (+ (* (* a a) a) (* b (* b b))) (+ (* (* a a) a) (* b (* b b))))
0.702 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (+ (* (* a a) a) (* b (* b b))) (+ (* (* a a) a) (* b (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))))
0.702 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))
0.702 * * [simplify]: iters left: 6 (8 enodes)
0.705 * * [simplify]: iters left: 5 (38 enodes)
0.715 * * [simplify]: iters left: 4 (95 enodes)
0.762 * * [simplify]: iters left: 3 (325 enodes)
0.974 * * [simplify]: Extracting #0: cost 1 inf + 0
0.974 * * [simplify]: Extracting #1: cost 30 inf + 0
0.974 * * [simplify]: Extracting #2: cost 176 inf + 0
0.976 * * [simplify]: Extracting #3: cost 205 inf + 3645
0.981 * * [simplify]: Extracting #4: cost 105 inf + 22995
0.993 * * [simplify]: Extracting #5: cost 7 inf + 45867
1.009 * * [simplify]: Extracting #6: cost 0 inf + 47401
1.032 * * [simplify]: Extracting #7: cost 0 inf + 47361
1.058 * [simplify]: Simplified to (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a))))
1.058 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ (* (* a a) a) (* b (* b b))) (+ (* (* a a) a) (* b (* b b)))) (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a))))))
1.058 * * * * [progress]: [ 14 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b))))>
1.059 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))
1.059 * * [simplify]: iters left: 6 (10 enodes)
1.065 * * [simplify]: iters left: 5 (48 enodes)
1.087 * * [simplify]: iters left: 4 (102 enodes)
1.125 * * [simplify]: iters left: 3 (288 enodes)
1.271 * * [simplify]: Extracting #0: cost 1 inf + 0
1.272 * * [simplify]: Extracting #1: cost 47 inf + 0
1.272 * * [simplify]: Extracting #2: cost 177 inf + 0
1.273 * * [simplify]: Extracting #3: cost 278 inf + 369
1.277 * * [simplify]: Extracting #4: cost 208 inf + 13178
1.295 * * [simplify]: Extracting #5: cost 50 inf + 51840
1.323 * * [simplify]: Extracting #6: cost 0 inf + 64540
1.348 * [simplify]: Simplified to (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b))))
1.348 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (- a b))))
1.348 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (- a b))
1.348 * * [simplify]: iters left: 6 (9 enodes)
1.353 * * [simplify]: iters left: 5 (38 enodes)
1.366 * * [simplify]: iters left: 4 (75 enodes)
1.385 * * [simplify]: iters left: 3 (184 enodes)
1.454 * * [simplify]: Extracting #0: cost 1 inf + 0
1.454 * * [simplify]: Extracting #1: cost 46 inf + 0
1.454 * * [simplify]: Extracting #2: cost 114 inf + 0
1.455 * * [simplify]: Extracting #3: cost 110 inf + 1429
1.458 * * [simplify]: Extracting #4: cost 35 inf + 12966
1.463 * * [simplify]: Extracting #5: cost 0 inf + 20274
1.473 * * [simplify]: Extracting #6: cost 0 inf + 20194
1.483 * [simplify]: Simplified to (* (- a b) (+ (* (- a b) a) (* b b)))
1.483 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* a (* a a)) (* b (* b b)))) (* (- a b) (+ (* (- a b) a) (* b b)))))
1.483 * * * * [progress]: [ 15 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))))>
1.484 * [simplify]: Simplifying (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3)))
1.484 * * [simplify]: iters left: 6 (10 enodes)
1.491 * * [simplify]: iters left: 5 (54 enodes)
1.521 * * [simplify]: iters left: 4 (154 enodes)
1.591 * * [simplify]: Extracting #0: cost 1 inf + 0
1.591 * * [simplify]: Extracting #1: cost 26 inf + 0
1.592 * * [simplify]: Extracting #2: cost 131 inf + 0
1.593 * * [simplify]: Extracting #3: cost 157 inf + 2717
1.599 * * [simplify]: Extracting #4: cost 77 inf + 14838
1.608 * * [simplify]: Extracting #5: cost 22 inf + 28085
1.614 * * [simplify]: Extracting #6: cost 0 inf + 35375
1.620 * [simplify]: Simplified to (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a))))
1.620 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a)))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))))
1.620 * [simplify]: Simplifying (* (- a b) (+ (* a a) (- (* b b) (* a b))))
1.620 * * [simplify]: iters left: 6 (9 enodes)
1.625 * * [simplify]: iters left: 5 (44 enodes)
1.634 * * [simplify]: iters left: 4 (109 enodes)
1.669 * * [simplify]: iters left: 3 (298 enodes)
1.783 * * [simplify]: Extracting #0: cost 1 inf + 0
1.783 * * [simplify]: Extracting #1: cost 39 inf + 0
1.783 * * [simplify]: Extracting #2: cost 148 inf + 0
1.784 * * [simplify]: Extracting #3: cost 147 inf + 2505
1.788 * * [simplify]: Extracting #4: cost 34 inf + 22688
1.803 * * [simplify]: Extracting #5: cost 2 inf + 29260
1.811 * * [simplify]: Extracting #6: cost 0 inf + 29373
1.818 * * [simplify]: Extracting #7: cost 0 inf + 29293
1.827 * [simplify]: Simplified to (* (+ (* b b) (* a (- a b))) (- a b))
1.827 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (+ (* b (* b b)) (* a (* a a)))) (* (+ (* b b) (* a (- a b))) (- a b))))
1.827 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))>
1.828 * [simplify]: Simplifying (* (- (* a a) (* b b)) (- (* a a) (* b b)))
1.828 * * [simplify]: iters left: 6 (6 enodes)
1.831 * * [simplify]: iters left: 5 (23 enodes)
1.839 * * [simplify]: iters left: 4 (49 enodes)
1.860 * * [simplify]: iters left: 3 (161 enodes)
1.992 * * [simplify]: Extracting #0: cost 1 inf + 0
1.992 * * [simplify]: Extracting #1: cost 43 inf + 0
1.995 * * [simplify]: Extracting #2: cost 161 inf + 0
1.998 * * [simplify]: Extracting #3: cost 180 inf + 1588
2.005 * * [simplify]: Extracting #4: cost 63 inf + 19808
2.020 * * [simplify]: Extracting #5: cost 0 inf + 30333
2.035 * * [simplify]: Extracting #6: cost 0 inf + 30253
2.044 * [simplify]: Simplified to (* (- (* a a) (* b b)) (- (* a a) (* b b)))
2.044 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))
2.045 * [simplify]: Simplifying (* (- a b) (- a b))
2.045 * * [simplify]: iters left: 4 (4 enodes)
2.046 * * [simplify]: iters left: 3 (14 enodes)
2.048 * * [simplify]: iters left: 2 (23 enodes)
2.053 * * [simplify]: iters left: 1 (49 enodes)
2.063 * * [simplify]: Extracting #0: cost 1 inf + 0
2.063 * * [simplify]: Extracting #1: cost 17 inf + 0
2.063 * * [simplify]: Extracting #2: cost 32 inf + 0
2.063 * * [simplify]: Extracting #3: cost 30 inf + 43
2.064 * * [simplify]: Extracting #4: cost 7 inf + 2364
2.064 * * [simplify]: Extracting #5: cost 0 inf + 3176
2.065 * [simplify]: Simplified to (* (- a b) (- a b))
2.065 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))
2.065 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
2.065 * * * * [progress]: [ 18 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (cbrt (+ a b)) (cbrt (+ a b)))))>
2.065 * [simplify]: Simplifying (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b))))
2.066 * * [simplify]: iters left: 6 (6 enodes)
2.068 * * [simplify]: iters left: 5 (23 enodes)
2.075 * * [simplify]: iters left: 4 (27 enodes)
2.084 * * [simplify]: iters left: 3 (38 enodes)
2.093 * * [simplify]: iters left: 2 (70 enodes)
2.111 * * [simplify]: iters left: 1 (126 enodes)
2.137 * * [simplify]: Extracting #0: cost 1 inf + 0
2.137 * * [simplify]: Extracting #1: cost 15 inf + 0
2.137 * * [simplify]: Extracting #2: cost 45 inf + 1
2.137 * * [simplify]: Extracting #3: cost 41 inf + 9
2.138 * * [simplify]: Extracting #4: cost 38 inf + 95
2.138 * * [simplify]: Extracting #5: cost 24 inf + 3319
2.139 * * [simplify]: Extracting #6: cost 3 inf + 12560
2.140 * * [simplify]: Extracting #7: cost 0 inf + 14101
2.142 * [simplify]: Simplified to (* (+ b a) (cbrt (+ b a)))
2.142 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (+ b a) (cbrt (+ b a))) (* (cbrt (+ a b)) (cbrt (+ a b)))))
2.142 * [simplify]: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b)))
2.142 * * [simplify]: iters left: 5 (5 enodes)
2.143 * * [simplify]: iters left: 4 (16 enodes)
2.146 * * [simplify]: Extracting #0: cost 1 inf + 0
2.146 * * [simplify]: Extracting #1: cost 3 inf + 0
2.146 * * [simplify]: Extracting #2: cost 5 inf + 0
2.146 * * [simplify]: Extracting #3: cost 8 inf + 0
2.146 * * [simplify]: Extracting #4: cost 6 inf + 2
2.146 * * [simplify]: Extracting #5: cost 0 inf + 654
2.146 * [simplify]: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a)))
2.146 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (cbrt (+ b a)) (cbrt (+ b a)))))
2.146 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
2.146 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
2.146 * * [simplify]: iters left: 5 (5 enodes)
2.147 * * [simplify]: iters left: 4 (14 enodes)
2.150 * * [simplify]: iters left: 3 (15 enodes)
2.152 * * [simplify]: Extracting #0: cost 1 inf + 0
2.152 * * [simplify]: Extracting #1: cost 5 inf + 0
2.152 * * [simplify]: Extracting #2: cost 4 inf + 2
2.152 * * [simplify]: Extracting #3: cost 3 inf + 44
2.152 * * [simplify]: Extracting #4: cost 0 inf + 250
2.152 * [simplify]: Simplified to (+ b a)
2.152 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (* (sqrt (+ a b)) (sqrt (+ a b)))))
2.152 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
2.152 * * [simplify]: iters left: 5 (5 enodes)
2.153 * * [simplify]: iters left: 4 (14 enodes)
2.156 * * [simplify]: iters left: 3 (15 enodes)
2.158 * * [simplify]: Extracting #0: cost 1 inf + 0
2.158 * * [simplify]: Extracting #1: cost 5 inf + 0
2.158 * * [simplify]: Extracting #2: cost 4 inf + 2
2.158 * * [simplify]: Extracting #3: cost 3 inf + 44
2.158 * * [simplify]: Extracting #4: cost 0 inf + 250
2.158 * [simplify]: Simplified to (+ b a)
2.158 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (+ b a)))
2.158 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
2.158 * [simplify]: Simplifying (* 1 1)
2.158 * * [simplify]: iters left: 2 (2 enodes)
2.159 * * [simplify]: iters left: 1 (6 enodes)
2.160 * * [simplify]: Extracting #0: cost 1 inf + 0
2.160 * * [simplify]: Extracting #1: cost 0 inf + 1
2.160 * [simplify]: Simplified to 1
2.160 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
2.161 * [simplify]: Simplifying (* (+ a b) (+ a b))
2.161 * * [simplify]: iters left: 4 (4 enodes)
2.162 * * [simplify]: iters left: 3 (19 enodes)
2.166 * * [simplify]: iters left: 2 (41 enodes)
2.173 * * [simplify]: iters left: 1 (77 enodes)
2.185 * * [simplify]: Extracting #0: cost 1 inf + 0
2.185 * * [simplify]: Extracting #1: cost 11 inf + 0
2.185 * * [simplify]: Extracting #2: cost 29 inf + 0
2.185 * * [simplify]: Extracting #3: cost 24 inf + 127
2.187 * * [simplify]: Extracting #4: cost 4 inf + 1844
2.188 * * [simplify]: Extracting #5: cost 0 inf + 2332
2.188 * * [simplify]: Extracting #6: cost 0 inf + 2292
2.189 * [simplify]: Simplified to (* (+ b a) (+ b a))
2.189 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
2.189 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
2.189 * [simplify]: Simplifying (* 1 1)
2.189 * * [simplify]: iters left: 2 (2 enodes)
2.190 * * [simplify]: iters left: 1 (6 enodes)
2.192 * * [simplify]: Extracting #0: cost 1 inf + 0
2.192 * * [simplify]: Extracting #1: cost 0 inf + 1
2.192 * [simplify]: Simplified to 1
2.192 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
2.192 * [simplify]: Simplifying (* (+ a b) (+ a b))
2.192 * * [simplify]: iters left: 4 (4 enodes)
2.193 * * [simplify]: iters left: 3 (19 enodes)
2.197 * * [simplify]: iters left: 2 (41 enodes)
2.204 * * [simplify]: iters left: 1 (77 enodes)
2.225 * * [simplify]: Extracting #0: cost 1 inf + 0
2.225 * * [simplify]: Extracting #1: cost 11 inf + 0
2.225 * * [simplify]: Extracting #2: cost 29 inf + 0
2.225 * * [simplify]: Extracting #3: cost 24 inf + 127
2.226 * * [simplify]: Extracting #4: cost 4 inf + 1844
2.227 * * [simplify]: Extracting #5: cost 0 inf + 2332
2.229 * * [simplify]: Extracting #6: cost 0 inf + 2292
2.230 * [simplify]: Simplified to (* (+ b a) (+ b a))
2.230 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
2.230 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
2.230 * [simplify]: Simplifying (* 1 1)
2.231 * * [simplify]: iters left: 2 (2 enodes)
2.232 * * [simplify]: iters left: 1 (6 enodes)
2.234 * * [simplify]: Extracting #0: cost 1 inf + 0
2.234 * * [simplify]: Extracting #1: cost 0 inf + 1
2.234 * [simplify]: Simplified to 1
2.234 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
2.235 * [simplify]: Simplifying (* (+ a b) (+ a b))
2.235 * * [simplify]: iters left: 4 (4 enodes)
2.237 * * [simplify]: iters left: 3 (19 enodes)
2.244 * * [simplify]: iters left: 2 (41 enodes)
2.258 * * [simplify]: iters left: 1 (77 enodes)
2.279 * * [simplify]: Extracting #0: cost 1 inf + 0
2.280 * * [simplify]: Extracting #1: cost 11 inf + 0
2.280 * * [simplify]: Extracting #2: cost 29 inf + 0
2.280 * * [simplify]: Extracting #3: cost 24 inf + 127
2.281 * * [simplify]: Extracting #4: cost 4 inf + 1844
2.282 * * [simplify]: Extracting #5: cost 0 inf + 2332
2.283 * * [simplify]: Extracting #6: cost 0 inf + 2292
2.284 * [simplify]: Simplified to (* (+ b a) (+ b a))
2.284 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
2.284 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
2.284 * [simplify]: Simplifying (* 1 1)
2.284 * * [simplify]: iters left: 2 (2 enodes)
2.285 * * [simplify]: iters left: 1 (6 enodes)
2.286 * * [simplify]: Extracting #0: cost 1 inf + 0
2.286 * * [simplify]: Extracting #1: cost 0 inf + 1
2.286 * [simplify]: Simplified to 1
2.286 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (* (+ a b) (+ a b))))
2.286 * [simplify]: Simplifying (* (+ a b) (+ a b))
2.286 * * [simplify]: iters left: 4 (4 enodes)
2.288 * * [simplify]: iters left: 3 (19 enodes)
2.292 * * [simplify]: iters left: 2 (41 enodes)
2.299 * * [simplify]: iters left: 1 (77 enodes)
2.312 * * [simplify]: Extracting #0: cost 1 inf + 0
2.313 * * [simplify]: Extracting #1: cost 11 inf + 0
2.313 * * [simplify]: Extracting #2: cost 29 inf + 0
2.313 * * [simplify]: Extracting #3: cost 24 inf + 127
2.313 * * [simplify]: Extracting #4: cost 4 inf + 1844
2.314 * * [simplify]: Extracting #5: cost 0 inf + 2332
2.314 * * [simplify]: Extracting #6: cost 0 inf + 2292
2.315 * [simplify]: Simplified to (* (+ b a) (+ b a))
2.315 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (* (+ b a) (+ b a))))
2.315 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
2.315 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
2.315 * * [simplify]: iters left: 5 (5 enodes)
2.317 * * [simplify]: iters left: 4 (14 enodes)
2.319 * * [simplify]: iters left: 3 (15 enodes)
2.321 * * [simplify]: Extracting #0: cost 1 inf + 0
2.321 * * [simplify]: Extracting #1: cost 5 inf + 0
2.321 * * [simplify]: Extracting #2: cost 4 inf + 2
2.321 * * [simplify]: Extracting #3: cost 3 inf + 44
2.321 * * [simplify]: Extracting #4: cost 0 inf + 250
2.321 * [simplify]: Simplified to (+ b a)
2.321 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (* (sqrt (+ a b)) (sqrt (+ a b)))))
2.321 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt (+ a b)))
2.321 * * [simplify]: iters left: 5 (5 enodes)
2.323 * * [simplify]: iters left: 4 (14 enodes)
2.325 * * [simplify]: iters left: 3 (15 enodes)
2.327 * * [simplify]: Extracting #0: cost 1 inf + 0
2.327 * * [simplify]: Extracting #1: cost 5 inf + 0
2.327 * * [simplify]: Extracting #2: cost 4 inf + 2
2.327 * * [simplify]: Extracting #3: cost 3 inf + 44
2.327 * * [simplify]: Extracting #4: cost 0 inf + 250
2.327 * [simplify]: Simplified to (+ b a)
2.327 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (+ b a)))
2.327 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (* 2 1)))>
2.327 * [simplify]: Simplifying (+ a b)
2.327 * * [simplify]: iters left: 2 (3 enodes)
2.328 * * [simplify]: iters left: 1 (10 enodes)
2.330 * * [simplify]: Extracting #0: cost 1 inf + 0
2.330 * * [simplify]: Extracting #1: cost 4 inf + 0
2.330 * * [simplify]: Extracting #2: cost 2 inf + 2
2.330 * * [simplify]: Extracting #3: cost 0 inf + 86
2.330 * [simplify]: Simplified to (+ b a)
2.330 * [simplify]: Simplified (2 1) to (λ (a b) (pow (+ b a) (* 2 1)))
2.330 * [simplify]: Simplifying (* 2 1)
2.330 * * [simplify]: iters left: 2 (3 enodes)
2.332 * * [simplify]: iters left: 1 (9 enodes)
2.334 * * [simplify]: Extracting #0: cost 1 inf + 0
2.334 * * [simplify]: Extracting #1: cost 0 inf + 1
2.334 * [simplify]: Simplified to 2
2.334 * [simplify]: Simplified (2 2) to (λ (a b) (pow (+ a b) 2))
2.334 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))>
2.334 * [simplify]: Simplifying (* (+ a b) b)
2.334 * * [simplify]: iters left: 4 (4 enodes)
2.335 * * [simplify]: iters left: 3 (14 enodes)
2.338 * * [simplify]: iters left: 2 (21 enodes)
2.341 * * [simplify]: iters left: 1 (27 enodes)
2.345 * * [simplify]: Extracting #0: cost 1 inf + 0
2.345 * * [simplify]: Extracting #1: cost 6 inf + 0
2.345 * * [simplify]: Extracting #2: cost 8 inf + 42
2.345 * * [simplify]: Extracting #3: cost 6 inf + 84
2.345 * * [simplify]: Extracting #4: cost 0 inf + 416
2.345 * [simplify]: Simplified to (* (+ b a) b)
2.345 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ b a) b)))
2.345 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))>
2.346 * [simplify]: Simplifying (* b (+ a b))
2.346 * * [simplify]: iters left: 4 (4 enodes)
2.347 * * [simplify]: iters left: 3 (19 enodes)
2.350 * * [simplify]: iters left: 2 (27 enodes)
2.354 * * [simplify]: Extracting #0: cost 1 inf + 0
2.354 * * [simplify]: Extracting #1: cost 6 inf + 0
2.354 * * [simplify]: Extracting #2: cost 9 inf + 1
2.354 * * [simplify]: Extracting #3: cost 0 inf + 416
2.354 * [simplify]: Simplified to (* b (+ a b))
2.354 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))
2.354 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ a b))))>
2.355 * [simplify]: Simplifying (cbrt (+ a b))
2.355 * * [simplify]: iters left: 3 (4 enodes)
2.356 * * [simplify]: iters left: 2 (13 enodes)
2.360 * * [simplify]: Extracting #0: cost 1 inf + 0
2.360 * * [simplify]: Extracting #1: cost 3 inf + 0
2.360 * * [simplify]: Extracting #2: cost 6 inf + 0
2.360 * * [simplify]: Extracting #3: cost 4 inf + 2
2.360 * * [simplify]: Extracting #4: cost 0 inf + 330
2.360 * [simplify]: Simplified to (cbrt (+ b a))
2.360 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ b a))))
2.361 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (sqrt (+ a b))) (sqrt (+ a b))))>
2.361 * [simplify]: Simplifying (sqrt (+ a b))
2.361 * * [simplify]: iters left: 3 (4 enodes)
2.363 * * [simplify]: iters left: 2 (13 enodes)
2.366 * * [simplify]: Extracting #0: cost 1 inf + 0
2.366 * * [simplify]: Extracting #1: cost 3 inf + 0
2.366 * * [simplify]: Extracting #2: cost 6 inf + 0
2.366 * * [simplify]: Extracting #3: cost 4 inf + 2
2.366 * * [simplify]: Extracting #4: cost 0 inf + 250
2.367 * [simplify]: Simplified to (sqrt (+ b a))
2.367 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) (sqrt (+ a b))) (sqrt (+ b a))))
2.367 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
2.367 * [simplify]: Simplifying (+ a b)
2.367 * * [simplify]: iters left: 2 (3 enodes)
2.368 * * [simplify]: iters left: 1 (10 enodes)
2.371 * * [simplify]: Extracting #0: cost 1 inf + 0
2.371 * * [simplify]: Extracting #1: cost 4 inf + 0
2.371 * * [simplify]: Extracting #2: cost 2 inf + 2
2.371 * * [simplify]: Extracting #3: cost 0 inf + 86
2.371 * [simplify]: Simplified to (+ b a)
2.371 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) 1) (+ b a)))
2.371 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
2.372 * [simplify]: Simplifying (+ a b)
2.372 * * [simplify]: iters left: 2 (3 enodes)
2.373 * * [simplify]: iters left: 1 (10 enodes)
2.376 * * [simplify]: Extracting #0: cost 1 inf + 0
2.376 * * [simplify]: Extracting #1: cost 4 inf + 0
2.376 * * [simplify]: Extracting #2: cost 2 inf + 2
2.376 * * [simplify]: Extracting #3: cost 0 inf + 86
2.376 * [simplify]: Simplified to (+ b a)
2.376 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (+ a b) 1) (+ b a)))
2.376 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (+ a b))))>
2.377 * [simplify]: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b)))
2.377 * * [simplify]: iters left: 5 (5 enodes)
2.379 * * [simplify]: iters left: 4 (16 enodes)
2.384 * * [simplify]: Extracting #0: cost 1 inf + 0
2.384 * * [simplify]: Extracting #1: cost 3 inf + 0
2.384 * * [simplify]: Extracting #2: cost 5 inf + 0
2.384 * * [simplify]: Extracting #3: cost 8 inf + 0
2.384 * * [simplify]: Extracting #4: cost 6 inf + 2
2.384 * * [simplify]: Extracting #5: cost 0 inf + 654
2.384 * [simplify]: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a)))
2.384 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (+ b a)) (cbrt (+ b a))) (* (cbrt (+ a b)) (+ a b))))
2.384 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (+ a b)) (* (sqrt (+ a b)) (+ a b))))>
2.385 * [simplify]: Simplifying (sqrt (+ a b))
2.385 * * [simplify]: iters left: 3 (4 enodes)
2.387 * * [simplify]: iters left: 2 (13 enodes)
2.389 * * [simplify]: Extracting #0: cost 1 inf + 0
2.389 * * [simplify]: Extracting #1: cost 3 inf + 0
2.389 * * [simplify]: Extracting #2: cost 6 inf + 0
2.389 * * [simplify]: Extracting #3: cost 4 inf + 2
2.389 * * [simplify]: Extracting #4: cost 0 inf + 250
2.389 * [simplify]: Simplified to (sqrt (+ b a))
2.389 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (+ b a)) (* (sqrt (+ a b)) (+ a b))))
2.389 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
2.389 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
2.389 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a a) (- (* b b) (* a b)))))>
2.389 * [simplify]: Simplifying (+ (* a a) (- (* b b) (* a b)))
2.389 * * [simplify]: iters left: 6 (7 enodes)
2.391 * * [simplify]: iters left: 5 (29 enodes)
2.397 * * [simplify]: iters left: 4 (50 enodes)
2.408 * * [simplify]: iters left: 3 (69 enodes)
2.419 * * [simplify]: iters left: 2 (85 enodes)
2.438 * * [simplify]: iters left: 1 (105 enodes)
2.461 * * [simplify]: Extracting #0: cost 1 inf + 0
2.461 * * [simplify]: Extracting #1: cost 13 inf + 0
2.461 * * [simplify]: Extracting #2: cost 33 inf + 0
2.461 * * [simplify]: Extracting #3: cost 24 inf + 779
2.462 * * [simplify]: Extracting #4: cost 4 inf + 2455
2.462 * * [simplify]: Extracting #5: cost 0 inf + 2702
2.463 * [simplify]: Simplified to (+ (* a (- a b)) (* b b))
2.463 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a (- a b)) (* b b))))
2.463 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (- a b)))>
2.464 * [simplify]: Simplifying (- a b)
2.464 * * [simplify]: iters left: 2 (3 enodes)
2.464 * * [simplify]: iters left: 1 (11 enodes)
2.466 * * [simplify]: Extracting #0: cost 1 inf + 0
2.466 * * [simplify]: Extracting #1: cost 5 inf + 0
2.466 * * [simplify]: Extracting #2: cost 3 inf + 43
2.466 * * [simplify]: Extracting #3: cost 0 inf + 168
2.466 * [simplify]: Simplified to (- a b)
2.466 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (- a b)))
2.466 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (+ a b)) (+ (* a a) (- (* b b) (* a b)))))>
2.467 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) (+ a b))
2.467 * * [simplify]: iters left: 5 (8 enodes)
2.470 * * [simplify]: iters left: 4 (46 enodes)
2.482 * * [simplify]: iters left: 3 (107 enodes)
2.525 * * [simplify]: iters left: 2 (277 enodes)
2.617 * * [simplify]: Extracting #0: cost 1 inf + 0
2.617 * * [simplify]: Extracting #1: cost 23 inf + 0
2.618 * * [simplify]: Extracting #2: cost 94 inf + 0
2.618 * * [simplify]: Extracting #3: cost 134 inf + 340
2.620 * * [simplify]: Extracting #4: cost 72 inf + 13036
2.624 * * [simplify]: Extracting #5: cost 13 inf + 29899
2.628 * * [simplify]: Extracting #6: cost 2 inf + 33033
2.633 * * [simplify]: Extracting #7: cost 0 inf + 33457
2.641 * [simplify]: Simplified to (* (+ (* a (* a a)) (* (* b b) b)) (+ b a))
2.641 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (+ (* a (* a a)) (* (* b b) b)) (+ b a)) (+ (* a a) (- (* b b) (* a b)))))
2.641 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (+ a b)) (- a b)))>
2.642 * [simplify]: Simplifying (* (- (* a a) (* b b)) (+ a b))
2.642 * * [simplify]: iters left: 6 (7 enodes)
2.645 * * [simplify]: iters left: 5 (33 enodes)
2.659 * * [simplify]: iters left: 4 (82 enodes)
2.697 * * [simplify]: iters left: 3 (222 enodes)
2.803 * * [simplify]: Extracting #0: cost 1 inf + 0
2.803 * * [simplify]: Extracting #1: cost 31 inf + 0
2.804 * * [simplify]: Extracting #2: cost 118 inf + 0
2.804 * * [simplify]: Extracting #3: cost 113 inf + 1269
2.807 * * [simplify]: Extracting #4: cost 24 inf + 14757
2.815 * * [simplify]: Extracting #5: cost 0 inf + 19213
2.824 * [simplify]: Simplified to (* (* (+ a b) (+ a b)) (- a b))
2.824 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (* (+ a b) (+ a b)) (- a b)) (- a b)))
2.825 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (* (+ a b) (+ a b)))))>
2.825 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
2.825 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
2.825 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.825 * * [simplify]: iters left: 6 (9 enodes)
2.831 * * [simplify]: iters left: 5 (43 enodes)
2.842 * * [simplify]: iters left: 4 (67 enodes)
2.855 * * [simplify]: iters left: 3 (96 enodes)
2.871 * * [simplify]: iters left: 2 (117 enodes)
2.890 * * [simplify]: Extracting #0: cost 1 inf + 0
2.890 * * [simplify]: Extracting #1: cost 8 inf + 0
2.891 * * [simplify]: Extracting #2: cost 23 inf + 0
2.891 * * [simplify]: Extracting #3: cost 22 inf + 253
2.891 * * [simplify]: Extracting #4: cost 6 inf + 1610
2.893 * * [simplify]: Extracting #5: cost 0 inf + 2225
2.894 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
2.894 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
2.894 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
2.894 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.895 * * [simplify]: iters left: 6 (9 enodes)
2.900 * * [simplify]: iters left: 5 (43 enodes)
2.916 * * [simplify]: iters left: 4 (67 enodes)
2.939 * * [simplify]: iters left: 3 (96 enodes)
2.969 * * [simplify]: iters left: 2 (117 enodes)
2.990 * * [simplify]: Extracting #0: cost 1 inf + 0
2.990 * * [simplify]: Extracting #1: cost 8 inf + 0
2.990 * * [simplify]: Extracting #2: cost 23 inf + 0
2.990 * * [simplify]: Extracting #3: cost 22 inf + 253
2.990 * * [simplify]: Extracting #4: cost 6 inf + 1610
2.991 * * [simplify]: Extracting #5: cost 0 inf + 2225
2.992 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
2.992 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
2.992 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
2.992 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
2.992 * * [simplify]: iters left: 6 (9 enodes)
2.995 * * [simplify]: iters left: 5 (43 enodes)
3.004 * * [simplify]: iters left: 4 (67 enodes)
3.018 * * [simplify]: iters left: 3 (96 enodes)
3.034 * * [simplify]: iters left: 2 (117 enodes)
3.052 * * [simplify]: Extracting #0: cost 1 inf + 0
3.052 * * [simplify]: Extracting #1: cost 8 inf + 0
3.052 * * [simplify]: Extracting #2: cost 23 inf + 0
3.053 * * [simplify]: Extracting #3: cost 22 inf + 253
3.054 * * [simplify]: Extracting #4: cost 6 inf + 1610
3.055 * * [simplify]: Extracting #5: cost 0 inf + 2225
3.056 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
3.056 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
3.056 * * * [progress]: adding candidates to table
3.349 * * [progress]: iteration 2 / 4
3.349 * * * [progress]: picking best candidate
3.359 * * * * [pick]: Picked  #<alt (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))>
3.359 * * * [progress]: localizing error
3.380 * * * [progress]: generating rewritten candidates
3.380 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
3.408 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.434 * * * [progress]: generating series expansions
3.434 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
3.434 * [backup-simplify]: Simplify (* (+ a b) b) into (* (+ a b) b)
3.434 * [approximate]: Taking taylor expansion of (* (+ a b) b) in (a b) around 0
3.434 * [taylor]: Taking taylor expansion of (* (+ a b) b) in b
3.434 * [taylor]: Taking taylor expansion of (+ a b) in b
3.434 * [taylor]: Taking taylor expansion of a in b
3.434 * [backup-simplify]: Simplify a into a
3.434 * [taylor]: Taking taylor expansion of b in b
3.434 * [backup-simplify]: Simplify 0 into 0
3.434 * [backup-simplify]: Simplify 1 into 1
3.434 * [taylor]: Taking taylor expansion of b in b
3.434 * [backup-simplify]: Simplify 0 into 0
3.434 * [backup-simplify]: Simplify 1 into 1
3.434 * [taylor]: Taking taylor expansion of (* (+ a b) b) in a
3.434 * [taylor]: Taking taylor expansion of (+ a b) in a
3.434 * [taylor]: Taking taylor expansion of a in a
3.434 * [backup-simplify]: Simplify 0 into 0
3.434 * [backup-simplify]: Simplify 1 into 1
3.434 * [taylor]: Taking taylor expansion of b in a
3.434 * [backup-simplify]: Simplify b into b
3.434 * [taylor]: Taking taylor expansion of b in a
3.435 * [backup-simplify]: Simplify b into b
3.435 * [taylor]: Taking taylor expansion of (* (+ a b) b) in a
3.435 * [taylor]: Taking taylor expansion of (+ a b) in a
3.435 * [taylor]: Taking taylor expansion of a in a
3.435 * [backup-simplify]: Simplify 0 into 0
3.435 * [backup-simplify]: Simplify 1 into 1
3.435 * [taylor]: Taking taylor expansion of b in a
3.435 * [backup-simplify]: Simplify b into b
3.435 * [taylor]: Taking taylor expansion of b in a
3.435 * [backup-simplify]: Simplify b into b
3.435 * [backup-simplify]: Simplify (+ 0 b) into b
3.435 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.435 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.435 * [taylor]: Taking taylor expansion of b in b
3.435 * [backup-simplify]: Simplify 0 into 0
3.435 * [backup-simplify]: Simplify 1 into 1
3.436 * [backup-simplify]: Simplify (+ 1 0) into 1
3.436 * [backup-simplify]: Simplify (+ (* b 0) (* 1 b)) into b
3.436 * [taylor]: Taking taylor expansion of b in b
3.436 * [backup-simplify]: Simplify 0 into 0
3.436 * [backup-simplify]: Simplify 1 into 1
3.436 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify (+ 0 0) into 0
3.437 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (* 0 b))) into 0
3.437 * [taylor]: Taking taylor expansion of 0 in b
3.437 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify 1 into 1
3.438 * [backup-simplify]: Simplify (* 1 1) into 1
3.438 * [backup-simplify]: Simplify 1 into 1
3.438 * [backup-simplify]: Simplify (+ 0 0) into 0
3.439 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 0) (* 0 b)))) into 0
3.439 * [taylor]: Taking taylor expansion of 0 in b
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.440 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify (+ 0 0) into 0
3.442 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
3.442 * [taylor]: Taking taylor expansion of 0 in b
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (* 1 (* b a))) into (+ (pow b 2) (* a b))
3.442 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (/ 1 b)) into (/ (+ (/ 1 a) (/ 1 b)) b)
3.442 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in (a b) around 0
3.442 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b
3.442 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
3.442 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.442 * [taylor]: Taking taylor expansion of a in b
3.442 * [backup-simplify]: Simplify a into a
3.442 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.442 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.442 * [taylor]: Taking taylor expansion of b in b
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify 1 into 1
3.443 * [backup-simplify]: Simplify (/ 1 1) into 1
3.443 * [taylor]: Taking taylor expansion of b in b
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify 1 into 1
3.443 * [backup-simplify]: Simplify (+ 0 1) into 1
3.444 * [backup-simplify]: Simplify (/ 1 1) into 1
3.444 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a
3.444 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.444 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.444 * [taylor]: Taking taylor expansion of a in a
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 1 into 1
3.444 * [backup-simplify]: Simplify (/ 1 1) into 1
3.444 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.444 * [taylor]: Taking taylor expansion of b in a
3.444 * [backup-simplify]: Simplify b into b
3.444 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.444 * [taylor]: Taking taylor expansion of b in a
3.444 * [backup-simplify]: Simplify b into b
3.445 * [backup-simplify]: Simplify (+ 1 0) into 1
3.445 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.445 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a
3.445 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.445 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.445 * [taylor]: Taking taylor expansion of a in a
3.445 * [backup-simplify]: Simplify 0 into 0
3.445 * [backup-simplify]: Simplify 1 into 1
3.445 * [backup-simplify]: Simplify (/ 1 1) into 1
3.445 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.446 * [taylor]: Taking taylor expansion of b in a
3.446 * [backup-simplify]: Simplify b into b
3.446 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.446 * [taylor]: Taking taylor expansion of b in a
3.446 * [backup-simplify]: Simplify b into b
3.446 * [backup-simplify]: Simplify (+ 1 0) into 1
3.446 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.446 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.446 * [taylor]: Taking taylor expansion of b in b
3.446 * [backup-simplify]: Simplify 0 into 0
3.446 * [backup-simplify]: Simplify 1 into 1
3.447 * [backup-simplify]: Simplify (/ 1 1) into 1
3.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.448 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
3.448 * [backup-simplify]: Simplify (- (/ (/ 1 b) b) (+ (* (/ 1 b) (/ 0 b)))) into (/ 1 (pow b 2))
3.448 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.448 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.448 * [taylor]: Taking taylor expansion of b in b
3.448 * [backup-simplify]: Simplify 0 into 0
3.448 * [backup-simplify]: Simplify 1 into 1
3.448 * [backup-simplify]: Simplify (* 1 1) into 1
3.449 * [backup-simplify]: Simplify (/ 1 1) into 1
3.449 * [backup-simplify]: Simplify 1 into 1
3.449 * [backup-simplify]: Simplify 1 into 1
3.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.450 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.450 * [backup-simplify]: Simplify (+ 0 0) into 0
3.450 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)))) into 0
3.450 * [taylor]: Taking taylor expansion of 0 in b
3.450 * [backup-simplify]: Simplify 0 into 0
3.451 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.451 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.451 * [backup-simplify]: Simplify 0 into 0
3.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.452 * [backup-simplify]: Simplify 0 into 0
3.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.452 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.453 * [backup-simplify]: Simplify (+ 0 0) into 0
3.453 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.453 * [taylor]: Taking taylor expansion of 0 in b
3.453 * [backup-simplify]: Simplify 0 into 0
3.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.454 * [backup-simplify]: Simplify 0 into 0
3.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.455 * [backup-simplify]: Simplify (+ 0 0) into 0
3.456 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.456 * [taylor]: Taking taylor expansion of 0 in b
3.456 * [backup-simplify]: Simplify 0 into 0
3.456 * [backup-simplify]: Simplify 0 into 0
3.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.457 * [backup-simplify]: Simplify 0 into 0
3.457 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2))) into (+ (pow b 2) (* a b))
3.457 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- b))) into (/ (+ (/ 1 a) (/ 1 b)) b)
3.457 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in (a b) around 0
3.457 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in b
3.457 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
3.457 * [taylor]: Taking taylor expansion of (/ 1 a) in b
3.457 * [taylor]: Taking taylor expansion of a in b
3.458 * [backup-simplify]: Simplify a into a
3.458 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.458 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.458 * [taylor]: Taking taylor expansion of b in b
3.458 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify 1 into 1
3.458 * [backup-simplify]: Simplify (/ 1 1) into 1
3.458 * [taylor]: Taking taylor expansion of b in b
3.458 * [backup-simplify]: Simplify 0 into 0
3.458 * [backup-simplify]: Simplify 1 into 1
3.458 * [backup-simplify]: Simplify (+ 0 1) into 1
3.458 * [backup-simplify]: Simplify (/ 1 1) into 1
3.458 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a
3.458 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.458 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.458 * [taylor]: Taking taylor expansion of a in a
3.458 * [backup-simplify]: Simplify 0 into 0
3.459 * [backup-simplify]: Simplify 1 into 1
3.459 * [backup-simplify]: Simplify (/ 1 1) into 1
3.459 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.459 * [taylor]: Taking taylor expansion of b in a
3.459 * [backup-simplify]: Simplify b into b
3.459 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.459 * [taylor]: Taking taylor expansion of b in a
3.459 * [backup-simplify]: Simplify b into b
3.459 * [backup-simplify]: Simplify (+ 1 0) into 1
3.459 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.459 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) b) in a
3.459 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
3.459 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.459 * [taylor]: Taking taylor expansion of a in a
3.459 * [backup-simplify]: Simplify 0 into 0
3.459 * [backup-simplify]: Simplify 1 into 1
3.460 * [backup-simplify]: Simplify (/ 1 1) into 1
3.460 * [taylor]: Taking taylor expansion of (/ 1 b) in a
3.460 * [taylor]: Taking taylor expansion of b in a
3.460 * [backup-simplify]: Simplify b into b
3.460 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.460 * [taylor]: Taking taylor expansion of b in a
3.460 * [backup-simplify]: Simplify b into b
3.460 * [backup-simplify]: Simplify (+ 1 0) into 1
3.460 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.460 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.460 * [taylor]: Taking taylor expansion of b in b
3.460 * [backup-simplify]: Simplify 0 into 0
3.460 * [backup-simplify]: Simplify 1 into 1
3.460 * [backup-simplify]: Simplify (/ 1 1) into 1
3.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.461 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
3.461 * [backup-simplify]: Simplify (- (/ (/ 1 b) b) (+ (* (/ 1 b) (/ 0 b)))) into (/ 1 (pow b 2))
3.461 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.461 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.461 * [taylor]: Taking taylor expansion of b in b
3.461 * [backup-simplify]: Simplify 0 into 0
3.461 * [backup-simplify]: Simplify 1 into 1
3.461 * [backup-simplify]: Simplify (* 1 1) into 1
3.462 * [backup-simplify]: Simplify (/ 1 1) into 1
3.462 * [backup-simplify]: Simplify 1 into 1
3.462 * [backup-simplify]: Simplify 1 into 1
3.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.462 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.462 * [backup-simplify]: Simplify (+ 0 0) into 0
3.463 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)))) into 0
3.463 * [taylor]: Taking taylor expansion of 0 in b
3.463 * [backup-simplify]: Simplify 0 into 0
3.463 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.464 * [backup-simplify]: Simplify 0 into 0
3.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.464 * [backup-simplify]: Simplify 0 into 0
3.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.465 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.465 * [backup-simplify]: Simplify (+ 0 0) into 0
3.465 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.465 * [taylor]: Taking taylor expansion of 0 in b
3.465 * [backup-simplify]: Simplify 0 into 0
3.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.466 * [backup-simplify]: Simplify 0 into 0
3.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.467 * [backup-simplify]: Simplify 0 into 0
3.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.467 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.468 * [backup-simplify]: Simplify (+ 0 0) into 0
3.468 * [backup-simplify]: Simplify (- (/ 0 b) (+ (* (/ 1 b) (/ 0 b)) (* (/ 1 (pow b 2)) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
3.468 * [taylor]: Taking taylor expansion of 0 in b
3.468 * [backup-simplify]: Simplify 0 into 0
3.468 * [backup-simplify]: Simplify 0 into 0
3.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.469 * [backup-simplify]: Simplify 0 into 0
3.469 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2))) into (+ (pow b 2) (* a b))
3.469 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.469 * [backup-simplify]: Simplify (+ (* (+ a b) a) (* (+ a b) b)) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
3.469 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in (a b) around 0
3.470 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in b
3.470 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.470 * [taylor]: Taking taylor expansion of a in b
3.470 * [backup-simplify]: Simplify a into a
3.470 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in b
3.470 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.470 * [taylor]: Taking taylor expansion of b in b
3.470 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify 1 into 1
3.470 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b
3.470 * [taylor]: Taking taylor expansion of 2 in b
3.470 * [backup-simplify]: Simplify 2 into 2
3.470 * [taylor]: Taking taylor expansion of (* a b) in b
3.470 * [taylor]: Taking taylor expansion of a in b
3.470 * [backup-simplify]: Simplify a into a
3.470 * [taylor]: Taking taylor expansion of b in b
3.470 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify 1 into 1
3.470 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a
3.470 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.470 * [taylor]: Taking taylor expansion of a in a
3.470 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify 1 into 1
3.470 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a
3.470 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.470 * [taylor]: Taking taylor expansion of b in a
3.470 * [backup-simplify]: Simplify b into b
3.470 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
3.470 * [taylor]: Taking taylor expansion of 2 in a
3.470 * [backup-simplify]: Simplify 2 into 2
3.470 * [taylor]: Taking taylor expansion of (* a b) in a
3.470 * [taylor]: Taking taylor expansion of a in a
3.470 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify 1 into 1
3.470 * [taylor]: Taking taylor expansion of b in a
3.470 * [backup-simplify]: Simplify b into b
3.470 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a
3.470 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.470 * [taylor]: Taking taylor expansion of a in a
3.470 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify 1 into 1
3.470 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a
3.470 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.470 * [taylor]: Taking taylor expansion of b in a
3.470 * [backup-simplify]: Simplify b into b
3.470 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
3.470 * [taylor]: Taking taylor expansion of 2 in a
3.470 * [backup-simplify]: Simplify 2 into 2
3.470 * [taylor]: Taking taylor expansion of (* a b) in a
3.470 * [taylor]: Taking taylor expansion of a in a
3.470 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify 1 into 1
3.470 * [taylor]: Taking taylor expansion of b in a
3.470 * [backup-simplify]: Simplify b into b
3.470 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.470 * [backup-simplify]: Simplify (* 0 b) into 0
3.471 * [backup-simplify]: Simplify (* 2 0) into 0
3.471 * [backup-simplify]: Simplify (+ (pow b 2) 0) into (pow b 2)
3.471 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2)
3.471 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.471 * [taylor]: Taking taylor expansion of b in b
3.471 * [backup-simplify]: Simplify 0 into 0
3.471 * [backup-simplify]: Simplify 1 into 1
3.471 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
3.471 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
3.472 * [backup-simplify]: Simplify (+ (* 2 b) (* 0 0)) into (* 2 b)
3.472 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b)
3.472 * [backup-simplify]: Simplify (+ 0 (* 2 b)) into (* 2 b)
3.472 * [taylor]: Taking taylor expansion of (* 2 b) in b
3.472 * [taylor]: Taking taylor expansion of 2 in b
3.472 * [backup-simplify]: Simplify 2 into 2
3.472 * [taylor]: Taking taylor expansion of b in b
3.472 * [backup-simplify]: Simplify 0 into 0
3.472 * [backup-simplify]: Simplify 1 into 1
3.475 * [backup-simplify]: Simplify (* 2 0) into 0
3.475 * [backup-simplify]: Simplify 0 into 0
3.476 * [backup-simplify]: Simplify (* 1 1) into 1
3.476 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
3.476 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
3.477 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 b) (* 0 0))) into 0
3.477 * [backup-simplify]: Simplify (+ 0 0) into 0
3.478 * [backup-simplify]: Simplify (+ 1 0) into 1
3.478 * [taylor]: Taking taylor expansion of 1 in b
3.478 * [backup-simplify]: Simplify 1 into 1
3.478 * [backup-simplify]: Simplify 1 into 1
3.478 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
3.478 * [backup-simplify]: Simplify 2 into 2
3.478 * [backup-simplify]: Simplify (* 1 1) into 1
3.478 * [backup-simplify]: Simplify 1 into 1
3.479 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 2)) (+ (* 2 (* b a)) (* 1 (pow (* 1 a) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
3.479 * [backup-simplify]: Simplify (+ (* (+ (/ 1 a) (/ 1 b)) (/ 1 a)) (* (+ (/ 1 a) (/ 1 b)) (/ 1 b))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))))
3.479 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (a b) around 0
3.479 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b
3.479 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
3.479 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.479 * [taylor]: Taking taylor expansion of a in b
3.479 * [backup-simplify]: Simplify a into a
3.479 * [backup-simplify]: Simplify (* a a) into (pow a 2)
3.479 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
3.479 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b
3.480 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
3.480 * [taylor]: Taking taylor expansion of 2 in b
3.480 * [backup-simplify]: Simplify 2 into 2
3.480 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.480 * [taylor]: Taking taylor expansion of (* a b) in b
3.480 * [taylor]: Taking taylor expansion of a in b
3.480 * [backup-simplify]: Simplify a into a
3.480 * [taylor]: Taking taylor expansion of b in b
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify 1 into 1
3.480 * [backup-simplify]: Simplify (* a 0) into 0
3.480 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
3.480 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.480 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.480 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.480 * [taylor]: Taking taylor expansion of b in b
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify 1 into 1
3.481 * [backup-simplify]: Simplify (* 1 1) into 1
3.481 * [backup-simplify]: Simplify (/ 1 1) into 1
3.481 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
3.481 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.481 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.481 * [taylor]: Taking taylor expansion of a in a
3.481 * [backup-simplify]: Simplify 0 into 0
3.481 * [backup-simplify]: Simplify 1 into 1
3.482 * [backup-simplify]: Simplify (* 1 1) into 1
3.482 * [backup-simplify]: Simplify (/ 1 1) into 1
3.482 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
3.482 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
3.482 * [taylor]: Taking taylor expansion of 2 in a
3.482 * [backup-simplify]: Simplify 2 into 2
3.482 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.482 * [taylor]: Taking taylor expansion of (* a b) in a
3.482 * [taylor]: Taking taylor expansion of a in a
3.482 * [backup-simplify]: Simplify 0 into 0
3.482 * [backup-simplify]: Simplify 1 into 1
3.482 * [taylor]: Taking taylor expansion of b in a
3.482 * [backup-simplify]: Simplify b into b
3.483 * [backup-simplify]: Simplify (* 0 b) into 0
3.483 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
3.483 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.483 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
3.483 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.483 * [taylor]: Taking taylor expansion of b in a
3.483 * [backup-simplify]: Simplify b into b
3.483 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.483 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.483 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
3.483 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.483 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.483 * [taylor]: Taking taylor expansion of a in a
3.483 * [backup-simplify]: Simplify 0 into 0
3.483 * [backup-simplify]: Simplify 1 into 1
3.484 * [backup-simplify]: Simplify (* 1 1) into 1
3.484 * [backup-simplify]: Simplify (/ 1 1) into 1
3.484 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
3.484 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
3.484 * [taylor]: Taking taylor expansion of 2 in a
3.484 * [backup-simplify]: Simplify 2 into 2
3.484 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.484 * [taylor]: Taking taylor expansion of (* a b) in a
3.484 * [taylor]: Taking taylor expansion of a in a
3.484 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify 1 into 1
3.485 * [taylor]: Taking taylor expansion of b in a
3.485 * [backup-simplify]: Simplify b into b
3.485 * [backup-simplify]: Simplify (* 0 b) into 0
3.485 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
3.485 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.485 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
3.485 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.485 * [taylor]: Taking taylor expansion of b in a
3.485 * [backup-simplify]: Simplify b into b
3.485 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.485 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.486 * [backup-simplify]: Simplify (+ 1 0) into 1
3.486 * [taylor]: Taking taylor expansion of 1 in b
3.486 * [backup-simplify]: Simplify 1 into 1
3.487 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.487 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b)
3.488 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
3.488 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b))
3.488 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
3.488 * [taylor]: Taking taylor expansion of 2 in b
3.488 * [backup-simplify]: Simplify 2 into 2
3.488 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.488 * [taylor]: Taking taylor expansion of b in b
3.488 * [backup-simplify]: Simplify 0 into 0
3.488 * [backup-simplify]: Simplify 1 into 1
3.488 * [backup-simplify]: Simplify (/ 1 1) into 1
3.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.491 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
3.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.491 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0
3.492 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
3.492 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
3.492 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.492 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.492 * [taylor]: Taking taylor expansion of b in b
3.492 * [backup-simplify]: Simplify 0 into 0
3.492 * [backup-simplify]: Simplify 1 into 1
3.492 * [backup-simplify]: Simplify (* 1 1) into 1
3.493 * [backup-simplify]: Simplify (/ 1 1) into 1
3.493 * [backup-simplify]: Simplify 1 into 1
3.493 * [backup-simplify]: Simplify (* 2 1) into 2
3.493 * [backup-simplify]: Simplify 2 into 2
3.493 * [backup-simplify]: Simplify 1 into 1
3.494 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
3.494 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- a))) (* (+ (/ 1 (- a)) (/ 1 (- b))) (/ 1 (- b)))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))))
3.494 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (a b) around 0
3.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b
3.494 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
3.494 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.494 * [taylor]: Taking taylor expansion of a in b
3.494 * [backup-simplify]: Simplify a into a
3.494 * [backup-simplify]: Simplify (* a a) into (pow a 2)
3.495 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
3.495 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b
3.495 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
3.495 * [taylor]: Taking taylor expansion of 2 in b
3.495 * [backup-simplify]: Simplify 2 into 2
3.495 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.495 * [taylor]: Taking taylor expansion of (* a b) in b
3.495 * [taylor]: Taking taylor expansion of a in b
3.495 * [backup-simplify]: Simplify a into a
3.495 * [taylor]: Taking taylor expansion of b in b
3.495 * [backup-simplify]: Simplify 0 into 0
3.495 * [backup-simplify]: Simplify 1 into 1
3.495 * [backup-simplify]: Simplify (* a 0) into 0
3.495 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
3.495 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
3.496 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.496 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.496 * [taylor]: Taking taylor expansion of b in b
3.496 * [backup-simplify]: Simplify 0 into 0
3.496 * [backup-simplify]: Simplify 1 into 1
3.496 * [backup-simplify]: Simplify (* 1 1) into 1
3.497 * [backup-simplify]: Simplify (/ 1 1) into 1
3.497 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
3.497 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.497 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.497 * [taylor]: Taking taylor expansion of a in a
3.497 * [backup-simplify]: Simplify 0 into 0
3.497 * [backup-simplify]: Simplify 1 into 1
3.497 * [backup-simplify]: Simplify (* 1 1) into 1
3.498 * [backup-simplify]: Simplify (/ 1 1) into 1
3.498 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
3.498 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
3.498 * [taylor]: Taking taylor expansion of 2 in a
3.498 * [backup-simplify]: Simplify 2 into 2
3.498 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.498 * [taylor]: Taking taylor expansion of (* a b) in a
3.498 * [taylor]: Taking taylor expansion of a in a
3.498 * [backup-simplify]: Simplify 0 into 0
3.498 * [backup-simplify]: Simplify 1 into 1
3.498 * [taylor]: Taking taylor expansion of b in a
3.498 * [backup-simplify]: Simplify b into b
3.498 * [backup-simplify]: Simplify (* 0 b) into 0
3.498 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
3.498 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.498 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
3.498 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.498 * [taylor]: Taking taylor expansion of b in a
3.499 * [backup-simplify]: Simplify b into b
3.499 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.499 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.499 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
3.499 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
3.499 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.499 * [taylor]: Taking taylor expansion of a in a
3.499 * [backup-simplify]: Simplify 0 into 0
3.499 * [backup-simplify]: Simplify 1 into 1
3.499 * [backup-simplify]: Simplify (* 1 1) into 1
3.500 * [backup-simplify]: Simplify (/ 1 1) into 1
3.500 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
3.500 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
3.500 * [taylor]: Taking taylor expansion of 2 in a
3.500 * [backup-simplify]: Simplify 2 into 2
3.500 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.500 * [taylor]: Taking taylor expansion of (* a b) in a
3.500 * [taylor]: Taking taylor expansion of a in a
3.500 * [backup-simplify]: Simplify 0 into 0
3.500 * [backup-simplify]: Simplify 1 into 1
3.500 * [taylor]: Taking taylor expansion of b in a
3.500 * [backup-simplify]: Simplify b into b
3.500 * [backup-simplify]: Simplify (* 0 b) into 0
3.500 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
3.500 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
3.500 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
3.500 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.501 * [taylor]: Taking taylor expansion of b in a
3.501 * [backup-simplify]: Simplify b into b
3.501 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.501 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.501 * [backup-simplify]: Simplify (+ 1 0) into 1
3.501 * [taylor]: Taking taylor expansion of 1 in b
3.501 * [backup-simplify]: Simplify 1 into 1
3.502 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.503 * [backup-simplify]: Simplify (* 2 (/ 1 b)) into (/ 2 b)
3.503 * [backup-simplify]: Simplify (+ (/ 2 b) 0) into (* 2 (/ 1 b))
3.503 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 b))) into (* 2 (/ 1 b))
3.503 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
3.503 * [taylor]: Taking taylor expansion of 2 in b
3.503 * [backup-simplify]: Simplify 2 into 2
3.503 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.503 * [taylor]: Taking taylor expansion of b in b
3.503 * [backup-simplify]: Simplify 0 into 0
3.503 * [backup-simplify]: Simplify 1 into 1
3.503 * [backup-simplify]: Simplify (/ 1 1) into 1
3.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.506 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 b))) into 0
3.506 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
3.507 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 b))) into 0
3.507 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
3.507 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 2))) into (/ 1 (pow b 2))
3.507 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.508 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.508 * [taylor]: Taking taylor expansion of b in b
3.508 * [backup-simplify]: Simplify 0 into 0
3.508 * [backup-simplify]: Simplify 1 into 1
3.508 * [backup-simplify]: Simplify (* 1 1) into 1
3.508 * [backup-simplify]: Simplify (/ 1 1) into 1
3.508 * [backup-simplify]: Simplify 1 into 1
3.509 * [backup-simplify]: Simplify (* 2 1) into 2
3.509 * [backup-simplify]: Simplify 2 into 2
3.509 * [backup-simplify]: Simplify 1 into 1
3.510 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a))))) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
3.510 * * * [progress]: simplifying candidates
3.510 * * * * [progress]: [ 1 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (pow (* (+ a b) b) 1)))>
3.510 * [simplify]: Simplifying (* (+ a b) b)
3.510 * * [simplify]: iters left: 4 (4 enodes)
3.512 * * [simplify]: iters left: 3 (14 enodes)
3.516 * * [simplify]: iters left: 2 (21 enodes)
3.519 * * [simplify]: iters left: 1 (27 enodes)
3.523 * * [simplify]: Extracting #0: cost 1 inf + 0
3.523 * * [simplify]: Extracting #1: cost 6 inf + 0
3.523 * * [simplify]: Extracting #2: cost 8 inf + 42
3.523 * * [simplify]: Extracting #3: cost 6 inf + 84
3.523 * * [simplify]: Extracting #4: cost 0 inf + 416
3.523 * [simplify]: Simplified to (* (+ b a) b)
3.523 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (pow (* (+ b a) b) 1)))
3.523 * * * * [progress]: [ 2 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (pow (* (+ a b) b) 1)))>
3.523 * * * * [progress]: [ 3 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (exp (+ (log (+ a b)) (log b)))))>
3.524 * [simplify]: Simplifying (+ (log (+ a b)) (log b))
3.524 * * [simplify]: iters left: 5 (6 enodes)
3.525 * * [simplify]: iters left: 4 (20 enodes)
3.528 * * [simplify]: Extracting #0: cost 1 inf + 0
3.528 * * [simplify]: Extracting #1: cost 4 inf + 0
3.528 * * [simplify]: Extracting #2: cost 8 inf + 0
3.528 * * [simplify]: Extracting #3: cost 7 inf + 143
3.528 * * [simplify]: Extracting #4: cost 6 inf + 144
3.529 * * [simplify]: Extracting #5: cost 0 inf + 896
3.529 * [simplify]: Simplified to (+ (log (+ b a)) (log b))
3.529 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (exp (+ (log (+ b a)) (log b)))))
3.529 * * * * [progress]: [ 4 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (exp (log (* (+ a b) b)))))>
3.529 * * * * [progress]: [ 5 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (log (exp (* (+ a b) b)))))>
3.529 * * * * [progress]: [ 6 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (cbrt (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* b b) b)))))>
3.529 * [simplify]: Simplifying (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* b b) b))
3.529 * * [simplify]: iters left: 6 (8 enodes)
3.532 * * [simplify]: iters left: 5 (44 enodes)
3.544 * * [simplify]: iters left: 4 (151 enodes)
3.606 * * [simplify]: iters left: 3 (479 enodes)
4.096 * * [simplify]: Extracting #0: cost 1 inf + 0
4.097 * * [simplify]: Extracting #1: cost 48 inf + 0
4.098 * * [simplify]: Extracting #2: cost 292 inf + 2
4.103 * * [simplify]: Extracting #3: cost 314 inf + 7982
4.113 * * [simplify]: Extracting #4: cost 107 inf + 50331
4.129 * * [simplify]: Extracting #5: cost 0 inf + 74479
4.146 * * [simplify]: Extracting #6: cost 0 inf + 74399
4.174 * [simplify]: Simplified to (* (* (+ b a) b) (* (* (+ b a) b) (* (+ b a) b)))
4.174 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (cbrt (* (* (+ b a) b) (* (* (+ b a) b) (* (+ b a) b))))))
4.174 * * * * [progress]: [ 7 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (cbrt (* (+ a b) b)) (cbrt (* (+ a b) b))) (cbrt (* (+ a b) b)))))>
4.174 * * * * [progress]: [ 8 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (cbrt (* (* (* (+ a b) b) (* (+ a b) b)) (* (+ a b) b)))))>
4.174 * * * * [progress]: [ 9 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (sqrt (* (+ a b) b)) (sqrt (* (+ a b) b)))))>
4.174 * * * * [progress]: [ 10 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* 1 (* (+ a b) b))))>
4.174 * * * * [progress]: [ 11 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (sqrt (+ a b)) (sqrt b)) (* (sqrt (+ a b)) (sqrt b)))))>
4.175 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt b))
4.175 * * [simplify]: iters left: 5 (6 enodes)
4.177 * * [simplify]: iters left: 4 (20 enodes)
4.184 * * [simplify]: Extracting #0: cost 1 inf + 0
4.184 * * [simplify]: Extracting #1: cost 4 inf + 0
4.184 * * [simplify]: Extracting #2: cost 8 inf + 0
4.184 * * [simplify]: Extracting #3: cost 7 inf + 83
4.184 * * [simplify]: Extracting #4: cost 6 inf + 84
4.184 * * [simplify]: Extracting #5: cost 0 inf + 656
4.184 * [simplify]: Simplified to (* (sqrt (+ b a)) (sqrt b))
4.184 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (* (* (sqrt (+ b a)) (sqrt b)) (* (sqrt (+ a b)) (sqrt b)))))
4.185 * [simplify]: Simplifying (* (sqrt (+ a b)) (sqrt b))
4.185 * * [simplify]: iters left: 5 (6 enodes)
4.188 * * [simplify]: iters left: 4 (20 enodes)
4.191 * * [simplify]: Extracting #0: cost 1 inf + 0
4.191 * * [simplify]: Extracting #1: cost 4 inf + 0
4.191 * * [simplify]: Extracting #2: cost 8 inf + 0
4.191 * * [simplify]: Extracting #3: cost 7 inf + 83
4.192 * * [simplify]: Extracting #4: cost 6 inf + 84
4.192 * * [simplify]: Extracting #5: cost 0 inf + 656
4.192 * [simplify]: Simplified to (* (sqrt (+ b a)) (sqrt b))
4.192 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* (+ a b) a) (* (* (sqrt (+ a b)) (sqrt b)) (* (sqrt (+ b a)) (sqrt b)))))
4.192 * * * * [progress]: [ 12 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (+ a b) (* (cbrt b) (cbrt b))) (cbrt b))))>
4.192 * [simplify]: Simplifying (cbrt b)
4.192 * * [simplify]: iters left: 1 (2 enodes)
4.193 * * [simplify]: Extracting #0: cost 1 inf + 0
4.193 * * [simplify]: Extracting #1: cost 3 inf + 0
4.193 * * [simplify]: Extracting #2: cost 2 inf + 1
4.193 * * [simplify]: Extracting #3: cost 0 inf + 163
4.193 * [simplify]: Simplified to (cbrt b)
4.193 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* (+ a b) a) (* (* (+ a b) (* (cbrt b) (cbrt b))) (cbrt b))))
4.193 * * * * [progress]: [ 13 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (+ a b) (sqrt b)) (sqrt b))))>
4.193 * [simplify]: Simplifying (sqrt b)
4.193 * * [simplify]: iters left: 1 (2 enodes)
4.194 * * [simplify]: Extracting #0: cost 1 inf + 0
4.194 * * [simplify]: Extracting #1: cost 3 inf + 0
4.194 * * [simplify]: Extracting #2: cost 2 inf + 1
4.194 * * [simplify]: Extracting #3: cost 0 inf + 83
4.194 * [simplify]: Simplified to (sqrt b)
4.194 * [simplify]: Simplified (2 2 2) to (λ (a b) (+ (* (+ a b) a) (* (* (+ a b) (sqrt b)) (sqrt b))))
4.194 * * * * [progress]: [ 14 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (+ a b) 1) b)))>
4.194 * * * * [progress]: [ 15 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) b))))>
4.194 * [simplify]: Simplifying (* (cbrt (+ a b)) (cbrt (+ a b)))
4.194 * * [simplify]: iters left: 5 (5 enodes)
4.195 * * [simplify]: iters left: 4 (16 enodes)
4.198 * * [simplify]: Extracting #0: cost 1 inf + 0
4.198 * * [simplify]: Extracting #1: cost 3 inf + 0
4.198 * * [simplify]: Extracting #2: cost 5 inf + 0
4.198 * * [simplify]: Extracting #3: cost 8 inf + 0
4.198 * * [simplify]: Extracting #4: cost 6 inf + 2
4.198 * * [simplify]: Extracting #5: cost 0 inf + 654
4.198 * [simplify]: Simplified to (* (cbrt (+ b a)) (cbrt (+ b a)))
4.198 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (* (* (cbrt (+ b a)) (cbrt (+ b a))) (* (cbrt (+ a b)) b))))
4.199 * * * * [progress]: [ 16 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (sqrt (+ a b)) (* (sqrt (+ a b)) b))))>
4.199 * [simplify]: Simplifying (sqrt (+ a b))
4.199 * * [simplify]: iters left: 3 (4 enodes)
4.200 * * [simplify]: iters left: 2 (13 enodes)
4.202 * * [simplify]: Extracting #0: cost 1 inf + 0
4.202 * * [simplify]: Extracting #1: cost 3 inf + 0
4.202 * * [simplify]: Extracting #2: cost 6 inf + 0
4.202 * * [simplify]: Extracting #3: cost 4 inf + 2
4.202 * * [simplify]: Extracting #4: cost 0 inf + 250
4.202 * [simplify]: Simplified to (sqrt (+ b a))
4.202 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (* (sqrt (+ b a)) (* (sqrt (+ a b)) b))))
4.202 * * * * [progress]: [ 17 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* 1 (* (+ a b) b))))>
4.202 * * * * [progress]: [ 18 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* 1 (* (+ a b) b))))>
4.202 * * * * [progress]: [ 19 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (/ (* (+ (pow a 3) (pow b 3)) b) (+ (* a a) (- (* b b) (* a b))))))>
4.203 * [simplify]: Simplifying (* (+ (pow a 3) (pow b 3)) b)
4.203 * * [simplify]: iters left: 5 (7 enodes)
4.206 * * [simplify]: iters left: 4 (36 enodes)
4.216 * * [simplify]: iters left: 3 (71 enodes)
4.249 * * [simplify]: iters left: 2 (149 enodes)
4.296 * * [simplify]: iters left: 1 (272 enodes)
4.402 * * [simplify]: Extracting #0: cost 1 inf + 0
4.403 * * [simplify]: Extracting #1: cost 6 inf + 0
4.403 * * [simplify]: Extracting #2: cost 36 inf + 1
4.403 * * [simplify]: Extracting #3: cost 96 inf + 287
4.404 * * [simplify]: Extracting #4: cost 74 inf + 4149
4.408 * * [simplify]: Extracting #5: cost 31 inf + 20836
4.412 * * [simplify]: Extracting #6: cost 2 inf + 32639
4.418 * * [simplify]: Extracting #7: cost 0 inf + 33314
4.423 * [simplify]: Simplified to (+ (* (* b b) (* b b)) (* (* (* b a) a) a))
4.423 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (/ (+ (* (* b b) (* b b)) (* (* (* b a) a) a)) (+ (* a a) (- (* b b) (* a b))))))
4.423 * * * * [progress]: [ 20 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (/ (* (- (* a a) (* b b)) b) (- a b))))>
4.423 * [simplify]: Simplifying (* (- (* a a) (* b b)) b)
4.424 * * [simplify]: iters left: 6 (6 enodes)
4.427 * * [simplify]: iters left: 5 (24 enodes)
4.435 * * [simplify]: iters left: 4 (47 enodes)
4.457 * * [simplify]: iters left: 3 (99 enodes)
4.498 * * [simplify]: iters left: 2 (215 enodes)
4.597 * * [simplify]: iters left: 1 (401 enodes)
4.744 * * [simplify]: Extracting #0: cost 1 inf + 0
4.745 * * [simplify]: Extracting #1: cost 27 inf + 0
4.745 * * [simplify]: Extracting #2: cost 73 inf + 1
4.745 * * [simplify]: Extracting #3: cost 92 inf + 249
4.747 * * [simplify]: Extracting #4: cost 45 inf + 7256
4.755 * * [simplify]: Extracting #5: cost 8 inf + 12018
4.763 * * [simplify]: Extracting #6: cost 0 inf + 12414
4.770 * * [simplify]: Extracting #7: cost 0 inf + 12134
4.778 * [simplify]: Simplified to (* (- (* a a) (* b b)) b)
4.778 * [simplify]: Simplified (2 2 1) to (λ (a b) (+ (* (+ a b) a) (/ (* (- (* a a) (* b b)) b) (- a b))))
4.778 * * * * [progress]: [ 21 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (posit16->real (real->posit16 (* (+ a b) b)))))>
4.778 * * * * [progress]: [ 22 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* b (+ a b))))>
4.778 * * * * [progress]: [ 23 / 45 ] simplifiying candidate #<alt (λ (a b) (log (* (exp (* (+ a b) a)) (exp (* (+ a b) b)))))>
4.779 * [simplify]: Simplifying (* (exp (* (+ a b) a)) (exp (* (+ a b) b)))
4.779 * * [simplify]: iters left: 6 (8 enodes)
4.783 * * [simplify]: iters left: 5 (33 enodes)
4.789 * * [simplify]: iters left: 4 (65 enodes)
4.803 * * [simplify]: iters left: 3 (150 enodes)
4.842 * * [simplify]: iters left: 2 (360 enodes)
5.061 * * [simplify]: Extracting #0: cost 1 inf + 0
5.062 * * [simplify]: Extracting #1: cost 70 inf + 0
5.062 * * [simplify]: Extracting #2: cost 235 inf + 0
5.064 * * [simplify]: Extracting #3: cost 247 inf + 3652
5.067 * * [simplify]: Extracting #4: cost 151 inf + 26876
5.079 * * [simplify]: Extracting #5: cost 47 inf + 82187
5.106 * * [simplify]: Extracting #6: cost 0 inf + 115722
5.132 * * [simplify]: Extracting #7: cost 0 inf + 114276
5.159 * * [simplify]: Extracting #8: cost 0 inf + 113995
5.185 * [simplify]: Simplified to (exp (* (+ b a) (+ b a)))
5.185 * [simplify]: Simplified (2 1) to (λ (a b) (log (exp (* (+ b a) (+ b a)))))
5.185 * * * * [progress]: [ 24 / 45 ] simplifiying candidate #<alt (λ (a b) (pow (+ (* (+ a b) a) (* (+ a b) b)) 1))>
5.185 * * * * [progress]: [ 25 / 45 ] simplifiying candidate #<alt (λ (a b) (exp (log (+ (* (+ a b) a) (* (+ a b) b)))))>
5.185 * * * * [progress]: [ 26 / 45 ] simplifiying candidate #<alt (λ (a b) (log (exp (+ (* (+ a b) a) (* (+ a b) b)))))>
5.185 * * * * [progress]: [ 27 / 45 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (+ (* (+ a b) a) (* (+ a b) b))) (cbrt (+ (* (+ a b) a) (* (+ a b) b)))) (cbrt (+ (* (+ a b) a) (* (+ a b) b)))))>
5.185 * * * * [progress]: [ 28 / 45 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (+ (* (+ a b) a) (* (+ a b) b)) (+ (* (+ a b) a) (* (+ a b) b))) (+ (* (+ a b) a) (* (+ a b) b)))))>
5.185 * * * * [progress]: [ 29 / 45 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (+ (* (+ a b) a) (* (+ a b) b))) (sqrt (+ (* (+ a b) a) (* (+ a b) b)))))>
5.185 * * * * [progress]: [ 30 / 45 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (+ (pow a 3) (pow b 3)) a) (+ (* a a) (- (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (* (+ (pow a 3) (pow b 3)) b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))))>
5.186 * [simplify]: Simplifying (+ (* (* (+ (pow a 3) (pow b 3)) a) (+ (* a a) (- (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (* (+ (pow a 3) (pow b 3)) b)))
5.186 * * [simplify]: iters left: 6 (16 enodes)
5.196 * * [simplify]: iters left: 5 (83 enodes)
5.224 * * [simplify]: iters left: 4 (227 enodes)
5.349 * * [simplify]: Extracting #0: cost 1 inf + 0
5.350 * * [simplify]: Extracting #1: cost 23 inf + 0
5.350 * * [simplify]: Extracting #2: cost 176 inf + 0
5.352 * * [simplify]: Extracting #3: cost 274 inf + 250
5.359 * * [simplify]: Extracting #4: cost 174 inf + 20124
5.382 * * [simplify]: Extracting #5: cost 13 inf + 65422
5.410 * * [simplify]: Extracting #6: cost 1 inf + 68045
5.425 * * [simplify]: Extracting #7: cost 0 inf + 68257
5.442 * [simplify]: Simplified to (* (* (+ (* (* a a) a) (* (* b b) b)) (+ (* a a) (* b (- b a)))) (+ b a))
5.442 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (* (+ (* (* a a) a) (* (* b b) b)) (+ (* a a) (* b (- b a)))) (+ b a)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))))
5.443 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))
5.443 * * [simplify]: iters left: 6 (8 enodes)
5.445 * * [simplify]: iters left: 5 (38 enodes)
5.459 * * [simplify]: iters left: 4 (95 enodes)
5.499 * * [simplify]: iters left: 3 (325 enodes)
5.649 * * [simplify]: Extracting #0: cost 1 inf + 0
5.649 * * [simplify]: Extracting #1: cost 30 inf + 0
5.650 * * [simplify]: Extracting #2: cost 176 inf + 0
5.653 * * [simplify]: Extracting #3: cost 205 inf + 3645
5.663 * * [simplify]: Extracting #4: cost 105 inf + 22995
5.686 * * [simplify]: Extracting #5: cost 7 inf + 45867
5.714 * * [simplify]: Extracting #6: cost 0 inf + 47401
5.739 * * [simplify]: Extracting #7: cost 0 inf + 47361
5.765 * [simplify]: Simplified to (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a))))
5.765 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (* (+ (* (* a a) a) (* (* b b) b)) (+ (* a a) (* b (- b a)))) (+ b a)) (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a))))))
5.765 * * * * [progress]: [ 31 / 45 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (+ (pow a 3) (pow b 3)) a) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (- (* a a) (* b b)) b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b))))>
5.766 * [simplify]: Simplifying (+ (* (* (+ (pow a 3) (pow b 3)) a) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (- (* a a) (* b b)) b)))
5.766 * * [simplify]: iters left: 6 (18 enodes)
5.777 * * [simplify]: iters left: 5 (89 enodes)
5.814 * * [simplify]: iters left: 4 (207 enodes)
5.935 * * [simplify]: Extracting #0: cost 1 inf + 0
5.935 * * [simplify]: Extracting #1: cost 14 inf + 0
5.935 * * [simplify]: Extracting #2: cost 119 inf + 0
5.936 * * [simplify]: Extracting #3: cost 186 inf + 168
5.940 * * [simplify]: Extracting #4: cost 174 inf + 9932
5.953 * * [simplify]: Extracting #5: cost 34 inf + 40047
5.971 * * [simplify]: Extracting #6: cost 12 inf + 46882
5.993 * * [simplify]: Extracting #7: cost 9 inf + 47589
6.010 * * [simplify]: Extracting #8: cost 2 inf + 48942
6.028 * * [simplify]: Extracting #9: cost 0 inf + 49366
6.046 * [simplify]: Simplified to (+ (* (* (- a b) a) (+ (* (* a a) a) (* (* b b) b))) (* (* b (+ (* b b) (* (- a b) a))) (- (* a a) (* b b))))
6.047 * [simplify]: Simplified (2 1) to (λ (a b) (/ (+ (* (* (- a b) a) (+ (* (* a a) a) (* (* b b) b))) (* (* b (+ (* b b) (* (- a b) a))) (- (* a a) (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (- a b))))
6.047 * [simplify]: Simplifying (* (+ (* a a) (- (* b b) (* a b))) (- a b))
6.047 * * [simplify]: iters left: 6 (9 enodes)
6.050 * * [simplify]: iters left: 5 (38 enodes)
6.057 * * [simplify]: iters left: 4 (75 enodes)
6.077 * * [simplify]: iters left: 3 (184 enodes)
6.154 * * [simplify]: Extracting #0: cost 1 inf + 0
6.154 * * [simplify]: Extracting #1: cost 46 inf + 0
6.155 * * [simplify]: Extracting #2: cost 114 inf + 0
6.156 * * [simplify]: Extracting #3: cost 110 inf + 1429
6.162 * * [simplify]: Extracting #4: cost 35 inf + 12966
6.172 * * [simplify]: Extracting #5: cost 0 inf + 20274
6.180 * * [simplify]: Extracting #6: cost 0 inf + 20194
6.186 * [simplify]: Simplified to (* (- a b) (+ (* (- a b) a) (* b b)))
6.186 * [simplify]: Simplified (2 2) to (λ (a b) (/ (+ (* (* (- a b) a) (+ (* (* a a) a) (* (* b b) b))) (* (* b (+ (* b b) (* (- a b) a))) (- (* a a) (* b b)))) (* (- a b) (+ (* (- a b) a) (* b b)))))
6.186 * * * * [progress]: [ 32 / 45 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (- (* a a) (* b b)) a) (+ (* a a) (- (* b b) (* a b)))) (* (- a b) (* (+ (pow a 3) (pow b 3)) b))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))))>
6.186 * [simplify]: Simplifying (+ (* (* (- (* a a) (* b b)) a) (+ (* a a) (- (* b b) (* a b)))) (* (- a b) (* (+ (pow a 3) (pow b 3)) b)))
6.186 * * [simplify]: iters left: 6 (18 enodes)
6.195 * * [simplify]: iters left: 5 (95 enodes)
6.220 * * [simplify]: iters left: 4 (253 enodes)
6.378 * * [simplify]: Extracting #0: cost 1 inf + 0
6.378 * * [simplify]: Extracting #1: cost 12 inf + 0
6.378 * * [simplify]: Extracting #2: cost 152 inf + 0
6.380 * * [simplify]: Extracting #3: cost 268 inf + 493
6.387 * * [simplify]: Extracting #4: cost 190 inf + 18577
6.406 * * [simplify]: Extracting #5: cost 24 inf + 55560
6.426 * * [simplify]: Extracting #6: cost 4 inf + 61053
6.438 * * [simplify]: Extracting #7: cost 0 inf + 61941
6.451 * [simplify]: Simplified to (+ (* (* a (+ (* b (- b a)) (* a a))) (- (* a a) (* b b))) (* (- a b) (+ (* (* b b) (* b b)) (* (* a b) (* a a)))))
6.451 * [simplify]: Simplified (2 1) to (λ (a b) (/ (+ (* (* a (+ (* b (- b a)) (* a a))) (- (* a a) (* b b))) (* (- a b) (+ (* (* b b) (* b b)) (* (* a b) (* a a))))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))))
6.451 * [simplify]: Simplifying (* (- a b) (+ (* a a) (- (* b b) (* a b))))
6.451 * * [simplify]: iters left: 6 (9 enodes)
6.454 * * [simplify]: iters left: 5 (44 enodes)
6.463 * * [simplify]: iters left: 4 (109 enodes)
6.504 * * [simplify]: iters left: 3 (298 enodes)
6.655 * * [simplify]: Extracting #0: cost 1 inf + 0
6.655 * * [simplify]: Extracting #1: cost 39 inf + 0
6.656 * * [simplify]: Extracting #2: cost 148 inf + 0
6.658 * * [simplify]: Extracting #3: cost 147 inf + 2505
6.668 * * [simplify]: Extracting #4: cost 34 inf + 22688
6.682 * * [simplify]: Extracting #5: cost 2 inf + 29260
6.690 * * [simplify]: Extracting #6: cost 0 inf + 29373
6.697 * * [simplify]: Extracting #7: cost 0 inf + 29293
6.704 * [simplify]: Simplified to (* (+ (* b b) (* a (- a b))) (- a b))
6.704 * [simplify]: Simplified (2 2) to (λ (a b) (/ (+ (* (* a (+ (* b (- b a)) (* a a))) (- (* a a) (* b b))) (* (- a b) (+ (* (* b b) (* b b)) (* (* a b) (* a a))))) (* (+ (* b b) (* a (- a b))) (- a b))))
6.704 * * * * [progress]: [ 33 / 45 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (- (* a a) (* b b)) a) (- a b)) (* (- a b) (* (- (* a a) (* b b)) b))) (* (- a b) (- a b))))>
6.704 * [simplify]: Simplifying (+ (* (* (- (* a a) (* b b)) a) (- a b)) (* (- a b) (* (- (* a a) (* b b)) b)))
6.705 * * [simplify]: iters left: 6 (11 enodes)
6.708 * * [simplify]: iters left: 5 (48 enodes)
6.718 * * [simplify]: iters left: 4 (126 enodes)
6.784 * * [simplify]: Extracting #0: cost 1 inf + 0
6.784 * * [simplify]: Extracting #1: cost 14 inf + 0
6.784 * * [simplify]: Extracting #2: cost 107 inf + 0
6.785 * * [simplify]: Extracting #3: cost 150 inf + 372
6.790 * * [simplify]: Extracting #4: cost 68 inf + 12410
6.795 * * [simplify]: Extracting #5: cost 2 inf + 24217
6.801 * * [simplify]: Extracting #6: cost 0 inf + 24461
6.806 * [simplify]: Simplified to (* (- a b) (* (* (+ a b) (- a b)) (+ a b)))
6.806 * [simplify]: Simplified (2 1) to (λ (a b) (/ (* (- a b) (* (* (+ a b) (- a b)) (+ a b))) (* (- a b) (- a b))))
6.807 * [simplify]: Simplifying (* (- a b) (- a b))
6.807 * * [simplify]: iters left: 4 (4 enodes)
6.808 * * [simplify]: iters left: 3 (14 enodes)
6.810 * * [simplify]: iters left: 2 (23 enodes)
6.817 * * [simplify]: iters left: 1 (49 enodes)
6.835 * * [simplify]: Extracting #0: cost 1 inf + 0
6.835 * * [simplify]: Extracting #1: cost 17 inf + 0
6.835 * * [simplify]: Extracting #2: cost 32 inf + 0
6.835 * * [simplify]: Extracting #3: cost 30 inf + 43
6.836 * * [simplify]: Extracting #4: cost 7 inf + 2364
6.837 * * [simplify]: Extracting #5: cost 0 inf + 3176
6.839 * [simplify]: Simplified to (* (- a b) (- a b))
6.839 * [simplify]: Simplified (2 2) to (λ (a b) (/ (* (- a b) (* (* (+ a b) (- a b)) (+ a b))) (* (- a b) (- a b))))
6.839 * * * * [progress]: [ 34 / 45 ] simplifiying candidate #<alt (λ (a b) (/ (+ (pow (* (+ a b) a) 3) (pow (* (+ a b) b) 3)) (+ (* (* (+ a b) a) (* (+ a b) a)) (- (* (* (+ a b) b) (* (+ a b) b)) (* (* (+ a b) a) (* (+ a b) b))))))>
6.839 * * * * [progress]: [ 35 / 45 ] simplifiying candidate #<alt (λ (a b) (* 1 (+ (* (+ a b) a) (* (+ a b) b))))>
6.839 * * * * [progress]: [ 36 / 45 ] simplifiying candidate #<alt (λ (a b) (/ (- (* (* (+ a b) a) (* (+ a b) a)) (* (* (+ a b) b) (* (+ a b) b))) (- (* (+ a b) a) (* (+ a b) b))))>
6.839 * * * * [progress]: [ 37 / 45 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
6.840 * [simplify]: Simplifying (+ a b)
6.840 * * [simplify]: iters left: 2 (3 enodes)
6.841 * * [simplify]: iters left: 1 (10 enodes)
6.844 * * [simplify]: Extracting #0: cost 1 inf + 0
6.844 * * [simplify]: Extracting #1: cost 4 inf + 0
6.844 * * [simplify]: Extracting #2: cost 2 inf + 2
6.844 * * [simplify]: Extracting #3: cost 0 inf + 86
6.844 * [simplify]: Simplified to (+ b a)
6.844 * [simplify]: Simplified (2 1) to (λ (a b) (* (+ b a) (+ a b)))
6.845 * [simplify]: Simplifying (+ a b)
6.845 * * [simplify]: iters left: 2 (3 enodes)
6.846 * * [simplify]: iters left: 1 (10 enodes)
6.849 * * [simplify]: Extracting #0: cost 1 inf + 0
6.849 * * [simplify]: Extracting #1: cost 4 inf + 0
6.849 * * [simplify]: Extracting #2: cost 2 inf + 2
6.849 * * [simplify]: Extracting #3: cost 0 inf + 86
6.849 * [simplify]: Simplified to (+ b a)
6.849 * [simplify]: Simplified (2 2) to (λ (a b) (* (+ a b) (+ b a)))
6.849 * * * * [progress]: [ 38 / 45 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (+ (* (+ a b) a) (* (+ a b) b)))))>
6.849 * * * * [progress]: [ 39 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) b) (* (+ a b) a)))>
6.849 * * * * [progress]: [ 40 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (+ (pow b 2) (* a b))))>
6.850 * [simplify]: Simplifying (+ (pow b 2) (* a b))
6.850 * * [simplify]: iters left: 4 (6 enodes)
6.854 * * [simplify]: iters left: 3 (25 enodes)
6.863 * * [simplify]: iters left: 2 (33 enodes)
6.873 * * [simplify]: iters left: 1 (40 enodes)
6.885 * * [simplify]: Extracting #0: cost 1 inf + 0
6.885 * * [simplify]: Extracting #1: cost 6 inf + 0
6.885 * * [simplify]: Extracting #2: cost 10 inf + 1
6.885 * * [simplify]: Extracting #3: cost 1 inf + 455
6.886 * * [simplify]: Extracting #4: cost 0 inf + 417
6.886 * [simplify]: Simplified to (* (+ a b) b)
6.886 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))
6.886 * * * * [progress]: [ 41 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (+ (pow b 2) (* a b))))>
6.887 * [simplify]: Simplifying (+ (pow b 2) (* a b))
6.887 * * [simplify]: iters left: 4 (6 enodes)
6.891 * * [simplify]: iters left: 3 (25 enodes)
6.900 * * [simplify]: iters left: 2 (33 enodes)
6.911 * * [simplify]: iters left: 1 (40 enodes)
6.922 * * [simplify]: Extracting #0: cost 1 inf + 0
6.923 * * [simplify]: Extracting #1: cost 6 inf + 0
6.923 * * [simplify]: Extracting #2: cost 10 inf + 1
6.923 * * [simplify]: Extracting #3: cost 1 inf + 455
6.923 * * [simplify]: Extracting #4: cost 0 inf + 417
6.923 * [simplify]: Simplified to (* (+ a b) b)
6.923 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))
6.924 * * * * [progress]: [ 42 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (+ (pow b 2) (* a b))))>
6.924 * [simplify]: Simplifying (+ (pow b 2) (* a b))
6.924 * * [simplify]: iters left: 4 (6 enodes)
6.928 * * [simplify]: iters left: 3 (25 enodes)
6.937 * * [simplify]: iters left: 2 (33 enodes)
6.947 * * [simplify]: iters left: 1 (40 enodes)
6.959 * * [simplify]: Extracting #0: cost 1 inf + 0
6.959 * * [simplify]: Extracting #1: cost 6 inf + 0
6.959 * * [simplify]: Extracting #2: cost 10 inf + 1
6.959 * * [simplify]: Extracting #3: cost 1 inf + 455
6.959 * * [simplify]: Extracting #4: cost 0 inf + 417
6.960 * [simplify]: Simplified to (* (+ a b) b)
6.960 * [simplify]: Simplified (2 2) to (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))
6.960 * * * * [progress]: [ 43 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
6.960 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
6.960 * * [simplify]: iters left: 6 (9 enodes)
6.966 * * [simplify]: iters left: 5 (43 enodes)
6.975 * * [simplify]: iters left: 4 (67 enodes)
6.990 * * [simplify]: iters left: 3 (96 enodes)
7.011 * * [simplify]: iters left: 2 (117 enodes)
7.040 * * [simplify]: Extracting #0: cost 1 inf + 0
7.041 * * [simplify]: Extracting #1: cost 8 inf + 0
7.041 * * [simplify]: Extracting #2: cost 23 inf + 0
7.041 * * [simplify]: Extracting #3: cost 22 inf + 253
7.042 * * [simplify]: Extracting #4: cost 6 inf + 1610
7.043 * * [simplify]: Extracting #5: cost 0 inf + 2225
7.044 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
7.044 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
7.044 * * * * [progress]: [ 44 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
7.045 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
7.045 * * [simplify]: iters left: 6 (9 enodes)
7.051 * * [simplify]: iters left: 5 (43 enodes)
7.065 * * [simplify]: iters left: 4 (67 enodes)
7.088 * * [simplify]: iters left: 3 (96 enodes)
7.115 * * [simplify]: iters left: 2 (117 enodes)
7.144 * * [simplify]: Extracting #0: cost 1 inf + 0
7.144 * * [simplify]: Extracting #1: cost 8 inf + 0
7.144 * * [simplify]: Extracting #2: cost 23 inf + 0
7.145 * * [simplify]: Extracting #3: cost 22 inf + 253
7.145 * * [simplify]: Extracting #4: cost 6 inf + 1610
7.145 * * [simplify]: Extracting #5: cost 0 inf + 2225
7.146 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
7.146 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
7.146 * * * * [progress]: [ 45 / 45 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
7.146 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
7.146 * * [simplify]: iters left: 6 (9 enodes)
7.150 * * [simplify]: iters left: 5 (43 enodes)
7.158 * * [simplify]: iters left: 4 (67 enodes)
7.170 * * [simplify]: iters left: 3 (96 enodes)
7.197 * * [simplify]: iters left: 2 (117 enodes)
7.225 * * [simplify]: Extracting #0: cost 1 inf + 0
7.225 * * [simplify]: Extracting #1: cost 8 inf + 0
7.225 * * [simplify]: Extracting #2: cost 23 inf + 0
7.225 * * [simplify]: Extracting #3: cost 22 inf + 253
7.226 * * [simplify]: Extracting #4: cost 6 inf + 1610
7.227 * * [simplify]: Extracting #5: cost 0 inf + 2225
7.228 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
7.228 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
7.228 * * * [progress]: adding candidates to table
7.573 * * [progress]: iteration 3 / 4
7.573 * * * [progress]: picking best candidate
7.575 * * * * [pick]: Picked  #<alt (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))>
7.576 * * * [progress]: localizing error
7.589 * * * [progress]: generating rewritten candidates
7.589 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
7.607 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
7.650 * * * [progress]: generating series expansions
7.650 * * * * [progress]: [ 1 / 2 ] generating series at (2)
7.650 * [backup-simplify]: Simplify (+ (* b (+ (* a 2) b)) (* a a)) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
7.650 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in (b a) around 0
7.650 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in a
7.650 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.650 * [taylor]: Taking taylor expansion of a in a
7.650 * [backup-simplify]: Simplify 0 into 0
7.650 * [backup-simplify]: Simplify 1 into 1
7.650 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in a
7.650 * [taylor]: Taking taylor expansion of (pow b 2) in a
7.650 * [taylor]: Taking taylor expansion of b in a
7.650 * [backup-simplify]: Simplify b into b
7.650 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a
7.651 * [taylor]: Taking taylor expansion of 2 in a
7.651 * [backup-simplify]: Simplify 2 into 2
7.651 * [taylor]: Taking taylor expansion of (* a b) in a
7.651 * [taylor]: Taking taylor expansion of a in a
7.651 * [backup-simplify]: Simplify 0 into 0
7.651 * [backup-simplify]: Simplify 1 into 1
7.651 * [taylor]: Taking taylor expansion of b in a
7.651 * [backup-simplify]: Simplify b into b
7.651 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in b
7.651 * [taylor]: Taking taylor expansion of (pow a 2) in b
7.651 * [taylor]: Taking taylor expansion of a in b
7.651 * [backup-simplify]: Simplify a into a
7.651 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in b
7.651 * [taylor]: Taking taylor expansion of (pow b 2) in b
7.651 * [taylor]: Taking taylor expansion of b in b
7.651 * [backup-simplify]: Simplify 0 into 0
7.651 * [backup-simplify]: Simplify 1 into 1
7.651 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b
7.651 * [taylor]: Taking taylor expansion of 2 in b
7.651 * [backup-simplify]: Simplify 2 into 2
7.651 * [taylor]: Taking taylor expansion of (* a b) in b
7.651 * [taylor]: Taking taylor expansion of a in b
7.651 * [backup-simplify]: Simplify a into a
7.651 * [taylor]: Taking taylor expansion of b in b
7.651 * [backup-simplify]: Simplify 0 into 0
7.651 * [backup-simplify]: Simplify 1 into 1
7.651 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))) in b
7.651 * [taylor]: Taking taylor expansion of (pow a 2) in b
7.651 * [taylor]: Taking taylor expansion of a in b
7.651 * [backup-simplify]: Simplify a into a
7.651 * [taylor]: Taking taylor expansion of (+ (pow b 2) (* 2 (* a b))) in b
7.651 * [taylor]: Taking taylor expansion of (pow b 2) in b
7.651 * [taylor]: Taking taylor expansion of b in b
7.651 * [backup-simplify]: Simplify 0 into 0
7.651 * [backup-simplify]: Simplify 1 into 1
7.651 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b
7.652 * [taylor]: Taking taylor expansion of 2 in b
7.652 * [backup-simplify]: Simplify 2 into 2
7.652 * [taylor]: Taking taylor expansion of (* a b) in b
7.652 * [taylor]: Taking taylor expansion of a in b
7.652 * [backup-simplify]: Simplify a into a
7.652 * [taylor]: Taking taylor expansion of b in b
7.652 * [backup-simplify]: Simplify 0 into 0
7.652 * [backup-simplify]: Simplify 1 into 1
7.652 * [backup-simplify]: Simplify (* a a) into (pow a 2)
7.652 * [backup-simplify]: Simplify (* a 0) into 0
7.653 * [backup-simplify]: Simplify (* 2 0) into 0
7.653 * [backup-simplify]: Simplify (+ 0 0) into 0
7.653 * [backup-simplify]: Simplify (+ (pow a 2) 0) into (pow a 2)
7.653 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.653 * [taylor]: Taking taylor expansion of a in a
7.653 * [backup-simplify]: Simplify 0 into 0
7.653 * [backup-simplify]: Simplify 1 into 1
7.653 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
7.654 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
7.654 * [backup-simplify]: Simplify (+ (* 2 a) (* 0 0)) into (* 2 a)
7.654 * [backup-simplify]: Simplify (+ 0 (* 2 a)) into (* 2 a)
7.654 * [backup-simplify]: Simplify (+ 0 (* 2 a)) into (* 2 a)
7.654 * [taylor]: Taking taylor expansion of (* 2 a) in a
7.654 * [taylor]: Taking taylor expansion of 2 in a
7.654 * [backup-simplify]: Simplify 2 into 2
7.654 * [taylor]: Taking taylor expansion of a in a
7.654 * [backup-simplify]: Simplify 0 into 0
7.654 * [backup-simplify]: Simplify 1 into 1
7.655 * [backup-simplify]: Simplify (* 2 0) into 0
7.655 * [backup-simplify]: Simplify 0 into 0
7.655 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
7.656 * [backup-simplify]: Simplify (* 1 1) into 1
7.656 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0
7.657 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 a) (* 0 0))) into 0
7.658 * [backup-simplify]: Simplify (+ 1 0) into 1
7.658 * [backup-simplify]: Simplify (+ 0 1) into 1
7.658 * [taylor]: Taking taylor expansion of 1 in a
7.658 * [backup-simplify]: Simplify 1 into 1
7.658 * [backup-simplify]: Simplify 1 into 1
7.659 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
7.659 * [backup-simplify]: Simplify 2 into 2
7.659 * [backup-simplify]: Simplify (* 1 1) into 1
7.659 * [backup-simplify]: Simplify 1 into 1
7.660 * [backup-simplify]: Simplify (+ (* 1 (pow (* a 1) 2)) (+ (* 2 (* a b)) (* 1 (pow (* 1 b) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
7.660 * [backup-simplify]: Simplify (+ (* (/ 1 b) (+ (* (/ 1 a) 2) (/ 1 b))) (* (/ 1 a) (/ 1 a))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))))
7.660 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (b a) around 0
7.660 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
7.660 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
7.660 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.660 * [taylor]: Taking taylor expansion of a in a
7.660 * [backup-simplify]: Simplify 0 into 0
7.660 * [backup-simplify]: Simplify 1 into 1
7.661 * [backup-simplify]: Simplify (* 1 1) into 1
7.661 * [backup-simplify]: Simplify (/ 1 1) into 1
7.661 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
7.661 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
7.662 * [taylor]: Taking taylor expansion of 2 in a
7.662 * [backup-simplify]: Simplify 2 into 2
7.662 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
7.662 * [taylor]: Taking taylor expansion of (* a b) in a
7.662 * [taylor]: Taking taylor expansion of a in a
7.662 * [backup-simplify]: Simplify 0 into 0
7.662 * [backup-simplify]: Simplify 1 into 1
7.662 * [taylor]: Taking taylor expansion of b in a
7.662 * [backup-simplify]: Simplify b into b
7.662 * [backup-simplify]: Simplify (* 0 b) into 0
7.662 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
7.662 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
7.662 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
7.662 * [taylor]: Taking taylor expansion of (pow b 2) in a
7.662 * [taylor]: Taking taylor expansion of b in a
7.662 * [backup-simplify]: Simplify b into b
7.663 * [backup-simplify]: Simplify (* b b) into (pow b 2)
7.663 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
7.663 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b
7.663 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
7.663 * [taylor]: Taking taylor expansion of (pow a 2) in b
7.663 * [taylor]: Taking taylor expansion of a in b
7.663 * [backup-simplify]: Simplify a into a
7.663 * [backup-simplify]: Simplify (* a a) into (pow a 2)
7.663 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
7.663 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b
7.663 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
7.663 * [taylor]: Taking taylor expansion of 2 in b
7.663 * [backup-simplify]: Simplify 2 into 2
7.663 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
7.663 * [taylor]: Taking taylor expansion of (* a b) in b
7.663 * [taylor]: Taking taylor expansion of a in b
7.663 * [backup-simplify]: Simplify a into a
7.663 * [taylor]: Taking taylor expansion of b in b
7.663 * [backup-simplify]: Simplify 0 into 0
7.663 * [backup-simplify]: Simplify 1 into 1
7.664 * [backup-simplify]: Simplify (* a 0) into 0
7.664 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
7.664 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.664 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
7.664 * [taylor]: Taking taylor expansion of (pow b 2) in b
7.664 * [taylor]: Taking taylor expansion of b in b
7.664 * [backup-simplify]: Simplify 0 into 0
7.664 * [backup-simplify]: Simplify 1 into 1
7.665 * [backup-simplify]: Simplify (* 1 1) into 1
7.665 * [backup-simplify]: Simplify (/ 1 1) into 1
7.665 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b
7.665 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
7.665 * [taylor]: Taking taylor expansion of (pow a 2) in b
7.665 * [taylor]: Taking taylor expansion of a in b
7.665 * [backup-simplify]: Simplify a into a
7.665 * [backup-simplify]: Simplify (* a a) into (pow a 2)
7.665 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
7.665 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b
7.665 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
7.665 * [taylor]: Taking taylor expansion of 2 in b
7.665 * [backup-simplify]: Simplify 2 into 2
7.665 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
7.665 * [taylor]: Taking taylor expansion of (* a b) in b
7.665 * [taylor]: Taking taylor expansion of a in b
7.665 * [backup-simplify]: Simplify a into a
7.665 * [taylor]: Taking taylor expansion of b in b
7.665 * [backup-simplify]: Simplify 0 into 0
7.666 * [backup-simplify]: Simplify 1 into 1
7.666 * [backup-simplify]: Simplify (* a 0) into 0
7.666 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
7.666 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.666 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
7.666 * [taylor]: Taking taylor expansion of (pow b 2) in b
7.666 * [taylor]: Taking taylor expansion of b in b
7.666 * [backup-simplify]: Simplify 0 into 0
7.666 * [backup-simplify]: Simplify 1 into 1
7.667 * [backup-simplify]: Simplify (* 1 1) into 1
7.667 * [backup-simplify]: Simplify (/ 1 1) into 1
7.667 * [backup-simplify]: Simplify (+ 0 1) into 1
7.668 * [backup-simplify]: Simplify (+ 0 1) into 1
7.668 * [taylor]: Taking taylor expansion of 1 in a
7.668 * [backup-simplify]: Simplify 1 into 1
7.668 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a)
7.669 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.670 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a))
7.670 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 a))) into (* 2 (/ 1 a))
7.670 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
7.670 * [taylor]: Taking taylor expansion of 2 in a
7.670 * [backup-simplify]: Simplify 2 into 2
7.670 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.670 * [taylor]: Taking taylor expansion of a in a
7.670 * [backup-simplify]: Simplify 0 into 0
7.670 * [backup-simplify]: Simplify 1 into 1
7.670 * [backup-simplify]: Simplify (/ 1 1) into 1
7.671 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0
7.671 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.672 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0
7.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.674 * [backup-simplify]: Simplify (+ 0 0) into 0
7.674 * [backup-simplify]: Simplify (+ (/ 1 (pow a 2)) 0) into (/ 1 (pow a 2))
7.674 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
7.674 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.674 * [taylor]: Taking taylor expansion of a in a
7.674 * [backup-simplify]: Simplify 0 into 0
7.674 * [backup-simplify]: Simplify 1 into 1
7.674 * [backup-simplify]: Simplify (* 1 1) into 1
7.675 * [backup-simplify]: Simplify (/ 1 1) into 1
7.675 * [backup-simplify]: Simplify 1 into 1
7.675 * [backup-simplify]: Simplify (* 2 1) into 2
7.675 * [backup-simplify]: Simplify 2 into 2
7.675 * [backup-simplify]: Simplify 1 into 1
7.676 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (+ (* 2 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b)))) (* 1 (pow (* (/ 1 (/ 1 a)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
7.676 * [backup-simplify]: Simplify (+ (* (/ 1 (- b)) (+ (* (/ 1 (- a)) 2) (/ 1 (- b)))) (* (/ 1 (- a)) (/ 1 (- a)))) into (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))))
7.676 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in (b a) around 0
7.676 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in a
7.676 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
7.676 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.676 * [taylor]: Taking taylor expansion of a in a
7.676 * [backup-simplify]: Simplify 0 into 0
7.676 * [backup-simplify]: Simplify 1 into 1
7.677 * [backup-simplify]: Simplify (* 1 1) into 1
7.677 * [backup-simplify]: Simplify (/ 1 1) into 1
7.677 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in a
7.677 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a
7.677 * [taylor]: Taking taylor expansion of 2 in a
7.677 * [backup-simplify]: Simplify 2 into 2
7.677 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
7.677 * [taylor]: Taking taylor expansion of (* a b) in a
7.677 * [taylor]: Taking taylor expansion of a in a
7.677 * [backup-simplify]: Simplify 0 into 0
7.677 * [backup-simplify]: Simplify 1 into 1
7.677 * [taylor]: Taking taylor expansion of b in a
7.677 * [backup-simplify]: Simplify b into b
7.677 * [backup-simplify]: Simplify (* 0 b) into 0
7.678 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b
7.678 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
7.678 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
7.678 * [taylor]: Taking taylor expansion of (pow b 2) in a
7.678 * [taylor]: Taking taylor expansion of b in a
7.678 * [backup-simplify]: Simplify b into b
7.678 * [backup-simplify]: Simplify (* b b) into (pow b 2)
7.678 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
7.678 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b
7.678 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
7.678 * [taylor]: Taking taylor expansion of (pow a 2) in b
7.678 * [taylor]: Taking taylor expansion of a in b
7.678 * [backup-simplify]: Simplify a into a
7.678 * [backup-simplify]: Simplify (* a a) into (pow a 2)
7.679 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
7.679 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b
7.679 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
7.679 * [taylor]: Taking taylor expansion of 2 in b
7.679 * [backup-simplify]: Simplify 2 into 2
7.679 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
7.679 * [taylor]: Taking taylor expansion of (* a b) in b
7.679 * [taylor]: Taking taylor expansion of a in b
7.679 * [backup-simplify]: Simplify a into a
7.679 * [taylor]: Taking taylor expansion of b in b
7.679 * [backup-simplify]: Simplify 0 into 0
7.679 * [backup-simplify]: Simplify 1 into 1
7.679 * [backup-simplify]: Simplify (* a 0) into 0
7.679 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
7.679 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.679 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
7.679 * [taylor]: Taking taylor expansion of (pow b 2) in b
7.679 * [taylor]: Taking taylor expansion of b in b
7.679 * [backup-simplify]: Simplify 0 into 0
7.679 * [backup-simplify]: Simplify 1 into 1
7.680 * [backup-simplify]: Simplify (* 1 1) into 1
7.680 * [backup-simplify]: Simplify (/ 1 1) into 1
7.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2)))) in b
7.680 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
7.680 * [taylor]: Taking taylor expansion of (pow a 2) in b
7.680 * [taylor]: Taking taylor expansion of a in b
7.680 * [backup-simplify]: Simplify a into a
7.680 * [backup-simplify]: Simplify (* a a) into (pow a 2)
7.681 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
7.681 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow b 2))) in b
7.681 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b
7.681 * [taylor]: Taking taylor expansion of 2 in b
7.681 * [backup-simplify]: Simplify 2 into 2
7.681 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
7.681 * [taylor]: Taking taylor expansion of (* a b) in b
7.681 * [taylor]: Taking taylor expansion of a in b
7.681 * [backup-simplify]: Simplify a into a
7.681 * [taylor]: Taking taylor expansion of b in b
7.681 * [backup-simplify]: Simplify 0 into 0
7.681 * [backup-simplify]: Simplify 1 into 1
7.681 * [backup-simplify]: Simplify (* a 0) into 0
7.681 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a
7.681 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.681 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
7.681 * [taylor]: Taking taylor expansion of (pow b 2) in b
7.682 * [taylor]: Taking taylor expansion of b in b
7.682 * [backup-simplify]: Simplify 0 into 0
7.682 * [backup-simplify]: Simplify 1 into 1
7.682 * [backup-simplify]: Simplify (* 1 1) into 1
7.682 * [backup-simplify]: Simplify (/ 1 1) into 1
7.683 * [backup-simplify]: Simplify (+ 0 1) into 1
7.683 * [backup-simplify]: Simplify (+ 0 1) into 1
7.683 * [taylor]: Taking taylor expansion of 1 in a
7.683 * [backup-simplify]: Simplify 1 into 1
7.683 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a)
7.684 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.685 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a))
7.685 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 a))) into (* 2 (/ 1 a))
7.685 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
7.685 * [taylor]: Taking taylor expansion of 2 in a
7.685 * [backup-simplify]: Simplify 2 into 2
7.685 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.685 * [taylor]: Taking taylor expansion of a in a
7.685 * [backup-simplify]: Simplify 0 into 0
7.685 * [backup-simplify]: Simplify 1 into 1
7.686 * [backup-simplify]: Simplify (/ 1 1) into 1
7.686 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 1) (* 0 0))) into 0
7.686 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.687 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0
7.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.689 * [backup-simplify]: Simplify (+ 0 0) into 0
7.689 * [backup-simplify]: Simplify (+ (/ 1 (pow a 2)) 0) into (/ 1 (pow a 2))
7.689 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
7.689 * [taylor]: Taking taylor expansion of (pow a 2) in a
7.689 * [taylor]: Taking taylor expansion of a in a
7.689 * [backup-simplify]: Simplify 0 into 0
7.689 * [backup-simplify]: Simplify 1 into 1
7.690 * [backup-simplify]: Simplify (* 1 1) into 1
7.690 * [backup-simplify]: Simplify (/ 1 1) into 1
7.690 * [backup-simplify]: Simplify 1 into 1
7.691 * [backup-simplify]: Simplify (* 2 1) into 2
7.691 * [backup-simplify]: Simplify 2 into 2
7.691 * [backup-simplify]: Simplify 1 into 1
7.691 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (+ (* 2 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b))))) (* 1 (pow (* (/ 1 (/ 1 (- a))) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
7.691 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
7.691 * [backup-simplify]: Simplify (* b (+ (* a 2) b)) into (* (+ (* 2 a) b) b)
7.691 * [approximate]: Taking taylor expansion of (* (+ (* 2 a) b) b) in (b a) around 0
7.691 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in a
7.691 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in a
7.691 * [taylor]: Taking taylor expansion of (* 2 a) in a
7.691 * [taylor]: Taking taylor expansion of 2 in a
7.691 * [backup-simplify]: Simplify 2 into 2
7.691 * [taylor]: Taking taylor expansion of a in a
7.691 * [backup-simplify]: Simplify 0 into 0
7.691 * [backup-simplify]: Simplify 1 into 1
7.691 * [taylor]: Taking taylor expansion of b in a
7.691 * [backup-simplify]: Simplify b into b
7.691 * [taylor]: Taking taylor expansion of b in a
7.691 * [backup-simplify]: Simplify b into b
7.691 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b
7.691 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b
7.692 * [taylor]: Taking taylor expansion of (* 2 a) in b
7.692 * [taylor]: Taking taylor expansion of 2 in b
7.692 * [backup-simplify]: Simplify 2 into 2
7.692 * [taylor]: Taking taylor expansion of a in b
7.692 * [backup-simplify]: Simplify a into a
7.692 * [taylor]: Taking taylor expansion of b in b
7.692 * [backup-simplify]: Simplify 0 into 0
7.692 * [backup-simplify]: Simplify 1 into 1
7.692 * [taylor]: Taking taylor expansion of b in b
7.692 * [backup-simplify]: Simplify 0 into 0
7.692 * [backup-simplify]: Simplify 1 into 1
7.692 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b
7.692 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b
7.692 * [taylor]: Taking taylor expansion of (* 2 a) in b
7.692 * [taylor]: Taking taylor expansion of 2 in b
7.692 * [backup-simplify]: Simplify 2 into 2
7.692 * [taylor]: Taking taylor expansion of a in b
7.692 * [backup-simplify]: Simplify a into a
7.692 * [taylor]: Taking taylor expansion of b in b
7.692 * [backup-simplify]: Simplify 0 into 0
7.692 * [backup-simplify]: Simplify 1 into 1
7.692 * [taylor]: Taking taylor expansion of b in b
7.692 * [backup-simplify]: Simplify 0 into 0
7.692 * [backup-simplify]: Simplify 1 into 1
7.692 * [backup-simplify]: Simplify (* 2 a) into (* 2 a)
7.692 * [backup-simplify]: Simplify (+ (* 2 a) 0) into (* 2 a)
7.692 * [backup-simplify]: Simplify (* (* 2 a) 0) into 0
7.692 * [taylor]: Taking taylor expansion of 0 in a
7.692 * [backup-simplify]: Simplify 0 into 0
7.692 * [backup-simplify]: Simplify 0 into 0
7.692 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 a)) into 0
7.693 * [backup-simplify]: Simplify (+ 0 1) into 1
7.693 * [backup-simplify]: Simplify (+ (* (* 2 a) 1) (* 1 0)) into (* 2 a)
7.693 * [taylor]: Taking taylor expansion of (* 2 a) in a
7.693 * [taylor]: Taking taylor expansion of 2 in a
7.693 * [backup-simplify]: Simplify 2 into 2
7.693 * [taylor]: Taking taylor expansion of a in a
7.693 * [backup-simplify]: Simplify 0 into 0
7.693 * [backup-simplify]: Simplify 1 into 1
7.693 * [backup-simplify]: Simplify (* 2 0) into 0
7.693 * [backup-simplify]: Simplify 0 into 0
7.693 * [backup-simplify]: Simplify 0 into 0
7.694 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 a))) into 0
7.694 * [backup-simplify]: Simplify (+ 0 0) into 0
7.695 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 1) (* 0 0))) into 1
7.695 * [taylor]: Taking taylor expansion of 1 in a
7.695 * [backup-simplify]: Simplify 1 into 1
7.695 * [backup-simplify]: Simplify 1 into 1
7.695 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
7.695 * [backup-simplify]: Simplify 2 into 2
7.695 * [backup-simplify]: Simplify 0 into 0
7.696 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0
7.696 * [backup-simplify]: Simplify (+ 0 0) into 0
7.697 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
7.697 * [taylor]: Taking taylor expansion of 0 in a
7.697 * [backup-simplify]: Simplify 0 into 0
7.697 * [backup-simplify]: Simplify 0 into 0
7.697 * [backup-simplify]: Simplify 0 into 0
7.697 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
7.697 * [backup-simplify]: Simplify 0 into 0
7.697 * [backup-simplify]: Simplify 0 into 0
7.698 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0
7.699 * [backup-simplify]: Simplify (+ 0 0) into 0
7.699 * [backup-simplify]: Simplify (+ (* (* 2 a) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.699 * [taylor]: Taking taylor expansion of 0 in a
7.699 * [backup-simplify]: Simplify 0 into 0
7.699 * [backup-simplify]: Simplify 0 into 0
7.699 * [backup-simplify]: Simplify (+ (* 2 (* a b)) (* 1 (pow (* 1 b) 2))) into (+ (pow b 2) (* 2 (* a b)))
7.699 * [backup-simplify]: Simplify (* (/ 1 b) (+ (* (/ 1 a) 2) (/ 1 b))) into (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b)
7.700 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in (b a) around 0
7.700 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in a
7.700 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in a
7.700 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
7.700 * [taylor]: Taking taylor expansion of 2 in a
7.700 * [backup-simplify]: Simplify 2 into 2
7.700 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.700 * [taylor]: Taking taylor expansion of a in a
7.700 * [backup-simplify]: Simplify 0 into 0
7.700 * [backup-simplify]: Simplify 1 into 1
7.700 * [backup-simplify]: Simplify (/ 1 1) into 1
7.700 * [taylor]: Taking taylor expansion of (/ 1 b) in a
7.700 * [taylor]: Taking taylor expansion of b in a
7.700 * [backup-simplify]: Simplify b into b
7.700 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
7.700 * [taylor]: Taking taylor expansion of b in a
7.700 * [backup-simplify]: Simplify b into b
7.700 * [backup-simplify]: Simplify (* 2 1) into 2
7.701 * [backup-simplify]: Simplify (+ 2 0) into 2
7.701 * [backup-simplify]: Simplify (/ 2 b) into (/ 2 b)
7.701 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in b
7.701 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in b
7.701 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b
7.701 * [taylor]: Taking taylor expansion of 2 in b
7.701 * [backup-simplify]: Simplify 2 into 2
7.701 * [taylor]: Taking taylor expansion of (/ 1 a) in b
7.701 * [taylor]: Taking taylor expansion of a in b
7.701 * [backup-simplify]: Simplify a into a
7.701 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.701 * [taylor]: Taking taylor expansion of (/ 1 b) in b
7.701 * [taylor]: Taking taylor expansion of b in b
7.701 * [backup-simplify]: Simplify 0 into 0
7.701 * [backup-simplify]: Simplify 1 into 1
7.701 * [backup-simplify]: Simplify (/ 1 1) into 1
7.701 * [taylor]: Taking taylor expansion of b in b
7.701 * [backup-simplify]: Simplify 0 into 0
7.701 * [backup-simplify]: Simplify 1 into 1
7.701 * [backup-simplify]: Simplify (+ 0 1) into 1
7.702 * [backup-simplify]: Simplify (/ 1 1) into 1
7.702 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in b
7.702 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in b
7.702 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b
7.702 * [taylor]: Taking taylor expansion of 2 in b
7.702 * [backup-simplify]: Simplify 2 into 2
7.702 * [taylor]: Taking taylor expansion of (/ 1 a) in b
7.702 * [taylor]: Taking taylor expansion of a in b
7.702 * [backup-simplify]: Simplify a into a
7.702 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.702 * [taylor]: Taking taylor expansion of (/ 1 b) in b
7.702 * [taylor]: Taking taylor expansion of b in b
7.702 * [backup-simplify]: Simplify 0 into 0
7.702 * [backup-simplify]: Simplify 1 into 1
7.702 * [backup-simplify]: Simplify (/ 1 1) into 1
7.702 * [taylor]: Taking taylor expansion of b in b
7.702 * [backup-simplify]: Simplify 0 into 0
7.702 * [backup-simplify]: Simplify 1 into 1
7.702 * [backup-simplify]: Simplify (+ 0 1) into 1
7.703 * [backup-simplify]: Simplify (/ 1 1) into 1
7.703 * [taylor]: Taking taylor expansion of 1 in a
7.703 * [backup-simplify]: Simplify 1 into 1
7.703 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a)
7.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.703 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a))
7.704 * [backup-simplify]: Simplify (- (/ (* 2 (/ 1 a)) 1) (+ (* 1 (/ 0 1)))) into (* 2 (/ 1 a))
7.704 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
7.704 * [taylor]: Taking taylor expansion of 2 in a
7.704 * [backup-simplify]: Simplify 2 into 2
7.704 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.704 * [taylor]: Taking taylor expansion of a in a
7.704 * [backup-simplify]: Simplify 0 into 0
7.704 * [backup-simplify]: Simplify 1 into 1
7.704 * [backup-simplify]: Simplify (/ 1 1) into 1
7.704 * [backup-simplify]: Simplify (* 2 1) into 2
7.704 * [backup-simplify]: Simplify 2 into 2
7.704 * [backup-simplify]: Simplify 1 into 1
7.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.705 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0
7.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.706 * [backup-simplify]: Simplify (+ 0 0) into 0
7.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)))) into 0
7.707 * [taylor]: Taking taylor expansion of 0 in a
7.707 * [backup-simplify]: Simplify 0 into 0
7.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.707 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
7.707 * [backup-simplify]: Simplify 0 into 0
7.707 * [backup-simplify]: Simplify 0 into 0
7.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.708 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0
7.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.709 * [backup-simplify]: Simplify (+ 0 0) into 0
7.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.710 * [taylor]: Taking taylor expansion of 0 in a
7.710 * [backup-simplify]: Simplify 0 into 0
7.710 * [backup-simplify]: Simplify 0 into 0
7.711 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.711 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
7.711 * [backup-simplify]: Simplify 0 into 0
7.711 * [backup-simplify]: Simplify 0 into 0
7.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.712 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0
7.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.713 * [backup-simplify]: Simplify (+ 0 0) into 0
7.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.715 * [taylor]: Taking taylor expansion of 0 in a
7.715 * [backup-simplify]: Simplify 0 into 0
7.715 * [backup-simplify]: Simplify 0 into 0
7.715 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 2)) (* 2 (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b))))) into (+ (pow b 2) (* 2 (* a b)))
7.715 * [backup-simplify]: Simplify (* (/ 1 (- b)) (+ (* (/ 1 (- a)) 2) (/ 1 (- b)))) into (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b)
7.715 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in (b a) around 0
7.715 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in a
7.715 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in a
7.715 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
7.715 * [taylor]: Taking taylor expansion of 2 in a
7.715 * [backup-simplify]: Simplify 2 into 2
7.715 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.715 * [taylor]: Taking taylor expansion of a in a
7.715 * [backup-simplify]: Simplify 0 into 0
7.715 * [backup-simplify]: Simplify 1 into 1
7.715 * [backup-simplify]: Simplify (/ 1 1) into 1
7.715 * [taylor]: Taking taylor expansion of (/ 1 b) in a
7.715 * [taylor]: Taking taylor expansion of b in a
7.716 * [backup-simplify]: Simplify b into b
7.716 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
7.716 * [taylor]: Taking taylor expansion of b in a
7.716 * [backup-simplify]: Simplify b into b
7.716 * [backup-simplify]: Simplify (* 2 1) into 2
7.716 * [backup-simplify]: Simplify (+ 2 0) into 2
7.716 * [backup-simplify]: Simplify (/ 2 b) into (/ 2 b)
7.716 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in b
7.716 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in b
7.716 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b
7.716 * [taylor]: Taking taylor expansion of 2 in b
7.716 * [backup-simplify]: Simplify 2 into 2
7.716 * [taylor]: Taking taylor expansion of (/ 1 a) in b
7.716 * [taylor]: Taking taylor expansion of a in b
7.716 * [backup-simplify]: Simplify a into a
7.716 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.716 * [taylor]: Taking taylor expansion of (/ 1 b) in b
7.716 * [taylor]: Taking taylor expansion of b in b
7.716 * [backup-simplify]: Simplify 0 into 0
7.716 * [backup-simplify]: Simplify 1 into 1
7.717 * [backup-simplify]: Simplify (/ 1 1) into 1
7.717 * [taylor]: Taking taylor expansion of b in b
7.717 * [backup-simplify]: Simplify 0 into 0
7.717 * [backup-simplify]: Simplify 1 into 1
7.717 * [backup-simplify]: Simplify (+ 0 1) into 1
7.717 * [backup-simplify]: Simplify (/ 1 1) into 1
7.717 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 a)) (/ 1 b)) b) in b
7.717 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 a)) (/ 1 b)) in b
7.717 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b
7.717 * [taylor]: Taking taylor expansion of 2 in b
7.718 * [backup-simplify]: Simplify 2 into 2
7.718 * [taylor]: Taking taylor expansion of (/ 1 a) in b
7.718 * [taylor]: Taking taylor expansion of a in b
7.718 * [backup-simplify]: Simplify a into a
7.718 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.718 * [taylor]: Taking taylor expansion of (/ 1 b) in b
7.718 * [taylor]: Taking taylor expansion of b in b
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify 1 into 1
7.718 * [backup-simplify]: Simplify (/ 1 1) into 1
7.718 * [taylor]: Taking taylor expansion of b in b
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify 1 into 1
7.718 * [backup-simplify]: Simplify (+ 0 1) into 1
7.718 * [backup-simplify]: Simplify (/ 1 1) into 1
7.719 * [taylor]: Taking taylor expansion of 1 in a
7.719 * [backup-simplify]: Simplify 1 into 1
7.719 * [backup-simplify]: Simplify (* 2 (/ 1 a)) into (/ 2 a)
7.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.719 * [backup-simplify]: Simplify (+ (/ 2 a) 0) into (* 2 (/ 1 a))
7.720 * [backup-simplify]: Simplify (- (/ (* 2 (/ 1 a)) 1) (+ (* 1 (/ 0 1)))) into (* 2 (/ 1 a))
7.720 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a
7.720 * [taylor]: Taking taylor expansion of 2 in a
7.720 * [backup-simplify]: Simplify 2 into 2
7.720 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.720 * [taylor]: Taking taylor expansion of a in a
7.720 * [backup-simplify]: Simplify 0 into 0
7.720 * [backup-simplify]: Simplify 1 into 1
7.721 * [backup-simplify]: Simplify (/ 1 1) into 1
7.721 * [backup-simplify]: Simplify (* 2 1) into 2
7.721 * [backup-simplify]: Simplify 2 into 2
7.721 * [backup-simplify]: Simplify 1 into 1
7.721 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.722 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 a))) into 0
7.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.723 * [backup-simplify]: Simplify (+ 0 0) into 0
7.725 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)))) into 0
7.725 * [taylor]: Taking taylor expansion of 0 in a
7.725 * [backup-simplify]: Simplify 0 into 0
7.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.726 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
7.726 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.727 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 a)))) into 0
7.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.729 * [backup-simplify]: Simplify (+ 0 0) into 0
7.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.730 * [taylor]: Taking taylor expansion of 0 in a
7.731 * [backup-simplify]: Simplify 0 into 0
7.731 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.732 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.734 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 a))))) into 0
7.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.735 * [backup-simplify]: Simplify (+ 0 0) into 0
7.737 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 a)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.737 * [taylor]: Taking taylor expansion of 0 in a
7.737 * [backup-simplify]: Simplify 0 into 0
7.737 * [backup-simplify]: Simplify 0 into 0
7.737 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (* 2 (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))))) into (+ (pow b 2) (* 2 (* a b)))
7.737 * * * [progress]: simplifying candidates
7.737 * * * * [progress]: [ 1 / 43 ] simplifiying candidate #<alt (λ (a b) (log (* (exp (* b (+ (* a 2) b))) (exp (* a a)))))>
7.737 * [simplify]: Simplifying (* (exp (* b (+ (* a 2) b))) (exp (* a a)))
7.737 * * [simplify]: iters left: 6 (10 enodes)
7.741 * * [simplify]: iters left: 5 (45 enodes)
7.752 * * [simplify]: iters left: 4 (85 enodes)
7.773 * * [simplify]: iters left: 3 (158 enodes)
7.822 * * [simplify]: iters left: 2 (336 enodes)
7.985 * * [simplify]: Extracting #0: cost 1 inf + 0
7.985 * * [simplify]: Extracting #1: cost 63 inf + 0
7.987 * * [simplify]: Extracting #2: cost 295 inf + 0
7.990 * * [simplify]: Extracting #3: cost 319 inf + 3092
7.999 * * [simplify]: Extracting #4: cost 185 inf + 41981
8.024 * * [simplify]: Extracting #5: cost 47 inf + 127160
8.059 * * [simplify]: Extracting #6: cost 1 inf + 161679
8.095 * * [simplify]: Extracting #7: cost 0 inf + 162444
8.113 * [simplify]: Simplified to (exp (+ (* (+ (* 2 a) b) b) (* a a)))
8.113 * [simplify]: Simplified (2 1) to (λ (a b) (log (exp (+ (* (+ (* 2 a) b) b) (* a a)))))
8.114 * * * * [progress]: [ 2 / 43 ] simplifiying candidate #<alt (λ (a b) (pow (+ (* b (+ (* a 2) b)) (* a a)) 1))>
8.114 * * * * [progress]: [ 3 / 43 ] simplifiying candidate #<alt (λ (a b) (exp (log (+ (* b (+ (* a 2) b)) (* a a)))))>
8.114 * * * * [progress]: [ 4 / 43 ] simplifiying candidate #<alt (λ (a b) (log (exp (+ (* b (+ (* a 2) b)) (* a a)))))>
8.114 * * * * [progress]: [ 5 / 43 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (+ (* b (+ (* a 2) b)) (* a a))) (cbrt (+ (* b (+ (* a 2) b)) (* a a)))) (cbrt (+ (* b (+ (* a 2) b)) (* a a)))))>
8.114 * * * * [progress]: [ 6 / 43 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (+ (* b (+ (* a 2) b)) (* a a)) (+ (* b (+ (* a 2) b)) (* a a))) (+ (* b (+ (* a 2) b)) (* a a)))))>
8.114 * * * * [progress]: [ 7 / 43 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (+ (* b (+ (* a 2) b)) (* a a))) (sqrt (+ (* b (+ (* a 2) b)) (* a a)))))>
8.114 * * * * [progress]: [ 8 / 43 ] simplifiying candidate #<alt (λ (a b) (/ (+ (pow (* b (+ (* a 2) b)) 3) (pow (* a a) 3)) (+ (* (* b (+ (* a 2) b)) (* b (+ (* a 2) b))) (- (* (* a a) (* a a)) (* (* b (+ (* a 2) b)) (* a a))))))>
8.114 * * * * [progress]: [ 9 / 43 ] simplifiying candidate #<alt (λ (a b) (* 1 (+ (* b (+ (* a 2) b)) (* a a))))>
8.114 * * * * [progress]: [ 10 / 43 ] simplifiying candidate #<alt (λ (a b) (/ (- (* (* b (+ (* a 2) b)) (* b (+ (* a 2) b))) (* (* a a) (* a a))) (- (* b (+ (* a 2) b)) (* a a))))>
8.114 * * * * [progress]: [ 11 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* b (* a 2)) (+ (* b b) (* a a))))>
8.114 * [simplify]: Simplifying (* b (* a 2))
8.114 * * [simplify]: iters left: 4 (5 enodes)
8.116 * * [simplify]: iters left: 3 (19 enodes)
8.121 * * [simplify]: iters left: 2 (27 enodes)
8.129 * * [simplify]: iters left: 1 (32 enodes)
8.138 * * [simplify]: Extracting #0: cost 1 inf + 0
8.138 * * [simplify]: Extracting #1: cost 8 inf + 0
8.138 * * [simplify]: Extracting #2: cost 7 inf + 45
8.139 * * [simplify]: Extracting #3: cost 0 inf + 421
8.139 * [simplify]: Simplified to (* (* 2 a) b)
8.139 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* (* 2 a) b) (+ (* b b) (* a a))))
8.139 * * * * [progress]: [ 12 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* (* a 2) b) (+ (* b b) (* a a))))>
8.140 * [simplify]: Simplifying (* (* a 2) b)
8.140 * * [simplify]: iters left: 4 (5 enodes)
8.143 * * [simplify]: iters left: 3 (19 enodes)
8.150 * * [simplify]: iters left: 2 (27 enodes)
8.159 * * [simplify]: iters left: 1 (32 enodes)
8.167 * * [simplify]: Extracting #0: cost 1 inf + 0
8.167 * * [simplify]: Extracting #1: cost 8 inf + 0
8.168 * * [simplify]: Extracting #2: cost 7 inf + 45
8.168 * * [simplify]: Extracting #3: cost 0 inf + 421
8.168 * [simplify]: Simplified to (* (* a 2) b)
8.168 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* (* a 2) b) (+ (* b b) (* a a))))
8.168 * * * * [progress]: [ 13 / 43 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (+ (* b (+ (* a 2) b)) (* a a)))))>
8.168 * * * * [progress]: [ 14 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* a a) (* b (+ (* a 2) b))))>
8.168 * * * * [progress]: [ 15 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (pow (* b (+ (* a 2) b)) 1) (* a a)))>
8.169 * [simplify]: Simplifying (* b (+ (* a 2) b))
8.169 * * [simplify]: iters left: 6 (6 enodes)
8.172 * * [simplify]: iters left: 5 (26 enodes)
8.182 * * [simplify]: iters left: 4 (42 enodes)
8.195 * * [simplify]: iters left: 3 (50 enodes)
8.208 * * [simplify]: Extracting #0: cost 1 inf + 0
8.208 * * [simplify]: Extracting #1: cost 6 inf + 0
8.208 * * [simplify]: Extracting #2: cost 13 inf + 1
8.208 * * [simplify]: Extracting #3: cost 11 inf + 128
8.209 * * [simplify]: Extracting #4: cost 2 inf + 709
8.209 * * [simplify]: Extracting #5: cost 0 inf + 915
8.210 * [simplify]: Simplified to (* (+ (* 2 a) b) b)
8.210 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (pow (* (+ (* 2 a) b) b) 1) (* a a)))
8.210 * * * * [progress]: [ 16 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (pow (* b (+ (* a 2) b)) 1) (* a a)))>
8.210 * * * * [progress]: [ 17 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (exp (+ (log b) (log (+ (* a 2) b)))) (* a a)))>
8.210 * [simplify]: Simplifying (+ (log b) (log (+ (* a 2) b)))
8.210 * * [simplify]: iters left: 6 (8 enodes)
8.215 * * [simplify]: iters left: 5 (27 enodes)
8.223 * * [simplify]: Extracting #0: cost 1 inf + 0
8.223 * * [simplify]: Extracting #1: cost 4 inf + 0
8.223 * * [simplify]: Extracting #2: cost 8 inf + 0
8.223 * * [simplify]: Extracting #3: cost 9 inf + 1
8.223 * * [simplify]: Extracting #4: cost 10 inf + 143
8.224 * * [simplify]: Extracting #5: cost 8 inf + 145
8.224 * * [simplify]: Extracting #6: cost 5 inf + 312
8.226 * * [simplify]: Extracting #7: cost 1 inf + 964
8.226 * * [simplify]: Extracting #8: cost 0 inf + 1227
8.226 * [simplify]: Simplified to (+ (log b) (log (+ b (* a 2))))
8.226 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (exp (+ (log b) (log (+ b (* a 2))))) (* a a)))
8.227 * * * * [progress]: [ 18 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (exp (log (* b (+ (* a 2) b)))) (* a a)))>
8.227 * * * * [progress]: [ 19 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (log (exp (* b (+ (* a 2) b)))) (* a a)))>
8.227 * * * * [progress]: [ 20 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (cbrt (* (* (* b b) b) (* (* (+ (* a 2) b) (+ (* a 2) b)) (+ (* a 2) b)))) (* a a)))>
8.227 * [simplify]: Simplifying (* (* (* b b) b) (* (* (+ (* a 2) b) (+ (* a 2) b)) (+ (* a 2) b)))
8.227 * * [simplify]: iters left: 6 (10 enodes)
8.234 * * [simplify]: iters left: 5 (51 enodes)
8.253 * * [simplify]: iters left: 4 (205 enodes)
8.384 * * [simplify]: Extracting #0: cost 1 inf + 0
8.384 * * [simplify]: Extracting #1: cost 25 inf + 0
8.384 * * [simplify]: Extracting #2: cost 126 inf + 42
8.385 * * [simplify]: Extracting #3: cost 197 inf + 1877
8.390 * * [simplify]: Extracting #4: cost 85 inf + 22762
8.399 * * [simplify]: Extracting #5: cost 2 inf + 39820
8.412 * * [simplify]: Extracting #6: cost 0 inf + 40146
8.426 * [simplify]: Simplified to (* (* (* b (+ (* a 2) b)) b) (* (* b (+ (* a 2) b)) (+ (* a 2) b)))
8.426 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (cbrt (* (* (* b (+ (* a 2) b)) b) (* (* b (+ (* a 2) b)) (+ (* a 2) b)))) (* a a)))
8.426 * * * * [progress]: [ 21 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* (* (cbrt (* b (+ (* a 2) b))) (cbrt (* b (+ (* a 2) b)))) (cbrt (* b (+ (* a 2) b)))) (* a a)))>
8.426 * * * * [progress]: [ 22 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (cbrt (* (* (* b (+ (* a 2) b)) (* b (+ (* a 2) b))) (* b (+ (* a 2) b)))) (* a a)))>
8.426 * * * * [progress]: [ 23 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* (sqrt (* b (+ (* a 2) b))) (sqrt (* b (+ (* a 2) b)))) (* a a)))>
8.426 * * * * [progress]: [ 24 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* 1 (* b (+ (* a 2) b))) (* a a)))>
8.426 * * * * [progress]: [ 25 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* (* (sqrt b) (sqrt (+ (* a 2) b))) (* (sqrt b) (sqrt (+ (* a 2) b)))) (* a a)))>
8.427 * [simplify]: Simplifying (* (sqrt b) (sqrt (+ (* a 2) b)))
8.427 * * [simplify]: iters left: 6 (8 enodes)
8.431 * * [simplify]: iters left: 5 (27 enodes)
8.439 * * [simplify]: Extracting #0: cost 1 inf + 0
8.439 * * [simplify]: Extracting #1: cost 4 inf + 0
8.439 * * [simplify]: Extracting #2: cost 8 inf + 0
8.439 * * [simplify]: Extracting #3: cost 9 inf + 1
8.440 * * [simplify]: Extracting #4: cost 10 inf + 83
8.440 * * [simplify]: Extracting #5: cost 8 inf + 85
8.440 * * [simplify]: Extracting #6: cost 5 inf + 252
8.440 * * [simplify]: Extracting #7: cost 1 inf + 784
8.440 * * [simplify]: Extracting #8: cost 0 inf + 987
8.441 * [simplify]: Simplified to (* (sqrt (+ b (* a 2))) (sqrt b))
8.441 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (* (* (sqrt (+ b (* a 2))) (sqrt b)) (* (sqrt b) (sqrt (+ (* a 2) b)))) (* a a)))
8.441 * [simplify]: Simplifying (* (sqrt b) (sqrt (+ (* a 2) b)))
8.441 * * [simplify]: iters left: 6 (8 enodes)
8.446 * * [simplify]: iters left: 5 (27 enodes)
8.455 * * [simplify]: Extracting #0: cost 1 inf + 0
8.455 * * [simplify]: Extracting #1: cost 4 inf + 0
8.455 * * [simplify]: Extracting #2: cost 8 inf + 0
8.455 * * [simplify]: Extracting #3: cost 9 inf + 1
8.455 * * [simplify]: Extracting #4: cost 10 inf + 83
8.455 * * [simplify]: Extracting #5: cost 8 inf + 85
8.455 * * [simplify]: Extracting #6: cost 5 inf + 252
8.455 * * [simplify]: Extracting #7: cost 1 inf + 784
8.456 * * [simplify]: Extracting #8: cost 0 inf + 987
8.456 * [simplify]: Simplified to (* (sqrt (+ b (* a 2))) (sqrt b))
8.456 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* (sqrt b) (sqrt (+ (* a 2) b))) (* (sqrt (+ b (* a 2))) (sqrt b))) (* a a)))
8.456 * * * * [progress]: [ 26 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (+ (* b (* a 2)) (* b b)) (* a a)))>
8.457 * [simplify]: Simplifying (* b b)
8.457 * * [simplify]: iters left: 2 (2 enodes)
8.458 * * [simplify]: iters left: 1 (6 enodes)
8.459 * * [simplify]: Extracting #0: cost 1 inf + 0
8.459 * * [simplify]: Extracting #1: cost 3 inf + 0
8.459 * * [simplify]: Extracting #2: cost 2 inf + 1
8.459 * * [simplify]: Extracting #3: cost 0 inf + 83
8.459 * [simplify]: Simplified to (* b b)
8.459 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (+ (* b (* a 2)) (* b b)) (* a a)))
8.459 * * * * [progress]: [ 27 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (+ (* (* a 2) b) (* b b)) (* a a)))>
8.460 * [simplify]: Simplifying (* b b)
8.460 * * [simplify]: iters left: 2 (2 enodes)
8.460 * * [simplify]: iters left: 1 (6 enodes)
8.461 * * [simplify]: Extracting #0: cost 1 inf + 0
8.461 * * [simplify]: Extracting #1: cost 3 inf + 0
8.461 * * [simplify]: Extracting #2: cost 2 inf + 1
8.461 * * [simplify]: Extracting #3: cost 0 inf + 83
8.461 * [simplify]: Simplified to (* b b)
8.461 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (+ (* (* a 2) b) (* b b)) (* a a)))
8.461 * * * * [progress]: [ 28 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* (* b (* (cbrt (+ (* a 2) b)) (cbrt (+ (* a 2) b)))) (cbrt (+ (* a 2) b))) (* a a)))>
8.462 * [simplify]: Simplifying (cbrt (+ (* a 2) b))
8.462 * * [simplify]: iters left: 5 (6 enodes)
8.463 * * [simplify]: iters left: 4 (20 enodes)
8.467 * * [simplify]: Extracting #0: cost 1 inf + 0
8.467 * * [simplify]: Extracting #1: cost 3 inf + 0
8.467 * * [simplify]: Extracting #2: cost 6 inf + 0
8.467 * * [simplify]: Extracting #3: cost 8 inf + 1
8.467 * * [simplify]: Extracting #4: cost 6 inf + 3
8.467 * * [simplify]: Extracting #5: cost 0 inf + 579
8.467 * [simplify]: Simplified to (cbrt (+ b (* a 2)))
8.467 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* b (* (cbrt (+ (* a 2) b)) (cbrt (+ (* a 2) b)))) (cbrt (+ b (* a 2)))) (* a a)))
8.468 * * * * [progress]: [ 29 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* (* b (sqrt (+ (* a 2) b))) (sqrt (+ (* a 2) b))) (* a a)))>
8.468 * [simplify]: Simplifying (sqrt (+ (* a 2) b))
8.468 * * [simplify]: iters left: 5 (6 enodes)
8.470 * * [simplify]: iters left: 4 (20 enodes)
8.473 * * [simplify]: Extracting #0: cost 1 inf + 0
8.473 * * [simplify]: Extracting #1: cost 3 inf + 0
8.473 * * [simplify]: Extracting #2: cost 6 inf + 0
8.473 * * [simplify]: Extracting #3: cost 8 inf + 1
8.474 * * [simplify]: Extracting #4: cost 6 inf + 3
8.474 * * [simplify]: Extracting #5: cost 0 inf + 499
8.474 * [simplify]: Simplified to (sqrt (+ b (* a 2)))
8.474 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* b (sqrt (+ (* a 2) b))) (sqrt (+ b (* a 2)))) (* a a)))
8.474 * * * * [progress]: [ 30 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* (* b 1) (+ (* a 2) b)) (* a a)))>
8.474 * [simplify]: Simplifying (+ (* a 2) b)
8.474 * * [simplify]: iters left: 4 (5 enodes)
8.476 * * [simplify]: iters left: 3 (17 enodes)
8.479 * * [simplify]: Extracting #0: cost 1 inf + 0
8.479 * * [simplify]: Extracting #1: cost 4 inf + 0
8.479 * * [simplify]: Extracting #2: cost 6 inf + 1
8.479 * * [simplify]: Extracting #3: cost 4 inf + 3
8.479 * * [simplify]: Extracting #4: cost 0 inf + 253
8.479 * [simplify]: Simplified to (+ b (* a 2))
8.479 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (* (* b 1) (+ b (* a 2))) (* a a)))
8.479 * * * * [progress]: [ 31 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* (* (cbrt b) (cbrt b)) (* (cbrt b) (+ (* a 2) b))) (* a a)))>
8.479 * [simplify]: Simplifying (* (cbrt b) (cbrt b))
8.479 * * [simplify]: iters left: 3 (3 enodes)
8.480 * * [simplify]: iters left: 2 (9 enodes)
8.482 * * [simplify]: Extracting #0: cost 1 inf + 0
8.482 * * [simplify]: Extracting #1: cost 3 inf + 0
8.482 * * [simplify]: Extracting #2: cost 5 inf + 0
8.482 * * [simplify]: Extracting #3: cost 4 inf + 1
8.482 * * [simplify]: Extracting #4: cost 0 inf + 405
8.482 * [simplify]: Simplified to (* (cbrt b) (cbrt b))
8.482 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (* (* (cbrt b) (cbrt b)) (* (cbrt b) (+ (* a 2) b))) (* a a)))
8.482 * * * * [progress]: [ 32 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* (sqrt b) (* (sqrt b) (+ (* a 2) b))) (* a a)))>
8.482 * [simplify]: Simplifying (sqrt b)
8.482 * * [simplify]: iters left: 1 (2 enodes)
8.483 * * [simplify]: Extracting #0: cost 1 inf + 0
8.483 * * [simplify]: Extracting #1: cost 3 inf + 0
8.483 * * [simplify]: Extracting #2: cost 2 inf + 1
8.483 * * [simplify]: Extracting #3: cost 0 inf + 83
8.483 * [simplify]: Simplified to (sqrt b)
8.483 * [simplify]: Simplified (2 1 1) to (λ (a b) (+ (* (sqrt b) (* (sqrt b) (+ (* a 2) b))) (* a a)))
8.483 * * * * [progress]: [ 33 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* 1 (* b (+ (* a 2) b))) (* a a)))>
8.483 * * * * [progress]: [ 34 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (/ (* b (+ (pow (* a 2) 3) (pow b 3))) (+ (* (* a 2) (* a 2)) (- (* b b) (* (* a 2) b)))) (* a a)))>
8.483 * [simplify]: Simplifying (+ (* (* a 2) (* a 2)) (- (* b b) (* (* a 2) b)))
8.483 * * [simplify]: iters left: 6 (9 enodes)
8.486 * * [simplify]: iters left: 5 (46 enodes)
8.504 * * [simplify]: iters left: 4 (94 enodes)
8.541 * * [simplify]: iters left: 3 (162 enodes)
8.597 * * [simplify]: iters left: 2 (222 enodes)
8.659 * * [simplify]: iters left: 1 (301 enodes)
8.748 * * [simplify]: Extracting #0: cost 1 inf + 0
8.748 * * [simplify]: Extracting #1: cost 13 inf + 0
8.748 * * [simplify]: Extracting #2: cost 61 inf + 0
8.749 * * [simplify]: Extracting #3: cost 73 inf + 211
8.751 * * [simplify]: Extracting #4: cost 21 inf + 4976
8.754 * * [simplify]: Extracting #5: cost 1 inf + 7228
8.756 * * [simplify]: Extracting #6: cost 0 inf + 7352
8.759 * [simplify]: Simplified to (+ (* (* a -2) (* a -2)) (* b (+ (* a -2) b)))
8.759 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (/ (* b (+ (pow (* a 2) 3) (pow b 3))) (+ (* (* a -2) (* a -2)) (* b (+ (* a -2) b)))) (* a a)))
8.759 * * * * [progress]: [ 35 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (/ (* b (- (* (* a 2) (* a 2)) (* b b))) (- (* a 2) b)) (* a a)))>
8.759 * [simplify]: Simplifying (- (* a 2) b)
8.759 * * [simplify]: iters left: 4 (5 enodes)
8.763 * * [simplify]: iters left: 3 (18 enodes)
8.768 * * [simplify]: iters left: 2 (21 enodes)
8.775 * * [simplify]: Extracting #0: cost 1 inf + 0
8.775 * * [simplify]: Extracting #1: cost 5 inf + 0
8.775 * * [simplify]: Extracting #2: cost 7 inf + 42
8.775 * * [simplify]: Extracting #3: cost 4 inf + 85
8.775 * * [simplify]: Extracting #4: cost 0 inf + 335
8.775 * [simplify]: Simplified to (- (* a 2) b)
8.776 * [simplify]: Simplified (2 1 2) to (λ (a b) (+ (/ (* b (- (* (* a 2) (* a 2)) (* b b))) (- (* a 2) b)) (* a a)))
8.776 * * * * [progress]: [ 36 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (posit16->real (real->posit16 (* b (+ (* a 2) b)))) (* a a)))>
8.776 * * * * [progress]: [ 37 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ (* a 2) b) b) (* a a)))>
8.776 * * * * [progress]: [ 38 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
8.776 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
8.776 * * [simplify]: iters left: 6 (9 enodes)
8.782 * * [simplify]: iters left: 5 (43 enodes)
8.796 * * [simplify]: iters left: 4 (67 enodes)
8.818 * * [simplify]: iters left: 3 (96 enodes)
8.843 * * [simplify]: iters left: 2 (117 enodes)
8.860 * * [simplify]: Extracting #0: cost 1 inf + 0
8.860 * * [simplify]: Extracting #1: cost 8 inf + 0
8.860 * * [simplify]: Extracting #2: cost 23 inf + 0
8.860 * * [simplify]: Extracting #3: cost 22 inf + 253
8.860 * * [simplify]: Extracting #4: cost 6 inf + 1610
8.861 * * [simplify]: Extracting #5: cost 0 inf + 2225
8.861 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
8.861 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
8.861 * * * * [progress]: [ 39 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
8.862 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
8.862 * * [simplify]: iters left: 6 (9 enodes)
8.865 * * [simplify]: iters left: 5 (43 enodes)
8.880 * * [simplify]: iters left: 4 (67 enodes)
8.902 * * [simplify]: iters left: 3 (96 enodes)
8.930 * * [simplify]: iters left: 2 (117 enodes)
8.948 * * [simplify]: Extracting #0: cost 1 inf + 0
8.948 * * [simplify]: Extracting #1: cost 8 inf + 0
8.949 * * [simplify]: Extracting #2: cost 23 inf + 0
8.949 * * [simplify]: Extracting #3: cost 22 inf + 253
8.949 * * [simplify]: Extracting #4: cost 6 inf + 1610
8.950 * * [simplify]: Extracting #5: cost 0 inf + 2225
8.950 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
8.950 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
8.950 * * * * [progress]: [ 40 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
8.950 * [simplify]: Simplifying (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
8.951 * * [simplify]: iters left: 6 (9 enodes)
8.954 * * [simplify]: iters left: 5 (43 enodes)
8.962 * * [simplify]: iters left: 4 (67 enodes)
8.975 * * [simplify]: iters left: 3 (96 enodes)
9.000 * * [simplify]: iters left: 2 (117 enodes)
9.016 * * [simplify]: Extracting #0: cost 1 inf + 0
9.016 * * [simplify]: Extracting #1: cost 8 inf + 0
9.016 * * [simplify]: Extracting #2: cost 23 inf + 0
9.016 * * [simplify]: Extracting #3: cost 22 inf + 253
9.016 * * [simplify]: Extracting #4: cost 6 inf + 1610
9.017 * * [simplify]: Extracting #5: cost 0 inf + 2225
9.018 * [simplify]: Simplified to (+ (* b (+ (* a 2) b)) (* a a))
9.018 * [simplify]: Simplified (2) to (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))
9.018 * * * * [progress]: [ 41 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (+ (pow b 2) (* 2 (* a b))) (* a a)))>
9.018 * [simplify]: Simplifying (+ (pow b 2) (* 2 (* a b)))
9.018 * * [simplify]: iters left: 6 (7 enodes)
9.020 * * [simplify]: iters left: 5 (31 enodes)
9.029 * * [simplify]: iters left: 4 (47 enodes)
9.044 * * [simplify]: iters left: 3 (63 enodes)
9.061 * * [simplify]: iters left: 2 (67 enodes)
9.078 * * [simplify]: Extracting #0: cost 1 inf + 0
9.078 * * [simplify]: Extracting #1: cost 7 inf + 0
9.078 * * [simplify]: Extracting #2: cost 15 inf + 1
9.078 * * [simplify]: Extracting #3: cost 12 inf + 169
9.078 * * [simplify]: Extracting #4: cost 2 inf + 956
9.079 * * [simplify]: Extracting #5: cost 0 inf + 1081
9.080 * [simplify]: Simplified to (* b (+ b (* a 2)))
9.080 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* b (+ b (* a 2))) (* a a)))
9.080 * * * * [progress]: [ 42 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (+ (pow b 2) (* 2 (* a b))) (* a a)))>
9.081 * [simplify]: Simplifying (+ (pow b 2) (* 2 (* a b)))
9.081 * * [simplify]: iters left: 6 (7 enodes)
9.085 * * [simplify]: iters left: 5 (31 enodes)
9.096 * * [simplify]: iters left: 4 (47 enodes)
9.106 * * [simplify]: iters left: 3 (63 enodes)
9.116 * * [simplify]: iters left: 2 (67 enodes)
9.128 * * [simplify]: Extracting #0: cost 1 inf + 0
9.128 * * [simplify]: Extracting #1: cost 7 inf + 0
9.128 * * [simplify]: Extracting #2: cost 15 inf + 1
9.128 * * [simplify]: Extracting #3: cost 12 inf + 169
9.129 * * [simplify]: Extracting #4: cost 2 inf + 956
9.130 * * [simplify]: Extracting #5: cost 0 inf + 1081
9.130 * [simplify]: Simplified to (* b (+ b (* a 2)))
9.130 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* b (+ b (* a 2))) (* a a)))
9.130 * * * * [progress]: [ 43 / 43 ] simplifiying candidate #<alt (λ (a b) (+ (+ (pow b 2) (* 2 (* a b))) (* a a)))>
9.131 * [simplify]: Simplifying (+ (pow b 2) (* 2 (* a b)))
9.131 * * [simplify]: iters left: 6 (7 enodes)
9.136 * * [simplify]: iters left: 5 (31 enodes)
9.147 * * [simplify]: iters left: 4 (47 enodes)
9.158 * * [simplify]: iters left: 3 (63 enodes)
9.168 * * [simplify]: iters left: 2 (67 enodes)
9.177 * * [simplify]: Extracting #0: cost 1 inf + 0
9.177 * * [simplify]: Extracting #1: cost 7 inf + 0
9.177 * * [simplify]: Extracting #2: cost 15 inf + 1
9.177 * * [simplify]: Extracting #3: cost 12 inf + 169
9.177 * * [simplify]: Extracting #4: cost 2 inf + 956
9.178 * * [simplify]: Extracting #5: cost 0 inf + 1081
9.178 * [simplify]: Simplified to (* b (+ b (* a 2)))
9.178 * [simplify]: Simplified (2 1) to (λ (a b) (+ (* b (+ b (* a 2))) (* a a)))
9.178 * * * [progress]: adding candidates to table
9.509 * [progress]: [Phase 3 of 3] Extracting.
9.509 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))> #<alt (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))>)
9.509 * * * [regime-changes]: Trying 2 branch expressions: (b a)
9.509 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))> #<alt (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))>)
9.545 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))> #<alt (λ (a b) (+ (* b (+ (* a 2) b)) (* a a)))>)
9.564 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
9.565 * [simplify]: Simplifying (+ (* (+ a b) a) (* (+ a b) b))
9.565 * * [simplify]: iters left: 6 (6 enodes)
9.565 * * [simplify]: iters left: 5 (10 enodes)
9.565 * * [simplify]: Extracting #0: cost 1 inf + 0
9.565 * * [simplify]: Extracting #1: cost 3 inf + 0
9.565 * * [simplify]: Extracting #2: cost 6 inf + 0
9.566 * * [simplify]: Extracting #3: cost 4 inf + 2
9.566 * * [simplify]: Extracting #4: cost 0 inf + 370
9.566 * [simplify]: Simplified to (+ (* a (+ b a)) (* (+ b a) b))
10.727 * [regime-testing]: Baseline error score: 0.0133766720840105
10.731 * [regime-testing]: Oracle error score: 0.003500437554694337
10.739 * [regime-testing]: End program error score: 0.0133766720840105
10.818 * [regime-testing]: Target error score: 0.011876484560570071