0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.045 * * * [progress]: [2/2] Setting up program. 0.050 * [progress]: [Phase 2 of 3] Improving. 0.050 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.050 * [simplify]: Simplifying (sqrt (fabs (/ (- (* a a) (* b b)) (* a a)))) 0.050 * * [simplify]: iters left: 6 (8 enodes) 0.052 * * [simplify]: iters left: 5 (34 enodes) 0.057 * * [simplify]: iters left: 4 (69 enodes) 0.074 * * [simplify]: iters left: 3 (129 enodes) 0.109 * * [simplify]: iters left: 2 (224 enodes) 0.186 * * [simplify]: iters left: 1 (390 enodes) 0.298 * * [simplify]: Extracting #0: cost 1 inf + 0 0.298 * * [simplify]: Extracting #1: cost 3 inf + 0 0.298 * * [simplify]: Extracting #2: cost 5 inf + 0 0.298 * * [simplify]: Extracting #3: cost 29 inf + 0 0.298 * * [simplify]: Extracting #4: cost 84 inf + 43 0.299 * * [simplify]: Extracting #5: cost 88 inf + 5542 0.303 * * [simplify]: Extracting #6: cost 7 inf + 13905 0.307 * * [simplify]: Extracting #7: cost 0 inf + 14802 0.311 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 0.311 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.317 * * [progress]: iteration 1 / 4 0.317 * * * [progress]: picking best candidate 0.319 * * * * [pick]: Picked # 0.319 * * * [progress]: localizing error 0.331 * * * [progress]: generating rewritten candidates 0.331 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.332 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2) 0.350 * * * [progress]: generating series expansions 0.350 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.350 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.350 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in (b a) around 0 0.350 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 0.350 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 0.351 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 0.351 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.351 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.351 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 0.351 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 0.352 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 0.352 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.352 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.352 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in b 0.352 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in b 0.352 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 0.353 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.353 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.353 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) in a 0.353 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow b 2) (pow a 2)))) in a 0.353 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow b 2) (pow a 2)))) into (fabs (- 1 (/ (pow b 2) (pow a 2)))) 0.353 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.354 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.354 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.354 * [taylor]: Taking taylor expansion of 0 in a 0.354 * [backup-simplify]: Simplify 0 into 0 0.354 * [backup-simplify]: Simplify 0 into 0 0.354 * [backup-simplify]: Simplify 0 into 0 0.355 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.355 * [taylor]: Taking taylor expansion of 0 in a 0.355 * [backup-simplify]: Simplify 0 into 0 0.355 * [backup-simplify]: Simplify 0 into 0 0.355 * [backup-simplify]: Simplify 0 into 0 0.356 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.356 * [backup-simplify]: Simplify 0 into 0 0.357 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))))) into 0 0.357 * [taylor]: Taking taylor expansion of 0 in a 0.357 * [backup-simplify]: Simplify 0 into 0 0.357 * [backup-simplify]: Simplify 0 into 0 0.358 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) into (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 0.358 * [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.358 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 0.358 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 0.358 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 0.358 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.358 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.359 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.359 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 0.359 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 0.359 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.359 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.359 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.359 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 0.359 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 0.360 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.360 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.360 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.360 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 0.360 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 0.360 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.360 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.361 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.361 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.361 * [taylor]: Taking taylor expansion of 0 in a 0.361 * [backup-simplify]: Simplify 0 into 0 0.361 * [backup-simplify]: Simplify 0 into 0 0.361 * [backup-simplify]: Simplify 0 into 0 0.362 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.362 * [taylor]: Taking taylor expansion of 0 in a 0.362 * [backup-simplify]: Simplify 0 into 0 0.362 * [backup-simplify]: Simplify 0 into 0 0.362 * [backup-simplify]: Simplify 0 into 0 0.363 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.363 * [backup-simplify]: Simplify 0 into 0 0.364 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.364 * [taylor]: Taking taylor expansion of 0 in a 0.364 * [backup-simplify]: Simplify 0 into 0 0.364 * [backup-simplify]: Simplify 0 into 0 0.364 * [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.365 * [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.365 * [approximate]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in (b a) around 0 0.365 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 0.365 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 0.365 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.365 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.366 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.366 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 0.366 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 0.366 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.366 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.366 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.366 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in b 0.366 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in b 0.367 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.367 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.367 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.367 * [taylor]: Taking taylor expansion of (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) in a 0.367 * [taylor]: Taking taylor expansion of (fabs (- 1 (/ (pow a 2) (pow b 2)))) in a 0.367 * [backup-simplify]: Simplify (fabs (- 1 (/ (pow a 2) (pow b 2)))) into (fabs (- 1 (/ (pow a 2) (pow b 2)))) 0.372 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.373 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.373 * [backup-simplify]: Simplify (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) into (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))) 0.373 * [taylor]: Taking taylor expansion of 0 in a 0.373 * [backup-simplify]: Simplify 0 into 0 0.373 * [backup-simplify]: Simplify 0 into 0 0.373 * [backup-simplify]: Simplify 0 into 0 0.374 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.374 * [taylor]: Taking taylor expansion of 0 in a 0.374 * [backup-simplify]: Simplify 0 into 0 0.374 * [backup-simplify]: Simplify 0 into 0 0.374 * [backup-simplify]: Simplify 0 into 0 0.374 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.374 * [backup-simplify]: Simplify 0 into 0 0.375 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fabs (- 1 (/ (pow a 2) (pow b 2))))))) into 0 0.375 * [taylor]: Taking taylor expansion of 0 in a 0.375 * [backup-simplify]: Simplify 0 into 0 0.375 * [backup-simplify]: Simplify 0 into 0 0.375 * [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.376 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2) 0.376 * [backup-simplify]: Simplify (* (/ b a) (/ b a)) into (/ (pow b 2) (pow a 2)) 0.376 * [approximate]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in (b a) around 0 0.376 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in a 0.376 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.376 * [taylor]: Taking taylor expansion of b in a 0.376 * [backup-simplify]: Simplify b into b 0.376 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.376 * [taylor]: Taking taylor expansion of a in a 0.376 * [backup-simplify]: Simplify 0 into 0 0.376 * [backup-simplify]: Simplify 1 into 1 0.376 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.376 * [backup-simplify]: Simplify (* 1 1) into 1 0.376 * [backup-simplify]: Simplify (/ (pow b 2) 1) into (pow b 2) 0.376 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 0.376 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.376 * [taylor]: Taking taylor expansion of b in b 0.376 * [backup-simplify]: Simplify 0 into 0 0.376 * [backup-simplify]: Simplify 1 into 1 0.376 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.376 * [taylor]: Taking taylor expansion of a in b 0.376 * [backup-simplify]: Simplify a into a 0.377 * [backup-simplify]: Simplify (* 1 1) into 1 0.377 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.377 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 0.377 * [taylor]: Taking taylor expansion of (/ (pow b 2) (pow a 2)) in b 0.377 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.377 * [taylor]: Taking taylor expansion of b in b 0.377 * [backup-simplify]: Simplify 0 into 0 0.377 * [backup-simplify]: Simplify 1 into 1 0.377 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.377 * [taylor]: Taking taylor expansion of a in b 0.377 * [backup-simplify]: Simplify a into a 0.377 * [backup-simplify]: Simplify (* 1 1) into 1 0.377 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.377 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2)) 0.377 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.377 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.377 * [taylor]: Taking taylor expansion of a in a 0.377 * [backup-simplify]: Simplify 0 into 0 0.377 * [backup-simplify]: Simplify 1 into 1 0.378 * [backup-simplify]: Simplify (* 1 1) into 1 0.378 * [backup-simplify]: Simplify (/ 1 1) into 1 0.378 * [backup-simplify]: Simplify 1 into 1 0.378 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.378 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 0.378 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0 0.379 * [taylor]: Taking taylor expansion of 0 in a 0.379 * [backup-simplify]: Simplify 0 into 0 0.379 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.379 * [backup-simplify]: Simplify 0 into 0 0.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.380 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 0.380 * [backup-simplify]: Simplify (- (/ 0 (pow a 2)) (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0 0.380 * [taylor]: Taking taylor expansion of 0 in a 0.380 * [backup-simplify]: Simplify 0 into 0 0.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.382 * [backup-simplify]: Simplify 0 into 0 0.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.383 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 0.383 * [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.383 * [taylor]: Taking taylor expansion of 0 in a 0.383 * [backup-simplify]: Simplify 0 into 0 0.383 * [backup-simplify]: Simplify 0 into 0 0.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.385 * [backup-simplify]: Simplify 0 into 0 0.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.386 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 a))))) into 0 0.386 * [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.386 * [taylor]: Taking taylor expansion of 0 in a 0.386 * [backup-simplify]: Simplify 0 into 0 0.386 * [backup-simplify]: Simplify 0 into 0 0.386 * [backup-simplify]: Simplify 0 into 0 0.386 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) b) 2)) into (/ (pow b 2) (pow a 2)) 0.387 * [backup-simplify]: Simplify (* (/ (/ 1 b) (/ 1 a)) (/ (/ 1 b) (/ 1 a))) into (/ (pow a 2) (pow b 2)) 0.387 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 0.387 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 0.387 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.387 * [taylor]: Taking taylor expansion of a in a 0.387 * [backup-simplify]: Simplify 0 into 0 0.387 * [backup-simplify]: Simplify 1 into 1 0.387 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.387 * [taylor]: Taking taylor expansion of b in a 0.387 * [backup-simplify]: Simplify b into b 0.387 * [backup-simplify]: Simplify (* 1 1) into 1 0.387 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.387 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.387 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 0.387 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.387 * [taylor]: Taking taylor expansion of a in b 0.387 * [backup-simplify]: Simplify a into a 0.387 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.387 * [taylor]: Taking taylor expansion of b in b 0.387 * [backup-simplify]: Simplify 0 into 0 0.387 * [backup-simplify]: Simplify 1 into 1 0.387 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.387 * [backup-simplify]: Simplify (* 1 1) into 1 0.388 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 0.388 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 0.388 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.388 * [taylor]: Taking taylor expansion of a in b 0.388 * [backup-simplify]: Simplify a into a 0.388 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.388 * [taylor]: Taking taylor expansion of b in b 0.388 * [backup-simplify]: Simplify 0 into 0 0.388 * [backup-simplify]: Simplify 1 into 1 0.388 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.388 * [backup-simplify]: Simplify (* 1 1) into 1 0.388 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 0.388 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.388 * [taylor]: Taking taylor expansion of a in a 0.388 * [backup-simplify]: Simplify 0 into 0 0.388 * [backup-simplify]: Simplify 1 into 1 0.388 * [backup-simplify]: Simplify (* 1 1) into 1 0.388 * [backup-simplify]: Simplify 1 into 1 0.388 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 0.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.389 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 0.389 * [taylor]: Taking taylor expansion of 0 in a 0.389 * [backup-simplify]: Simplify 0 into 0 0.389 * [backup-simplify]: Simplify 0 into 0 0.390 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.390 * [backup-simplify]: Simplify 0 into 0 0.390 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 0.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.392 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.392 * [taylor]: Taking taylor expansion of 0 in a 0.392 * [backup-simplify]: Simplify 0 into 0 0.392 * [backup-simplify]: Simplify 0 into 0 0.392 * [backup-simplify]: Simplify 0 into 0 0.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.392 * [backup-simplify]: Simplify 0 into 0 0.393 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 0.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.395 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.395 * [taylor]: Taking taylor expansion of 0 in a 0.395 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 a) (/ 1 (/ 1 b))) 2)) into (/ (pow b 2) (pow a 2)) 0.395 * [backup-simplify]: Simplify (* (/ (/ 1 (- b)) (/ 1 (- a))) (/ (/ 1 (- b)) (/ 1 (- a)))) into (/ (pow a 2) (pow b 2)) 0.395 * [approximate]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in (b a) around 0 0.395 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in a 0.395 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.395 * [taylor]: Taking taylor expansion of a in a 0.395 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify 1 into 1 0.395 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.395 * [taylor]: Taking taylor expansion of b in a 0.395 * [backup-simplify]: Simplify b into b 0.395 * [backup-simplify]: Simplify (* 1 1) into 1 0.395 * [backup-simplify]: Simplify (* b b) into (pow b 2) 0.395 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2)) 0.395 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 0.395 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.395 * [taylor]: Taking taylor expansion of a in b 0.395 * [backup-simplify]: Simplify a into a 0.395 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.396 * [taylor]: Taking taylor expansion of b in b 0.396 * [backup-simplify]: Simplify 0 into 0 0.396 * [backup-simplify]: Simplify 1 into 1 0.396 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.396 * [backup-simplify]: Simplify (* 1 1) into 1 0.396 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 0.396 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow b 2)) in b 0.396 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.396 * [taylor]: Taking taylor expansion of a in b 0.396 * [backup-simplify]: Simplify a into a 0.396 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.396 * [taylor]: Taking taylor expansion of b in b 0.396 * [backup-simplify]: Simplify 0 into 0 0.396 * [backup-simplify]: Simplify 1 into 1 0.396 * [backup-simplify]: Simplify (* a a) into (pow a 2) 0.396 * [backup-simplify]: Simplify (* 1 1) into 1 0.396 * [backup-simplify]: Simplify (/ (pow a 2) 1) into (pow a 2) 0.396 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.396 * [taylor]: Taking taylor expansion of a in a 0.396 * [backup-simplify]: Simplify 0 into 0 0.396 * [backup-simplify]: Simplify 1 into 1 0.397 * [backup-simplify]: Simplify (* 1 1) into 1 0.397 * [backup-simplify]: Simplify 1 into 1 0.397 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0 0.397 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.398 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)))) into 0 0.398 * [taylor]: Taking taylor expansion of 0 in a 0.398 * [backup-simplify]: Simplify 0 into 0 0.398 * [backup-simplify]: Simplify 0 into 0 0.398 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.398 * [backup-simplify]: Simplify 0 into 0 0.399 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0 0.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.400 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.400 * [taylor]: Taking taylor expansion of 0 in a 0.400 * [backup-simplify]: Simplify 0 into 0 0.400 * [backup-simplify]: Simplify 0 into 0 0.400 * [backup-simplify]: Simplify 0 into 0 0.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.401 * [backup-simplify]: Simplify 0 into 0 0.402 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (+ (* 0 0) (* 0 a)))) into 0 0.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.405 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow a 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.405 * [taylor]: Taking taylor expansion of 0 in a 0.405 * [backup-simplify]: Simplify 0 into 0 0.405 * [backup-simplify]: Simplify 0 into 0 0.405 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (- a)) (/ 1 (/ 1 (- b)))) 2)) into (/ (pow b 2) (pow a 2)) 0.405 * * * [progress]: simplifying candidates 0.405 * * * * [progress]: [ 1 / 88 ] simplifiying candidate # 0.405 * * * * [progress]: [ 2 / 88 ] simplifiying candidate # 0.405 * * * * [progress]: [ 3 / 88 ] simplifiying candidate # 0.405 * * * * [progress]: [ 4 / 88 ] simplifiying candidate # 0.405 * * * * [progress]: [ 5 / 88 ] simplifiying candidate # 0.405 * * * * [progress]: [ 6 / 88 ] simplifiying candidate # 0.406 * * * * [progress]: [ 7 / 88 ] simplifiying candidate # 0.406 * [simplify]: Simplifying (sqrt (* (cbrt (fabs (- 1 (* (/ b a) (/ b a))))) (cbrt (fabs (- 1 (* (/ b a) (/ b a))))))) 0.406 * * [simplify]: iters left: 6 (10 enodes) 0.410 * * [simplify]: iters left: 5 (39 enodes) 0.416 * * [simplify]: iters left: 4 (59 enodes) 0.424 * * [simplify]: iters left: 3 (87 enodes) 0.436 * * [simplify]: iters left: 2 (111 enodes) 0.454 * * [simplify]: iters left: 1 (124 enodes) 0.473 * * [simplify]: Extracting #0: cost 1 inf + 0 0.473 * * [simplify]: Extracting #1: cost 4 inf + 0 0.473 * * [simplify]: Extracting #2: cost 7 inf + 0 0.473 * * [simplify]: Extracting #3: cost 9 inf + 0 0.473 * * [simplify]: Extracting #4: cost 13 inf + 0 0.473 * * [simplify]: Extracting #5: cost 31 inf + 1 0.473 * * [simplify]: Extracting #6: cost 41 inf + 126 0.473 * * [simplify]: Extracting #7: cost 28 inf + 989 0.474 * * [simplify]: Extracting #8: cost 5 inf + 3798 0.475 * * [simplify]: Extracting #9: cost 0 inf + 4851 0.476 * [simplify]: Simplified to (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.476 * [simplify]: Simplified (2 1) to (λ (a b) (* (fabs (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (cbrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 0.476 * * * * [progress]: [ 8 / 88 ] simplifiying candidate # 0.476 * [simplify]: Simplifying (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.477 * * [simplify]: iters left: 6 (9 enodes) 0.479 * * [simplify]: iters left: 5 (35 enodes) 0.487 * * [simplify]: iters left: 4 (55 enodes) 0.503 * * [simplify]: iters left: 3 (83 enodes) 0.518 * * [simplify]: iters left: 2 (107 enodes) 0.533 * * [simplify]: iters left: 1 (120 enodes) 0.555 * * [simplify]: Extracting #0: cost 1 inf + 0 0.555 * * [simplify]: Extracting #1: cost 3 inf + 0 0.555 * * [simplify]: Extracting #2: cost 5 inf + 0 0.555 * * [simplify]: Extracting #3: cost 7 inf + 0 0.555 * * [simplify]: Extracting #4: cost 11 inf + 0 0.555 * * [simplify]: Extracting #5: cost 29 inf + 1 0.555 * * [simplify]: Extracting #6: cost 40 inf + 44 0.556 * * [simplify]: Extracting #7: cost 23 inf + 1235 0.557 * * [simplify]: Extracting #8: cost 4 inf + 3556 0.559 * * [simplify]: Extracting #9: cost 0 inf + 4125 0.561 * [simplify]: Simplified to (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 0.561 * [simplify]: Simplified (2 1) to (λ (a b) (* (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) (sqrt (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))))) 0.561 * * * * [progress]: [ 9 / 88 ] simplifiying candidate # 0.562 * [simplify]: Simplifying (sqrt 1) 0.562 * * [simplify]: iters left: 1 (2 enodes) 0.565 * * [simplify]: Extracting #0: cost 1 inf + 0 0.565 * * [simplify]: Extracting #1: cost 0 inf + 1 0.565 * [simplify]: Simplified to 1 0.565 * [simplify]: Simplified (2 1) to (λ (a b) (* 1 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 0.565 * * * * [progress]: [ 10 / 88 ] simplifiying candidate # 0.565 * [simplify]: Simplifying (fabs (- 1 (* (/ b a) (/ b a)))) 0.565 * * [simplify]: iters left: 6 (7 enodes) 0.569 * * [simplify]: iters left: 5 (29 enodes) 0.576 * * [simplify]: iters left: 4 (49 enodes) 0.583 * * [simplify]: iters left: 3 (77 enodes) 0.594 * * [simplify]: iters left: 2 (101 enodes) 0.607 * * [simplify]: iters left: 1 (114 enodes) 0.636 * * [simplify]: Extracting #0: cost 1 inf + 0 0.636 * * [simplify]: Extracting #1: cost 3 inf + 0 0.636 * * [simplify]: Extracting #2: cost 7 inf + 0 0.637 * * [simplify]: Extracting #3: cost 25 inf + 1 0.637 * * [simplify]: Extracting #4: cost 36 inf + 44 0.638 * * [simplify]: Extracting #5: cost 12 inf + 1967 0.639 * * [simplify]: Extracting #6: cost 0 inf + 3233 0.641 * [simplify]: Simplified to (fabs (- 1 (* (/ b a) (/ b a)))) 0.641 * [simplify]: Simplified (2 1) to (λ (a b) (pow (fabs (- 1 (* (/ b a) (/ b a)))) (/ 1 2))) 0.641 * * * * [progress]: [ 11 / 88 ] simplifiying candidate # 0.641 * * * * [progress]: [ 12 / 88 ] simplifiying candidate # 0.641 * [simplify]: Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 0.641 * * [simplify]: iters left: 6 (8 enodes) 0.645 * * [simplify]: iters left: 5 (32 enodes) 0.655 * * [simplify]: iters left: 4 (52 enodes) 0.672 * * [simplify]: iters left: 3 (80 enodes) 0.695 * * [simplify]: iters left: 2 (104 enodes) 0.722 * * [simplify]: iters left: 1 (117 enodes) 0.753 * * [simplify]: Extracting #0: cost 1 inf + 0 0.753 * * [simplify]: Extracting #1: cost 3 inf + 0 0.753 * * [simplify]: Extracting #2: cost 5 inf + 0 0.754 * * [simplify]: Extracting #3: cost 9 inf + 0 0.754 * * [simplify]: Extracting #4: cost 27 inf + 1 0.754 * * [simplify]: Extracting #5: cost 36 inf + 167 0.755 * * [simplify]: Extracting #6: cost 14 inf + 2047 0.756 * * [simplify]: Extracting #7: cost 0 inf + 3639 0.758 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 0.758 * [simplify]: Simplified (2 1) to (λ (a b) (fabs (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))) 0.758 * * * * [progress]: [ 13 / 88 ] simplifiying candidate # 0.758 * * * * [progress]: [ 14 / 88 ] simplifiying candidate #real (real->posit16 (sqrt (fabs (- 1 (* (/ b a) (/ b a))))))))> 0.758 * * * * [progress]: [ 15 / 88 ] simplifiying candidate # 0.759 * [simplify]: Simplifying (/ b a) 0.759 * * [simplify]: iters left: 2 (3 enodes) 0.760 * * [simplify]: iters left: 1 (9 enodes) 0.762 * * [simplify]: Extracting #0: cost 1 inf + 0 0.762 * * [simplify]: Extracting #1: cost 4 inf + 0 0.762 * * [simplify]: Extracting #2: cost 2 inf + 2 0.762 * * [simplify]: Extracting #3: cost 0 inf + 86 0.762 * [simplify]: Simplified to (/ b a) 0.762 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) 0.763 * [simplify]: Simplifying (+ 1 1) 0.763 * * [simplify]: iters left: 2 (2 enodes) 0.765 * * [simplify]: iters left: 1 (9 enodes) 0.768 * * [simplify]: Extracting #0: cost 1 inf + 0 0.768 * * [simplify]: Extracting #1: cost 0 inf + 1 0.768 * [simplify]: Simplified to 2 0.768 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2))))) 0.768 * * * * [progress]: [ 16 / 88 ] simplifiying candidate # 0.769 * [simplify]: Simplifying (* (/ b a) (/ b a)) 0.769 * * [simplify]: iters left: 4 (4 enodes) 0.771 * * [simplify]: iters left: 3 (16 enodes) 0.775 * * [simplify]: iters left: 2 (24 enodes) 0.781 * * [simplify]: iters left: 1 (36 enodes) 0.786 * * [simplify]: Extracting #0: cost 1 inf + 0 0.786 * * [simplify]: Extracting #1: cost 11 inf + 0 0.786 * * [simplify]: Extracting #2: cost 10 inf + 332 0.786 * * [simplify]: Extracting #3: cost 2 inf + 826 0.787 * * [simplify]: Extracting #4: cost 0 inf + 990 0.787 * [simplify]: Simplified to (* (/ b a) (/ b a)) 0.787 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (* (/ b a) (/ b a)) 1))))) 0.787 * * * * [progress]: [ 17 / 88 ] simplifiying candidate # 0.787 * * * * [progress]: [ 18 / 88 ] simplifiying candidate # 0.787 * [simplify]: Simplifying (/ b a) 0.787 * * [simplify]: iters left: 2 (3 enodes) 0.788 * * [simplify]: iters left: 1 (9 enodes) 0.789 * * [simplify]: Extracting #0: cost 1 inf + 0 0.789 * * [simplify]: Extracting #1: cost 4 inf + 0 0.789 * * [simplify]: Extracting #2: cost 2 inf + 2 0.789 * * [simplify]: Extracting #3: cost 0 inf + 86 0.790 * [simplify]: Simplified to (/ b a) 0.790 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (+ 1 1)))))) 0.790 * * * * [progress]: [ 19 / 88 ] simplifiying candidate # 0.790 * * * * [progress]: [ 20 / 88 ] simplifiying candidate # 0.790 * [simplify]: Simplifying (+ (- (log b) (log a)) (- (log b) (log a))) 0.790 * * [simplify]: iters left: 5 (6 enodes) 0.791 * * [simplify]: iters left: 4 (24 enodes) 0.796 * * [simplify]: iters left: 3 (43 enodes) 0.803 * * [simplify]: iters left: 2 (78 enodes) 0.815 * * [simplify]: iters left: 1 (109 enodes) 0.829 * * [simplify]: Extracting #0: cost 1 inf + 0 0.829 * * [simplify]: Extracting #1: cost 17 inf + 0 0.829 * * [simplify]: Extracting #2: cost 31 inf + 0 0.829 * * [simplify]: Extracting #3: cost 26 inf + 215 0.830 * * [simplify]: Extracting #4: cost 13 inf + 2093 0.831 * * [simplify]: Extracting #5: cost 0 inf + 4646 0.831 * [simplify]: Simplified to (+ (- (log b) (log a)) (- (log b) (log a))) 0.832 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (- (log b) (log a)) (- (log b) (log a)))))))) 0.832 * * * * [progress]: [ 21 / 88 ] simplifiying candidate # 0.832 * [simplify]: Simplifying (+ (- (log b) (log a)) (log (/ b a))) 0.832 * * [simplify]: iters left: 5 (8 enodes) 0.833 * * [simplify]: iters left: 4 (27 enodes) 0.837 * * [simplify]: iters left: 3 (47 enodes) 0.845 * * [simplify]: iters left: 2 (84 enodes) 0.856 * * [simplify]: iters left: 1 (113 enodes) 0.870 * * [simplify]: Extracting #0: cost 1 inf + 0 0.870 * * [simplify]: Extracting #1: cost 13 inf + 0 0.870 * * [simplify]: Extracting #2: cost 29 inf + 0 0.870 * * [simplify]: Extracting #3: cost 25 inf + 439 0.871 * * [simplify]: Extracting #4: cost 2 inf + 3753 0.872 * * [simplify]: Extracting #5: cost 0 inf + 4067 0.873 * [simplify]: Simplified to (+ (log (/ b a)) (log (/ b a))) 0.873 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) 0.873 * * * * [progress]: [ 22 / 88 ] simplifiying candidate # 0.873 * [simplify]: Simplifying (+ (log (/ b a)) (- (log b) (log a))) 0.873 * * [simplify]: iters left: 5 (8 enodes) 0.875 * * [simplify]: iters left: 4 (27 enodes) 0.878 * * [simplify]: iters left: 3 (40 enodes) 0.884 * * [simplify]: iters left: 2 (67 enodes) 0.895 * * [simplify]: iters left: 1 (115 enodes) 0.923 * * [simplify]: Extracting #0: cost 1 inf + 0 0.923 * * [simplify]: Extracting #1: cost 15 inf + 0 0.924 * * [simplify]: Extracting #2: cost 32 inf + 0 0.924 * * [simplify]: Extracting #3: cost 26 inf + 477 0.925 * * [simplify]: Extracting #4: cost 6 inf + 3197 0.927 * * [simplify]: Extracting #5: cost 0 inf + 4279 0.928 * [simplify]: Simplified to (+ (log (/ b a)) (log (/ b a))) 0.929 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) 0.929 * * * * [progress]: [ 23 / 88 ] simplifiying candidate # 0.929 * [simplify]: Simplifying (+ (log (/ b a)) (log (/ b a))) 0.929 * * [simplify]: iters left: 5 (5 enodes) 0.930 * * [simplify]: iters left: 4 (18 enodes) 0.933 * * [simplify]: iters left: 3 (28 enodes) 0.936 * * [simplify]: iters left: 2 (48 enodes) 0.944 * * [simplify]: iters left: 1 (82 enodes) 0.956 * * [simplify]: Extracting #0: cost 1 inf + 0 0.956 * * [simplify]: Extracting #1: cost 13 inf + 0 0.956 * * [simplify]: Extracting #2: cost 30 inf + 0 0.957 * * [simplify]: Extracting #3: cost 29 inf + 73 0.957 * * [simplify]: Extracting #4: cost 6 inf + 3238 0.959 * * [simplify]: Extracting #5: cost 0 inf + 4137 0.960 * [simplify]: Simplified to (+ (log (/ b a)) (log (/ b a))) 0.961 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (exp (+ (log (/ b a)) (log (/ b a)))))))) 0.961 * * * * [progress]: [ 24 / 88 ] simplifiying candidate # 0.961 * * * * [progress]: [ 25 / 88 ] simplifiying candidate # 0.961 * * * * [progress]: [ 26 / 88 ] simplifiying candidate # 0.961 * [simplify]: Simplifying (* (/ (* (* b b) b) (* (* a a) a)) (/ (* (* b b) b) (* (* a a) a))) 0.961 * * [simplify]: iters left: 6 (8 enodes) 0.965 * * [simplify]: iters left: 5 (37 enodes) 0.980 * * [simplify]: iters left: 4 (127 enodes) 1.087 * * [simplify]: Extracting #0: cost 1 inf + 0 1.087 * * [simplify]: Extracting #1: cost 75 inf + 0 1.088 * * [simplify]: Extracting #2: cost 179 inf + 328 1.093 * * [simplify]: Extracting #3: cost 99 inf + 13720 1.109 * * [simplify]: Extracting #4: cost 3 inf + 32077 1.126 * * [simplify]: Extracting #5: cost 0 inf + 31213 1.143 * * [simplify]: Extracting #6: cost 0 inf + 31173 1.159 * [simplify]: Simplified to (* (* (* (/ b a) (/ b a)) (* (/ b a) (/ b a))) (* (/ b a) (/ b a))) 1.159 * [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)))))))) 1.159 * * * * [progress]: [ 27 / 88 ] simplifiying candidate # 1.159 * [simplify]: Simplifying (* (/ (* (* b b) b) (* (* a a) a)) (* (* (/ b a) (/ b a)) (/ b a))) 1.159 * * [simplify]: iters left: 6 (11 enodes) 1.165 * * [simplify]: iters left: 5 (53 enodes) 1.190 * * [simplify]: iters left: 4 (157 enodes) 1.281 * * [simplify]: Extracting #0: cost 1 inf + 0 1.281 * * [simplify]: Extracting #1: cost 54 inf + 0 1.282 * * [simplify]: Extracting #2: cost 159 inf + 733 1.286 * * [simplify]: Extracting #3: cost 72 inf + 16503 1.293 * * [simplify]: Extracting #4: cost 0 inf + 28392 1.302 * * [simplify]: Extracting #5: cost 0 inf + 27072 1.317 * [simplify]: Simplified to (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a)))) 1.318 * [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))))))))) 1.318 * * * * [progress]: [ 28 / 88 ] simplifiying candidate # 1.318 * [simplify]: Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (/ (* (* b b) b) (* (* a a) a))) 1.318 * * [simplify]: iters left: 6 (11 enodes) 1.323 * * [simplify]: iters left: 5 (53 enodes) 1.343 * * [simplify]: iters left: 4 (155 enodes) 1.456 * * [simplify]: Extracting #0: cost 1 inf + 0 1.456 * * [simplify]: Extracting #1: cost 62 inf + 0 1.457 * * [simplify]: Extracting #2: cost 161 inf + 3 1.459 * * [simplify]: Extracting #3: cost 140 inf + 2444 1.468 * * [simplify]: Extracting #4: cost 27 inf + 21479 1.479 * * [simplify]: Extracting #5: cost 0 inf + 26743 1.489 * [simplify]: Simplified to (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a)))) 1.489 * [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))))))))) 1.489 * * * * [progress]: [ 29 / 88 ] simplifiying candidate # 1.489 * [simplify]: Simplifying (* (* (* (/ b a) (/ b a)) (/ b a)) (* (* (/ b a) (/ b a)) (/ b a))) 1.489 * * [simplify]: iters left: 6 (6 enodes) 1.491 * * [simplify]: iters left: 5 (31 enodes) 1.497 * * [simplify]: iters left: 4 (95 enodes) 1.529 * * [simplify]: iters left: 3 (234 enodes) 1.714 * * [simplify]: Extracting #0: cost 1 inf + 0 1.714 * * [simplify]: Extracting #1: cost 59 inf + 0 1.715 * * [simplify]: Extracting #2: cost 157 inf + 46 1.720 * * [simplify]: Extracting #3: cost 95 inf + 9263 1.733 * * [simplify]: Extracting #4: cost 6 inf + 27012 1.747 * * [simplify]: Extracting #5: cost 0 inf + 28497 1.760 * [simplify]: Simplified to (* (* (/ b a) (* (/ b a) (/ b a))) (* (/ b a) (* (/ b a) (/ b a)))) 1.761 * [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))))))))) 1.761 * * * * [progress]: [ 30 / 88 ] simplifiying candidate # 1.761 * * * * [progress]: [ 31 / 88 ] simplifiying candidate # 1.761 * * * * [progress]: [ 32 / 88 ] simplifiying candidate # 1.761 * * * * [progress]: [ 33 / 88 ] simplifiying candidate # 1.761 * [simplify]: Simplifying (* b b) 1.761 * * [simplify]: iters left: 2 (2 enodes) 1.762 * * [simplify]: iters left: 1 (6 enodes) 1.764 * * [simplify]: Extracting #0: cost 1 inf + 0 1.764 * * [simplify]: Extracting #1: cost 3 inf + 0 1.764 * * [simplify]: Extracting #2: cost 2 inf + 1 1.764 * * [simplify]: Extracting #3: cost 0 inf + 83 1.764 * [simplify]: Simplified to (* b b) 1.764 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1.764 * [simplify]: Simplifying (* a a) 1.764 * * [simplify]: iters left: 2 (2 enodes) 1.765 * * [simplify]: iters left: 1 (6 enodes) 1.767 * * [simplify]: Extracting #0: cost 1 inf + 0 1.767 * * [simplify]: Extracting #1: cost 3 inf + 0 1.767 * * [simplify]: Extracting #2: cost 2 inf + 1 1.767 * * [simplify]: Extracting #3: cost 0 inf + 83 1.767 * [simplify]: Simplified to (* a a) 1.767 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (/ (* b b) (* a a)))))) 1.767 * * * * [progress]: [ 34 / 88 ] simplifiying candidate # 1.767 * * * * [progress]: [ 35 / 88 ] simplifiying candidate # 1.768 * [simplify]: Simplifying (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (cbrt (/ b a)))) 1.768 * * [simplify]: iters left: 6 (6 enodes) 1.771 * * [simplify]: iters left: 5 (22 enodes) 1.777 * * [simplify]: iters left: 4 (26 enodes) 1.786 * * [simplify]: iters left: 3 (37 enodes) 1.795 * * [simplify]: iters left: 2 (65 enodes) 1.809 * * [simplify]: iters left: 1 (123 enodes) 1.850 * * [simplify]: Extracting #0: cost 1 inf + 0 1.850 * * [simplify]: Extracting #1: cost 21 inf + 0 1.850 * * [simplify]: Extracting #2: cost 51 inf + 3 1.850 * * [simplify]: Extracting #3: cost 42 inf + 178 1.851 * * [simplify]: Extracting #4: cost 27 inf + 3061 1.852 * * [simplify]: Extracting #5: cost 2 inf + 14678 1.854 * * [simplify]: Extracting #6: cost 0 inf + 16017 1.855 * [simplify]: Simplified to (* (/ b a) (cbrt (/ b a))) 1.855 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (cbrt (/ b a))) (* (cbrt (/ b a)) (cbrt (/ b a)))))))) 1.856 * [simplify]: Simplifying (* (cbrt (/ b a)) (cbrt (/ b a))) 1.856 * * [simplify]: iters left: 5 (5 enodes) 1.857 * * [simplify]: iters left: 4 (15 enodes) 1.859 * * [simplify]: Extracting #0: cost 1 inf + 0 1.859 * * [simplify]: Extracting #1: cost 3 inf + 0 1.859 * * [simplify]: Extracting #2: cost 5 inf + 0 1.859 * * [simplify]: Extracting #3: cost 8 inf + 0 1.859 * * [simplify]: Extracting #4: cost 6 inf + 2 1.859 * * [simplify]: Extracting #5: cost 0 inf + 654 1.859 * [simplify]: Simplified to (* (cbrt (/ b a)) (cbrt (/ b a))) 1.859 * [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)))))))) 1.859 * * * * [progress]: [ 36 / 88 ] simplifiying candidate # 1.859 * [simplify]: Simplifying (* (sqrt (/ b a)) (sqrt (/ b a))) 1.859 * * [simplify]: iters left: 5 (5 enodes) 1.860 * * [simplify]: iters left: 4 (13 enodes) 1.862 * * [simplify]: iters left: 3 (14 enodes) 1.864 * * [simplify]: Extracting #0: cost 1 inf + 0 1.864 * * [simplify]: Extracting #1: cost 5 inf + 0 1.864 * * [simplify]: Extracting #2: cost 4 inf + 2 1.864 * * [simplify]: Extracting #3: cost 3 inf + 44 1.864 * * [simplify]: Extracting #4: cost 0 inf + 250 1.864 * [simplify]: Simplified to (/ b a) 1.864 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (* (sqrt (/ b a)) (sqrt (/ b a)))))))) 1.864 * [simplify]: Simplifying (* (sqrt (/ b a)) (sqrt (/ b a))) 1.864 * * [simplify]: iters left: 5 (5 enodes) 1.865 * * [simplify]: iters left: 4 (13 enodes) 1.869 * * [simplify]: iters left: 3 (14 enodes) 1.872 * * [simplify]: Extracting #0: cost 1 inf + 0 1.872 * * [simplify]: Extracting #1: cost 5 inf + 0 1.872 * * [simplify]: Extracting #2: cost 4 inf + 2 1.872 * * [simplify]: Extracting #3: cost 3 inf + 44 1.872 * * [simplify]: Extracting #4: cost 0 inf + 250 1.873 * [simplify]: Simplified to (/ b a) 1.873 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (sqrt (/ b a)) (sqrt (/ b a))) (/ b a)))))) 1.873 * * * * [progress]: [ 37 / 88 ] simplifiying candidate # 1.873 * [simplify]: Simplifying (* (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a)))) 1.873 * * [simplify]: iters left: 6 (8 enodes) 1.877 * * [simplify]: iters left: 5 (34 enodes) 1.885 * * [simplify]: iters left: 4 (90 enodes) 1.910 * * [simplify]: iters left: 3 (258 enodes) 2.023 * * [simplify]: iters left: 2 (477 enodes) 2.268 * * [simplify]: Extracting #0: cost 1 inf + 0 2.269 * * [simplify]: Extracting #1: cost 57 inf + 0 2.269 * * [simplify]: Extracting #2: cost 98 inf + 977 2.271 * * [simplify]: Extracting #3: cost 37 inf + 11096 2.276 * * [simplify]: Extracting #4: cost 10 inf + 16798 2.281 * * [simplify]: Extracting #5: cost 0 inf + 20916 2.286 * [simplify]: Simplified to (/ (cbrt b) (/ (* a (cbrt a)) b)) 2.286 * [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)))))))) 2.286 * [simplify]: Simplifying (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) 2.286 * * [simplify]: iters left: 5 (6 enodes) 2.288 * * [simplify]: iters left: 4 (22 enodes) 2.292 * * [simplify]: iters left: 3 (30 enodes) 2.300 * * [simplify]: iters left: 2 (42 enodes) 2.311 * * [simplify]: iters left: 1 (49 enodes) 2.323 * * [simplify]: Extracting #0: cost 1 inf + 0 2.323 * * [simplify]: Extracting #1: cost 11 inf + 0 2.323 * * [simplify]: Extracting #2: cost 22 inf + 0 2.323 * * [simplify]: Extracting #3: cost 19 inf + 83 2.323 * * [simplify]: Extracting #4: cost 12 inf + 1052 2.324 * * [simplify]: Extracting #5: cost 2 inf + 3070 2.325 * * [simplify]: Extracting #6: cost 0 inf + 3554 2.326 * [simplify]: Simplified to (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) 2.326 * [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)))))))) 2.326 * * * * [progress]: [ 38 / 88 ] simplifiying candidate # 2.327 * [simplify]: Simplifying (* (/ (* (cbrt b) (cbrt b)) (sqrt a)) (/ (* (cbrt b) (cbrt b)) (sqrt a))) 2.327 * * [simplify]: iters left: 6 (7 enodes) 2.330 * * [simplify]: iters left: 5 (27 enodes) 2.338 * * [simplify]: iters left: 4 (49 enodes) 2.357 * * [simplify]: iters left: 3 (96 enodes) 2.390 * * [simplify]: iters left: 2 (157 enodes) 2.439 * * [simplify]: iters left: 1 (181 enodes) 2.484 * * [simplify]: Extracting #0: cost 1 inf + 0 2.484 * * [simplify]: Extracting #1: cost 29 inf + 0 2.485 * * [simplify]: Extracting #2: cost 49 inf + 449 2.486 * * [simplify]: Extracting #3: cost 7 inf + 7248 2.487 * * [simplify]: Extracting #4: cost 1 inf + 8018 2.489 * * [simplify]: Extracting #5: cost 0 inf + 8310 2.491 * [simplify]: Simplified to (/ b (/ a (cbrt b))) 2.491 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b (/ a (cbrt b))) (* (/ (cbrt b) (sqrt a)) (/ (cbrt b) (sqrt a)))))))) 2.491 * [simplify]: Simplifying (* (/ (cbrt b) (sqrt a)) (/ (cbrt b) (sqrt a))) 2.491 * * [simplify]: iters left: 5 (6 enodes) 2.492 * * [simplify]: iters left: 4 (22 enodes) 2.495 * * [simplify]: iters left: 3 (30 enodes) 2.502 * * [simplify]: iters left: 2 (42 enodes) 2.513 * * [simplify]: iters left: 1 (47 enodes) 2.523 * * [simplify]: Extracting #0: cost 1 inf + 0 2.523 * * [simplify]: Extracting #1: cost 11 inf + 0 2.524 * * [simplify]: Extracting #2: cost 18 inf + 42 2.524 * * [simplify]: Extracting #3: cost 16 inf + 84 2.524 * * [simplify]: Extracting #4: cost 12 inf + 570 2.524 * * [simplify]: Extracting #5: cost 2 inf + 2068 2.525 * * [simplify]: Extracting #6: cost 0 inf + 2352 2.526 * [simplify]: Simplified to (* (/ (cbrt b) a) (cbrt b)) 2.526 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b (/ a (cbrt b))) (* (/ (cbrt b) a) (cbrt b))))))) 2.526 * * * * [progress]: [ 39 / 88 ] simplifiying candidate # 2.527 * [simplify]: Simplifying (* (/ (* (cbrt b) (cbrt b)) 1) (/ (* (cbrt b) (cbrt b)) 1)) 2.527 * * [simplify]: iters left: 6 (6 enodes) 2.530 * * [simplify]: iters left: 5 (24 enodes) 2.537 * * [simplify]: iters left: 4 (42 enodes) 2.544 * * [simplify]: iters left: 3 (58 enodes) 2.554 * * [simplify]: iters left: 2 (75 enodes) 2.566 * * [simplify]: iters left: 1 (80 enodes) 2.586 * * [simplify]: Extracting #0: cost 1 inf + 0 2.586 * * [simplify]: Extracting #1: cost 10 inf + 0 2.587 * * [simplify]: Extracting #2: cost 14 inf + 3 2.587 * * [simplify]: Extracting #3: cost 10 inf + 290 2.587 * * [simplify]: Extracting #4: cost 3 inf + 1019 2.588 * * [simplify]: Extracting #5: cost 0 inf + 1636 2.589 * [simplify]: Simplified to (* b (cbrt b)) 2.589 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* b (cbrt b)) (* (/ (cbrt b) a) (/ (cbrt b) a))))))) 2.589 * [simplify]: Simplifying (* (/ (cbrt b) a) (/ (cbrt b) a)) 2.589 * * [simplify]: iters left: 5 (5 enodes) 2.590 * * [simplify]: iters left: 4 (19 enodes) 2.593 * * [simplify]: iters left: 3 (27 enodes) 2.596 * * [simplify]: iters left: 2 (39 enodes) 2.601 * * [simplify]: iters left: 1 (46 enodes) 2.606 * * [simplify]: Extracting #0: cost 1 inf + 0 2.606 * * [simplify]: Extracting #1: cost 11 inf + 0 2.607 * * [simplify]: Extracting #2: cost 18 inf + 42 2.607 * * [simplify]: Extracting #3: cost 16 inf + 84 2.607 * * [simplify]: Extracting #4: cost 11 inf + 652 2.607 * * [simplify]: Extracting #5: cost 0 inf + 2272 2.607 * [simplify]: Simplified to (* (/ (cbrt b) a) (/ (cbrt b) a)) 2.607 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* b (cbrt b)) (* (/ (cbrt b) a) (/ (cbrt b) a))))))) 2.608 * * * * [progress]: [ 40 / 88 ] simplifiying candidate # 2.608 * [simplify]: Simplifying (* (/ (sqrt b) (* (cbrt a) (cbrt a))) (/ (sqrt b) (* (cbrt a) (cbrt a)))) 2.608 * * [simplify]: iters left: 6 (7 enodes) 2.609 * * [simplify]: iters left: 5 (27 enodes) 2.613 * * [simplify]: iters left: 4 (50 enodes) 2.621 * * [simplify]: iters left: 3 (89 enodes) 2.643 * * [simplify]: iters left: 2 (120 enodes) 2.669 * * [simplify]: iters left: 1 (145 enodes) 2.688 * * [simplify]: Extracting #0: cost 1 inf + 0 2.688 * * [simplify]: Extracting #1: cost 20 inf + 0 2.688 * * [simplify]: Extracting #2: cost 32 inf + 83 2.689 * * [simplify]: Extracting #3: cost 19 inf + 1463 2.689 * * [simplify]: Extracting #4: cost 3 inf + 3974 2.690 * * [simplify]: Extracting #5: cost 0 inf + 4500 2.691 * [simplify]: Simplified to (/ (/ b a) (cbrt a)) 2.691 * [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)))))))) 2.692 * [simplify]: Simplifying (* (/ (sqrt b) (cbrt a)) (/ (sqrt b) (cbrt a))) 2.692 * * [simplify]: iters left: 5 (6 enodes) 2.693 * * [simplify]: iters left: 4 (22 enodes) 2.696 * * [simplify]: iters left: 3 (30 enodes) 2.700 * * [simplify]: iters left: 2 (37 enodes) 2.708 * * [simplify]: iters left: 1 (45 enodes) 2.716 * * [simplify]: Extracting #0: cost 1 inf + 0 2.717 * * [simplify]: Extracting #1: cost 11 inf + 0 2.717 * * [simplify]: Extracting #2: cost 19 inf + 1 2.717 * * [simplify]: Extracting #3: cost 14 inf + 407 2.717 * * [simplify]: Extracting #4: cost 3 inf + 1946 2.717 * * [simplify]: Extracting #5: cost 0 inf + 2512 2.718 * [simplify]: Simplified to (/ (/ b (cbrt a)) (cbrt a)) 2.718 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ (/ b a) (cbrt a)) (/ (/ b (cbrt a)) (cbrt a))))))) 2.718 * * * * [progress]: [ 41 / 88 ] simplifiying candidate # 2.718 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) 2.718 * * [simplify]: iters left: 5 (6 enodes) 2.720 * * [simplify]: iters left: 4 (22 enodes) 2.723 * * [simplify]: iters left: 3 (30 enodes) 2.727 * * [simplify]: iters left: 2 (37 enodes) 2.731 * * [simplify]: iters left: 1 (45 enodes) 2.737 * * [simplify]: Extracting #0: cost 1 inf + 0 2.737 * * [simplify]: Extracting #1: cost 11 inf + 0 2.737 * * [simplify]: Extracting #2: cost 15 inf + 43 2.737 * * [simplify]: Extracting #3: cost 7 inf + 617 2.737 * * [simplify]: Extracting #4: cost 0 inf + 1230 2.738 * [simplify]: Simplified to (/ b a) 2.738 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a)))))))) 2.738 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) 2.738 * * [simplify]: iters left: 5 (6 enodes) 2.739 * * [simplify]: iters left: 4 (22 enodes) 2.746 * * [simplify]: iters left: 3 (30 enodes) 2.754 * * [simplify]: iters left: 2 (37 enodes) 2.763 * * [simplify]: iters left: 1 (45 enodes) 2.772 * * [simplify]: Extracting #0: cost 1 inf + 0 2.772 * * [simplify]: Extracting #1: cost 11 inf + 0 2.772 * * [simplify]: Extracting #2: cost 15 inf + 43 2.772 * * [simplify]: Extracting #3: cost 7 inf + 617 2.772 * * [simplify]: Extracting #4: cost 0 inf + 1230 2.772 * [simplify]: Simplified to (/ b a) 2.773 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) (/ b a)))))) 2.773 * * * * [progress]: [ 42 / 88 ] simplifiying candidate # 2.773 * [simplify]: Simplifying (* (/ (sqrt b) 1) (/ (sqrt b) 1)) 2.773 * * [simplify]: iters left: 5 (5 enodes) 2.774 * * [simplify]: iters left: 4 (19 enodes) 2.777 * * [simplify]: iters left: 3 (21 enodes) 2.779 * * [simplify]: Extracting #0: cost 1 inf + 0 2.779 * * [simplify]: Extracting #1: cost 0 inf + 1 2.779 * [simplify]: Simplified to b 2.779 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* b (* (/ (sqrt b) a) (/ (sqrt b) a))))))) 2.780 * [simplify]: Simplifying (* (/ (sqrt b) a) (/ (sqrt b) a)) 2.780 * * [simplify]: iters left: 5 (5 enodes) 2.781 * * [simplify]: iters left: 4 (19 enodes) 2.783 * * [simplify]: iters left: 3 (27 enodes) 2.787 * * [simplify]: iters left: 2 (34 enodes) 2.791 * * [simplify]: iters left: 1 (42 enodes) 2.796 * * [simplify]: Extracting #0: cost 1 inf + 0 2.796 * * [simplify]: Extracting #1: cost 11 inf + 0 2.796 * * [simplify]: Extracting #2: cost 15 inf + 43 2.796 * * [simplify]: Extracting #3: cost 4 inf + 862 2.796 * * [simplify]: Extracting #4: cost 0 inf + 1230 2.797 * [simplify]: Simplified to (/ b (* a a)) 2.797 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* b (/ b (* a a))))))) 2.797 * * * * [progress]: [ 43 / 88 ] simplifiying candidate # 2.797 * [simplify]: Simplifying (* (/ 1 (* (cbrt a) (cbrt a))) (/ 1 (* (cbrt a) (cbrt a)))) 2.797 * * [simplify]: iters left: 6 (6 enodes) 2.799 * * [simplify]: iters left: 5 (26 enodes) 2.805 * * [simplify]: iters left: 4 (47 enodes) 2.813 * * [simplify]: iters left: 3 (78 enodes) 2.830 * * [simplify]: iters left: 2 (100 enodes) 2.847 * * [simplify]: iters left: 1 (108 enodes) 2.867 * * [simplify]: Extracting #0: cost 1 inf + 0 2.867 * * [simplify]: Extracting #1: cost 11 inf + 0 2.868 * * [simplify]: Extracting #2: cost 16 inf + 84 2.868 * * [simplify]: Extracting #3: cost 8 inf + 1180 2.869 * * [simplify]: Extracting #4: cost 1 inf + 1961 2.870 * * [simplify]: Extracting #5: cost 0 inf + 2253 2.871 * [simplify]: Simplified to (/ (/ 1 (cbrt a)) a) 2.871 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ (/ 1 (cbrt a)) a) (* (/ b (cbrt a)) (/ b (cbrt a)))))))) 2.871 * [simplify]: Simplifying (* (/ b (cbrt a)) (/ b (cbrt a))) 2.871 * * [simplify]: iters left: 5 (5 enodes) 2.874 * * [simplify]: iters left: 4 (19 enodes) 2.879 * * [simplify]: iters left: 3 (27 enodes) 2.887 * * [simplify]: iters left: 2 (39 enodes) 2.897 * * [simplify]: iters left: 1 (46 enodes) 2.903 * * [simplify]: Extracting #0: cost 1 inf + 0 2.903 * * [simplify]: Extracting #1: cost 11 inf + 0 2.903 * * [simplify]: Extracting #2: cost 19 inf + 1 2.903 * * [simplify]: Extracting #3: cost 16 inf + 84 2.903 * * [simplify]: Extracting #4: cost 6 inf + 1300 2.903 * * [simplify]: Extracting #5: cost 0 inf + 2272 2.904 * [simplify]: Simplified to (* (/ b (cbrt a)) (/ b (cbrt a))) 2.904 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ (/ 1 (cbrt a)) a) (* (/ b (cbrt a)) (/ b (cbrt a)))))))) 2.904 * * * * [progress]: [ 44 / 88 ] simplifiying candidate # 2.904 * [simplify]: Simplifying (* (/ 1 (sqrt a)) (/ 1 (sqrt a))) 2.904 * * [simplify]: iters left: 5 (5 enodes) 2.906 * * [simplify]: iters left: 4 (21 enodes) 2.910 * * [simplify]: iters left: 3 (29 enodes) 2.914 * * [simplify]: iters left: 2 (35 enodes) 2.918 * * [simplify]: Extracting #0: cost 1 inf + 0 2.918 * * [simplify]: Extracting #1: cost 6 inf + 0 2.919 * * [simplify]: Extracting #2: cost 5 inf + 43 2.919 * * [simplify]: Extracting #3: cost 1 inf + 290 2.919 * * [simplify]: Extracting #4: cost 0 inf + 332 2.919 * [simplify]: Simplified to (/ 1 a) 2.919 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ 1 a) (* (/ b (sqrt a)) (/ b (sqrt a)))))))) 2.919 * [simplify]: Simplifying (* (/ b (sqrt a)) (/ b (sqrt a))) 2.919 * * [simplify]: iters left: 5 (5 enodes) 2.920 * * [simplify]: iters left: 4 (19 enodes) 2.923 * * [simplify]: iters left: 3 (27 enodes) 2.930 * * [simplify]: iters left: 2 (39 enodes) 2.941 * * [simplify]: iters left: 1 (44 enodes) 2.949 * * [simplify]: Extracting #0: cost 1 inf + 0 2.949 * * [simplify]: Extracting #1: cost 11 inf + 0 2.949 * * [simplify]: Extracting #2: cost 15 inf + 43 2.949 * * [simplify]: Extracting #3: cost 2 inf + 906 2.949 * * [simplify]: Extracting #4: cost 0 inf + 1070 2.950 * [simplify]: Simplified to (/ (* b b) a) 2.950 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ 1 a) (/ (* b b) a)))))) 2.950 * * * * [progress]: [ 45 / 88 ] simplifiying candidate # 2.950 * [simplify]: Simplifying (* (/ 1 1) (/ 1 1)) 2.950 * * [simplify]: iters left: 4 (3 enodes) 2.953 * * [simplify]: iters left: 3 (10 enodes) 2.954 * * [simplify]: iters left: 2 (12 enodes) 2.956 * * [simplify]: Extracting #0: cost 1 inf + 0 2.956 * * [simplify]: Extracting #1: cost 0 inf + 1 2.956 * [simplify]: Simplified to 1 2.956 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) 2.956 * [simplify]: Simplifying (* (/ b a) (/ b a)) 2.956 * * [simplify]: iters left: 4 (4 enodes) 2.957 * * [simplify]: iters left: 3 (16 enodes) 2.959 * * [simplify]: iters left: 2 (24 enodes) 2.963 * * [simplify]: iters left: 1 (36 enodes) 2.968 * * [simplify]: Extracting #0: cost 1 inf + 0 2.968 * * [simplify]: Extracting #1: cost 11 inf + 0 2.968 * * [simplify]: Extracting #2: cost 10 inf + 332 2.968 * * [simplify]: Extracting #3: cost 2 inf + 826 2.968 * * [simplify]: Extracting #4: cost 0 inf + 990 2.969 * [simplify]: Simplified to (* (/ b a) (/ b a)) 2.969 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) 2.969 * * * * [progress]: [ 46 / 88 ] simplifiying candidate # 2.969 * [simplify]: Simplifying (* 1 1) 2.969 * * [simplify]: iters left: 2 (2 enodes) 2.970 * * [simplify]: iters left: 1 (6 enodes) 2.972 * * [simplify]: Extracting #0: cost 1 inf + 0 2.972 * * [simplify]: Extracting #1: cost 0 inf + 1 2.972 * [simplify]: Simplified to 1 2.972 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) 2.972 * [simplify]: Simplifying (* (/ b a) (/ b a)) 2.972 * * [simplify]: iters left: 4 (4 enodes) 2.975 * * [simplify]: iters left: 3 (16 enodes) 2.980 * * [simplify]: iters left: 2 (24 enodes) 2.986 * * [simplify]: iters left: 1 (36 enodes) 2.993 * * [simplify]: Extracting #0: cost 1 inf + 0 2.993 * * [simplify]: Extracting #1: cost 11 inf + 0 2.993 * * [simplify]: Extracting #2: cost 10 inf + 332 2.993 * * [simplify]: Extracting #3: cost 2 inf + 826 2.993 * * [simplify]: Extracting #4: cost 0 inf + 990 2.994 * [simplify]: Simplified to (* (/ b a) (/ b a)) 2.994 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) 2.994 * * * * [progress]: [ 47 / 88 ] simplifiying candidate # 2.994 * [simplify]: Simplifying (* b b) 2.994 * * [simplify]: iters left: 2 (2 enodes) 2.994 * * [simplify]: iters left: 1 (6 enodes) 2.995 * * [simplify]: Extracting #0: cost 1 inf + 0 2.995 * * [simplify]: Extracting #1: cost 3 inf + 0 2.995 * * [simplify]: Extracting #2: cost 2 inf + 1 2.995 * * [simplify]: Extracting #3: cost 0 inf + 83 2.995 * [simplify]: Simplified to (* b b) 2.995 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* b b) (* (/ 1 a) (/ 1 a))))))) 2.995 * [simplify]: Simplifying (* (/ 1 a) (/ 1 a)) 2.995 * * [simplify]: iters left: 4 (4 enodes) 2.997 * * [simplify]: iters left: 3 (18 enodes) 3.000 * * [simplify]: iters left: 2 (26 enodes) 3.004 * * [simplify]: iters left: 1 (32 enodes) 3.008 * * [simplify]: Extracting #0: cost 1 inf + 0 3.008 * * [simplify]: Extracting #1: cost 6 inf + 0 3.008 * * [simplify]: Extracting #2: cost 5 inf + 43 3.008 * * [simplify]: Extracting #3: cost 0 inf + 332 3.008 * [simplify]: Simplified to (/ 1 (* a a)) 3.008 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* b b) (/ 1 (* a a))))))) 3.008 * * * * [progress]: [ 48 / 88 ] simplifiying candidate # 3.008 * [simplify]: Simplifying (* (sqrt (/ b a)) (sqrt (/ b a))) 3.008 * * [simplify]: iters left: 5 (5 enodes) 3.010 * * [simplify]: iters left: 4 (13 enodes) 3.013 * * [simplify]: iters left: 3 (14 enodes) 3.016 * * [simplify]: Extracting #0: cost 1 inf + 0 3.016 * * [simplify]: Extracting #1: cost 5 inf + 0 3.017 * * [simplify]: Extracting #2: cost 4 inf + 2 3.017 * * [simplify]: Extracting #3: cost 3 inf + 44 3.017 * * [simplify]: Extracting #4: cost 0 inf + 250 3.017 * [simplify]: Simplified to (/ b a) 3.017 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (* (sqrt (/ b a)) (sqrt (/ b a)))))))) 3.017 * [simplify]: Simplifying (* (sqrt (/ b a)) (sqrt (/ b a))) 3.017 * * [simplify]: iters left: 5 (5 enodes) 3.019 * * [simplify]: iters left: 4 (13 enodes) 3.023 * * [simplify]: iters left: 3 (14 enodes) 3.026 * * [simplify]: Extracting #0: cost 1 inf + 0 3.026 * * [simplify]: Extracting #1: cost 5 inf + 0 3.026 * * [simplify]: Extracting #2: cost 4 inf + 2 3.026 * * [simplify]: Extracting #3: cost 3 inf + 44 3.026 * * [simplify]: Extracting #4: cost 0 inf + 250 3.027 * [simplify]: Simplified to (/ b a) 3.027 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (sqrt (/ b a)) (sqrt (/ b a))) (/ b a)))))) 3.027 * * * * [progress]: [ 49 / 88 ] simplifiying candidate # 3.027 * [simplify]: Simplifying (* (sqrt (/ b a)) (/ (sqrt b) (sqrt a))) 3.027 * * [simplify]: iters left: 5 (8 enodes) 3.030 * * [simplify]: iters left: 4 (27 enodes) 3.040 * * [simplify]: iters left: 3 (33 enodes) 3.048 * * [simplify]: iters left: 2 (37 enodes) 3.057 * * [simplify]: iters left: 1 (41 enodes) 3.068 * * [simplify]: Extracting #0: cost 1 inf + 0 3.068 * * [simplify]: Extracting #1: cost 10 inf + 0 3.068 * * [simplify]: Extracting #2: cost 21 inf + 0 3.068 * * [simplify]: Extracting #3: cost 19 inf + 43 3.068 * * [simplify]: Extracting #4: cost 7 inf + 1224 3.069 * * [simplify]: Extracting #5: cost 0 inf + 2358 3.070 * [simplify]: Simplified to (/ (sqrt (/ b a)) (/ (sqrt a) (sqrt b))) 3.070 * [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)))))))) 3.070 * [simplify]: Simplifying (* (sqrt (/ b a)) (/ (sqrt b) (sqrt a))) 3.071 * * [simplify]: iters left: 5 (8 enodes) 3.074 * * [simplify]: iters left: 4 (27 enodes) 3.081 * * [simplify]: iters left: 3 (33 enodes) 3.090 * * [simplify]: iters left: 2 (37 enodes) 3.099 * * [simplify]: iters left: 1 (41 enodes) 3.109 * * [simplify]: Extracting #0: cost 1 inf + 0 3.109 * * [simplify]: Extracting #1: cost 10 inf + 0 3.110 * * [simplify]: Extracting #2: cost 21 inf + 0 3.110 * * [simplify]: Extracting #3: cost 19 inf + 43 3.110 * * [simplify]: Extracting #4: cost 7 inf + 1224 3.111 * * [simplify]: Extracting #5: cost 0 inf + 2358 3.112 * [simplify]: Simplified to (/ (sqrt (/ b a)) (/ (sqrt a) (sqrt b))) 3.112 * [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)))))))) 3.112 * * * * [progress]: [ 50 / 88 ] simplifiying candidate # 3.112 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a))) 3.112 * * [simplify]: iters left: 5 (8 enodes) 3.116 * * [simplify]: iters left: 4 (27 enodes) 3.123 * * [simplify]: iters left: 3 (33 enodes) 3.132 * * [simplify]: iters left: 2 (35 enodes) 3.140 * * [simplify]: Extracting #0: cost 1 inf + 0 3.140 * * [simplify]: Extracting #1: cost 8 inf + 0 3.140 * * [simplify]: Extracting #2: cost 17 inf + 0 3.140 * * [simplify]: Extracting #3: cost 15 inf + 43 3.141 * * [simplify]: Extracting #4: cost 12 inf + 167 3.141 * * [simplify]: Extracting #5: cost 1 inf + 1548 3.142 * * [simplify]: Extracting #6: cost 0 inf + 1790 3.142 * [simplify]: Simplified to (/ (* (sqrt (/ b a)) (sqrt b)) (sqrt a)) 3.142 * [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)))))))) 3.143 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (sqrt (/ b a))) 3.143 * * [simplify]: iters left: 5 (8 enodes) 3.146 * * [simplify]: iters left: 4 (27 enodes) 3.153 * * [simplify]: iters left: 3 (33 enodes) 3.158 * * [simplify]: iters left: 2 (35 enodes) 3.162 * * [simplify]: Extracting #0: cost 1 inf + 0 3.162 * * [simplify]: Extracting #1: cost 8 inf + 0 3.162 * * [simplify]: Extracting #2: cost 17 inf + 0 3.162 * * [simplify]: Extracting #3: cost 15 inf + 43 3.162 * * [simplify]: Extracting #4: cost 12 inf + 167 3.162 * * [simplify]: Extracting #5: cost 1 inf + 1548 3.162 * * [simplify]: Extracting #6: cost 0 inf + 1790 3.163 * [simplify]: Simplified to (/ (* (sqrt (/ b a)) (sqrt b)) (sqrt a)) 3.163 * [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))))))) 3.163 * * * * [progress]: [ 51 / 88 ] simplifiying candidate # 3.163 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) 3.163 * * [simplify]: iters left: 5 (6 enodes) 3.164 * * [simplify]: iters left: 4 (22 enodes) 3.168 * * [simplify]: iters left: 3 (30 enodes) 3.172 * * [simplify]: iters left: 2 (37 enodes) 3.176 * * [simplify]: iters left: 1 (45 enodes) 3.183 * * [simplify]: Extracting #0: cost 1 inf + 0 3.183 * * [simplify]: Extracting #1: cost 11 inf + 0 3.183 * * [simplify]: Extracting #2: cost 15 inf + 43 3.183 * * [simplify]: Extracting #3: cost 7 inf + 617 3.184 * * [simplify]: Extracting #4: cost 0 inf + 1230 3.184 * [simplify]: Simplified to (/ b a) 3.185 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a)))))))) 3.185 * [simplify]: Simplifying (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) 3.185 * * [simplify]: iters left: 5 (6 enodes) 3.187 * * [simplify]: iters left: 4 (22 enodes) 3.194 * * [simplify]: iters left: 3 (30 enodes) 3.202 * * [simplify]: iters left: 2 (37 enodes) 3.211 * * [simplify]: iters left: 1 (45 enodes) 3.222 * * [simplify]: Extracting #0: cost 1 inf + 0 3.222 * * [simplify]: Extracting #1: cost 11 inf + 0 3.222 * * [simplify]: Extracting #2: cost 15 inf + 43 3.223 * * [simplify]: Extracting #3: cost 7 inf + 617 3.223 * * [simplify]: Extracting #4: cost 0 inf + 1230 3.224 * [simplify]: Simplified to (/ b a) 3.224 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ (sqrt b) (sqrt a)) (/ (sqrt b) (sqrt a))) (/ b a)))))) 3.224 * * * * [progress]: [ 52 / 88 ] simplifiying candidate # 3.224 * [simplify]: Simplifying (/ b a) 3.224 * * [simplify]: iters left: 2 (3 enodes) 3.226 * * [simplify]: iters left: 1 (9 enodes) 3.229 * * [simplify]: Extracting #0: cost 1 inf + 0 3.229 * * [simplify]: Extracting #1: cost 4 inf + 0 3.229 * * [simplify]: Extracting #2: cost 2 inf + 2 3.229 * * [simplify]: Extracting #3: cost 0 inf + 86 3.229 * [simplify]: Simplified to (/ b a) 3.229 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) (* 2 1)))))) 3.229 * [simplify]: Simplifying (* 2 1) 3.229 * * [simplify]: iters left: 2 (3 enodes) 3.232 * * [simplify]: iters left: 1 (9 enodes) 3.236 * * [simplify]: Extracting #0: cost 1 inf + 0 3.236 * * [simplify]: Extracting #1: cost 0 inf + 1 3.236 * [simplify]: Simplified to 2 3.236 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (pow (/ b a) 2))))) 3.236 * * * * [progress]: [ 53 / 88 ] simplifiying candidate # 3.236 * [simplify]: Simplifying (cbrt (/ b a)) 3.236 * * [simplify]: iters left: 3 (4 enodes) 3.238 * * [simplify]: iters left: 2 (12 enodes) 3.241 * * [simplify]: Extracting #0: cost 1 inf + 0 3.241 * * [simplify]: Extracting #1: cost 3 inf + 0 3.242 * * [simplify]: Extracting #2: cost 6 inf + 0 3.242 * * [simplify]: Extracting #3: cost 4 inf + 2 3.242 * * [simplify]: Extracting #4: cost 0 inf + 330 3.242 * [simplify]: Simplified to (cbrt (/ b a)) 3.242 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (* (cbrt (/ b a)) (cbrt (/ b a)))) (cbrt (/ b a))))))) 3.242 * * * * [progress]: [ 54 / 88 ] simplifiying candidate # 3.242 * [simplify]: Simplifying (sqrt (/ b a)) 3.242 * * [simplify]: iters left: 3 (4 enodes) 3.244 * * [simplify]: iters left: 2 (12 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 6 inf + 0 3.247 * * [simplify]: Extracting #3: cost 4 inf + 2 3.248 * * [simplify]: Extracting #4: cost 0 inf + 250 3.248 * [simplify]: Simplified to (sqrt (/ b a)) 3.248 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (sqrt (/ b a))) (sqrt (/ b a))))))) 3.248 * * * * [progress]: [ 55 / 88 ] simplifiying candidate # 3.248 * [simplify]: Simplifying (/ (cbrt b) (cbrt a)) 3.248 * * [simplify]: iters left: 3 (5 enodes) 3.250 * * [simplify]: iters left: 2 (15 enodes) 3.254 * * [simplify]: Extracting #0: cost 1 inf + 0 3.254 * * [simplify]: Extracting #1: cost 4 inf + 0 3.254 * * [simplify]: Extracting #2: cost 8 inf + 0 3.254 * * [simplify]: Extracting #3: cost 4 inf + 164 3.254 * * [simplify]: Extracting #4: cost 0 inf + 730 3.255 * [simplify]: Simplified to (/ (cbrt b) (cbrt a)) 3.255 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a)))) (/ (cbrt b) (cbrt a))))))) 3.255 * * * * [progress]: [ 56 / 88 ] simplifiying candidate # 3.255 * [simplify]: Simplifying (/ (cbrt b) (sqrt a)) 3.255 * * [simplify]: iters left: 3 (5 enodes) 3.257 * * [simplify]: iters left: 2 (15 enodes) 3.261 * * [simplify]: Extracting #0: cost 1 inf + 0 3.261 * * [simplify]: Extracting #1: cost 4 inf + 0 3.261 * * [simplify]: Extracting #2: cost 8 inf + 0 3.261 * * [simplify]: Extracting #3: cost 4 inf + 84 3.261 * * [simplify]: Extracting #4: cost 0 inf + 570 3.262 * [simplify]: Simplified to (/ (cbrt b) (sqrt a)) 3.262 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (/ (* (cbrt b) (cbrt b)) (sqrt a))) (/ (cbrt b) (sqrt a))))))) 3.262 * * * * [progress]: [ 57 / 88 ] simplifiying candidate # 3.262 * [simplify]: Simplifying (/ (cbrt b) a) 3.262 * * [simplify]: iters left: 3 (4 enodes) 3.264 * * [simplify]: iters left: 2 (12 enodes) 3.267 * * [simplify]: Extracting #0: cost 1 inf + 0 3.267 * * [simplify]: Extracting #1: cost 4 inf + 0 3.267 * * [simplify]: Extracting #2: cost 5 inf + 1 3.267 * * [simplify]: Extracting #3: cost 4 inf + 2 3.267 * * [simplify]: Extracting #4: cost 0 inf + 408 3.267 * [simplify]: Simplified to (/ (cbrt b) a) 3.267 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (/ (* (cbrt b) (cbrt b)) 1)) (/ (cbrt b) a)))))) 3.268 * * * * [progress]: [ 58 / 88 ] simplifiying candidate # 3.268 * [simplify]: Simplifying (/ (sqrt b) (cbrt a)) 3.268 * * [simplify]: iters left: 3 (5 enodes) 3.270 * * [simplify]: iters left: 2 (15 enodes) 3.274 * * [simplify]: Extracting #0: cost 1 inf + 0 3.274 * * [simplify]: Extracting #1: cost 4 inf + 0 3.274 * * [simplify]: Extracting #2: cost 8 inf + 0 3.274 * * [simplify]: Extracting #3: cost 4 inf + 164 3.274 * * [simplify]: Extracting #4: cost 0 inf + 570 3.275 * [simplify]: Simplified to (/ (sqrt b) (cbrt a)) 3.275 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (/ (sqrt b) (* (cbrt a) (cbrt a)))) (/ (sqrt b) (cbrt a))))))) 3.275 * * * * [progress]: [ 59 / 88 ] simplifiying candidate # 3.275 * [simplify]: Simplifying (/ (sqrt b) (sqrt a)) 3.275 * * [simplify]: iters left: 3 (5 enodes) 3.277 * * [simplify]: iters left: 2 (15 enodes) 3.281 * * [simplify]: Extracting #0: cost 1 inf + 0 3.281 * * [simplify]: Extracting #1: cost 4 inf + 0 3.281 * * [simplify]: Extracting #2: cost 8 inf + 0 3.282 * * [simplify]: Extracting #3: cost 4 inf + 84 3.282 * * [simplify]: Extracting #4: cost 0 inf + 410 3.282 * [simplify]: Simplified to (/ (sqrt b) (sqrt a)) 3.282 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (/ (sqrt b) (sqrt a))) (/ (sqrt b) (sqrt a))))))) 3.282 * * * * [progress]: [ 60 / 88 ] simplifiying candidate # 3.282 * [simplify]: Simplifying (/ (sqrt b) a) 3.283 * * [simplify]: iters left: 3 (4 enodes) 3.284 * * [simplify]: iters left: 2 (12 enodes) 3.287 * * [simplify]: Extracting #0: cost 1 inf + 0 3.287 * * [simplify]: Extracting #1: cost 4 inf + 0 3.287 * * [simplify]: Extracting #2: cost 5 inf + 1 3.287 * * [simplify]: Extracting #3: cost 4 inf + 2 3.288 * * [simplify]: Extracting #4: cost 0 inf + 248 3.288 * [simplify]: Simplified to (/ (sqrt b) a) 3.288 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (/ (sqrt b) 1)) (/ (sqrt b) a)))))) 3.288 * * * * [progress]: [ 61 / 88 ] simplifiying candidate # 3.288 * [simplify]: Simplifying (/ b (cbrt a)) 3.288 * * [simplify]: iters left: 3 (4 enodes) 3.290 * * [simplify]: iters left: 2 (12 enodes) 3.293 * * [simplify]: Extracting #0: cost 1 inf + 0 3.294 * * [simplify]: Extracting #1: cost 4 inf + 0 3.294 * * [simplify]: Extracting #2: cost 5 inf + 1 3.294 * * [simplify]: Extracting #3: cost 4 inf + 2 3.294 * * [simplify]: Extracting #4: cost 0 inf + 408 3.294 * [simplify]: Simplified to (/ b (cbrt a)) 3.294 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (/ 1 (* (cbrt a) (cbrt a)))) (/ b (cbrt a))))))) 3.294 * * * * [progress]: [ 62 / 88 ] simplifiying candidate # 3.294 * [simplify]: Simplifying (/ b (sqrt a)) 3.294 * * [simplify]: iters left: 3 (4 enodes) 3.296 * * [simplify]: iters left: 2 (12 enodes) 3.298 * * [simplify]: Extracting #0: cost 1 inf + 0 3.298 * * [simplify]: Extracting #1: cost 4 inf + 0 3.298 * * [simplify]: Extracting #2: cost 5 inf + 1 3.298 * * [simplify]: Extracting #3: cost 4 inf + 2 3.298 * * [simplify]: Extracting #4: cost 0 inf + 248 3.298 * [simplify]: Simplified to (/ b (sqrt a)) 3.298 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (/ 1 (sqrt a))) (/ b (sqrt a))))))) 3.298 * * * * [progress]: [ 63 / 88 ] simplifiying candidate # 3.299 * [simplify]: Simplifying (/ b a) 3.299 * * [simplify]: iters left: 2 (3 enodes) 3.299 * * [simplify]: iters left: 1 (9 enodes) 3.300 * * [simplify]: Extracting #0: cost 1 inf + 0 3.300 * * [simplify]: Extracting #1: cost 4 inf + 0 3.300 * * [simplify]: Extracting #2: cost 2 inf + 2 3.300 * * [simplify]: Extracting #3: cost 0 inf + 86 3.301 * [simplify]: Simplified to (/ b a) 3.301 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) (/ 1 1)) (/ b a)))))) 3.301 * * * * [progress]: [ 64 / 88 ] simplifiying candidate # 3.301 * [simplify]: Simplifying (/ b a) 3.301 * * [simplify]: iters left: 2 (3 enodes) 3.301 * * [simplify]: iters left: 1 (9 enodes) 3.304 * * [simplify]: Extracting #0: cost 1 inf + 0 3.304 * * [simplify]: Extracting #1: cost 4 inf + 0 3.304 * * [simplify]: Extracting #2: cost 2 inf + 2 3.304 * * [simplify]: Extracting #3: cost 0 inf + 86 3.304 * [simplify]: Simplified to (/ b a) 3.304 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) 1) (/ b a)))))) 3.304 * * * * [progress]: [ 65 / 88 ] simplifiying candidate # 3.304 * [simplify]: Simplifying (/ 1 a) 3.304 * * [simplify]: iters left: 2 (3 enodes) 3.305 * * [simplify]: iters left: 1 (11 enodes) 3.307 * * [simplify]: Extracting #0: cost 1 inf + 0 3.307 * * [simplify]: Extracting #1: cost 4 inf + 0 3.307 * * [simplify]: Extracting #2: cost 2 inf + 2 3.307 * * [simplify]: Extracting #3: cost 0 inf + 86 3.307 * [simplify]: Simplified to (/ 1 a) 3.307 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ b a) b) (/ 1 a)))))) 3.308 * * * * [progress]: [ 66 / 88 ] simplifiying candidate # 3.308 * [simplify]: Simplifying (* (cbrt (/ b a)) (cbrt (/ b a))) 3.308 * * [simplify]: iters left: 5 (5 enodes) 3.309 * * [simplify]: iters left: 4 (15 enodes) 3.311 * * [simplify]: Extracting #0: cost 1 inf + 0 3.311 * * [simplify]: Extracting #1: cost 3 inf + 0 3.311 * * [simplify]: Extracting #2: cost 5 inf + 0 3.311 * * [simplify]: Extracting #3: cost 8 inf + 0 3.311 * * [simplify]: Extracting #4: cost 6 inf + 2 3.311 * * [simplify]: Extracting #5: cost 0 inf + 654 3.311 * [simplify]: Simplified to (* (cbrt (/ b a)) (cbrt (/ b a))) 3.311 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt (/ b a)) (cbrt (/ b a))) (* (cbrt (/ b a)) (/ b a))))))) 3.311 * * * * [progress]: [ 67 / 88 ] simplifiying candidate # 3.311 * [simplify]: Simplifying (sqrt (/ b a)) 3.311 * * [simplify]: iters left: 3 (4 enodes) 3.312 * * [simplify]: iters left: 2 (12 enodes) 3.314 * * [simplify]: Extracting #0: cost 1 inf + 0 3.314 * * [simplify]: Extracting #1: cost 3 inf + 0 3.314 * * [simplify]: Extracting #2: cost 6 inf + 0 3.314 * * [simplify]: Extracting #3: cost 4 inf + 2 3.314 * * [simplify]: Extracting #4: cost 0 inf + 250 3.314 * [simplify]: Simplified to (sqrt (/ b a)) 3.314 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt (/ b a)) (* (sqrt (/ b a)) (/ b a))))))) 3.314 * * * * [progress]: [ 68 / 88 ] simplifiying candidate # 3.314 * [simplify]: Simplifying (/ (* (cbrt b) (cbrt b)) (* (cbrt a) (cbrt a))) 3.314 * * [simplify]: iters left: 5 (7 enodes) 3.316 * * [simplify]: iters left: 4 (27 enodes) 3.320 * * [simplify]: iters left: 3 (42 enodes) 3.326 * * [simplify]: iters left: 2 (49 enodes) 3.333 * * [simplify]: iters left: 1 (52 enodes) 3.340 * * [simplify]: Extracting #0: cost 1 inf + 0 3.340 * * [simplify]: Extracting #1: cost 11 inf + 0 3.340 * * [simplify]: Extracting #2: cost 22 inf + 0 3.340 * * [simplify]: Extracting #3: cost 18 inf + 164 3.340 * * [simplify]: Extracting #4: cost 9 inf + 1617 3.341 * * [simplify]: Extracting #5: cost 0 inf + 3554 3.341 * [simplify]: Simplified to (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) 3.341 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (/ (cbrt b) (cbrt a)) (/ (cbrt b) (cbrt a))) (* (/ (cbrt b) (cbrt a)) (/ b a))))))) 3.341 * * * * [progress]: [ 69 / 88 ] simplifiying candidate # 3.342 * [simplify]: Simplifying (/ (* (cbrt b) (cbrt b)) (sqrt a)) 3.342 * * [simplify]: iters left: 5 (6 enodes) 3.343 * * [simplify]: iters left: 4 (20 enodes) 3.345 * * [simplify]: iters left: 3 (24 enodes) 3.348 * * [simplify]: iters left: 2 (27 enodes) 3.352 * * [simplify]: Extracting #0: cost 1 inf + 0 3.352 * * [simplify]: Extracting #1: cost 7 inf + 0 3.352 * * [simplify]: Extracting #2: cost 14 inf + 0 3.352 * * [simplify]: Extracting #3: cost 12 inf + 2 3.352 * * [simplify]: Extracting #4: cost 6 inf + 691 3.352 * * [simplify]: Extracting #5: cost 0 inf + 1540 3.353 * [simplify]: Simplified to (* (cbrt b) (/ (cbrt b) (sqrt a))) 3.353 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt b) (/ (cbrt b) (sqrt a))) (* (/ (cbrt b) (sqrt a)) (/ b a))))))) 3.353 * * * * [progress]: [ 70 / 88 ] simplifiying candidate # 3.353 * [simplify]: Simplifying (/ (* (cbrt b) (cbrt b)) 1) 3.353 * * [simplify]: iters left: 5 (5 enodes) 3.354 * * [simplify]: iters left: 4 (17 enodes) 3.357 * * [simplify]: iters left: 3 (27 enodes) 3.361 * * [simplify]: iters left: 2 (28 enodes) 3.365 * * [simplify]: Extracting #0: cost 1 inf + 0 3.365 * * [simplify]: Extracting #1: cost 5 inf + 0 3.365 * * [simplify]: Extracting #2: cost 7 inf + 1 3.365 * * [simplify]: Extracting #3: cost 6 inf + 2 3.365 * * [simplify]: Extracting #4: cost 1 inf + 528 3.365 * * [simplify]: Extracting #5: cost 0 inf + 650 3.365 * [simplify]: Simplified to (* (cbrt b) (cbrt b)) 3.365 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (* (cbrt b) (cbrt b)) (* (/ (cbrt b) a) (/ b a))))))) 3.365 * * * * [progress]: [ 71 / 88 ] simplifiying candidate # 3.365 * [simplify]: Simplifying (/ (sqrt b) (* (cbrt a) (cbrt a))) 3.366 * * [simplify]: iters left: 5 (6 enodes) 3.367 * * [simplify]: iters left: 4 (20 enodes) 3.369 * * [simplify]: iters left: 3 (22 enodes) 3.372 * * [simplify]: Extracting #0: cost 1 inf + 0 3.372 * * [simplify]: Extracting #1: cost 6 inf + 0 3.372 * * [simplify]: Extracting #2: cost 12 inf + 0 3.372 * * [simplify]: Extracting #3: cost 10 inf + 2 3.372 * * [simplify]: Extracting #4: cost 0 inf + 1216 3.372 * [simplify]: Simplified to (/ (sqrt b) (* (cbrt a) (cbrt a))) 3.372 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ (sqrt b) (* (cbrt a) (cbrt a))) (* (/ (sqrt b) (cbrt a)) (/ b a))))))) 3.372 * * * * [progress]: [ 72 / 88 ] simplifiying candidate # 3.373 * [simplify]: Simplifying (/ (sqrt b) (sqrt a)) 3.373 * * [simplify]: iters left: 3 (5 enodes) 3.374 * * [simplify]: iters left: 2 (15 enodes) 3.375 * * [simplify]: Extracting #0: cost 1 inf + 0 3.375 * * [simplify]: Extracting #1: cost 4 inf + 0 3.375 * * [simplify]: Extracting #2: cost 8 inf + 0 3.375 * * [simplify]: Extracting #3: cost 4 inf + 84 3.376 * * [simplify]: Extracting #4: cost 0 inf + 410 3.376 * [simplify]: Simplified to (/ (sqrt b) (sqrt a)) 3.376 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ (sqrt b) (sqrt a)) (* (/ (sqrt b) (sqrt a)) (/ b a))))))) 3.376 * * * * [progress]: [ 73 / 88 ] simplifiying candidate # 3.376 * [simplify]: Simplifying (/ (sqrt b) 1) 3.376 * * [simplify]: iters left: 3 (4 enodes) 3.377 * * [simplify]: iters left: 2 (12 enodes) 3.379 * * [simplify]: iters left: 1 (14 enodes) 3.382 * * [simplify]: Extracting #0: cost 1 inf + 0 3.382 * * [simplify]: Extracting #1: cost 4 inf + 0 3.382 * * [simplify]: Extracting #2: cost 0 inf + 84 3.382 * [simplify]: Simplified to (sqrt b) 3.382 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (sqrt b) (* (/ (sqrt b) a) (/ b a))))))) 3.382 * * * * [progress]: [ 74 / 88 ] simplifiying candidate # 3.383 * [simplify]: Simplifying (/ 1 (* (cbrt a) (cbrt a))) 3.383 * * [simplify]: iters left: 5 (5 enodes) 3.384 * * [simplify]: iters left: 4 (19 enodes) 3.387 * * [simplify]: iters left: 3 (23 enodes) 3.393 * * [simplify]: Extracting #0: cost 1 inf + 0 3.393 * * [simplify]: Extracting #1: cost 6 inf + 0 3.393 * * [simplify]: Extracting #2: cost 9 inf + 1 3.393 * * [simplify]: Extracting #3: cost 1 inf + 852 3.393 * * [simplify]: Extracting #4: cost 0 inf + 974 3.393 * [simplify]: Simplified to (/ 1 (* (cbrt a) (cbrt a))) 3.394 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ 1 (* (cbrt a) (cbrt a))) (* (/ b (cbrt a)) (/ b a))))))) 3.394 * * * * [progress]: [ 75 / 88 ] simplifiying candidate # 3.394 * [simplify]: Simplifying (/ 1 (sqrt a)) 3.394 * * [simplify]: iters left: 3 (4 enodes) 3.396 * * [simplify]: iters left: 2 (14 enodes) 3.401 * * [simplify]: iters left: 1 (16 enodes) 3.405 * * [simplify]: Extracting #0: cost 1 inf + 0 3.405 * * [simplify]: Extracting #1: cost 4 inf + 0 3.405 * * [simplify]: Extracting #2: cost 5 inf + 1 3.406 * * [simplify]: Extracting #3: cost 3 inf + 43 3.406 * * [simplify]: Extracting #4: cost 1 inf + 166 3.406 * * [simplify]: Extracting #5: cost 0 inf + 248 3.406 * [simplify]: Simplified to (/ 1 (sqrt a)) 3.406 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* (/ 1 (sqrt a)) (* (/ b (sqrt a)) (/ b a))))))) 3.406 * * * * [progress]: [ 76 / 88 ] simplifiying candidate # 3.406 * [simplify]: Simplifying (/ 1 1) 3.406 * * [simplify]: iters left: 2 (2 enodes) 3.408 * * [simplify]: iters left: 1 (6 enodes) 3.410 * * [simplify]: Extracting #0: cost 1 inf + 0 3.410 * * [simplify]: Extracting #1: cost 0 inf + 1 3.410 * [simplify]: Simplified to 1 3.410 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (* 1 (* (/ b a) (/ b a))))))) 3.410 * * * * [progress]: [ 77 / 88 ] simplifiying candidate # 3.410 * * * * [progress]: [ 78 / 88 ] simplifiying candidate # 3.410 * * * * [progress]: [ 79 / 88 ] simplifiying candidate # 3.410 * * * * [progress]: [ 80 / 88 ] simplifiying candidate # 3.410 * [simplify]: Simplifying (* b (/ b a)) 3.410 * * [simplify]: iters left: 4 (4 enodes) 3.412 * * [simplify]: iters left: 3 (15 enodes) 3.416 * * [simplify]: iters left: 2 (19 enodes) 3.422 * * [simplify]: iters left: 1 (21 enodes) 3.427 * * [simplify]: Extracting #0: cost 1 inf + 0 3.427 * * [simplify]: Extracting #1: cost 7 inf + 0 3.427 * * [simplify]: Extracting #2: cost 8 inf + 2 3.427 * * [simplify]: Extracting #3: cost 1 inf + 374 3.427 * * [simplify]: Extracting #4: cost 0 inf + 416 3.428 * [simplify]: Simplified to (* b (/ b a)) 3.428 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b) (sqrt (fabs (- 1 (/ (* b (/ b a)) a))))) 3.428 * * * * [progress]: [ 81 / 88 ] simplifiying candidate #real (real->posit16 (* (/ b a) (/ b a))))))))> 3.428 * * * * [progress]: [ 82 / 88 ] simplifiying candidate # 3.428 * * * * [progress]: [ 83 / 88 ] simplifiying candidate # 3.428 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3.428 * * [simplify]: iters left: 6 (10 enodes) 3.434 * * [simplify]: iters left: 5 (41 enodes) 3.447 * * [simplify]: iters left: 4 (54 enodes) 3.460 * * [simplify]: iters left: 3 (82 enodes) 3.472 * * [simplify]: iters left: 2 (116 enodes) 3.487 * * [simplify]: iters left: 1 (131 enodes) 3.504 * * [simplify]: Extracting #0: cost 1 inf + 0 3.504 * * [simplify]: Extracting #1: cost 3 inf + 0 3.504 * * [simplify]: Extracting #2: cost 5 inf + 0 3.504 * * [simplify]: Extracting #3: cost 9 inf + 0 3.504 * * [simplify]: Extracting #4: cost 26 inf + 1 3.504 * * [simplify]: Extracting #5: cost 36 inf + 168 3.505 * * [simplify]: Extracting #6: cost 15 inf + 2249 3.506 * * [simplify]: Extracting #7: cost 3 inf + 3354 3.506 * * [simplify]: Extracting #8: cost 0 inf + 3640 3.507 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 3.507 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 3.507 * * * * [progress]: [ 84 / 88 ] simplifiying candidate # 3.507 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3.508 * * [simplify]: iters left: 6 (10 enodes) 3.510 * * [simplify]: iters left: 5 (41 enodes) 3.516 * * [simplify]: iters left: 4 (54 enodes) 3.524 * * [simplify]: iters left: 3 (82 enodes) 3.536 * * [simplify]: iters left: 2 (116 enodes) 3.551 * * [simplify]: iters left: 1 (131 enodes) 3.569 * * [simplify]: Extracting #0: cost 1 inf + 0 3.569 * * [simplify]: Extracting #1: cost 3 inf + 0 3.569 * * [simplify]: Extracting #2: cost 5 inf + 0 3.569 * * [simplify]: Extracting #3: cost 9 inf + 0 3.569 * * [simplify]: Extracting #4: cost 26 inf + 1 3.569 * * [simplify]: Extracting #5: cost 36 inf + 168 3.570 * * [simplify]: Extracting #6: cost 15 inf + 2249 3.570 * * [simplify]: Extracting #7: cost 3 inf + 3354 3.571 * * [simplify]: Extracting #8: cost 0 inf + 3640 3.572 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 3.572 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 3.572 * * * * [progress]: [ 85 / 88 ] simplifiying candidate # 3.572 * [simplify]: Simplifying (sqrt (fabs (- 1 (/ (pow b 2) (pow a 2))))) 3.572 * * [simplify]: iters left: 6 (10 enodes) 3.575 * * [simplify]: iters left: 5 (41 enodes) 3.582 * * [simplify]: iters left: 4 (54 enodes) 3.597 * * [simplify]: iters left: 3 (82 enodes) 3.615 * * [simplify]: iters left: 2 (116 enodes) 3.630 * * [simplify]: iters left: 1 (131 enodes) 3.654 * * [simplify]: Extracting #0: cost 1 inf + 0 3.655 * * [simplify]: Extracting #1: cost 3 inf + 0 3.655 * * [simplify]: Extracting #2: cost 5 inf + 0 3.655 * * [simplify]: Extracting #3: cost 9 inf + 0 3.655 * * [simplify]: Extracting #4: cost 26 inf + 1 3.655 * * [simplify]: Extracting #5: cost 36 inf + 168 3.656 * * [simplify]: Extracting #6: cost 15 inf + 2249 3.657 * * [simplify]: Extracting #7: cost 3 inf + 3354 3.659 * * [simplify]: Extracting #8: cost 0 inf + 3640 3.661 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 3.661 * [simplify]: Simplified (2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 3.661 * * * * [progress]: [ 86 / 88 ] simplifiying candidate # 3.661 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 3.661 * * [simplify]: iters left: 3 (6 enodes) 3.666 * * [simplify]: iters left: 2 (26 enodes) 3.674 * * [simplify]: iters left: 1 (36 enodes) 3.679 * * [simplify]: Extracting #0: cost 1 inf + 0 3.679 * * [simplify]: Extracting #1: cost 12 inf + 0 3.679 * * [simplify]: Extracting #2: cost 11 inf + 372 3.680 * * [simplify]: Extracting #3: cost 1 inf + 949 3.680 * * [simplify]: Extracting #4: cost 0 inf + 1031 3.680 * [simplify]: Simplified to (* (/ b a) (/ b a)) 3.680 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 3.680 * * * * [progress]: [ 87 / 88 ] simplifiying candidate # 3.680 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 3.680 * * [simplify]: iters left: 3 (6 enodes) 3.682 * * [simplify]: iters left: 2 (26 enodes) 3.686 * * [simplify]: iters left: 1 (36 enodes) 3.691 * * [simplify]: Extracting #0: cost 1 inf + 0 3.692 * * [simplify]: Extracting #1: cost 12 inf + 0 3.692 * * [simplify]: Extracting #2: cost 11 inf + 372 3.692 * * [simplify]: Extracting #3: cost 1 inf + 949 3.692 * * [simplify]: Extracting #4: cost 0 inf + 1031 3.692 * [simplify]: Simplified to (* (/ b a) (/ b a)) 3.692 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 3.692 * * * * [progress]: [ 88 / 88 ] simplifiying candidate # 3.693 * [simplify]: Simplifying (/ (pow b 2) (pow a 2)) 3.693 * * [simplify]: iters left: 3 (6 enodes) 3.695 * * [simplify]: iters left: 2 (26 enodes) 3.699 * * [simplify]: iters left: 1 (36 enodes) 3.704 * * [simplify]: Extracting #0: cost 1 inf + 0 3.704 * * [simplify]: Extracting #1: cost 12 inf + 0 3.704 * * [simplify]: Extracting #2: cost 11 inf + 372 3.704 * * [simplify]: Extracting #3: cost 1 inf + 949 3.704 * * [simplify]: Extracting #4: cost 0 inf + 1031 3.705 * [simplify]: Simplified to (* (/ b a) (/ b a)) 3.705 * [simplify]: Simplified (2 1 1 2) to (λ (a b) (sqrt (fabs (- 1 (* (/ b a) (/ b a)))))) 3.705 * * * [progress]: adding candidates to table 4.406 * [progress]: [Phase 3 of 3] Extracting. 4.410 * [simplify]: Simplifying (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 4.411 * * [simplify]: iters left: 6 (8 enodes) 4.411 * * [simplify]: iters left: 5 (10 enodes) 4.412 * * [simplify]: Extracting #0: cost 1 inf + 0 4.412 * * [simplify]: Extracting #1: cost 2 inf + 0 4.412 * * [simplify]: Extracting #2: cost 3 inf + 0 4.412 * * [simplify]: Extracting #3: cost 5 inf + 0 4.412 * * [simplify]: Extracting #4: cost 5 inf + 1 4.412 * * [simplify]: Extracting #5: cost 7 inf + 1 4.412 * * [simplify]: Extracting #6: cost 0 inf + 616 4.413 * [simplify]: Simplified to (sqrt (fabs (- 1 (* (/ b a) (/ b a))))) 5.967 * [regime-testing]: Baseline error score: 7.3194960756452145 5.972 * [regime-testing]: Oracle error score: 7.3194960756452145 5.972 * [regime-testing]: End program error score: 7.3194960756452145