10.530 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 0.024 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 0.025 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 0.028 * * [simplify]: iteration 2 : 47 enodes (cost 11 ) 0.034 * * [simplify]: iteration 3 : 97 enodes (cost 11 ) 0.057 * * [simplify]: iteration 4 : 179 enodes (cost 11 ) 0.085 * * [simplify]: iteration 5 : 293 enodes (cost 11 ) 0.143 * * [simplify]: iteration 6 : 455 enodes (cost 11 ) 0.507 * * [simplify]: iteration 7 : 1416 enodes (cost 11 ) 3.433 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 3.433 * [simplify]: Simplified to: (sqrt (fabs (- 1 (/ (* b b) (* a a))))) 3.436 * * [progress]: iteration 1 / 4 3.437 * * * [progress]: picking best candidate 3.438 * * * * [pick]: Picked # 3.438 * * * [progress]: localizing error 3.446 * * * [progress]: generating rewritten candidates 3.446 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2) 3.451 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.453 * * * [progress]: generating series expansions 3.453 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2) 3.453 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 3.453 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 3.453 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.453 * [taylor]: Taking taylor expansion of b in a 3.453 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.453 * [taylor]: Taking taylor expansion of a in a 3.454 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 3.454 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.454 * [taylor]: Taking taylor expansion of b in b 3.454 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.454 * [taylor]: Taking taylor expansion of a in b 3.454 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 3.454 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.454 * [taylor]: Taking taylor expansion of b in b 3.454 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.454 * [taylor]: Taking taylor expansion of a in b 3.455 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.455 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.455 * [taylor]: Taking taylor expansion of a in a 3.456 * [taylor]: Taking taylor expansion of 0 in a 3.458 * [taylor]: Taking taylor expansion of 0 in a 3.461 * [taylor]: Taking taylor expansion of 0 in a 3.464 * [taylor]: Taking taylor expansion of 0 in a 3.464 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 3.464 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 3.464 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.464 * [taylor]: Taking taylor expansion of a in a 3.464 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.464 * [taylor]: Taking taylor expansion of b in a 3.465 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 3.465 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.465 * [taylor]: Taking taylor expansion of a in b 3.465 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.465 * [taylor]: Taking taylor expansion of b in b 3.465 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 3.465 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.465 * [taylor]: Taking taylor expansion of a in b 3.465 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.465 * [taylor]: Taking taylor expansion of b in b 3.465 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.465 * [taylor]: Taking taylor expansion of a in a 3.467 * [taylor]: Taking taylor expansion of 0 in a 3.469 * [taylor]: Taking taylor expansion of 0 in a 3.472 * [taylor]: Taking taylor expansion of 0 in a 3.472 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 3.472 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 3.472 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.472 * [taylor]: Taking taylor expansion of a in a 3.472 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.472 * [taylor]: Taking taylor expansion of b in a 3.473 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 3.473 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.473 * [taylor]: Taking taylor expansion of a in b 3.473 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.473 * [taylor]: Taking taylor expansion of b in b 3.473 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 3.473 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.473 * [taylor]: Taking taylor expansion of a in b 3.473 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.473 * [taylor]: Taking taylor expansion of b in b 3.473 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.474 * [taylor]: Taking taylor expansion of a in a 3.475 * [taylor]: Taking taylor expansion of 0 in a 3.477 * [taylor]: Taking taylor expansion of 0 in a 3.480 * [taylor]: Taking taylor expansion of 0 in a 3.480 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.480 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 3.480 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 3.480 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 3.482 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 3.482 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 3.482 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 3.482 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 3.483 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 3.483 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 3.483 * [taylor]: Taking taylor expansion of 0 in a 3.484 * [taylor]: Taking taylor expansion of 0 in a 3.485 * [taylor]: Taking taylor expansion of 0 in a 3.486 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 3.486 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 3.486 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 3.486 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 3.486 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 3.487 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 3.487 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 3.490 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 3.490 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 3.491 * [taylor]: Taking taylor expansion of 0 in a 3.492 * [taylor]: Taking taylor expansion of 0 in a 3.493 * [taylor]: Taking taylor expansion of 0 in a 3.494 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 3.494 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 3.494 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 3.494 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 3.494 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 3.495 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 3.495 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 3.495 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 3.495 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 3.496 * [taylor]: Taking taylor expansion of 0 in a 3.497 * [taylor]: Taking taylor expansion of 0 in a 3.498 * [taylor]: Taking taylor expansion of 0 in a 3.498 * * * [progress]: simplifying candidates 3.499 * [simplify]: Simplifying using # : (- (+ (log b) (log b)) (+ (log a) (log a))) (- (+ (log b) (log b)) (log (* a a))) (- (log (* b b)) (+ (log a) (log a))) (- (log (* b b)) (log (* a a))) (log (/ (* b b) (* a a))) (exp (/ (* b b) (* a a))) (/ (* (* (* b b) b) (* (* 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 b)) (* (* (* a a) a) (* (* a a) a))) (/ (* (* (* b b) (* b b)) (* b b)) (* (* (* a a) (* a a)) (* a a))) (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a)))) (cbrt (/ (* b b) (* a a))) (* (* (/ (* b b) (* a a)) (/ (* b b) (* a a))) (/ (* b b) (* a a))) (sqrt (/ (* b b) (* a a))) (sqrt (/ (* b b) (* a a))) (- (* b b)) (- (* a a)) (/ b a) (/ b a) (/ 1 (* a a)) (/ (* a a) (* b b)) (/ (* b b) a) (/ (* a a) b) (log (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (exp (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (* (* (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (* (cbrt (fabs (- 1 (/ (* b b) (* a a))))) (cbrt (fabs (- 1 (/ (* b b) (* a a))))))) (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt 1) (sqrt (fabs (- 1 (/ (* b b) (* a a))))) (/ 1 2) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3.501 * * [simplify]: iteration 0 : 65 enodes (cost 498 ) 3.513 * * [simplify]: iteration 1 : 161 enodes (cost 462 ) 3.557 * * [simplify]: iteration 2 : 587 enodes (cost 370 ) 4.925 * * [simplify]: iteration 3 : 4452 enodes (cost 355 ) 6.450 * * [simplify]: iteration done : 5000 enodes (cost 355 ) 6.450 * [simplify]: Simplified to: (* (log (/ b a)) 2) (* (log (/ b a)) 2) (* (log (/ b a)) 2) (* (log (/ b a)) 2) (* (log (/ b a)) 2) (exp (/ (* b b) (* a a))) (/ (pow b 6) (pow a 6)) (/ (pow b 6) (pow a 6)) (/ (pow b 6) (pow a 6)) (/ (pow b 6) (pow a 6)) (* (cbrt (/ (* b b) (* a a))) (cbrt (/ (* b b) (* a a)))) (cbrt (/ (* b b) (* a a))) (/ (pow b 6) (pow a 6)) (fabs (/ b a)) (fabs (/ b a)) (- (* b b)) (- (* a a)) (/ b a) (/ b a) (/ 1 (* a a)) (/ (* a a) (* b b)) (/ (pow b 2) a) (* (/ a b) a) (log (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (exp (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (* (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a))))))) (cbrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (pow (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3) (fabs (cbrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (cbrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 1/2 (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (sqrt (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) (* (/ b a) (/ b a)) (* (/ b a) (/ b a)) (* (/ b a) (/ b a)) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 6.450 * * * [progress]: adding candidates to table 6.524 * * [progress]: iteration 2 / 4 6.524 * * * [progress]: picking best candidate 6.527 * * * * [pick]: Picked # 6.527 * * * [progress]: localizing error 6.538 * * * [progress]: generating rewritten candidates 6.538 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 2) 6.539 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 6.543 * * * [progress]: generating series expansions 6.543 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 2) 6.543 * [approximate]: Taking taylor expansion of (pow (/ b a) 2) in (b a) around 0 6.543 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in a 6.543 * [taylor]: Taking taylor expansion of (/ b a) in a 6.543 * [taylor]: Taking taylor expansion of b in a 6.543 * [taylor]: Taking taylor expansion of a in a 6.543 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b 6.543 * [taylor]: Taking taylor expansion of (/ b a) in b 6.543 * [taylor]: Taking taylor expansion of b in b 6.543 * [taylor]: Taking taylor expansion of a in b 6.543 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b 6.543 * [taylor]: Taking taylor expansion of (/ b a) in b 6.543 * [taylor]: Taking taylor expansion of b in b 6.543 * [taylor]: Taking taylor expansion of a in b 6.543 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.543 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.543 * [taylor]: Taking taylor expansion of a in a 6.544 * [taylor]: Taking taylor expansion of 0 in a 6.545 * [taylor]: Taking taylor expansion of 0 in a 6.547 * [taylor]: Taking taylor expansion of 0 in a 6.549 * [taylor]: Taking taylor expansion of 0 in a 6.549 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0 6.549 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a 6.549 * [taylor]: Taking taylor expansion of (/ a b) in a 6.549 * [taylor]: Taking taylor expansion of a in a 6.550 * [taylor]: Taking taylor expansion of b in a 6.550 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 6.550 * [taylor]: Taking taylor expansion of (/ a b) in b 6.550 * [taylor]: Taking taylor expansion of a in b 6.550 * [taylor]: Taking taylor expansion of b in b 6.550 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 6.550 * [taylor]: Taking taylor expansion of (/ a b) in b 6.550 * [taylor]: Taking taylor expansion of a in b 6.550 * [taylor]: Taking taylor expansion of b in b 6.550 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.550 * [taylor]: Taking taylor expansion of a in a 6.551 * [taylor]: Taking taylor expansion of 0 in a 6.552 * [taylor]: Taking taylor expansion of 0 in a 6.554 * [taylor]: Taking taylor expansion of 0 in a 6.555 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0 6.555 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a 6.555 * [taylor]: Taking taylor expansion of (/ a b) in a 6.555 * [taylor]: Taking taylor expansion of a in a 6.555 * [taylor]: Taking taylor expansion of b in a 6.555 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 6.555 * [taylor]: Taking taylor expansion of (/ a b) in b 6.555 * [taylor]: Taking taylor expansion of a in b 6.555 * [taylor]: Taking taylor expansion of b in b 6.555 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 6.555 * [taylor]: Taking taylor expansion of (/ a b) in b 6.555 * [taylor]: Taking taylor expansion of a in b 6.555 * [taylor]: Taking taylor expansion of b in b 6.555 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.555 * [taylor]: Taking taylor expansion of a in a 6.556 * [taylor]: Taking taylor expansion of 0 in a 6.557 * [taylor]: Taking taylor expansion of 0 in a 6.560 * [taylor]: Taking taylor expansion of 0 in a 6.560 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.560 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 6.560 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 6.560 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 6.561 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 6.561 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 6.561 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 6.561 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 6.562 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 6.562 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 6.562 * [taylor]: Taking taylor expansion of 0 in a 6.563 * [taylor]: Taking taylor expansion of 0 in a 6.564 * [taylor]: Taking taylor expansion of 0 in a 6.565 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 6.565 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 6.565 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 6.565 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 6.565 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 6.566 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 6.566 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 6.566 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 6.566 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 6.567 * [taylor]: Taking taylor expansion of 0 in a 6.568 * [taylor]: Taking taylor expansion of 0 in a 6.569 * [taylor]: Taking taylor expansion of 0 in a 6.570 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 6.570 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 6.570 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 6.570 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 6.570 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 6.571 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 6.571 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 6.571 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 6.571 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 6.572 * [taylor]: Taking taylor expansion of 0 in a 6.572 * [taylor]: Taking taylor expansion of 0 in a 6.574 * [taylor]: Taking taylor expansion of 0 in a 6.574 * * * [progress]: simplifying candidates 6.574 * [simplify]: Simplifying using # : (exp (log (/ b a))) (exp (log (/ b a))) (exp (log (/ b a))) (log (exp (* (log (/ b a)) 2))) (exp (exp (* (log (/ b a)) 2))) (* (cbrt (exp (* (log (/ b a)) 2))) (cbrt (exp (* (log (/ b a)) 2)))) (cbrt (exp (* (log (/ b a)) 2))) (* (* (exp (* (log (/ b a)) 2)) (exp (* (log (/ b a)) 2))) (exp (* (log (/ b a)) 2))) (sqrt (exp (* (log (/ b a)) 2))) (sqrt (exp (* (log (/ b a)) 2))) (log (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (exp (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (* (cbrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (cbrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))) (cbrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (* (* (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))) (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (sqrt (* (cbrt (fabs (- 1 (exp (* (log (/ b a)) 2))))) (cbrt (fabs (- 1 (exp (* (log (/ b a)) 2))))))) (sqrt (cbrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (sqrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (sqrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (sqrt 1) (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2))))) (/ 1 2) (sqrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (sqrt (sqrt (fabs (- 1 (exp (* (log (/ b a)) 2)))))) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 6.576 * * [simplify]: iteration 0 : 38 enodes (cost 345 ) 6.582 * * [simplify]: iteration 1 : 63 enodes (cost 263 ) 6.592 * * [simplify]: iteration 2 : 134 enodes (cost 230 ) 6.643 * * [simplify]: iteration 3 : 545 enodes (cost 230 ) 7.587 * * [simplify]: iteration 4 : 3382 enodes (cost 228 ) 8.336 * * [simplify]: iteration done : 5000 enodes (cost 228 ) 8.336 * [simplify]: Simplified to: (/ b a) (/ b a) (/ b a) (* (log (/ b a)) 2) (exp (pow (/ b a) 2)) (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2))) (cbrt (pow (/ b a) 2)) (pow (/ b a) 6) (fabs (/ b a)) (fabs (/ b a)) (log (sqrt (fabs (- 1 (pow (/ b a) 2))))) (exp (sqrt (fabs (- 1 (pow (/ b a) 2))))) (* (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))) (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (pow (sqrt (fabs (- 1 (pow (/ b a) 2)))) 3) (fabs (cbrt (fabs (- 1 (pow (/ b a) 2))))) (sqrt (cbrt (fabs (- 1 (pow (/ b a) 2))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) 1 (sqrt (fabs (- 1 (pow (/ b a) 2)))) 1/2 (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 2) (sqrt (fabs (- 1 (pow (/ b a) 2)))) (sqrt (fabs (- 1 (pow (/ b a) 2)))) (sqrt (fabs (- 1 (pow (/ b a) 2)))) 8.336 * * * [progress]: adding candidates to table 8.400 * * [progress]: iteration 3 / 4 8.400 * * * [progress]: picking best candidate 8.402 * * * * [pick]: Picked # 8.402 * * * [progress]: localizing error 8.414 * * * [progress]: generating rewritten candidates 8.414 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 8.427 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2 1 1) 8.430 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.434 * * * [progress]: generating series expansions 8.434 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 8.434 * [approximate]: Taking taylor expansion of (pow (/ b a) 2) in (b a) around 0 8.434 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in a 8.434 * [taylor]: Taking taylor expansion of (/ b a) in a 8.434 * [taylor]: Taking taylor expansion of b in a 8.434 * [taylor]: Taking taylor expansion of a in a 8.434 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b 8.434 * [taylor]: Taking taylor expansion of (/ b a) in b 8.434 * [taylor]: Taking taylor expansion of b in b 8.434 * [taylor]: Taking taylor expansion of a in b 8.434 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b 8.434 * [taylor]: Taking taylor expansion of (/ b a) in b 8.434 * [taylor]: Taking taylor expansion of b in b 8.434 * [taylor]: Taking taylor expansion of a in b 8.434 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 8.434 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.434 * [taylor]: Taking taylor expansion of a in a 8.435 * [taylor]: Taking taylor expansion of 0 in a 8.436 * [taylor]: Taking taylor expansion of 0 in a 8.438 * [taylor]: Taking taylor expansion of 0 in a 8.440 * [taylor]: Taking taylor expansion of 0 in a 8.441 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0 8.441 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a 8.441 * [taylor]: Taking taylor expansion of (/ a b) in a 8.441 * [taylor]: Taking taylor expansion of a in a 8.441 * [taylor]: Taking taylor expansion of b in a 8.441 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 8.441 * [taylor]: Taking taylor expansion of (/ a b) in b 8.441 * [taylor]: Taking taylor expansion of a in b 8.441 * [taylor]: Taking taylor expansion of b in b 8.441 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 8.441 * [taylor]: Taking taylor expansion of (/ a b) in b 8.441 * [taylor]: Taking taylor expansion of a in b 8.441 * [taylor]: Taking taylor expansion of b in b 8.441 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.441 * [taylor]: Taking taylor expansion of a in a 8.442 * [taylor]: Taking taylor expansion of 0 in a 8.443 * [taylor]: Taking taylor expansion of 0 in a 8.445 * [taylor]: Taking taylor expansion of 0 in a 8.446 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0 8.446 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a 8.446 * [taylor]: Taking taylor expansion of (/ a b) in a 8.446 * [taylor]: Taking taylor expansion of a in a 8.446 * [taylor]: Taking taylor expansion of b in a 8.446 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 8.446 * [taylor]: Taking taylor expansion of (/ a b) in b 8.446 * [taylor]: Taking taylor expansion of a in b 8.446 * [taylor]: Taking taylor expansion of b in b 8.446 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 8.446 * [taylor]: Taking taylor expansion of (/ a b) in b 8.446 * [taylor]: Taking taylor expansion of a in b 8.446 * [taylor]: Taking taylor expansion of b in b 8.446 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.446 * [taylor]: Taking taylor expansion of a in a 8.447 * [taylor]: Taking taylor expansion of 0 in a 8.449 * [taylor]: Taking taylor expansion of 0 in a 8.451 * [taylor]: Taking taylor expansion of 0 in a 8.451 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2 1 1) 8.451 * [approximate]: Taking taylor expansion of (pow (/ b a) 2) in (b a) around 0 8.451 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in a 8.451 * [taylor]: Taking taylor expansion of (/ b a) in a 8.451 * [taylor]: Taking taylor expansion of b in a 8.451 * [taylor]: Taking taylor expansion of a in a 8.451 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b 8.451 * [taylor]: Taking taylor expansion of (/ b a) in b 8.451 * [taylor]: Taking taylor expansion of b in b 8.451 * [taylor]: Taking taylor expansion of a in b 8.451 * [taylor]: Taking taylor expansion of (pow (/ b a) 2) in b 8.451 * [taylor]: Taking taylor expansion of (/ b a) in b 8.451 * [taylor]: Taking taylor expansion of b in b 8.451 * [taylor]: Taking taylor expansion of a in b 8.451 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 8.451 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.452 * [taylor]: Taking taylor expansion of a in a 8.452 * [taylor]: Taking taylor expansion of 0 in a 8.453 * [taylor]: Taking taylor expansion of 0 in a 8.455 * [taylor]: Taking taylor expansion of 0 in a 8.457 * [taylor]: Taking taylor expansion of 0 in a 8.457 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0 8.457 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a 8.457 * [taylor]: Taking taylor expansion of (/ a b) in a 8.457 * [taylor]: Taking taylor expansion of a in a 8.457 * [taylor]: Taking taylor expansion of b in a 8.458 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 8.458 * [taylor]: Taking taylor expansion of (/ a b) in b 8.458 * [taylor]: Taking taylor expansion of a in b 8.458 * [taylor]: Taking taylor expansion of b in b 8.458 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 8.458 * [taylor]: Taking taylor expansion of (/ a b) in b 8.458 * [taylor]: Taking taylor expansion of a in b 8.458 * [taylor]: Taking taylor expansion of b in b 8.458 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.458 * [taylor]: Taking taylor expansion of a in a 8.459 * [taylor]: Taking taylor expansion of 0 in a 8.460 * [taylor]: Taking taylor expansion of 0 in a 8.462 * [taylor]: Taking taylor expansion of 0 in a 8.463 * [approximate]: Taking taylor expansion of (pow (/ a b) 2) in (b a) around 0 8.463 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in a 8.463 * [taylor]: Taking taylor expansion of (/ a b) in a 8.463 * [taylor]: Taking taylor expansion of a in a 8.463 * [taylor]: Taking taylor expansion of b in a 8.463 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 8.463 * [taylor]: Taking taylor expansion of (/ a b) in b 8.463 * [taylor]: Taking taylor expansion of a in b 8.463 * [taylor]: Taking taylor expansion of b in b 8.463 * [taylor]: Taking taylor expansion of (pow (/ a b) 2) in b 8.463 * [taylor]: Taking taylor expansion of (/ a b) in b 8.463 * [taylor]: Taking taylor expansion of a in b 8.463 * [taylor]: Taking taylor expansion of b in b 8.463 * [taylor]: Taking taylor expansion of (pow a 2) in a 8.463 * [taylor]: Taking taylor expansion of a in a 8.464 * [taylor]: Taking taylor expansion of 0 in a 8.465 * [taylor]: Taking taylor expansion of 0 in a 8.467 * [taylor]: Taking taylor expansion of 0 in a 8.468 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.468 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 8.468 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 8.468 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 8.468 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 8.469 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 8.469 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 8.469 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 8.470 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 8.470 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 8.470 * [taylor]: Taking taylor expansion of 0 in a 8.471 * [taylor]: Taking taylor expansion of 0 in a 8.472 * [taylor]: Taking taylor expansion of 0 in a 8.473 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 8.473 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 8.473 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 8.473 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 8.473 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 8.474 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 8.474 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 8.474 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 8.474 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 8.475 * [taylor]: Taking taylor expansion of 0 in a 8.475 * [taylor]: Taking taylor expansion of 0 in a 8.477 * [taylor]: Taking taylor expansion of 0 in a 8.477 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 8.477 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 8.477 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 8.478 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 8.478 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 8.478 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 8.478 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 8.479 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 8.479 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 8.480 * [taylor]: Taking taylor expansion of 0 in a 8.480 * [taylor]: Taking taylor expansion of 0 in a 8.482 * [taylor]: Taking taylor expansion of 0 in a 8.482 * * * [progress]: simplifying candidates 8.483 * [simplify]: Simplifying using # : (log (* (cbrt (exp (pow (/ b a) 2))) (cbrt (exp (pow (/ b a) 2))))) (log (cbrt (exp (pow (/ b a) 2)))) (log (sqrt (exp (pow (/ b a) 2)))) (log (sqrt (exp (pow (/ b a) 2)))) (log 1) (log (exp (pow (/ b a) 2))) (log (exp (pow (/ b a) 2))) (log (exp (pow (* (cbrt (/ b a)) (cbrt (/ b a))) 2))) (log (exp (pow (sqrt (/ b a)) 2))) (log (exp (pow (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) 2))) (log (exp (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 2))) (log (exp (pow (/ (* (cbrt b) (cbrt b)) 1) 2))) (log (exp (pow (/ (sqrt b) (* (cbrt a) (cbrt a))) 2))) (log (exp (pow (/ (sqrt b) (sqrt a)) 2))) (log (exp (pow (/ (sqrt b) 1) 2))) (log (exp (pow (/ 1 (* (cbrt a) (cbrt a))) 2))) (log (exp (pow (/ 1 (sqrt a)) 2))) (log (exp (pow (/ 1 1) 2))) (log (exp (pow 1 2))) (log (exp (pow b 2))) (log (exp (/ b a))) (log (exp (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2))))) (log (exp (sqrt (pow (/ b a) 2)))) (log (exp 1)) (log (exp (pow (/ b a) (/ 2 2)))) (log (log (exp (pow (/ b a) 2)))) (exp (log (exp (pow (/ b a) 2)))) (* (cbrt (log (exp (pow (/ b a) 2)))) (cbrt (log (exp (pow (/ b a) 2))))) (cbrt (log (exp (pow (/ b a) 2)))) (* (* (log (exp (pow (/ b a) 2))) (log (exp (pow (/ b a) 2)))) (log (exp (pow (/ b a) 2)))) (sqrt (log (exp (pow (/ b a) 2)))) (sqrt (log (exp (pow (/ b a) 2)))) (* (- (log b) (log a)) 2) (* (log (/ b a)) 2) (* (log (/ b a)) 2) (* 1 2) (pow (/ b a) (* (cbrt 2) (cbrt 2))) (pow (/ b a) (sqrt 2)) (pow (/ b a) 1) (pow (* (cbrt (/ b a)) (cbrt (/ b a))) 2) (pow (cbrt (/ b a)) 2) (pow (sqrt (/ b a)) 2) (pow (sqrt (/ b a)) 2) (pow (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) 2) (pow (/ (cbrt b) (cbrt a)) 2) (pow (/ (* (cbrt b) (cbrt b)) (sqrt a)) 2) (pow (/ (cbrt b) (sqrt a)) 2) (pow (/ (* (cbrt b) (cbrt b)) 1) 2) (pow (/ (cbrt b) a) 2) (pow (/ (sqrt b) (* (cbrt a) (cbrt a))) 2) (pow (/ (sqrt b) (cbrt a)) 2) (pow (/ (sqrt b) (sqrt a)) 2) (pow (/ (sqrt b) (sqrt a)) 2) (pow (/ (sqrt b) 1) 2) (pow (/ (sqrt b) a) 2) (pow (/ 1 (* (cbrt a) (cbrt a))) 2) (pow (/ b (cbrt a)) 2) (pow (/ 1 (sqrt a)) 2) (pow (/ b (sqrt a)) 2) (pow (/ 1 1) 2) (pow (/ b a) 2) (pow 1 2) (pow (/ b a) 2) (pow b 2) (pow (/ 1 a) 2) (log (pow (/ b a) 2)) (exp (pow (/ b a) 2)) (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2))) (cbrt (pow (/ b a) 2)) (* (* (pow (/ b a) 2) (pow (/ b a) 2)) (pow (/ b a) 2)) (sqrt (pow (/ b a) 2)) (sqrt (pow (/ b a) 2)) (pow (/ b a) (/ 2 2)) (pow (/ b a) (/ 2 2)) (log (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (exp (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (* (cbrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (cbrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))) (cbrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (* (* (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))) (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (sqrt (* (cbrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))) (cbrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))))) (sqrt (cbrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (sqrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (sqrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (sqrt 1) (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2)))))) (/ 1 2) (sqrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (sqrt (sqrt (fabs (- 1 (log (exp (pow (/ b a) 2))))))) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (/ (pow b 2) (pow a 2)) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 8.491 * * [simplify]: iteration 0 : 148 enodes (cost 864 ) 8.522 * * [simplify]: iteration 1 : 261 enodes (cost 684 ) 8.585 * * [simplify]: iteration 2 : 570 enodes (cost 612 ) 8.734 * * [simplify]: iteration 3 : 1657 enodes (cost 611 ) 9.278 * * [simplify]: iteration done : 5000 enodes (cost 590 ) 9.278 * [simplify]: Simplified to: (* 2 (log (cbrt (exp (pow (/ b a) 2))))) (log (cbrt (exp (pow (/ b a) 2)))) (log (sqrt (exp (pow (/ b a) 2)))) (log (sqrt (exp (pow (/ b a) 2)))) 0 (pow (/ b a) 2) (pow (/ b a) 2) (pow (cbrt (/ b a)) 4) (/ b a) (pow (/ (cbrt b) (cbrt a)) 4) (* (/ (pow (cbrt b) 3) a) (cbrt b)) (pow (* (cbrt b) (cbrt b)) 2) (pow (/ (sqrt b) (* (cbrt a) (cbrt a))) 2) (/ b a) b (pow (/ 1 (* (cbrt a) (cbrt a))) 2) (/ 1 a) 1 1 (* b b) (/ b a) (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2))) (fabs (/ b a)) 1 (/ b a) (log (pow (/ b a) 2)) (exp (pow (/ b a) 2)) (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2))) (cbrt (pow (/ b a) 2)) (pow (pow (/ b a) 2) 3) (fabs (/ b a)) (fabs (/ b a)) (log (pow (/ b a) 2)) (log (pow (/ b a) 2)) (log (pow (/ b a) 2)) 2 (pow (/ b a) (* (cbrt 2) (cbrt 2))) (pow (/ b a) (sqrt 2)) (/ b a) (pow (cbrt (/ b a)) 4) (pow (cbrt (/ b a)) 2) (/ b a) (/ b a) (pow (/ (cbrt b) (cbrt a)) 4) (pow (/ (cbrt b) (cbrt a)) 2) (* (/ (pow (cbrt b) 3) a) (cbrt b)) (pow (/ (cbrt b) (sqrt a)) 2) (pow (* (cbrt b) (cbrt b)) 2) (pow (/ (cbrt b) a) 2) (pow (/ (sqrt b) (* (cbrt a) (cbrt a))) 2) (pow (/ (sqrt b) (cbrt a)) 2) (/ b a) (/ b a) b (/ b (pow a 2)) (pow (/ 1 (* (cbrt a) (cbrt a))) 2) (pow (/ b (cbrt a)) 2) (/ 1 a) (/ b (/ a b)) 1 (pow (/ b a) 2) 1 (pow (/ b a) 2) (* b b) (pow (/ 1 a) 2) (log (pow (/ b a) 2)) (exp (pow (/ b a) 2)) (* (cbrt (pow (/ b a) 2)) (cbrt (pow (/ b a) 2))) (cbrt (pow (/ b a) 2)) (pow (pow (/ b a) 2) 3) (fabs (/ b a)) (fabs (/ b a)) (/ b a) (/ b a) (log (sqrt (fabs (- 1 (pow (/ b a) 2))))) (exp (sqrt (fabs (- 1 (pow (/ b a) 2))))) (* (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2)))))) (cbrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (pow (sqrt (fabs (- 1 (pow (/ b a) 2)))) 3) (fabs (cbrt (fabs (- 1 (pow (/ b a) 2))))) (sqrt (cbrt (fabs (- 1 (pow (/ b a) 2))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) 1 (sqrt (fabs (- 1 (pow (/ b a) 2)))) 1/2 (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (sqrt (sqrt (fabs (- 1 (pow (/ b a) 2))))) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 2) (pow (/ b a) 2) (sqrt (fabs (- 1 (pow (/ b a) 2)))) (sqrt (fabs (- 1 (pow (/ b a) 2)))) (sqrt (fabs (- 1 (pow (/ b a) 2)))) 9.279 * * * [progress]: adding candidates to table 9.495 * [progress]: [Phase 3 of 3] Extracting. 9.495 * * [regime]: Finding splitpoints for: (# #) 9.496 * * * [regime-changes]: Trying 2 branch expressions: (b a) 9.496 * * * * [regimes]: Trying to branch on b from (# #) 9.512 * * * * [regimes]: Trying to branch on a from (# #) 9.526 * * * [regime]: Found split indices: #