0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.058 * * * [progress]: [2/2] Setting up program. 0.063 * [progress]: [Phase 2 of 3] Improving. 0.063 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.063 * [simplify]: Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 0.063 * * [simplify]: iters left: 6 (8 enodes) 0.067 * * [simplify]: iters left: 5 (35 enodes) 0.079 * * [simplify]: iters left: 4 (70 enodes) 0.098 * * [simplify]: iters left: 3 (136 enodes) 0.146 * * [simplify]: iters left: 2 (250 enodes) 0.210 * * [simplify]: iters left: 1 (455 enodes) 0.349 * * [simplify]: Extracting #0: cost 1 inf + 0 0.349 * * [simplify]: Extracting #1: cost 3 inf + 0 0.349 * * [simplify]: Extracting #2: cost 5 inf + 0 0.350 * * [simplify]: Extracting #3: cost 36 inf + 0 0.350 * * [simplify]: Extracting #4: cost 85 inf + 453 0.355 * * [simplify]: Extracting #5: cost 71 inf + 7633 0.364 * * [simplify]: Extracting #6: cost 0 inf + 15056 0.373 * * [simplify]: Extracting #7: cost 0 inf + 14971 0.379 * * [simplify]: Extracting #8: cost 0 inf + 14956 0.384 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 0.384 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.391 * * [progress]: iteration 1 / 4 0.391 * * * [progress]: picking best candidate 0.393 * * * * [pick]: Picked # 0.393 * * * [progress]: localizing error 0.416 * * * [progress]: generating rewritten candidates 0.416 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.419 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2) 0.449 * * * [progress]: generating series expansions 0.449 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.449 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.449 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 0.449 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 0.449 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 0.449 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 0.450 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.450 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.450 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 0.450 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 0.450 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 0.451 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.451 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.451 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 0.451 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 0.451 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 0.451 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.451 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.452 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 0.452 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 0.452 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 0.452 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.453 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.453 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.453 * [taylor]: Taking taylor expansion of 0 in a 0.453 * [backup-simplify]: Simplify 0 into 0 0.453 * [backup-simplify]: Simplify 0 into 0 0.453 * [backup-simplify]: Simplify 0 into 0 0.454 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.454 * [taylor]: Taking taylor expansion of 0 in a 0.454 * [backup-simplify]: Simplify 0 into 0 0.454 * [backup-simplify]: Simplify 0 into 0 0.454 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.455 * [backup-simplify]: Simplify 0 into 0 0.456 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.457 * [taylor]: Taking taylor expansion of 0 in a 0.457 * [backup-simplify]: Simplify 0 into 0 0.457 * [backup-simplify]: Simplify 0 into 0 0.457 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.457 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a)))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.457 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 0.457 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 0.457 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 0.457 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.458 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.458 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.458 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 0.458 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 0.458 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.458 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.459 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.459 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 0.459 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 0.459 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.459 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.459 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.460 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 0.460 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 0.460 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.460 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.460 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.460 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.461 * [taylor]: Taking taylor expansion of 0 in a 0.461 * [backup-simplify]: Simplify 0 into 0 0.461 * [backup-simplify]: Simplify 0 into 0 0.461 * [backup-simplify]: Simplify 0 into 0 0.462 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.462 * [taylor]: Taking taylor expansion of 0 in a 0.462 * [backup-simplify]: Simplify 0 into 0 0.462 * [backup-simplify]: Simplify 0 into 0 0.462 * [backup-simplify]: Simplify 0 into 0 0.463 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.463 * [backup-simplify]: Simplify 0 into 0 0.464 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.464 * [taylor]: Taking taylor expansion of 0 in a 0.464 * [backup-simplify]: Simplify 0 into 0 0.464 * [backup-simplify]: Simplify 0 into 0 0.464 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 a) 2) (pow (/ 1 b) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.465 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a))))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.465 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 0.465 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 0.465 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 0.465 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.465 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.466 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.466 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 0.466 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 0.466 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.466 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.466 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.466 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 0.466 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 0.467 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.467 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.467 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.467 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 0.467 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 0.467 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.468 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.468 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.468 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.468 * [taylor]: Taking taylor expansion of 0 in a 0.468 * [backup-simplify]: Simplify 0 into 0 0.468 * [backup-simplify]: Simplify 0 into 0 0.468 * [backup-simplify]: Simplify 0 into 0 0.469 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.469 * [taylor]: Taking taylor expansion of 0 in a 0.469 * [backup-simplify]: Simplify 0 into 0 0.469 * [backup-simplify]: Simplify 0 into 0 0.469 * [backup-simplify]: Simplify 0 into 0 0.470 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.470 * [backup-simplify]: Simplify 0 into 0 0.471 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.471 * [taylor]: Taking taylor expansion of 0 in a 0.471 * [backup-simplify]: Simplify 0 into 0 0.471 * [backup-simplify]: Simplify 0 into 0 0.472 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.472 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2) 0.472 * [backup-simplify]: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2)) 0.472 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 0.472 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 0.472 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.472 * [taylor]: Taking taylor expansion of b in a 0.472 * [backup-simplify]: Simplify b into b 0.472 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.472 * [taylor]: Taking taylor expansion of a in a 0.472 * [backup-simplify]: Simplify 0 into 0 0.472 * [backup-simplify]: Simplify 1 into 1 0.472 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.473 * [backup-simplify]: Simplify (* 1 1) into 1 0.473 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 0.473 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 0.473 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.473 * [taylor]: Taking taylor expansion of b in b 0.473 * [backup-simplify]: Simplify 0 into 0 0.473 * [backup-simplify]: Simplify 1 into 1 0.473 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.473 * [taylor]: Taking taylor expansion of a in b 0.473 * [backup-simplify]: Simplify a into a 0.473 * [backup-simplify]: Simplify (* 1 1) into 1 0.473 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.473 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 0.474 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 0.474 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.474 * [taylor]: Taking taylor expansion of b in b 0.474 * [backup-simplify]: Simplify 0 into 0 0.474 * [backup-simplify]: Simplify 1 into 1 0.474 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.474 * [taylor]: Taking taylor expansion of a in b 0.474 * [backup-simplify]: Simplify a into a 0.474 * [backup-simplify]: Simplify (* 1 1) into 1 0.474 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.474 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 0.474 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.474 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.475 * [taylor]: Taking taylor expansion of a in a 0.475 * [backup-simplify]: Simplify 0 into 0 0.475 * [backup-simplify]: Simplify 1 into 1 0.475 * [backup-simplify]: Simplify (* 1 1) into 1 0.475 * [backup-simplify]: Simplify (/ 1 1) into 1 0.475 * [backup-simplify]: Simplify 1 into 1 0.476 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.476 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 0.476 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 0.476 * [taylor]: Taking taylor expansion of 0 in a 0.476 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.478 * [backup-simplify]: Simplify 0 into 0 0.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.479 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 0.480 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 0.480 * [taylor]: Taking taylor expansion of 0 in a 0.480 * [backup-simplify]: Simplify 0 into 0 0.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.482 * [backup-simplify]: Simplify 0 into 0 0.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.484 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 0.484 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 0.484 * [taylor]: Taking taylor expansion of 0 in a 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 0 into 0 0.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.486 * [backup-simplify]: Simplify 0 into 0 0.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.489 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 0.489 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 0.489 * [taylor]: Taking taylor expansion of 0 in a 0.489 * [backup-simplify]: Simplify 0 into 0 0.489 * [backup-simplify]: Simplify 0 into 0 0.489 * [backup-simplify]: Simplify 0 into 0 0.489 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 0.490 * [backup-simplify]: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2)) 0.490 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 0.490 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 0.490 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.490 * [taylor]: Taking taylor expansion of a in a 0.490 * [backup-simplify]: Simplify 0 into 0 0.490 * [backup-simplify]: Simplify 1 into 1 0.490 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.490 * [taylor]: Taking taylor expansion of b in a 0.490 * [backup-simplify]: Simplify b into b 0.490 * [backup-simplify]: Simplify (* 1 1) into 1 0.490 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.491 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.491 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 0.491 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.491 * [taylor]: Taking taylor expansion of a in b 0.491 * [backup-simplify]: Simplify a into a 0.491 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.491 * [taylor]: Taking taylor expansion of b in b 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [backup-simplify]: Simplify 1 into 1 0.491 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.491 * [backup-simplify]: Simplify (* 1 1) into 1 0.491 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 0.491 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 0.491 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.491 * [taylor]: Taking taylor expansion of a in b 0.491 * [backup-simplify]: Simplify a into a 0.491 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.492 * [taylor]: Taking taylor expansion of b in b 0.492 * [backup-simplify]: Simplify 0 into 0 0.492 * [backup-simplify]: Simplify 1 into 1 0.492 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.492 * [backup-simplify]: Simplify (* 1 1) into 1 0.492 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 0.492 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.492 * [taylor]: Taking taylor expansion of a in a 0.492 * [backup-simplify]: Simplify 0 into 0 0.492 * [backup-simplify]: Simplify 1 into 1 0.493 * [backup-simplify]: Simplify (* 1 1) into 1 0.493 * [backup-simplify]: Simplify 1 into 1 0.493 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 0.493 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 0.494 * [taylor]: Taking taylor expansion of 0 in a 0.494 * [backup-simplify]: Simplify 0 into 0 0.494 * [backup-simplify]: Simplify 0 into 0 0.495 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.495 * [backup-simplify]: Simplify 0 into 0 0.496 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 0.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.498 * [taylor]: Taking taylor expansion of 0 in a 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.499 * [backup-simplify]: Simplify 0 into 0 0.500 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 0.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.503 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.503 * [taylor]: Taking taylor expansion of 0 in a 0.503 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 0.503 * [backup-simplify]: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2)) 0.503 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 0.503 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 0.503 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.503 * [taylor]: Taking taylor expansion of a in a 0.503 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify 1 into 1 0.503 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.503 * [taylor]: Taking taylor expansion of b in a 0.503 * [backup-simplify]: Simplify b into b 0.504 * [backup-simplify]: Simplify (* 1 1) into 1 0.504 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.504 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.504 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 0.504 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.504 * [taylor]: Taking taylor expansion of a in b 0.504 * [backup-simplify]: Simplify a into a 0.504 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.504 * [taylor]: Taking taylor expansion of b in b 0.504 * [backup-simplify]: Simplify 0 into 0 0.504 * [backup-simplify]: Simplify 1 into 1 0.504 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.505 * [backup-simplify]: Simplify (* 1 1) into 1 0.505 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 0.505 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 0.505 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.505 * [taylor]: Taking taylor expansion of a in b 0.505 * [backup-simplify]: Simplify a into a 0.505 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.505 * [taylor]: Taking taylor expansion of b in b 0.505 * [backup-simplify]: Simplify 0 into 0 0.505 * [backup-simplify]: Simplify 1 into 1 0.505 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.505 * [backup-simplify]: Simplify (* 1 1) into 1 0.505 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 0.506 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.506 * [taylor]: Taking taylor expansion of a in a 0.506 * [backup-simplify]: Simplify 0 into 0 0.506 * [backup-simplify]: Simplify 1 into 1 0.506 * [backup-simplify]: Simplify (* 1 1) into 1 0.506 * [backup-simplify]: Simplify 1 into 1 0.506 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 0.507 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.508 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 0.508 * [taylor]: Taking taylor expansion of 0 in a 0.508 * [backup-simplify]: Simplify 0 into 0 0.508 * [backup-simplify]: Simplify 0 into 0 0.508 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.508 * [backup-simplify]: Simplify 0 into 0 0.509 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 0.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.511 * [taylor]: Taking taylor expansion of 0 in a 0.511 * [backup-simplify]: Simplify 0 into 0 0.511 * [backup-simplify]: Simplify 0 into 0 0.511 * [backup-simplify]: Simplify 0 into 0 0.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.512 * [backup-simplify]: Simplify 0 into 0 0.513 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 0.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.516 * [taylor]: Taking taylor expansion of 0 in a 0.516 * [backup-simplify]: Simplify 0 into 0 0.516 * [backup-simplify]: Simplify 0 into 0 0.516 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 0.516 * * * [progress]: simplifying candidates 0.517 * * * * [progress]: [ 1 / 92 ] simplifiying candidate # 0.517 * [simplify]: Simplifying (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.517 * * [simplify]: iters left: 6 (9 enodes) 0.521 * * [simplify]: iters left: 5 (35 enodes) 0.533 * * [simplify]: iters left: 4 (55 enodes) 0.555 * * [simplify]: iters left: 3 (85 enodes) 0.580 * * [simplify]: iters left: 2 (109 enodes) 0.610 * * [simplify]: iters left: 1 (122 enodes) 0.642 * * [simplify]: Extracting #0: cost 1 inf + 0 0.642 * * [simplify]: Extracting #1: cost 3 inf + 0 0.643 * * [simplify]: Extracting #2: cost 5 inf + 0 0.643 * * [simplify]: Extracting #3: cost 7 inf + 0 0.643 * * [simplify]: Extracting #4: cost 13 inf + 0 0.643 * * [simplify]: Extracting #5: cost 31 inf + 1 0.643 * * [simplify]: Extracting #6: cost 40 inf + 44 0.643 * * [simplify]: Extracting #7: cost 18 inf + 1682 0.644 * * [simplify]: Extracting #8: cost 1 inf + 3952 0.645 * * [simplify]: Extracting #9: cost 0 inf + 4185 0.646 * [simplify]: Simplified to (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.646 * [simplify]: Simplified (2 1) to (λ (a b) (log1p (expm1 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 0.646 * * * * [progress]: [ 2 / 92 ] simplifiying candidate # 0.646 * [simplify]: Simplifying (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.646 * * [simplify]: iters left: 6 (9 enodes) 0.649 * * [simplify]: iters left: 5 (35 enodes) 0.655 * * [simplify]: iters left: 4 (55 enodes) 0.663 * * [simplify]: iters left: 3 (85 enodes) 0.677 * * [simplify]: iters left: 2 (109 enodes) 0.699 * * [simplify]: iters left: 1 (122 enodes) 0.723 * * [simplify]: Extracting #0: cost 1 inf + 0 0.723 * * [simplify]: Extracting #1: cost 3 inf + 0 0.723 * * [simplify]: Extracting #2: cost 5 inf + 0 0.723 * * [simplify]: Extracting #3: cost 7 inf + 0 0.723 * * [simplify]: Extracting #4: cost 13 inf + 0 0.723 * * [simplify]: Extracting #5: cost 31 inf + 1 0.723 * * [simplify]: Extracting #6: cost 40 inf + 44 0.724 * * [simplify]: Extracting #7: cost 18 inf + 1682 0.724 * * [simplify]: Extracting #8: cost 1 inf + 3972 0.725 * * [simplify]: Extracting #9: cost 0 inf + 4225 0.726 * [simplify]: Simplified to (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.726 * [simplify]: Simplified (2 1) to (λ (a b) (expm1 (log1p (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 0.726 * * * * [progress]: [ 3 / 92 ] simplifiying candidate # 0.726 * * * * [progress]: [ 4 / 92 ] simplifiying candidate # 0.727 * * * * [progress]: [ 5 / 92 ] simplifiying candidate # 0.727 * [simplify]: Simplifying (log (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.727 * * [simplify]: iters left: 6 (9 enodes) 0.729 * * [simplify]: iters left: 5 (35 enodes) 0.735 * * [simplify]: iters left: 4 (55 enodes) 0.745 * * [simplify]: iters left: 3 (85 enodes) 0.758 * * [simplify]: iters left: 2 (109 enodes) 0.776 * * [simplify]: iters left: 1 (122 enodes) 0.809 * * [simplify]: Extracting #0: cost 1 inf + 0 0.809 * * [simplify]: Extracting #1: cost 3 inf + 0 0.809 * * [simplify]: Extracting #2: cost 5 inf + 0 0.809 * * [simplify]: Extracting #3: cost 7 inf + 0 0.809 * * [simplify]: Extracting #4: cost 13 inf + 0 0.809 * * [simplify]: Extracting #5: cost 31 inf + 1 0.809 * * [simplify]: Extracting #6: cost 40 inf + 44 0.810 * * [simplify]: Extracting #7: cost 18 inf + 1682 0.812 * * [simplify]: Extracting #8: cost 1 inf + 3952 0.813 * * [simplify]: Extracting #9: cost 0 inf + 4185 0.815 * [simplify]: Simplified to (log (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.815 * [simplify]: Simplified (2 1) to (λ (a b) (exp (log (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 0.815 * * * * [progress]: [ 6 / 92 ] simplifiying candidate # 0.816 * [simplify]: Simplifying (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.816 * * [simplify]: iters left: 6 (9 enodes) 0.820 * * [simplify]: iters left: 5 (35 enodes) 0.828 * * [simplify]: iters left: 4 (55 enodes) 0.838 * * [simplify]: iters left: 3 (85 enodes) 0.854 * * [simplify]: iters left: 2 (109 enodes) 0.878 * * [simplify]: iters left: 1 (122 enodes) 0.895 * * [simplify]: Extracting #0: cost 1 inf + 0 0.895 * * [simplify]: Extracting #1: cost 3 inf + 0 0.895 * * [simplify]: Extracting #2: cost 5 inf + 0 0.895 * * [simplify]: Extracting #3: cost 7 inf + 0 0.895 * * [simplify]: Extracting #4: cost 13 inf + 0 0.895 * * [simplify]: Extracting #5: cost 31 inf + 1 0.895 * * [simplify]: Extracting #6: cost 40 inf + 44 0.896 * * [simplify]: Extracting #7: cost 18 inf + 1682 0.897 * * [simplify]: Extracting #8: cost 1 inf + 3952 0.899 * * [simplify]: Extracting #9: cost 0 inf + 4185 0.901 * [simplify]: Simplified to (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.901 * [simplify]: Simplified (2 1) to (λ (a b) (log (exp (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 0.901 * * * * [progress]: [ 7 / 92 ] simplifiying candidate # 0.902 * [simplify]: Simplifying (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 0.902 * * [simplify]: iters left: 6 (10 enodes) 0.907 * * [simplify]: iters left: 5 (38 enodes) 0.920 * * [simplify]: iters left: 4 (58 enodes) 0.936 * * [simplify]: iters left: 3 (88 enodes) 0.948 * * [simplify]: iters left: 2 (112 enodes) 0.966 * * [simplify]: iters left: 1 (125 enodes) 0.999 * * [simplify]: Extracting #0: cost 1 inf + 0 0.999 * * [simplify]: Extracting #1: cost 3 inf + 0 0.999 * * [simplify]: Extracting #2: cost 5 inf + 0 0.999 * * [simplify]: Extracting #3: cost 7 inf + 0 0.999 * * [simplify]: Extracting #4: cost 9 inf + 0 0.999 * * [simplify]: Extracting #5: cost 15 inf + 0 0.999 * * [simplify]: Extracting #6: cost 33 inf + 1 1.000 * * [simplify]: Extracting #7: cost 41 inf + 86 1.001 * * [simplify]: Extracting #8: cost 21 inf + 1562 1.002 * * [simplify]: Extracting #9: cost 3 inf + 4324 1.004 * * [simplify]: Extracting #10: cost 0 inf + 4851 1.006 * [simplify]: Simplified to (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1.006 * [simplify]: Simplified (2 1) to (λ (a b) (* (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1.007 * [simplify]: Simplifying (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.007 * * [simplify]: iters left: 6 (9 enodes) 1.010 * * [simplify]: iters left: 5 (35 enodes) 1.016 * * [simplify]: iters left: 4 (55 enodes) 1.025 * * [simplify]: iters left: 3 (85 enodes) 1.037 * * [simplify]: iters left: 2 (109 enodes) 1.064 * * [simplify]: iters left: 1 (122 enodes) 1.094 * * [simplify]: Extracting #0: cost 1 inf + 0 1.094 * * [simplify]: Extracting #1: cost 3 inf + 0 1.094 * * [simplify]: Extracting #2: cost 5 inf + 0 1.094 * * [simplify]: Extracting #3: cost 7 inf + 0 1.094 * * [simplify]: Extracting #4: cost 13 inf + 0 1.094 * * [simplify]: Extracting #5: cost 31 inf + 1 1.095 * * [simplify]: Extracting #6: cost 40 inf + 44 1.095 * * [simplify]: Extracting #7: cost 18 inf + 1682 1.096 * * [simplify]: Extracting #8: cost 1 inf + 3962 1.097 * * [simplify]: Extracting #9: cost 0 inf + 4205 1.098 * [simplify]: Simplified to (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.098 * [simplify]: Simplified (2 2) to (λ (a b) (* (* (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) (cbrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1.098 * * * * [progress]: [ 8 / 92 ] simplifiying candidate # 1.098 * [simplify]: Simplifying (* (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.098 * * [simplify]: iters left: 6 (10 enodes) 1.101 * * [simplify]: iters left: 5 (37 enodes) 1.107 * * [simplify]: iters left: 4 (60 enodes) 1.118 * * [simplify]: iters left: 3 (97 enodes) 1.138 * * [simplify]: iters left: 2 (135 enodes) 1.162 * * [simplify]: iters left: 1 (174 enodes) 1.216 * * [simplify]: Extracting #0: cost 1 inf + 0 1.216 * * [simplify]: Extracting #1: cost 9 inf + 0 1.216 * * [simplify]: Extracting #2: cost 18 inf + 1 1.216 * * [simplify]: Extracting #3: cost 25 inf + 3 1.217 * * [simplify]: Extracting #4: cost 43 inf + 5 1.217 * * [simplify]: Extracting #5: cost 51 inf + 49 1.218 * * [simplify]: Extracting #6: cost 28 inf + 1932 1.220 * * [simplify]: Extracting #7: cost 13 inf + 3684 1.221 * * [simplify]: Extracting #8: cost 3 inf + 7944 1.223 * * [simplify]: Extracting #9: cost 0 inf + 9688 1.225 * [simplify]: Simplified to (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (fabs (- 1 (* (/ b a) (/ b a))))) 1.225 * [simplify]: Simplified (2 1) to (λ (a b) (cbrt (* (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) (fabs (- 1 (* (/ b a) (/ b a))))))) 1.225 * * * * [progress]: [ 9 / 92 ] simplifiying candidate # 1.225 * [simplify]: Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1.225 * * [simplify]: iters left: 6 (10 enodes) 1.228 * * [simplify]: iters left: 5 (39 enodes) 1.235 * * [simplify]: iters left: 4 (59 enodes) 1.245 * * [simplify]: iters left: 3 (89 enodes) 1.259 * * [simplify]: iters left: 2 (113 enodes) 1.292 * * [simplify]: iters left: 1 (126 enodes) 1.322 * * [simplify]: Extracting #0: cost 1 inf + 0 1.322 * * [simplify]: Extracting #1: cost 4 inf + 0 1.322 * * [simplify]: Extracting #2: cost 7 inf + 0 1.322 * * [simplify]: Extracting #3: cost 9 inf + 0 1.322 * * [simplify]: Extracting #4: cost 15 inf + 0 1.322 * * [simplify]: Extracting #5: cost 33 inf + 1 1.322 * * [simplify]: Extracting #6: cost 42 inf + 44 1.323 * * [simplify]: Extracting #7: cost 20 inf + 1804 1.323 * * [simplify]: Extracting #8: cost 3 inf + 4082 1.324 * * [simplify]: Extracting #9: cost 0 inf + 4851 1.325 * [simplify]: Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.326 * [simplify]: Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1.326 * [simplify]: Simplifying (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.326 * * [simplify]: iters left: 6 (9 enodes) 1.328 * * [simplify]: iters left: 5 (35 enodes) 1.334 * * [simplify]: iters left: 4 (55 enodes) 1.343 * * [simplify]: iters left: 3 (85 enodes) 1.357 * * [simplify]: iters left: 2 (109 enodes) 1.383 * * [simplify]: iters left: 1 (122 enodes) 1.402 * * [simplify]: Extracting #0: cost 1 inf + 0 1.402 * * [simplify]: Extracting #1: cost 3 inf + 0 1.402 * * [simplify]: Extracting #2: cost 5 inf + 0 1.402 * * [simplify]: Extracting #3: cost 7 inf + 0 1.402 * * [simplify]: Extracting #4: cost 13 inf + 0 1.402 * * [simplify]: Extracting #5: cost 31 inf + 1 1.402 * * [simplify]: Extracting #6: cost 40 inf + 44 1.402 * * [simplify]: Extracting #7: cost 18 inf + 1682 1.403 * * [simplify]: Extracting #8: cost 1 inf + 4042 1.404 * * [simplify]: Extracting #9: cost 0 inf + 4285 1.405 * [simplify]: Simplified to (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.405 * [simplify]: Simplified (2 2) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1.405 * * * * [progress]: [ 10 / 92 ] simplifiying candidate # 1.405 * [simplify]: Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.405 * * [simplify]: iters left: 6 (9 enodes) 1.408 * * [simplify]: iters left: 5 (35 enodes) 1.413 * * [simplify]: iters left: 4 (55 enodes) 1.422 * * [simplify]: iters left: 3 (85 enodes) 1.447 * * [simplify]: iters left: 2 (109 enodes) 1.475 * * [simplify]: iters left: 1 (122 enodes) 1.496 * * [simplify]: Extracting #0: cost 1 inf + 0 1.496 * * [simplify]: Extracting #1: cost 3 inf + 0 1.496 * * [simplify]: Extracting #2: cost 5 inf + 0 1.496 * * [simplify]: Extracting #3: cost 7 inf + 0 1.496 * * [simplify]: Extracting #4: cost 13 inf + 0 1.496 * * [simplify]: Extracting #5: cost 31 inf + 1 1.496 * * [simplify]: Extracting #6: cost 40 inf + 44 1.497 * * [simplify]: Extracting #7: cost 18 inf + 1682 1.498 * * [simplify]: Extracting #8: cost 1 inf + 3922 1.499 * * [simplify]: Extracting #9: cost 0 inf + 4125 1.499 * [simplify]: Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.500 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1.500 * [simplify]: Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.500 * * [simplify]: iters left: 6 (9 enodes) 1.502 * * [simplify]: iters left: 5 (35 enodes) 1.508 * * [simplify]: iters left: 4 (55 enodes) 1.516 * * [simplify]: iters left: 3 (85 enodes) 1.528 * * [simplify]: iters left: 2 (109 enodes) 1.555 * * [simplify]: iters left: 1 (122 enodes) 1.572 * * [simplify]: Extracting #0: cost 1 inf + 0 1.572 * * [simplify]: Extracting #1: cost 3 inf + 0 1.572 * * [simplify]: Extracting #2: cost 5 inf + 0 1.572 * * [simplify]: Extracting #3: cost 7 inf + 0 1.572 * * [simplify]: Extracting #4: cost 13 inf + 0 1.572 * * [simplify]: Extracting #5: cost 31 inf + 1 1.572 * * [simplify]: Extracting #6: cost 40 inf + 44 1.574 * * [simplify]: Extracting #7: cost 18 inf + 1682 1.574 * * [simplify]: Extracting #8: cost 1 inf + 3922 1.575 * * [simplify]: Extracting #9: cost 0 inf + 4125 1.576 * [simplify]: Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.576 * [simplify]: Simplified (2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1.576 * * * * [progress]: [ 11 / 92 ] simplifiying candidate # 1.577 * [simplify]: Simplifying (sqrt 1) 1.577 * * [simplify]: iters left: 1 (2 enodes) 1.579 * * [simplify]: Extracting #0: cost 1 inf + 0 1.579 * * [simplify]: Extracting #1: cost 0 inf + 1 1.579 * [simplify]: Simplified to 1 1.579 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1.579 * [simplify]: Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1.579 * * [simplify]: iters left: 6 (8 enodes) 1.581 * * [simplify]: iters left: 5 (32 enodes) 1.586 * * [simplify]: iters left: 4 (52 enodes) 1.594 * * [simplify]: iters left: 3 (82 enodes) 1.605 * * [simplify]: iters left: 2 (106 enodes) 1.622 * * [simplify]: iters left: 1 (119 enodes) 1.655 * * [simplify]: Extracting #0: cost 1 inf + 0 1.656 * * [simplify]: Extracting #1: cost 3 inf + 0 1.656 * * [simplify]: Extracting #2: cost 5 inf + 0 1.656 * * [simplify]: Extracting #3: cost 11 inf + 0 1.656 * * [simplify]: Extracting #4: cost 29 inf + 1 1.656 * * [simplify]: Extracting #5: cost 33 inf + 372 1.657 * * [simplify]: Extracting #6: cost 8 inf + 2579 1.659 * * [simplify]: Extracting #7: cost 0 inf + 3639 1.661 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 1.661 * [simplify]: Simplified (2 2) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 1.661 * * * * [progress]: [ 12 / 92 ] simplifiying candidate # 1.661 * [simplify]: Simplifying (/ 1 2) 1.661 * * [simplify]: iters left: 2 (3 enodes) 1.665 * * [simplify]: iters left: 1 (12 enodes) 1.670 * * [simplify]: Extracting #0: cost 1 inf + 0 1.670 * * [simplify]: Extracting #1: cost 0 inf + 1 1.670 * [simplify]: Simplified to 1/2 1.670 * [simplify]: Simplified (2 2) to (λ (a b) (pow (fabs (- 1 (* (/ b a) (/ b a)))) 1/2)) 1.670 * * * * [progress]: [ 13 / 92 ] simplifiying candidate # 1.670 * [simplify]: Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.671 * * [simplify]: iters left: 6 (9 enodes) 1.675 * * [simplify]: iters left: 5 (35 enodes) 1.689 * * [simplify]: iters left: 4 (55 enodes) 1.706 * * [simplify]: iters left: 3 (85 enodes) 1.721 * * [simplify]: iters left: 2 (109 enodes) 1.736 * * [simplify]: iters left: 1 (122 enodes) 1.766 * * [simplify]: Extracting #0: cost 1 inf + 0 1.766 * * [simplify]: Extracting #1: cost 3 inf + 0 1.766 * * [simplify]: Extracting #2: cost 5 inf + 0 1.766 * * [simplify]: Extracting #3: cost 7 inf + 0 1.766 * * [simplify]: Extracting #4: cost 13 inf + 0 1.766 * * [simplify]: Extracting #5: cost 31 inf + 1 1.766 * * [simplify]: Extracting #6: cost 40 inf + 44 1.767 * * [simplify]: Extracting #7: cost 18 inf + 1682 1.768 * * [simplify]: Extracting #8: cost 1 inf + 3922 1.769 * * [simplify]: Extracting #9: cost 0 inf + 4125 1.770 * [simplify]: Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.770 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1.771 * [simplify]: Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.771 * * [simplify]: iters left: 6 (9 enodes) 1.773 * * [simplify]: iters left: 5 (35 enodes) 1.779 * * [simplify]: iters left: 4 (55 enodes) 1.789 * * [simplify]: iters left: 3 (85 enodes) 1.801 * * [simplify]: iters left: 2 (109 enodes) 1.828 * * [simplify]: iters left: 1 (122 enodes) 1.856 * * [simplify]: Extracting #0: cost 1 inf + 0 1.856 * * [simplify]: Extracting #1: cost 3 inf + 0 1.856 * * [simplify]: Extracting #2: cost 5 inf + 0 1.856 * * [simplify]: Extracting #3: cost 7 inf + 0 1.856 * * [simplify]: Extracting #4: cost 13 inf + 0 1.856 * * [simplify]: Extracting #5: cost 31 inf + 1 1.856 * * [simplify]: Extracting #6: cost 40 inf + 44 1.857 * * [simplify]: Extracting #7: cost 18 inf + 1682 1.858 * * [simplify]: Extracting #8: cost 1 inf + 3922 1.858 * * [simplify]: Extracting #9: cost 0 inf + 4125 1.859 * [simplify]: Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.859 * [simplify]: Simplified (2 2) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1.860 * * * * [progress]: [ 14 / 92 ] simplifiying candidate # 1.860 * * * * [progress]: [ 15 / 92 ] simplifiying candidate # 1.860 * * * * [progress]: [ 16 / 92 ] simplifiying candidate #real (real->posit16 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))> 1.860 * [simplify]: Simplifying (real->posit16 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.860 * * [simplify]: iters left: 6 (9 enodes) 1.862 * * [simplify]: iters left: 5 (32 enodes) 1.868 * * [simplify]: iters left: 4 (52 enodes) 1.876 * * [simplify]: iters left: 3 (82 enodes) 1.901 * * [simplify]: iters left: 2 (106 enodes) 1.929 * * [simplify]: iters left: 1 (119 enodes) 1.963 * * [simplify]: Extracting #0: cost 1 inf + 0 1.963 * * [simplify]: Extracting #1: cost 2 inf + 0 1.963 * * [simplify]: Extracting #2: cost 3 inf + 0 1.963 * * [simplify]: Extracting #3: cost 5 inf + 0 1.963 * * [simplify]: Extracting #4: cost 11 inf + 0 1.963 * * [simplify]: Extracting #5: cost 29 inf + 1 1.963 * * [simplify]: Extracting #6: cost 33 inf + 372 1.965 * * [simplify]: Extracting #7: cost 10 inf + 2374 1.966 * * [simplify]: Extracting #8: cost 0 inf + 3679 1.968 * * [simplify]: Extracting #9: cost 0 inf + 3639 1.970 * [simplify]: Simplified to (real->posit16 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 1.970 * [simplify]: Simplified (2 1) to (λ (a b) (posit16->real (real->posit16 (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 1.970 * * * * [progress]: [ 17 / 92 ] simplifiying candidate # 1.971 * [simplify]: Simplifying (expm1 (* (/ b a) (/ b a))) 1.971 * * [simplify]: iters left: 5 (5 enodes) 1.973 * * [simplify]: iters left: 4 (19 enodes) 1.979 * * [simplify]: iters left: 3 (27 enodes) 1.986 * * [simplify]: iters left: 2 (39 enodes) 1.997 * * [simplify]: iters left: 1 (46 enodes) 2.008 * * [simplify]: Extracting #0: cost 1 inf + 0 2.009 * * [simplify]: Extracting #1: cost 3 inf + 0 2.009 * * [simplify]: Extracting #2: cost 13 inf + 0 2.009 * * [simplify]: Extracting #3: cost 18 inf + 2 2.009 * * [simplify]: Extracting #4: cost 4 inf + 826 2.010 * * [simplify]: Extracting #5: cost 0 inf + 1294 2.010 * [simplify]: Simplified to (expm1 (* (/ b a) (/ b a))) 2.010 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (log1p (expm1 (* (/ b a) (/ b a)))))))) 2.010 * * * * [progress]: [ 18 / 92 ] simplifiying candidate # 2.011 * [simplify]: Simplifying (log1p (* (/ b a) (/ b a))) 2.011 * * [simplify]: iters left: 5 (5 enodes) 2.013 * * [simplify]: iters left: 4 (19 enodes) 2.019 * * [simplify]: iters left: 3 (27 enodes) 2.028 * * [simplify]: iters left: 2 (39 enodes) 2.036 * * [simplify]: iters left: 1 (46 enodes) 2.041 * * [simplify]: Extracting #0: cost 1 inf + 0 2.041 * * [simplify]: Extracting #1: cost 3 inf + 0 2.041 * * [simplify]: Extracting #2: cost 13 inf + 0 2.041 * * [simplify]: Extracting #3: cost 18 inf + 2 2.042 * * [simplify]: Extracting #4: cost 4 inf + 826 2.042 * * [simplify]: Extracting #5: cost 0 inf + 1334 2.042 * [simplify]: Simplified to (log1p (* (/ b a) (/ b a))) 2.042 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (expm1 (log1p (* (/ b a) (/ b a)))))))) 2.042 * * * * [progress]: [ 19 / 92 ] simplifiying candidate # 2.043 * [simplify]: Simplifying (+ 1 1) 2.043 * * [simplify]: iters left: 2 (2 enodes) 2.044 * * [simplify]: iters left: 1 (9 enodes) 2.046 * * [simplify]: Extracting #0: cost 1 inf + 0 2.046 * * [simplify]: Extracting #1: cost 0 inf + 1 2.046 * [simplify]: Simplified to 2 2.046 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2))))) 2.046 * * * * [progress]: [ 20 / 92 ] simplifiying candidate # 2.046 * [simplify]: Simplifying (* (/ b a) (/ b a)) 2.046 * * [simplify]: iters left: 4 (4 enodes) 2.047 * * [simplify]: iters left: 3 (16 enodes) 2.050 * * [simplify]: iters left: 2 (24 enodes) 2.053 * * [simplify]: iters left: 1 (36 enodes) 2.058 * * [simplify]: Extracting #0: cost 1 inf + 0 2.058 * * [simplify]: Extracting #1: cost 11 inf + 0 2.059 * * [simplify]: Extracting #2: cost 10 inf + 332 2.059 * * [simplify]: Extracting #3: cost 2 inf + 826 2.059 * * [simplify]: Extracting #4: cost 0 inf + 990 2.059 * [simplify]: Simplified to (* (/ b a) (/ b a)) 2.059 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1))))) 2.060 * * * * [progress]: [ 21 / 92 ] simplifiying candidate # 2.060 * * * * [progress]: [ 22 / 92 ] simplifiying candidate # 2.060 * [simplify]: Simplifying (+ 1 1) 2.060 * * [simplify]: iters left: 2 (2 enodes) 2.062 * * [simplify]: iters left: 1 (9 enodes) 2.065 * * [simplify]: Extracting #0: cost 1 inf + 0 2.065 * * [simplify]: Extracting #1: cost 0 inf + 1 2.065 * [simplify]: Simplified to 2 2.066 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2))))) 2.066 * * * * [progress]: [ 23 / 92 ] simplifiying candidate # 2.066 * * * * [progress]: [ 24 / 92 ] simplifiying candidate # 2.066 * [simplify]: Simplifying (+ (- (log b) (log a)) (- (log b) (log a))) 2.066 * * [simplify]: iters left: 5 (6 enodes) 2.069 * * [simplify]: iters left: 4 (24 enodes) 2.076 * * [simplify]: iters left: 3 (43 enodes) 2.089 * * [simplify]: iters left: 2 (78 enodes) 2.113 * * [simplify]: iters left: 1 (109 enodes) 2.143 * * [simplify]: Extracting #0: cost 1 inf + 0 2.143 * * [simplify]: Extracting #1: cost 17 inf + 0 2.143 * * [simplify]: Extracting #2: cost 31 inf + 0 2.144 * * [simplify]: Extracting #3: cost 26 inf + 215 2.144 * * [simplify]: Extracting #4: cost 13 inf + 2093 2.146 * * [simplify]: Extracting #5: cost 0 inf + 4646 2.148 * [simplify]: Simplified to (+ (- (log b) (log a)) (- (log b) (log a))) 2.148 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (- (log b) (log a)) (- (log b) (log a)))))))) 2.148 * * * * [progress]: [ 25 / 92 ] simplifiying candidate # 2.149 * [simplify]: Simplifying (+ (- (log b) (log a)) (log (/ b a))) 2.149 * * [simplify]: iters left: 5 (8 enodes) 2.152 * * [simplify]: iters left: 4 (27 enodes) 2.158 * * [simplify]: iters left: 3 (47 enodes) 2.166 * * [simplify]: iters left: 2 (84 enodes) 2.179 * * [simplify]: iters left: 1 (113 enodes) 2.196 * * [simplify]: Extracting #0: cost 1 inf + 0 2.196 * * [simplify]: Extracting #1: cost 17 inf + 0 2.196 * * [simplify]: Extracting #2: cost 33 inf + 0 2.197 * * [simplify]: Extracting #3: cost 27 inf + 439 2.198 * * [simplify]: Extracting #4: cost 3 inf + 3975 2.200 * * [simplify]: Extracting #5: cost 0 inf + 4511 2.202 * [simplify]: Simplified to (+ (log (/ b a)) (log (/ b a))) 2.202 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) 2.202 * * * * [progress]: [ 26 / 92 ] simplifiying candidate # 2.202 * [simplify]: Simplifying (+ (log (/ b a)) (- (log b) (log a))) 2.202 * * [simplify]: iters left: 5 (8 enodes) 2.206 * * [simplify]: iters left: 4 (27 enodes) 2.214 * * [simplify]: iters left: 3 (40 enodes) 2.227 * * [simplify]: iters left: 2 (68 enodes) 2.251 * * [simplify]: iters left: 1 (116 enodes) 2.290 * * [simplify]: Extracting #0: cost 1 inf + 0 2.290 * * [simplify]: Extracting #1: cost 15 inf + 0 2.290 * * [simplify]: Extracting #2: cost 31 inf + 0 2.291 * * [simplify]: Extracting #3: cost 26 inf + 366 2.292 * * [simplify]: Extracting #4: cost 7 inf + 2866 2.294 * * [simplify]: Extracting #5: cost 0 inf + 4097 2.295 * [simplify]: Simplified to (+ (log (/ b a)) (log (/ b a))) 2.295 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) 2.296 * * * * [progress]: [ 27 / 92 ] simplifiying candidate # 2.296 * [simplify]: Simplifying (+ (log (/ b a)) (log (/ b a))) 2.296 * * [simplify]: iters left: 5 (5 enodes) 2.298 * * [simplify]: iters left: 4 (18 enodes) 2.304 * * [simplify]: iters left: 3 (28 enodes) 2.313 * * [simplify]: iters left: 2 (48 enodes) 2.327 * * [simplify]: iters left: 1 (82 enodes) 2.354 * * [simplify]: Extracting #0: cost 1 inf + 0 2.354 * * [simplify]: Extracting #1: cost 13 inf + 0 2.354 * * [simplify]: Extracting #2: cost 29 inf + 0 2.354 * * [simplify]: Extracting #3: cost 28 inf + 73 2.355 * * [simplify]: Extracting #4: cost 6 inf + 2976 2.357 * * [simplify]: Extracting #5: cost 0 inf + 3875 2.358 * [simplify]: Simplified to (+ (log (/ b a)) (log (/ b a))) 2.358 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) 2.358 * * * * [progress]: [ 28 / 92 ] simplifiying candidate # 2.359 * [simplify]: Simplifying (log (* (/ b a) (/ b a))) 2.359 * * [simplify]: iters left: 5 (5 enodes) 2.361 * * [simplify]: iters left: 4 (21 enodes) 2.368 * * [simplify]: iters left: 3 (38 enodes) 2.379 * * [simplify]: iters left: 2 (65 enodes) 2.401 * * [simplify]: iters left: 1 (108 enodes) 2.433 * * [simplify]: Extracting #0: cost 1 inf + 0 2.433 * * [simplify]: Extracting #1: cost 22 inf + 0 2.434 * * [simplify]: Extracting #2: cost 46 inf + 0 2.434 * * [simplify]: Extracting #3: cost 50 inf + 43 2.435 * * [simplify]: Extracting #4: cost 23 inf + 2886 2.437 * * [simplify]: Extracting #5: cost 3 inf + 5258 2.439 * * [simplify]: Extracting #6: cost 0 inf + 5722 2.441 * [simplify]: Simplified to (log (* (/ b a) (/ b a))) 2.442 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (log (* (/ b a) (/ b a)))))))) 2.442 * * * * [progress]: [ 29 / 92 ] simplifiying candidate # 2.442 * [simplify]: Simplifying (exp (* (/ b a) (/ b a))) 2.442 * * [simplify]: iters left: 5 (5 enodes) 2.445 * * [simplify]: iters left: 4 (21 enodes) 2.451 * * [simplify]: iters left: 3 (35 enodes) 2.463 * * [simplify]: iters left: 2 (60 enodes) 2.483 * * [simplify]: iters left: 1 (102 enodes) 2.516 * * [simplify]: Extracting #0: cost 1 inf + 0 2.516 * * [simplify]: Extracting #1: cost 15 inf + 0 2.516 * * [simplify]: Extracting #2: cost 54 inf + 1 2.517 * * [simplify]: Extracting #3: cost 70 inf + 88 2.518 * * [simplify]: Extracting #4: cost 32 inf + 3031 2.520 * * [simplify]: Extracting #5: cost 9 inf + 8612 2.523 * * [simplify]: Extracting #6: cost 1 inf + 11650 2.529 * * [simplify]: Extracting #7: cost 0 inf + 12384 2.533 * [simplify]: Simplified to (exp (* (/ b a) (/ b a))) 2.533 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (log (exp (* (/ b a) (/ b a)))))))) 2.533 * * * * [progress]: [ 30 / 92 ] simplifiying candidate # 2.533 * [simplify]: Simplifying (* (/ (* (* b b) b) (* (* a a) a)) (/ (* (* b b) b) (* (* a a) a))) 2.533 * * [simplify]: iters left: 6 (8 enodes) 2.538 * * [simplify]: iters left: 5 (37 enodes) 2.553 * * [simplify]: iters left: 4 (127 enodes) 2.631 * * [simplify]: Extracting #0: cost 1 inf + 0 2.631 * * [simplify]: Extracting #1: cost 75 inf + 0 2.632 * * [simplify]: Extracting #2: cost 179 inf + 328 2.635 * * [simplify]: Extracting #3: cost 99 inf + 13720 2.642 * * [simplify]: Extracting #4: cost 3 inf + 32077 2.650 * * [simplify]: Extracting #5: cost 0 inf + 31213 2.659 * * [simplify]: Extracting #6: cost 0 inf + 31173 2.670 * [simplify]: Simplified to (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a))) 2.670 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a)))))))) 2.670 * * * * [progress]: [ 31 / 92 ] simplifiying candidate # 2.670 * [simplify]: Simplifying (* (/ (* (* b b) b) (* (* a a) a)) (* (* (/ b a) (/ b a)) (/ b a))) 2.670 * * [simplify]: iters left: 6 (11 enodes) 2.676 * * [simplify]: iters left: 5 (53 enodes) 2.699 * * [simplify]: iters left: 4 (157 enodes) 2.819 * * [simplify]: Extracting #0: cost 1 inf + 0 2.819 * * [simplify]: Extracting #1: cost 55 inf + 0 2.819 * * [simplify]: Extracting #2: cost 161 inf + 612 2.823 * * [simplify]: Extracting #3: cost 80 inf + 15289 2.829 * * [simplify]: Extracting #4: cost 5 inf + 26984 2.840 * * [simplify]: Extracting #5: cost 0 inf + 27234 2.850 * * [simplify]: Extracting #6: cost 0 inf + 27194 2.866 * [simplify]: Simplified to (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a)))) 2.866 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a))))))))) 2.866 * * * * [progress]: [ 32 / 92 ] simplifiying candidate # 2.867 * [simplify]: Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (/ (* (* b b) b) (* (* a a) a))) 2.867 * * [simplify]: iters left: 6 (11 enodes) 2.870 * * [simplify]: iters left: 5 (53 enodes) 2.882 * * [simplify]: iters left: 4 (155 enodes) 2.955 * * [simplify]: Extracting #0: cost 1 inf + 0 2.955 * * [simplify]: Extracting #1: cost 62 inf + 0 2.955 * * [simplify]: Extracting #2: cost 160 inf + 3 2.957 * * [simplify]: Extracting #3: cost 139 inf + 2444 2.966 * * [simplify]: Extracting #4: cost 28 inf + 21115 2.980 * * [simplify]: Extracting #5: cost 0 inf + 26581 2.987 * [simplify]: Simplified to (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a)))) 2.988 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a))))))))) 2.988 * * * * [progress]: [ 33 / 92 ] simplifiying candidate # 2.988 * [simplify]: Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))) 2.988 * * [simplify]: iters left: 6 (6 enodes) 2.990 * * [simplify]: iters left: 5 (31 enodes) 2.997 * * [simplify]: iters left: 4 (95 enodes) 3.035 * * [simplify]: iters left: 3 (238 enodes) 3.168 * * [simplify]: Extracting #0: cost 1 inf + 0 3.168 * * [simplify]: Extracting #1: cost 76 inf + 0 3.169 * * [simplify]: Extracting #2: cost 176 inf + 46 3.173 * * [simplify]: Extracting #3: cost 113 inf + 9223 3.182 * * [simplify]: Extracting #4: cost 22 inf + 26199 3.189 * * [simplify]: Extracting #5: cost 0 inf + 32677 3.197 * [simplify]: Simplified to (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a)))) 3.197 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a))))))))) 3.198 * * * * [progress]: [ 34 / 92 ] simplifiying candidate # 3.198 * [simplify]: Simplifying (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) 3.198 * * [simplify]: iters left: 6 (6 enodes) 3.199 * * [simplify]: iters left: 5 (22 enodes) 3.205 * * [simplify]: iters left: 4 (30 enodes) 3.214 * * [simplify]: iters left: 3 (42 enodes) 3.221 * * [simplify]: iters left: 2 (49 enodes) 3.227 * * [simplify]: Extracting #0: cost 1 inf + 0 3.227 * * [simplify]: Extracting #1: cost 3 inf + 0 3.227 * * [simplify]: Extracting #2: cost 5 inf + 0 3.227 * * [simplify]: Extracting #3: cost 15 inf + 0 3.227 * * [simplify]: Extracting #4: cost 20 inf + 2 3.227 * * [simplify]: Extracting #5: cost 8 inf + 743 3.228 * * [simplify]: Extracting #6: cost 1 inf + 1516 3.228 * * [simplify]: Extracting #7: cost 0 inf + 1718 3.229 * [simplify]: Simplified to (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) 3.229 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) (cbrt (* (/ b a) (/ b a)))))))) 3.229 * [simplify]: Simplifying (cbrt (* (/ b a) (/ b a))) 3.229 * * [simplify]: iters left: 5 (5 enodes) 3.230 * * [simplify]: iters left: 4 (19 enodes) 3.233 * * [simplify]: iters left: 3 (27 enodes) 3.236 * * [simplify]: iters left: 2 (39 enodes) 3.242 * * [simplify]: iters left: 1 (46 enodes) 3.247 * * [simplify]: Extracting #0: cost 1 inf + 0 3.247 * * [simplify]: Extracting #1: cost 3 inf + 0 3.247 * * [simplify]: Extracting #2: cost 13 inf + 0 3.247 * * [simplify]: Extracting #3: cost 18 inf + 2 3.247 * * [simplify]: Extracting #4: cost 4 inf + 826 3.248 * * [simplify]: Extracting #5: cost 0 inf + 1314 3.248 * [simplify]: Simplified to (cbrt (* (/ b a) (/ b a))) 3.248 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (* (/ b a) (/ b a))) (cbrt (* (/ b a) (/ b a)))) (cbrt (* (/ b a) (/ b a)))))))) 3.248 * * * * [progress]: [ 35 / 92 ] simplifiying candidate # 3.248 * [simplify]: Simplifying (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a))) 3.248 * * [simplify]: iters left: 6 (6 enodes) 3.250 * * [simplify]: iters left: 5 (30 enodes) 3.260 * * [simplify]: iters left: 4 (81 enodes) 3.302 * * [simplify]: iters left: 3 (206 enodes) 3.396 * * [simplify]: Extracting #0: cost 1 inf + 0 3.396 * * [simplify]: Extracting #1: cost 71 inf + 0 3.396 * * [simplify]: Extracting #2: cost 159 inf + 4 3.398 * * [simplify]: Extracting #3: cost 113 inf + 7366 3.404 * * [simplify]: Extracting #4: cost 9 inf + 27981 3.418 * * [simplify]: Extracting #5: cost 0 inf + 29035 3.430 * [simplify]: Simplified to (* (* (/ b a) (/ b a)) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a)))) 3.430 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (cbrt (* (* (/ b a) (/ b a)) (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))))))))) 3.430 * * * * [progress]: [ 36 / 92 ] simplifiying candidate # 3.431 * [simplify]: Simplifying (sqrt (* (/ b a) (/ b a))) 3.431 * * [simplify]: iters left: 5 (5 enodes) 3.432 * * [simplify]: iters left: 4 (20 enodes) 3.435 * * [simplify]: iters left: 3 (28 enodes) 3.439 * * [simplify]: iters left: 2 (40 enodes) 3.447 * * [simplify]: iters left: 1 (47 enodes) 3.452 * * [simplify]: Extracting #0: cost 1 inf + 0 3.452 * * [simplify]: Extracting #1: cost 4 inf + 0 3.452 * * [simplify]: Extracting #2: cost 14 inf + 0 3.452 * * [simplify]: Extracting #3: cost 15 inf + 126 3.453 * * [simplify]: Extracting #4: cost 3 inf + 908 3.453 * * [simplify]: Extracting #5: cost 0 inf + 1154 3.453 * [simplify]: Simplified to (fabs (/ b a)) 3.453 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (fabs (/ b a)) (sqrt (* (/ b a) (/ b a)))))))) 3.454 * [simplify]: Simplifying (sqrt (* (/ b a) (/ b a))) 3.454 * * [simplify]: iters left: 5 (5 enodes) 3.455 * * [simplify]: iters left: 4 (20 enodes) 3.458 * * [simplify]: iters left: 3 (28 enodes) 3.463 * * [simplify]: iters left: 2 (40 enodes) 3.473 * * [simplify]: iters left: 1 (47 enodes) 3.485 * * [simplify]: Extracting #0: cost 1 inf + 0 3.485 * * [simplify]: Extracting #1: cost 4 inf + 0 3.485 * * [simplify]: Extracting #2: cost 14 inf + 0 3.485 * * [simplify]: Extracting #3: cost 15 inf + 126 3.486 * * [simplify]: Extracting #4: cost 3 inf + 908 3.486 * * [simplify]: Extracting #5: cost 0 inf + 1154 3.487 * [simplify]: Simplified to (fabs (/ b a)) 3.487 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (* (/ b a) (/ b a))) (fabs (/ b a))))))) 3.487 * * * * [progress]: [ 37 / 92 ] simplifiying candidate # 3.487 * [simplify]: Simplifying (* b b) 3.487 * * [simplify]: iters left: 2 (2 enodes) 3.488 * * [simplify]: iters left: 1 (6 enodes) 3.490 * * [simplify]: Extracting #0: cost 1 inf + 0 3.491 * * [simplify]: Extracting #1: cost 3 inf + 0 3.491 * * [simplify]: Extracting #2: cost 2 inf + 1 3.491 * * [simplify]: Extracting #3: cost 0 inf + 83 3.491 * [simplify]: Simplified to (* b b) 3.491 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 3.491 * [simplify]: Simplifying (* a a) 3.491 * * [simplify]: iters left: 2 (2 enodes) 3.492 * * [simplify]: iters left: 1 (6 enodes) 3.493 * * [simplify]: Extracting #0: cost 1 inf + 0 3.493 * * [simplify]: Extracting #1: cost 3 inf + 0 3.493 * * [simplify]: Extracting #2: cost 2 inf + 1 3.493 * * [simplify]: Extracting #3: cost 0 inf + 83 3.493 * [simplify]: Simplified to (* a a) 3.493 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 3.493 * * * * [progress]: [ 38 / 92 ] simplifiying candidate # 3.493 * * * * [progress]: [ 39 / 92 ] simplifiying candidate # 3.493 * [simplify]: Simplifying (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (cbrt (/ b a)))) 3.493 * * [simplify]: iters left: 6 (6 enodes) 3.495 * * [simplify]: iters left: 5 (22 enodes) 3.498 * * [simplify]: iters left: 4 (26 enodes) 3.503 * * [simplify]: iters left: 3 (37 enodes) 3.511 * * [simplify]: iters left: 2 (65 enodes) 3.528 * * [simplify]: iters left: 1 (123 enodes) 3.578 * * [simplify]: Extracting #0: cost 1 inf + 0 3.578 * * [simplify]: Extracting #1: cost 21 inf + 0 3.578 * * [simplify]: Extracting #2: cost 51 inf + 3 3.578 * * [simplify]: Extracting #3: cost 42 inf + 178 3.579 * * [simplify]: Extracting #4: cost 27 inf + 3061 3.582 * * [simplify]: Extracting #5: cost 2 inf + 14678 3.585 * * [simplify]: Extracting #6: cost 0 inf + 16017 3.588 * [simplify]: Simplified to (* (/ b a) (cbrt (/ b a))) 3.588 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (cbrt (/ b a))) (* (cbrt (/ b a)) (cbrt (/ b a)))))))) 3.589 * [simplify]: Simplifying (* (cbrt (/ b a)) (cbrt (/ b a))) 3.589 * * [simplify]: iters left: 5 (5 enodes) 3.591 * * [simplify]: iters left: 4 (15 enodes) 3.595 * * [simplify]: Extracting #0: cost 1 inf + 0 3.595 * * [simplify]: Extracting #1: cost 3 inf + 0 3.595 * * [simplify]: Extracting #2: cost 5 inf + 0 3.595 * * [simplify]: Extracting #3: cost 8 inf + 0 3.595 * * [simplify]: Extracting #4: cost 6 inf + 2 3.595 * * [simplify]: Extracting #5: cost 0 inf + 654 3.595 * [simplify]: Simplified to (* (cbrt (/ b a)) (cbrt (/ b a))) 3.596 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (cbrt (/ b a)))) (* (cbrt (/ b a)) (cbrt (/ b a)))))))) 3.596 * * * * [progress]: [ 40 / 92 ] simplifiying candidate # 3.596 * [simplify]: Simplifying (* (sqrt (/ b a)) (sqrt (/ b a))) 3.596 * * [simplify]: iters left: 5 (5 enodes) 3.598 * * [simplify]: iters left: 4 (13 enodes) 3.601 * * [simplify]: iters left: 3 (14 enodes) 3.603 * * [simplify]: Extracting #0: cost 1 inf + 0 3.603 * * [simplify]: Extracting #1: cost 5 inf + 0 3.603 * * [simplify]: Extracting #2: cost 4 inf + 2 3.603 * * [simplify]: Extracting #3: cost 3 inf + 44 3.603 * * [simplify]: Extracting #4: cost 0 inf + 250 3.603 * [simplify]: Simplified to (/ b a) 3.603 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (* (sqrt (/ b a)) (sqrt (/ b a)))))))) 3.603 * [simplify]: Simplifying (* (sqrt (/ b a)) (sqrt (/ b a))) 3.603 * * [simplify]: iters left: 5 (5 enodes) 3.604 * * [simplify]: iters left: 4 (13 enodes) 3.606 * * [simplify]: iters left: 3 (14 enodes) 3.608 * * [simplify]: Extracting #0: cost 1 inf + 0 3.608 * * [simplify]: Extracting #1: cost 5 inf + 0 3.608 * * [simplify]: Extracting #2: cost 4 inf + 2 3.608 * * [simplify]: Extracting #3: cost 3 inf + 44 3.608 * * [simplify]: Extracting #4: cost 0 inf + 250 3.608 * [simplify]: Simplified to (/ b a) 3.608 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (sqrt (/ b a)) (sqrt (/ b a))) (/ b a)))))) 3.608 * * * * [progress]: [ 41 / 92 ] simplifiying candidate # 3.608 * [simplify]: Simplifying (* (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a)))) 3.608 * * [simplify]: iters left: 6 (8 enodes) 3.610 * * [simplify]: iters left: 5 (34 enodes) 3.616 * * [simplify]: iters left: 4 (90 enodes) 3.650 * * [simplify]: iters left: 3 (258 enodes) 3.781 * * [simplify]: iters left: 2 (486 enodes) 4.054 * * [simplify]: Extracting #0: cost 1 inf + 0 4.054 * * [simplify]: Extracting #1: cost 55 inf + 0 4.056 * * [simplify]: Extracting #2: cost 93 inf + 935 4.060 * * [simplify]: Extracting #3: cost 35 inf + 10728 4.069 * * [simplify]: Extracting #4: cost 8 inf + 16481 4.078 * * [simplify]: Extracting #5: cost 0 inf + 19864 4.088 * [simplify]: Simplified to (/ (cbrt b) (/ (* a (cbrt a)) b)) 4.088 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ (cbrt b) (/ (* a (cbrt a)) b)) (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a)))))))) 4.089 * [simplify]: Simplifying (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) 4.089 * * [simplify]: iters left: 5 (6 enodes) 4.091 * * [simplify]: iters left: 4 (22 enodes) 4.098 * * [simplify]: iters left: 3 (30 enodes) 4.110 * * [simplify]: iters left: 2 (42 enodes) 4.122 * * [simplify]: iters left: 1 (49 enodes) 4.129 * * [simplify]: Extracting #0: cost 1 inf + 0 4.129 * * [simplify]: Extracting #1: cost 11 inf + 0 4.129 * * [simplify]: Extracting #2: cost 22 inf + 0 4.129 * * [simplify]: Extracting #3: cost 19 inf + 83 4.129 * * [simplify]: Extracting #4: cost 12 inf + 1052 4.130 * * [simplify]: Extracting #5: cost 2 inf + 3070 4.130 * * [simplify]: Extracting #6: cost 0 inf + 3554 4.130 * [simplify]: Simplified to (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) 4.131 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ (cbrt b) (/ (* a (cbrt a)) b)) (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a)))))))) 4.131 * * * * [progress]: [ 42 / 92 ] simplifiying candidate # 4.131 * [simplify]: Simplifying (* (/ (* (cbrt b) (cbrt b)) (sqrt a)) (/ (* (cbrt b) (cbrt b)) (sqrt a))) 4.131 * * [simplify]: iters left: 6 (7 enodes) 4.132 * * [simplify]: iters left: 5 (27 enodes) 4.137 * * [simplify]: iters left: 4 (49 enodes) 4.146 * * [simplify]: iters left: 3 (96 enodes) 4.172 * * [simplify]: iters left: 2 (160 enodes) 4.214 * * [simplify]: iters left: 1 (182 enodes) 4.268 * * [simplify]: Extracting #0: cost 1 inf + 0 4.268 * * [simplify]: Extracting #1: cost 29 inf + 0 4.269 * * [simplify]: Extracting #2: cost 47 inf + 529 4.271 * * [simplify]: Extracting #3: cost 6 inf + 7046 4.275 * * [simplify]: Extracting #4: cost 0 inf + 7866 4.278 * [simplify]: Simplified to (* b (/ (cbrt b) a)) 4.278 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* b (/ (cbrt b) a)) (* (/ (cbrt b) (sqrt a)) (/ (cbrt b) (sqrt a)))))))) 4.278 * [simplify]: Simplifying (* (/ (cbrt b) (sqrt a)) (/ (cbrt b) (sqrt a))) 4.278 * * [simplify]: iters left: 5 (6 enodes) 4.281 * * [simplify]: iters left: 4 (22 enodes) 4.288 * * [simplify]: iters left: 3 (30 enodes) 4.296 * * [simplify]: iters left: 2 (42 enodes) 4.307 * * [simplify]: iters left: 1 (47 enodes) 4.319 * * [simplify]: Extracting #0: cost 1 inf + 0 4.319 * * [simplify]: Extracting #1: cost 11 inf + 0 4.319 * * [simplify]: Extracting #2: cost 18 inf + 42 4.319 * * [simplify]: Extracting #3: cost 16 inf + 84 4.320 * * [simplify]: Extracting #4: cost 12 inf + 570 4.320 * * [simplify]: Extracting #5: cost 2 inf + 2068 4.321 * * [simplify]: Extracting #6: cost 0 inf + 2352 4.322 * [simplify]: Simplified to (* (/ (cbrt b) a) (cbrt b)) 4.322 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* b (/ (cbrt b) a)) (* (/ (cbrt b) a) (cbrt b))))))) 4.322 * * * * [progress]: [ 43 / 92 ] simplifiying candidate # 4.322 * [simplify]: Simplifying (* (/ (* (cbrt b) (cbrt b)) 1) (/ (* (cbrt b) (cbrt b)) 1)) 4.322 * * [simplify]: iters left: 6 (6 enodes) 4.326 * * [simplify]: iters left: 5 (24 enodes) 4.334 * * [simplify]: iters left: 4 (42 enodes) 4.341 * * [simplify]: iters left: 3 (58 enodes) 4.351 * * [simplify]: iters left: 2 (77 enodes) 4.372 * * [simplify]: iters left: 1 (83 enodes) 4.393 * * [simplify]: Extracting #0: cost 1 inf + 0 4.393 * * [simplify]: Extracting #1: cost 11 inf + 0 4.393 * * [simplify]: Extracting #2: cost 16 inf + 3 4.394 * * [simplify]: Extracting #3: cost 10 inf + 583 4.394 * * [simplify]: Extracting #4: cost 3 inf + 1312 4.395 * * [simplify]: Extracting #5: cost 0 inf + 1929 4.395 * [simplify]: Simplified to (* b (cbrt b)) 4.396 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* b (cbrt b)) (* (/ (cbrt b) a) (/ (cbrt b) a))))))) 4.396 * [simplify]: Simplifying (* (/ (cbrt b) a) (/ (cbrt b) a)) 4.396 * * [simplify]: iters left: 5 (5 enodes) 4.398 * * [simplify]: iters left: 4 (19 enodes) 4.404 * * [simplify]: iters left: 3 (27 enodes) 4.411 * * [simplify]: iters left: 2 (39 enodes) 4.422 * * [simplify]: iters left: 1 (46 enodes) 4.432 * * [simplify]: Extracting #0: cost 1 inf + 0 4.433 * * [simplify]: Extracting #1: cost 11 inf + 0 4.433 * * [simplify]: Extracting #2: cost 18 inf + 42 4.433 * * [simplify]: Extracting #3: cost 16 inf + 84 4.433 * * [simplify]: Extracting #4: cost 11 inf + 652 4.434 * * [simplify]: Extracting #5: cost 0 inf + 2272 4.434 * [simplify]: Simplified to (* (/ (cbrt b) a) (/ (cbrt b) a)) 4.434 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* b (cbrt b)) (* (/ (cbrt b) a) (/ (cbrt b) a))))))) 4.435 * * * * [progress]: [ 44 / 92 ] simplifiying candidate # 4.435 * [simplify]: Simplifying (* (/ (sqrt b) (* (cbrt a) (cbrt a))) (/ (sqrt b) (* (cbrt a) (cbrt a)))) 4.435 * * [simplify]: iters left: 6 (7 enodes) 4.438 * * [simplify]: iters left: 5 (27 enodes) 4.447 * * [simplify]: iters left: 4 (50 enodes) 4.461 * * [simplify]: iters left: 3 (89 enodes) 4.475 * * [simplify]: iters left: 2 (125 enodes) 4.503 * * [simplify]: iters left: 1 (148 enodes) 4.545 * * [simplify]: Extracting #0: cost 1 inf + 0 4.545 * * [simplify]: Extracting #1: cost 20 inf + 0 4.545 * * [simplify]: Extracting #2: cost 33 inf + 83 4.545 * * [simplify]: Extracting #3: cost 19 inf + 1584 4.547 * * [simplify]: Extracting #4: cost 3 inf + 4095 4.549 * * [simplify]: Extracting #5: cost 0 inf + 4621 4.551 * [simplify]: Simplified to (/ b (* a (cbrt a))) 4.551 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b (* a (cbrt a))) (* (/ (sqrt b) (cbrt a)) (/ (sqrt b) (cbrt a)))))))) 4.552 * [simplify]: Simplifying (* (/ (sqrt b) (cbrt a)) (/ (sqrt b) (cbrt a))) 4.552 * * [simplify]: iters left: 5 (6 enodes) 4.554 * * [simplify]: iters left: 4 (22 enodes) 4.563 * * [simplify]: iters left: 3 (30 enodes) 4.572 * * [simplify]: iters left: 2 (37 enodes) 4.582 * * [simplify]: iters left: 1 (46 enodes) 4.594 * * [simplify]: Extracting #0: cost 1 inf + 0 4.594 * * [simplify]: Extracting #1: cost 11 inf + 0 4.594 * * [simplify]: Extracting #2: cost 19 inf + 1 4.595 * * [simplify]: Extracting #3: cost 14 inf + 407 4.595 * * [simplify]: Extracting #4: cost 3 inf + 1946 4.596 * * [simplify]: Extracting #5: cost 0 inf + 2512 4.597 * [simplify]: Simplified to (/ (/ b (cbrt a)) (cbrt a)) 4.597 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b (* a (cbrt a))) (/ (/ b (cbrt a)) (cbrt a))))))) 4.597 * * * * [progress]: [ 45 / 92 ] simplifiying candidate # 4.598 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) 4.598 * * [simplify]: iters left: 5 (6 enodes) 4.600 * * [simplify]: iters left: 4 (22 enodes) 4.603 * * [simplify]: iters left: 3 (30 enodes) 4.608 * * [simplify]: iters left: 2 (37 enodes) 4.612 * * [simplify]: iters left: 1 (46 enodes) 4.619 * * [simplify]: Extracting #0: cost 1 inf + 0 4.619 * * [simplify]: Extracting #1: cost 11 inf + 0 4.619 * * [simplify]: Extracting #2: cost 15 inf + 43 4.619 * * [simplify]: Extracting #3: cost 7 inf + 617 4.619 * * [simplify]: Extracting #4: cost 0 inf + 1230 4.619 * [simplify]: Simplified to (/ b a) 4.619 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a)))))))) 4.620 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) 4.620 * * [simplify]: iters left: 5 (6 enodes) 4.621 * * [simplify]: iters left: 4 (22 enodes) 4.624 * * [simplify]: iters left: 3 (30 enodes) 4.628 * * [simplify]: iters left: 2 (37 enodes) 4.634 * * [simplify]: iters left: 1 (46 enodes) 4.640 * * [simplify]: Extracting #0: cost 1 inf + 0 4.640 * * [simplify]: Extracting #1: cost 11 inf + 0 4.640 * * [simplify]: Extracting #2: cost 15 inf + 43 4.640 * * [simplify]: Extracting #3: cost 7 inf + 617 4.640 * * [simplify]: Extracting #4: cost 0 inf + 1230 4.641 * [simplify]: Simplified to (/ b a) 4.641 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) (/ b a)))))) 4.641 * * * * [progress]: [ 46 / 92 ] simplifiying candidate # 4.641 * [simplify]: Simplifying (* (/ (sqrt b) 1) (/ (sqrt b) 1)) 4.641 * * [simplify]: iters left: 5 (5 enodes) 4.643 * * [simplify]: iters left: 4 (19 enodes) 4.645 * * [simplify]: iters left: 3 (21 enodes) 4.648 * * [simplify]: iters left: 2 (23 enodes) 4.650 * * [simplify]: Extracting #0: cost 1 inf + 0 4.650 * * [simplify]: Extracting #1: cost 0 inf + 1 4.650 * [simplify]: Simplified to b 4.650 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* b (* (/ (sqrt b) a) (/ (sqrt b) a))))))) 4.650 * [simplify]: Simplifying (* (/ (sqrt b) a) (/ (sqrt b) a)) 4.650 * * [simplify]: iters left: 5 (5 enodes) 4.652 * * [simplify]: iters left: 4 (19 enodes) 4.656 * * [simplify]: iters left: 3 (27 enodes) 4.663 * * [simplify]: iters left: 2 (34 enodes) 4.672 * * [simplify]: iters left: 1 (43 enodes) 4.684 * * [simplify]: Extracting #0: cost 1 inf + 0 4.684 * * [simplify]: Extracting #1: cost 11 inf + 0 4.684 * * [simplify]: Extracting #2: cost 15 inf + 43 4.684 * * [simplify]: Extracting #3: cost 5 inf + 740 4.685 * * [simplify]: Extracting #4: cost 0 inf + 1230 4.685 * [simplify]: Simplified to (/ b (* a a)) 4.686 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* b (/ b (* a a))))))) 4.686 * * * * [progress]: [ 47 / 92 ] simplifiying candidate # 4.686 * [simplify]: Simplifying (* (/ 1 (* (cbrt a) (cbrt a))) (/ 1 (* (cbrt a) (cbrt a)))) 4.686 * * [simplify]: iters left: 6 (6 enodes) 4.690 * * [simplify]: iters left: 5 (26 enodes) 4.700 * * [simplify]: iters left: 4 (47 enodes) 4.715 * * [simplify]: iters left: 3 (78 enodes) 4.731 * * [simplify]: iters left: 2 (100 enodes) 4.756 * * [simplify]: iters left: 1 (108 enodes) 4.782 * * [simplify]: Extracting #0: cost 1 inf + 0 4.783 * * [simplify]: Extracting #1: cost 11 inf + 0 4.783 * * [simplify]: Extracting #2: cost 15 inf + 84 4.783 * * [simplify]: Extracting #3: cost 6 inf + 1180 4.784 * * [simplify]: Extracting #4: cost 0 inf + 1960 4.785 * [simplify]: Simplified to (/ (/ 1 (cbrt a)) a) 4.785 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ (/ 1 (cbrt a)) a) (* (/ b (cbrt a)) (/ b (cbrt a)))))))) 4.785 * [simplify]: Simplifying (* (/ b (cbrt a)) (/ b (cbrt a))) 4.785 * * [simplify]: iters left: 5 (5 enodes) 4.788 * * [simplify]: iters left: 4 (19 enodes) 4.794 * * [simplify]: iters left: 3 (27 enodes) 4.801 * * [simplify]: iters left: 2 (39 enodes) 4.812 * * [simplify]: iters left: 1 (46 enodes) 4.822 * * [simplify]: Extracting #0: cost 1 inf + 0 4.822 * * [simplify]: Extracting #1: cost 11 inf + 0 4.822 * * [simplify]: Extracting #2: cost 19 inf + 1 4.822 * * [simplify]: Extracting #3: cost 16 inf + 84 4.823 * * [simplify]: Extracting #4: cost 6 inf + 1300 4.823 * * [simplify]: Extracting #5: cost 0 inf + 2272 4.823 * [simplify]: Simplified to (* (/ b (cbrt a)) (/ b (cbrt a))) 4.823 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ (/ 1 (cbrt a)) a) (* (/ b (cbrt a)) (/ b (cbrt a)))))))) 4.823 * * * * [progress]: [ 48 / 92 ] simplifiying candidate # 4.824 * [simplify]: Simplifying (* (/ 1 (sqrt a)) (/ 1 (sqrt a))) 4.824 * * [simplify]: iters left: 5 (5 enodes) 4.825 * * [simplify]: iters left: 4 (21 enodes) 4.829 * * [simplify]: iters left: 3 (29 enodes) 4.833 * * [simplify]: iters left: 2 (35 enodes) 4.838 * * [simplify]: Extracting #0: cost 1 inf + 0 4.838 * * [simplify]: Extracting #1: cost 6 inf + 0 4.838 * * [simplify]: Extracting #2: cost 5 inf + 43 4.838 * * [simplify]: Extracting #3: cost 1 inf + 290 4.838 * * [simplify]: Extracting #4: cost 0 inf + 332 4.839 * [simplify]: Simplified to (/ 1 a) 4.839 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ 1 a) (* (/ b (sqrt a)) (/ b (sqrt a)))))))) 4.839 * [simplify]: Simplifying (* (/ b (sqrt a)) (/ b (sqrt a))) 4.839 * * [simplify]: iters left: 5 (5 enodes) 4.840 * * [simplify]: iters left: 4 (19 enodes) 4.843 * * [simplify]: iters left: 3 (27 enodes) 4.846 * * [simplify]: iters left: 2 (39 enodes) 4.852 * * [simplify]: iters left: 1 (44 enodes) 4.857 * * [simplify]: Extracting #0: cost 1 inf + 0 4.857 * * [simplify]: Extracting #1: cost 11 inf + 0 4.857 * * [simplify]: Extracting #2: cost 15 inf + 43 4.857 * * [simplify]: Extracting #3: cost 2 inf + 906 4.857 * * [simplify]: Extracting #4: cost 0 inf + 1070 4.858 * [simplify]: Simplified to (/ (* b b) a) 4.858 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ 1 a) (/ (* b b) a)))))) 4.858 * * * * [progress]: [ 49 / 92 ] simplifiying candidate # 4.858 * [simplify]: Simplifying (* (/ 1 1) (/ 1 1)) 4.858 * * [simplify]: iters left: 4 (3 enodes) 4.861 * * [simplify]: iters left: 3 (10 enodes) 4.863 * * [simplify]: iters left: 2 (12 enodes) 4.866 * * [simplify]: Extracting #0: cost 1 inf + 0 4.866 * * [simplify]: Extracting #1: cost 0 inf + 1 4.866 * [simplify]: Simplified to 1 4.866 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) 4.867 * [simplify]: Simplifying (* (/ b a) (/ b a)) 4.867 * * [simplify]: iters left: 4 (4 enodes) 4.869 * * [simplify]: iters left: 3 (16 enodes) 4.876 * * [simplify]: iters left: 2 (24 enodes) 4.883 * * [simplify]: iters left: 1 (36 enodes) 4.893 * * [simplify]: Extracting #0: cost 1 inf + 0 4.893 * * [simplify]: Extracting #1: cost 11 inf + 0 4.893 * * [simplify]: Extracting #2: cost 10 inf + 332 4.894 * * [simplify]: Extracting #3: cost 2 inf + 826 4.894 * * [simplify]: Extracting #4: cost 0 inf + 990 4.895 * [simplify]: Simplified to (* (/ b a) (/ b a)) 4.895 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) 4.895 * * * * [progress]: [ 50 / 92 ] simplifiying candidate # 4.895 * [simplify]: Simplifying (* 1 1) 4.895 * * [simplify]: iters left: 2 (2 enodes) 4.897 * * [simplify]: iters left: 1 (6 enodes) 4.898 * * [simplify]: Extracting #0: cost 1 inf + 0 4.898 * * [simplify]: Extracting #1: cost 0 inf + 1 4.898 * [simplify]: Simplified to 1 4.898 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) 4.898 * [simplify]: Simplifying (* (/ b a) (/ b a)) 4.898 * * [simplify]: iters left: 4 (4 enodes) 4.899 * * [simplify]: iters left: 3 (16 enodes) 4.901 * * [simplify]: iters left: 2 (24 enodes) 4.905 * * [simplify]: iters left: 1 (36 enodes) 4.910 * * [simplify]: Extracting #0: cost 1 inf + 0 4.910 * * [simplify]: Extracting #1: cost 11 inf + 0 4.910 * * [simplify]: Extracting #2: cost 10 inf + 332 4.910 * * [simplify]: Extracting #3: cost 2 inf + 826 4.910 * * [simplify]: Extracting #4: cost 0 inf + 990 4.910 * [simplify]: Simplified to (* (/ b a) (/ b a)) 4.911 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) 4.911 * * * * [progress]: [ 51 / 92 ] simplifiying candidate # 4.911 * [simplify]: Simplifying (* b b) 4.911 * * [simplify]: iters left: 2 (2 enodes) 4.911 * * [simplify]: iters left: 1 (6 enodes) 4.912 * * [simplify]: Extracting #0: cost 1 inf + 0 4.912 * * [simplify]: Extracting #1: cost 3 inf + 0 4.912 * * [simplify]: Extracting #2: cost 2 inf + 1 4.912 * * [simplify]: Extracting #3: cost 0 inf + 83 4.912 * [simplify]: Simplified to (* b b) 4.912 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* b b) (* (/ 1 a) (/ 1 a))))))) 4.912 * [simplify]: Simplifying (* (/ 1 a) (/ 1 a)) 4.912 * * [simplify]: iters left: 4 (4 enodes) 4.914 * * [simplify]: iters left: 3 (18 enodes) 4.917 * * [simplify]: iters left: 2 (26 enodes) 4.921 * * [simplify]: iters left: 1 (32 enodes) 4.925 * * [simplify]: Extracting #0: cost 1 inf + 0 4.925 * * [simplify]: Extracting #1: cost 6 inf + 0 4.925 * * [simplify]: Extracting #2: cost 5 inf + 43 4.926 * * [simplify]: Extracting #3: cost 0 inf + 332 4.926 * [simplify]: Simplified to (/ 1 (* a a)) 4.926 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* b b) (/ 1 (* a a))))))) 4.926 * * * * [progress]: [ 52 / 92 ] simplifiying candidate # 4.926 * [simplify]: Simplifying (* (sqrt (/ b a)) (sqrt (/ b a))) 4.926 * * [simplify]: iters left: 5 (5 enodes) 4.927 * * [simplify]: iters left: 4 (13 enodes) 4.930 * * [simplify]: iters left: 3 (14 enodes) 4.934 * * [simplify]: Extracting #0: cost 1 inf + 0 4.934 * * [simplify]: Extracting #1: cost 5 inf + 0 4.934 * * [simplify]: Extracting #2: cost 4 inf + 2 4.934 * * [simplify]: Extracting #3: cost 3 inf + 44 4.934 * * [simplify]: Extracting #4: cost 0 inf + 250 4.934 * [simplify]: Simplified to (/ b a) 4.934 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (* (sqrt (/ b a)) (sqrt (/ b a)))))))) 4.935 * [simplify]: Simplifying (* (sqrt (/ b a)) (sqrt (/ b a))) 4.935 * * [simplify]: iters left: 5 (5 enodes) 4.937 * * [simplify]: iters left: 4 (13 enodes) 4.940 * * [simplify]: iters left: 3 (14 enodes) 4.944 * * [simplify]: Extracting #0: cost 1 inf + 0 4.944 * * [simplify]: Extracting #1: cost 5 inf + 0 4.944 * * [simplify]: Extracting #2: cost 4 inf + 2 4.944 * * [simplify]: Extracting #3: cost 3 inf + 44 4.944 * * [simplify]: Extracting #4: cost 0 inf + 250 4.944 * [simplify]: Simplified to (/ b a) 4.944 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (sqrt (/ b a)) (sqrt (/ b a))) (/ b a)))))) 4.944 * * * * [progress]: [ 53 / 92 ] simplifiying candidate # 4.945 * [simplify]: Simplifying (* (sqrt (/ b a)) (/ (sqrt b) (sqrt a))) 4.945 * * [simplify]: iters left: 5 (8 enodes) 4.948 * * [simplify]: iters left: 4 (27 enodes) 4.956 * * [simplify]: iters left: 3 (33 enodes) 4.965 * * [simplify]: iters left: 2 (37 enodes) 4.975 * * [simplify]: iters left: 1 (41 enodes) 4.986 * * [simplify]: Extracting #0: cost 1 inf + 0 4.986 * * [simplify]: Extracting #1: cost 10 inf + 0 4.986 * * [simplify]: Extracting #2: cost 21 inf + 0 4.987 * * [simplify]: Extracting #3: cost 19 inf + 43 4.987 * * [simplify]: Extracting #4: cost 7 inf + 1224 4.988 * * [simplify]: Extracting #5: cost 0 inf + 2358 4.989 * [simplify]: Simplified to (/ (sqrt (/ b a)) (/ (sqrt a) (sqrt b))) 4.989 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ (sqrt (/ b a)) (/ (sqrt a) (sqrt b))) (* (sqrt (/ b a)) (/ (sqrt b) (sqrt a)))))))) 4.989 * [simplify]: Simplifying (* (sqrt (/ b a)) (/ (sqrt b) (sqrt a))) 4.989 * * [simplify]: iters left: 5 (8 enodes) 4.994 * * [simplify]: iters left: 4 (27 enodes) 5.002 * * [simplify]: iters left: 3 (33 enodes) 5.011 * * [simplify]: iters left: 2 (37 enodes) 5.021 * * [simplify]: iters left: 1 (41 enodes) 5.032 * * [simplify]: Extracting #0: cost 1 inf + 0 5.032 * * [simplify]: Extracting #1: cost 10 inf + 0 5.032 * * [simplify]: Extracting #2: cost 21 inf + 0 5.033 * * [simplify]: Extracting #3: cost 19 inf + 43 5.033 * * [simplify]: Extracting #4: cost 7 inf + 1224 5.034 * * [simplify]: Extracting #5: cost 0 inf + 2358 5.035 * [simplify]: Simplified to (/ (sqrt (/ b a)) (/ (sqrt a) (sqrt b))) 5.035 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (sqrt (/ b a)) (/ (sqrt b) (sqrt a))) (/ (sqrt (/ b a)) (/ (sqrt a) (sqrt b)))))))) 5.035 * * * * [progress]: [ 54 / 92 ] simplifiying candidate # 5.035 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a))) 5.036 * * [simplify]: iters left: 5 (8 enodes) 5.040 * * [simplify]: iters left: 4 (27 enodes) 5.051 * * [simplify]: iters left: 3 (33 enodes) 5.061 * * [simplify]: iters left: 2 (35 enodes) 5.067 * * [simplify]: Extracting #0: cost 1 inf + 0 5.067 * * [simplify]: Extracting #1: cost 8 inf + 0 5.067 * * [simplify]: Extracting #2: cost 17 inf + 0 5.067 * * [simplify]: Extracting #3: cost 15 inf + 43 5.067 * * [simplify]: Extracting #4: cost 12 inf + 167 5.068 * * [simplify]: Extracting #5: cost 1 inf + 1548 5.068 * * [simplify]: Extracting #6: cost 0 inf + 1790 5.068 * [simplify]: Simplified to (/ (* (sqrt (/ b a)) (sqrt b)) (sqrt a)) 5.068 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ (* (sqrt (/ b a)) (sqrt b)) (sqrt a)) (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a)))))))) 5.068 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a))) 5.068 * * [simplify]: iters left: 5 (8 enodes) 5.070 * * [simplify]: iters left: 4 (27 enodes) 5.074 * * [simplify]: iters left: 3 (33 enodes) 5.078 * * [simplify]: iters left: 2 (35 enodes) 5.082 * * [simplify]: Extracting #0: cost 1 inf + 0 5.083 * * [simplify]: Extracting #1: cost 8 inf + 0 5.083 * * [simplify]: Extracting #2: cost 17 inf + 0 5.083 * * [simplify]: Extracting #3: cost 15 inf + 43 5.083 * * [simplify]: Extracting #4: cost 12 inf + 167 5.083 * * [simplify]: Extracting #5: cost 1 inf + 1548 5.083 * * [simplify]: Extracting #6: cost 0 inf + 1790 5.084 * [simplify]: Simplified to (/ (* (sqrt (/ b a)) (sqrt b)) (sqrt a)) 5.084 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a))) (/ (* (sqrt (/ b a)) (sqrt b)) (sqrt a))))))) 5.084 * * * * [progress]: [ 55 / 92 ] simplifiying candidate # 5.084 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) 5.084 * * [simplify]: iters left: 5 (6 enodes) 5.086 * * [simplify]: iters left: 4 (22 enodes) 5.093 * * [simplify]: iters left: 3 (30 enodes) 5.101 * * [simplify]: iters left: 2 (37 enodes) 5.110 * * [simplify]: iters left: 1 (46 enodes) 5.117 * * [simplify]: Extracting #0: cost 1 inf + 0 5.117 * * [simplify]: Extracting #1: cost 11 inf + 0 5.117 * * [simplify]: Extracting #2: cost 15 inf + 43 5.117 * * [simplify]: Extracting #3: cost 7 inf + 617 5.117 * * [simplify]: Extracting #4: cost 0 inf + 1230 5.118 * [simplify]: Simplified to (/ b a) 5.118 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a)))))))) 5.118 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) 5.118 * * [simplify]: iters left: 5 (6 enodes) 5.120 * * [simplify]: iters left: 4 (22 enodes) 5.123 * * [simplify]: iters left: 3 (30 enodes) 5.128 * * [simplify]: iters left: 2 (37 enodes) 5.132 * * [simplify]: iters left: 1 (46 enodes) 5.138 * * [simplify]: Extracting #0: cost 1 inf + 0 5.138 * * [simplify]: Extracting #1: cost 11 inf + 0 5.138 * * [simplify]: Extracting #2: cost 15 inf + 43 5.139 * * [simplify]: Extracting #3: cost 7 inf + 617 5.139 * * [simplify]: Extracting #4: cost 0 inf + 1230 5.139 * [simplify]: Simplified to (/ b a) 5.140 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) (/ b a)))))) 5.140 * * * * [progress]: [ 56 / 92 ] simplifiying candidate # 5.140 * [simplify]: Simplifying (* 2 1) 5.140 * * [simplify]: iters left: 2 (3 enodes) 5.142 * * [simplify]: iters left: 1 (9 enodes) 5.144 * * [simplify]: Extracting #0: cost 1 inf + 0 5.144 * * [simplify]: Extracting #1: cost 0 inf + 1 5.144 * [simplify]: Simplified to 2 5.144 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2))))) 5.144 * * * * [progress]: [ 57 / 92 ] simplifiying candidate # 5.144 * [simplify]: Simplifying (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) 5.144 * * [simplify]: iters left: 6 (6 enodes) 5.147 * * [simplify]: iters left: 5 (23 enodes) 5.154 * * [simplify]: iters left: 4 (36 enodes) 5.165 * * [simplify]: iters left: 3 (48 enodes) 5.178 * * [simplify]: iters left: 2 (55 enodes) 5.192 * * [simplify]: iters left: 1 (65 enodes) 5.201 * * [simplify]: Extracting #0: cost 1 inf + 0 5.201 * * [simplify]: Extracting #1: cost 18 inf + 0 5.201 * * [simplify]: Extracting #2: cost 28 inf + 2 5.201 * * [simplify]: Extracting #3: cost 12 inf + 2314 5.202 * * [simplify]: Extracting #4: cost 0 inf + 4458 5.203 * [simplify]: Simplified to (* (* (cbrt (/ b a)) (cbrt (/ b a))) (/ b a)) 5.203 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (* (cbrt (/ b a)) (cbrt (/ b a))) (/ b a)) (cbrt (/ b a))))))) 5.203 * * * * [progress]: [ 58 / 92 ] simplifiying candidate # 5.203 * [simplify]: Simplifying (* (/ b a) (sqrt (/ b a))) 5.203 * * [simplify]: iters left: 5 (5 enodes) 5.204 * * [simplify]: iters left: 4 (18 enodes) 5.207 * * [simplify]: iters left: 3 (24 enodes) 5.210 * * [simplify]: iters left: 2 (26 enodes) 5.213 * * [simplify]: Extracting #0: cost 1 inf + 0 5.213 * * [simplify]: Extracting #1: cost 8 inf + 0 5.213 * * [simplify]: Extracting #2: cost 10 inf + 2 5.213 * * [simplify]: Extracting #3: cost 0 inf + 982 5.213 * [simplify]: Simplified to (* (/ b a) (sqrt (/ b a))) 5.213 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a))))))) 5.213 * * * * [progress]: [ 59 / 92 ] simplifiying candidate # 5.214 * [simplify]: Simplifying (* (/ b a) (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a)))) 5.214 * * [simplify]: iters left: 6 (9 enodes) 5.216 * * [simplify]: iters left: 5 (38 enodes) 5.228 * * [simplify]: iters left: 4 (91 enodes) 5.246 * * [simplify]: iters left: 3 (214 enodes) 5.308 * * [simplify]: iters left: 2 (436 enodes) 5.508 * * [simplify]: Extracting #0: cost 1 inf + 0 5.509 * * [simplify]: Extracting #1: cost 97 inf + 0 5.510 * * [simplify]: Extracting #2: cost 136 inf + 3273 5.520 * * [simplify]: Extracting #3: cost 37 inf + 26388 5.535 * * [simplify]: Extracting #4: cost 0 inf + 35382 5.550 * * [simplify]: Extracting #5: cost 0 inf + 35342 5.558 * [simplify]: Simplified to (/ (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) (/ a b)) 5.558 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) (/ a b)) (/ (cbrt b) (cbrt a))))))) 5.558 * * * * [progress]: [ 60 / 92 ] simplifiying candidate # 5.558 * [simplify]: Simplifying (* (/ b a) (/ (* (cbrt b) (cbrt b)) (sqrt a))) 5.558 * * [simplify]: iters left: 6 (8 enodes) 5.560 * * [simplify]: iters left: 5 (31 enodes) 5.565 * * [simplify]: iters left: 4 (57 enodes) 5.574 * * [simplify]: iters left: 3 (112 enodes) 5.599 * * [simplify]: iters left: 2 (200 enodes) 5.658 * * [simplify]: iters left: 1 (293 enodes) 5.731 * * [simplify]: Extracting #0: cost 1 inf + 0 5.731 * * [simplify]: Extracting #1: cost 40 inf + 0 5.731 * * [simplify]: Extracting #2: cost 68 inf + 43 5.733 * * [simplify]: Extracting #3: cost 24 inf + 6763 5.738 * * [simplify]: Extracting #4: cost 2 inf + 10764 5.744 * * [simplify]: Extracting #5: cost 0 inf + 11168 5.749 * [simplify]: Simplified to (* (/ (/ b a) (sqrt a)) (* (cbrt b) (cbrt b))) 5.749 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ (/ b a) (sqrt a)) (* (cbrt b) (cbrt b))) (/ (cbrt b) (sqrt a))))))) 5.749 * * * * [progress]: [ 61 / 92 ] simplifiying candidate # 5.750 * [simplify]: Simplifying (* (/ b a) (/ (* (cbrt b) (cbrt b)) 1)) 5.750 * * [simplify]: iters left: 6 (8 enodes) 5.754 * * [simplify]: iters left: 5 (31 enodes) 5.766 * * [simplify]: iters left: 4 (59 enodes) 5.786 * * [simplify]: iters left: 3 (105 enodes) 5.826 * * [simplify]: iters left: 2 (164 enodes) 5.864 * * [simplify]: iters left: 1 (229 enodes) 5.939 * * [simplify]: Extracting #0: cost 1 inf + 0 5.940 * * [simplify]: Extracting #1: cost 22 inf + 0 5.940 * * [simplify]: Extracting #2: cost 35 inf + 3 5.941 * * [simplify]: Extracting #3: cost 24 inf + 823 5.942 * * [simplify]: Extracting #4: cost 3 inf + 4021 5.945 * * [simplify]: Extracting #5: cost 0 inf + 4466 5.947 * [simplify]: Simplified to (* (cbrt b) (* b (/ (cbrt b) a))) 5.948 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt b) (* b (/ (cbrt b) a))) (/ (cbrt b) a)))))) 5.948 * * * * [progress]: [ 62 / 92 ] simplifiying candidate # 5.948 * [simplify]: Simplifying (* (/ b a) (/ (sqrt b) (* (cbrt a) (cbrt a)))) 5.948 * * [simplify]: iters left: 6 (8 enodes) 5.952 * * [simplify]: iters left: 5 (31 enodes) 5.962 * * [simplify]: iters left: 4 (58 enodes) 5.980 * * [simplify]: iters left: 3 (108 enodes) 6.010 * * [simplify]: iters left: 2 (188 enodes) 6.048 * * [simplify]: iters left: 1 (274 enodes) 6.147 * * [simplify]: Extracting #0: cost 1 inf + 0 6.148 * * [simplify]: Extracting #1: cost 37 inf + 0 6.148 * * [simplify]: Extracting #2: cost 65 inf + 44 6.150 * * [simplify]: Extracting #3: cost 27 inf + 5512 6.154 * * [simplify]: Extracting #4: cost 1 inf + 10160 6.159 * * [simplify]: Extracting #5: cost 0 inf + 10402 6.163 * [simplify]: Simplified to (* (/ (sqrt b) (cbrt a)) (/ b (* a (cbrt a)))) 6.163 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ (sqrt b) (cbrt a)) (/ b (* a (cbrt a)))) (/ (sqrt b) (cbrt a))))))) 6.163 * * * * [progress]: [ 63 / 92 ] simplifiying candidate # 6.164 * [simplify]: Simplifying (* (/ b a) (/ (sqrt b) (sqrt a))) 6.164 * * [simplify]: iters left: 5 (7 enodes) 6.167 * * [simplify]: iters left: 4 (26 enodes) 6.171 * * [simplify]: iters left: 3 (41 enodes) 6.177 * * [simplify]: iters left: 2 (62 enodes) 6.186 * * [simplify]: iters left: 1 (90 enodes) 6.198 * * [simplify]: Extracting #0: cost 1 inf + 0 6.198 * * [simplify]: Extracting #1: cost 24 inf + 0 6.198 * * [simplify]: Extracting #2: cost 39 inf + 2 6.199 * * [simplify]: Extracting #3: cost 17 inf + 2121 6.200 * * [simplify]: Extracting #4: cost 0 inf + 4032 6.201 * [simplify]: Simplified to (/ b (/ (* a (sqrt a)) (sqrt b))) 6.201 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b (/ (* a (sqrt a)) (sqrt b))) (/ (sqrt b) (sqrt a))))))) 6.201 * * * * [progress]: [ 64 / 92 ] simplifiying candidate # 6.201 * [simplify]: Simplifying (* (/ b a) (/ (sqrt b) 1)) 6.201 * * [simplify]: iters left: 5 (7 enodes) 6.203 * * [simplify]: iters left: 4 (26 enodes) 6.207 * * [simplify]: iters left: 3 (36 enodes) 6.218 * * [simplify]: iters left: 2 (56 enodes) 6.229 * * [simplify]: iters left: 1 (71 enodes) 6.239 * * [simplify]: Extracting #0: cost 1 inf + 0 6.239 * * [simplify]: Extracting #1: cost 17 inf + 0 6.239 * * [simplify]: Extracting #2: cost 23 inf + 3 6.240 * * [simplify]: Extracting #3: cost 13 inf + 668 6.240 * * [simplify]: Extracting #4: cost 1 inf + 1692 6.241 * * [simplify]: Extracting #5: cost 0 inf + 1773 6.241 * [simplify]: Simplified to (* (/ b a) (sqrt b)) 6.241 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt b)) (/ (sqrt b) a)))))) 6.241 * * * * [progress]: [ 65 / 92 ] simplifiying candidate # 6.241 * [simplify]: Simplifying (* (/ b a) (/ 1 (* (cbrt a) (cbrt a)))) 6.241 * * [simplify]: iters left: 6 (8 enodes) 6.244 * * [simplify]: iters left: 5 (33 enodes) 6.249 * * [simplify]: iters left: 4 (58 enodes) 6.268 * * [simplify]: iters left: 3 (107 enodes) 6.313 * * [simplify]: iters left: 2 (168 enodes) 6.359 * * [simplify]: iters left: 1 (234 enodes) 6.496 * * [simplify]: Extracting #0: cost 1 inf + 0 6.496 * * [simplify]: Extracting #1: cost 32 inf + 0 6.497 * * [simplify]: Extracting #2: cost 46 inf + 45 6.498 * * [simplify]: Extracting #3: cost 17 inf + 3461 6.502 * * [simplify]: Extracting #4: cost 2 inf + 6088 6.505 * * [simplify]: Extracting #5: cost 0 inf + 6452 6.509 * [simplify]: Simplified to (/ b (* (* (cbrt a) (cbrt a)) a)) 6.509 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b (* (* (cbrt a) (cbrt a)) a)) (/ b (cbrt a))))))) 6.509 * * * * [progress]: [ 66 / 92 ] simplifiying candidate # 6.510 * [simplify]: Simplifying (* (/ b a) (/ 1 (sqrt a))) 6.510 * * [simplify]: iters left: 5 (7 enodes) 6.513 * * [simplify]: iters left: 4 (28 enodes) 6.522 * * [simplify]: iters left: 3 (43 enodes) 6.535 * * [simplify]: iters left: 2 (61 enodes) 6.554 * * [simplify]: iters left: 1 (77 enodes) 6.576 * * [simplify]: Extracting #0: cost 1 inf + 0 6.576 * * [simplify]: Extracting #1: cost 16 inf + 0 6.576 * * [simplify]: Extracting #2: cost 22 inf + 3 6.576 * * [simplify]: Extracting #3: cost 13 inf + 581 6.577 * * [simplify]: Extracting #4: cost 0 inf + 1845 6.578 * [simplify]: Simplified to (/ (/ b a) (sqrt a)) 6.578 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ (/ b a) (sqrt a)) (/ b (sqrt a))))))) 6.578 * * * * [progress]: [ 67 / 92 ] simplifiying candidate # 6.579 * [simplify]: Simplifying (* (/ b a) (/ 1 1)) 6.579 * * [simplify]: iters left: 4 (6 enodes) 6.582 * * [simplify]: iters left: 3 (21 enodes) 6.589 * * [simplify]: iters left: 2 (25 enodes) 6.596 * * [simplify]: iters left: 1 (28 enodes) 6.599 * * [simplify]: Extracting #0: cost 1 inf + 0 6.599 * * [simplify]: Extracting #1: cost 5 inf + 0 6.599 * * [simplify]: Extracting #2: cost 2 inf + 3 6.599 * * [simplify]: Extracting #3: cost 1 inf + 45 6.599 * * [simplify]: Extracting #4: cost 0 inf + 87 6.599 * [simplify]: Simplified to (/ b a) 6.600 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 6.600 * * * * [progress]: [ 68 / 92 ] simplifiying candidate # 6.600 * [simplify]: Simplifying (* (/ b a) 1) 6.600 * * [simplify]: iters left: 4 (5 enodes) 6.601 * * [simplify]: iters left: 3 (18 enodes) 6.604 * * [simplify]: iters left: 2 (24 enodes) 6.608 * * [simplify]: Extracting #0: cost 1 inf + 0 6.608 * * [simplify]: Extracting #1: cost 5 inf + 0 6.608 * * [simplify]: Extracting #2: cost 2 inf + 3 6.608 * * [simplify]: Extracting #3: cost 0 inf + 87 6.608 * [simplify]: Simplified to (/ b a) 6.608 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 6.608 * * * * [progress]: [ 69 / 92 ] simplifiying candidate # 6.608 * [simplify]: Simplifying (* (/ b a) b) 6.608 * * [simplify]: iters left: 4 (4 enodes) 6.609 * * [simplify]: iters left: 3 (15 enodes) 6.611 * * [simplify]: iters left: 2 (19 enodes) 6.615 * * [simplify]: iters left: 1 (21 enodes) 6.618 * * [simplify]: Extracting #0: cost 1 inf + 0 6.618 * * [simplify]: Extracting #1: cost 7 inf + 0 6.618 * * [simplify]: Extracting #2: cost 8 inf + 2 6.618 * * [simplify]: Extracting #3: cost 1 inf + 374 6.618 * * [simplify]: Extracting #4: cost 0 inf + 416 6.618 * [simplify]: Simplified to (* b (/ b a)) 6.619 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* b (/ b a)) (/ 1 a)))))) 6.619 * * * * [progress]: [ 70 / 92 ] simplifiying candidate # 6.619 * [simplify]: Simplifying (* (cbrt (/ b a)) (/ b a)) 6.619 * * [simplify]: iters left: 5 (5 enodes) 6.620 * * [simplify]: iters left: 4 (18 enodes) 6.623 * * [simplify]: iters left: 3 (24 enodes) 6.626 * * [simplify]: iters left: 2 (28 enodes) 6.629 * * [simplify]: iters left: 1 (32 enodes) 6.635 * * [simplify]: Extracting #0: cost 1 inf + 0 6.635 * * [simplify]: Extracting #1: cost 10 inf + 0 6.635 * * [simplify]: Extracting #2: cost 14 inf + 2 6.635 * * [simplify]: Extracting #3: cost 3 inf + 1224 6.636 * * [simplify]: Extracting #4: cost 0 inf + 1710 6.636 * [simplify]: Simplified to (* (/ b a) (cbrt (/ b a))) 6.636 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (/ b a) (cbrt (/ b a)))))))) 6.637 * * * * [progress]: [ 71 / 92 ] simplifiying candidate # 6.637 * [simplify]: Simplifying (* (sqrt (/ b a)) (/ b a)) 6.637 * * [simplify]: iters left: 5 (5 enodes) 6.639 * * [simplify]: iters left: 4 (18 enodes) 6.644 * * [simplify]: iters left: 3 (24 enodes) 6.651 * * [simplify]: iters left: 2 (28 enodes) 6.658 * * [simplify]: iters left: 1 (32 enodes) 6.667 * * [simplify]: Extracting #0: cost 1 inf + 0 6.667 * * [simplify]: Extracting #1: cost 10 inf + 0 6.667 * * [simplify]: Extracting #2: cost 14 inf + 2 6.668 * * [simplify]: Extracting #3: cost 3 inf + 944 6.668 * * [simplify]: Extracting #4: cost 0 inf + 1310 6.669 * [simplify]: Simplified to (* (/ b a) (sqrt (/ b a))) 6.669 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (/ b a) (sqrt (/ b a)))))))) 6.669 * * * * [progress]: [ 72 / 92 ] simplifiying candidate # 6.669 * [simplify]: Simplifying (* (/ (cbrt b) (cbrt a)) (/ b a)) 6.670 * * [simplify]: iters left: 5 (7 enodes) 6.673 * * [simplify]: iters left: 4 (26 enodes) 6.681 * * [simplify]: iters left: 3 (41 enodes) 6.692 * * [simplify]: iters left: 2 (62 enodes) 6.711 * * [simplify]: iters left: 1 (90 enodes) 6.736 * * [simplify]: Extracting #0: cost 1 inf + 0 6.736 * * [simplify]: Extracting #1: cost 24 inf + 0 6.736 * * [simplify]: Extracting #2: cost 30 inf + 1016 6.738 * * [simplify]: Extracting #3: cost 5 inf + 5222 6.739 * * [simplify]: Extracting #4: cost 0 inf + 6192 6.741 * [simplify]: Simplified to (/ (/ (cbrt b) (/ a b)) (cbrt a)) 6.741 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) (/ (/ (cbrt b) (/ a b)) (cbrt a))))))) 6.741 * * * * [progress]: [ 73 / 92 ] simplifiying candidate # 6.742 * [simplify]: Simplifying (* (/ (cbrt b) (sqrt a)) (/ b a)) 6.742 * * [simplify]: iters left: 5 (7 enodes) 6.746 * * [simplify]: iters left: 4 (26 enodes) 6.754 * * [simplify]: iters left: 3 (41 enodes) 6.766 * * [simplify]: iters left: 2 (62 enodes) 6.784 * * [simplify]: iters left: 1 (90 enodes) 6.807 * * [simplify]: Extracting #0: cost 1 inf + 0 6.808 * * [simplify]: Extracting #1: cost 24 inf + 0 6.808 * * [simplify]: Extracting #2: cost 30 inf + 856 6.809 * * [simplify]: Extracting #3: cost 5 inf + 4342 6.811 * * [simplify]: Extracting #4: cost 0 inf + 5192 6.813 * [simplify]: Simplified to (/ (/ (cbrt b) (/ a b)) (sqrt a)) 6.813 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ (* (cbrt b) (cbrt b)) (sqrt a)) (/ (/ (cbrt b) (/ a b)) (sqrt a))))))) 6.813 * * * * [progress]: [ 74 / 92 ] simplifiying candidate # 6.813 * [simplify]: Simplifying (* (/ (cbrt b) a) (/ b a)) 6.813 * * [simplify]: iters left: 5 (6 enodes) 6.816 * * [simplify]: iters left: 4 (23 enodes) 6.823 * * [simplify]: iters left: 3 (35 enodes) 6.833 * * [simplify]: iters left: 2 (49 enodes) 6.843 * * [simplify]: iters left: 1 (62 enodes) 6.850 * * [simplify]: Extracting #0: cost 1 inf + 0 6.850 * * [simplify]: Extracting #1: cost 15 inf + 0 6.850 * * [simplify]: Extracting #2: cost 23 inf + 43 6.851 * * [simplify]: Extracting #3: cost 10 inf + 1267 6.851 * * [simplify]: Extracting #4: cost 2 inf + 2400 6.852 * * [simplify]: Extracting #5: cost 0 inf + 2684 6.852 * [simplify]: Simplified to (/ (cbrt b) (/ (* a a) b)) 6.852 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ (* (cbrt b) (cbrt b)) 1) (/ (cbrt b) (/ (* a a) b))))))) 6.852 * * * * [progress]: [ 75 / 92 ] simplifiying candidate # 6.852 * [simplify]: Simplifying (* (/ (sqrt b) (cbrt a)) (/ b a)) 6.852 * * [simplify]: iters left: 5 (7 enodes) 6.854 * * [simplify]: iters left: 4 (26 enodes) 6.858 * * [simplify]: iters left: 3 (41 enodes) 6.864 * * [simplify]: iters left: 2 (62 enodes) 6.872 * * [simplify]: iters left: 1 (90 enodes) 6.884 * * [simplify]: Extracting #0: cost 1 inf + 0 6.884 * * [simplify]: Extracting #1: cost 24 inf + 0 6.884 * * [simplify]: Extracting #2: cost 30 inf + 856 6.884 * * [simplify]: Extracting #3: cost 5 inf + 4422 6.885 * * [simplify]: Extracting #4: cost 0 inf + 5192 6.886 * [simplify]: Simplified to (/ (/ (sqrt b) (/ a b)) (cbrt a)) 6.886 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ (sqrt b) (* (cbrt a) (cbrt a))) (/ (/ (sqrt b) (/ a b)) (cbrt a))))))) 6.886 * * * * [progress]: [ 76 / 92 ] simplifiying candidate # 6.887 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (/ b a)) 6.887 * * [simplify]: iters left: 5 (7 enodes) 6.888 * * [simplify]: iters left: 4 (26 enodes) 6.896 * * [simplify]: iters left: 3 (41 enodes) 6.907 * * [simplify]: iters left: 2 (62 enodes) 6.925 * * [simplify]: iters left: 1 (90 enodes) 6.947 * * [simplify]: Extracting #0: cost 1 inf + 0 6.947 * * [simplify]: Extracting #1: cost 24 inf + 0 6.947 * * [simplify]: Extracting #2: cost 30 inf + 696 6.949 * * [simplify]: Extracting #3: cost 5 inf + 3542 6.951 * * [simplify]: Extracting #4: cost 0 inf + 4192 6.952 * [simplify]: Simplified to (/ (/ (sqrt b) (/ a b)) (sqrt a)) 6.952 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ (sqrt b) (sqrt a)) (/ (/ (sqrt b) (/ a b)) (sqrt a))))))) 6.953 * * * * [progress]: [ 77 / 92 ] simplifiying candidate # 6.953 * [simplify]: Simplifying (* (/ (sqrt b) a) (/ b a)) 6.953 * * [simplify]: iters left: 5 (6 enodes) 6.956 * * [simplify]: iters left: 4 (23 enodes) 6.962 * * [simplify]: iters left: 3 (35 enodes) 6.971 * * [simplify]: iters left: 2 (49 enodes) 6.979 * * [simplify]: iters left: 1 (62 enodes) 6.986 * * [simplify]: Extracting #0: cost 1 inf + 0 6.986 * * [simplify]: Extracting #1: cost 15 inf + 0 6.986 * * [simplify]: Extracting #2: cost 23 inf + 43 6.987 * * [simplify]: Extracting #3: cost 10 inf + 1027 6.987 * * [simplify]: Extracting #4: cost 2 inf + 1840 6.987 * * [simplify]: Extracting #5: cost 0 inf + 2044 6.988 * [simplify]: Simplified to (/ (sqrt b) (/ (* a a) b)) 6.988 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ (sqrt b) 1) (/ (sqrt b) (/ (* a a) b))))))) 6.988 * * * * [progress]: [ 78 / 92 ] simplifiying candidate # 6.988 * [simplify]: Simplifying (* (/ b (cbrt a)) (/ b a)) 6.988 * * [simplify]: iters left: 5 (6 enodes) 6.990 * * [simplify]: iters left: 4 (23 enodes) 6.993 * * [simplify]: iters left: 3 (38 enodes) 6.998 * * [simplify]: iters left: 2 (56 enodes) 7.006 * * [simplify]: iters left: 1 (74 enodes) 7.022 * * [simplify]: Extracting #0: cost 1 inf + 0 7.022 * * [simplify]: Extracting #1: cost 15 inf + 0 7.022 * * [simplify]: Extracting #2: cost 22 inf + 85 7.022 * * [simplify]: Extracting #3: cost 6 inf + 1832 7.023 * * [simplify]: Extracting #4: cost 0 inf + 2684 7.024 * [simplify]: Simplified to (* b (/ b (* (cbrt a) a))) 7.024 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ 1 (* (cbrt a) (cbrt a))) (* b (/ b (* (cbrt a) a)))))))) 7.025 * * * * [progress]: [ 79 / 92 ] simplifiying candidate # 7.025 * [simplify]: Simplifying (* (/ b (sqrt a)) (/ b a)) 7.025 * * [simplify]: iters left: 5 (6 enodes) 7.028 * * [simplify]: iters left: 4 (23 enodes) 7.035 * * [simplify]: iters left: 3 (38 enodes) 7.045 * * [simplify]: iters left: 2 (56 enodes) 7.059 * * [simplify]: iters left: 1 (74 enodes) 7.069 * * [simplify]: Extracting #0: cost 1 inf + 0 7.070 * * [simplify]: Extracting #1: cost 15 inf + 0 7.070 * * [simplify]: Extracting #2: cost 22 inf + 85 7.070 * * [simplify]: Extracting #3: cost 6 inf + 1392 7.071 * * [simplify]: Extracting #4: cost 0 inf + 2044 7.071 * [simplify]: Simplified to (* b (/ b (* (sqrt a) a))) 7.072 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* b (/ b (* (sqrt a) a)))))))) 7.072 * * * * [progress]: [ 80 / 92 ] simplifiying candidate # 7.072 * [simplify]: Simplifying (* (/ b a) (/ b a)) 7.072 * * [simplify]: iters left: 4 (4 enodes) 7.073 * * [simplify]: iters left: 3 (16 enodes) 7.075 * * [simplify]: iters left: 2 (24 enodes) 7.079 * * [simplify]: iters left: 1 (36 enodes) 7.086 * * [simplify]: Extracting #0: cost 1 inf + 0 7.086 * * [simplify]: Extracting #1: cost 11 inf + 0 7.087 * * [simplify]: Extracting #2: cost 10 inf + 332 7.087 * * [simplify]: Extracting #3: cost 2 inf + 826 7.088 * * [simplify]: Extracting #4: cost 0 inf + 990 7.088 * [simplify]: Simplified to (* (/ b a) (/ b a)) 7.088 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ 1 1) (* (/ b a) (/ b a))))))) 7.088 * * * * [progress]: [ 81 / 92 ] simplifiying candidate # 7.089 * [simplify]: Simplifying (* (/ b a) (/ b a)) 7.089 * * [simplify]: iters left: 4 (4 enodes) 7.091 * * [simplify]: iters left: 3 (16 enodes) 7.095 * * [simplify]: iters left: 2 (24 enodes) 7.102 * * [simplify]: iters left: 1 (36 enodes) 7.112 * * [simplify]: Extracting #0: cost 1 inf + 0 7.113 * * [simplify]: Extracting #1: cost 11 inf + 0 7.113 * * [simplify]: Extracting #2: cost 10 inf + 332 7.113 * * [simplify]: Extracting #3: cost 2 inf + 826 7.114 * * [simplify]: Extracting #4: cost 0 inf + 990 7.114 * [simplify]: Simplified to (* (/ b a) (/ b a)) 7.114 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) 7.114 * * * * [progress]: [ 82 / 92 ] simplifiying candidate # 7.115 * [simplify]: Simplifying (* (/ 1 a) (/ b a)) 7.115 * * [simplify]: iters left: 4 (6 enodes) 7.118 * * [simplify]: iters left: 3 (25 enodes) 7.127 * * [simplify]: iters left: 2 (37 enodes) 7.140 * * [simplify]: iters left: 1 (69 enodes) 7.165 * * [simplify]: Extracting #0: cost 1 inf + 0 7.165 * * [simplify]: Extracting #1: cost 14 inf + 0 7.165 * * [simplify]: Extracting #2: cost 18 inf + 3 7.166 * * [simplify]: Extracting #3: cost 2 inf + 1074 7.166 * * [simplify]: Extracting #4: cost 0 inf + 1239 7.167 * [simplify]: Simplified to (/ (/ b a) a) 7.167 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* b (/ (/ b a) a)))))) 7.167 * * * * [progress]: [ 83 / 92 ] simplifiying candidate # 7.168 * [simplify]: Simplifying (* (/ b a) b) 7.168 * * [simplify]: iters left: 4 (4 enodes) 7.169 * * [simplify]: iters left: 3 (15 enodes) 7.173 * * [simplify]: iters left: 2 (19 enodes) 7.175 * * [simplify]: iters left: 1 (21 enodes) 7.178 * * [simplify]: Extracting #0: cost 1 inf + 0 7.178 * * [simplify]: Extracting #1: cost 7 inf + 0 7.178 * * [simplify]: Extracting #2: cost 8 inf + 2 7.178 * * [simplify]: Extracting #3: cost 1 inf + 374 7.178 * * [simplify]: Extracting #4: cost 0 inf + 416 7.178 * [simplify]: Simplified to (* b (/ b a)) 7.179 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) 7.179 * * * * [progress]: [ 84 / 92 ] simplifiying candidate # 7.179 * [simplify]: Simplifying (* b (/ b a)) 7.179 * * [simplify]: iters left: 4 (4 enodes) 7.180 * * [simplify]: iters left: 3 (15 enodes) 7.182 * * [simplify]: iters left: 2 (19 enodes) 7.184 * * [simplify]: iters left: 1 (21 enodes) 7.187 * * [simplify]: Extracting #0: cost 1 inf + 0 7.187 * * [simplify]: Extracting #1: cost 7 inf + 0 7.187 * * [simplify]: Extracting #2: cost 8 inf + 2 7.188 * * [simplify]: Extracting #3: cost 1 inf + 374 7.188 * * [simplify]: Extracting #4: cost 0 inf + 416 7.188 * [simplify]: Simplified to (* b (/ b a)) 7.188 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) 7.189 * * * * [progress]: [ 85 / 92 ] simplifiying candidate #real (real->posit16 (* (/ b a) (/ b a))))))))> 7.189 * [simplify]: Simplifying (real->posit16 (* (/ b a) (/ b a))) 7.189 * * [simplify]: iters left: 5 (5 enodes) 7.190 * * [simplify]: iters left: 4 (16 enodes) 7.192 * * [simplify]: iters left: 3 (24 enodes) 7.196 * * [simplify]: iters left: 2 (36 enodes) 7.201 * * [simplify]: iters left: 1 (43 enodes) 7.208 * * [simplify]: Extracting #0: cost 1 inf + 0 7.208 * * [simplify]: Extracting #1: cost 2 inf + 0 7.208 * * [simplify]: Extracting #2: cost 11 inf + 0 7.208 * * [simplify]: Extracting #3: cost 11 inf + 250 7.208 * * [simplify]: Extracting #4: cost 3 inf + 744 7.209 * * [simplify]: Extracting #5: cost 0 inf + 990 7.210 * [simplify]: Simplified to (real->posit16 (* (/ b a) (/ b a))) 7.210 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (posit16->real (real->posit16 (* (/ b a) (/ b a)))))))) 7.210 * * * * [progress]: [ 86 / 92 ] simplifiying candidate # 7.210 * * * * [progress]: [ 87 / 92 ] simplifiying candidate # 7.210 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 7.210 * * [simplify]: iters left: 6 (10 enodes) 7.216 * * [simplify]: iters left: 5 (41 enodes) 7.229 * * [simplify]: iters left: 4 (54 enodes) 7.245 * * [simplify]: iters left: 3 (82 enodes) 7.270 * * [simplify]: iters left: 2 (118 enodes) 7.301 * * [simplify]: iters left: 1 (133 enodes) 7.319 * * [simplify]: Extracting #0: cost 1 inf + 0 7.320 * * [simplify]: Extracting #1: cost 3 inf + 0 7.320 * * [simplify]: Extracting #2: cost 5 inf + 0 7.320 * * [simplify]: Extracting #3: cost 11 inf + 0 7.320 * * [simplify]: Extracting #4: cost 28 inf + 1 7.320 * * [simplify]: Extracting #5: cost 36 inf + 168 7.320 * * [simplify]: Extracting #6: cost 16 inf + 2168 7.321 * * [simplify]: Extracting #7: cost 1 inf + 3598 7.322 * * [simplify]: Extracting #8: cost 0 inf + 3640 7.323 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 7.323 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 7.323 * * * * [progress]: [ 88 / 92 ] simplifiying candidate # 7.323 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 7.323 * * [simplify]: iters left: 6 (10 enodes) 7.326 * * [simplify]: iters left: 5 (41 enodes) 7.333 * * [simplify]: iters left: 4 (54 enodes) 7.346 * * [simplify]: iters left: 3 (82 enodes) 7.371 * * [simplify]: iters left: 2 (118 enodes) 7.388 * * [simplify]: iters left: 1 (133 enodes) 7.411 * * [simplify]: Extracting #0: cost 1 inf + 0 7.411 * * [simplify]: Extracting #1: cost 3 inf + 0 7.411 * * [simplify]: Extracting #2: cost 5 inf + 0 7.411 * * [simplify]: Extracting #3: cost 11 inf + 0 7.411 * * [simplify]: Extracting #4: cost 28 inf + 1 7.411 * * [simplify]: Extracting #5: cost 36 inf + 168 7.412 * * [simplify]: Extracting #6: cost 16 inf + 2168 7.414 * * [simplify]: Extracting #7: cost 1 inf + 3598 7.415 * * [simplify]: Extracting #8: cost 0 inf + 3640 7.417 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 7.417 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 7.417 * * * * [progress]: [ 89 / 92 ] simplifiying candidate # 7.418 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 7.418 * * [simplify]: iters left: 6 (10 enodes) 7.422 * * [simplify]: iters left: 5 (41 enodes) 7.429 * * [simplify]: iters left: 4 (54 enodes) 7.437 * * [simplify]: iters left: 3 (82 enodes) 7.450 * * [simplify]: iters left: 2 (118 enodes) 7.480 * * [simplify]: iters left: 1 (133 enodes) 7.508 * * [simplify]: Extracting #0: cost 1 inf + 0 7.508 * * [simplify]: Extracting #1: cost 3 inf + 0 7.508 * * [simplify]: Extracting #2: cost 5 inf + 0 7.508 * * [simplify]: Extracting #3: cost 11 inf + 0 7.508 * * [simplify]: Extracting #4: cost 28 inf + 1 7.508 * * [simplify]: Extracting #5: cost 36 inf + 168 7.508 * * [simplify]: Extracting #6: cost 16 inf + 2168 7.509 * * [simplify]: Extracting #7: cost 1 inf + 3598 7.510 * * [simplify]: Extracting #8: cost 0 inf + 3640 7.511 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 7.511 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 7.511 * * * * [progress]: [ 90 / 92 ] simplifiying candidate # 7.511 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 7.511 * * [simplify]: iters left: 3 (6 enodes) 7.515 * * [simplify]: iters left: 2 (26 enodes) 7.519 * * [simplify]: iters left: 1 (36 enodes) 7.524 * * [simplify]: Extracting #0: cost 1 inf + 0 7.524 * * [simplify]: Extracting #1: cost 12 inf + 0 7.524 * * [simplify]: Extracting #2: cost 11 inf + 372 7.525 * * [simplify]: Extracting #3: cost 1 inf + 949 7.525 * * [simplify]: Extracting #4: cost 0 inf + 1031 7.525 * [simplify]: Simplified to (* (/ b a) (/ b a)) 7.525 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 7.525 * * * * [progress]: [ 91 / 92 ] simplifiying candidate # 7.525 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 7.526 * * [simplify]: iters left: 3 (6 enodes) 7.528 * * [simplify]: iters left: 2 (26 enodes) 7.536 * * [simplify]: iters left: 1 (36 enodes) 7.548 * * [simplify]: Extracting #0: cost 1 inf + 0 7.548 * * [simplify]: Extracting #1: cost 12 inf + 0 7.548 * * [simplify]: Extracting #2: cost 11 inf + 372 7.549 * * [simplify]: Extracting #3: cost 1 inf + 949 7.549 * * [simplify]: Extracting #4: cost 0 inf + 1031 7.550 * [simplify]: Simplified to (* (/ b a) (/ b a)) 7.550 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 7.550 * * * * [progress]: [ 92 / 92 ] simplifiying candidate # 7.551 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 7.551 * * [simplify]: iters left: 3 (6 enodes) 7.554 * * [simplify]: iters left: 2 (26 enodes) 7.563 * * [simplify]: iters left: 1 (36 enodes) 7.573 * * [simplify]: Extracting #0: cost 1 inf + 0 7.573 * * [simplify]: Extracting #1: cost 12 inf + 0 7.574 * * [simplify]: Extracting #2: cost 11 inf + 372 7.574 * * [simplify]: Extracting #3: cost 1 inf + 949 7.575 * * [simplify]: Extracting #4: cost 0 inf + 1031 7.575 * [simplify]: Simplified to (* (/ b a) (/ b a)) 7.575 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 7.575 * * * [progress]: adding candidates to table 8.352 * [progress]: [Phase 3 of 3] Extracting. 8.357 * [simplify]: Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 8.357 * * [simplify]: iters left: 6 (8 enodes) 8.358 * * [simplify]: iters left: 5 (10 enodes) 8.359 * * [simplify]: Extracting #0: cost 1 inf + 0 8.359 * * [simplify]: Extracting #1: cost 2 inf + 0 8.359 * * [simplify]: Extracting #2: cost 3 inf + 0 8.359 * * [simplify]: Extracting #3: cost 5 inf + 0 8.359 * * [simplify]: Extracting #4: cost 5 inf + 1 8.359 * * [simplify]: Extracting #5: cost 7 inf + 1 8.359 * * [simplify]: Extracting #6: cost 0 inf + 616 8.359 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 10.374 * [regime-testing]: Baseline error score: 7.387406524210675 10.379 * [regime-testing]: Oracle error score: 7.387406524210675 10.379 * [regime-testing]: End program error score: 7.387406524210675