10.178 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (- (* a a) (* b b)) 0.019 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.019 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.021 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.023 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 0.027 * * [simplify]: iteration 4 : 57 enodes (cost 7 ) 0.034 * * [simplify]: iteration 5 : 98 enodes (cost 7 ) 0.053 * * [simplify]: iteration 6 : 156 enodes (cost 7 ) 0.082 * * [simplify]: iteration 7 : 324 enodes (cost 7 ) 0.261 * * [simplify]: iteration 8 : 1579 enodes (cost 7 ) 3.459 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 3.459 * [simplify]: Simplified to: (* (- a b) (+ a b)) 3.461 * * [progress]: iteration 1 / 4 3.461 * * * [progress]: picking best candidate 3.463 * * * * [pick]: Picked # 3.463 * * * [progress]: localizing error 3.468 * * * [progress]: generating rewritten candidates 3.468 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.490 * * * [progress]: generating series expansions 3.490 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.490 * [approximate]: Taking taylor expansion of (* (- a b) (+ a b)) in (a b) around 0 3.490 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in b 3.490 * [taylor]: Taking taylor expansion of (- a b) in b 3.490 * [taylor]: Taking taylor expansion of a in b 3.490 * [taylor]: Taking taylor expansion of b in b 3.490 * [taylor]: Taking taylor expansion of (+ a b) in b 3.490 * [taylor]: Taking taylor expansion of a in b 3.490 * [taylor]: Taking taylor expansion of b in b 3.490 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a 3.490 * [taylor]: Taking taylor expansion of (- a b) in a 3.490 * [taylor]: Taking taylor expansion of a in a 3.490 * [taylor]: Taking taylor expansion of b in a 3.490 * [taylor]: Taking taylor expansion of (+ a b) in a 3.490 * [taylor]: Taking taylor expansion of a in a 3.490 * [taylor]: Taking taylor expansion of b in a 3.490 * [taylor]: Taking taylor expansion of (* (- a b) (+ a b)) in a 3.490 * [taylor]: Taking taylor expansion of (- a b) in a 3.490 * [taylor]: Taking taylor expansion of a in a 3.490 * [taylor]: Taking taylor expansion of b in a 3.490 * [taylor]: Taking taylor expansion of (+ a b) in a 3.490 * [taylor]: Taking taylor expansion of a in a 3.490 * [taylor]: Taking taylor expansion of b in a 3.491 * [taylor]: Taking taylor expansion of (* -1 (pow b 2)) in b 3.491 * [taylor]: Taking taylor expansion of -1 in b 3.491 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.491 * [taylor]: Taking taylor expansion of b in b 3.492 * [taylor]: Taking taylor expansion of 0 in b 3.493 * [taylor]: Taking taylor expansion of 1 in b 3.494 * [taylor]: Taking taylor expansion of 0 in b 3.497 * [taylor]: Taking taylor expansion of 0 in b 3.497 * [approximate]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in (a b) around 0 3.497 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in b 3.497 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 3.497 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.497 * [taylor]: Taking taylor expansion of a in b 3.497 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.497 * [taylor]: Taking taylor expansion of b in b 3.497 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.498 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.498 * [taylor]: Taking taylor expansion of b in b 3.498 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.498 * [taylor]: Taking taylor expansion of a in b 3.498 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a 3.498 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 3.498 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.498 * [taylor]: Taking taylor expansion of a in a 3.498 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.498 * [taylor]: Taking taylor expansion of b in a 3.498 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.498 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.498 * [taylor]: Taking taylor expansion of b in a 3.498 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.498 * [taylor]: Taking taylor expansion of a in a 3.499 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) (/ 1 b)) (+ (/ 1 b) (/ 1 a))) in a 3.499 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 3.499 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.499 * [taylor]: Taking taylor expansion of a in a 3.499 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.499 * [taylor]: Taking taylor expansion of b in a 3.499 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.499 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.499 * [taylor]: Taking taylor expansion of b in a 3.499 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.499 * [taylor]: Taking taylor expansion of a in a 3.500 * [taylor]: Taking taylor expansion of 1 in b 3.501 * [taylor]: Taking taylor expansion of 0 in b 3.503 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 3.503 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.504 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.504 * [taylor]: Taking taylor expansion of b in b 3.507 * [taylor]: Taking taylor expansion of 0 in b 3.511 * [taylor]: Taking taylor expansion of 0 in b 3.512 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in (a b) around 0 3.512 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in b 3.512 * [taylor]: Taking taylor expansion of -1 in b 3.513 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in b 3.513 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 3.513 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.513 * [taylor]: Taking taylor expansion of b in b 3.513 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.513 * [taylor]: Taking taylor expansion of a in b 3.513 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.513 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.513 * [taylor]: Taking taylor expansion of b in b 3.513 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.513 * [taylor]: Taking taylor expansion of a in b 3.513 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a 3.513 * [taylor]: Taking taylor expansion of -1 in a 3.513 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a 3.514 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 3.514 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.514 * [taylor]: Taking taylor expansion of b in a 3.514 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.514 * [taylor]: Taking taylor expansion of a in a 3.514 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.514 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.514 * [taylor]: Taking taylor expansion of b in a 3.514 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.514 * [taylor]: Taking taylor expansion of a in a 3.514 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a)))) in a 3.514 * [taylor]: Taking taylor expansion of -1 in a 3.514 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) in a 3.514 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 3.514 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.514 * [taylor]: Taking taylor expansion of b in a 3.514 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.514 * [taylor]: Taking taylor expansion of a in a 3.515 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.515 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.515 * [taylor]: Taking taylor expansion of b in a 3.515 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.515 * [taylor]: Taking taylor expansion of a in a 3.516 * [taylor]: Taking taylor expansion of 1 in b 3.518 * [taylor]: Taking taylor expansion of 0 in b 3.521 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 3.521 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.521 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.521 * [taylor]: Taking taylor expansion of b in b 3.525 * [taylor]: Taking taylor expansion of 0 in b 3.530 * [taylor]: Taking taylor expansion of 0 in b 3.531 * * * [progress]: simplifying candidates 3.532 * [simplify]: Simplifying using # : (* (- a b) (+ a b)) (+ (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)) (* (sqrt (- a b)) (sqrt (+ a b))) (* (sqrt (- a b)) (sqrt (+ a b))) (* (- 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)) (* (- (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)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 3.534 * * [simplify]: iteration 0 : 69 enodes (cost 412 ) 3.548 * * [simplify]: iteration 1 : 219 enodes (cost 399 ) 3.599 * * [simplify]: iteration 2 : 944 enodes (cost 371 ) 3.945 * * [simplify]: iteration done : 5002 enodes (cost 371 ) 3.946 * [simplify]: Simplified to: (- (pow a 2) (pow b 2)) (log (* (- a b) (+ a b))) (log (* (- a b) (+ a b))) (exp (* (- a b) (+ a b))) (pow (- (pow a 2) (pow b 2)) 3) (* (cbrt (* (- a b) (+ a b))) (cbrt (* (- a b) (+ a b)))) (cbrt (* (- a b) (+ a b))) (pow (- (pow a 2) (pow b 2)) 3) (sqrt (* (- a b) (+ a b))) (sqrt (* (- a b) (+ a b))) (* (- (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* b (+ a b)) (* a a)) (+ (* b (- b a)) (* a a))) (* (- (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (- a b) (+ (* b (+ a b)) (* a a))) (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) (* (+ (* b (- b a)) (* a a)) (+ a b)) (* (- a b) (* (* (+ a b) (+ a b)) (- a b))) (- (pow a 2) (pow b 2)) (* (sqrt (- a b)) (sqrt (+ a b))) (* (sqrt (- a b)) (sqrt (+ a b))) (* (- a b) a) (* b (- a b)) (* (- a b) a) (* b (- a b)) (* (- a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (- a b) (sqrt (+ a b))) (- a b) (- a b) (* (cbrt (- a b)) (+ a b)) (* (sqrt (- a b)) (+ a b)) (- (pow a 2) (pow b 2)) (* (- (sqrt a) (sqrt b)) (+ a b)) (- (pow a 2) (pow b 2)) (* (- 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 b)) (- a b)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 3.946 * * * [progress]: adding candidates to table 4.004 * * [progress]: iteration 2 / 4 4.004 * * * [progress]: picking best candidate 4.006 * * * * [pick]: Picked # 4.006 * * * [progress]: localizing error 4.013 * * * [progress]: generating rewritten candidates 4.013 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 4.025 * * * [progress]: generating series expansions 4.025 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 4.025 * [approximate]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in (a b) around 0 4.026 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 4.026 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.026 * [taylor]: Taking taylor expansion of a in b 4.026 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.026 * [taylor]: Taking taylor expansion of b in b 4.026 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 4.026 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.026 * [taylor]: Taking taylor expansion of a in a 4.026 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.026 * [taylor]: Taking taylor expansion of b in a 4.026 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 4.026 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.026 * [taylor]: Taking taylor expansion of a in a 4.026 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.026 * [taylor]: Taking taylor expansion of b in a 4.026 * [taylor]: Taking taylor expansion of (- (pow b 2)) in b 4.026 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.026 * [taylor]: Taking taylor expansion of b in b 4.027 * [taylor]: Taking taylor expansion of 0 in b 4.028 * [taylor]: Taking taylor expansion of 1 in b 4.029 * [taylor]: Taking taylor expansion of 0 in b 4.032 * [taylor]: Taking taylor expansion of 0 in b 4.032 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 4.032 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 4.032 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.032 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.032 * [taylor]: Taking taylor expansion of a in b 4.032 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.032 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.032 * [taylor]: Taking taylor expansion of b in b 4.033 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 4.033 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.033 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.033 * [taylor]: Taking taylor expansion of a in a 4.035 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.036 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.036 * [taylor]: Taking taylor expansion of b in a 4.036 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 4.036 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.036 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.036 * [taylor]: Taking taylor expansion of a in a 4.036 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.036 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.036 * [taylor]: Taking taylor expansion of b in a 4.037 * [taylor]: Taking taylor expansion of 1 in b 4.038 * [taylor]: Taking taylor expansion of 0 in b 4.039 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 4.039 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.039 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.039 * [taylor]: Taking taylor expansion of b in b 4.041 * [taylor]: Taking taylor expansion of 0 in b 4.044 * [taylor]: Taking taylor expansion of 0 in b 4.046 * [approximate]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in (a b) around 0 4.046 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 4.046 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.046 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.046 * [taylor]: Taking taylor expansion of a in b 4.046 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.046 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.046 * [taylor]: Taking taylor expansion of b in b 4.047 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 4.047 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.047 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.047 * [taylor]: Taking taylor expansion of a in a 4.047 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.047 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.047 * [taylor]: Taking taylor expansion of b in a 4.047 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 4.047 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.048 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.048 * [taylor]: Taking taylor expansion of a in a 4.048 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.048 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.048 * [taylor]: Taking taylor expansion of b in a 4.048 * [taylor]: Taking taylor expansion of 1 in b 4.049 * [taylor]: Taking taylor expansion of 0 in b 4.051 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 4.051 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.051 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.051 * [taylor]: Taking taylor expansion of b in b 4.053 * [taylor]: Taking taylor expansion of 0 in b 4.056 * [taylor]: Taking taylor expansion of 0 in b 4.058 * * * [progress]: simplifying candidates 4.058 * [simplify]: Simplifying using # : (/ (exp (pow a 2)) (exp (pow b 2))) (log (- (pow a 2) (pow b 2))) (exp (- (pow a 2) (pow b 2))) (* (cbrt (- (pow a 2) (pow b 2))) (cbrt (- (pow a 2) (pow b 2)))) (cbrt (- (pow a 2) (pow b 2))) (* (* (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2))) (- (pow a 2) (pow b 2))) (sqrt (- (pow a 2) (pow b 2))) (sqrt (- (pow a 2) (pow b 2))) (- (pow (pow a 2) 3) (pow (pow b 2) 3)) (+ (* (pow a 2) (pow a 2)) (+ (* (pow b 2) (pow b 2)) (* (pow a 2) (pow b 2)))) (- (pow b 2)) (- (* (pow a 2) (pow a 2)) (* (pow b 2) (pow b 2))) (+ (pow a 2) (pow b 2)) (+ (pow (sqrt a) 2) (pow (sqrt b) 2)) (- (pow (sqrt a) 2) (pow (sqrt b) 2)) (+ (pow (sqrt a) 2) b) (- (pow (sqrt a) 2) b) (+ (pow (sqrt a) 2) (sqrt (pow b 2))) (- (pow (sqrt a) 2) (sqrt (pow b 2))) (+ (pow (sqrt a) 2) (pow b (/ 2 2))) (- (pow (sqrt a) 2) (pow b (/ 2 2))) (+ a (pow (sqrt b) 2)) (- a (pow (sqrt b) 2)) (+ a b) (- a b) (+ a (sqrt (pow b 2))) (- a (sqrt (pow b 2))) (+ a (pow b (/ 2 2))) (- a (pow b (/ 2 2))) (+ (sqrt (pow a 2)) (pow (sqrt b) 2)) (- (sqrt (pow a 2)) (pow (sqrt b) 2)) (+ (sqrt (pow a 2)) b) (- (sqrt (pow a 2)) b) (+ (sqrt (pow a 2)) (sqrt (pow b 2))) (- (sqrt (pow a 2)) (sqrt (pow b 2))) (+ (sqrt (pow a 2)) (pow b (/ 2 2))) (- (sqrt (pow a 2)) (pow b (/ 2 2))) (+ (pow a (/ 2 2)) (pow (sqrt b) 2)) (- (pow a (/ 2 2)) (pow (sqrt b) 2)) (+ (pow a (/ 2 2)) b) (- (pow a (/ 2 2)) b) (+ (pow a (/ 2 2)) (sqrt (pow b 2))) (- (pow a (/ 2 2)) (sqrt (pow b 2))) (+ (pow a (/ 2 2)) (pow b (/ 2 2))) (- (pow a (/ 2 2)) (pow b (/ 2 2))) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 4.060 * * [simplify]: iteration 0 : 69 enodes (cost 444 ) 4.071 * * [simplify]: iteration 1 : 150 enodes (cost 395 ) 4.112 * * [simplify]: iteration 2 : 401 enodes (cost 269 ) 4.216 * * [simplify]: iteration 3 : 1048 enodes (cost 265 ) 4.618 * * [simplify]: iteration done : 5000 enodes (cost 265 ) 4.619 * [simplify]: Simplified to: (exp (- (pow a 2) (pow b 2))) (log (- (pow a 2) (pow b 2))) (exp (- (pow a 2) (pow b 2))) (* (cbrt (- (pow a 2) (pow b 2))) (cbrt (- (pow a 2) (pow b 2)))) (cbrt (- (pow a 2) (pow b 2))) (pow (- (pow a 2) (pow b 2)) 3) (sqrt (- (pow a 2) (pow b 2))) (sqrt (- (pow a 2) (pow b 2))) (- (pow a 6) (pow b 6)) (+ (pow a 4) (* (pow b 2) (+ (pow a 2) (pow b 2)))) (- (pow b 2)) (- (pow a 4) (pow b 4)) (+ (pow a 2) (pow b 2)) (+ b a) (- a b) (+ b a) (- a b) (+ (fabs b) a) (- a (fabs b)) (+ b a) (- a b) (+ b a) (- a b) (+ b a) (- a b) (+ (fabs b) a) (- a (fabs b)) (+ b a) (- a b) (+ b (fabs a)) (- (fabs a) b) (+ b (fabs a)) (- (fabs a) b) (+ (fabs a) (fabs b)) (- (fabs a) (fabs b)) (+ b (fabs a)) (- (fabs a) b) (+ b a) (- a b) (+ b a) (- a b) (+ (fabs b) a) (- a (fabs b)) (+ b a) (- a b) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) (- (pow a 2) (pow b 2)) 4.619 * * * [progress]: adding candidates to table 4.657 * [progress]: [Phase 3 of 3] Extracting. 4.657 * * [regime]: Finding splitpoints for: (# #) 4.658 * * * [regime-changes]: Trying 2 branch expressions: (b a) 4.658 * * * * [regimes]: Trying to branch on b from (# #) 4.671 * * * * [regimes]: Trying to branch on a from (# #) 4.681 * * * [regime]: Found split indices: #