23.061 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.039 * * * [progress]: [2/2] Setting up program.
0.042 * [progress]: [Phase 2 of 3] Improving.
0.042 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.043 * [simplify]: Simplifying:
  (* (+ a b) (+ a b))
0.043 * * [simplify]: iteration 0: 4 enodes
0.044 * * [simplify]: iteration 1: 11 enodes
0.049 * * [simplify]: iteration 2: 25 enodes
0.053 * * [simplify]: iteration 3: 53 enodes
0.060 * * [simplify]: iteration 4: 72 enodes
0.068 * * [simplify]: iteration 5: 88 enodes
0.090 * * [simplify]: iteration 6: 97 enodes
0.106 * * [simplify]: iteration 7: 103 enodes
0.119 * * [simplify]: iteration complete: 103 enodes
0.119 * * [simplify]: Extracting #0: cost 1 inf + 0
0.119 * * [simplify]: Extracting #1: cost 12 inf + 0
0.120 * * [simplify]: Extracting #2: cost 19 inf + 0
0.120 * * [simplify]: Extracting #3: cost 16 inf + 3
0.120 * * [simplify]: Extracting #4: cost 1 inf + 1149
0.120 * * [simplify]: Extracting #5: cost 0 inf + 1271
0.121 * [simplify]: Simplified to:
  (* (+ b a) (+ b a))
0.121 * * [progress]: iteration 1 / 4
0.121 * * * [progress]: picking best candidate
0.123 * * * * [pick]: Picked  #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.123 * * * [progress]: localizing error
0.129 * * * [progress]: generating rewritten candidates
0.129 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.159 * * * [progress]: generating series expansions
0.159 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.160 * [backup-simplify]: Simplify (* (+ a b) (+ a b)) into (pow (+ a b) 2)
0.160 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0
0.160 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b
0.160 * [taylor]: Taking taylor expansion of (+ a b) in b
0.160 * [taylor]: Taking taylor expansion of a in b
0.160 * [backup-simplify]: Simplify a into a
0.160 * [taylor]: Taking taylor expansion of b in b
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [backup-simplify]: Simplify (+ a 0) into a
0.160 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.160 * [taylor]: Taking taylor expansion of (+ a b) in a
0.160 * [taylor]: Taking taylor expansion of a in a
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [taylor]: Taking taylor expansion of b in a
0.160 * [backup-simplify]: Simplify b into b
0.160 * [backup-simplify]: Simplify (+ 0 b) into b
0.160 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
0.160 * [taylor]: Taking taylor expansion of (+ a b) in a
0.160 * [taylor]: Taking taylor expansion of a in a
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [taylor]: Taking taylor expansion of b in a
0.160 * [backup-simplify]: Simplify b into b
0.161 * [backup-simplify]: Simplify (+ 0 b) into b
0.161 * [backup-simplify]: Simplify (* b b) into (pow b 2)
0.161 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.161 * [taylor]: Taking taylor expansion of b in b
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify 1 into 1
0.162 * [backup-simplify]: Simplify (+ 1 0) into 1
0.162 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b)
0.162 * [taylor]: Taking taylor expansion of (* 2 b) in b
0.162 * [taylor]: Taking taylor expansion of 2 in b
0.162 * [backup-simplify]: Simplify 2 into 2
0.162 * [taylor]: Taking taylor expansion of b in b
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify 1 into 1
0.162 * [backup-simplify]: Simplify (* 2 0) into 0
0.162 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify (+ 0 0) into 0
0.163 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1
0.163 * [taylor]: Taking taylor expansion of 1 in b
0.163 * [backup-simplify]: Simplify 1 into 1
0.163 * [backup-simplify]: Simplify 1 into 1
0.164 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.164 * [backup-simplify]: Simplify 2 into 2
0.164 * [backup-simplify]: Simplify (* 1 1) into 1
0.165 * [backup-simplify]: Simplify 1 into 1
0.165 * [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.165 * [backup-simplify]: Simplify (* (+ (/ 1 a) (/ 1 b)) (+ (/ 1 a) (/ 1 b))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.165 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.165 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.165 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.165 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.165 * [taylor]: Taking taylor expansion of a in b
0.165 * [backup-simplify]: Simplify a into a
0.165 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.165 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.165 * [taylor]: Taking taylor expansion of b in b
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify 1 into 1
0.166 * [backup-simplify]: Simplify (/ 1 1) into 1
0.166 * [backup-simplify]: Simplify (+ 0 1) into 1
0.166 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.166 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.166 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.166 * [taylor]: Taking taylor expansion of a in a
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.167 * [backup-simplify]: Simplify (/ 1 1) into 1
0.167 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.167 * [taylor]: Taking taylor expansion of b in a
0.167 * [backup-simplify]: Simplify b into b
0.167 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.167 * [backup-simplify]: Simplify (+ 1 0) into 1
0.167 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.167 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.167 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.167 * [taylor]: Taking taylor expansion of a in a
0.167 * [backup-simplify]: Simplify 0 into 0
0.167 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify (/ 1 1) into 1
0.168 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.168 * [taylor]: Taking taylor expansion of b in a
0.168 * [backup-simplify]: Simplify b into b
0.168 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.168 * [backup-simplify]: Simplify (+ 1 0) into 1
0.169 * [backup-simplify]: Simplify (* 1 1) into 1
0.169 * [taylor]: Taking taylor expansion of 1 in b
0.169 * [backup-simplify]: Simplify 1 into 1
0.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.173 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.173 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.173 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.173 * [taylor]: Taking taylor expansion of 2 in b
0.173 * [backup-simplify]: Simplify 2 into 2
0.174 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.174 * [taylor]: Taking taylor expansion of b in b
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify 1 into 1
0.174 * [backup-simplify]: Simplify (/ 1 1) into 1
0.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.175 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.176 * [backup-simplify]: Simplify (+ 0 0) into 0
0.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.177 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.177 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.177 * [taylor]: Taking taylor expansion of b in b
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 1 into 1
0.177 * [backup-simplify]: Simplify (* 1 1) into 1
0.177 * [backup-simplify]: Simplify (/ 1 1) into 1
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (* 2 1) into 2
0.178 * [backup-simplify]: Simplify 2 into 2
0.178 * [backup-simplify]: Simplify 1 into 1
0.179 * [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.179 * [backup-simplify]: Simplify (* (+ (/ 1 (- a)) (/ 1 (- b))) (+ (/ 1 (- a)) (/ 1 (- b)))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
0.179 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
0.179 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
0.179 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
0.179 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.179 * [taylor]: Taking taylor expansion of a in b
0.179 * [backup-simplify]: Simplify a into a
0.179 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
0.179 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.179 * [taylor]: Taking taylor expansion of b in b
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 1 into 1
0.180 * [backup-simplify]: Simplify (/ 1 1) into 1
0.180 * [backup-simplify]: Simplify (+ 0 1) into 1
0.180 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.180 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.180 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.180 * [taylor]: Taking taylor expansion of a in a
0.180 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify 1 into 1
0.181 * [backup-simplify]: Simplify (/ 1 1) into 1
0.181 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.181 * [taylor]: Taking taylor expansion of b in a
0.181 * [backup-simplify]: Simplify b into b
0.181 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.181 * [backup-simplify]: Simplify (+ 1 0) into 1
0.181 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
0.181 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.181 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.181 * [taylor]: Taking taylor expansion of a in a
0.181 * [backup-simplify]: Simplify 0 into 0
0.181 * [backup-simplify]: Simplify 1 into 1
0.182 * [backup-simplify]: Simplify (/ 1 1) into 1
0.182 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.182 * [taylor]: Taking taylor expansion of b in a
0.182 * [backup-simplify]: Simplify b into b
0.182 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
0.182 * [backup-simplify]: Simplify (+ 1 0) into 1
0.183 * [backup-simplify]: Simplify (* 1 1) into 1
0.183 * [taylor]: Taking taylor expansion of 1 in b
0.183 * [backup-simplify]: Simplify 1 into 1
0.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.184 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
0.184 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
0.184 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
0.184 * [taylor]: Taking taylor expansion of 2 in b
0.184 * [backup-simplify]: Simplify 2 into 2
0.184 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.184 * [taylor]: Taking taylor expansion of b in b
0.184 * [backup-simplify]: Simplify 0 into 0
0.184 * [backup-simplify]: Simplify 1 into 1
0.184 * [backup-simplify]: Simplify (/ 1 1) into 1
0.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.185 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
0.186 * [backup-simplify]: Simplify (+ 0 0) into 0
0.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
0.187 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.187 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.187 * [taylor]: Taking taylor expansion of b in b
0.187 * [backup-simplify]: Simplify 0 into 0
0.187 * [backup-simplify]: Simplify 1 into 1
0.187 * [backup-simplify]: Simplify (* 1 1) into 1
0.188 * [backup-simplify]: Simplify (/ 1 1) into 1
0.188 * [backup-simplify]: Simplify 1 into 1
0.188 * [backup-simplify]: Simplify (* 2 1) into 2
0.188 * [backup-simplify]: Simplify 2 into 2
0.188 * [backup-simplify]: Simplify 1 into 1
0.189 * [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.189 * * * [progress]: simplifying candidates
0.189 * * * * [progress]: [ 1 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.189 * * * * [progress]: [ 2 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.189 * * * * [progress]: [ 3 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) 2))>
0.189 * * * * [progress]: [ 4 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (+ 1 1)))>
0.189 * * * * [progress]: [ 5 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (* (+ a b) (+ a b)) 1))>
0.189 * * * * [progress]: [ 6 / 44 ] simplifiying candidate #<alt (λ (a b) (exp (+ (log (+ a b)) (log (+ a b)))))>
0.189 * * * * [progress]: [ 7 / 44 ] simplifiying candidate #<alt (λ (a b) (exp (log (* (+ a b) (+ a b)))))>
0.189 * * * * [progress]: [ 8 / 44 ] simplifiying candidate #<alt (λ (a b) (log (exp (* (+ a b) (+ a b)))))>
0.189 * * * * [progress]: [ 9 / 44 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b)))))>
0.189 * * * * [progress]: [ 10 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b)))))>
0.190 * * * * [progress]: [ 11 / 44 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b)))))>
0.190 * * * * [progress]: [ 12 / 44 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b)))))>
0.190 * * * * [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.190 * * * * [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))))>
0.190 * * * * [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))))))>
0.190 * * * * [progress]: [ 16 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b))))>
0.190 * * * * [progress]: [ 17 / 44 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
0.190 * * * * [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)))))>
0.190 * * * * [progress]: [ 19 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
0.190 * * * * [progress]: [ 20 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.190 * * * * [progress]: [ 21 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.190 * * * * [progress]: [ 22 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.190 * * * * [progress]: [ 23 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* 1 1) (* (+ a b) (+ a b))))>
0.190 * * * * [progress]: [ 24 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b)))))>
0.190 * * * * [progress]: [ 25 / 44 ] simplifiying candidate #<alt (λ (a b) (pow (+ a b) (* 2 1)))>
0.190 * * * * [progress]: [ 26 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (* (+ a b) a) (* (+ a b) b)))>
0.191 * * * * [progress]: [ 27 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (* a (+ a b)) (* b (+ a b))))>
0.191 * * * * [progress]: [ 28 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (cbrt (+ a b))))>
0.191 * * * * [progress]: [ 29 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) (sqrt (+ a b))) (sqrt (+ a b))))>
0.191 * * * * [progress]: [ 30 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
0.191 * * * * [progress]: [ 31 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (+ a b) 1) (+ a b)))>
0.191 * * * * [progress]: [ 32 / 44 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (+ a b))))>
0.191 * * * * [progress]: [ 33 / 44 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (+ a b)) (* (sqrt (+ a b)) (+ a b))))>
0.191 * * * * [progress]: [ 34 / 44 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
0.191 * * * * [progress]: [ 35 / 44 ] simplifiying candidate #<alt (λ (a b) (* 1 (* (+ a b) (+ a b))))>
0.191 * * * * [progress]: [ 36 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (+ (pow a 3) (pow b 3))) (+ (* a a) (- (* b b) (* a b)))))>
0.191 * * * * [progress]: [ 37 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (- (* a a) (* b b))) (- a b)))>
0.191 * * * * [progress]: [ 38 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ (pow a 3) (pow b 3)) (+ a b)) (+ (* a a) (- (* b b) (* a b)))))>
0.191 * * * * [progress]: [ 39 / 44 ] simplifiying candidate #<alt (λ (a b) (/ (* (- (* a a) (* b b)) (+ a b)) (- a b)))>
0.191 * * * * [progress]: [ 40 / 44 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (* (+ a b) (+ a b)))))>
0.191 * * * * [progress]: [ 41 / 44 ] simplifiying candidate #<alt (λ (a b) (* (+ a b) (+ a b)))>
0.191 * * * * [progress]: [ 42 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
0.191 * * * * [progress]: [ 43 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
0.191 * * * * [progress]: [ 44 / 44 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
0.192 * [simplify]: Simplifying:
  (+ 1 1)
  (* (+ a b) (+ a b))
  (+ 1 1)
  (+ (log (+ a b)) (log (+ a b)))
  (log (* (+ a b) (+ a b)))
  (exp (* (+ a b) (+ a b)))
  (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b)))
  (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b))))
  (cbrt (* (+ a b) (+ a b)))
  (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b)))
  (sqrt (* (+ a b) (+ a b)))
  (sqrt (* (+ a b) (+ a b)))
  (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3)))
  (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))
  (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))
  (* (+ (* a a) (- (* b b) (* a b))) (- a b))
  (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3)))
  (* (- a b) (+ (* a a) (- (* b b) (* a b))))
  (* (- (* a a) (* b b)) (- (* a a) (* b b)))
  (* (- a b) (- a b))
  (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b))))
  (* (cbrt (+ a b)) (cbrt (+ a b)))
  (* (sqrt (+ a b)) (sqrt (+ a b)))
  (* (sqrt (+ a b)) (sqrt (+ a b)))
  (* 1 1)
  (* (+ a b) (+ a b))
  (* 1 1)
  (* (+ a b) (+ a b))
  (* 1 1)
  (* (+ a b) (+ a b))
  (* 1 1)
  (* (+ a b) (+ a b))
  (* (sqrt (+ a b)) (sqrt (+ a b)))
  (* (sqrt (+ a b)) (sqrt (+ a b)))
  (* 2 1)
  (* (+ a b) a)
  (* (+ a b) b)
  (* a (+ a b))
  (* b (+ a b))
  (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b))))
  (* (+ a b) (sqrt (+ a b)))
  (* (+ a b) 1)
  (* (+ a b) 1)
  (* (cbrt (+ a b)) (+ a b))
  (* (sqrt (+ a b)) (+ a b))
  (* (+ a b) (+ a b))
  (* (+ a b) (+ a b))
  (* (+ a b) (+ (pow a 3) (pow b 3)))
  (* (+ a b) (- (* a a) (* b b)))
  (* (+ (pow a 3) (pow b 3)) (+ a b))
  (* (- (* a a) (* b b)) (+ a b))
  (real->posit16 (* (+ a b) (+ a b)))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
0.193 * * [simplify]: iteration 0: 63 enodes
0.225 * * [simplify]: iteration 1: 225 enodes
0.339 * * [simplify]: iteration 2: 797 enodes
0.504 * * [simplify]: iteration 3: 2004 enodes
0.827 * * [simplify]: iteration complete: 2004 enodes
0.827 * * [simplify]: Extracting #0: cost 26 inf + 0
0.827 * * [simplify]: Extracting #1: cost 192 inf + 2
0.829 * * [simplify]: Extracting #2: cost 593 inf + 214
0.834 * * [simplify]: Extracting #3: cost 619 inf + 33573
0.861 * * [simplify]: Extracting #4: cost 186 inf + 113916
0.895 * * [simplify]: Extracting #5: cost 18 inf + 146867
0.925 * * [simplify]: Extracting #6: cost 3 inf + 148452
0.955 * * [simplify]: Extracting #7: cost 0 inf + 149171
0.981 * [simplify]: Simplified to:
  2
  (* (+ b a) (+ b a))
  2
  (+ (log (+ b a)) (log (+ b a)))
  (+ (log (+ b a)) (log (+ b a)))
  (exp (* (+ b a) (+ b a)))
  (* (* (* (+ b a) (+ b a)) (* (+ b a) (+ b a))) (* (+ b a) (+ b a)))
  (* (cbrt (* (+ b a) (+ b a))) (cbrt (* (+ b a) (+ b a))))
  (cbrt (* (+ b a) (+ b a)))
  (* (* (* (+ b a) (+ b a)) (* (+ b a) (+ b a))) (* (+ b a) (+ b a)))
  (fabs (+ b a))
  (fabs (+ b a))
  (* (+ (* b (* b b)) (* a (* a a))) (+ (* b (* b b)) (* a (* a a))))
  (* (+ (* b (- b a)) (* a a)) (+ (* b (- b a)) (* a a)))
  (* (* (+ a b) (- a b)) (+ (* b (* b b)) (* a (* a a))))
  (* (+ (* b (- b a)) (* a a)) (- a b))
  (* (* (+ a b) (- a b)) (+ (* b (* b b)) (* a (* a a))))
  (* (+ (* b (- b a)) (* a a)) (- a b))
  (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))
  (* (- a b) (- a b))
  (* (cbrt (+ b a)) (+ b a))
  (* (cbrt (+ b a)) (cbrt (+ b a)))
  (+ b a)
  (+ b a)
  1
  (* (+ b a) (+ b a))
  1
  (* (+ b a) (+ b a))
  1
  (* (+ b a) (+ b a))
  1
  (* (+ b a) (+ b a))
  (+ b a)
  (+ b a)
  2
  (* a (+ b a))
  (* (+ b a) b)
  (* a (+ b a))
  (* (+ b a) b)
  (* (cbrt (+ b a)) (* (cbrt (+ b a)) (+ b a)))
  (* (sqrt (+ b a)) (+ b a))
  (+ b a)
  (+ b a)
  (* (cbrt (+ b a)) (+ b a))
  (* (sqrt (+ b a)) (+ b a))
  (* (+ b a) (+ b a))
  (* (+ b a) (+ b a))
  (* (+ (* b (* b b)) (* a (* a a))) (+ b a))
  (* (* (+ b a) (+ b a)) (- a b))
  (* (+ (* b (* b b)) (* a (* a a))) (+ b a))
  (* (* (+ b a) (+ b a)) (- a b))
  (real->posit16 (* (+ b a) (+ b a)))
  (+ (* a a) (+ (* b b) (+ (* a b) (* a b))))
  (+ (* a a) (+ (* b b) (+ (* a b) (* a b))))
  (+ (* a a) (+ (* b b) (+ (* a b) (* a b))))
0.983 * * * [progress]: adding candidates to table
1.061 * * [progress]: iteration 2 / 4
1.061 * * * [progress]: picking best candidate
1.063 * * * * [pick]: Picked  #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))>
1.063 * * * [progress]: localizing error
1.082 * * * [progress]: generating rewritten candidates
1.082 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1.166 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.245 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1.280 * * * [progress]: generating series expansions
1.280 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1.280 * [backup-simplify]: Simplify (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) into (* (pow (+ a b) 2) (pow (- a b) 2))
1.280 * [approximate]: Taking taylor expansion of (* (pow (+ a b) 2) (pow (- a b) 2)) in (a b) around 0
1.280 * [taylor]: Taking taylor expansion of (* (pow (+ a b) 2) (pow (- a b) 2)) in b
1.280 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b
1.280 * [taylor]: Taking taylor expansion of (+ a b) in b
1.280 * [taylor]: Taking taylor expansion of a in b
1.280 * [backup-simplify]: Simplify a into a
1.280 * [taylor]: Taking taylor expansion of b in b
1.280 * [backup-simplify]: Simplify 0 into 0
1.280 * [backup-simplify]: Simplify 1 into 1
1.281 * [backup-simplify]: Simplify (+ a 0) into a
1.281 * [taylor]: Taking taylor expansion of (pow (- a b) 2) in b
1.281 * [taylor]: Taking taylor expansion of (- a b) in b
1.281 * [taylor]: Taking taylor expansion of a in b
1.281 * [backup-simplify]: Simplify a into a
1.281 * [taylor]: Taking taylor expansion of b in b
1.281 * [backup-simplify]: Simplify 0 into 0
1.281 * [backup-simplify]: Simplify 1 into 1
1.281 * [backup-simplify]: Simplify (- 0) into 0
1.281 * [backup-simplify]: Simplify (+ a 0) into a
1.281 * [taylor]: Taking taylor expansion of (* (pow (+ a b) 2) (pow (- a b) 2)) in a
1.281 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
1.281 * [taylor]: Taking taylor expansion of (+ a b) in a
1.281 * [taylor]: Taking taylor expansion of a in a
1.281 * [backup-simplify]: Simplify 0 into 0
1.281 * [backup-simplify]: Simplify 1 into 1
1.281 * [taylor]: Taking taylor expansion of b in a
1.281 * [backup-simplify]: Simplify b into b
1.281 * [backup-simplify]: Simplify (+ 0 b) into b
1.281 * [taylor]: Taking taylor expansion of (pow (- a b) 2) in a
1.281 * [taylor]: Taking taylor expansion of (- a b) in a
1.281 * [taylor]: Taking taylor expansion of a in a
1.281 * [backup-simplify]: Simplify 0 into 0
1.281 * [backup-simplify]: Simplify 1 into 1
1.281 * [taylor]: Taking taylor expansion of b in a
1.281 * [backup-simplify]: Simplify b into b
1.281 * [backup-simplify]: Simplify (- b) into (- b)
1.282 * [backup-simplify]: Simplify (+ 0 (- b)) into (- b)
1.282 * [taylor]: Taking taylor expansion of (* (pow (+ a b) 2) (pow (- a b) 2)) in a
1.282 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
1.282 * [taylor]: Taking taylor expansion of (+ a b) in a
1.282 * [taylor]: Taking taylor expansion of a in a
1.282 * [backup-simplify]: Simplify 0 into 0
1.282 * [backup-simplify]: Simplify 1 into 1
1.282 * [taylor]: Taking taylor expansion of b in a
1.282 * [backup-simplify]: Simplify b into b
1.282 * [backup-simplify]: Simplify (+ 0 b) into b
1.282 * [taylor]: Taking taylor expansion of (pow (- a b) 2) in a
1.282 * [taylor]: Taking taylor expansion of (- a b) in a
1.282 * [taylor]: Taking taylor expansion of a in a
1.282 * [backup-simplify]: Simplify 0 into 0
1.282 * [backup-simplify]: Simplify 1 into 1
1.282 * [taylor]: Taking taylor expansion of b in a
1.282 * [backup-simplify]: Simplify b into b
1.282 * [backup-simplify]: Simplify (- b) into (- b)
1.282 * [backup-simplify]: Simplify (+ 0 (- b)) into (- b)
1.282 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.282 * [backup-simplify]: Simplify (* (- b) (- b)) into (pow b 2)
1.282 * [backup-simplify]: Simplify (* (pow b 2) (pow b 2)) into (pow b 4)
1.282 * [taylor]: Taking taylor expansion of (pow b 4) in b
1.282 * [taylor]: Taking taylor expansion of b in b
1.282 * [backup-simplify]: Simplify 0 into 0
1.282 * [backup-simplify]: Simplify 1 into 1
1.282 * [backup-simplify]: Simplify (- 0) into 0
1.283 * [backup-simplify]: Simplify (+ 1 0) into 1
1.283 * [backup-simplify]: Simplify (+ (* (- b) 1) (* 1 (- b))) into (- (* 2 b))
1.283 * [backup-simplify]: Simplify (+ 1 0) into 1
1.283 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b)
1.283 * [backup-simplify]: Simplify (+ (* (pow b 2) (- (* 2 b))) (* (* 2 b) (pow b 2))) into 0
1.283 * [taylor]: Taking taylor expansion of 0 in b
1.283 * [backup-simplify]: Simplify 0 into 0
1.283 * [backup-simplify]: Simplify 0 into 0
1.284 * [backup-simplify]: Simplify (- 0) into 0
1.284 * [backup-simplify]: Simplify (+ 0 0) into 0
1.284 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 1) (* 0 (- b)))) into 1
1.284 * [backup-simplify]: Simplify (+ 0 0) into 0
1.285 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1
1.285 * [backup-simplify]: Simplify (+ (* (pow b 2) 1) (+ (* (* 2 b) (- (* 2 b))) (* 1 (pow b 2)))) into (- (* 2 (pow b 2)))
1.285 * [taylor]: Taking taylor expansion of (- (* 2 (pow b 2))) in b
1.285 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b
1.285 * [taylor]: Taking taylor expansion of 2 in b
1.285 * [backup-simplify]: Simplify 2 into 2
1.285 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.285 * [taylor]: Taking taylor expansion of b in b
1.285 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify 1 into 1
1.285 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify (- 0) into 0
1.285 * [backup-simplify]: Simplify (+ 0 0) into 0
1.286 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- b))))) into 0
1.286 * [backup-simplify]: Simplify (+ 0 0) into 0
1.287 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 1) (* 0 b)))) into 0
1.287 * [backup-simplify]: Simplify (+ (* (pow b 2) 0) (+ (* (* 2 b) 1) (+ (* 1 (- (* 2 b))) (* 0 (pow b 2))))) into 0
1.287 * [taylor]: Taking taylor expansion of 0 in b
1.287 * [backup-simplify]: Simplify 0 into 0
1.287 * [backup-simplify]: Simplify 0 into 0
1.287 * [backup-simplify]: Simplify 0 into 0
1.288 * [backup-simplify]: Simplify (- 0) into 0
1.288 * [backup-simplify]: Simplify (+ 0 0) into 0
1.289 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- b)))))) into 0
1.289 * [backup-simplify]: Simplify (+ 0 0) into 0
1.291 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 b))))) into 0
1.291 * [backup-simplify]: Simplify (+ (* (pow b 2) 0) (+ (* (* 2 b) 0) (+ (* 1 1) (+ (* 0 (- (* 2 b))) (* 0 (pow b 2)))))) into 1
1.291 * [taylor]: Taking taylor expansion of 1 in b
1.291 * [backup-simplify]: Simplify 1 into 1
1.291 * [backup-simplify]: Simplify 1 into 1
1.291 * [backup-simplify]: Simplify 0 into 0
1.292 * [backup-simplify]: Simplify (* 1 1) into 1
1.292 * [backup-simplify]: Simplify (* 2 1) into 2
1.293 * [backup-simplify]: Simplify (- 2) into -2
1.293 * [backup-simplify]: Simplify -2 into -2
1.293 * [backup-simplify]: Simplify 0 into 0
1.293 * [backup-simplify]: Simplify (* 1 1) into 1
1.294 * [backup-simplify]: Simplify (* 1 1) into 1
1.294 * [backup-simplify]: Simplify 1 into 1
1.294 * [backup-simplify]: Simplify (+ (* 1 (pow (* b 1) 4)) (+ (* -2 (pow (* b a) 2)) (* 1 (pow (* 1 a) 4)))) into (- (+ (pow b 4) (pow a 4)) (* 2 (* (pow a 2) (pow b 2))))
1.295 * [backup-simplify]: Simplify (* (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b)))) into (* (pow (+ (/ 1 a) (/ 1 b)) 2) (pow (- (/ 1 a) (/ 1 b)) 2))
1.295 * [approximate]: Taking taylor expansion of (* (pow (+ (/ 1 a) (/ 1 b)) 2) (pow (- (/ 1 a) (/ 1 b)) 2)) in (a b) around 0
1.295 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 a) (/ 1 b)) 2) (pow (- (/ 1 a) (/ 1 b)) 2)) in b
1.295 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
1.295 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
1.295 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.295 * [taylor]: Taking taylor expansion of a in b
1.295 * [backup-simplify]: Simplify a into a
1.295 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.295 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.295 * [taylor]: Taking taylor expansion of b in b
1.295 * [backup-simplify]: Simplify 0 into 0
1.295 * [backup-simplify]: Simplify 1 into 1
1.296 * [backup-simplify]: Simplify (/ 1 1) into 1
1.296 * [backup-simplify]: Simplify (+ 0 1) into 1
1.296 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 2) in b
1.296 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b
1.296 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.296 * [taylor]: Taking taylor expansion of a in b
1.296 * [backup-simplify]: Simplify a into a
1.296 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.296 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.296 * [taylor]: Taking taylor expansion of b in b
1.296 * [backup-simplify]: Simplify 0 into 0
1.296 * [backup-simplify]: Simplify 1 into 1
1.297 * [backup-simplify]: Simplify (/ 1 1) into 1
1.297 * [backup-simplify]: Simplify (- 1) into -1
1.298 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.298 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 a) (/ 1 b)) 2) (pow (- (/ 1 a) (/ 1 b)) 2)) in a
1.298 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
1.298 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
1.298 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.298 * [taylor]: Taking taylor expansion of a in a
1.298 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify 1 into 1
1.298 * [backup-simplify]: Simplify (/ 1 1) into 1
1.298 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.298 * [taylor]: Taking taylor expansion of b in a
1.298 * [backup-simplify]: Simplify b into b
1.298 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.299 * [backup-simplify]: Simplify (+ 1 0) into 1
1.299 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 2) in a
1.299 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
1.299 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.299 * [taylor]: Taking taylor expansion of a in a
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify 1 into 1
1.299 * [backup-simplify]: Simplify (/ 1 1) into 1
1.299 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.299 * [taylor]: Taking taylor expansion of b in a
1.299 * [backup-simplify]: Simplify b into b
1.300 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.300 * [backup-simplify]: Simplify (+ 1 0) into 1
1.300 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 a) (/ 1 b)) 2) (pow (- (/ 1 a) (/ 1 b)) 2)) in a
1.300 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
1.300 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
1.300 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.300 * [taylor]: Taking taylor expansion of a in a
1.300 * [backup-simplify]: Simplify 0 into 0
1.300 * [backup-simplify]: Simplify 1 into 1
1.301 * [backup-simplify]: Simplify (/ 1 1) into 1
1.301 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.301 * [taylor]: Taking taylor expansion of b in a
1.301 * [backup-simplify]: Simplify b into b
1.301 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.301 * [backup-simplify]: Simplify (+ 1 0) into 1
1.301 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 2) in a
1.301 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
1.301 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.301 * [taylor]: Taking taylor expansion of a in a
1.301 * [backup-simplify]: Simplify 0 into 0
1.301 * [backup-simplify]: Simplify 1 into 1
1.302 * [backup-simplify]: Simplify (/ 1 1) into 1
1.302 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.302 * [taylor]: Taking taylor expansion of b in a
1.302 * [backup-simplify]: Simplify b into b
1.302 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.302 * [backup-simplify]: Simplify (+ 1 0) into 1
1.303 * [backup-simplify]: Simplify (* 1 1) into 1
1.303 * [backup-simplify]: Simplify (* 1 1) into 1
1.304 * [backup-simplify]: Simplify (* 1 1) into 1
1.304 * [taylor]: Taking taylor expansion of 1 in b
1.304 * [backup-simplify]: Simplify 1 into 1
1.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.305 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b))
1.305 * [backup-simplify]: Simplify (+ 0 (- (/ 1 b))) into (- (/ 1 b))
1.305 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 b))) (* (- (/ 1 b)) 1)) into (- (* 2 (/ 1 b)))
1.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.306 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
1.306 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
1.306 * [backup-simplify]: Simplify (+ (* 1 (- (* 2 (/ 1 b)))) (* (* 2 (/ 1 b)) 1)) into 0
1.306 * [taylor]: Taking taylor expansion of 0 in b
1.306 * [backup-simplify]: Simplify 0 into 0
1.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.308 * [backup-simplify]: Simplify (- 0) into 0
1.308 * [backup-simplify]: Simplify (+ 0 0) into 0
1.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 b)) (- (/ 1 b))) (* 0 1))) into (/ 1 (pow b 2))
1.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.310 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.310 * [backup-simplify]: Simplify (+ 0 0) into 0
1.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
1.312 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow b 2))) (+ (* (* 2 (/ 1 b)) (- (* 2 (/ 1 b)))) (* (/ 1 (pow b 2)) 1))) into (- (* 2 (/ 1 (pow b 2))))
1.312 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow b 2)))) in b
1.312 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b
1.312 * [taylor]: Taking taylor expansion of 2 in b
1.312 * [backup-simplify]: Simplify 2 into 2
1.312 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.312 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.312 * [taylor]: Taking taylor expansion of b in b
1.312 * [backup-simplify]: Simplify 0 into 0
1.312 * [backup-simplify]: Simplify 1 into 1
1.312 * [backup-simplify]: Simplify (* 1 1) into 1
1.313 * [backup-simplify]: Simplify (/ 1 1) into 1
1.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.314 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.314 * [backup-simplify]: Simplify (- 0) into 0
1.315 * [backup-simplify]: Simplify (+ 0 0) into 0
1.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 b)) 0) (+ (* 0 (- (/ 1 b))) (* 0 1)))) into 0
1.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.317 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.317 * [backup-simplify]: Simplify (+ 0 0) into 0
1.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) 0) (+ (* 0 (/ 1 b)) (* 0 1)))) into 0
1.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (* 2 (/ 1 b)) (/ 1 (pow b 2))) (+ (* (/ 1 (pow b 2)) (- (* 2 (/ 1 b)))) (* 0 1)))) into 0
1.320 * [taylor]: Taking taylor expansion of 0 in b
1.320 * [backup-simplify]: Simplify 0 into 0
1.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.321 * [backup-simplify]: Simplify (- 0) into 0
1.322 * [backup-simplify]: Simplify (+ 0 0) into 0
1.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 b)) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 b))) (* 0 1))))) into 0
1.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.324 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.325 * [backup-simplify]: Simplify (+ 0 0) into 0
1.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 1))))) into 0
1.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (* 2 (/ 1 b)) 0) (+ (* (/ 1 (pow b 2)) (/ 1 (pow b 2))) (+ (* 0 (- (* 2 (/ 1 b)))) (* 0 1))))) into (/ 1 (pow b 4))
1.327 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
1.328 * [taylor]: Taking taylor expansion of (pow b 4) in b
1.328 * [taylor]: Taking taylor expansion of b in b
1.328 * [backup-simplify]: Simplify 0 into 0
1.328 * [backup-simplify]: Simplify 1 into 1
1.328 * [backup-simplify]: Simplify (* 1 1) into 1
1.328 * [backup-simplify]: Simplify (* 1 1) into 1
1.329 * [backup-simplify]: Simplify (/ 1 1) into 1
1.329 * [backup-simplify]: Simplify 1 into 1
1.329 * [backup-simplify]: Simplify (* 2 1) into 2
1.330 * [backup-simplify]: Simplify (- 2) into -2
1.330 * [backup-simplify]: Simplify -2 into -2
1.330 * [backup-simplify]: Simplify 1 into 1
1.331 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 4)) (+ (* -2 (pow (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))) 2)) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 4)))) into (- (+ (pow b 4) (pow a 4)) (* 2 (* (pow a 2) (pow b 2))))
1.331 * [backup-simplify]: Simplify (* (* (+ (/ 1 (- a)) (/ 1 (- b))) (- (/ 1 (- a)) (/ 1 (- b)))) (* (+ (/ 1 (- a)) (/ 1 (- b))) (- (/ 1 (- a)) (/ 1 (- b))))) into (* (pow (- (/ 1 b) (/ 1 a)) 2) (pow (+ (/ 1 a) (/ 1 b)) 2))
1.331 * [approximate]: Taking taylor expansion of (* (pow (- (/ 1 b) (/ 1 a)) 2) (pow (+ (/ 1 a) (/ 1 b)) 2)) in (a b) around 0
1.331 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 b) (/ 1 a)) 2) (pow (+ (/ 1 a) (/ 1 b)) 2)) in b
1.331 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 2) in b
1.331 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b
1.331 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.331 * [taylor]: Taking taylor expansion of b in b
1.331 * [backup-simplify]: Simplify 0 into 0
1.331 * [backup-simplify]: Simplify 1 into 1
1.332 * [backup-simplify]: Simplify (/ 1 1) into 1
1.332 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.332 * [taylor]: Taking taylor expansion of a in b
1.332 * [backup-simplify]: Simplify a into a
1.332 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.332 * [backup-simplify]: Simplify (+ 1 0) into 1
1.332 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
1.332 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
1.333 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.333 * [taylor]: Taking taylor expansion of a in b
1.333 * [backup-simplify]: Simplify a into a
1.333 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.333 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.333 * [taylor]: Taking taylor expansion of b in b
1.333 * [backup-simplify]: Simplify 0 into 0
1.333 * [backup-simplify]: Simplify 1 into 1
1.333 * [backup-simplify]: Simplify (/ 1 1) into 1
1.334 * [backup-simplify]: Simplify (+ 0 1) into 1
1.334 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 b) (/ 1 a)) 2) (pow (+ (/ 1 a) (/ 1 b)) 2)) in a
1.334 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 2) in a
1.334 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
1.334 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.334 * [taylor]: Taking taylor expansion of b in a
1.334 * [backup-simplify]: Simplify b into b
1.334 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.334 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.334 * [taylor]: Taking taylor expansion of a in a
1.334 * [backup-simplify]: Simplify 0 into 0
1.334 * [backup-simplify]: Simplify 1 into 1
1.334 * [backup-simplify]: Simplify (/ 1 1) into 1
1.335 * [backup-simplify]: Simplify (- 1) into -1
1.335 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.335 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
1.335 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
1.335 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.335 * [taylor]: Taking taylor expansion of a in a
1.335 * [backup-simplify]: Simplify 0 into 0
1.335 * [backup-simplify]: Simplify 1 into 1
1.336 * [backup-simplify]: Simplify (/ 1 1) into 1
1.336 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.336 * [taylor]: Taking taylor expansion of b in a
1.336 * [backup-simplify]: Simplify b into b
1.336 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.336 * [backup-simplify]: Simplify (+ 1 0) into 1
1.336 * [taylor]: Taking taylor expansion of (* (pow (- (/ 1 b) (/ 1 a)) 2) (pow (+ (/ 1 a) (/ 1 b)) 2)) in a
1.336 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 2) in a
1.336 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
1.336 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.336 * [taylor]: Taking taylor expansion of b in a
1.337 * [backup-simplify]: Simplify b into b
1.337 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.337 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.337 * [taylor]: Taking taylor expansion of a in a
1.337 * [backup-simplify]: Simplify 0 into 0
1.337 * [backup-simplify]: Simplify 1 into 1
1.337 * [backup-simplify]: Simplify (/ 1 1) into 1
1.337 * [backup-simplify]: Simplify (- 1) into -1
1.338 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.338 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
1.338 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
1.338 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.338 * [taylor]: Taking taylor expansion of a in a
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify 1 into 1
1.338 * [backup-simplify]: Simplify (/ 1 1) into 1
1.338 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.339 * [taylor]: Taking taylor expansion of b in a
1.339 * [backup-simplify]: Simplify b into b
1.339 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.339 * [backup-simplify]: Simplify (+ 1 0) into 1
1.339 * [backup-simplify]: Simplify (* -1 -1) into 1
1.340 * [backup-simplify]: Simplify (* 1 1) into 1
1.340 * [backup-simplify]: Simplify (* 1 1) into 1
1.340 * [taylor]: Taking taylor expansion of 1 in b
1.340 * [backup-simplify]: Simplify 1 into 1
1.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.341 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
1.341 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
1.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.343 * [backup-simplify]: Simplify (- 0) into 0
1.343 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
1.343 * [backup-simplify]: Simplify (+ (* -1 (/ 1 b)) (* (/ 1 b) -1)) into (- (* 2 (/ 1 b)))
1.343 * [backup-simplify]: Simplify (+ (* 1 (* 2 (/ 1 b))) (* (- (* 2 (/ 1 b))) 1)) into 0
1.343 * [taylor]: Taking taylor expansion of 0 in b
1.343 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.344 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.344 * [backup-simplify]: Simplify (+ 0 0) into 0
1.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
1.346 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.347 * [backup-simplify]: Simplify (- 0) into 0
1.347 * [backup-simplify]: Simplify (+ 0 0) into 0
1.348 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 -1))) into (/ 1 (pow b 2))
1.349 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow b 2))) (+ (* (- (* 2 (/ 1 b))) (* 2 (/ 1 b))) (* (/ 1 (pow b 2)) 1))) into (- (* 2 (/ 1 (pow b 2))))
1.349 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow b 2)))) in b
1.349 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b
1.349 * [taylor]: Taking taylor expansion of 2 in b
1.349 * [backup-simplify]: Simplify 2 into 2
1.349 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.349 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.349 * [taylor]: Taking taylor expansion of b in b
1.349 * [backup-simplify]: Simplify 0 into 0
1.349 * [backup-simplify]: Simplify 1 into 1
1.349 * [backup-simplify]: Simplify (* 1 1) into 1
1.350 * [backup-simplify]: Simplify (/ 1 1) into 1
1.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.351 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.352 * [backup-simplify]: Simplify (+ 0 0) into 0
1.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) 0) (+ (* 0 (/ 1 b)) (* 0 1)))) into 0
1.353 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.354 * [backup-simplify]: Simplify (- 0) into 0
1.355 * [backup-simplify]: Simplify (+ 0 0) into 0
1.355 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 (/ 1 b)) (* 0 -1)))) into 0
1.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (* 2 (/ 1 b))) (/ 1 (pow b 2))) (+ (* (/ 1 (pow b 2)) (* 2 (/ 1 b))) (* 0 1)))) into 0
1.357 * [taylor]: Taking taylor expansion of 0 in b
1.357 * [backup-simplify]: Simplify 0 into 0
1.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.358 * [backup-simplify]: Simplify (+ 0 0) into 0
1.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 1))))) into 0
1.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)) (* 0 (/ 0 b)) (* 0 (/ 0 b)))) into 0
1.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.361 * [backup-simplify]: Simplify (- 0) into 0
1.362 * [backup-simplify]: Simplify (+ 0 0) into 0
1.363 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) 0) (+ (* 0 0) (+ (* 0 (/ 1 b)) (* 0 -1))))) into 0
1.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (* 2 (/ 1 b))) 0) (+ (* (/ 1 (pow b 2)) (/ 1 (pow b 2))) (+ (* 0 (* 2 (/ 1 b))) (* 0 1))))) into (/ 1 (pow b 4))
1.364 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
1.364 * [taylor]: Taking taylor expansion of (pow b 4) in b
1.364 * [taylor]: Taking taylor expansion of b in b
1.364 * [backup-simplify]: Simplify 0 into 0
1.364 * [backup-simplify]: Simplify 1 into 1
1.365 * [backup-simplify]: Simplify (* 1 1) into 1
1.365 * [backup-simplify]: Simplify (* 1 1) into 1
1.366 * [backup-simplify]: Simplify (/ 1 1) into 1
1.366 * [backup-simplify]: Simplify 1 into 1
1.366 * [backup-simplify]: Simplify (* 2 1) into 2
1.367 * [backup-simplify]: Simplify (- 2) into -2
1.367 * [backup-simplify]: Simplify -2 into -2
1.367 * [backup-simplify]: Simplify 1 into 1
1.367 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 4)) (+ (* -2 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 4)))) into (- (+ (pow b 4) (pow a 4)) (* 2 (* (pow a 2) (pow b 2))))
1.367 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.368 * [backup-simplify]: Simplify (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))) into (pow (+ a b) 2)
1.368 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0
1.368 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b
1.368 * [taylor]: Taking taylor expansion of (+ a b) in b
1.368 * [taylor]: Taking taylor expansion of a in b
1.368 * [backup-simplify]: Simplify a into a
1.368 * [taylor]: Taking taylor expansion of b in b
1.368 * [backup-simplify]: Simplify 0 into 0
1.368 * [backup-simplify]: Simplify 1 into 1
1.368 * [backup-simplify]: Simplify (+ a 0) into a
1.368 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
1.368 * [taylor]: Taking taylor expansion of (+ a b) in a
1.368 * [taylor]: Taking taylor expansion of a in a
1.368 * [backup-simplify]: Simplify 0 into 0
1.368 * [backup-simplify]: Simplify 1 into 1
1.368 * [taylor]: Taking taylor expansion of b in a
1.368 * [backup-simplify]: Simplify b into b
1.368 * [backup-simplify]: Simplify (+ 0 b) into b
1.368 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a
1.368 * [taylor]: Taking taylor expansion of (+ a b) in a
1.368 * [taylor]: Taking taylor expansion of a in a
1.368 * [backup-simplify]: Simplify 0 into 0
1.368 * [backup-simplify]: Simplify 1 into 1
1.368 * [taylor]: Taking taylor expansion of b in a
1.368 * [backup-simplify]: Simplify b into b
1.368 * [backup-simplify]: Simplify (+ 0 b) into b
1.369 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.369 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.369 * [taylor]: Taking taylor expansion of b in b
1.369 * [backup-simplify]: Simplify 0 into 0
1.369 * [backup-simplify]: Simplify 1 into 1
1.369 * [backup-simplify]: Simplify (+ 1 0) into 1
1.369 * [backup-simplify]: Simplify (+ (* b 1) (* 1 b)) into (* 2 b)
1.369 * [taylor]: Taking taylor expansion of (* 2 b) in b
1.369 * [taylor]: Taking taylor expansion of 2 in b
1.369 * [backup-simplify]: Simplify 2 into 2
1.369 * [taylor]: Taking taylor expansion of b in b
1.369 * [backup-simplify]: Simplify 0 into 0
1.369 * [backup-simplify]: Simplify 1 into 1
1.370 * [backup-simplify]: Simplify (* 2 0) into 0
1.370 * [backup-simplify]: Simplify 0 into 0
1.370 * [backup-simplify]: Simplify (+ 0 0) into 0
1.370 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 1 1) (* 0 b))) into 1
1.370 * [taylor]: Taking taylor expansion of 1 in b
1.370 * [backup-simplify]: Simplify 1 into 1
1.370 * [backup-simplify]: Simplify 1 into 1
1.371 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
1.371 * [backup-simplify]: Simplify 2 into 2
1.371 * [backup-simplify]: Simplify (* 1 1) into 1
1.371 * [backup-simplify]: Simplify 1 into 1
1.371 * [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))))
1.372 * [backup-simplify]: Simplify (/ (* (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b)))) (* (- (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b)))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
1.372 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
1.372 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
1.372 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
1.372 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.372 * [taylor]: Taking taylor expansion of a in b
1.372 * [backup-simplify]: Simplify a into a
1.372 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.372 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.372 * [taylor]: Taking taylor expansion of b in b
1.372 * [backup-simplify]: Simplify 0 into 0
1.372 * [backup-simplify]: Simplify 1 into 1
1.372 * [backup-simplify]: Simplify (/ 1 1) into 1
1.372 * [backup-simplify]: Simplify (+ 0 1) into 1
1.372 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
1.372 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
1.372 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.372 * [taylor]: Taking taylor expansion of a in a
1.372 * [backup-simplify]: Simplify 0 into 0
1.372 * [backup-simplify]: Simplify 1 into 1
1.373 * [backup-simplify]: Simplify (/ 1 1) into 1
1.373 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.373 * [taylor]: Taking taylor expansion of b in a
1.373 * [backup-simplify]: Simplify b into b
1.373 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.373 * [backup-simplify]: Simplify (+ 1 0) into 1
1.373 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
1.373 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
1.373 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.373 * [taylor]: Taking taylor expansion of a in a
1.373 * [backup-simplify]: Simplify 0 into 0
1.373 * [backup-simplify]: Simplify 1 into 1
1.374 * [backup-simplify]: Simplify (/ 1 1) into 1
1.374 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.374 * [taylor]: Taking taylor expansion of b in a
1.374 * [backup-simplify]: Simplify b into b
1.374 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.374 * [backup-simplify]: Simplify (+ 1 0) into 1
1.375 * [backup-simplify]: Simplify (* 1 1) into 1
1.375 * [taylor]: Taking taylor expansion of 1 in b
1.375 * [backup-simplify]: Simplify 1 into 1
1.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.376 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
1.376 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
1.376 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
1.376 * [taylor]: Taking taylor expansion of 2 in b
1.376 * [backup-simplify]: Simplify 2 into 2
1.376 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.376 * [taylor]: Taking taylor expansion of b in b
1.376 * [backup-simplify]: Simplify 0 into 0
1.376 * [backup-simplify]: Simplify 1 into 1
1.377 * [backup-simplify]: Simplify (/ 1 1) into 1
1.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.378 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.378 * [backup-simplify]: Simplify (+ 0 0) into 0
1.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
1.379 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.379 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.379 * [taylor]: Taking taylor expansion of b in b
1.379 * [backup-simplify]: Simplify 0 into 0
1.379 * [backup-simplify]: Simplify 1 into 1
1.380 * [backup-simplify]: Simplify (* 1 1) into 1
1.380 * [backup-simplify]: Simplify (/ 1 1) into 1
1.380 * [backup-simplify]: Simplify 1 into 1
1.380 * [backup-simplify]: Simplify (* 2 1) into 2
1.381 * [backup-simplify]: Simplify 2 into 2
1.381 * [backup-simplify]: Simplify 1 into 1
1.381 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 2)) (+ (* 2 (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a)))) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 2)))) into (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
1.382 * [backup-simplify]: Simplify (/ (* (* (+ (/ 1 (- a)) (/ 1 (- b))) (- (/ 1 (- a)) (/ 1 (- b)))) (* (+ (/ 1 (- a)) (/ 1 (- b))) (- (/ 1 (- a)) (/ 1 (- b))))) (* (- (/ 1 (- a)) (/ 1 (- b))) (- (/ 1 (- a)) (/ 1 (- b))))) into (pow (+ (/ 1 a) (/ 1 b)) 2)
1.382 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in (a b) around 0
1.382 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in b
1.382 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
1.382 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.382 * [taylor]: Taking taylor expansion of a in b
1.382 * [backup-simplify]: Simplify a into a
1.382 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.382 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.382 * [taylor]: Taking taylor expansion of b in b
1.382 * [backup-simplify]: Simplify 0 into 0
1.382 * [backup-simplify]: Simplify 1 into 1
1.382 * [backup-simplify]: Simplify (/ 1 1) into 1
1.383 * [backup-simplify]: Simplify (+ 0 1) into 1
1.383 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
1.383 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
1.383 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.383 * [taylor]: Taking taylor expansion of a in a
1.383 * [backup-simplify]: Simplify 0 into 0
1.383 * [backup-simplify]: Simplify 1 into 1
1.383 * [backup-simplify]: Simplify (/ 1 1) into 1
1.383 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.383 * [taylor]: Taking taylor expansion of b in a
1.383 * [backup-simplify]: Simplify b into b
1.383 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.384 * [backup-simplify]: Simplify (+ 1 0) into 1
1.384 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 2) in a
1.384 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
1.384 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.384 * [taylor]: Taking taylor expansion of a in a
1.384 * [backup-simplify]: Simplify 0 into 0
1.384 * [backup-simplify]: Simplify 1 into 1
1.384 * [backup-simplify]: Simplify (/ 1 1) into 1
1.384 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.384 * [taylor]: Taking taylor expansion of b in a
1.384 * [backup-simplify]: Simplify b into b
1.385 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.385 * [backup-simplify]: Simplify (+ 1 0) into 1
1.385 * [backup-simplify]: Simplify (* 1 1) into 1
1.385 * [taylor]: Taking taylor expansion of 1 in b
1.385 * [backup-simplify]: Simplify 1 into 1
1.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.386 * [backup-simplify]: Simplify (+ 0 (/ 1 b)) into (/ 1 b)
1.387 * [backup-simplify]: Simplify (+ (* 1 (/ 1 b)) (* (/ 1 b) 1)) into (* 2 (/ 1 b))
1.387 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
1.387 * [taylor]: Taking taylor expansion of 2 in b
1.387 * [backup-simplify]: Simplify 2 into 2
1.387 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.387 * [taylor]: Taking taylor expansion of b in b
1.387 * [backup-simplify]: Simplify 0 into 0
1.387 * [backup-simplify]: Simplify 1 into 1
1.387 * [backup-simplify]: Simplify (/ 1 1) into 1
1.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.388 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.389 * [backup-simplify]: Simplify (+ 0 0) into 0
1.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 1))) into (/ 1 (pow b 2))
1.390 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.390 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.390 * [taylor]: Taking taylor expansion of b in b
1.390 * [backup-simplify]: Simplify 0 into 0
1.390 * [backup-simplify]: Simplify 1 into 1
1.390 * [backup-simplify]: Simplify (* 1 1) into 1
1.390 * [backup-simplify]: Simplify (/ 1 1) into 1
1.391 * [backup-simplify]: Simplify 1 into 1
1.391 * [backup-simplify]: Simplify (* 2 1) into 2
1.391 * [backup-simplify]: Simplify 2 into 2
1.391 * [backup-simplify]: Simplify 1 into 1
1.392 * [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))))
1.392 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.392 * [backup-simplify]: Simplify (* (- a b) (- a b)) into (pow (- a b) 2)
1.392 * [approximate]: Taking taylor expansion of (pow (- a b) 2) in (a b) around 0
1.392 * [taylor]: Taking taylor expansion of (pow (- a b) 2) in b
1.392 * [taylor]: Taking taylor expansion of (- a b) in b
1.392 * [taylor]: Taking taylor expansion of a in b
1.392 * [backup-simplify]: Simplify a into a
1.392 * [taylor]: Taking taylor expansion of b in b
1.392 * [backup-simplify]: Simplify 0 into 0
1.392 * [backup-simplify]: Simplify 1 into 1
1.393 * [backup-simplify]: Simplify (- 0) into 0
1.393 * [backup-simplify]: Simplify (+ a 0) into a
1.393 * [taylor]: Taking taylor expansion of (pow (- a b) 2) in a
1.393 * [taylor]: Taking taylor expansion of (- a b) in a
1.393 * [taylor]: Taking taylor expansion of a in a
1.393 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify 1 into 1
1.393 * [taylor]: Taking taylor expansion of b in a
1.393 * [backup-simplify]: Simplify b into b
1.393 * [backup-simplify]: Simplify (- b) into (- b)
1.393 * [backup-simplify]: Simplify (+ 0 (- b)) into (- b)
1.393 * [taylor]: Taking taylor expansion of (pow (- a b) 2) in a
1.393 * [taylor]: Taking taylor expansion of (- a b) in a
1.393 * [taylor]: Taking taylor expansion of a in a
1.393 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify 1 into 1
1.393 * [taylor]: Taking taylor expansion of b in a
1.393 * [backup-simplify]: Simplify b into b
1.393 * [backup-simplify]: Simplify (- b) into (- b)
1.393 * [backup-simplify]: Simplify (+ 0 (- b)) into (- b)
1.393 * [backup-simplify]: Simplify (* (- b) (- b)) into (pow b 2)
1.394 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.394 * [taylor]: Taking taylor expansion of b in b
1.394 * [backup-simplify]: Simplify 0 into 0
1.394 * [backup-simplify]: Simplify 1 into 1
1.394 * [backup-simplify]: Simplify (- 0) into 0
1.395 * [backup-simplify]: Simplify (+ 1 0) into 1
1.395 * [backup-simplify]: Simplify (+ (* (- b) 1) (* 1 (- b))) into (- (* 2 b))
1.395 * [taylor]: Taking taylor expansion of (- (* 2 b)) in b
1.395 * [taylor]: Taking taylor expansion of (* 2 b) in b
1.395 * [taylor]: Taking taylor expansion of 2 in b
1.395 * [backup-simplify]: Simplify 2 into 2
1.395 * [taylor]: Taking taylor expansion of b in b
1.395 * [backup-simplify]: Simplify 0 into 0
1.395 * [backup-simplify]: Simplify 1 into 1
1.396 * [backup-simplify]: Simplify (* 2 0) into 0
1.396 * [backup-simplify]: Simplify (- 0) into 0
1.396 * [backup-simplify]: Simplify 0 into 0
1.396 * [backup-simplify]: Simplify (- 0) into 0
1.397 * [backup-simplify]: Simplify (+ 0 0) into 0
1.397 * [backup-simplify]: Simplify (+ (* (- b) 0) (+ (* 1 1) (* 0 (- b)))) into 1
1.397 * [taylor]: Taking taylor expansion of 1 in b
1.397 * [backup-simplify]: Simplify 1 into 1
1.397 * [backup-simplify]: Simplify 1 into 1
1.398 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
1.399 * [backup-simplify]: Simplify (- 2) into -2
1.399 * [backup-simplify]: Simplify -2 into -2
1.399 * [backup-simplify]: Simplify (* 1 1) into 1
1.399 * [backup-simplify]: Simplify 1 into 1
1.399 * [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)))
1.400 * [backup-simplify]: Simplify (* (- (/ 1 a) (/ 1 b)) (- (/ 1 a) (/ 1 b))) into (pow (- (/ 1 a) (/ 1 b)) 2)
1.400 * [approximate]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 2) in (a b) around 0
1.400 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 2) in b
1.400 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b
1.400 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.400 * [taylor]: Taking taylor expansion of a in b
1.400 * [backup-simplify]: Simplify a into a
1.400 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.400 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.400 * [taylor]: Taking taylor expansion of b in b
1.400 * [backup-simplify]: Simplify 0 into 0
1.400 * [backup-simplify]: Simplify 1 into 1
1.400 * [backup-simplify]: Simplify (/ 1 1) into 1
1.401 * [backup-simplify]: Simplify (- 1) into -1
1.402 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.402 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 2) in a
1.402 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
1.402 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.402 * [taylor]: Taking taylor expansion of a in a
1.402 * [backup-simplify]: Simplify 0 into 0
1.402 * [backup-simplify]: Simplify 1 into 1
1.402 * [backup-simplify]: Simplify (/ 1 1) into 1
1.402 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.402 * [taylor]: Taking taylor expansion of b in a
1.402 * [backup-simplify]: Simplify b into b
1.402 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.403 * [backup-simplify]: Simplify (+ 1 0) into 1
1.403 * [taylor]: Taking taylor expansion of (pow (- (/ 1 a) (/ 1 b)) 2) in a
1.403 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a
1.403 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.403 * [taylor]: Taking taylor expansion of a in a
1.403 * [backup-simplify]: Simplify 0 into 0
1.403 * [backup-simplify]: Simplify 1 into 1
1.403 * [backup-simplify]: Simplify (/ 1 1) into 1
1.403 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.403 * [taylor]: Taking taylor expansion of b in a
1.403 * [backup-simplify]: Simplify b into b
1.403 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.404 * [backup-simplify]: Simplify (+ 1 0) into 1
1.404 * [backup-simplify]: Simplify (* 1 1) into 1
1.404 * [taylor]: Taking taylor expansion of 1 in b
1.404 * [backup-simplify]: Simplify 1 into 1
1.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.405 * [backup-simplify]: Simplify (- (/ 1 b)) into (- (/ 1 b))
1.405 * [backup-simplify]: Simplify (+ 0 (- (/ 1 b))) into (- (/ 1 b))
1.406 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 b))) (* (- (/ 1 b)) 1)) into (- (* 2 (/ 1 b)))
1.406 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 b))) in b
1.406 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
1.406 * [taylor]: Taking taylor expansion of 2 in b
1.406 * [backup-simplify]: Simplify 2 into 2
1.406 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.406 * [taylor]: Taking taylor expansion of b in b
1.406 * [backup-simplify]: Simplify 0 into 0
1.406 * [backup-simplify]: Simplify 1 into 1
1.406 * [backup-simplify]: Simplify (/ 1 1) into 1
1.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.408 * [backup-simplify]: Simplify (- 0) into 0
1.408 * [backup-simplify]: Simplify (+ 0 0) into 0
1.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 b)) (- (/ 1 b))) (* 0 1))) into (/ 1 (pow b 2))
1.409 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.409 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.409 * [taylor]: Taking taylor expansion of b in b
1.409 * [backup-simplify]: Simplify 0 into 0
1.409 * [backup-simplify]: Simplify 1 into 1
1.410 * [backup-simplify]: Simplify (* 1 1) into 1
1.410 * [backup-simplify]: Simplify (/ 1 1) into 1
1.410 * [backup-simplify]: Simplify 1 into 1
1.411 * [backup-simplify]: Simplify (* 2 1) into 2
1.411 * [backup-simplify]: Simplify (- 2) into -2
1.411 * [backup-simplify]: Simplify -2 into -2
1.411 * [backup-simplify]: Simplify 1 into 1
1.412 * [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)))
1.412 * [backup-simplify]: Simplify (* (- (/ 1 (- a)) (/ 1 (- b))) (- (/ 1 (- a)) (/ 1 (- b)))) into (pow (- (/ 1 b) (/ 1 a)) 2)
1.412 * [approximate]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 2) in (a b) around 0
1.412 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 2) in b
1.412 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b
1.412 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.412 * [taylor]: Taking taylor expansion of b in b
1.412 * [backup-simplify]: Simplify 0 into 0
1.412 * [backup-simplify]: Simplify 1 into 1
1.412 * [backup-simplify]: Simplify (/ 1 1) into 1
1.413 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.413 * [taylor]: Taking taylor expansion of a in b
1.413 * [backup-simplify]: Simplify a into a
1.413 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
1.413 * [backup-simplify]: Simplify (+ 1 0) into 1
1.413 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 2) in a
1.413 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
1.413 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.413 * [taylor]: Taking taylor expansion of b in a
1.413 * [backup-simplify]: Simplify b into b
1.413 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.413 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.413 * [taylor]: Taking taylor expansion of a in a
1.413 * [backup-simplify]: Simplify 0 into 0
1.413 * [backup-simplify]: Simplify 1 into 1
1.414 * [backup-simplify]: Simplify (/ 1 1) into 1
1.417 * [backup-simplify]: Simplify (- 1) into -1
1.418 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.418 * [taylor]: Taking taylor expansion of (pow (- (/ 1 b) (/ 1 a)) 2) in a
1.418 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a
1.418 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.418 * [taylor]: Taking taylor expansion of b in a
1.418 * [backup-simplify]: Simplify b into b
1.418 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b)
1.418 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.418 * [taylor]: Taking taylor expansion of a in a
1.418 * [backup-simplify]: Simplify 0 into 0
1.418 * [backup-simplify]: Simplify 1 into 1
1.419 * [backup-simplify]: Simplify (/ 1 1) into 1
1.419 * [backup-simplify]: Simplify (- 1) into -1
1.419 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.420 * [backup-simplify]: Simplify (* -1 -1) into 1
1.420 * [taylor]: Taking taylor expansion of 1 in b
1.420 * [backup-simplify]: Simplify 1 into 1
1.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.421 * [backup-simplify]: Simplify (- 0) into 0
1.421 * [backup-simplify]: Simplify (+ (/ 1 b) 0) into (/ 1 b)
1.421 * [backup-simplify]: Simplify (+ (* -1 (/ 1 b)) (* (/ 1 b) -1)) into (- (* 2 (/ 1 b)))
1.421 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 b))) in b
1.421 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b
1.421 * [taylor]: Taking taylor expansion of 2 in b
1.421 * [backup-simplify]: Simplify 2 into 2
1.421 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.421 * [taylor]: Taking taylor expansion of b in b
1.421 * [backup-simplify]: Simplify 0 into 0
1.421 * [backup-simplify]: Simplify 1 into 1
1.422 * [backup-simplify]: Simplify (/ 1 1) into 1
1.422 * [backup-simplify]: Simplify (- (+ (* (/ 1 b) (/ 0 b)))) into 0
1.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.423 * [backup-simplify]: Simplify (- 0) into 0
1.424 * [backup-simplify]: Simplify (+ 0 0) into 0
1.424 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 b) (/ 1 b)) (* 0 -1))) into (/ 1 (pow b 2))
1.424 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.425 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.425 * [taylor]: Taking taylor expansion of b in b
1.425 * [backup-simplify]: Simplify 0 into 0
1.425 * [backup-simplify]: Simplify 1 into 1
1.425 * [backup-simplify]: Simplify (* 1 1) into 1
1.425 * [backup-simplify]: Simplify (/ 1 1) into 1
1.425 * [backup-simplify]: Simplify 1 into 1
1.426 * [backup-simplify]: Simplify (* 2 1) into 2
1.426 * [backup-simplify]: Simplify (- 2) into -2
1.426 * [backup-simplify]: Simplify -2 into -2
1.426 * [backup-simplify]: Simplify 1 into 1
1.427 * [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)))
1.427 * * * [progress]: simplifying candidates
1.427 * * * * [progress]: [ 1 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (+ a b) (- a b)) (+ 1 1)) (* (- a b) (- a b))))>
1.427 * * * * [progress]: [ 2 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (+ a b) (- a b)) (+ 1 1)) (* (- a b) (- a b))))>
1.427 * * * * [progress]: [ 3 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (+ a b) (- a b)) (+ 1 1)) (* (- a b) (- a b))))>
1.427 * * * * [progress]: [ 4 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (+ a b) (- a b)) (+ 1 1)) (* (- a b) (- a b))))>
1.427 * * * * [progress]: [ 5 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) 1) (* (- a b) (- a b))))>
1.427 * * * * [progress]: [ 6 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) 1) (* (- a b) (- a b))))>
1.427 * * * * [progress]: [ 7 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) 1) (* (- a b) (- a b))))>
1.427 * * * * [progress]: [ 8 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) 1) (* (- a b) (- a b))))>
1.427 * * * * [progress]: [ 9 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (+ a b) (- a b)) 2) (* (- a b) (- a b))))>
1.427 * * * * [progress]: [ 10 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (+ a b) (- a b)) (+ 1 1)) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 11 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (+ a b) (- a b)) (+ 1 1)) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 12 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) 1) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 13 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (exp (+ (+ (log (+ a b)) (log (- a b))) (+ (log (+ a b)) (log (- a b))))) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 14 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (exp (+ (+ (log (+ a b)) (log (- a b))) (log (* (+ a b) (- a b))))) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 15 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (exp (+ (log (* (+ a b) (- a b))) (+ (log (+ a b)) (log (- a b))))) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 16 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (exp (+ (log (* (+ a b) (- a b))) (log (* (+ a b) (- a b))))) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 17 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (exp (log (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 18 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (log (exp (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 19 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (cbrt (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))))) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 20 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (cbrt (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))))) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 21 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (cbrt (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))))) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 22 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (cbrt (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))))) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 23 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (cbrt (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (cbrt (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))) (cbrt (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))) (* (- a b) (- a b))))>
1.428 * * * * [progress]: [ 24 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (cbrt (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 25 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (sqrt (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (sqrt (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 26 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 27 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 28 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 29 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ a b)))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 30 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 31 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ a b))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 32 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (- (* b b) (* a b))))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 33 / 300 ] 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))) (+ (* a a) (+ (* b b) (* a b)))) (- a b))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 34 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 35 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))) (* (- a b) (- a b))))>
1.429 * * * * [progress]: [ 36 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 37 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (- a b) (+ a b)))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 38 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 39 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ a b) (- (* a a) (* b b)))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ a b))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 40 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ (* a a) (- (* b b) (* a b))))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 41 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- a b))) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (- a b))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 42 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 43 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b 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)))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 44 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 45 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ a b)))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 46 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 47 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b)))) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ a b))) (* (- a b) (- a b))))>
1.430 * * * * [progress]: [ 48 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (- (* b b) (* a b))))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 49 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- a b))) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (- a b))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 50 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 51 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (- a b) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 52 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (+ a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 53 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (- a b) (+ a b)) (* (- a b) (+ a b)))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 54 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (- a b) (+ a b)) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 55 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ a b) (- (* a a) (* b b)))) (* (* (- a b) (+ a b)) (+ a b))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 56 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (- a b) (+ a b)) (+ (* a a) (- (* b b) (* a b))))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 57 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- a b))) (* (* (- a b) (+ a b)) (- a b))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 58 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (+ (* a a) (+ (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 59 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (+ (* a a) (+ (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))) (* (- a b) (- a b))))>
1.431 * * * * [progress]: [ 60 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (+ (* a a) (+ (* b b) (* a b))) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 61 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (+ (* a a) (+ (* b b) (* a b))) (* (- a b) (+ a b)))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 62 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 63 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b)))) (* (+ (* a a) (+ (* b b) (* a b))) (+ a b))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 64 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 65 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- a b))) (* (+ (* a a) (+ (* b b) (* a b))) (- a b))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 66 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (+ a b) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 67 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (+ a b) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 68 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (+ a b) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 69 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (+ a b) (* (- a b) (+ a b)))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 70 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (+ a b) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 71 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ a b) (- (* a a) (* b b)))) (* (+ a b) (+ a b))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 72 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (+ a b) (+ (* a a) (- (* b b) (* a b))))) (* (- a b) (- a b))))>
1.432 * * * * [progress]: [ 73 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- a b))) (* (+ a b) (- a b))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 74 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- 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))) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 75 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 76 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (+ (* a a) (- (* b b) (* a b))) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 77 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (* (- a b) (+ a b)))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 78 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 79 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ a b) (- (* a a) (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 80 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 81 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (- (* a a) (* b b)) (- a b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 82 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (- a b) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 83 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (- a b) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 84 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- a b)) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (- a b) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 85 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- a b)) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (- a b) (* (- a b) (+ a b)))) (* (- a b) (- a b))))>
1.433 * * * * [progress]: [ 86 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 87 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ a b) (- (* a a) (* b b)))) (* (- a b) (+ a b))) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 88 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (- a b) (+ (* a a) (- (* b b) (* a b))))) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 89 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- a b)) (* (- (* a a) (* b b)) (- a b))) (* (- a b) (- a b))) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 90 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* 1 (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 91 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (+ a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 92 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (+ a b) (- a b)) (* 2 1)) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 93 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (+ a b) (- a b)) (* 2 1)) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 94 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (+ a b) (- a b)) (* 2 1)) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 95 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (pow (* (+ a b) (- a b)) (* 2 1)) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 96 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (+ a b) (- a b)) (* (+ a b) a)) (* (* (+ a b) (- a b)) (* (+ a b) (- b)))) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 97 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (+ a b) (- a b)) (* (+ a b) a)) (* (* (+ a b) (- a b)) (* (+ a b) (- b)))) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 98 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (+ a b) (- a b)) (* a (+ a b))) (* (* (+ a b) (- a b)) (* (- b) (+ a b)))) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 99 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (+ a b) (- a b)) (* a (+ a b))) (* (* (+ a b) (- a b)) (* (- b) (+ a b)))) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 100 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (+ a b) a) (* (+ a b) (- a b))) (* (* (+ a b) (- b)) (* (+ a b) (- a b)))) (* (- a b) (- a b))))>
1.434 * * * * [progress]: [ 101 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* (+ a b) a) (* (+ a b) (- a b))) (* (* (+ a b) (- b)) (* (+ a b) (- a b)))) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 102 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* a (+ a b)) (* (+ a b) (- a b))) (* (* (- b) (+ a b)) (* (+ a b) (- a b)))) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 103 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (+ (* (* a (+ a b)) (* (+ a b) (- a b))) (* (* (- b) (+ a b)) (* (+ a b) (- a b)))) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 104 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (* (+ a b) (- a b)) (+ a b)) (- a b)) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 105 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (* (- a b) (* (+ a b) (- a b)))) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 106 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 107 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 108 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- a b)) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 109 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- a b)) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (- a b) (+ a b))) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 110 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- a b)) (* (+ a b) (- (pow a 3) (pow b 3)))) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 111 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- a b)) (* (+ a b) (- (* a a) (* b b)))) (+ a b)) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 112 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- a b)) (* (+ (pow a 3) (pow b 3)) (- a b))) (+ (* a a) (- (* b b) (* a b)))) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 113 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- a b)) (* (- (* a a) (* b b)) (- a b))) (- a b)) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 114 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ a b) (- a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.435 * * * * [progress]: [ 115 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ a b) (- a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))) (* (- a b) (- a b))))>
1.436 * * * * [progress]: [ 116 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ a b) (- a b))) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))) (* (- a b) (- a b))))>
1.436 * * * * [progress]: [ 117 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ a b) (- a b))) (* (- a b) (+ a b))) (* (- a b) (- a b))))>
1.436 * * * * [progress]: [ 118 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ a b) (- a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (- a b))))>
1.436 * * * * [progress]: [ 119 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ a b) (- a b))) (+ a b)) (* (- a b) (- a b))))>
1.436 * * * * [progress]: [ 120 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ a b) (- a b))) (+ (* a a) (- (* b b) (* a b)))) (* (- a b) (- a b))))>
1.436 * * * * [progress]: [ 121 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ a b) (- a b))) (- a b)) (* (- a b) (- a b))))>
1.436 * * * * [progress]: [ 122 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (posit16->real (real->posit16 (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))) (* (- a b) (- a b))))>
1.436 * * * * [progress]: [ 123 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))>
1.436 * * * * [progress]: [ 124 / 300 ] simplifiying candidate #<alt (λ (a b) (pow (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))) 1))>
1.436 * * * * [progress]: [ 125 / 300 ] simplifiying candidate #<alt (λ (a b) (exp (- (+ (+ (log (+ a b)) (log (- a b))) (+ (log (+ a b)) (log (- a b)))) (+ (log (- a b)) (log (- a b))))))>
1.436 * * * * [progress]: [ 126 / 300 ] simplifiying candidate #<alt (λ (a b) (exp (- (+ (+ (log (+ a b)) (log (- a b))) (+ (log (+ a b)) (log (- a b)))) (log (* (- a b) (- a b))))))>
1.436 * * * * [progress]: [ 127 / 300 ] simplifiying candidate #<alt (λ (a b) (exp (- (+ (+ (log (+ a b)) (log (- a b))) (log (* (+ a b) (- a b)))) (+ (log (- a b)) (log (- a b))))))>
1.436 * * * * [progress]: [ 128 / 300 ] simplifiying candidate #<alt (λ (a b) (exp (- (+ (+ (log (+ a b)) (log (- a b))) (log (* (+ a b) (- a b)))) (log (* (- a b) (- a b))))))>
1.436 * * * * [progress]: [ 129 / 300 ] simplifiying candidate #<alt (λ (a b) (exp (- (+ (log (* (+ a b) (- a b))) (+ (log (+ a b)) (log (- a b)))) (+ (log (- a b)) (log (- a b))))))>
1.436 * * * * [progress]: [ 130 / 300 ] simplifiying candidate #<alt (λ (a b) (exp (- (+ (log (* (+ a b) (- a b))) (+ (log (+ a b)) (log (- a b)))) (log (* (- a b) (- a b))))))>
1.437 * * * * [progress]: [ 131 / 300 ] simplifiying candidate #<alt (λ (a b) (exp (- (+ (log (* (+ a b) (- a b))) (log (* (+ a b) (- a b)))) (+ (log (- a b)) (log (- a b))))))>
1.437 * * * * [progress]: [ 132 / 300 ] simplifiying candidate #<alt (λ (a b) (exp (- (+ (log (* (+ a b) (- a b))) (log (* (+ a b) (- a b)))) (log (* (- a b) (- a b))))))>
1.437 * * * * [progress]: [ 133 / 300 ] simplifiying candidate #<alt (λ (a b) (exp (- (log (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (+ (log (- a b)) (log (- a b))))))>
1.437 * * * * [progress]: [ 134 / 300 ] simplifiying candidate #<alt (λ (a b) (exp (- (log (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (log (* (- a b) (- a b))))))>
1.437 * * * * [progress]: [ 135 / 300 ] simplifiying candidate #<alt (λ (a b) (exp (log (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))))>
1.437 * * * * [progress]: [ 136 / 300 ] simplifiying candidate #<alt (λ (a b) (log (exp (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))))>
1.437 * * * * [progress]: [ 137 / 300 ] simplifiying candidate #<alt (λ (a b) (cbrt (/ (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b)))) (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b))))))>
1.437 * * * * [progress]: [ 138 / 300 ] simplifiying candidate #<alt (λ (a b) (cbrt (/ (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b)))) (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))))>
1.437 * * * * [progress]: [ 139 / 300 ] simplifiying candidate #<alt (λ (a b) (cbrt (/ (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b))))))>
1.437 * * * * [progress]: [ 140 / 300 ] simplifiying candidate #<alt (λ (a b) (cbrt (/ (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))))>
1.437 * * * * [progress]: [ 141 / 300 ] simplifiying candidate #<alt (λ (a b) (cbrt (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b)))) (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b))))))>
1.437 * * * * [progress]: [ 142 / 300 ] simplifiying candidate #<alt (λ (a b) (cbrt (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b)))) (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))))>
1.437 * * * * [progress]: [ 143 / 300 ] simplifiying candidate #<alt (λ (a b) (cbrt (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b))))))>
1.437 * * * * [progress]: [ 144 / 300 ] simplifiying candidate #<alt (λ (a b) (cbrt (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))))>
1.438 * * * * [progress]: [ 145 / 300 ] simplifiying candidate #<alt (λ (a b) (cbrt (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b))))))>
1.438 * * * * [progress]: [ 146 / 300 ] simplifiying candidate #<alt (λ (a b) (cbrt (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))))>
1.438 * * * * [progress]: [ 147 / 300 ] simplifiying candidate #<alt (λ (a b) (* (* (cbrt (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b)))) (cbrt (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))) (cbrt (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))))>
1.438 * * * * [progress]: [ 148 / 300 ] simplifiying candidate #<alt (λ (a b) (cbrt (* (* (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b)))) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))))>
1.438 * * * * [progress]: [ 149 / 300 ] simplifiying candidate #<alt (λ (a b) (* (sqrt (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b)))) (sqrt (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))))>
1.438 * * * * [progress]: [ 150 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (- (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (- (* (- a b) (- a b)))))>
1.438 * * * * [progress]: [ 151 / 300 ] simplifiying candidate #<alt (λ (a b) (* (/ (* (+ a b) (- a b)) (- a b)) (/ (* (+ a b) (- a b)) (- a b))))>
1.438 * * * * [progress]: [ 152 / 300 ] simplifiying candidate #<alt (λ (a b) (* 1 (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b)))))>
1.438 * * * * [progress]: [ 153 / 300 ] simplifiying candidate #<alt (λ (a b) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (/ 1 (* (- a b) (- a b)))))>
1.438 * * * * [progress]: [ 154 / 300 ] simplifiying candidate #<alt (λ (a b) (/ 1 (/ (* (- a b) (- a b)) (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))))>
1.438 * * * * [progress]: [ 155 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (- a b)) (- a b)))>
1.438 * * * * [progress]: [ 156 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (+ a b) (- a b)) (/ (* (- a b) (- a b)) (* (+ a b) (- a b)))))>
1.438 * * * * [progress]: [ 157 / 300 ] simplifiying candidate #<alt (λ (a b) (* (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))>
1.438 * * * * [progress]: [ 158 / 300 ] simplifiying candidate #<alt (λ (a b) (* (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (+ (* a a) (+ (* b b) (* a b))) (+ a b))))>
1.438 * * * * [progress]: [ 159 / 300 ] simplifiying candidate #<alt (λ (a b) (* (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (+ a b) (+ (* a a) (+ (* b b) (* a b))))))>
1.439 * * * * [progress]: [ 160 / 300 ] simplifiying candidate #<alt (λ (a b) (* (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (+ a b) (+ a b))))>
1.439 * * * * [progress]: [ 161 / 300 ] simplifiying candidate #<alt (λ (a b) (* (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- (pow a 3) (pow b 3)))) (+ (* a a) (+ (* b b) (* a b)))))>
1.439 * * * * [progress]: [ 162 / 300 ] simplifiying candidate #<alt (λ (a b) (* (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- (* a a) (* b b)))) (+ a b)))>
1.439 * * * * [progress]: [ 163 / 300 ] simplifiying candidate #<alt (λ (a b) (* (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (pow a 3) (pow b 3)) (- a b))) (+ (* a a) (+ (* b b) (* a b)))))>
1.439 * * * * [progress]: [ 164 / 300 ] simplifiying candidate #<alt (λ (a b) (* (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (* a a) (* b b)) (- a b))) (+ a b)))>
1.439 * * * * [progress]: [ 165 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))))>
1.439 * * * * [progress]: [ 166 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))))>
1.439 * * * * [progress]: [ 167 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))))>
1.439 * * * * [progress]: [ 168 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ a b))))))>
1.439 * * * * [progress]: [ 169 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (+ (* b b) (* a b)))))))>
1.439 * * * * [progress]: [ 170 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ a b)))))>
1.440 * * * * [progress]: [ 171 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (- (* b b) (* a b)))))))>
1.440 * * * * [progress]: [ 172 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- a b))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (- a b)))))>
1.440 * * * * [progress]: [ 173 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))))>
1.440 * * * * [progress]: [ 174 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))))>
1.440 * * * * [progress]: [ 175 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))))>
1.440 * * * * [progress]: [ 176 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (- a b) (+ a b))))))>
1.440 * * * * [progress]: [ 177 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ (* a a) (+ (* b b) (* a b)))))))>
1.440 * * * * [progress]: [ 178 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ a b) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ a b)))))>
1.440 * * * * [progress]: [ 179 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ (* a a) (- (* b b) (* a b)))))))>
1.440 * * * * [progress]: [ 180 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- a b))) (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (- a b)))))>
1.440 * * * * [progress]: [ 181 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))))>
1.440 * * * * [progress]: [ 182 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))))>
1.441 * * * * [progress]: [ 183 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))))>
1.441 * * * * [progress]: [ 184 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ a b))))))>
1.441 * * * * [progress]: [ 185 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (+ (* b b) (* a b)))))))>
1.441 * * * * [progress]: [ 186 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ a b)))))>
1.441 * * * * [progress]: [ 187 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (- (* b b) (* a b)))))))>
1.441 * * * * [progress]: [ 188 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- a b))) (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (- a b)))))>
1.441 * * * * [progress]: [ 189 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))))>
1.441 * * * * [progress]: [ 190 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))))>
1.441 * * * * [progress]: [ 191 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))))>
1.441 * * * * [progress]: [ 192 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (* (- a b) (+ a b))))))>
1.441 * * * * [progress]: [ 193 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (+ (* a a) (+ (* b b) (* a b)))))))>
1.441 * * * * [progress]: [ 194 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ a b) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (+ a b)))))>
1.442 * * * * [progress]: [ 195 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (+ (* a a) (- (* b b) (* a b)))))))>
1.442 * * * * [progress]: [ 196 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- a b))) (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (- a b)))))>
1.442 * * * * [progress]: [ 197 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))))>
1.442 * * * * [progress]: [ 198 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))))>
1.442 * * * * [progress]: [ 199 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))))>
1.442 * * * * [progress]: [ 200 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (* (- a b) (+ a b))))))>
1.442 * * * * [progress]: [ 201 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))))>
1.442 * * * * [progress]: [ 202 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (+ a b)))))>
1.442 * * * * [progress]: [ 203 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))))))>
1.442 * * * * [progress]: [ 204 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- a b))) (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (- a b)))))>
1.442 * * * * [progress]: [ 205 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (+ a b) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))))>
1.442 * * * * [progress]: [ 206 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (+ a b) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))))>
1.442 * * * * [progress]: [ 207 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (+ a b) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))))>
1.443 * * * * [progress]: [ 208 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (+ a b) (* (- a b) (+ a b))))))>
1.443 * * * * [progress]: [ 209 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (+ a b) (+ (* a a) (+ (* b b) (* a b)))))))>
1.443 * * * * [progress]: [ 210 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ a b) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (+ a b) (+ a b)))))>
1.443 * * * * [progress]: [ 211 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (- a b) (- a b)) (* (+ a b) (+ (* a a) (- (* b b) (* a b)))))))>
1.443 * * * * [progress]: [ 212 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- a b))) (* (* (- a b) (- a b)) (* (+ a b) (- a b)))))>
1.443 * * * * [progress]: [ 213 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))))>
1.443 * * * * [progress]: [ 214 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))))>
1.443 * * * * [progress]: [ 215 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))))>
1.443 * * * * [progress]: [ 216 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (- a b) (+ a b))))))>
1.443 * * * * [progress]: [ 217 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))))>
1.443 * * * * [progress]: [ 218 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ a b) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))))>
1.443 * * * * [progress]: [ 219 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))))))>
1.443 * * * * [progress]: [ 220 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (- (* a a) (* b b)) (- a b))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (- a b)))))>
1.444 * * * * [progress]: [ 221 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (- a b) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))))>
1.444 * * * * [progress]: [ 222 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (- a b) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))))>
1.444 * * * * [progress]: [ 223 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- a b)) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (- a b) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))))>
1.444 * * * * [progress]: [ 224 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- a b)) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (- a b) (* (- a b) (+ a b))))))>
1.444 * * * * [progress]: [ 225 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))))>
1.444 * * * * [progress]: [ 226 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ a b) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (- a b) (+ a b)))))>
1.444 * * * * [progress]: [ 227 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (- a b) (- a b)) (* (- a b) (+ (* a a) (- (* b b) (* a b)))))))>
1.444 * * * * [progress]: [ 228 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- a b)) (* (- (* a a) (* b b)) (- a b))) (* (* (- a b) (- a b)) (* (- a b) (- a b)))))>
1.444 * * * * [progress]: [ 229 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))))>
1.444 * * * * [progress]: [ 230 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))))>
1.444 * * * * [progress]: [ 231 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))))>
1.444 * * * * [progress]: [ 232 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (- (* a a) (* b b)) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (* (- a b) (+ a b)))))>
1.444 * * * * [progress]: [ 233 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- (pow a 3) (pow b 3)))) (* (* (- a b) (- a b)) (+ (* a a) (+ (* b b) (* a b))))))>
1.445 * * * * [progress]: [ 234 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- (* a a) (* b b)))) (* (* (- a b) (- a b)) (+ a b))))>
1.445 * * * * [progress]: [ 235 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ (pow a 3) (pow b 3)) (- a b))) (* (* (- a b) (- a b)) (+ (* a a) (- (* b b) (* a b))))))>
1.445 * * * * [progress]: [ 236 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (- (* a a) (* b b)) (- a b))) (* (* (- a b) (- a b)) (- a b))))>
1.445 * * * * [progress]: [ 237 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ a b) (- a b))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))))>
1.445 * * * * [progress]: [ 238 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ a b) (- a b))) (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))))>
1.445 * * * * [progress]: [ 239 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ a b) (- a b))) (* (* (- a b) (- a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))))>
1.445 * * * * [progress]: [ 240 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ a b) (- a b))) (* (* (- a b) (- a b)) (* (- a b) (+ a b)))))>
1.445 * * * * [progress]: [ 241 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ a b) (- a b))) (* (* (- a b) (- a b)) (+ (* a a) (+ (* b b) (* a b))))))>
1.445 * * * * [progress]: [ 242 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- (* a a) (* b b))) (* (+ a b) (- a b))) (* (* (- a b) (- a b)) (+ a b))))>
1.445 * * * * [progress]: [ 243 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ a b) (- a b))) (* (* (- a b) (- a b)) (+ (* a a) (- (* b b) (* a b))))))>
1.445 * * * * [progress]: [ 244 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (- (* a a) (* b b)) (- a b)) (* (+ a b) (- a b))) (* (* (- a b) (- a b)) (- a b))))>
1.445 * * * * [progress]: [ 245 / 300 ] simplifiying candidate #<alt (λ (a b) (posit16->real (real->posit16 (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))))>
1.445 * * * * [progress]: [ 246 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (pow (- a b) (+ 1 1))))>
1.445 * * * * [progress]: [ 247 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (pow (* (- a b) (- a b)) 1)))>
1.446 * * * * [progress]: [ 248 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (pow (- a b) 2)))>
1.446 * * * * [progress]: [ 249 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (pow (- a b) (+ 1 1))))>
1.446 * * * * [progress]: [ 250 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (pow (* (- a b) (- a b)) 1)))>
1.446 * * * * [progress]: [ 251 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (exp (+ (log (- a b)) (log (- a b))))))>
1.446 * * * * [progress]: [ 252 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (exp (log (* (- a b) (- a b))))))>
1.446 * * * * [progress]: [ 253 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (log (exp (* (- a b) (- a b))))))>
1.446 * * * * [progress]: [ 254 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (cbrt (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b))))))>
1.446 * * * * [progress]: [ 255 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (cbrt (* (- a b) (- a b))) (cbrt (* (- a b) (- a b)))) (cbrt (* (- a b) (- a b))))))>
1.446 * * * * [progress]: [ 256 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (cbrt (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))))>
1.446 * * * * [progress]: [ 257 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (sqrt (* (- a b) (- a b))) (sqrt (* (- a b) (- a b))))))>
1.446 * * * * [progress]: [ 258 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (/ (* (- (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))))>
1.446 * * * * [progress]: [ 259 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (/ (* (- (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (+ (* b b) (* a b))) (+ a b)))))>
1.446 * * * * [progress]: [ 260 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (/ (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ a b) (+ (* a a) (+ (* b b) (* a b)))))))>
1.446 * * * * [progress]: [ 261 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (/ (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ a b) (+ a b)))))>
1.446 * * * * [progress]: [ 262 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* 1 (* (- a b) (- a b)))))>
1.447 * * * * [progress]: [ 263 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt (- a b)) (cbrt (- a b)))) (* (cbrt (- a b)) (cbrt (- a b))))))>
1.447 * * * * [progress]: [ 264 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (sqrt (- a b)) (sqrt (- a b))) (* (sqrt (- a b)) (sqrt (- a b))))))>
1.447 * * * * [progress]: [ 265 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* 1 1) (* (- a b) (- a b)))))>
1.447 * * * * [progress]: [ 266 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* 1 1) (* (- a b) (- a b)))))>
1.447 * * * * [progress]: [ 267 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (+ (sqrt a) (sqrt b)) (+ (sqrt a) (sqrt b))) (* (- (sqrt a) (sqrt b)) (- (sqrt a) (sqrt b))))))>
1.447 * * * * [progress]: [ 268 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* 1 1) (* (- a b) (- a b)))))>
1.447 * * * * [progress]: [ 269 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* 1 1) (* (- a b) (- a b)))))>
1.447 * * * * [progress]: [ 270 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (sqrt (- a b)) (sqrt (- a b))) (* (sqrt (- a b)) (sqrt (- a b))))))>
1.447 * * * * [progress]: [ 271 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (pow (- a b) (* 2 1))))>
1.447 * * * * [progress]: [ 272 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (+ (* (- a b) a) (* (- a b) (- b)))))>
1.447 * * * * [progress]: [ 273 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (+ (* (- a b) a) (* (- a b) (- b)))))>
1.447 * * * * [progress]: [ 274 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (+ (* a (- a b)) (* (- b) (- a b)))))>
1.447 * * * * [progress]: [ 275 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (+ (* a (- a b)) (* (- b) (- a b)))))>
1.447 * * * * [progress]: [ 276 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (- a b) (* (cbrt (- a b)) (cbrt (- a b)))) (cbrt (- a b)))))>
1.447 * * * * [progress]: [ 277 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (- a b) (sqrt (- a b))) (sqrt (- a b)))))>
1.448 * * * * [progress]: [ 278 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (- a b) 1) (- a b))))>
1.448 * * * * [progress]: [ 279 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (- a b) (+ (sqrt a) (sqrt b))) (- (sqrt a) (sqrt b)))))>
1.448 * * * * [progress]: [ 280 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (- a b) 1) (- a b))))>
1.448 * * * * [progress]: [ 281 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt (- a b)) (- a b)))))>
1.448 * * * * [progress]: [ 282 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (sqrt (- a b)) (* (sqrt (- a b)) (- a b)))))>
1.448 * * * * [progress]: [ 283 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* 1 (* (- a b) (- a b)))))>
1.448 * * * * [progress]: [ 284 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ (sqrt a) (sqrt b)) (* (- (sqrt a) (sqrt b)) (- a b)))))>
1.448 * * * * [progress]: [ 285 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* 1 (* (- a b) (- a b)))))>
1.448 * * * * [progress]: [ 286 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (/ (* (- a b) (- (pow a 3) (pow b 3))) (+ (* a a) (+ (* b b) (* a b))))))>
1.448 * * * * [progress]: [ 287 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (/ (* (- a b) (- (* a a) (* b b))) (+ a b))))>
1.448 * * * * [progress]: [ 288 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (/ (* (- (pow a 3) (pow b 3)) (- a b)) (+ (* a a) (+ (* b b) (* a b))))))>
1.448 * * * * [progress]: [ 289 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (/ (* (- (* a a) (* b b)) (- a b)) (+ a b))))>
1.448 * * * * [progress]: [ 290 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (posit16->real (real->posit16 (* (- a b) (- a b))))))>
1.448 * * * * [progress]: [ 291 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))>
1.448 * * * * [progress]: [ 292 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (- (+ (pow b 4) (pow a 4)) (* 2 (* (pow a 2) (pow b 2)))) (* (- a b) (- a b))))>
1.448 * * * * [progress]: [ 293 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (- (+ (pow b 4) (pow a 4)) (* 2 (* (pow a 2) (pow b 2)))) (* (- a b) (- a b))))>
1.448 * * * * [progress]: [ 294 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (- (+ (pow b 4) (pow a 4)) (* 2 (* (pow a 2) (pow b 2)))) (* (- a b) (- a b))))>
1.449 * * * * [progress]: [ 295 / 300 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
1.449 * * * * [progress]: [ 296 / 300 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
1.449 * * * * [progress]: [ 297 / 300 ] simplifiying candidate #<alt (λ (a b) (+ (pow a 2) (+ (pow b 2) (* 2 (* a b)))))>
1.449 * * * * [progress]: [ 298 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (- (+ (pow a 2) (pow b 2)) (* 2 (* a b)))))>
1.449 * * * * [progress]: [ 299 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (- (+ (pow a 2) (pow b 2)) (* 2 (* a b)))))>
1.449 * * * * [progress]: [ 300 / 300 ] simplifiying candidate #<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (- (+ (pow a 2) (pow b 2)) (* 2 (* a b)))))>
1.455 * [simplify]: Simplifying:
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))
  (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))
  (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))
  (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log (+ a b)) (log (- a b))) (+ (log (+ a b)) (log (- a b))))
  (+ (+ (log (+ a b)) (log (- a b))) (log (* (+ a b) (- a b))))
  (+ (log (* (+ a b) (- a b))) (+ (log (+ a b)) (log (- a b))))
  (+ (log (* (+ a b) (- a b))) (log (* (+ a b) (- a b))))
  (log (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))
  (exp (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))
  (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))))
  (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))))
  (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))))
  (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))))
  (* (cbrt (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (cbrt (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))))
  (cbrt (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))
  (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))
  (sqrt (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))
  (sqrt (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))
  (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))
  (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (* a a) (* b b))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ a b)))
  (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (pow a 3) (pow b 3))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (+ (* b b) (* a b))))
  (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ a b))
  (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- a b)))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (- (* b b) (* a b))))
  (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- a b)))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (- a b))
  (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))
  (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (* a a) (* b b))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (- a b) (+ a b)))
  (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ a b) (- (pow a 3) (pow b 3))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ (* a a) (+ (* b b) (* a b))))
  (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ a b) (- (* a a) (* b b))))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ a b))
  (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- a b)))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ (* a a) (- (* b b) (* a b))))
  (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- a b)))
  (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (- a b))
  (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))))
  (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- (* a a) (* b 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)))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))
  (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))))
  (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (* a a) (* b b))))
  (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ a b)))
  (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (pow a 3) (pow b 3))))
  (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (+ (* b b) (* a b))))
  (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b))))
  (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ a b))
  (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- a b)))
  (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (- (* b b) (* a b))))
  (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- a b)))
  (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (- a b))
  (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))))
  (* (* (- a b) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))))
  (* (* (- a b) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))
  (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))))
  (* (* (- a b) (+ a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (* a a) (* b b))))
  (* (* (- a b) (+ a b)) (* (- a b) (+ a b)))
  (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ a b) (- (pow a 3) (pow b 3))))
  (* (* (- a b) (+ a b)) (+ (* a a) (+ (* b b) (* a b))))
  (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ a b) (- (* a a) (* b b))))
  (* (* (- a b) (+ a b)) (+ a b))
  (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- a b)))
  (* (* (- a b) (+ a b)) (+ (* a a) (- (* b b) (* a b))))
  (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- a b)))
  (* (* (- a b) (+ a b)) (- a b))
  (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))))
  (* (+ (* a a) (+ (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))))
  (* (+ (* a a) (+ (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))
  (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))))
  (* (+ (* a a) (+ (* b b) (* a b))) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- (* a a) (* b b))))
  (* (+ (* a a) (+ (* b b) (* a b))) (* (- a b) (+ a b)))
  (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ a b) (- (pow a 3) (pow b 3))))
  (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))
  (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b))))
  (* (+ (* a a) (+ (* b b) (* a b))) (+ a b))
  (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ (pow a 3) (pow b 3)) (- a b)))
  (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))
  (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (- (* a a) (* b b)) (- a b)))
  (* (+ (* a a) (+ (* b b) (* a b))) (- a b))
  (* (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))))
  (* (+ a b) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))))
  (* (+ a b) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))
  (* (* (+ a b) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))))
  (* (+ a b) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (+ a b) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- (* a a) (* b b))))
  (* (+ a b) (* (- a b) (+ a b)))
  (* (* (+ a b) (- (* a a) (* b b))) (* (+ a b) (- (pow a 3) (pow b 3))))
  (* (+ a b) (+ (* a a) (+ (* b b) (* a b))))
  (* (* (+ a b) (- (* a a) (* b b))) (* (+ a b) (- (* a a) (* b b))))
  (* (+ a b) (+ a b))
  (* (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (- a b)))
  (* (+ a b) (+ (* a a) (- (* b b) (* a b))))
  (* (* (+ a b) (- (* a a) (* b b))) (* (- (* a a) (* b b)) (- a b)))
  (* (+ a b) (- a b))
  (* (* (+ (pow a 3) (pow b 3)) (- 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))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))))
  (* (+ (* a a) (- (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))
  (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))))
  (* (+ (* a a) (- (* b b) (* a b))) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (- (* a a) (* b b)) (- (* a a) (* b b))))
  (* (+ (* a a) (- (* b b) (* a b))) (* (- a b) (+ a b)))
  (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ a b) (- (pow a 3) (pow b 3))))
  (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))
  (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ a b) (- (* a a) (* b b))))
  (* (+ (* a a) (- (* b b) (* a b))) (+ a b))
  (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- a b)))
  (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b))))
  (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (- (* a a) (* b b)) (- a b)))
  (* (+ (* a a) (- (* b b) (* a b))) (- a b))
  (* (* (- (* a a) (* b b)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))))
  (* (- a b) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- (* a a) (* b b)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))))
  (* (- a b) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))
  (* (* (- (* a a) (* b b)) (- a b)) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))))
  (* (- a b) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- (* a a) (* b b)) (- a b)) (* (- (* a a) (* b b)) (- (* a a) (* b b))))
  (* (- a b) (* (- a b) (+ a b)))
  (* (* (- (* a a) (* b b)) (- a b)) (* (+ a b) (- (pow a 3) (pow b 3))))
  (* (- a b) (+ (* a a) (+ (* b b) (* a b))))
  (* (* (- (* a a) (* b b)) (- a b)) (* (+ a b) (- (* a a) (* b b))))
  (* (- a b) (+ a b))
  (* (* (- (* a a) (* b b)) (- a b)) (* (+ (pow a 3) (pow b 3)) (- a b)))
  (* (- a b) (+ (* a a) (- (* b b) (* a b))))
  (* (* (- (* a a) (* b b)) (- a b)) (* (- (* a a) (* b b)) (- a b)))
  (* (- a b) (- a b))
  (* (+ a b) (+ a b))
  (* (- a b) (- a b))
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* (* (+ a b) (- a b)) (* (+ a b) a))
  (* (* (+ a b) (- a b)) (* (+ a b) (- b)))
  (* (* (+ a b) (- a b)) (* (+ a b) a))
  (* (* (+ a b) (- a b)) (* (+ a b) (- b)))
  (* (* (+ a b) (- a b)) (* a (+ a b)))
  (* (* (+ a b) (- a b)) (* (- b) (+ a b)))
  (* (* (+ a b) (- a b)) (* a (+ a b)))
  (* (* (+ a b) (- a b)) (* (- b) (+ a b)))
  (* (* (+ a b) a) (* (+ a b) (- a b)))
  (* (* (+ a b) (- b)) (* (+ a b) (- a b)))
  (* (* (+ a b) a) (* (+ a b) (- a b)))
  (* (* (+ a b) (- b)) (* (+ a b) (- a b)))
  (* (* a (+ a b)) (* (+ a b) (- a b)))
  (* (* (- b) (+ a b)) (* (+ a b) (- a b)))
  (* (* a (+ a b)) (* (+ a b) (- a b)))
  (* (* (- b) (+ a b)) (* (+ a b) (- a b)))
  (* (* (+ a b) (- a b)) (+ a b))
  (* (- a b) (* (+ a b) (- a b)))
  (* (* (+ a b) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))))
  (* (* (+ a b) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))))
  (* (* (+ a b) (- a b)) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))))
  (* (* (+ a b) (- a b)) (* (- (* a a) (* b b)) (- (* a a) (* b b))))
  (* (* (+ a b) (- a b)) (* (+ a b) (- (pow a 3) (pow b 3))))
  (* (* (+ a b) (- a b)) (* (+ a b) (- (* a a) (* b b))))
  (* (* (+ a b) (- a b)) (* (+ (pow a 3) (pow b 3)) (- a b)))
  (* (* (+ a b) (- a b)) (* (- (* a a) (* b b)) (- a b)))
  (* (* (+ (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))) (* (+ a b) (- a b)))
  (* (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ a b) (- a b)))
  (* (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))) (* (+ a b) (- a b)))
  (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (+ a b) (- a b)))
  (* (* (+ a b) (- (pow a 3) (pow b 3))) (* (+ a b) (- a b)))
  (* (* (+ a b) (- (* a a) (* b b))) (* (+ a b) (- a b)))
  (* (* (+ (pow a 3) (pow b 3)) (- a b)) (* (+ a b) (- a b)))
  (* (* (- (* a a) (* b b)) (- a b)) (* (+ a b) (- a b)))
  (real->posit16 (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))
  (- (+ (+ (log (+ a b)) (log (- a b))) (+ (log (+ a b)) (log (- a b)))) (+ (log (- a b)) (log (- a b))))
  (- (+ (+ (log (+ a b)) (log (- a b))) (+ (log (+ a b)) (log (- a b)))) (log (* (- a b) (- a b))))
  (- (+ (+ (log (+ a b)) (log (- a b))) (log (* (+ a b) (- a b)))) (+ (log (- a b)) (log (- a b))))
  (- (+ (+ (log (+ a b)) (log (- a b))) (log (* (+ a b) (- a b)))) (log (* (- a b) (- a b))))
  (- (+ (log (* (+ a b) (- a b))) (+ (log (+ a b)) (log (- a b)))) (+ (log (- a b)) (log (- a b))))
  (- (+ (log (* (+ a b) (- a b))) (+ (log (+ a b)) (log (- a b)))) (log (* (- a b) (- a b))))
  (- (+ (log (* (+ a b) (- a b))) (log (* (+ a b) (- a b)))) (+ (log (- a b)) (log (- a b))))
  (- (+ (log (* (+ a b) (- a b))) (log (* (+ a b) (- a b)))) (log (* (- a b) (- a b))))
  (- (log (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (+ (log (- a b)) (log (- a b))))
  (- (log (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (log (* (- a b) (- a b))))
  (log (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))
  (exp (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))
  (/ (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b)))) (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b))))
  (/ (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b)))) (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))
  (/ (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b))))
  (/ (* (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))
  (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b)))) (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b))))
  (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (- a b) (- a b)) (- a b)))) (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))
  (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b))))
  (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b))) (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))
  (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b))))
  (/ (* (* (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (* (* (+ a b) (- a b)) (* (+ a b) (- a b)))) (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b))))
  (* (cbrt (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b)))) (cbrt (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b)))))
  (cbrt (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))
  (* (* (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b)))) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))
  (sqrt (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))
  (sqrt (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))
  (- (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))
  (- (* (- a b) (- a b)))
  (/ (* (+ a b) (- a b)) (- a b))
  (/ (* (+ a b) (- a b)) (- a b))
  (/ 1 (* (- a b) (- a b)))
  (/ (* (- a b) (- a b)) (* (* (+ a b) (- a b)) (* (+ a b) (- a b))))
  (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (- a b))
  (/ (* (- a b) (- a b)) (* (+ a b) (- a b)))
  (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3))))
  (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (pow a 3) (pow b 3)) (- (* a a) (* b b))))
  (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3))))
  (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (* a a) (* b b)) (- (* a a) (* b b))))
  (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- (pow a 3) (pow b 3))))
  (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- (* a a) (* b b))))
  (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (pow a 3) (pow b 3)) (- a b)))
  (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- (* a a) (* b b)) (- a b)))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ a b))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ a b)))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (- (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))) (- a b)))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (* (- a b) (+ a b))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ a b)))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (+ (* a a) (- (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (- (* b b) (* a b))) (+ a b)) (- a b)))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (* (- a b) (+ a b))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ a b)))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (+ (* a a) (- (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ (* a a) (+ (* b b) (* a b)))) (- a b)))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (* (- a b) (+ a b))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (+ a b)))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (+ (* a a) (- (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (* (- a b) (+ a b)) (- a b)))
  (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (* (- a b) (+ a b))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (+ a b)))
  (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (+ (* b b) (* a b))) (- a b)))
  (* (* (- a b) (- a b)) (* (+ a b) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (+ a b) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))
  (* (* (- a b) (- a b)) (* (+ a b) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (+ a b) (* (- a b) (+ a b))))
  (* (* (- a b) (- a b)) (* (+ a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (+ a b) (+ a b)))
  (* (* (- a b) (- a b)) (* (+ a b) (+ (* a a) (- (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (+ a b) (- a b)))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (* (- a b) (+ a b))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (- a b)))
  (* (* (- a b) (- a b)) (* (- a b) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (- a b) (* (+ (* a a) (- (* b b) (* a b))) (+ a b))))
  (* (* (- a b) (- a b)) (* (- a b) (* (- a b) (+ (* a a) (+ (* b b) (* a b))))))
  (* (* (- a b) (- a b)) (* (- a b) (* (- a b) (+ a b))))
  (* (* (- a b) (- a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (- a b) (+ a b)))
  (* (* (- a b) (- a b)) (* (- a b) (+ (* a a) (- (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (- a b) (- a b)))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))
  (* (* (- a b) (- a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (- a b) (+ a b)))
  (* (* (- a b) (- a b)) (+ (* a a) (+ (* b b) (* a b))))
  (* (* (- a b) (- a b)) (+ a b))
  (* (* (- a b) (- a b)) (+ (* a a) (- (* b b) (* a b))))
  (* (* (- a b) (- a b)) (- a b))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (+ (* a a) (- (* b b) (* a b))) (+ a b)))
  (* (* (- a b) (- a b)) (* (- a b) (+ (* a a) (+ (* b b) (* a b)))))
  (* (* (- a b) (- a b)) (* (- a b) (+ a b)))
  (* (* (- a b) (- a b)) (+ (* a a) (+ (* b b) (* a b))))
  (* (* (- a b) (- a b)) (+ a b))
  (* (* (- a b) (- a b)) (+ (* a a) (- (* b b) (* a b))))
  (* (* (- a b) (- a b)) (- a b))
  (real->posit16 (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))
  (+ 1 1)
  (* (- a b) (- a b))
  (+ 1 1)
  (+ (log (- a b)) (log (- a b)))
  (log (* (- a b) (- a b)))
  (exp (* (- a b) (- a b)))
  (* (* (* (- a b) (- a b)) (- a b)) (* (* (- a b) (- a b)) (- a b)))
  (* (cbrt (* (- a b) (- a b))) (cbrt (* (- a b) (- a b))))
  (cbrt (* (- a b) (- a b)))
  (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b)))
  (sqrt (* (- a b) (- a b)))
  (sqrt (* (- a b) (- a b)))
  (* (- (pow a 3) (pow b 3)) (- (pow a 3) (pow b 3)))
  (* (+ (* a a) (+ (* b b) (* a b))) (+ (* a a) (+ (* b b) (* a b))))
  (* (- (pow a 3) (pow b 3)) (- (* a a) (* b b)))
  (* (+ (* a a) (+ (* b b) (* a b))) (+ a b))
  (* (- (* a a) (* b b)) (- (pow a 3) (pow b 3)))
  (* (+ a b) (+ (* a a) (+ (* b b) (* a b))))
  (* (- (* a a) (* b b)) (- (* a a) (* b b)))
  (* (+ a b) (+ a b))
  (* (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt (- a b)) (cbrt (- a b))))
  (* (cbrt (- a b)) (cbrt (- a b)))
  (* (sqrt (- a b)) (sqrt (- a b)))
  (* (sqrt (- a b)) (sqrt (- a b)))
  (* 1 1)
  (* (- a b) (- a b))
  (* 1 1)
  (* (- a b) (- a b))
  (* (+ (sqrt a) (sqrt b)) (+ (sqrt a) (sqrt b)))
  (* (- (sqrt a) (sqrt b)) (- (sqrt a) (sqrt b)))
  (* 1 1)
  (* (- a b) (- a b))
  (* 1 1)
  (* (- a b) (- a b))
  (* (sqrt (- a b)) (sqrt (- a b)))
  (* (sqrt (- a b)) (sqrt (- a b)))
  (* 2 1)
  (* (- a b) a)
  (* (- a b) (- b))
  (* (- a b) a)
  (* (- a b) (- b))
  (* a (- a b))
  (* (- b) (- a b))
  (* a (- a b))
  (* (- b) (- a b))
  (* (- a b) (* (cbrt (- a b)) (cbrt (- a b))))
  (* (- a b) (sqrt (- a b)))
  (* (- a b) 1)
  (* (- a b) (+ (sqrt a) (sqrt b)))
  (* (- a b) 1)
  (* (cbrt (- a b)) (- a b))
  (* (sqrt (- a b)) (- a b))
  (* (- a b) (- a b))
  (* (- (sqrt a) (sqrt b)) (- a b))
  (* (- a b) (- a b))
  (* (- a b) (- (pow a 3) (pow b 3)))
  (* (- a b) (- (* a a) (* b b)))
  (* (- (pow a 3) (pow b 3)) (- a b))
  (* (- (* a a) (* b b)) (- a b))
  (real->posit16 (* (- a b) (- a b)))
  (- (+ (pow b 4) (pow a 4)) (* 2 (* (pow a 2) (pow b 2))))
  (- (+ (pow b 4) (pow a 4)) (* 2 (* (pow a 2) (pow b 2))))
  (- (+ (pow b 4) (pow a 4)) (* 2 (* (pow a 2) (pow b 2))))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
  (+ (pow a 2) (+ (pow b 2) (* 2 (* a b))))
  (- (+ (pow a 2) (pow b 2)) (* 2 (* a b)))
  (- (+ (pow a 2) (pow b 2)) (* 2 (* a b)))
  (- (+ (pow a 2) (pow b 2)) (* 2 (* a b)))
1.469 * * [simplify]: iteration 0: 375 enodes
1.700 * * [simplify]: iteration 1: 1594 enodes
2.072 * * [simplify]: iteration 2: 2055 enodes
2.405 * * [simplify]: iteration complete: 2055 enodes
2.406 * * [simplify]: Extracting #0: cost 214 inf + 0
2.408 * * [simplify]: Extracting #1: cost 699 inf + 2
2.410 * * [simplify]: Extracting #2: cost 913 inf + 218
2.415 * * [simplify]: Extracting #3: cost 743 inf + 24056
2.449 * * [simplify]: Extracting #4: cost 290 inf + 154139
2.497 * * [simplify]: Extracting #5: cost 26 inf + 235744
2.557 * * [simplify]: Extracting #6: cost 2 inf + 228275
2.629 * * [simplify]: Extracting #7: cost 0 inf + 227654
2.704 * [simplify]: Simplified to:
  2
  2
  2
  2
  (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))
  (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))
  (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))
  (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))
  2
  2
  (log (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (log (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (log (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (log (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (log (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (exp (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (* (* (* (* (+ b a) (* (+ b a) (+ b a))) (* (- a b) (- a b))) (- a b)) (* (* (* (+ b a) (* (+ b a) (+ b a))) (* (- a b) (- a b))) (- a b)))
  (* (* (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (+ b a) (* (+ b a) (+ b a)))) (* (- a b) (* (- a b) (- a b))))
  (* (* (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (+ b a) (* (+ b a) (+ b a)))) (* (- a b) (* (- a b) (- a b))))
  (* (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))))
  (* (cbrt (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (cbrt (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))))
  (cbrt (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (* (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))))
  (fabs (* (- a b) (+ b a)))
  (fabs (* (- a b) (+ b a)))
  (* (* (+ (* (* b b) b) (* (* a a) a)) (- (* (* a a) a) (* (* b b) b))) (* (+ (* (* b b) b) (* (* a a) a)) (- (* (* a a) a) (* (* b b) b))))
  (* (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))) (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- (* (* a a) a) (* (* b b) b)) (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a)))))
  (* (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- (* (* a a) a) (* (* b b) b)) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a)))))
  (* (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- (* (* a a) a) (* (* b b) b)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))))
  (* (+ (* b (- b a)) (* a a)) (* (+ (* a a) (* b (+ b a))) (* (+ b a) (- a b))))
  (* (* (* (+ b a) (- (* (* a a) a) (* (* b b) b))) (+ (* (* b b) b) (* (* a a) a))) (- (* (* a a) a) (* (* b b) b)))
  (* (+ (* b (- b a)) (* a a)) (* (+ (* a a) (* b (+ b a))) (+ (* a a) (* b (+ b a)))))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- (* (* a a) a) (* (* b b) b)) (* (* (- a b) (+ b a)) (+ b a))))
  (* (+ (* b (- b a)) (* a a)) (* (+ b a) (+ (* a a) (* b (+ b a)))))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ (* (* b b) b) (* (* a a) a)))))
  (* (+ (* b (- b a)) (* a a)) (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))))
  (* (* (* (- a b) (+ b a)) (* (+ (* (* b b) b) (* (* a a) a)) (- (* (* a a) a) (* (* b b) b)))) (- a b))
  (* (+ (* b (- b a)) (* a a)) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- (* (* a a) a) (* (* b b) b)) (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a)))))
  (* (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))) (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))))
  (* (* (+ b a) (+ (* b (- b a)) (* a a))) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))))
  (* (- a b) (* (+ (* b (- b a)) (* a a)) (* (+ b a) (+ (* a a) (* b (+ b a))))))
  (* (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))) (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (* (* (+ b a) (- a b)) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))) (* (+ b a) (- (* (* a a) a) (* (* b b) b))))
  (* (+ (* b (- b a)) (* a a)) (* (+ b a) (+ (* a a) (* b (+ b a)))))
  (* (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))) (* (* (- a b) (+ b a)) (+ b a)))
  (* (+ b a) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (* (- a b) (+ (* (* b b) b) (* (* a a) a))) (* (- a b) (+ b a))))
  (* (* (+ b a) (+ (* b (- b a)) (* a a))) (+ (* b (- b a)) (* a a)))
  (* (* (- a b) (+ b a)) (* (- a b) (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a)))))
  (* (* (+ b a) (+ (* b (- b a)) (* a a))) (- a b))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- (* (* a a) a) (* (* b b) b)) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a)))))
  (* (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))))
  (* (- a b) (* (+ (* b (- b a)) (* a a)) (* (+ b a) (+ (* a a) (* b (+ b a))))))
  (* (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))))
  (* (* (+ (* a a) (* b (+ b a))) (- a b)) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))) (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (* (* (+ (* a a) (* b (+ b a))) (* (- a b) (- a b))) (+ b a))
  (* (* (+ b a) (- (* (* a a) a) (* (* b b) b))) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))))
  (* (* (+ (* a a) (* b (+ b a))) (- a b)) (+ (* a a) (* b (+ b a))))
  (* (* (* (* (- a b) (+ b a)) (+ b a)) (* (- a b) (+ b a))) (- (* (* a a) a) (* (* b b) b)))
  (* (* (+ (* a a) (* b (+ b a))) (- a b)) (+ b a))
  (* (* (- a b) (+ (* (* b b) b) (* (* a a) a))) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))))
  (* (* (+ (* a a) (* b (+ b a))) (- a b)) (+ (* b (- b a)) (* a a)))
  (* (* (* (- a b) (* (- a b) (+ b a))) (* (- a b) (+ b a))) (- (* (* a a) a) (* (* b b) b)))
  (* (- a b) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (* (* (- a b) (+ b a)) (* (- a b) (+ b a))) (+ (* (* b b) b) (* (* a a) a))) (- (* (* a a) a) (* (* b b) b)))
  (* (+ (* b (- b a)) (* a a)) (* (+ (* a a) (* b (+ b a))) (* (+ b a) (- a b))))
  (* (* (* (- a b) (+ b a)) (* (- a b) (+ b a))) (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))))
  (* (* (+ b a) (- a b)) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))) (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (* (* (+ (* a a) (* b (+ b a))) (* (- a b) (- a b))) (+ b a))
  (* (* (* (- a b) (+ b a)) (* (- a b) (+ b a))) (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (* (* (+ b a) (- a b)) (* (+ b a) (- a b)))
  (* (* (* (* (- a b) (+ b a)) (* (- a b) (+ b a))) (+ b a)) (- (* (* a a) a) (* (* b b) b)))
  (* (+ (* a a) (* b (+ b a))) (* (+ b a) (- a b)))
  (* (* (* (* (- a b) (+ b a)) (* (- a b) (+ b a))) (+ b a)) (* (- a b) (+ b a)))
  (* (* (+ b a) (- a b)) (+ b a))
  (* (* (- a b) (+ (* (* b b) b) (* (* a a) a))) (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (* (* (+ b a) (- a b)) (+ (* b (- b a)) (* a a)))
  (* (* (* (- a b) (+ b a)) (* (- a b) (+ b a))) (* (- a b) (* (- a b) (+ b a))))
  (* (- a b) (* (+ b a) (- a b)))
  (* (* (* (+ b a) (- (* (* a a) a) (* (* b b) b))) (+ (* (* b b) b) (* (* a a) a))) (- (* (* a a) a) (* (* b b) b)))
  (* (+ (* b (- b a)) (* a a)) (* (+ (* a a) (* b (+ b a))) (+ (* a a) (* b (+ b a)))))
  (* (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))) (* (+ b a) (- (* (* a a) a) (* (* b b) b))))
  (* (+ (* b (- b a)) (* a a)) (* (+ b a) (+ (* a a) (* b (+ b a)))))
  (* (* (+ b a) (- (* (* a a) a) (* (* b b) b))) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))))
  (* (* (+ (* a a) (* b (+ b a))) (- a b)) (+ (* a a) (* b (+ b a))))
  (* (+ b a) (* (- (* (* a a) a) (* (* b b) b)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))))
  (* (+ (* a a) (* b (+ b a))) (* (+ b a) (- a b)))
  (* (* (+ b a) (- (* (* a a) a) (* (* b b) b))) (* (+ b a) (- (* (* a a) a) (* (* b b) b))))
  (* (+ (* a a) (* b (+ b a))) (+ (* a a) (* b (+ b a))))
  (* (+ b a) (* (- (* (* a a) a) (* (* b b) b)) (* (* (- a b) (+ b a)) (+ b a))))
  (* (+ b a) (+ (* a a) (* b (+ b a))))
  (* (* (- a b) (+ (* (* b b) b) (* (* a a) a))) (* (+ b a) (- (* (* a a) a) (* (* b b) b))))
  (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a))))
  (* (* (* (- a b) (* (- a b) (+ b a))) (+ b a)) (- (* (* a a) a) (* (* b b) b)))
  (* (+ (* a a) (* b (+ b a))) (- a b))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- (* (* a a) a) (* (* b b) b)) (* (* (- a b) (+ b a)) (+ b a))))
  (* (+ (* b (- b a)) (* a a)) (* (+ b a) (+ (* a a) (* b (+ b a)))))
  (* (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))) (* (* (- a b) (+ b a)) (+ b a)))
  (* (+ b a) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (* (* (- a b) (+ b a)) (+ b a)) (* (- a b) (+ b a))) (- (* (* a a) a) (* (* b b) b)))
  (* (* (+ (* a a) (* b (+ b a))) (- a b)) (+ b a))
  (* (* (* (- a b) (+ b a)) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (* (* (+ b a) (- a b)) (+ b a))
  (* (+ b a) (* (- (* (* a a) a) (* (* b b) b)) (* (* (- a b) (+ b a)) (+ b a))))
  (* (+ b a) (+ (* a a) (* b (+ b a))))
  (* (* (* (- a b) (+ b a)) (+ b a)) (* (* (- a b) (+ b a)) (+ b a)))
  (* (+ b a) (+ b a))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (* (* (- a b) (+ b a)) (+ b a))))
  (* (+ b a) (+ (* b (- b a)) (* a a)))
  (* (* (* (- a b) (+ b a)) (+ b a)) (* (- a b) (* (- a b) (+ b a))))
  (* (- a b) (+ b a))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ (* (* b b) b) (* (* a a) a)))))
  (* (+ (* b (- b a)) (* a a)) (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (* (- a b) (+ (* (* b b) b) (* (* a a) a))) (* (- a b) (+ b a))))
  (* (* (+ b a) (+ (* b (- b a)) (* a a))) (+ (* b (- b a)) (* a a)))
  (* (* (- a b) (+ (* (* b b) b) (* (* a a) a))) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))))
  (* (* (+ (* a a) (* b (+ b a))) (- a b)) (+ (* b (- b a)) (* a a)))
  (* (* (- a b) (+ (* (* b b) b) (* (* a a) a))) (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (* (* (+ b a) (- a b)) (+ (* b (- b a)) (* a a)))
  (* (* (- a b) (+ (* (* b b) b) (* (* a a) a))) (* (+ b a) (- (* (* a a) a) (* (* b b) b))))
  (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a))))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (* (* (- a b) (+ b a)) (+ b a))))
  (* (+ b a) (+ (* b (- b a)) (* a a)))
  (* (* (- a b) (+ (* (* b b) b) (* (* a a) a))) (* (- a b) (+ (* (* b b) b) (* (* a a) a))))
  (* (+ (* b (- b a)) (* a a)) (+ (* b (- b a)) (* a a)))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (* (- a b) (* (- a b) (+ b a)))))
  (* (+ (* b (- b a)) (* a a)) (- a b))
  (* (* (* (- a b) (+ b a)) (* (+ (* (* b b) b) (* (* a a) a)) (- (* (* a a) a) (* (* b b) b)))) (- a b))
  (* (* (- a b) (+ (* b (- b a)) (* a a))) (+ (* a a) (* b (+ b a))))
  (* (* (- a b) (+ b a)) (* (- a b) (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a)))))
  (* (- a b) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (* (- a b) (* (- a b) (+ b a))) (* (- a b) (+ b a))) (- (* (* a a) a) (* (* b b) b)))
  (* (- a b) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (* (- a b) (* (- a b) (+ b a))) (* (- a b) (+ b a))) (* (- a b) (+ b a)))
  (* (* (+ b a) (- a b)) (- a b))
  (* (* (* (- a b) (* (- a b) (+ b a))) (+ b a)) (- (* (* a a) a) (* (* b b) b)))
  (* (+ (* a a) (* b (+ b a))) (- a b))
  (* (* (* (- a b) (+ b a)) (+ b a)) (* (- a b) (* (- a b) (+ b a))))
  (* (+ b a) (- a b))
  (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (* (- a b) (* (- a b) (+ b a)))))
  (* (+ (* b (- b a)) (* a a)) (- a b))
  (* (* (- a b) (* (- a b) (+ b a))) (* (- a b) (* (- a b) (+ b a))))
  (* (- a b) (- a b))
  (* (+ b a) (+ b a))
  (* (- a b) (- a b))
  2
  2
  2
  2
  (* (+ b a) (* (- a b) (* (+ b a) a)))
  (* (* (- a b) (+ b a)) (* (+ b a) (- b)))
  (* (+ b a) (* (- a b) (* (+ b a) a)))
  (* (* (- a b) (+ b a)) (* (+ b a) (- b)))
  (* (+ b a) (* (- a b) (* (+ b a) a)))
  (* (* (- a b) (+ b a)) (* (+ b a) (- b)))
  (* (+ b a) (* (- a b) (* (+ b a) a)))
  (* (* (- a b) (+ b a)) (* (+ b a) (- b)))
  (* (+ b a) (* (- a b) (* (+ b a) a)))
  (* (- b) (* (+ b a) (* (- a b) (+ b a))))
  (* (+ b a) (* (- a b) (* (+ b a) a)))
  (* (- b) (* (+ b a) (* (- a b) (+ b a))))
  (* (+ b a) (* (- a b) (* (+ b a) a)))
  (* (- b) (* (+ b a) (* (- a b) (+ b a))))
  (* (+ b a) (* (- a b) (* (+ b a) a)))
  (* (- b) (* (+ b a) (* (- a b) (+ b a))))
  (* (+ b a) (* (- a b) (+ b a)))
  (* (* (- a b) (+ b a)) (- a b))
  (* (* (+ (* (* b b) b) (* (* a a) a)) (- (* (* a a) a) (* (* b b) b))) (* (- a b) (+ b a)))
  (* (* (- a b) (+ b a)) (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))))
  (* (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))) (* (- a b) (+ b a)))
  (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (* (* (* (- a b) (+ b a)) (+ b a)) (- (* (* a a) a) (* (* b b) b)))
  (* (* (* (- a b) (+ b a)) (+ b a)) (* (- a b) (+ b a)))
  (* (* (- a b) (+ (* (* b b) b) (* (* a a) a))) (* (- a b) (+ b a)))
  (* (* (- a b) (* (- a b) (+ b a))) (* (- a b) (+ b a)))
  (* (* (- a b) (+ b a)) (* (+ (* (* b b) b) (* (* a a) a)) (- (* (* a a) a) (* (* b b) b))))
  (* (* (- a b) (+ b a)) (* (+ (* (* b b) b) (* (* a a) a)) (* (- a b) (+ b a))))
  (* (* (- a b) (+ b a)) (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a))))
  (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (* (* (* (+ b a) (- (* (* a a) a) (* (* b b) b))) (+ b a)) (- a b))
  (* (* (* (- a b) (+ b a)) (+ b a)) (* (- a b) (+ b a)))
  (* (* (- a b) (+ b a)) (* (- a b) (+ (* (* b b) b) (* (* a a) a))))
  (* (* (- a b) (* (- a b) (+ b a))) (* (- a b) (+ b a)))
  (real->posit16 (* (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (+ (log (/ (* (- a b) (+ b a)) (- a b))) (log (/ (* (- a b) (+ b a)) (- a b))))
  (+ (log (/ (* (- a b) (+ b a)) (- a b))) (log (/ (* (- a b) (+ b a)) (- a b))))
  (+ (log (/ (* (- a b) (+ b a)) (- a b))) (log (/ (* (- a b) (+ b a)) (- a b))))
  (+ (log (/ (* (- a b) (+ b a)) (- a b))) (log (/ (* (- a b) (+ b a)) (- a b))))
  (+ (log (/ (* (- a b) (+ b a)) (- a b))) (log (/ (* (- a b) (+ b a)) (- a b))))
  (+ (log (/ (* (- a b) (+ b a)) (- a b))) (log (/ (* (- a b) (+ b a)) (- a b))))
  (+ (log (/ (* (- a b) (+ b a)) (- a b))) (log (/ (* (- a b) (+ b a)) (- a b))))
  (+ (log (/ (* (- a b) (+ b a)) (- a b))) (log (/ (* (- a b) (+ b a)) (- a b))))
  (+ (log (/ (* (- a b) (+ b a)) (- a b))) (log (/ (* (- a b) (+ b a)) (- a b))))
  (+ (log (/ (* (- a b) (+ b a)) (- a b))) (log (/ (* (- a b) (+ b a)) (- a b))))
  (+ (log (/ (* (- a b) (+ b a)) (- a b))) (log (/ (* (- a b) (+ b a)) (- a b))))
  (exp (* (/ (* (- a b) (+ b a)) (- a b)) (/ (* (- a b) (+ b a)) (- a b))))
  (* (/ (* (* (* (+ b a) (* (+ b a) (+ b a))) (* (- a b) (- a b))) (- a b)) (* (- a b) (* (- a b) (- a b)))) (/ (* (* (* (+ b a) (* (+ b a) (+ b a))) (* (- a b) (- a b))) (- a b)) (* (- a b) (* (- a b) (- a b)))))
  (* (/ (* (* (* (+ b a) (* (+ b a) (+ b a))) (* (- a b) (- a b))) (- a b)) (* (- a b) (* (- a b) (- a b)))) (/ (* (* (* (+ b a) (* (+ b a) (+ b a))) (* (- a b) (- a b))) (- a b)) (* (- a b) (* (- a b) (- a b)))))
  (/ (/ (* (* (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (+ b a) (* (+ b a) (+ b a)))) (* (- a b) (* (- a b) (- a b)))) (* (- a b) (* (- a b) (- a b)))) (* (- a b) (* (- a b) (- a b))))
  (/ (/ (* (* (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (+ b a) (* (+ b a) (+ b a)))) (* (- a b) (* (- a b) (- a b)))) (* (- a b) (* (- a b) (- a b)))) (* (- a b) (* (- a b) (- a b))))
  (/ (/ (* (* (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (+ b a) (* (+ b a) (+ b a)))) (* (- a b) (* (- a b) (- a b)))) (* (- a b) (* (- a b) (- a b)))) (* (- a b) (* (- a b) (- a b))))
  (/ (/ (* (* (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (+ b a) (* (+ b a) (+ b a)))) (* (- a b) (* (- a b) (- a b)))) (* (- a b) (* (- a b) (- a b)))) (* (- a b) (* (- a b) (- a b))))
  (* (/ (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (- a b) (* (- a b) (- a b)))) (/ (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (- a b) (* (- a b) (- a b)))))
  (* (/ (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (- a b) (* (- a b) (- a b)))) (/ (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (- a b) (* (- a b) (- a b)))))
  (* (/ (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (- a b) (* (- a b) (- a b)))) (/ (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (- a b) (* (- a b) (- a b)))))
  (* (/ (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (- a b) (* (- a b) (- a b)))) (/ (* (* (- a b) (+ b a)) (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))) (* (- a b) (* (- a b) (- a b)))))
  (* (cbrt (* (/ (* (- a b) (+ b a)) (- a b)) (/ (* (- a b) (+ b a)) (- a b)))) (cbrt (* (/ (* (- a b) (+ b a)) (- a b)) (/ (* (- a b) (+ b a)) (- a b)))))
  (cbrt (* (/ (* (- a b) (+ b a)) (- a b)) (/ (* (- a b) (+ b a)) (- a b))))
  (* (* (/ (* (- a b) (+ b a)) (- a b)) (/ (* (- a b) (+ b a)) (- a b))) (* (* (/ (* (- a b) (+ b a)) (- a b)) (/ (* (- a b) (+ b a)) (- a b))) (* (/ (* (- a b) (+ b a)) (- a b)) (/ (* (- a b) (+ b a)) (- a b)))))
  (sqrt (* (/ (* (- a b) (+ b a)) (- a b)) (/ (* (- a b) (+ b a)) (- a b))))
  (sqrt (* (/ (* (- a b) (+ b a)) (- a b)) (/ (* (- a b) (+ b a)) (- a b))))
  (* (* (- a b) (+ b a)) (- (* (- a b) (+ b a))))
  (* (- (- a b)) (- a b))
  (/ (* (- a b) (+ b a)) (- a b))
  (/ (* (- a b) (+ b a)) (- a b))
  (/ 1 (* (- a b) (- a b)))
  (* (/ (- a b) (* (- a b) (+ b a))) (/ (- a b) (* (- a b) (+ b a))))
  (/ (* (- a b) (+ b a)) (/ (- a b) (* (- a b) (+ b a))))
  (* (/ (- a b) (+ b a)) (/ (- a b) (- a b)))
  (* (- (/ (* a a) (- (* (* a a) a) (* (* b b) b))) (/ (* b b) (- (* (* a a) a) (* (* b b) b)))) (- (/ (* a a) (- (* (* a a) a) (* (* b b) b))) (/ (* b b) (- (* (* a a) a) (* (* b b) b)))))
  (* (/ (* (- a b) (+ b a)) (* (- a b) (+ b a))) (/ (* (- a b) (+ b a)) (- (* (* a a) a) (* (* b b) b))))
  (* (/ (* (- a b) (+ b a)) (* (- a b) (+ b a))) (/ (* (- a b) (+ b a)) (- (* (* a a) a) (* (* b b) b))))
  (* (/ (* (- a b) (+ b a)) (* (- a b) (+ b a))) (/ (* (- a b) (+ b a)) (* (- a b) (+ b a))))
  (/ (/ (* (* (- a b) (+ b a)) (* (- a b) (+ b a))) (- a b)) (- (* (* a a) a) (* (* b b) b)))
  (/ (* (* (- a b) (+ b a)) (* (- a b) (+ b a))) (* (* (- a b) (+ b a)) (- a b)))
  (/ (* (* (- a b) (+ b a)) (* (- a b) (+ b a))) (* (- a b) (- (* (* a a) a) (* (* b b) b))))
  (* (/ (* (- a b) (+ b a)) (* (- a b) (+ b a))) (/ (* (- a b) (+ b a)) (- a b)))
  (* (* (- a b) (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a))))) (* (- a b) (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a))))))
  (* (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (+ (* a a) (* b (+ b a)))) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (* (- a b) (- a b)) (* (+ (* a a) (* b (+ b a))) (- a b))) (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))))
  (* (* (* (+ b a) (- a b)) (* (- a b) (- a b))) (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))))
  (* (- a b) (* (- a b) (* (+ (* b (- b a)) (* a a)) (* (+ (* a a) (* b (+ b a))) (+ (* a a) (* b (+ b a)))))))
  (* (* (* (+ b a) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a))) (+ (* a a) (* b (+ b a))))
  (* (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (+ (* a a) (* b (+ b a)))) (+ (* b (- b a)) (* a a)))
  (* (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (+ (* a a) (* b (+ b a)))) (- a b))
  (* (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (+ (* a a) (* b (+ b a)))) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (- a b) (* (+ b a) (+ (* b (- b a)) (* a a)))) (* (- a b) (* (+ b a) (+ (* b (- b a)) (* a a)))))
  (* (* (* (+ b a) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a))) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (* (+ b a) (- a b)) (* (- a b) (- a b))) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (* (+ b a) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a))) (+ (* a a) (* b (+ b a))))
  (* (* (+ b a) (* (- a b) (- a b))) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (- a b) (- a b)) (* (* (+ b a) (+ (* b (- b a)) (* a a))) (- a b)))
  (* (* (* (- a b) (- a b)) (* (+ (* a a) (* b (+ b a))) (- a b))) (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))))
  (* (* (* (+ b a) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a))) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (- a b) (* (+ (* a a) (* b (+ b a))) (- a b))) (* (- a b) (* (+ (* a a) (* b (+ b a))) (- a b))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (* b (+ b a))) (* (- a b) (- a b))) (+ b a)))
  (* (* (* (+ (* a a) (* b (+ b a))) (- a b)) (+ (* a a) (* b (+ b a)))) (* (- a b) (- a b)))
  (* (* (+ b a) (* (- a b) (- a b))) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (* (- a b) (- a b)) (* (+ (* a a) (* b (+ b a))) (- a b))) (- a b))
  (* (* (* (+ b a) (- a b)) (* (- a b) (- a b))) (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))))
  (* (* (* (+ b a) (- a b)) (* (- a b) (- a b))) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (- a b) (- a b)) (* (* (+ (* a a) (* b (+ b a))) (* (- a b) (- a b))) (+ b a)))
  (* (* (- a b) (* (+ b a) (- a b))) (* (- a b) (* (+ b a) (- a b))))
  (* (* (+ b a) (* (- a b) (- a b))) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (* (+ b a) (- a b)) (+ b a)) (* (- a b) (- a b)))
  (* (* (* (+ b a) (- a b)) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a)))
  (* (* (- a b) (* (+ b a) (- a b))) (* (- a b) (- a b)))
  (* (- a b) (* (- a b) (* (+ (* b (- b a)) (* a a)) (* (+ (* a a) (* b (+ b a))) (+ (* a a) (* b (+ b a)))))))
  (* (* (* (+ b a) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a))) (+ (* a a) (* b (+ b a))))
  (* (* (* (+ (* a a) (* b (+ b a))) (- a b)) (+ (* a a) (* b (+ b a)))) (* (- a b) (- a b)))
  (* (* (+ b a) (* (- a b) (- a b))) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (- a b) (+ (* a a) (* b (+ b a)))) (* (- a b) (+ (* a a) (* b (+ b a)))))
  (* (* (+ (* a a) (* b (+ b a))) (* (- a b) (- a b))) (+ b a))
  (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (+ (* a a) (* b (+ b a))))
  (* (- a b) (* (- a b) (* (+ (* a a) (* b (+ b a))) (- a b))))
  (* (* (* (+ b a) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a))) (+ (* a a) (* b (+ b a))))
  (* (* (+ b a) (* (- a b) (- a b))) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (+ b a) (* (- a b) (- a b))) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (* (+ b a) (- a b)) (+ b a)) (* (- a b) (- a b)))
  (* (* (+ (* a a) (* b (+ b a))) (* (- a b) (- a b))) (+ b a))
  (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))
  (* (* (+ b a) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a)))
  (* (* (+ b a) (* (- a b) (- a b))) (- a b))
  (* (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (+ (* a a) (* b (+ b a)))) (+ (* b (- b a)) (* a a)))
  (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (* (+ b a) (- a b)) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a)))
  (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (+ (* a a) (* b (+ b a))))
  (* (* (+ b a) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a)))
  (* (* (- a b) (+ (* b (- b a)) (* a a))) (* (- a b) (+ (* b (- b a)) (* a a))))
  (* (* (+ (* b (- b a)) (* a a)) (- a b)) (* (- a b) (- a b)))
  (* (* (* (- a b) (- a b)) (- a b)) (* (+ (* b (- b a)) (* a a)) (+ (* a a) (* b (+ b a)))))
  (* (* (* (- a b) (- a b)) (- a b)) (* (+ b a) (+ (* b (- b a)) (* a a))))
  (* (* (* (- a b) (- a b)) (- a b)) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (* (- a b) (- a b)) (- a b)) (* (+ b a) (- a b)))
  (* (* (- a b) (- a b)) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (+ b a) (- a b)) (* (- a b) (- a b)))
  (* (* (* (- a b) (- a b)) (- a b)) (+ (* b (- b a)) (* a a)))
  (* (* (- a b) (- a b)) (* (- a b) (- a b)))
  (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (+ (* a a) (* b (+ b a))))
  (* (* (+ b a) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a)))
  (* (* (- a b) (- a b)) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (+ b a) (- a b)) (* (- a b) (- a b)))
  (* (+ (* a a) (* b (+ b a))) (* (- a b) (- a b)))
  (* (+ b a) (* (- a b) (- a b)))
  (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b)))
  (* (- a b) (* (- a b) (- a b)))
  (* (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b))) (+ (* a a) (* b (+ b a))))
  (* (* (+ b a) (* (- a b) (- a b))) (+ (* b (- b a)) (* a a)))
  (* (* (- a b) (- a b)) (* (+ (* a a) (* b (+ b a))) (- a b)))
  (* (* (+ b a) (- a b)) (* (- a b) (- a b)))
  (* (+ (* a a) (* b (+ b a))) (* (- a b) (- a b)))
  (* (+ b a) (* (- a b) (- a b)))
  (* (+ (* b (- b a)) (* a a)) (* (- a b) (- a b)))
  (* (- a b) (* (- a b) (- a b)))
  (real->posit16 (* (/ (* (- a b) (+ b a)) (- a b)) (/ (* (- a b) (+ b a)) (- a b))))
  2
  (* (- a b) (- a b))
  2
  (+ (log (- a b)) (log (- a b)))
  (+ (log (- a b)) (log (- a b)))
  (exp (* (- a b) (- a b)))
  (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b)))
  (* (cbrt (* (- a b) (- a b))) (cbrt (* (- a b) (- a b))))
  (cbrt (* (- a b) (- a b)))
  (* (* (* (- a b) (- a b)) (* (- a b) (- a b))) (* (- a b) (- a b)))
  (fabs (- a b))
  (fabs (- a b))
  (* (- (* (* a a) a) (* (* b b) b)) (- (* (* a a) a) (* (* b b) b)))
  (* (+ (* a a) (* b (+ b a))) (+ (* a a) (* b (+ b a))))
  (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a)))
  (* (+ b a) (+ (* a a) (* b (+ b a))))
  (* (- (* (* a a) a) (* (* b b) b)) (* (- a b) (+ b a)))
  (* (+ b a) (+ (* a a) (* b (+ b a))))
  (* (* (- a b) (+ b a)) (* (- a b) (+ b a)))
  (* (+ b a) (+ b a))
  (* (* (cbrt (- a b)) (cbrt (- a b))) (* (cbrt (- a b)) (cbrt (- a b))))
  (* (cbrt (- a b)) (cbrt (- a b)))
  (- a b)
  (- a b)
  1
  (* (- a b) (- a b))
  1
  (* (- a b) (- a b))
  (* (+ (sqrt b) (sqrt a)) (+ (sqrt b) (sqrt a)))
  (* (- (sqrt a) (sqrt b)) (- (sqrt a) (sqrt b)))
  1
  (* (- a b) (- a b))
  1
  (* (- a b) (- a b))
  (- a b)
  (- a b)
  2
  (* (- a b) a)
  (* (- a b) (- b))
  (* (- a b) a)
  (* (- a b) (- b))
  (* a (- a b))
  (* (- b) (- a b))
  (* a (- a b))
  (* (- b) (- a b))
  (* (* (cbrt (- a b)) (cbrt (- a b))) (- a b))
  (* (- a b) (sqrt (- a b)))
  (- a b)
  (* (+ (sqrt b) (sqrt a)) (- a b))
  (- a b)
  (* (- a b) (cbrt (- a b)))
  (* (- a b) (sqrt (- a b)))
  (* (- a b) (- a b))
  (* (- a b) (- (sqrt a) (sqrt b)))
  (* (- a b) (- a b))
  (* (- (* (* a a) a) (* (* b b) b)) (- a b))
  (* (* (- a b) (+ b a)) (- a b))
  (* (- a b) (- (* (* a a) a) (* (* b b) b)))
  (* (- a b) (* (- a b) (+ b a)))
  (real->posit16 (* (- a b) (- a b)))
  (- (+ (* (* a a) (* a a)) (* (* b b) (* b b))) (* 2 (* (* b b) (* a a))))
  (- (+ (* (* a a) (* a a)) (* (* b b) (* b b))) (* 2 (* (* b b) (* a a))))
  (- (+ (* (* a a) (* a a)) (* (* b b) (* b b))) (* 2 (* (* b b) (* a a))))
  (+ (+ (* b b) (* a a)) (* (* a b) 2))
  (+ (+ (* b b) (* a a)) (* (* a b) 2))
  (+ (+ (* b b) (* a a)) (* (* a b) 2))
  (+ (* a a) (- (* b b) (* (* a b) 2)))
  (+ (* a a) (- (* b b) (* (* a b) 2)))
  (+ (* a a) (- (* b b) (* (* a b) 2)))
2.763 * * * [progress]: adding candidates to table
3.949 * [progress]: [Phase 3 of 3] Extracting.
3.949 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))> #<alt (λ (a b) (* (+ a b) (+ a b)))>)
3.949 * * * [regime-changes]: Trying 4 branch expressions: ((+ a b) (* (+ a b) (+ a b)) b a)
3.949 * * * * [regimes]: Trying to branch on (+ a b) from (#<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))> #<alt (λ (a b) (* (+ a b) (+ a b)))>)
3.968 * * * * [regimes]: Trying to branch on (* (+ a b) (+ a b)) from (#<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))> #<alt (λ (a b) (* (+ a b) (+ a b)))>)
3.989 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))> #<alt (λ (a b) (* (+ a b) (+ a b)))>)
4.007 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (/ (* (* (+ a b) (- a b)) (* (+ a b) (- a b))) (* (- a b) (- a b))))> #<alt (λ (a b) (* (+ a b) (+ a b)))>)
4.025 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
4.026 * [simplify]: Simplifying:
  (* (+ a b) (+ a b))
4.026 * * [simplify]: iteration 0: 4 enodes
4.026 * * [simplify]: iteration 1: 5 enodes
4.026 * * [simplify]: iteration complete: 5 enodes
4.026 * * [simplify]: Extracting #0: cost 1 inf + 0
4.026 * * [simplify]: Extracting #1: cost 2 inf + 0
4.026 * * [simplify]: Extracting #2: cost 4 inf + 0
4.026 * * [simplify]: Extracting #3: cost 2 inf + 2
4.026 * * [simplify]: Extracting #4: cost 0 inf + 126
4.026 * [simplify]: Simplified to:
  (* (+ b a) (+ b a))
5.081 * [regime-testing]: Baseline error score: 0.021722076197295093
5.084 * [regime-testing]: Oracle error score: 0.016648321665388464
5.090 * [regime-testing]: End program error score: 0.021722076197295093
5.148 * [regime-testing]: Target error score: 0.012751593949243656