1554040286.007 * [progress]: [Phase 1 of 3] Setting up. 1554040286.007 * * * [progress]: [1/2] Preparing points 1554040286.057 * * * [progress]: [2/2] Setting up program. 1554040286.059 * [progress]: [Phase 2 of 3] Improving. 1554040286.059 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554040286.059 * [simplify]: Simplifying (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)) 1554040286.059 * * [simplify]: iters left: 6 (10 enodes) 1554040286.063 * * [simplify]: iters left: 5 (52 enodes) 1554040286.076 * * [simplify]: iters left: 4 (190 enodes) 1554040286.309 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040286.309 * * [simplify]: Extracting #1: cost 74 inf + 0 1554040286.310 * * [simplify]: Extracting #2: cost 182 inf + 171 1554040286.315 * * [simplify]: Extracting #3: cost 117 inf + 9241 1554040286.326 * * [simplify]: Extracting #4: cost 2 inf + 28413 1554040286.341 * * [simplify]: Extracting #5: cost 0 inf + 28819 1554040286.355 * [simplify]: Simplified to (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) 1554040286.355 * [simplify]: Simplified (2) to (λ (i) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) 1554040286.366 * * [progress]: iteration 1 / 4 1554040286.366 * * * [progress]: picking best candidate 1554040286.369 * * * * [pick]: Picked # 1554040286.369 * * * [progress]: localizing error 1554040286.402 * * * [progress]: generating rewritten candidates 1554040286.402 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1554040286.447 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1 1) 1554040286.461 * * * [progress]: generating series expansions 1554040286.461 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1554040286.461 * [backup-simplify]: Simplify (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) into (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) 1554040286.461 * [approximate]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in (i) around 0 1554040286.461 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i 1554040286.461 * [taylor]: Taking taylor expansion of 1/4 in i 1554040286.461 * [backup-simplify]: Simplify 1/4 into 1/4 1554040286.461 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i 1554040286.461 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.461 * [taylor]: Taking taylor expansion of i in i 1554040286.461 * [backup-simplify]: Simplify 0 into 0 1554040286.461 * [backup-simplify]: Simplify 1 into 1 1554040286.461 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i 1554040286.461 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i 1554040286.461 * [taylor]: Taking taylor expansion of 4 in i 1554040286.461 * [backup-simplify]: Simplify 4 into 4 1554040286.461 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.461 * [taylor]: Taking taylor expansion of i in i 1554040286.461 * [backup-simplify]: Simplify 0 into 0 1554040286.461 * [backup-simplify]: Simplify 1 into 1 1554040286.461 * [taylor]: Taking taylor expansion of 1.0 in i 1554040286.461 * [backup-simplify]: Simplify 1.0 into 1.0 1554040286.462 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.462 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1554040286.463 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 1554040286.463 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 1554040286.463 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i 1554040286.463 * [taylor]: Taking taylor expansion of 1/4 in i 1554040286.463 * [backup-simplify]: Simplify 1/4 into 1/4 1554040286.463 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i 1554040286.463 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.463 * [taylor]: Taking taylor expansion of i in i 1554040286.464 * [backup-simplify]: Simplify 0 into 0 1554040286.464 * [backup-simplify]: Simplify 1 into 1 1554040286.464 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i 1554040286.464 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i 1554040286.464 * [taylor]: Taking taylor expansion of 4 in i 1554040286.464 * [backup-simplify]: Simplify 4 into 4 1554040286.464 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.464 * [taylor]: Taking taylor expansion of i in i 1554040286.464 * [backup-simplify]: Simplify 0 into 0 1554040286.464 * [backup-simplify]: Simplify 1 into 1 1554040286.464 * [taylor]: Taking taylor expansion of 1.0 in i 1554040286.464 * [backup-simplify]: Simplify 1.0 into 1.0 1554040286.464 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.464 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1554040286.465 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 1554040286.465 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 1554040286.466 * [backup-simplify]: Simplify (* 1/4 -1.0) into -0.25 1554040286.466 * [backup-simplify]: Simplify -0.25 into -0.25 1554040286.466 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040286.466 * [backup-simplify]: Simplify (- 0) into 0 1554040286.466 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040286.467 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0 1554040286.467 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 -1.0)) into 0 1554040286.467 * [backup-simplify]: Simplify 0 into 0 1554040286.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.468 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.468 * [backup-simplify]: Simplify (* 4 1) into 4 1554040286.469 * [backup-simplify]: Simplify (- 0) into 0 1554040286.469 * [backup-simplify]: Simplify (+ 4 0) into 4 1554040286.474 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0) 1554040286.477 * [backup-simplify]: Simplify (+ (* 1/4 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0) 1554040286.477 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1554040286.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040286.479 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040286.479 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0 1554040286.480 * [backup-simplify]: Simplify (- 0) into 0 1554040286.480 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040286.484 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0 1554040286.485 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0 1554040286.485 * [backup-simplify]: Simplify 0 into 0 1554040286.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040286.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.487 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.487 * [backup-simplify]: Simplify (- 0) into 0 1554040286.487 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040286.492 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 4.0) (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 16.0) 1554040286.494 * [backup-simplify]: Simplify (+ (* 1/4 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0) 1554040286.494 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 1554040286.495 * [backup-simplify]: Simplify (+ (* (- 4.0) (pow i 6)) (+ (* (- 1.0) (pow i 4)) (* -0.25 (pow i 2)))) into (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1554040286.495 * [backup-simplify]: Simplify (/ (* (/ 1 i) (/ 1 i)) (* (- (* 4 (* (/ 1 i) (/ 1 i))) 1.0) 4)) into (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) 1554040286.495 * [approximate]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0 1554040286.495 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 1554040286.495 * [taylor]: Taking taylor expansion of 1/4 in i 1554040286.495 * [backup-simplify]: Simplify 1/4 into 1/4 1554040286.495 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 1554040286.495 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.495 * [taylor]: Taking taylor expansion of i in i 1554040286.495 * [backup-simplify]: Simplify 0 into 0 1554040286.495 * [backup-simplify]: Simplify 1 into 1 1554040286.495 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 1554040286.495 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 1554040286.495 * [taylor]: Taking taylor expansion of 4 in i 1554040286.496 * [backup-simplify]: Simplify 4 into 4 1554040286.496 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 1554040286.496 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.496 * [taylor]: Taking taylor expansion of i in i 1554040286.496 * [backup-simplify]: Simplify 0 into 0 1554040286.496 * [backup-simplify]: Simplify 1 into 1 1554040286.496 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.496 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040286.496 * [taylor]: Taking taylor expansion of 1.0 in i 1554040286.496 * [backup-simplify]: Simplify 1.0 into 1.0 1554040286.496 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.497 * [backup-simplify]: Simplify (* 4 1) into 4 1554040286.497 * [backup-simplify]: Simplify (+ 4 0) into 4 1554040286.497 * [backup-simplify]: Simplify (* 1 4) into 4 1554040286.498 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 1554040286.498 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 1554040286.498 * [taylor]: Taking taylor expansion of 1/4 in i 1554040286.498 * [backup-simplify]: Simplify 1/4 into 1/4 1554040286.498 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 1554040286.498 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.498 * [taylor]: Taking taylor expansion of i in i 1554040286.498 * [backup-simplify]: Simplify 0 into 0 1554040286.498 * [backup-simplify]: Simplify 1 into 1 1554040286.498 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 1554040286.498 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 1554040286.498 * [taylor]: Taking taylor expansion of 4 in i 1554040286.498 * [backup-simplify]: Simplify 4 into 4 1554040286.498 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 1554040286.498 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.498 * [taylor]: Taking taylor expansion of i in i 1554040286.498 * [backup-simplify]: Simplify 0 into 0 1554040286.498 * [backup-simplify]: Simplify 1 into 1 1554040286.498 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.498 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040286.498 * [taylor]: Taking taylor expansion of 1.0 in i 1554040286.498 * [backup-simplify]: Simplify 1.0 into 1.0 1554040286.499 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.499 * [backup-simplify]: Simplify (* 4 1) into 4 1554040286.499 * [backup-simplify]: Simplify (+ 4 0) into 4 1554040286.499 * [backup-simplify]: Simplify (* 1 4) into 4 1554040286.500 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 1554040286.500 * [backup-simplify]: Simplify 1/16 into 1/16 1554040286.500 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040286.501 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040286.501 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0 1554040286.501 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040286.502 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040286.502 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4)) into 0 1554040286.503 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 1554040286.503 * [backup-simplify]: Simplify 0 into 0 1554040286.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.504 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.505 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1554040286.505 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 1554040286.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.509 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0) 1554040286.514 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 1554040286.514 * [backup-simplify]: Simplify 0.015625 into 0.015625 1554040286.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040286.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.517 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040286.518 * [backup-simplify]: Simplify (- 0) into 0 1554040286.518 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040286.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040286.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0 1554040286.522 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 1554040286.522 * [backup-simplify]: Simplify 0 into 0 1554040286.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040286.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.526 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040286.526 * [backup-simplify]: Simplify (- 0) into 0 1554040286.527 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040286.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040286.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0 1554040286.536 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 1554040286.536 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040286.536 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1554040286.537 * [backup-simplify]: Simplify (/ (* (/ 1 (- i)) (/ 1 (- i))) (* (- (* 4 (* (/ 1 (- i)) (/ 1 (- i)))) 1.0) 4)) into (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) 1554040286.537 * [approximate]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0 1554040286.537 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 1554040286.537 * [taylor]: Taking taylor expansion of 1/4 in i 1554040286.537 * [backup-simplify]: Simplify 1/4 into 1/4 1554040286.537 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 1554040286.537 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.537 * [taylor]: Taking taylor expansion of i in i 1554040286.537 * [backup-simplify]: Simplify 0 into 0 1554040286.537 * [backup-simplify]: Simplify 1 into 1 1554040286.537 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 1554040286.537 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 1554040286.537 * [taylor]: Taking taylor expansion of 4 in i 1554040286.537 * [backup-simplify]: Simplify 4 into 4 1554040286.537 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 1554040286.537 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.537 * [taylor]: Taking taylor expansion of i in i 1554040286.537 * [backup-simplify]: Simplify 0 into 0 1554040286.537 * [backup-simplify]: Simplify 1 into 1 1554040286.538 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.538 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040286.538 * [taylor]: Taking taylor expansion of 1.0 in i 1554040286.538 * [backup-simplify]: Simplify 1.0 into 1.0 1554040286.539 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.539 * [backup-simplify]: Simplify (* 4 1) into 4 1554040286.539 * [backup-simplify]: Simplify (+ 4 0) into 4 1554040286.540 * [backup-simplify]: Simplify (* 1 4) into 4 1554040286.540 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 1554040286.540 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 1554040286.540 * [taylor]: Taking taylor expansion of 1/4 in i 1554040286.540 * [backup-simplify]: Simplify 1/4 into 1/4 1554040286.540 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 1554040286.540 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.540 * [taylor]: Taking taylor expansion of i in i 1554040286.540 * [backup-simplify]: Simplify 0 into 0 1554040286.540 * [backup-simplify]: Simplify 1 into 1 1554040286.541 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 1554040286.541 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 1554040286.541 * [taylor]: Taking taylor expansion of 4 in i 1554040286.541 * [backup-simplify]: Simplify 4 into 4 1554040286.541 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 1554040286.541 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.541 * [taylor]: Taking taylor expansion of i in i 1554040286.541 * [backup-simplify]: Simplify 0 into 0 1554040286.541 * [backup-simplify]: Simplify 1 into 1 1554040286.541 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.541 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040286.542 * [taylor]: Taking taylor expansion of 1.0 in i 1554040286.542 * [backup-simplify]: Simplify 1.0 into 1.0 1554040286.542 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.542 * [backup-simplify]: Simplify (* 4 1) into 4 1554040286.543 * [backup-simplify]: Simplify (+ 4 0) into 4 1554040286.543 * [backup-simplify]: Simplify (* 1 4) into 4 1554040286.544 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 1554040286.544 * [backup-simplify]: Simplify 1/16 into 1/16 1554040286.544 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040286.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040286.546 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0 1554040286.546 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040286.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040286.548 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4)) into 0 1554040286.549 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 1554040286.549 * [backup-simplify]: Simplify 0 into 0 1554040286.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.552 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.552 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 1554040286.553 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 1554040286.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.555 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0) 1554040286.558 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 1554040286.558 * [backup-simplify]: Simplify 0.015625 into 0.015625 1554040286.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040286.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.560 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040286.560 * [backup-simplify]: Simplify (- 0) into 0 1554040286.560 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040286.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040286.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0 1554040286.562 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 1554040286.562 * [backup-simplify]: Simplify 0 into 0 1554040286.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040286.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.564 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040286.564 * [backup-simplify]: Simplify (- 0) into 0 1554040286.565 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040286.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040286.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0 1554040286.570 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 1554040286.570 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040286.570 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1554040286.570 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1 1) 1554040286.570 * [backup-simplify]: Simplify (* 4 (* i i)) into (* 4 (pow i 2)) 1554040286.570 * [approximate]: Taking taylor expansion of (* 4 (pow i 2)) in (i) around 0 1554040286.570 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i 1554040286.570 * [taylor]: Taking taylor expansion of 4 in i 1554040286.570 * [backup-simplify]: Simplify 4 into 4 1554040286.570 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.571 * [taylor]: Taking taylor expansion of i in i 1554040286.571 * [backup-simplify]: Simplify 0 into 0 1554040286.571 * [backup-simplify]: Simplify 1 into 1 1554040286.571 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i 1554040286.571 * [taylor]: Taking taylor expansion of 4 in i 1554040286.571 * [backup-simplify]: Simplify 4 into 4 1554040286.571 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.571 * [taylor]: Taking taylor expansion of i in i 1554040286.571 * [backup-simplify]: Simplify 0 into 0 1554040286.571 * [backup-simplify]: Simplify 1 into 1 1554040286.571 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.571 * [backup-simplify]: Simplify (* 4 1) into 4 1554040286.571 * [backup-simplify]: Simplify 4 into 4 1554040286.572 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040286.572 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0 1554040286.572 * [backup-simplify]: Simplify 0 into 0 1554040286.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.573 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.573 * [backup-simplify]: Simplify 0 into 0 1554040286.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040286.574 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040286.574 * [backup-simplify]: Simplify 0 into 0 1554040286.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040286.576 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040286.576 * [backup-simplify]: Simplify 0 into 0 1554040286.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040286.577 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040286.577 * [backup-simplify]: Simplify 0 into 0 1554040286.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040286.579 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040286.579 * [backup-simplify]: Simplify 0 into 0 1554040286.579 * [backup-simplify]: Simplify (* 4 (pow i 2)) into (* 4 (pow i 2)) 1554040286.580 * [backup-simplify]: Simplify (* 4 (* (/ 1 i) (/ 1 i))) into (/ 4 (pow i 2)) 1554040286.580 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0 1554040286.580 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i 1554040286.580 * [taylor]: Taking taylor expansion of 4 in i 1554040286.580 * [backup-simplify]: Simplify 4 into 4 1554040286.580 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.580 * [taylor]: Taking taylor expansion of i in i 1554040286.580 * [backup-simplify]: Simplify 0 into 0 1554040286.580 * [backup-simplify]: Simplify 1 into 1 1554040286.580 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.580 * [backup-simplify]: Simplify (/ 4 1) into 4 1554040286.580 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i 1554040286.580 * [taylor]: Taking taylor expansion of 4 in i 1554040286.580 * [backup-simplify]: Simplify 4 into 4 1554040286.580 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.580 * [taylor]: Taking taylor expansion of i in i 1554040286.580 * [backup-simplify]: Simplify 0 into 0 1554040286.580 * [backup-simplify]: Simplify 1 into 1 1554040286.581 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.581 * [backup-simplify]: Simplify (/ 4 1) into 4 1554040286.581 * [backup-simplify]: Simplify 4 into 4 1554040286.581 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040286.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0 1554040286.582 * [backup-simplify]: Simplify 0 into 0 1554040286.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.583 * [backup-simplify]: Simplify 0 into 0 1554040286.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040286.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.584 * [backup-simplify]: Simplify 0 into 0 1554040286.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040286.586 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.586 * [backup-simplify]: Simplify 0 into 0 1554040286.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040286.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.594 * [backup-simplify]: Simplify 0 into 0 1554040286.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040286.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.597 * [backup-simplify]: Simplify 0 into 0 1554040286.597 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 i)) 2)) into (* 4 (pow i 2)) 1554040286.597 * [backup-simplify]: Simplify (* 4 (* (/ 1 (- i)) (/ 1 (- i)))) into (/ 4 (pow i 2)) 1554040286.597 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0 1554040286.597 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i 1554040286.597 * [taylor]: Taking taylor expansion of 4 in i 1554040286.597 * [backup-simplify]: Simplify 4 into 4 1554040286.597 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.597 * [taylor]: Taking taylor expansion of i in i 1554040286.597 * [backup-simplify]: Simplify 0 into 0 1554040286.597 * [backup-simplify]: Simplify 1 into 1 1554040286.598 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.598 * [backup-simplify]: Simplify (/ 4 1) into 4 1554040286.598 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i 1554040286.598 * [taylor]: Taking taylor expansion of 4 in i 1554040286.598 * [backup-simplify]: Simplify 4 into 4 1554040286.598 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040286.598 * [taylor]: Taking taylor expansion of i in i 1554040286.598 * [backup-simplify]: Simplify 0 into 0 1554040286.598 * [backup-simplify]: Simplify 1 into 1 1554040286.599 * [backup-simplify]: Simplify (* 1 1) into 1 1554040286.599 * [backup-simplify]: Simplify (/ 4 1) into 4 1554040286.599 * [backup-simplify]: Simplify 4 into 4 1554040286.600 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040286.601 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0 1554040286.601 * [backup-simplify]: Simplify 0 into 0 1554040286.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040286.603 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.603 * [backup-simplify]: Simplify 0 into 0 1554040286.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040286.606 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.606 * [backup-simplify]: Simplify 0 into 0 1554040286.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040286.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.608 * [backup-simplify]: Simplify 0 into 0 1554040286.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040286.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.610 * [backup-simplify]: Simplify 0 into 0 1554040286.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040286.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040286.612 * [backup-simplify]: Simplify 0 into 0 1554040286.612 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 (- i))) 2)) into (* 4 (pow i 2)) 1554040286.612 * * * [progress]: simplifying candidates 1554040286.612 * * * * [progress]: [ 1 / 50 ] simplifiying candidate # 1554040286.612 * * * * [progress]: [ 2 / 50 ] simplifiying candidate # 1554040286.612 * [simplify]: Simplifying (- (+ (log i) (log i)) (+ (log (- (* 4 (* i i)) 1.0)) (log 4))) 1554040286.612 * * [simplify]: iters left: 6 (12 enodes) 1554040286.616 * * [simplify]: iters left: 5 (48 enodes) 1554040286.625 * * [simplify]: iters left: 4 (78 enodes) 1554040286.637 * * [simplify]: iters left: 3 (119 enodes) 1554040286.670 * * [simplify]: iters left: 2 (164 enodes) 1554040286.715 * * [simplify]: iters left: 1 (202 enodes) 1554040286.765 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040286.765 * * [simplify]: Extracting #1: cost 36 inf + 0 1554040286.766 * * [simplify]: Extracting #2: cost 67 inf + 0 1554040286.766 * * [simplify]: Extracting #3: cost 68 inf + 73 1554040286.766 * * [simplify]: Extracting #4: cost 54 inf + 2556 1554040286.767 * * [simplify]: Extracting #5: cost 34 inf + 6009 1554040286.770 * * [simplify]: Extracting #6: cost 8 inf + 14662 1554040286.774 * * [simplify]: Extracting #7: cost 0 inf + 17696 1554040286.778 * [simplify]: Simplified to (- (log i) (- (log 4) (- (log i) (log (- (* 4 (* i i)) 1.0))))) 1554040286.778 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (log i) (- (log 4) (- (log i) (log (- (* 4 (* i i)) 1.0))))))) 1554040286.778 * * * * [progress]: [ 3 / 50 ] simplifiying candidate # 1554040286.778 * [simplify]: Simplifying (- (+ (log i) (log i)) (log (* (- (* 4 (* i i)) 1.0) 4))) 1554040286.779 * * [simplify]: iters left: 6 (11 enodes) 1554040286.782 * * [simplify]: iters left: 5 (46 enodes) 1554040286.792 * * [simplify]: iters left: 4 (79 enodes) 1554040286.806 * * [simplify]: iters left: 3 (129 enodes) 1554040286.827 * * [simplify]: iters left: 2 (187 enodes) 1554040286.887 * * [simplify]: iters left: 1 (248 enodes) 1554040286.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040286.953 * * [simplify]: Extracting #1: cost 35 inf + 0 1554040286.953 * * [simplify]: Extracting #2: cost 67 inf + 0 1554040286.953 * * [simplify]: Extracting #3: cost 69 inf + 326 1554040286.954 * * [simplify]: Extracting #4: cost 57 inf + 3857 1554040286.955 * * [simplify]: Extracting #5: cost 40 inf + 6106 1554040286.957 * * [simplify]: Extracting #6: cost 16 inf + 11841 1554040286.960 * * [simplify]: Extracting #7: cost 1 inf + 17025 1554040286.968 * * [simplify]: Extracting #8: cost 0 inf + 17368 1554040286.976 * [simplify]: Simplified to (- (+ (log i) (log i)) (log (* 4 (- (* 4 (* i i)) 1.0)))) 1554040286.976 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (+ (log i) (log i)) (log (* 4 (- (* 4 (* i i)) 1.0)))))) 1554040286.977 * * * * [progress]: [ 4 / 50 ] simplifiying candidate # 1554040286.977 * [simplify]: Simplifying (- (log (* i i)) (+ (log (- (* 4 (* i i)) 1.0)) (log 4))) 1554040286.977 * * [simplify]: iters left: 6 (11 enodes) 1554040286.986 * * [simplify]: iters left: 5 (45 enodes) 1554040287.007 * * [simplify]: iters left: 4 (73 enodes) 1554040287.028 * * [simplify]: iters left: 3 (109 enodes) 1554040287.046 * * [simplify]: iters left: 2 (155 enodes) 1554040287.069 * * [simplify]: iters left: 1 (204 enodes) 1554040287.106 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040287.106 * * [simplify]: Extracting #1: cost 34 inf + 0 1554040287.107 * * [simplify]: Extracting #2: cost 68 inf + 0 1554040287.107 * * [simplify]: Extracting #3: cost 68 inf + 185 1554040287.107 * * [simplify]: Extracting #4: cost 50 inf + 3614 1554040287.110 * * [simplify]: Extracting #5: cost 11 inf + 14210 1554040287.113 * * [simplify]: Extracting #6: cost 0 inf + 17297 1554040287.117 * [simplify]: Simplified to (- (- (log (* i i)) (log 4)) (log (- (* 4 (* i i)) 1.0))) 1554040287.117 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (- (log (* i i)) (log 4)) (log (- (* 4 (* i i)) 1.0))))) 1554040287.117 * * * * [progress]: [ 5 / 50 ] simplifiying candidate # 1554040287.117 * [simplify]: Simplifying (- (log (* i i)) (log (* (- (* 4 (* i i)) 1.0) 4))) 1554040287.117 * * [simplify]: iters left: 6 (10 enodes) 1554040287.120 * * [simplify]: iters left: 5 (43 enodes) 1554040287.128 * * [simplify]: iters left: 4 (75 enodes) 1554040287.152 * * [simplify]: iters left: 3 (119 enodes) 1554040287.194 * * [simplify]: iters left: 2 (177 enodes) 1554040287.249 * * [simplify]: iters left: 1 (233 enodes) 1554040287.313 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040287.313 * * [simplify]: Extracting #1: cost 33 inf + 0 1554040287.313 * * [simplify]: Extracting #2: cost 66 inf + 0 1554040287.313 * * [simplify]: Extracting #3: cost 71 inf + 114 1554040287.314 * * [simplify]: Extracting #4: cost 50 inf + 4205 1554040287.316 * * [simplify]: Extracting #5: cost 19 inf + 11533 1554040287.319 * * [simplify]: Extracting #6: cost 2 inf + 16681 1554040287.323 * * [simplify]: Extracting #7: cost 0 inf + 16936 1554040287.326 * [simplify]: Simplified to (- (log (* i i)) (log (* 4 (- (* 4 (* i i)) 1.0)))) 1554040287.326 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (log (* i i)) (log (* 4 (- (* 4 (* i i)) 1.0)))))) 1554040287.326 * * * * [progress]: [ 6 / 50 ] simplifiying candidate # 1554040287.326 * * * * [progress]: [ 7 / 50 ] simplifiying candidate # 1554040287.326 * * * * [progress]: [ 8 / 50 ] simplifiying candidate # 1554040287.327 * [simplify]: Simplifying (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* 4 (* i i)) 1.0) (- (* 4 (* i i)) 1.0)) (- (* 4 (* i i)) 1.0)) (* (* 4 4) 4))) 1554040287.327 * * [simplify]: iters left: 6 (14 enodes) 1554040287.335 * * [simplify]: iters left: 5 (70 enodes) 1554040287.364 * * [simplify]: iters left: 4 (270 enodes) 1554040287.576 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040287.576 * * [simplify]: Extracting #1: cost 164 inf + 0 1554040287.578 * * [simplify]: Extracting #2: cost 391 inf + 1063 1554040287.585 * * [simplify]: Extracting #3: cost 242 inf + 36402 1554040287.617 * * [simplify]: Extracting #4: cost 21 inf + 89332 1554040287.651 * * [simplify]: Extracting #5: cost 0 inf + 93466 1554040287.709 * * [simplify]: Extracting #6: cost 0 inf + 93146 1554040287.741 * [simplify]: Simplified to (/ (/ (* i i) (- (* (* i i) 4) 1.0)) (/ 64 (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0))))) 1554040287.741 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (/ (/ (* i i) (- (* (* i i) 4) 1.0)) (/ 64 (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0))))))) 1554040287.741 * * * * [progress]: [ 9 / 50 ] simplifiying candidate # 1554040287.741 * [simplify]: Simplifying (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* 4 (* i i)) 1.0) 4) (* (- (* 4 (* i i)) 1.0) 4)) (* (- (* 4 (* i i)) 1.0) 4))) 1554040287.741 * * [simplify]: iters left: 6 (12 enodes) 1554040287.746 * * [simplify]: iters left: 5 (67 enodes) 1554040287.772 * * [simplify]: iters left: 4 (294 enodes) 1554040288.053 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040288.054 * * [simplify]: Extracting #1: cost 185 inf + 0 1554040288.056 * * [simplify]: Extracting #2: cost 516 inf + 777 1554040288.067 * * [simplify]: Extracting #3: cost 323 inf + 55448 1554040288.111 * * [simplify]: Extracting #4: cost 26 inf + 129001 1554040288.195 * * [simplify]: Extracting #5: cost 0 inf + 134798 1554040288.275 * * [simplify]: Extracting #6: cost 0 inf + 134758 1554040288.343 * [simplify]: Simplified to (* (* (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) 1554040288.343 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (* (* (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))))) 1554040288.343 * * * * [progress]: [ 10 / 50 ] simplifiying candidate # 1554040288.343 * [simplify]: Simplifying (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* 4 (* i i)) 1.0) (- (* 4 (* i i)) 1.0)) (- (* 4 (* i i)) 1.0)) (* (* 4 4) 4))) 1554040288.343 * * [simplify]: iters left: 6 (14 enodes) 1554040288.349 * * [simplify]: iters left: 5 (71 enodes) 1554040288.367 * * [simplify]: iters left: 4 (258 enodes) 1554040288.557 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040288.558 * * [simplify]: Extracting #1: cost 187 inf + 0 1554040288.561 * * [simplify]: Extracting #2: cost 406 inf + 2003 1554040288.578 * * [simplify]: Extracting #3: cost 215 inf + 45331 1554040288.608 * * [simplify]: Extracting #4: cost 13 inf + 93848 1554040288.656 * * [simplify]: Extracting #5: cost 0 inf + 96560 1554040288.706 * * [simplify]: Extracting #6: cost 0 inf + 96320 1554040288.760 * [simplify]: Simplified to (/ (/ (* i i) (- (* (* i i) 4) 1.0)) (/ 64 (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0))))) 1554040288.761 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (/ (/ (* i i) (- (* (* i i) 4) 1.0)) (/ 64 (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0))))))) 1554040288.761 * * * * [progress]: [ 11 / 50 ] simplifiying candidate # 1554040288.761 * [simplify]: Simplifying (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* 4 (* i i)) 1.0) 4) (* (- (* 4 (* i i)) 1.0) 4)) (* (- (* 4 (* i i)) 1.0) 4))) 1554040288.761 * * [simplify]: iters left: 6 (12 enodes) 1554040288.766 * * [simplify]: iters left: 5 (68 enodes) 1554040288.783 * * [simplify]: iters left: 4 (291 enodes) 1554040289.018 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040289.018 * * [simplify]: Extracting #1: cost 168 inf + 0 1554040289.020 * * [simplify]: Extracting #2: cost 481 inf + 818 1554040289.030 * * [simplify]: Extracting #3: cost 311 inf + 50258 1554040289.068 * * [simplify]: Extracting #4: cost 22 inf + 119294 1554040289.141 * * [simplify]: Extracting #5: cost 0 inf + 124400 1554040289.183 * * [simplify]: Extracting #6: cost 0 inf + 124360 1554040289.254 * [simplify]: Simplified to (* (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) (* (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)))) 1554040289.254 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (* (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) (* (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)))))) 1554040289.254 * * * * [progress]: [ 12 / 50 ] simplifiying candidate # 1554040289.254 * * * * [progress]: [ 13 / 50 ] simplifiying candidate # 1554040289.254 * * * * [progress]: [ 14 / 50 ] simplifiying candidate # 1554040289.254 * * * * [progress]: [ 15 / 50 ] simplifiying candidate # 1554040289.254 * * * * [progress]: [ 16 / 50 ] simplifiying candidate # 1554040289.254 * [simplify]: Simplifying (/ i (- (* 4 (* i i)) 1.0)) 1554040289.254 * * [simplify]: iters left: 6 (7 enodes) 1554040289.257 * * [simplify]: iters left: 5 (26 enodes) 1554040289.262 * * [simplify]: iters left: 4 (33 enodes) 1554040289.267 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040289.267 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040289.267 * * [simplify]: Extracting #2: cost 7 inf + 1 1554040289.267 * * [simplify]: Extracting #3: cost 10 inf + 43 1554040289.267 * * [simplify]: Extracting #4: cost 5 inf + 455 1554040289.267 * * [simplify]: Extracting #5: cost 1 inf + 824 1554040289.267 * * [simplify]: Extracting #6: cost 0 inf + 987 1554040289.268 * [simplify]: Simplified to (/ i (- (* (* i i) 4) 1.0)) 1554040289.268 * [simplify]: Simplified (2 1) to (λ (i) (* (/ i (- (* (* i i) 4) 1.0)) (/ i 4))) 1554040289.268 * [simplify]: Simplifying (/ i 4) 1554040289.268 * * [simplify]: iters left: 2 (3 enodes) 1554040289.269 * * [simplify]: iters left: 1 (9 enodes) 1554040289.270 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040289.270 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040289.270 * * [simplify]: Extracting #2: cost 2 inf + 2 1554040289.271 * * [simplify]: Extracting #3: cost 0 inf + 86 1554040289.271 * [simplify]: Simplified to (/ i 4) 1554040289.271 * [simplify]: Simplified (2 2) to (λ (i) (* (/ i (- (* 4 (* i i)) 1.0)) (/ i 4))) 1554040289.271 * * * * [progress]: [ 17 / 50 ] simplifiying candidate # 1554040289.271 * * * * [progress]: [ 18 / 50 ] simplifiying candidate # 1554040289.271 * * * * [progress]: [ 19 / 50 ] simplifiying candidate # 1554040289.271 * * * * [progress]: [ 20 / 50 ] simplifiying candidate # 1554040289.271 * * * * [progress]: [ 21 / 50 ] simplifiying candidate # 1554040289.271 * * * * [progress]: [ 22 / 50 ] simplifiying candidate # 1554040289.271 * [simplify]: Simplifying (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))) 1554040289.271 * * [simplify]: iters left: 6 (10 enodes) 1554040289.275 * * [simplify]: iters left: 5 (50 enodes) 1554040289.288 * * [simplify]: iters left: 4 (111 enodes) 1554040289.324 * * [simplify]: iters left: 3 (198 enodes) 1554040289.389 * * [simplify]: iters left: 2 (302 enodes) 1554040289.508 * * [simplify]: iters left: 1 (351 enodes) 1554040289.571 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040289.571 * * [simplify]: Extracting #1: cost 8 inf + 0 1554040289.572 * * [simplify]: Extracting #2: cost 45 inf + 0 1554040289.572 * * [simplify]: Extracting #3: cost 78 inf + 46 1554040289.574 * * [simplify]: Extracting #4: cost 39 inf + 4482 1554040289.578 * * [simplify]: Extracting #5: cost 15 inf + 8888 1554040289.584 * * [simplify]: Extracting #6: cost 0 inf + 12965 1554040289.589 * [simplify]: Simplified to (+ (* 1.0 (+ (* 4 (* i i)) 1.0)) (* (* 4 (* i i)) (* 4 (* i i)))) 1554040289.589 * [simplify]: Simplified (2 2) to (λ (i) (* (/ (* i i) (* (- (pow (* 4 (* i i)) 3) (pow 1.0 3)) 4)) (+ (* 1.0 (+ (* 4 (* i i)) 1.0)) (* (* 4 (* i i)) (* 4 (* i i)))))) 1554040289.589 * * * * [progress]: [ 23 / 50 ] simplifiying candidate # 1554040289.589 * [simplify]: Simplifying (+ (* 4 (* i i)) 1.0) 1554040289.590 * * [simplify]: iters left: 6 (6 enodes) 1554040289.594 * * [simplify]: iters left: 5 (22 enodes) 1554040289.601 * * [simplify]: iters left: 4 (26 enodes) 1554040289.609 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040289.609 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040289.609 * * [simplify]: Extracting #2: cost 8 inf + 1 1554040289.609 * * [simplify]: Extracting #3: cost 8 inf + 3 1554040289.609 * * [simplify]: Extracting #4: cost 1 inf + 456 1554040289.610 * * [simplify]: Extracting #5: cost 0 inf + 579 1554040289.610 * [simplify]: Simplified to (+ (* 4 (* i i)) 1.0) 1554040289.610 * [simplify]: Simplified (2 2) to (λ (i) (* (/ (* i i) (* (- (* (* 4 (* i i)) (* 4 (* i i))) (* 1.0 1.0)) 4)) (+ (* 4 (* i i)) 1.0))) 1554040289.610 * * * * [progress]: [ 24 / 50 ] simplifiying candidate #real (real->posit16 (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))))> 1554040289.610 * * * * [progress]: [ 25 / 50 ] simplifiying candidate # 1554040289.611 * [simplify]: Simplifying (* 4 (* i i)) 1554040289.611 * * [simplify]: iters left: 4 (4 enodes) 1554040289.613 * * [simplify]: iters left: 3 (15 enodes) 1554040289.618 * * [simplify]: iters left: 2 (19 enodes) 1554040289.623 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040289.623 * * [simplify]: Extracting #1: cost 6 inf + 0 1554040289.623 * * [simplify]: Extracting #2: cost 5 inf + 43 1554040289.623 * * [simplify]: Extracting #3: cost 0 inf + 332 1554040289.623 * [simplify]: Simplified to (* 4 (* i i)) 1554040289.623 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (pow (* 4 (* i i)) 1) 1.0) 4))) 1554040289.624 * * * * [progress]: [ 26 / 50 ] simplifiying candidate # 1554040289.624 * [simplify]: Simplifying (* 4 (* i i)) 1554040289.624 * * [simplify]: iters left: 4 (4 enodes) 1554040289.626 * * [simplify]: iters left: 3 (15 enodes) 1554040289.631 * * [simplify]: iters left: 2 (19 enodes) 1554040289.636 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040289.636 * * [simplify]: Extracting #1: cost 6 inf + 0 1554040289.637 * * [simplify]: Extracting #2: cost 5 inf + 43 1554040289.637 * * [simplify]: Extracting #3: cost 0 inf + 332 1554040289.637 * [simplify]: Simplified to (* 4 (* i i)) 1554040289.637 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (pow (* 4 (* i i)) 1) 1.0) 4))) 1554040289.637 * * * * [progress]: [ 27 / 50 ] simplifiying candidate # 1554040289.637 * * * * [progress]: [ 28 / 50 ] simplifiying candidate # 1554040289.637 * [simplify]: Simplifying (+ (log 4) (+ (log i) (log i))) 1554040289.638 * * [simplify]: iters left: 5 (6 enodes) 1554040289.641 * * [simplify]: iters left: 4 (21 enodes) 1554040289.644 * * [simplify]: iters left: 3 (25 enodes) 1554040289.648 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040289.648 * * [simplify]: Extracting #1: cost 6 inf + 0 1554040289.648 * * [simplify]: Extracting #2: cost 12 inf + 0 1554040289.648 * * [simplify]: Extracting #3: cost 10 inf + 2 1554040289.648 * * [simplify]: Extracting #4: cost 0 inf + 1316 1554040289.648 * [simplify]: Simplified to (+ (log 4) (+ (log i) (log i))) 1554040289.648 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (exp (+ (log 4) (+ (log i) (log i)))) 1.0) 4))) 1554040289.648 * * * * [progress]: [ 29 / 50 ] simplifiying candidate # 1554040289.649 * [simplify]: Simplifying (+ (log 4) (log (* i i))) 1554040289.649 * * [simplify]: iters left: 5 (6 enodes) 1554040289.650 * * [simplify]: iters left: 4 (21 enodes) 1554040289.654 * * [simplify]: iters left: 3 (27 enodes) 1554040289.658 * * [simplify]: iters left: 2 (32 enodes) 1554040289.663 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040289.663 * * [simplify]: Extracting #1: cost 6 inf + 0 1554040289.663 * * [simplify]: Extracting #2: cost 13 inf + 0 1554040289.663 * * [simplify]: Extracting #3: cost 9 inf + 185 1554040289.663 * * [simplify]: Extracting #4: cost 4 inf + 741 1554040289.663 * * [simplify]: Extracting #5: cost 0 inf + 1398 1554040289.663 * [simplify]: Simplified to (+ (log 4) (+ (log i) (log i))) 1554040289.663 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (exp (+ (log 4) (+ (log i) (log i)))) 1.0) 4))) 1554040289.664 * * * * [progress]: [ 30 / 50 ] simplifiying candidate # 1554040289.664 * * * * [progress]: [ 31 / 50 ] simplifiying candidate # 1554040289.664 * * * * [progress]: [ 32 / 50 ] simplifiying candidate # 1554040289.664 * [simplify]: Simplifying (* (* (* 4 4) 4) (* (* (* i i) i) (* (* i i) i))) 1554040289.664 * * [simplify]: iters left: 6 (8 enodes) 1554040289.667 * * [simplify]: iters left: 5 (38 enodes) 1554040289.676 * * [simplify]: iters left: 4 (97 enodes) 1554040289.712 * * [simplify]: iters left: 3 (264 enodes) 1554040289.842 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040289.842 * * [simplify]: Extracting #1: cost 52 inf + 0 1554040289.843 * * [simplify]: Extracting #2: cost 84 inf + 1308 1554040289.848 * * [simplify]: Extracting #3: cost 36 inf + 6812 1554040289.854 * * [simplify]: Extracting #4: cost 23 inf + 8440 1554040289.860 * * [simplify]: Extracting #5: cost 9 inf + 12005 1554040289.867 * * [simplify]: Extracting #6: cost 0 inf + 14599 1554040289.874 * [simplify]: Simplified to (* 64 (* (* i (* i i)) (* i (* i i)))) 1554040289.874 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (cbrt (* 64 (* (* i (* i i)) (* i (* i i))))) 1.0) 4))) 1554040289.874 * * * * [progress]: [ 33 / 50 ] simplifiying candidate # 1554040289.875 * [simplify]: Simplifying (* (* (* 4 4) 4) (* (* (* i i) (* i i)) (* i i))) 1554040289.875 * * [simplify]: iters left: 6 (8 enodes) 1554040289.880 * * [simplify]: iters left: 5 (39 enodes) 1554040289.896 * * [simplify]: iters left: 4 (97 enodes) 1554040289.933 * * [simplify]: iters left: 3 (266 enodes) 1554040290.086 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040290.086 * * [simplify]: Extracting #1: cost 64 inf + 0 1554040290.087 * * [simplify]: Extracting #2: cost 104 inf + 1388 1554040290.089 * * [simplify]: Extracting #3: cost 48 inf + 7422 1554040290.093 * * [simplify]: Extracting #4: cost 6 inf + 16338 1554040290.096 * * [simplify]: Extracting #5: cost 0 inf + 18014 1554040290.104 * [simplify]: Simplified to (* (* (* i i) (* i i)) (* 64 (* i i))) 1554040290.104 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (cbrt (* (* (* i i) (* i i)) (* 64 (* i i)))) 1.0) 4))) 1554040290.104 * * * * [progress]: [ 34 / 50 ] simplifiying candidate # 1554040290.104 * * * * [progress]: [ 35 / 50 ] simplifiying candidate # 1554040290.105 * * * * [progress]: [ 36 / 50 ] simplifiying candidate # 1554040290.105 * * * * [progress]: [ 37 / 50 ] simplifiying candidate # 1554040290.105 * * * * [progress]: [ 38 / 50 ] simplifiying candidate # 1554040290.105 * [simplify]: Simplifying (* (sqrt 4) i) 1554040290.105 * * [simplify]: iters left: 3 (4 enodes) 1554040290.108 * * [simplify]: iters left: 2 (14 enodes) 1554040290.112 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040290.112 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040290.112 * * [simplify]: Extracting #2: cost 2 inf + 2 1554040290.112 * * [simplify]: Extracting #3: cost 0 inf + 86 1554040290.112 * [simplify]: Simplified to (* i 2) 1554040290.112 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (* (* i 2) (* (sqrt 4) i)) 1.0) 4))) 1554040290.113 * [simplify]: Simplifying (* (sqrt 4) i) 1554040290.113 * * [simplify]: iters left: 3 (4 enodes) 1554040290.120 * * [simplify]: iters left: 2 (14 enodes) 1554040290.124 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040290.125 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040290.125 * * [simplify]: Extracting #2: cost 2 inf + 2 1554040290.125 * * [simplify]: Extracting #3: cost 0 inf + 86 1554040290.125 * [simplify]: Simplified to (* i 2) 1554040290.125 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (/ (* i i) (* (- (* (* (sqrt 4) i) (* i 2)) 1.0) 4))) 1554040290.125 * * * * [progress]: [ 39 / 50 ] simplifiying candidate # 1554040290.125 * * * * [progress]: [ 40 / 50 ] simplifiying candidate # 1554040290.125 * [simplify]: Simplifying (* (cbrt 4) (cbrt 4)) 1554040290.125 * * [simplify]: iters left: 3 (3 enodes) 1554040290.128 * * [simplify]: iters left: 2 (9 enodes) 1554040290.131 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040290.131 * * [simplify]: Extracting #1: cost 3 inf + 0 1554040290.131 * * [simplify]: Extracting #2: cost 5 inf + 0 1554040290.132 * * [simplify]: Extracting #3: cost 4 inf + 1 1554040290.132 * * [simplify]: Extracting #4: cost 0 inf + 405 1554040290.132 * [simplify]: Simplified to (* (cbrt 4) (cbrt 4)) 1554040290.132 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (* (* (cbrt 4) (cbrt 4)) (* (cbrt 4) (* i i))) 1.0) 4))) 1554040290.132 * * * * [progress]: [ 41 / 50 ] simplifiying candidate # 1554040290.133 * [simplify]: Simplifying (sqrt 4) 1554040290.133 * * [simplify]: iters left: 1 (2 enodes) 1554040290.135 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040290.135 * * [simplify]: Extracting #1: cost 0 inf + 1 1554040290.135 * [simplify]: Simplified to 2 1554040290.135 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (* 2 (* (sqrt 4) (* i i))) 1.0) 4))) 1554040290.135 * * * * [progress]: [ 42 / 50 ] simplifiying candidate # 1554040290.135 * * * * [progress]: [ 43 / 50 ] simplifiying candidate #real (real->posit16 (* 4 (* i i)))) 1.0) 4)))> 1554040290.135 * * * * [progress]: [ 44 / 50 ] simplifiying candidate # 1554040290.135 * * * * [progress]: [ 45 / 50 ] simplifiying candidate # 1554040290.136 * [simplify]: Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1554040290.136 * * [simplify]: iters left: 6 (16 enodes) 1554040290.147 * * [simplify]: iters left: 5 (70 enodes) 1554040290.161 * * [simplify]: iters left: 4 (124 enodes) 1554040290.185 * * [simplify]: iters left: 3 (247 enodes) 1554040290.266 * * [simplify]: iters left: 2 (497 enodes) 1554040290.508 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040290.509 * * [simplify]: Extracting #1: cost 28 inf + 0 1554040290.509 * * [simplify]: Extracting #2: cost 139 inf + 0 1554040290.511 * * [simplify]: Extracting #3: cost 264 inf + 373 1554040290.519 * * [simplify]: Extracting #4: cost 150 inf + 18397 1554040290.540 * * [simplify]: Extracting #5: cost 31 inf + 49327 1554040290.561 * * [simplify]: Extracting #6: cost 1 inf + 59020 1554040290.588 * * [simplify]: Extracting #7: cost 0 inf + 58952 1554040290.599 * [simplify]: Simplified to (- (+ (* (* i i) (+ 0.25 (* (* (* i i) (* i i)) 4.0))) (* (* (* i i) (* i i)) 1.0))) 1554040290.599 * [simplify]: Simplified (2) to (λ (i) (- (+ (* (* i i) (+ 0.25 (* (* (* i i) (* i i)) 4.0))) (* (* (* i i) (* i i)) 1.0)))) 1554040290.600 * * * * [progress]: [ 46 / 50 ] simplifiying candidate # 1554040290.600 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1554040290.600 * * [simplify]: iters left: 6 (15 enodes) 1554040290.606 * * [simplify]: iters left: 5 (64 enodes) 1554040290.617 * * [simplify]: iters left: 4 (87 enodes) 1554040290.630 * * [simplify]: iters left: 3 (109 enodes) 1554040290.652 * * [simplify]: iters left: 2 (143 enodes) 1554040290.701 * * [simplify]: iters left: 1 (214 enodes) 1554040290.753 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040290.753 * * [simplify]: Extracting #1: cost 8 inf + 0 1554040290.753 * * [simplify]: Extracting #2: cost 51 inf + 1 1554040290.753 * * [simplify]: Extracting #3: cost 63 inf + 249 1554040290.754 * * [simplify]: Extracting #4: cost 22 inf + 4615 1554040291.095 * * [simplify]: Extracting #5: cost 2 inf + 6983 1554040291.099 * * [simplify]: Extracting #6: cost 0 inf + 7309 1554040291.105 * [simplify]: Simplified to (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) 1554040291.105 * [simplify]: Simplified (2) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))) 1554040291.105 * * * * [progress]: [ 47 / 50 ] simplifiying candidate # 1554040291.105 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1554040291.105 * * [simplify]: iters left: 6 (15 enodes) 1554040291.111 * * [simplify]: iters left: 5 (64 enodes) 1554040291.122 * * [simplify]: iters left: 4 (87 enodes) 1554040291.135 * * [simplify]: iters left: 3 (109 enodes) 1554040291.151 * * [simplify]: iters left: 2 (143 enodes) 1554040291.180 * * [simplify]: iters left: 1 (214 enodes) 1554040291.252 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040291.252 * * [simplify]: Extracting #1: cost 8 inf + 0 1554040291.252 * * [simplify]: Extracting #2: cost 51 inf + 1 1554040291.253 * * [simplify]: Extracting #3: cost 63 inf + 249 1554040291.254 * * [simplify]: Extracting #4: cost 22 inf + 4615 1554040291.257 * * [simplify]: Extracting #5: cost 2 inf + 6983 1554040291.259 * * [simplify]: Extracting #6: cost 0 inf + 7309 1554040291.261 * [simplify]: Simplified to (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) 1554040291.261 * [simplify]: Simplified (2) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))) 1554040291.262 * * * * [progress]: [ 48 / 50 ] simplifiying candidate # 1554040291.262 * [simplify]: Simplifying (* 4 (pow i 2)) 1554040291.262 * * [simplify]: iters left: 3 (5 enodes) 1554040291.264 * * [simplify]: iters left: 2 (21 enodes) 1554040291.267 * * [simplify]: iters left: 1 (29 enodes) 1554040291.274 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040291.274 * * [simplify]: Extracting #1: cost 6 inf + 0 1554040291.274 * * [simplify]: Extracting #2: cost 6 inf + 43 1554040291.274 * * [simplify]: Extracting #3: cost 0 inf + 333 1554040291.274 * [simplify]: Simplified to (* (* i i) 4) 1554040291.274 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) 1554040291.274 * * * * [progress]: [ 49 / 50 ] simplifiying candidate # 1554040291.274 * [simplify]: Simplifying (* 4 (pow i 2)) 1554040291.274 * * [simplify]: iters left: 3 (5 enodes) 1554040291.276 * * [simplify]: iters left: 2 (21 enodes) 1554040291.280 * * [simplify]: iters left: 1 (29 enodes) 1554040291.284 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040291.284 * * [simplify]: Extracting #1: cost 6 inf + 0 1554040291.284 * * [simplify]: Extracting #2: cost 6 inf + 43 1554040291.285 * * [simplify]: Extracting #3: cost 0 inf + 333 1554040291.285 * [simplify]: Simplified to (* (* i i) 4) 1554040291.285 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) 1554040291.285 * * * * [progress]: [ 50 / 50 ] simplifiying candidate # 1554040291.285 * [simplify]: Simplifying (* 4 (pow i 2)) 1554040291.285 * * [simplify]: iters left: 3 (5 enodes) 1554040291.287 * * [simplify]: iters left: 2 (21 enodes) 1554040291.291 * * [simplify]: iters left: 1 (29 enodes) 1554040291.299 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040291.299 * * [simplify]: Extracting #1: cost 6 inf + 0 1554040291.299 * * [simplify]: Extracting #2: cost 6 inf + 43 1554040291.299 * * [simplify]: Extracting #3: cost 0 inf + 333 1554040291.299 * [simplify]: Simplified to (* (* i i) 4) 1554040291.299 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) 1554040291.299 * * * [progress]: adding candidates to table 1554040291.677 * * [progress]: iteration 2 / 4 1554040291.677 * * * [progress]: picking best candidate 1554040291.681 * * * * [pick]: Picked # 1554040291.681 * * * [progress]: localizing error 1554040291.705 * * * [progress]: generating rewritten candidates 1554040291.705 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 1) 1554040291.714 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1554040291.786 * * * [progress]: generating series expansions 1554040291.786 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 1) 1554040291.787 * [backup-simplify]: Simplify (/ 0.00390625 (* i i)) into (/ 0.00390625 (pow i 2)) 1554040291.787 * [approximate]: Taking taylor expansion of (/ 0.00390625 (pow i 2)) in (i) around 0 1554040291.787 * [taylor]: Taking taylor expansion of (/ 0.00390625 (pow i 2)) in i 1554040291.787 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.787 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.787 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.787 * [taylor]: Taking taylor expansion of i in i 1554040291.787 * [backup-simplify]: Simplify 0 into 0 1554040291.787 * [backup-simplify]: Simplify 1 into 1 1554040291.787 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.787 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625 1554040291.787 * [taylor]: Taking taylor expansion of (/ 0.00390625 (pow i 2)) in i 1554040291.787 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.788 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.788 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.788 * [taylor]: Taking taylor expansion of i in i 1554040291.788 * [backup-simplify]: Simplify 0 into 0 1554040291.788 * [backup-simplify]: Simplify 1 into 1 1554040291.788 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.788 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625 1554040291.788 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.789 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040291.789 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0 1554040291.789 * [backup-simplify]: Simplify 0 into 0 1554040291.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.790 * [backup-simplify]: Simplify 0 into 0 1554040291.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.792 * [backup-simplify]: Simplify 0 into 0 1554040291.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.793 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.793 * [backup-simplify]: Simplify 0 into 0 1554040291.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.794 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.794 * [backup-simplify]: Simplify 0 into 0 1554040291.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.796 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.796 * [backup-simplify]: Simplify 0 into 0 1554040291.796 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 i) 2)) into (/ 0.00390625 (pow i 2)) 1554040291.796 * [backup-simplify]: Simplify (/ 0.00390625 (* (/ 1 i) (/ 1 i))) into (* 0.00390625 (pow i 2)) 1554040291.796 * [approximate]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in (i) around 0 1554040291.796 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i 1554040291.796 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.796 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.796 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.796 * [taylor]: Taking taylor expansion of i in i 1554040291.796 * [backup-simplify]: Simplify 0 into 0 1554040291.796 * [backup-simplify]: Simplify 1 into 1 1554040291.796 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i 1554040291.796 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.796 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.796 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.796 * [taylor]: Taking taylor expansion of i in i 1554040291.796 * [backup-simplify]: Simplify 0 into 0 1554040291.796 * [backup-simplify]: Simplify 1 into 1 1554040291.796 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.797 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625 1554040291.797 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.797 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040291.797 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0 1554040291.797 * [backup-simplify]: Simplify 0 into 0 1554040291.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.799 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.799 * [backup-simplify]: Simplify 0 into 0 1554040291.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.800 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.800 * [backup-simplify]: Simplify 0 into 0 1554040291.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.801 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.801 * [backup-simplify]: Simplify 0 into 0 1554040291.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.803 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.803 * [backup-simplify]: Simplify 0 into 0 1554040291.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.805 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.805 * [backup-simplify]: Simplify 0 into 0 1554040291.805 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 i) 2)) into (/ 0.00390625 (pow i 2)) 1554040291.805 * [backup-simplify]: Simplify (/ 0.00390625 (* (/ 1 (- i)) (/ 1 (- i)))) into (* 0.00390625 (pow i 2)) 1554040291.805 * [approximate]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in (i) around 0 1554040291.805 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i 1554040291.805 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.805 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.805 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.805 * [taylor]: Taking taylor expansion of i in i 1554040291.805 * [backup-simplify]: Simplify 0 into 0 1554040291.805 * [backup-simplify]: Simplify 1 into 1 1554040291.805 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i 1554040291.806 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.806 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.806 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.806 * [taylor]: Taking taylor expansion of i in i 1554040291.806 * [backup-simplify]: Simplify 0 into 0 1554040291.806 * [backup-simplify]: Simplify 1 into 1 1554040291.806 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.807 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625 1554040291.807 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.807 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040291.808 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0 1554040291.808 * [backup-simplify]: Simplify 0 into 0 1554040291.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.812 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.812 * [backup-simplify]: Simplify 0 into 0 1554040291.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.815 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.815 * [backup-simplify]: Simplify 0 into 0 1554040291.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.817 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.817 * [backup-simplify]: Simplify 0 into 0 1554040291.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.820 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.820 * [backup-simplify]: Simplify 0 into 0 1554040291.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.823 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.823 * [backup-simplify]: Simplify 0 into 0 1554040291.823 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 (- i)) 2)) into (/ 0.00390625 (pow i 2)) 1554040291.823 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1554040291.823 * [backup-simplify]: Simplify (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)) into (/ (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) (pow i 2)) 1554040291.823 * [approximate]: Taking taylor expansion of (/ (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) (pow i 2)) in (i) around 0 1554040291.823 * [taylor]: Taking taylor expansion of (/ (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) (pow i 2)) in i 1554040291.823 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) in i 1554040291.824 * [taylor]: Taking taylor expansion of (* 0.00390625 (/ 1 (pow i 2))) in i 1554040291.824 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.824 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.824 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 1554040291.824 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.824 * [taylor]: Taking taylor expansion of i in i 1554040291.824 * [backup-simplify]: Simplify 0 into 0 1554040291.824 * [backup-simplify]: Simplify 1 into 1 1554040291.824 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.825 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040291.825 * [taylor]: Taking taylor expansion of 0.015625 in i 1554040291.825 * [backup-simplify]: Simplify 0.015625 into 0.015625 1554040291.825 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.825 * [taylor]: Taking taylor expansion of i in i 1554040291.825 * [backup-simplify]: Simplify 0 into 0 1554040291.825 * [backup-simplify]: Simplify 1 into 1 1554040291.825 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625 1554040291.825 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625 1554040291.826 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.826 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625 1554040291.826 * [taylor]: Taking taylor expansion of (/ (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) (pow i 2)) in i 1554040291.826 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) in i 1554040291.826 * [taylor]: Taking taylor expansion of (* 0.00390625 (/ 1 (pow i 2))) in i 1554040291.826 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.826 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.826 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 1554040291.826 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.826 * [taylor]: Taking taylor expansion of i in i 1554040291.826 * [backup-simplify]: Simplify 0 into 0 1554040291.826 * [backup-simplify]: Simplify 1 into 1 1554040291.826 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.826 * [backup-simplify]: Simplify (/ 1 1) into 1 1554040291.827 * [taylor]: Taking taylor expansion of 0.015625 in i 1554040291.827 * [backup-simplify]: Simplify 0.015625 into 0.015625 1554040291.827 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.827 * [taylor]: Taking taylor expansion of i in i 1554040291.827 * [backup-simplify]: Simplify 0 into 0 1554040291.827 * [backup-simplify]: Simplify 1 into 1 1554040291.827 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625 1554040291.827 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625 1554040291.828 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.828 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625 1554040291.828 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.828 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040291.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554040291.829 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0 1554040291.829 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.830 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040291.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0 1554040291.830 * [backup-simplify]: Simplify 0 into 0 1554040291.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.832 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.832 * [backup-simplify]: Simplify (+ 0 0.015625) into 0.015625 1554040291.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.834 * [backup-simplify]: Simplify (- (/ 0.015625 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0.015625 1554040291.834 * [backup-simplify]: Simplify 0.015625 into 0.015625 1554040291.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.836 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.836 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.837 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)))) into 0 1554040291.837 * [backup-simplify]: Simplify 0 into 0 1554040291.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.839 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.840 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.841 * [backup-simplify]: Simplify 0 into 0 1554040291.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.843 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.843 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.844 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.845 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.845 * [backup-simplify]: Simplify 0 into 0 1554040291.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.847 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.847 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.849 * [backup-simplify]: Simplify 0 into 0 1554040291.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554040291.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.851 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554040291.852 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554040291.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.854 * [backup-simplify]: Simplify 0 into 0 1554040291.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554040291.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.858 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554040291.858 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554040291.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554040291.860 * [backup-simplify]: Simplify 0 into 0 1554040291.860 * [backup-simplify]: Simplify (+ (* 0.015625 (pow (/ 1 i) 2)) (* 0.00390625 (pow (/ 1 i) 4))) into (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4)))) 1554040291.860 * [backup-simplify]: Simplify (/ (+ (/ 0.00390625 (* (/ 1 i) (/ 1 i))) 0.015625) (* (/ 1 i) (/ 1 i))) into (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) 1554040291.860 * [approximate]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in (i) around 0 1554040291.860 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in i 1554040291.860 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.860 * [taylor]: Taking taylor expansion of i in i 1554040291.860 * [backup-simplify]: Simplify 0 into 0 1554040291.860 * [backup-simplify]: Simplify 1 into 1 1554040291.860 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 2)) 0.015625) in i 1554040291.860 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i 1554040291.860 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.860 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.860 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.860 * [taylor]: Taking taylor expansion of i in i 1554040291.860 * [backup-simplify]: Simplify 0 into 0 1554040291.860 * [backup-simplify]: Simplify 1 into 1 1554040291.860 * [taylor]: Taking taylor expansion of 0.015625 in i 1554040291.860 * [backup-simplify]: Simplify 0.015625 into 0.015625 1554040291.860 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in i 1554040291.860 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.860 * [taylor]: Taking taylor expansion of i in i 1554040291.861 * [backup-simplify]: Simplify 0 into 0 1554040291.861 * [backup-simplify]: Simplify 1 into 1 1554040291.861 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 2)) 0.015625) in i 1554040291.861 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i 1554040291.861 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.861 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.861 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.861 * [taylor]: Taking taylor expansion of i in i 1554040291.861 * [backup-simplify]: Simplify 0 into 0 1554040291.861 * [backup-simplify]: Simplify 1 into 1 1554040291.861 * [taylor]: Taking taylor expansion of 0.015625 in i 1554040291.861 * [backup-simplify]: Simplify 0.015625 into 0.015625 1554040291.861 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.861 * [backup-simplify]: Simplify (+ 0 0.015625) into 0.015625 1554040291.862 * [backup-simplify]: Simplify (* 1 0.015625) into 0.015625 1554040291.862 * [backup-simplify]: Simplify 0.015625 into 0.015625 1554040291.862 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.862 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040291.863 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.015625)) into 0 1554040291.863 * [backup-simplify]: Simplify 0 into 0 1554040291.863 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.863 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625 1554040291.863 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625 1554040291.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.865 * [backup-simplify]: Simplify (+ (* 1 0.00390625) (+ (* 0 0) (* 0 0.015625))) into 0.00390625 1554040291.865 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.866 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040291.866 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0 1554040291.866 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))) into 0 1554040291.868 * [backup-simplify]: Simplify 0 into 0 1554040291.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.869 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.869 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))) into 0 1554040291.870 * [backup-simplify]: Simplify 0 into 0 1554040291.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.872 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.872 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))))) into 0 1554040291.874 * [backup-simplify]: Simplify 0 into 0 1554040291.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.875 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.876 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))))) into 0 1554040291.877 * [backup-simplify]: Simplify 0 into 0 1554040291.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.879 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.879 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554040291.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))))))) into 0 1554040291.881 * [backup-simplify]: Simplify 0 into 0 1554040291.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.883 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.883 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554040291.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))))))) into 0 1554040291.886 * [backup-simplify]: Simplify 0 into 0 1554040291.886 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (* 0.015625 (pow (/ 1 i) 2))) into (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4)))) 1554040291.886 * [backup-simplify]: Simplify (/ (+ (/ 0.00390625 (* (/ 1 (- i)) (/ 1 (- i)))) 0.015625) (* (/ 1 (- i)) (/ 1 (- i)))) into (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) 1554040291.886 * [approximate]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in (i) around 0 1554040291.886 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in i 1554040291.886 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.886 * [taylor]: Taking taylor expansion of i in i 1554040291.886 * [backup-simplify]: Simplify 0 into 0 1554040291.886 * [backup-simplify]: Simplify 1 into 1 1554040291.886 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 2)) 0.015625) in i 1554040291.886 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i 1554040291.886 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.886 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.886 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.886 * [taylor]: Taking taylor expansion of i in i 1554040291.886 * [backup-simplify]: Simplify 0 into 0 1554040291.886 * [backup-simplify]: Simplify 1 into 1 1554040291.886 * [taylor]: Taking taylor expansion of 0.015625 in i 1554040291.886 * [backup-simplify]: Simplify 0.015625 into 0.015625 1554040291.886 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in i 1554040291.886 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.886 * [taylor]: Taking taylor expansion of i in i 1554040291.886 * [backup-simplify]: Simplify 0 into 0 1554040291.886 * [backup-simplify]: Simplify 1 into 1 1554040291.886 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 2)) 0.015625) in i 1554040291.887 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i 1554040291.887 * [taylor]: Taking taylor expansion of 0.00390625 in i 1554040291.887 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.887 * [taylor]: Taking taylor expansion of (pow i 2) in i 1554040291.887 * [taylor]: Taking taylor expansion of i in i 1554040291.887 * [backup-simplify]: Simplify 0 into 0 1554040291.887 * [backup-simplify]: Simplify 1 into 1 1554040291.887 * [taylor]: Taking taylor expansion of 0.015625 in i 1554040291.887 * [backup-simplify]: Simplify 0.015625 into 0.015625 1554040291.887 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.887 * [backup-simplify]: Simplify (+ 0 0.015625) into 0.015625 1554040291.887 * [backup-simplify]: Simplify (* 1 0.015625) into 0.015625 1554040291.888 * [backup-simplify]: Simplify 0.015625 into 0.015625 1554040291.888 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.888 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040291.889 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.015625)) into 0 1554040291.889 * [backup-simplify]: Simplify 0 into 0 1554040291.889 * [backup-simplify]: Simplify (* 1 1) into 1 1554040291.889 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625 1554040291.890 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625 1554040291.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.893 * [backup-simplify]: Simplify (+ (* 1 0.00390625) (+ (* 0 0) (* 0 0.015625))) into 0.00390625 1554040291.893 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 1554040291.893 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554040291.894 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0 1554040291.894 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))) into 0 1554040291.897 * [backup-simplify]: Simplify 0 into 0 1554040291.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.899 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0 1554040291.899 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))) into 0 1554040291.902 * [backup-simplify]: Simplify 0 into 0 1554040291.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.904 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554040291.905 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))))) into 0 1554040291.914 * [backup-simplify]: Simplify 0 into 0 1554040291.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.917 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554040291.917 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))))) into 0 1554040291.921 * [backup-simplify]: Simplify 0 into 0 1554040291.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.922 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554040291.923 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554040291.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))))))) into 0 1554040291.925 * [backup-simplify]: Simplify 0 into 0 1554040291.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.926 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554040291.927 * [backup-simplify]: Simplify (+ 0 0) into 0 1554040291.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1554040291.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))))))) into 0 1554040291.929 * [backup-simplify]: Simplify 0 into 0 1554040291.930 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (* 0.015625 (pow (/ 1 (- i)) 2))) into (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4)))) 1554040291.930 * * * [progress]: simplifying candidates 1554040291.930 * * * * [progress]: [ 1 / 54 ] simplifiying candidate # 1554040291.930 * * * * [progress]: [ 2 / 54 ] simplifiying candidate # 1554040291.930 * [simplify]: Simplifying (- (log 0.00390625) (+ (log i) (log i))) 1554040291.930 * * [simplify]: iters left: 5 (6 enodes) 1554040291.932 * * [simplify]: iters left: 4 (22 enodes) 1554040291.936 * * [simplify]: iters left: 3 (31 enodes) 1554040291.941 * * [simplify]: iters left: 2 (39 enodes) 1554040291.947 * * [simplify]: iters left: 1 (45 enodes) 1554040291.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040291.953 * * [simplify]: Extracting #1: cost 10 inf + 0 1554040291.953 * * [simplify]: Extracting #2: cost 20 inf + 0 1554040291.953 * * [simplify]: Extracting #3: cost 16 inf + 184 1554040291.953 * * [simplify]: Extracting #4: cost 5 inf + 1698 1554040291.954 * * [simplify]: Extracting #5: cost 0 inf + 2537 1554040291.954 * [simplify]: Simplified to (- (log 0.00390625) (+ (log i) (log i))) 1554040291.954 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (exp (- (log 0.00390625) (+ (log i) (log i)))) 0.015625) (* i i)))) 1554040291.954 * * * * [progress]: [ 3 / 54 ] simplifiying candidate # 1554040291.954 * [simplify]: Simplifying (- (log 0.00390625) (log (* i i))) 1554040291.954 * * [simplify]: iters left: 5 (6 enodes) 1554040291.956 * * [simplify]: iters left: 4 (22 enodes) 1554040291.960 * * [simplify]: iters left: 3 (31 enodes) 1554040291.965 * * [simplify]: iters left: 2 (41 enodes) 1554040291.971 * * [simplify]: iters left: 1 (48 enodes) 1554040291.977 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040291.977 * * [simplify]: Extracting #1: cost 12 inf + 0 1554040291.978 * * [simplify]: Extracting #2: cost 25 inf + 0 1554040291.978 * * [simplify]: Extracting #3: cost 10 inf + 1748 1554040291.979 * * [simplify]: Extracting #4: cost 0 inf + 3263 1554040291.980 * [simplify]: Simplified to (- (log 0.00390625) (+ (log i) (log i))) 1554040291.980 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (exp (- (log 0.00390625) (+ (log i) (log i)))) 0.015625) (* i i)))) 1554040291.980 * * * * [progress]: [ 4 / 54 ] simplifiying candidate # 1554040291.980 * * * * [progress]: [ 5 / 54 ] simplifiying candidate # 1554040291.980 * * * * [progress]: [ 6 / 54 ] simplifiying candidate # 1554040291.981 * [simplify]: Simplifying (/ (* (* 0.00390625 0.00390625) 0.00390625) (* (* (* i i) i) (* (* i i) i))) 1554040291.981 * * [simplify]: iters left: 6 (8 enodes) 1554040291.983 * * [simplify]: iters left: 5 (39 enodes) 1554040291.992 * * [simplify]: iters left: 4 (119 enodes) 1554040292.040 * * [simplify]: iters left: 3 (376 enodes) 1554040292.309 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.309 * * [simplify]: Extracting #1: cost 66 inf + 0 1554040292.310 * * [simplify]: Extracting #2: cost 133 inf + 815 1554040292.313 * * [simplify]: Extracting #3: cost 54 inf + 14242 1554040292.320 * * [simplify]: Extracting #4: cost 2 inf + 24743 1554040292.329 * * [simplify]: Extracting #5: cost 0 inf + 25007 1554040292.341 * [simplify]: Simplified to (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i)))) 1554040292.342 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (cbrt (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))))) 0.015625) (* i i)))) 1554040292.342 * * * * [progress]: [ 7 / 54 ] simplifiying candidate # 1554040292.342 * [simplify]: Simplifying (/ (* (* 0.00390625 0.00390625) 0.00390625) (* (* (* i i) (* i i)) (* i i))) 1554040292.342 * * [simplify]: iters left: 6 (8 enodes) 1554040292.347 * * [simplify]: iters left: 5 (40 enodes) 1554040292.365 * * [simplify]: iters left: 4 (121 enodes) 1554040292.411 * * [simplify]: iters left: 3 (380 enodes) 1554040292.720 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.720 * * [simplify]: Extracting #1: cost 68 inf + 0 1554040292.721 * * [simplify]: Extracting #2: cost 133 inf + 1986 1554040292.725 * * [simplify]: Extracting #3: cost 66 inf + 12595 1554040292.731 * * [simplify]: Extracting #4: cost 6 inf + 25817 1554040292.737 * * [simplify]: Extracting #5: cost 0 inf + 27292 1554040292.749 * [simplify]: Simplified to (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i)))) 1554040292.749 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (cbrt (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))))) 0.015625) (* i i)))) 1554040292.749 * * * * [progress]: [ 8 / 54 ] simplifiying candidate # 1554040292.749 * * * * [progress]: [ 9 / 54 ] simplifiying candidate # 1554040292.749 * * * * [progress]: [ 10 / 54 ] simplifiying candidate # 1554040292.749 * * * * [progress]: [ 11 / 54 ] simplifiying candidate # 1554040292.749 * * * * [progress]: [ 12 / 54 ] simplifiying candidate # 1554040292.749 * [simplify]: Simplifying (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) i) 1554040292.750 * * [simplify]: iters left: 5 (5 enodes) 1554040292.753 * * [simplify]: iters left: 4 (17 enodes) 1554040292.759 * * [simplify]: iters left: 3 (21 enodes) 1554040292.765 * * [simplify]: iters left: 2 (24 enodes) 1554040292.773 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.773 * * [simplify]: Extracting #1: cost 7 inf + 0 1554040292.773 * * [simplify]: Extracting #2: cost 11 inf + 1 1554040292.773 * * [simplify]: Extracting #3: cost 10 inf + 2 1554040292.773 * * [simplify]: Extracting #4: cost 0 inf + 1218 1554040292.773 * [simplify]: Simplified to (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) i) 1554040292.773 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (* (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) i) (/ (cbrt 0.00390625) i)) 0.015625) (* i i)))) 1554040292.774 * [simplify]: Simplifying (/ (cbrt 0.00390625) i) 1554040292.774 * * [simplify]: iters left: 3 (4 enodes) 1554040292.775 * * [simplify]: iters left: 2 (12 enodes) 1554040292.777 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.777 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040292.777 * * [simplify]: Extracting #2: cost 5 inf + 1 1554040292.777 * * [simplify]: Extracting #3: cost 4 inf + 2 1554040292.777 * * [simplify]: Extracting #4: cost 0 inf + 408 1554040292.777 * [simplify]: Simplified to (/ (cbrt 0.00390625) i) 1554040292.777 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (+ 1/16 (/ (+ (* (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) i) (/ (cbrt 0.00390625) i)) 0.015625) (* i i)))) 1554040292.777 * * * * [progress]: [ 13 / 54 ] simplifiying candidate # 1554040292.778 * [simplify]: Simplifying (/ (sqrt 0.00390625) i) 1554040292.778 * * [simplify]: iters left: 3 (4 enodes) 1554040292.779 * * [simplify]: iters left: 2 (12 enodes) 1554040292.781 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.781 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040292.781 * * [simplify]: Extracting #2: cost 5 inf + 1 1554040292.781 * * [simplify]: Extracting #3: cost 4 inf + 2 1554040292.781 * * [simplify]: Extracting #4: cost 0 inf + 248 1554040292.781 * [simplify]: Simplified to (/ (sqrt 0.00390625) i) 1554040292.781 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (* (/ (sqrt 0.00390625) i) (/ (sqrt 0.00390625) i)) 0.015625) (* i i)))) 1554040292.782 * [simplify]: Simplifying (/ (sqrt 0.00390625) i) 1554040292.782 * * [simplify]: iters left: 3 (4 enodes) 1554040292.783 * * [simplify]: iters left: 2 (12 enodes) 1554040292.785 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.785 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040292.785 * * [simplify]: Extracting #2: cost 5 inf + 1 1554040292.785 * * [simplify]: Extracting #3: cost 4 inf + 2 1554040292.785 * * [simplify]: Extracting #4: cost 0 inf + 248 1554040292.785 * [simplify]: Simplified to (/ (sqrt 0.00390625) i) 1554040292.785 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (+ 1/16 (/ (+ (* (/ (sqrt 0.00390625) i) (/ (sqrt 0.00390625) i)) 0.015625) (* i i)))) 1554040292.785 * * * * [progress]: [ 14 / 54 ] simplifiying candidate # 1554040292.785 * [simplify]: Simplifying (/ 1 i) 1554040292.785 * * [simplify]: iters left: 2 (3 enodes) 1554040292.786 * * [simplify]: iters left: 1 (11 enodes) 1554040292.788 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.788 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040292.788 * * [simplify]: Extracting #2: cost 2 inf + 2 1554040292.788 * * [simplify]: Extracting #3: cost 0 inf + 86 1554040292.788 * [simplify]: Simplified to (/ 1 i) 1554040292.788 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (* (/ 1 i) (/ 0.00390625 i)) 0.015625) (* i i)))) 1554040292.789 * [simplify]: Simplifying (/ 0.00390625 i) 1554040292.789 * * [simplify]: iters left: 2 (3 enodes) 1554040292.789 * * [simplify]: iters left: 1 (9 enodes) 1554040292.791 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.791 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040292.791 * * [simplify]: Extracting #2: cost 2 inf + 2 1554040292.791 * * [simplify]: Extracting #3: cost 0 inf + 86 1554040292.791 * [simplify]: Simplified to (/ 0.00390625 i) 1554040292.791 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (+ 1/16 (/ (+ (* (/ 1 i) (/ 0.00390625 i)) 0.015625) (* i i)))) 1554040292.791 * * * * [progress]: [ 15 / 54 ] simplifiying candidate # 1554040292.791 * * * * [progress]: [ 16 / 54 ] simplifiying candidate # 1554040292.791 * * * * [progress]: [ 17 / 54 ] simplifiying candidate # 1554040292.791 * * * * [progress]: [ 18 / 54 ] simplifiying candidate # 1554040292.791 * * * * [progress]: [ 19 / 54 ] simplifiying candidate # 1554040292.792 * [simplify]: Simplifying (* (cbrt 0.00390625) (cbrt 0.00390625)) 1554040292.792 * * [simplify]: iters left: 3 (3 enodes) 1554040292.793 * * [simplify]: iters left: 2 (9 enodes) 1554040292.794 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.794 * * [simplify]: Extracting #1: cost 3 inf + 0 1554040292.795 * * [simplify]: Extracting #2: cost 5 inf + 0 1554040292.795 * * [simplify]: Extracting #3: cost 4 inf + 1 1554040292.795 * * [simplify]: Extracting #4: cost 0 inf + 405 1554040292.795 * [simplify]: Simplified to (* (cbrt 0.00390625) (cbrt 0.00390625)) 1554040292.795 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (/ (* i i) (cbrt 0.00390625))) 0.015625) (* i i)))) 1554040292.795 * * * * [progress]: [ 20 / 54 ] simplifiying candidate # 1554040292.795 * [simplify]: Simplifying (sqrt 0.00390625) 1554040292.795 * * [simplify]: iters left: 1 (2 enodes) 1554040292.796 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.796 * * [simplify]: Extracting #1: cost 3 inf + 0 1554040292.796 * * [simplify]: Extracting #2: cost 2 inf + 1 1554040292.796 * * [simplify]: Extracting #3: cost 0 inf + 83 1554040292.796 * [simplify]: Simplified to (sqrt 0.00390625) 1554040292.796 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (/ (sqrt 0.00390625) (/ (* i i) (sqrt 0.00390625))) 0.015625) (* i i)))) 1554040292.796 * * * * [progress]: [ 21 / 54 ] simplifiying candidate # 1554040292.797 * * * * [progress]: [ 22 / 54 ] simplifiying candidate #real (real->posit16 (/ 0.00390625 (* i i)))) 0.015625) (* i i))))> 1554040292.797 * * * * [progress]: [ 23 / 54 ] simplifiying candidate # 1554040292.797 * * * * [progress]: [ 24 / 54 ] simplifiying candidate # 1554040292.797 * [simplify]: Simplifying (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (log i) (log i))) 1554040292.797 * * [simplify]: iters left: 6 (10 enodes) 1554040292.800 * * [simplify]: iters left: 5 (37 enodes) 1554040292.806 * * [simplify]: iters left: 4 (48 enodes) 1554040292.816 * * [simplify]: iters left: 3 (56 enodes) 1554040292.831 * * [simplify]: iters left: 2 (62 enodes) 1554040292.848 * * [simplify]: iters left: 1 (68 enodes) 1554040292.866 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.866 * * [simplify]: Extracting #1: cost 12 inf + 0 1554040292.866 * * [simplify]: Extracting #2: cost 24 inf + 0 1554040292.866 * * [simplify]: Extracting #3: cost 26 inf + 1 1554040292.866 * * [simplify]: Extracting #4: cost 26 inf + 255 1554040292.866 * * [simplify]: Extracting #5: cost 20 inf + 974 1554040292.867 * * [simplify]: Extracting #6: cost 14 inf + 1467 1554040292.871 * * [simplify]: Extracting #7: cost 3 inf + 4710 1554040292.873 * * [simplify]: Extracting #8: cost 0 inf + 5519 1554040292.875 * [simplify]: Simplified to (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (log i) (log i))) 1554040292.875 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (exp (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (log i) (log i)))))) 1554040292.875 * * * * [progress]: [ 25 / 54 ] simplifiying candidate # 1554040292.875 * [simplify]: Simplifying (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (log (* i i))) 1554040292.875 * * [simplify]: iters left: 6 (9 enodes) 1554040292.880 * * [simplify]: iters left: 5 (34 enodes) 1554040292.890 * * [simplify]: iters left: 4 (45 enodes) 1554040292.903 * * [simplify]: iters left: 3 (54 enodes) 1554040292.918 * * [simplify]: iters left: 2 (61 enodes) 1554040292.934 * * [simplify]: iters left: 1 (73 enodes) 1554040292.947 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040292.947 * * [simplify]: Extracting #1: cost 12 inf + 0 1554040292.947 * * [simplify]: Extracting #2: cost 25 inf + 0 1554040292.947 * * [simplify]: Extracting #3: cost 27 inf + 72 1554040292.948 * * [simplify]: Extracting #4: cost 23 inf + 599 1554040292.948 * * [simplify]: Extracting #5: cost 20 inf + 973 1554040292.948 * * [simplify]: Extracting #6: cost 16 inf + 1262 1554040292.949 * * [simplify]: Extracting #7: cost 3 inf + 4450 1554040292.950 * * [simplify]: Extracting #8: cost 0 inf + 5439 1554040292.950 * [simplify]: Simplified to (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (log (* i i))) 1554040292.951 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (exp (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (log (* i i)))))) 1554040292.951 * * * * [progress]: [ 26 / 54 ] simplifiying candidate # 1554040292.951 * * * * [progress]: [ 27 / 54 ] simplifiying candidate # 1554040292.951 * * * * [progress]: [ 28 / 54 ] simplifiying candidate # 1554040292.951 * [simplify]: Simplifying (/ (* (* (+ (/ 0.00390625 (* i i)) 0.015625) (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (/ 0.00390625 (* i i)) 0.015625)) (* (* (* i i) i) (* (* i i) i))) 1554040292.951 * * [simplify]: iters left: 6 (11 enodes) 1554040292.955 * * [simplify]: iters left: 5 (63 enodes) 1554040292.972 * * [simplify]: iters left: 4 (227 enodes) 1554040293.068 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.068 * * [simplify]: Extracting #1: cost 51 inf + 0 1554040293.068 * * [simplify]: Extracting #2: cost 134 inf + 1 1554040293.069 * * [simplify]: Extracting #3: cost 194 inf + 330 1554040293.073 * * [simplify]: Extracting #4: cost 115 inf + 16760 1554040293.083 * * [simplify]: Extracting #5: cost 6 inf + 43051 1554040293.098 * * [simplify]: Extracting #6: cost 0 inf + 43469 1554040293.121 * * [simplify]: Extracting #7: cost 0 inf + 43349 1554040293.145 * [simplify]: Simplified to (* (* (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i)) (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i))) (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i))) 1554040293.145 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (cbrt (* (* (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i)) (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i))) (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i)))))) 1554040293.145 * * * * [progress]: [ 29 / 54 ] simplifiying candidate # 1554040293.145 * [simplify]: Simplifying (/ (* (* (+ (/ 0.00390625 (* i i)) 0.015625) (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (/ 0.00390625 (* i i)) 0.015625)) (* (* (* i i) (* i i)) (* i i))) 1554040293.145 * * [simplify]: iters left: 6 (11 enodes) 1554040293.149 * * [simplify]: iters left: 5 (64 enodes) 1554040293.173 * * [simplify]: iters left: 4 (231 enodes) 1554040293.289 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.289 * * [simplify]: Extracting #1: cost 56 inf + 0 1554040293.290 * * [simplify]: Extracting #2: cost 136 inf + 214 1554040293.292 * * [simplify]: Extracting #3: cost 195 inf + 965 1554040293.299 * * [simplify]: Extracting #4: cost 111 inf + 16938 1554040293.317 * * [simplify]: Extracting #5: cost 6 inf + 41027 1554040293.338 * * [simplify]: Extracting #6: cost 0 inf + 42045 1554040293.358 * [simplify]: Simplified to (* (* (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)) (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) 1554040293.358 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (cbrt (* (* (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)) (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))))) 1554040293.358 * * * * [progress]: [ 30 / 54 ] simplifiying candidate # 1554040293.359 * * * * [progress]: [ 31 / 54 ] simplifiying candidate # 1554040293.359 * * * * [progress]: [ 32 / 54 ] simplifiying candidate # 1554040293.359 * * * * [progress]: [ 33 / 54 ] simplifiying candidate # 1554040293.359 * * * * [progress]: [ 34 / 54 ] simplifiying candidate # 1554040293.359 * [simplify]: Simplifying (/ (* (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))) i) 1554040293.359 * * [simplify]: iters left: 6 (9 enodes) 1554040293.363 * * [simplify]: iters left: 5 (32 enodes) 1554040293.372 * * [simplify]: iters left: 4 (38 enodes) 1554040293.381 * * [simplify]: iters left: 3 (41 enodes) 1554040293.389 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.389 * * [simplify]: Extracting #1: cost 7 inf + 0 1554040293.389 * * [simplify]: Extracting #2: cost 11 inf + 1 1554040293.389 * * [simplify]: Extracting #3: cost 14 inf + 1 1554040293.389 * * [simplify]: Extracting #4: cost 17 inf + 2 1554040293.389 * * [simplify]: Extracting #5: cost 14 inf + 291 1554040293.390 * * [simplify]: Extracting #6: cost 5 inf + 1714 1554040293.390 * * [simplify]: Extracting #7: cost 0 inf + 3009 1554040293.391 * [simplify]: Simplified to (* (/ (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))) 1554040293.391 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (* (* (/ (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))) (/ (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) i)))) 1554040293.391 * [simplify]: Simplifying (/ (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) 1554040293.391 * * [simplify]: iters left: 6 (8 enodes) 1554040293.394 * * [simplify]: iters left: 5 (27 enodes) 1554040293.397 * * [simplify]: iters left: 4 (29 enodes) 1554040293.402 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.402 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040293.402 * * [simplify]: Extracting #2: cost 5 inf + 1 1554040293.402 * * [simplify]: Extracting #3: cost 8 inf + 1 1554040293.402 * * [simplify]: Extracting #4: cost 11 inf + 2 1554040293.402 * * [simplify]: Extracting #5: cost 11 inf + 44 1554040293.402 * * [simplify]: Extracting #6: cost 6 inf + 374 1554040293.402 * * [simplify]: Extracting #7: cost 1 inf + 1228 1554040293.402 * * [simplify]: Extracting #8: cost 0 inf + 1471 1554040293.405 * [simplify]: Simplified to (/ (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i) 1554040293.405 * [simplify]: Simplified (2 2 2) to (λ (i) (+ 1/16 (* (* (/ (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))) (/ (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i)))) 1554040293.405 * * * * [progress]: [ 35 / 54 ] simplifiying candidate # 1554040293.405 * [simplify]: Simplifying (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) 1554040293.405 * * [simplify]: iters left: 6 (8 enodes) 1554040293.408 * * [simplify]: iters left: 5 (27 enodes) 1554040293.413 * * [simplify]: iters left: 4 (29 enodes) 1554040293.421 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.421 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040293.421 * * [simplify]: Extracting #2: cost 5 inf + 1 1554040293.421 * * [simplify]: Extracting #3: cost 8 inf + 1 1554040293.421 * * [simplify]: Extracting #4: cost 11 inf + 2 1554040293.421 * * [simplify]: Extracting #5: cost 11 inf + 44 1554040293.421 * * [simplify]: Extracting #6: cost 6 inf + 374 1554040293.421 * * [simplify]: Extracting #7: cost 1 inf + 1108 1554040293.422 * * [simplify]: Extracting #8: cost 0 inf + 1311 1554040293.422 * [simplify]: Simplified to (/ (sqrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i) 1554040293.422 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (* (/ (sqrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i) (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) i)))) 1554040293.423 * [simplify]: Simplifying (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) 1554040293.423 * * [simplify]: iters left: 6 (8 enodes) 1554040293.426 * * [simplify]: iters left: 5 (27 enodes) 1554040293.430 * * [simplify]: iters left: 4 (29 enodes) 1554040293.434 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.434 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040293.434 * * [simplify]: Extracting #2: cost 5 inf + 1 1554040293.434 * * [simplify]: Extracting #3: cost 8 inf + 1 1554040293.434 * * [simplify]: Extracting #4: cost 11 inf + 2 1554040293.434 * * [simplify]: Extracting #5: cost 11 inf + 44 1554040293.434 * * [simplify]: Extracting #6: cost 6 inf + 374 1554040293.434 * * [simplify]: Extracting #7: cost 1 inf + 1108 1554040293.435 * * [simplify]: Extracting #8: cost 0 inf + 1311 1554040293.435 * [simplify]: Simplified to (/ (sqrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i) 1554040293.435 * [simplify]: Simplified (2 2 2) to (λ (i) (+ 1/16 (* (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) (/ (sqrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i)))) 1554040293.435 * * * * [progress]: [ 36 / 54 ] simplifiying candidate # 1554040293.435 * [simplify]: Simplifying (/ 1 i) 1554040293.435 * * [simplify]: iters left: 2 (3 enodes) 1554040293.436 * * [simplify]: iters left: 1 (11 enodes) 1554040293.438 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.438 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040293.438 * * [simplify]: Extracting #2: cost 2 inf + 2 1554040293.438 * * [simplify]: Extracting #3: cost 0 inf + 86 1554040293.438 * [simplify]: Simplified to (/ 1 i) 1554040293.438 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (* (/ 1 i) (/ (+ (/ 0.00390625 (* i i)) 0.015625) i)))) 1554040293.439 * [simplify]: Simplifying (/ (+ (/ 0.00390625 (* i i)) 0.015625) i) 1554040293.439 * * [simplify]: iters left: 6 (7 enodes) 1554040293.441 * * [simplify]: iters left: 5 (24 enodes) 1554040293.444 * * [simplify]: iters left: 4 (26 enodes) 1554040293.448 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.448 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040293.448 * * [simplify]: Extracting #2: cost 6 inf + 1 1554040293.448 * * [simplify]: Extracting #3: cost 9 inf + 2 1554040293.448 * * [simplify]: Extracting #4: cost 9 inf + 44 1554040293.448 * * [simplify]: Extracting #5: cost 3 inf + 456 1554040293.448 * * [simplify]: Extracting #6: cost 1 inf + 742 1554040293.449 * * [simplify]: Extracting #7: cost 0 inf + 905 1554040293.449 * [simplify]: Simplified to (/ (+ (/ 0.00390625 (* i i)) 0.015625) i) 1554040293.449 * [simplify]: Simplified (2 2 2) to (λ (i) (+ 1/16 (* (/ 1 i) (/ (+ (/ 0.00390625 (* i i)) 0.015625) i)))) 1554040293.449 * * * * [progress]: [ 37 / 54 ] simplifiying candidate # 1554040293.449 * [simplify]: Simplifying (/ 1 i) 1554040293.449 * * [simplify]: iters left: 2 (3 enodes) 1554040293.450 * * [simplify]: iters left: 1 (11 enodes) 1554040293.452 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.452 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040293.452 * * [simplify]: Extracting #2: cost 2 inf + 2 1554040293.452 * * [simplify]: Extracting #3: cost 0 inf + 86 1554040293.452 * [simplify]: Simplified to (/ 1 i) 1554040293.452 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (* (/ 1 i) (/ (+ (/ 0.00390625 (* i i)) 0.015625) i)))) 1554040293.452 * [simplify]: Simplifying (/ (+ (/ 0.00390625 (* i i)) 0.015625) i) 1554040293.452 * * [simplify]: iters left: 6 (7 enodes) 1554040293.455 * * [simplify]: iters left: 5 (24 enodes) 1554040293.461 * * [simplify]: iters left: 4 (26 enodes) 1554040293.468 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.468 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040293.468 * * [simplify]: Extracting #2: cost 6 inf + 1 1554040293.468 * * [simplify]: Extracting #3: cost 9 inf + 2 1554040293.468 * * [simplify]: Extracting #4: cost 9 inf + 44 1554040293.468 * * [simplify]: Extracting #5: cost 3 inf + 456 1554040293.468 * * [simplify]: Extracting #6: cost 1 inf + 742 1554040293.469 * * [simplify]: Extracting #7: cost 0 inf + 905 1554040293.469 * [simplify]: Simplified to (/ (+ (/ 0.00390625 (* i i)) 0.015625) i) 1554040293.469 * [simplify]: Simplified (2 2 2) to (λ (i) (+ 1/16 (* (/ 1 i) (/ (+ (/ 0.00390625 (* i i)) 0.015625) i)))) 1554040293.469 * * * * [progress]: [ 38 / 54 ] simplifiying candidate # 1554040293.469 * * * * [progress]: [ 39 / 54 ] simplifiying candidate # 1554040293.470 * * * * [progress]: [ 40 / 54 ] simplifiying candidate # 1554040293.470 * * * * [progress]: [ 41 / 54 ] simplifiying candidate # 1554040293.470 * * * * [progress]: [ 42 / 54 ] simplifiying candidate # 1554040293.470 * [simplify]: Simplifying (* (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))) 1554040293.470 * * [simplify]: iters left: 6 (8 enodes) 1554040293.474 * * [simplify]: iters left: 5 (27 enodes) 1554040293.481 * * [simplify]: iters left: 4 (29 enodes) 1554040293.489 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.489 * * [simplify]: Extracting #1: cost 3 inf + 0 1554040293.489 * * [simplify]: Extracting #2: cost 5 inf + 0 1554040293.489 * * [simplify]: Extracting #3: cost 8 inf + 0 1554040293.489 * * [simplify]: Extracting #4: cost 12 inf + 1 1554040293.489 * * [simplify]: Extracting #5: cost 12 inf + 3 1554040293.489 * * [simplify]: Extracting #6: cost 6 inf + 374 1554040293.490 * * [simplify]: Extracting #7: cost 1 inf + 1228 1554040293.490 * * [simplify]: Extracting #8: cost 0 inf + 1471 1554040293.490 * [simplify]: Simplified to (* (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625)) (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625))) 1554040293.490 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (/ (* (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625)) (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625))) (/ (* i i) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)))))) 1554040293.491 * * * * [progress]: [ 43 / 54 ] simplifiying candidate # 1554040293.491 * [simplify]: Simplifying (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) 1554040293.491 * * [simplify]: iters left: 6 (7 enodes) 1554040293.494 * * [simplify]: iters left: 5 (24 enodes) 1554040293.498 * * [simplify]: iters left: 4 (26 enodes) 1554040293.501 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.501 * * [simplify]: Extracting #1: cost 3 inf + 0 1554040293.501 * * [simplify]: Extracting #2: cost 6 inf + 0 1554040293.502 * * [simplify]: Extracting #3: cost 10 inf + 1 1554040293.502 * * [simplify]: Extracting #4: cost 9 inf + 44 1554040293.502 * * [simplify]: Extracting #5: cost 3 inf + 456 1554040293.502 * * [simplify]: Extracting #6: cost 1 inf + 742 1554040293.502 * * [simplify]: Extracting #7: cost 0 inf + 905 1554040293.502 * [simplify]: Simplified to (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) 1554040293.502 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) (/ (* i i) (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)))))) 1554040293.502 * * * * [progress]: [ 44 / 54 ] simplifiying candidate # 1554040293.502 * * * * [progress]: [ 45 / 54 ] simplifiying candidate # 1554040293.502 * * * * [progress]: [ 46 / 54 ] simplifiying candidate # 1554040293.503 * [simplify]: Simplifying (+ (pow (/ 0.00390625 (* i i)) 3) (pow 0.015625 3)) 1554040293.503 * * [simplify]: iters left: 6 (9 enodes) 1554040293.508 * * [simplify]: iters left: 5 (46 enodes) 1554040293.531 * * [simplify]: iters left: 4 (109 enodes) 1554040293.570 * * [simplify]: iters left: 3 (310 enodes) 1554040293.693 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.693 * * [simplify]: Extracting #1: cost 4 inf + 0 1554040293.693 * * [simplify]: Extracting #2: cost 100 inf + 0 1554040293.694 * * [simplify]: Extracting #3: cost 195 inf + 2335 1554040293.697 * * [simplify]: Extracting #4: cost 116 inf + 15506 1554040293.703 * * [simplify]: Extracting #5: cost 37 inf + 38748 1554040293.710 * * [simplify]: Extracting #6: cost 0 inf + 52180 1554040293.720 * [simplify]: Simplified to (+ (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i)))) (* (* 0.015625 0.015625) 0.015625)) 1554040293.720 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (/ (+ (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i)))) (* (* 0.015625 0.015625) 0.015625)) (* (* i i) (+ (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))) (- (* 0.015625 0.015625) (* (/ 0.00390625 (* i i)) 0.015625))))))) 1554040293.720 * * * * [progress]: [ 47 / 54 ] simplifiying candidate # 1554040293.721 * [simplify]: Simplifying (- (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))) (* 0.015625 0.015625)) 1554040293.721 * * [simplify]: iters left: 6 (8 enodes) 1554040293.725 * * [simplify]: iters left: 5 (35 enodes) 1554040293.737 * * [simplify]: iters left: 4 (71 enodes) 1554040293.760 * * [simplify]: iters left: 3 (131 enodes) 1554040293.791 * * [simplify]: iters left: 2 (221 enodes) 1554040293.838 * * [simplify]: iters left: 1 (391 enodes) 1554040293.934 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.934 * * [simplify]: Extracting #1: cost 22 inf + 0 1554040293.935 * * [simplify]: Extracting #2: cost 105 inf + 0 1554040293.936 * * [simplify]: Extracting #3: cost 127 inf + 1390 1554040293.943 * * [simplify]: Extracting #4: cost 36 inf + 14915 1554040293.958 * * [simplify]: Extracting #5: cost 1 inf + 20633 1554040293.969 * * [simplify]: Extracting #6: cost 0 inf + 20845 1554040293.974 * [simplify]: Simplified to (- (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))) (* 0.015625 0.015625)) 1554040293.974 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (/ (- (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))) (* 0.015625 0.015625)) (* (* i i) (- (/ 0.00390625 (* i i)) 0.015625))))) 1554040293.975 * * * * [progress]: [ 48 / 54 ] simplifiying candidate #real (real->posit16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))))> 1554040293.975 * * * * [progress]: [ 49 / 54 ] simplifiying candidate # 1554040293.975 * [simplify]: Simplifying (/ 0.00390625 (pow i 2)) 1554040293.975 * * [simplify]: iters left: 3 (5 enodes) 1554040293.977 * * [simplify]: iters left: 2 (20 enodes) 1554040293.980 * * [simplify]: iters left: 1 (26 enodes) 1554040293.984 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.984 * * [simplify]: Extracting #1: cost 6 inf + 0 1554040293.984 * * [simplify]: Extracting #2: cost 6 inf + 43 1554040293.984 * * [simplify]: Extracting #3: cost 0 inf + 333 1554040293.985 * [simplify]: Simplified to (/ 0.00390625 (* i i)) 1554040293.985 * [simplify]: Simplified (2 2 1 1) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))) 1554040293.985 * * * * [progress]: [ 50 / 54 ] simplifiying candidate # 1554040293.985 * [simplify]: Simplifying (/ 0.00390625 (pow i 2)) 1554040293.985 * * [simplify]: iters left: 3 (5 enodes) 1554040293.987 * * [simplify]: iters left: 2 (20 enodes) 1554040293.991 * * [simplify]: iters left: 1 (26 enodes) 1554040293.995 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040293.995 * * [simplify]: Extracting #1: cost 6 inf + 0 1554040293.995 * * [simplify]: Extracting #2: cost 6 inf + 43 1554040293.995 * * [simplify]: Extracting #3: cost 0 inf + 333 1554040293.995 * [simplify]: Simplified to (/ 0.00390625 (* i i)) 1554040293.995 * [simplify]: Simplified (2 2 1 1) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))) 1554040293.995 * * * * [progress]: [ 51 / 54 ] simplifiying candidate # 1554040293.995 * [simplify]: Simplifying (/ 0.00390625 (pow i 2)) 1554040293.995 * * [simplify]: iters left: 3 (5 enodes) 1554040293.997 * * [simplify]: iters left: 2 (20 enodes) 1554040294.004 * * [simplify]: iters left: 1 (26 enodes) 1554040294.011 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040294.011 * * [simplify]: Extracting #1: cost 6 inf + 0 1554040294.011 * * [simplify]: Extracting #2: cost 6 inf + 43 1554040294.011 * * [simplify]: Extracting #3: cost 0 inf + 333 1554040294.012 * [simplify]: Simplified to (/ 0.00390625 (* i i)) 1554040294.012 * [simplify]: Simplified (2 2 1 1) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))) 1554040294.012 * * * * [progress]: [ 52 / 54 ] simplifiying candidate # 1554040294.012 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4)))) 1554040294.012 * * [simplify]: iters left: 6 (13 enodes) 1554040294.021 * * [simplify]: iters left: 5 (55 enodes) 1554040294.034 * * [simplify]: iters left: 4 (70 enodes) 1554040294.044 * * [simplify]: iters left: 3 (87 enodes) 1554040294.059 * * [simplify]: iters left: 2 (121 enodes) 1554040294.084 * * [simplify]: iters left: 1 (194 enodes) 1554040294.166 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040294.167 * * [simplify]: Extracting #1: cost 23 inf + 0 1554040294.167 * * [simplify]: Extracting #2: cost 63 inf + 167 1554040294.168 * * [simplify]: Extracting #3: cost 56 inf + 1921 1554040294.171 * * [simplify]: Extracting #4: cost 6 inf + 7919 1554040294.176 * * [simplify]: Extracting #5: cost 0 inf + 8856 1554040294.181 * [simplify]: Simplified to (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i)) 1554040294.181 * [simplify]: Simplified (2 2) to (λ (i) (+ 1/16 (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i)))) 1554040294.182 * * * * [progress]: [ 53 / 54 ] simplifiying candidate # 1554040294.182 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4)))) 1554040294.182 * * [simplify]: iters left: 6 (13 enodes) 1554040294.191 * * [simplify]: iters left: 5 (55 enodes) 1554040294.211 * * [simplify]: iters left: 4 (70 enodes) 1554040294.232 * * [simplify]: iters left: 3 (87 enodes) 1554040294.255 * * [simplify]: iters left: 2 (121 enodes) 1554040294.281 * * [simplify]: iters left: 1 (194 enodes) 1554040294.346 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040294.346 * * [simplify]: Extracting #1: cost 23 inf + 0 1554040294.347 * * [simplify]: Extracting #2: cost 63 inf + 167 1554040294.348 * * [simplify]: Extracting #3: cost 56 inf + 1921 1554040294.351 * * [simplify]: Extracting #4: cost 6 inf + 7919 1554040294.356 * * [simplify]: Extracting #5: cost 0 inf + 8856 1554040294.361 * [simplify]: Simplified to (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i)) 1554040294.361 * [simplify]: Simplified (2 2) to (λ (i) (+ 1/16 (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i)))) 1554040294.361 * * * * [progress]: [ 54 / 54 ] simplifiying candidate # 1554040294.362 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4)))) 1554040294.362 * * [simplify]: iters left: 6 (13 enodes) 1554040294.372 * * [simplify]: iters left: 5 (55 enodes) 1554040294.395 * * [simplify]: iters left: 4 (70 enodes) 1554040294.415 * * [simplify]: iters left: 3 (87 enodes) 1554040294.435 * * [simplify]: iters left: 2 (121 enodes) 1554040294.456 * * [simplify]: iters left: 1 (194 enodes) 1554040294.546 * * [simplify]: Extracting #0: cost 1 inf + 0 1554040294.546 * * [simplify]: Extracting #1: cost 23 inf + 0 1554040294.546 * * [simplify]: Extracting #2: cost 63 inf + 167 1554040294.547 * * [simplify]: Extracting #3: cost 56 inf + 1921 1554040294.551 * * [simplify]: Extracting #4: cost 6 inf + 7919 1554040294.557 * * [simplify]: Extracting #5: cost 0 inf + 8856 1554040294.561 * [simplify]: Simplified to (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i)) 1554040294.561 * [simplify]: Simplified (2 2) to (λ (i) (+ 1/16 (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i)))) 1554040294.562 * * * [progress]: adding candidates to table 1554040294.917 * [progress]: [Phase 3 of 3] Extracting. 1554040294.917 * * [regime]: Finding splitpoints for: (# #) 1554040294.917 * * * [regime-changes]: Trying 1 branch expressions: (i) 1554040294.917 * * * * [regimes]: Trying to branch on i from (# #) 1554040294.942 * * * [regime]: Found split indices: #